nx_pack_rules_vet_gate.nx
buildroot/runtime/nx_pack_rules_vet_gate.nx
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
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
structs
| none |
consts
| none |
functions
| 15 | func pv_fstart(buf: *u8, ls: i64, le: i64, n: i64) -> i64 called by 1: pv_walk |
| 34 | func pv_fend(buf: *u8, fs: i64, le: i64) -> i64 called by 1: pv_walk |
| 45 | func pv_run_witness(wname: *u8, av: *i64, envp: *i64, st: *i64) -> i64 |
| 71 | func pv_walk(buf: *u8, n: i64, wbuf: *u8, av: *i64, envp: *i64, st: *i64, nout: *i64) -> i64 |
| 196 | func main(argc: i64, argv: *i64) -> i64 |