nx_claim_binding_gate.nx
buildroot/runtime/nx_claim_binding_gate.nx
about
nx_claim_binding_gate.nx -- CE4: does a board effectiveness claim get re-read against the LIVE artifact?
IN-PROCESS: imports nx_symdecl_lib.nx and calls cb_classify / cb_serve_state_at directly, so it
exercises the SAME rule the emitter will, with no NOT-DEPLOYED failure mode.
THE CLAIM RE-READ IS THE ONE THE McCABE ROW FAILED: a "shipped" claim over an organ whose binary is
SOURCE-ONLY must read STALE-UNDER (the verdict contradicts it), and over an absent organ must REFUSE
(the verdict denies it). Every expected class below was decided from the CE4 ACCEPT rule before the run.
The classify teeth are PURE (no filesystem). The serve-state teeth plant a THREE-STATE fixture tree
under /tmp/cb_gate/ -- unlinked before creation, sharing nothing with any beat -- so a served binary, a
source-only organ and an absent one are three distinct fixtures and no delete happens mid-run.
license_tier: ORIGINAL expect_exit: 0
dependencies 2 imports · 0 importers
imports: nx_symdecl_lib.nxnx_gate_verdict.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
| 17 | const CBG_DIR: *u8 = "/tmp/cb_gate\x00" |
| 18 | const CBG_SERVE: *u8 = "/tmp/cb_gate/serving\x00" |
| 19 | const CBG_BUILD: *u8 = "/tmp/cb_gate/build\x00" |
| 20 | const CBG_BUILDRT: *u8 = "/tmp/cb_gate/build/runtime\x00" |
| 21 | const CBG_MODE644: i64 = 420 |
| 22 | const CBG_MODE755: i64 = 493 |
functions
| 24 | func cbg_put(path: *u8, data: *u8) -> i64 called by 1: main |
| 35 | func main(argc: i64, argv: *i64) -> i64 |