nx_unread_sensor_gate.nx
buildroot/runtime/nx_unread_sensor_gate.nx
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
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
structs
| none |
consts
| 17 | const UG_BUF: i64 = 4096 |
| 18 | const UG_SLASH: i64 = 47 |
functions
| 20 | func ug_cpy(d: *u8, s: *u8) -> i64 called by 1: main |
| 27 | func main() -> i64 |