code wiki / (root) / nx_pack_rules_vet_gate.nx

nx_pack_rules_vet_gate.nx

buildroot/runtime/nx_pack_rules_vet_gate.nx

9037 B251 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_pack_rules_vet_gate.nx -- THE RULES VET GATE (compare-plane pattern for the pack rules). Walks knowledge/forge/pack_rules_vet_v1.txt; for every RULE row with a witness it forks the SOVEREIGN LANE on that witness (fork+execve _offc/nx_sov_build_run.elf, exit decoded) and enforces status <-> measured behavior: ACTIVE -> witness must FIRE (lane exit nonzero). Passing instead = RETIRABLE -> RED (the language grew; the registry is FORCED to shed the restriction). GUARD / RETIRED -> witness must PASS (exit 0). Firing instead = REGRESSED -> RED (the compiler regressed; the witnesses double as regression sentinels). witness none -> WHY= and COST= must be non-empty (no reasonless rules). NEG-CONTROL: a fixture row claiming RETIRED for a live trap must be flagged (REGRESSED>0). license_tier: ORIGINAL expect_exit: 0

dependencies 1 imports · 0 importers

nx_forge_ctx.nx nx_pack_rules_vet_gate.nx

imports: nx_forge_ctx.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main fc_read sys_openat_rd sys_read sys_close std_putln std_puts std_slen sys_write pv_walk pv_fstart pv_fend std_puts ↻ std_memcpy pv_run_witness sys_fork sys_openat_wr sys_dup3 sys_execve sys_wait4 std_pdec sys_mmap std_itoa sys_mmap ↻ sys_write ↻ std_putln ↻ std_slen ↻ sys_openat_wr ↻ fc_wb sys_write ↻ std_puts ↻ std_pdec ↻

structs

none

consts

none

functions

15func pv_fstart(buf: *u8, ls: i64, le: i64, n: i64) -> i64
called by 1: pv_walk
34func pv_fend(buf: *u8, fs: i64, le: i64) -> i64
called by 1: pv_walk
45func pv_run_witness(wname: *u8, av: *i64, envp: *i64, st: *i64) -> i64
71func pv_walk(buf: *u8, n: i64, wbuf: *u8, av: *i64, envp: *i64, st: *i64, nout: *i64) -> i64
196func main(argc: i64, argv: *i64) -> i64