code wiki / _hdl_build / nx_organkind_gate.nx

nx_organkind_gate.nx

buildroot/runtime/_hdl_build/nx_organkind_gate.nx

8993 B162 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 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 sys_read sys_munmap ok_is_sep ↻ ok_kind_of ↻ ok_suffix_kind ↻ gv_verdict gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap ↻ gv_journal sys_openat_append sys_mmap ↻

structs

none

consts

8const OG_BUF: i64 = 1024
18const OG_CONF: i64 = 65536
19const OG_HASH: i64 = 35
20const OG_LF: i64 = 10

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
called by 1: main calls 5: sys_readsys_munmapok_is_sepok_kind_ofok_suffix_kind
80func main() -> i64
calls 15: gv_ctrgv_headog_cpygv_checkog_eqok_kind_of+9