{
  "_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:physics-theorem-discovery",
  "id": "physics-theorem-discovery",
  "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[28].claim",
    "file": "top40.json"
  },
  "top40_entry": {
    "id": "physics-theorem-discovery",
    "rank": 29,
    "title": "The physics theorem-discovery loop",
    "claim": "From raw solver columns over a grammar containing no physics primitive, the enumeration rediscovered the platform's own laws — and the loop killed 3 of its own 5 conjectures.",
    "scope": "'No physics in the grammar' is true OF THE GRAMMAR and misleading end-to-end: the length features, the observables, c_iso and the sampled window are all operator input. WHAT IS DISCOVERED IS THE FORM. That scoping is written into the witness itself.",
    "limits": "The selected law was −78.3·log(d_um/p_um)/sqrt(dk) − 3.76: the p-collapse rediscovered, 1/√dk recovered, thickness correctly dropped, slope about 1.32× the textbook η/2π. Interval branch-and-bound certifies |law − reducedZ0| ≤ 15.2 Ω, fuzzed over 3,693 trials with 0 unsound and 1.043× tightness. An adversary found stage 4 (DiscoveredLaws.lean) DID NOT EXIST while the witness listed its theorems as machine-checked — the same defect that moved the Lean count in entry 8 (`proof-estate-lean-z3`). It is NOT in the counted suite.",
    "artifact_path": "benchmarks/discovery/theorem_discovery_loop_2026_08.json",
    "witness_command": "PYTHONPATH=. python3 scripts/audit/verify_discovery_loop_gate.py",
    "witness_result": "exit=0 · REPRODUCED · PASS|| the discovery loop rediscovered the p-collapse and the screening law from raw solver columns, using a grammar with no physics in it; both were put through a live counterexample search restricted to the region they were extracted over, which falsified 3 of the loop's own 5 conjectures and left",
    "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_discovery_loop_gate.py",
    "reproduce_command": "PYTHONPATH=. python3 scripts/audit/verify_discovery_loop_gate.py",
    "repro_packet": null,
    "ip_class": "UNKNOWN",
    "evidence_tier": "SIMULATED",
    "run_status": "RAN",
    "output_excerpt": "which falsified 3 of the loop's own 5 conjectures and left a measured replacement bound for each. Stage 6 is LIVE-SOLVER validation on fresh geometries, NOT measured silicon. sim-vs-sim.",
    "attestation_rank": 31,
    "negative_control": "fuzz 3,693 trials 0 unsound; fabricated stage detected"
  },
  "witness_quality_entry": {
    "id": "physics-theorem-discovery",
    "portfolio_id": "genesis:physics-theorem-discovery",
    "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": "c12df79d36a6455e636a65fd7b101b2ac3266add09fcad39432bc1363976ce16",
      "bytes": 577
    },
    "witness_command": "PYTHONPATH=. python3 scripts/audit/verify_discovery_loop_gate.py",
    "exit_clean": 0,
    "exit_mutated": 1,
    "asserts": "FAIL|| 1 check(s) failed: ['loop_killed_own_claim']"
  },
  "packet": null,
  "measured": {
    "measured": true,
    "basis": "exit_mutated = 1 (basis == measured)",
    "exit": 1,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 200,
    "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"
    }
  }
}