nx_forge_cascade_gate.nx
buildroot/runtime/nx_forge_cascade_gate.nx
about
nx_forge_cascade_gate.nx -- gate for the cascade consumer + M5 capture. Deterministic, no model.
T1 GREEN path: a correct maker candidate -> fca_run GREEN -> the pair EXISTS in the sovereign
store (sov_has, keyed by organ) -- NO flat TSV (no-TSV law).
T2 NEG cheat-proof: a WRONG maker candidate -> NOT-GREEN AND its pair key is ABSENT (the
frontier seat cannot inject an unverified pair).
Fixtures reuse the flp_* gate programs (flp_good = correct, flp_broken = a let-reassign BUILD-FAIL).
license_tier: ORIGINAL expect_exit: 0
dependencies 2 imports · 0 importers
imports: nx_forge_cascade.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
| 11 | const CG_STORE: *u8 = "knowledge/store/cascade_pairs" |
functions
| 13 | func main(argc: i64, argv: *i64) -> i64 |