nx_hold_pure_gate.nx

nx_hold_pure_gate.nx -- INDEPENDENT GATE over the PURE DECISION CORE of nx_hold_lib. ZERO registry writes. Proves the preservation rules and the FRCP 37(e) sanction ladder independently of storage, so a seg_store stall (debt 1785519597) cannot make them unverifiable. The sanction ladder is swept EXHAUSTIVELY over all 16 (lost x reasonable-steps x restorable x intent) combinations, with three invariants asserted across the whole sweep: no ESI lost is NEVER a sanction; reasonable steps taken is NEVER a sanction (the safe harbour is absolute); and SEVERE requires intent in every single cell -- negligence can never reach it by any path. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0