[{"defect_id":"D9","title":"Public D9 Universality Leak — Finite Instance Yielding Universal Support","classification":"PUBLIC_ADAPTER_DEFECT","status":"FIXED_REGRESSION_VERIFIED","kernel_defect":false,"public_challenge_break":true,"evidence":"DISCOVERED; REPRODUCED 4/4; TRIAGED; KERNEL_EXONERATED; FIXED; EXACT_BYTE_FOR_BYTE_REPLAY_PASS","discovered_at":"2026-09-23T16:34:00-03:00","fixed_in_commit":"b4eea47","description":"Public adapter in blackbox/runner.py unconditionally mapped evidence with RANGE operators to EvidenceConstraint, discarding INSTANCE semantics. Fixed by enforcing evidence_nature gating."}]