{
  "_doc": "One result, read from the codebase’s own files at the commit named here. Every value is that file’s own, copied verbatim; nothing here is written by hand. A value replaced by {withheld: true, sha256_of_value, bytes} is committed by its sha256 instead of published, for the reason it states, and is never edited. Each whole source file is committed by sha256 below, and its bytes are published only where its visibility says so. The codebase is named by the public subject its files are published under.",
  "lane": "packaging-extraction",
  "repository": "packaging-extraction",
  "commit": "b8d9325aea6d8ef103cb3d1dd1c4ba77bd80ee2f",
  "portfolio_id": "packaging-extraction:certified-residual-surrogate",
  "id": "certified-residual-surrogate",
  "attestation_row": {
    "attested_at": "2026-09-19",
    "attestor": "07-genesis",
    "repository": "genesis",
    "source_doc": "CROWN_JEWELS_RESOLVED.md",
    "source_doc_sha256": "781bf515d77ef14469d543ce87b2a15d0420237f5a9bc9b1a7b4899d0f935cb7",
    "state": "attested",
    "top_n": 31,
    "note_sha256": "1218191deb85b45fe5d2ef07e47c7d4e6c09061b6b8386e86759a6105204cd17",
    "ids_in_row": 31,
    "file": "dataroom/TOP_N_ATTESTATION.jsonl",
    "line": 1
  },
  "claim_source": {
    "receipt": "packaging-extraction/top40.json",
    "sha256": "1dca1ae6d762bd584ae11aa353701b702e3378cf912d8d64ec065e74f589319e",
    "field": "entries[25].claim",
    "file": "top40.json"
  },
  "top40_entry": {
    "id": "certified-residual-surrogate",
    "rank": 26,
    "title": "The certified residual surrogate and refinement ladder",
    "claim": "A fast predictor may answer only when a sound bound admits it; otherwise the system refines or escalates, so there is never a silently uncertified fast answer.",
    "scope": "A per-query soundness contract over the owned solver's residual, not an accuracy claim against measured silicon.",
    "limits": "Blunt honest negative: raw certified coverage at τ_rel = 1e-3 is 0% — the model residual of order 1–10 far exceeds the ~1.2e-2 compression ceiling — and warm-start iteration reduction is 0.5%, NEGATIVE at N=8. The reduced claim is therefore exactly 'never wrong, sometimes not fast'. Zero bound violations on 40 fresh layouts; refined C versus frozen scipy ≤1.4e-11; fault-A inflates the bound ~1.2e11×.",
    "artifact_path": "benchmarks/certified_surrogate/certified_surrogate_gate_2026_07_01.json",
    "witness_command": "PYTHONPATH=. python3 scripts/audit/verify_certified_surrogate_gate.py",
    "witness_result": "exit=0 · REPRODUCED · PASS|| certified surrogate: 0 bound violations on 40 fresh layouts, exact refinement ≤1e-09 vs frozen, warm-start -0.5% iterations, both fault-injections caught, production untouched",
    "witness_class": "ASSERTING",
    "witness_class_basis": "measured",
    "third_party_axis": "-",
    "facts": {
      "ran_with_receipt": true,
      "third_party_graded": false,
      "negative_control_stated": true,
      "ip_class_known": false,
      "reproduce_command": true,
      "regenerates_not_verifies": true
    },
    "facts_count": 4,
    "repro_command": "PYTHONPATH=. python3 scripts/audit/verify_certified_surrogate_gate.py",
    "reproduce_command": "PYTHONPATH=. python3 scripts/audit/verify_certified_surrogate_gate.py",
    "repro_packet": null,
    "ip_class": "UNKNOWN",
    "evidence_tier": "PROVEN",
    "run_status": "RAN",
    "output_excerpt": "  witness: benchmarks/certified_surrogate/certified_surrogate_gate_2026_07_01.json\nPASS|| certified surrogate: 0 bound violations on 40 fresh layouts, exact refinement ≤1e-09 vs frozen, warm-start -0.5% iterations, both fault-injections caught, production untouched",
    "attestation_rank": 6,
    "negative_control": "fault-A inflates the bound ~1.2e11×; fault-B assembly drift caught"
  },
  "witness_quality_entry": {
    "id": "certified-residual-surrogate",
    "portfolio_id": "genesis:certified-residual-surrogate",
    "class": "ASSERTING",
    "measured_class": "ASSERTING",
    "basis": "measured",
    "why": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "db6f29e4698ef5876a5f59b51558475435a96087b9aecf31a7608784ae3d4987",
      "bytes": 627
    },
    "witness_command": "PYTHONPATH=. python3 scripts/audit/verify_certified_surrogate_gate.py",
    "exit_clean": 0,
    "exit_mutated": 1,
    "asserts": "FAIL|| mu_soundness_all_layouts"
  },
  "packet": null,
  "measured": {
    "measured": true,
    "basis": "exit_mutated = 1 (basis == measured)",
    "exit": 1,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 183,
    "measured_per_register": true,
    "witness_class_per_register": "ASSERTING",
    "ip_class_public": "not_public",
    "ip_class_sha256": "c2ab54a718ff5484fea4f59ecc2a446deef5412ea225434433529a34a9764660",
    "ip_class_source": "docs/audit/CHIPLETOS_CANON_FACTS_2026_09_17.json:34 @ e47033d4758e",
    "receipt": "register/CROWN_JEWELS_TRUTH.md",
    "receipt_sha256": "bde06cf0d3e99644522d18e79b6bd5d84ed4f5c86e315a48fef207e9e49c5022",
    "ip_class_receipt": "register/ip_class.jsonl",
    "ip_class_receipt_sha256": "b1e8f97aa6779e0fefed2f7a7726e1a03563b536b497392401b49bb8ef84d4ca"
  },
  "withheld_fields": [
    {
      "field": "witness_quality.why",
      "codes": [
        "PROCESS_NARRATION"
      ]
    }
  ],
  "sources": {
    "attestation": {
      "receipt": "packaging-extraction/dataroom/TOP_N_ATTESTATION.jsonl",
      "source": "dataroom/TOP_N_ATTESTATION.jsonl",
      "commit": "b8d9325aea6d8ef103cb3d1dd1c4ba77bd80ee2f",
      "sha256": "73bf88d1ecd6c3299599f1929a6fda2e3b20dbe725d908375a1aec5038f199e8",
      "bytes": 3855,
      "visibility": "sealed"
    },
    "top40": {
      "receipt": "packaging-extraction/top40.json",
      "source": "top40.json",
      "commit": "b8d9325aea6d8ef103cb3d1dd1c4ba77bd80ee2f",
      "sha256": "1dca1ae6d762bd584ae11aa353701b702e3378cf912d8d64ec065e74f589319e",
      "bytes": 245175,
      "visibility": "sealed"
    },
    "witness_quality": {
      "receipt": "packaging-extraction/dataroom/witness_quality.json",
      "source": "dataroom/witness_quality.json",
      "commit": "b8d9325aea6d8ef103cb3d1dd1c4ba77bd80ee2f",
      "sha256": "a5b45f767596df7e20404884fd30f0975b1931cf08bb7f3b4e4bfc4b83073c51",
      "bytes": 161552,
      "visibility": "sealed"
    },
    "repro_index": {
      "receipt": "packaging-extraction/repro/INDEX.json",
      "source": "repro/INDEX.json",
      "commit": "b8d9325aea6d8ef103cb3d1dd1c4ba77bd80ee2f",
      "sha256": "3e1cdc5f09bf5c34a582d32529e944a4fe565211faccceb3dc5a7a1724f68635",
      "bytes": 28509,
      "visibility": "sealed"
    }
  }
}