code wiki / _hdl_build / nx_capgraph_derive_gate.nx
nx_capgraph_derive_gate.nx
buildroot/runtime/_hdl_build/nx_capgraph_derive_gate.nx
about
nx_capgraph_derive_gate.nx -- the gate for nx_capgraph_derive_lib: level thresholds, the journal
row parser, and the progress-rail lookup.
WHY: the progress rail was proven only by a LIVE neg-control (drop an edge, watch it record). That is
real evidence but it is not a standing tooth -- it proves the rail worked ONCE, on one machine, on one
day. These teeth are the standing version, and they cover the parts a live run cannot easily reach:
threshold BOUNDARIES (off-by-one is invisible in a live run where nothing sits on the boundary),
NEGATIVE level parsing (-1 UNMEASURED must survive a round-trip or every unmeasured node silently
reads as 1), and PREFIX safety in the lookup.
license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0
dependencies 1 imports · 0 importers
imports: nx_capgraph_derive_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
| none |
functions
| 13 | func cdg_t(name: *u8, cond: i64, ctr: *i64) |
| 25 | func main(argc: i64, argv: *i64) -> i64 |