code wiki / _hdl_build / nx_capgraph_gate.nx

nx_capgraph_gate.nx

buildroot/runtime/_hdl_build/nx_capgraph_gate.nx

9397 B218 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic capgraph
docsdependenciesstructsconstsfunctions

about

nx_capgraph_gate.nx -- the gate for nx_capgraph_lib. NON-VACUOUS BY CONSTRUCTION: every law tooth is a MATCHED PAIR (the law fires) + (a control where it must NOT fire), so no tooth can pass by accident or by a constant. T10 is the DYNAMIC-RANGE tooth: it turns RED if the graph ever loses the ability to register progress -- the exact disease measured in nx_capaxes_derive, where evidence=0 by construction pinned all 28 domains to headline 0 forever. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 1 imports · 0 importers

nx_capgraph_lib.nx nx_capgraph_gate.nx

imports: nx_capgraph_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 cg_init cg_axis_set cg_name_put cgg_t cax_puts ↻ cg_streq cg_level_name cg_addnode cg_name_put ↻ cg_set cg_cap cg_get cg_relax cg_own_headline cg_own_headline ↻ cg_starved_axis cg_addedge cg_effective cg_descendants cg_rock cg_effective ↻ cg_descendants ↻ cg_effective_axis cg_predict cg_effective_axis ↻ cg_grounded 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

9func cgg_t(name: *u8, cond: i64, ctr: *i64)
called by 1: main calls 1: cax_puts
21func main(argc: i64, argv: *i64) -> i64