nx_provcensus_gate.nx

nx_provcensus_gate.nx -- proves the fleet provenance-drift census's judgement half (2026-08-26). The subject is nx_provcensus_lib.nx, imported so it compiles INTO this binary. That is the whole reason the lib exists as a separate file: this gate can be mutation-proven, whereas a gate that fork/execs the deployed nx_provcensus.elf could not be -- every mutant would read NOT-REACHED and the harness would report a fault in the gate rather than in the subject. What is actually at stake. The census exists to answer "how many ships proved the wrong subject", and the only way it can lie in the FLATTERING direction is by letting something that is not a measured CURRENT read as CURRENT. So the teeth below spend most of their effort on the three ways to fail to observe -- an empty capture, a capture with no verdict token, and a verdict token this build has never heard of -- and require all three to land in UNREADABLE. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0