nx_verdictlog_gate.nx

nx_verdictlog_gate.nx -- THE REFEREE FOR FM3 AND FM4 OF /compare/failmodes. ONE GATE FOR TWO RUNGS BECAUSE THEY SHARE ONE RULER. Splitting it would put two referees on nx_verdictlog_lib, and two guards for one invariant is the duplicate-ruler defect this campaign exists to stop. Every tooth below names which accept rule it enforces. FM3 ACCEPT RULE, QUOTED VERBATIM FROM failmodes.plan BEFORE THE WORK BEGAN: "run it over the EXISTING detector fleet and publish the four numbers per detector; the rung is accepted only if at least one currently-shipping detector is shown to score badly enough to justify changing or retiring it. A scorer that flatters every incumbent has measured nothing." FM4 ACCEPT RULE, QUOTED VERBATIM FROM failmodes.plan BEFORE THE WORK BEGAN: "the organ must report DISAGREE only when the two vantages are observed within a bounded window of each other, and must emit UNOBSERVABLE rather than AGREE when either vantage is missing -- an axis that cannot see must abstain, not acquit." FIXTURES ARE ASSEMBLED AT RUNTIME under /tmp/nx_verdictlog_gate/, never checked in and never written as source literals: a detector that scans a directory will find its own test fixture, and a gate that shares a fixture with a production beat reports on the FIXTURE and not on the code. Setup REMOVES every artifact it is about to assert on, so the gate is idempotent -- one that is not reports honestly on its first run and lies about every run after. THE CLASSIFIER IS COMPOSED IN-PROCESS, NEVER FORKED. Handing a directory walker a file path once produced files=0 and a GREEN verdict elsewhere in this estate; composing vl_* directly means the gate exercises the same functions the census calls, and every tooth that asserts an outcome first asserts the call examined something.