nx_gensota_gate.nx

nx_gensota_gate.nx -- executable proof for the per-generation rollup instrument. Imports gs_run DIRECTLY (main stripped by expand_imports) -- no fork, no PATH. Teeth prove the instrument BITES BOTH WAYS on the REAL store: T1 runs GREEN at bar=0 (partition sums, BFS completes, every gen printed) T2 neg-control: bar=1001 permil is unsatisfiable -> MUST return RED(1); a rollup that cannot fail is not an instrument T3 blind is not green: an absent store MUST return INSTRUMENT-BLIND(3), not 0 T4 absent bars conf reads as -1 (the caller REFUSES rather than defaults) T5 the deployed bars conf parses to a sane permil (0..1000) license_tier: ORIGINAL expect_exit:0 No hw writes (Rule 26).