nx_store_put_shrink_gate.nx

nx_store_put_shrink_gate.nx -- proves the shrink-refusal guard in nx_store_put's put verb BITES. ★WHY (debt 1785713373): the guard shipped 2026-08-02 (sha 494abaa2) with only its PASSING paths witnessed -- bootstrap, grow, replace all proven on a scratch plane. By the non-vacuity law a branch that has only ever passed has demonstrated nothing: killed=0 is UNPROVEN-BY-THIS-SAMPLE, never cannot-fail. This gate manufactures the exact damage class the guard exists for and asserts REFUSAL. ★THE FIXTURE RECIPE IS BORROWED, NOT INVENTED (nx_plane_repair_gate's hard-won lesson): sts_seed and nx_store_put always write a CORRECT q:n, so the damage is unreachable through the normal writers. Build it from the RAW primitives: ss_add N real rows, then a q:n that LIES and declares MORE. That is the exact live shape (declared > reachable) that a PARTIAL sts_load feeds into a whole-plane re-seed -- how commontask- went 37->10 and dedupq- 21->3. Forks the REAL promoted nx_store_put.elf via ar_resolve (never a hardcoded path -- the 127-vacuous lesson), so what is proven is the artifact that actually serves writes. license_tier: ORIGINAL expect_exit: 0