nx_k3_arch_census_gate.nx

nx_k3_arch_census_gate.nx -- gate for the K3-class arch census (authored ON nx_gate_verdict). Load-bearing tooth T2: a HAVE/PARTIAL claim with evidence "none" is LIAR-KILLED to GAP -- our K3 coverage can never be inflated past what a shipped gate proves. T1 coverage computed from the store (points/total/permille from HAVE=2/PARTIAL=1/GAP=0) T2 LIAR-KILL: HAVE-claim + evidence none -> effective GAP + liar_killed count (anti-fake) T3 effective-GAP rows surface under research_opps with their fetch guidance T4 fail-closed on an unseeded store T5 deterministic (two runs byte-identical) license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0