nx_agreebound_gate.nx

nx_agreebound_gate.nx -- REFEREE for WRITING rung W-AGB-1 (nx_agreebound). [T1] the interval a single detector's rate must be reported as: lo/hi over the panel. [T2] disagreement ratio reproduces THE RULER'S OWN MEASURED SPREADS -- 3.9x violence, 3.1x insult, 1.45x sexual. Binding the organ to the paper's numbers, not to invented ones. [T3] ratio division guards: an all-zero panel is agreement (1000), a some-zero panel is UNBOUNDED (a contradiction, not a ratio) -- neither is a divide trap. [T4] Krippendorff alpha, perfect agreement WITH variation -> exactly 1000. [T5] alpha on a disagreeing panel -> exact integer (389), computed by hand from the definition. [T6] NEG-CONTROL, WORSE THAN CHANCE: a systematically inverted panel scores NEGATIVE (-500) and is reported as such, never clamped to zero. A meter that cannot go below chance is hiding its worst finding. [T7] FAIL-CLOSED on zero variation: every rater, every unit, one category -> AB_UNDEFINED, NOT a perfect 1000. Two blank planes must never score a perfect match (the blank-decoy trap). [T8] ★THE STRUCTURAL REFUSAL: ONE detector with a PERFECT alpha and PERFECT ratio still cannot enforce -- ndet<2 is a coin flip by construction, and no score buys past it. [T9] THE RULER'S OWN RELIABILITY (alpha 0.24 on model output) -> REPORT-ONLY against the 0.6 substantial floor. The paper's headline judge would not license enforcement here. [T10] a WIDE-but-reliable panel (alpha fine, ratio 3.9x over a 2.0x cap) -> REPORT-ONLY, so the two bounds are independently load-bearing rather than one doing all the work. [T11] ★NON-VACUITY: a genuinely good panel (2 detectors, alpha 800, ratio 1200) RETURNS ENFORCE. A gate that never sees its verdict succeed has not tested a decision, only a refusal. [T12] thresholds are PARAMETERS: the SAME panel flips REPORT-ONLY -> ENFORCE when the caller supplies a looser floor, proving no bound is baked into the organ. Evidence -> stdout + knowledge/status/agreebound_gate.log. Exit 0 GREEN / 1 RED. Sovereign x86_64. license_tier: ORIGINAL expect_exit: 0