nx_ltv_pure_gate.nx

nx_ltv_pure_gate.nx -- INDEPENDENT GATE over the PURE DECISION CORE of nx_ltv_lib. ZERO registry writes: proves the PAdES level ladder and the three-valued verdict independently of storage, so a seg_store stall (debt 1785519597) can never make the rules unverifiable. Because pure evaluation is free, the ladder is swept EXHAUSTIVELY over all 64 component combinations and the verdict over every (level x revoked x before/after expiry) cell, rather than on hand-picked cases. Two invariants are asserted across the whole sweep: the level is MONOTONE (adding a component never lowers it), and a revoked certificate is INVALID at EVERY level -- so no combination anywhere can launder a revocation. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0