{
  "_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:interval-core",
  "id": "interval-core",
  "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[16].claim",
    "file": "top40.json"
  },
  "top40_entry": {
    "id": "interval-core",
    "rank": 17,
    "title": "The outward-rounded interval core and branch-and-bound",
    "claim": "One small trusted numerical kernel turns floating-point search into proof-carrying enclosures, and it is the load-bearing dependency under every ∀-statement in this document.",
    "scope": "Soundness is under the IEEE-754 fp64 model, not exact real arithmetic. Its containment validator runs on 10,600 point samples with 0 violations plus domain-violation raises.",
    "limits": "Its measured limit is honest and load-bearing: a generic θ-space mean-value form built on forward-mode interval AD, containment-validated at 0 violations across three sub-families, buys only ~1.1× — matching the repository's own hand-derived 4-via centered form on identical boxes. That measurement is WHY the 5-/6-D continuum in entry 2 (`forall-impossibility-pairwise`) is BLOCKED rather than merely un-attempted.",
    "artifact_path": "genesis/verify/interval_core.py",
    "witness_command": "PYTHONPATH=. python3 scripts/audit/verify_interval_certs_reproducible.py",
    "witness_result": "exit=0 · EXIT0_NO_TOUCH · PASS|| 4 interval-BnB certificates regenerate BIT-IDENTICAL certified content (deterministic; a buyer reproduces the exact numbers)",
    "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": false
    },
    "facts_count": 3,
    "repro_command": "PYTHONPATH=. python3 scripts/audit/verify_interval_certs_reproducible.py",
    "reproduce_command": "PYTHONPATH=. python3 scripts/audit/verify_interval_certs_reproducible.py",
    "repro_packet": null,
    "ip_class": "UNKNOWN",
    "evidence_tier": "PROVEN",
    "run_status": "RAN",
    "output_excerpt": "4 reproduce · 0 mismatch · 0 slow/inconclusive-under-load\nPASS|| 4 interval-BnB certificates regenerate BIT-IDENTICAL certified content (deterministic; a buyer reproduces the exact numbers)",
    "attestation_rank": 22,
    "negative_control": "containment 10,600 samples 0 violations; domain-violation raises"
  },
  "witness_quality_entry": {
    "id": "interval-core",
    "portfolio_id": "genesis:interval-core",
    "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": "d113495a4e3918bdc67ad64a69573da018f74ab30392d4eefc156fb610b6194f",
      "bytes": 348
    },
    "witness_command": "PYTHONPATH=. python3 scripts/audit/verify_interval_certs_reproducible.py",
    "exit_clean": 0,
    "exit_mutated": 1,
    "asserts": "FAIL|| an interval-BnB certificate did not reproduce"
  },
  "packet": null,
  "measured": {
    "measured": true,
    "basis": "exit_mutated = 1 (basis == measured)",
    "exit": 1,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 192,
    "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"
    }
  }
}