{"historical_challenges_evaluated":1621,"provenance_breakdown":{"verified_autonomous_fuzzer":1338,"declared_ai_research":129,"declared_human_research":9,"verified_internal_regression":40,"unknown_historical":87,"unattributed_public":18},"provenance_trust_epoch":"2026-09-24T02:11:15Z","autofuzzer_status":{"status":"LIVE","campaign_id":"hetzner-24x7-20260923","generator_version":"property-fuzzer-v1","last_evaluation_age_sec":2.9,"last_evaluation_utc":"2026-09-24T02:26:40.089826+00:00"},"historical_defects_found":1,"fixed_regression_verified":1,"open_defects":0,"confirmed_kernel_defects":0,"public_adapter_gateway_defects":1,"unhandled_crashes":0,"determinism_divergences":0,"active_engine_build":"6f6aff4","ledger_chain_valid":true,"history_complete":false,"history_note":"Rebuilt from verified cryptographic ledger entries and surviving completed spool artifacts; unrecorded operational traffic is excluded from historical counts.","public_notice":"Operational jobs may expire. Historical verification records do not.","historical_defect_records":[{"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."}]}