code wiki / (root) / nx_unread_sensor_gate.nx

nx_unread_sensor_gate.nx

buildroot/runtime/nx_unread_sensor_gate.nx

7179 B131 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_unread_sensor_gate.nx -- proves the unread-sensor census, BOTH POLARITIES. A NEW DETECTOR IS GUILTY UNTIL PROVEN, and this one had two false-positive classes on its first two live runs -- both found by hand-adjudicating the hits rather than by reading the count: run 1: 238 of 257 rows were seg-store shards, addressed by a prefix computed at runtime, so a literal reference to one is impossible BY CONSTRUCTION. 93 percent of the output was a single known-uninteresting shape, which is a false-positive machine. run 2: the ratchet went RED on the organ OWN baseline file, which it writes into the directory it censuses. An instrument that counts its own bookkeeping measures itself. Neither was fixed by widening a match or suppressing a hit: each became its own NAMED bucket, which is the only way the taxonomy survives contact with the next reader. license_tier: ORIGINAL expect_exit: 0 No hw writes (Rule 26).

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_unread_sensor_lib.nx nx_unread_sensor_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nxnx_unread_sensor_lib.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 ↻ us_isnamechar gv_bite gv_puts ↻ sys_mmap ↻ ug_cpy us_find_from us_len us_name_at us_isnamechar ↻ gv_check_eq gv_check gv_puts ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_check ↻ us_streq us_is_store_shard

structs

none

consts

17const UG_BUF: i64 = 4096
18const UG_SLASH: i64 = 47

functions

20func ug_cpy(d: *u8, s: *u8) -> i64
called by 1: main
27func main() -> i64