nx_gate_vocab_census.nx

nx_gate_vocab_census.nx -- HOW MANY GATES CAN THE D001 ORACLE ACTUALLY ACCEPT? (2026-07-31, ws=gate-dry-d001) WHY THIS EXISTS: nx_gate_migrate is now live and sound (selftest 12/12 with real neg-controls), but its clause (c) -- the PASS/FAIL vector -- is implemented as gm_count(out,"PASS") before vs after, a LITERAL SUBSTRING COUNT. Migrating a gate onto nx_gate_verdict makes gv_check emit " <name>: PASS" per check. So a gate that today reports its checks in ANY OTHER vocabulary has PASS=0 before and PASS=N after, and the oracle refuses a migration that is semantically sound and strictly an improvement. That means the migratable population is NOT the 2601 non-inheriting gates -- it is only the subset that ALREADY speaks PASS. NOBODY HAS THAT NUMBER, and every plan for D001 has been sized without it. THE THREE DECISION-RELEVANT BUCKETS (single responsibility -- it classifies, it does not migrate): INHERITS -- source imports nx_gate_verdict. Already done; no work owed. EMITS-PASS -- does not inherit, but the source already contains the PASS literal, so gv_check's rows can match the existing count. MIGRATABLE TODAY under the oracle as it stands. NO-PASS -- does not inherit and never says PASS (the ' OK' family, and the composer-generated gates that emit no check rows at all). BLOCKED BY THE VOCABULARY TRAP until clause (c) compares the semantic vector instead of the literal token. Plus the ANCHOR axis, a different rung: does the source emit a "verdict=" anchor at all? A gate without one is machine-read as NOT-GREEN by gg_line_green -- a passing gate scored as failing. ENVELOPE, declared in-band and never silent: this is a SOURCE-LITERAL PROXY, not a runtime observation. It reads what the source CONTAINS; it does not run the gate and observe what it PRINTS. A gate could carry the PASS literal in a comment, or build the word at runtime, and this would mis-file it. The proxy is deliberate -- running 2800 gates costs machine-hours, this costs seconds -- but the number it produces is a PLANNING estimate, and any gate it calls migratable must still be PROVEN one at a time by nx_gate_migrate verify. Do not bank this as a migration result. FLAT scan of runtime + runtime/_hdl_build under the discovered buildroot, shadow trees excluded. license_tier: ORIGINAL No hw writes (Rule 26).