code wiki / _hdl_build / nx_organkind_gate.nx

nx_organkind_gate.nx

buildroot/runtime/_hdl_build/nx_organkind_gate.nx

24928 B427 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_organkind_gate.nx -- proves the role classifier that unblocks seq1492. T5/T6 are load-bearing: they replay the EXACT failure (nx_torrent_get refused by BOTH verbs) and the substring lie that caused it (`nx_torrent` must never match `nx_torrent_get`). license_tier: ORIGINAL expect_exit: 0 No hw writes (Rule 26).

dependencies 2 imports · 0 importers

nx_organkind.nx nx_gate_verdict.nx nx_organkind_gate.nx

imports: nx_organkind.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_head gv_puts sys_write ↻ og_cpy gv_check gv_puts ↻ og_eq ok_kind_of ok_is_sep ok_kind_code ok_may_promote ok_may_deploy gv_bite gv_puts ↻ ok_is_shippable ok_may_deploy ↻ ok_may_promote ↻ ok_ends_with ok_suffix_kind ok_ends_with ↻ ok_kind_or_suffix ok_suffix_kind ↻ og_daemon_suffix_conflicts

structs

none

consts

8const OG_BUF: i64 = 1024
18const OG_CONF: i64 = 65536
19const OG_HASH: i64 = 35
20const OG_LF: i64 = 10
105const OG_MAXROWS: i64 = 8192
106const OG_NAMEW: i64 = 256
107const OG_BOX: i64 = 64
108const OG_SEEK_END: i64 = 2

functions

10func og_eq(a: i64, b: i64) -> i64 { if a == b { return 1 } return 0 }
called by 1: main
11func og_cpy(d: *u8, s: *u8) -> i64
called by 1: main
29func og_daemon_suffix_conflicts(path: *u8, rows: *i64) -> i64
110func og_name_eq(b: *u8, o1: i64, l1: i64, o2: i64, l2: i64) -> i64
called by 1: og_scan_conflicts
120func og_kindname(k: i64) -> *u8
called by 1: og_scan_conflicts
129func og_pname(b: *u8, off: i64, len: i64) -> i64
called by 1: og_scan_conflicts calls 1: gv_puts
144func og_fsize(path: *u8) -> i64
called by 1: main
160func og_scan_conflicts(b: *u8, n: i64, box: *i64, verbose: i64) -> i64
253func og_conflicts_path(path: *u8, box: *i64) -> i64
called by 1: main calls 1: og_scan_conflicts
265func main() -> i64