nx_swcompare_watch_gate.nx

nx_swcompare_watch_gate.nx -- GATE for the ONE symbol ruler (nx_symdecl_lib) and the measured watch section every page kind now renders (nx_swcompare_lib watch_pass). 2026-08-23, lane L. What it proves: (a) the ruler counts a top-level DECLARATION and nothing else -- a comment, a call site, an indented line or a longer identifier sharing the prefix must NOT flip a cell (each such neg-control is paired with the OLD substring rule fired on the same fixture, so the fixture is proven to discriminate the two rulers); (b) watch_pass renders exactly the matrix's symbol rows with a partition that sums, and renders NOTHING for a domain without a .matrix; (c) over the REAL population (every regen.list domain that has a .matrix, from the nishihost cwd) it prints the rows whose verdict CHANGES under the declaration ruler -- the false-LANDED population the pages and the comparewatch plane had been publishing -- and asserts the census partition sums. Fixtures under /tmp/nx_swcompare_watch_gate_<pid>/ (data only; the NAS mounts /tmp noexec and nothing here is executed). In-process composition: no generator is forked. license_tier: ORIGINAL No hw writes (Rule 26).