nx_paper_forge_gate.nx

nx_paper_forge_gate.nx -- KAT + neg-controls for the manuscript compiler (AS-1). Proves the two refusals that make a compiled paper trustworthy: REFUSE-UNCITED an unknown {ID} cannot be silently dropped or emitted bare REFUSE-UNSTRUCTURED a manuscript missing a graded section is detected and named plus ledger lookup, expansion shape, determinism, and NON-VACUITY (the expansion really carries the ledger's value, so the gate cannot pass on an empty emitter). DRY nx_gate_verdict lib (D001 migrate-on-touch).