code wiki / _hdl_build / nx_capgraph_derive_gate.nx

nx_capgraph_derive_gate.nx

buildroot/runtime/_hdl_build/nx_capgraph_derive_gate.nx

9328 B144 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic capgraph
docsdependenciesstructsconstsfunctions

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

nx_capgraph_derive_lib.nx nx_capgraph_derive_gate.nx

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

main cax_puts sys_write cdg_t cax_puts ↻ cd2_cov_level cd2_gap_level cd2_is_infra cd2_parse_row cd2_prev_lookup cg_streq cd2_last_row_matches cd2_last_row_start cd2_last_row_start ↻ cd2_prev_row_start cd2_last_row_start ↻ cg_gate_log cax_gate_log sys_openat_append sys_write ↻ sys_mmap sys_close cax_puti sys_mmap ↻ sys_write ↻

structs

none

consts

none

functions

13func cdg_t(name: *u8, cond: i64, ctr: *i64)
called by 1: main calls 1: cax_puts
25func main(argc: i64, argv: *i64) -> i64