code wiki / _hdl_build / nx_capgraph_edges_gate.nx

nx_capgraph_edges_gate.nx

buildroot/runtime/_hdl_build/nx_capgraph_edges_gate.nx

5519 B107 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic capgraph
docsdependenciesstructsconstsfunctions

about

nx_capgraph_edges_gate.nx -- the gate for nx_capgraph_edges_lib (the MEASURING organ's core). WHY THIS EXISTS: the organ that measures capability LEVELS had no gate of its own, so by its own ladder (L5) it could claim at most level 2 (WORKS), never 3 (GATED). An instrument that grades others must submit to its own grading. Every tooth below is a MATCHED PAIR -- the rule fires, AND a control where it must not -- so none can pass by a constant. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 1 imports · 0 importers

nx_capgraph_edges_lib.nx nx_capgraph_edges_gate.nx

imports: nx_capgraph_edges_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 ce_init ceg_t cax_puts ↻ ce_is_nx ce_basename ce_cpy ce_join ce_dom_add ce_cpy ↻ ce_own_add ce_own_idx cg_streq ce_cpy ↻ ce_own_find cg_streq ↻ ce_edge_add ce_infra_add ce_enc_add cg_streq ↻ ce_cpy ↻ ce_own_idx ↻ ce_enc_owned 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

10func ceg_t(name: *u8, cond: i64, ctr: *i64)
called by 1: main calls 1: cax_puts
22func main(argc: i64, argv: *i64) -> i64