{
  "_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:closed-loop-design",
  "id": "closed-loop-design",
  "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[32].claim",
    "file": "top40.json"
  },
  "top40_entry": {
    "id": "closed-loop-design",
    "rank": 33,
    "title": "Closed-loop design through an independently re-derived gate",
    "claim": "Candidates generated by gradient or search must clear a BEM admission that is re-derived independently, so evolution cannot fake compliance — reaching a discrete topology 10.842 dB beyond the continuous-only incumbent.",
    "scope": "Admission is re-derived from FULL-ARRAY BEM TRUTH, which is our own solver. The reach figure compares two of our own optimizers, not a competitor's tool.",
    "limits": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "a6af1e4832653f7e075a43edfdcfb1f835d725b214ca7d8c0fd6498f0576731a",
      "bytes": 664
    },
    "artifact_path": "benchmarks/evolayout/evolayout_gate_2026_07_01.json",
    "witness_command": "PYTHONPATH=. python3 scripts/audit/verify_evolve_layout_gate.py",
    "witness_result": "exit=0 · REPRODUCED · PASS|| discrete-topology reach 10.842 dB the continuous-only incumbent cannot reach; reproducible, deep-reverified, both fault-injections caught, 4 owned probes",
    "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_evolve_layout_gate.py",
    "reproduce_command": "PYTHONPATH=. python3 scripts/audit/verify_evolve_layout_gate.py",
    "repro_packet": null,
    "ip_class": "UNKNOWN",
    "evidence_tier": "SIMULATED",
    "run_status": "RAN",
    "output_excerpt": "    PASS  flywheel_probes_emitted\nPASS|| discrete-topology reach 10.842 dB the continuous-only incumbent cannot reach; reproducible, deep-reverified, both fault-injections caught, 4 owned probes",
    "attestation_rank": 8,
    "negative_control": "both fault-injections caught"
  },
  "witness_quality_entry": {
    "id": "closed-loop-design",
    "portfolio_id": "genesis:closed-loop-design",
    "class": "ASSERTING",
    "measured_class": "ASSERTING",
    "basis": "measured",
    "why": "a defect planted in the input the witness reads (code: genesis/ai/inference/evolutionary_layout_designer.py :: `and cm.get(\"isolation_db\", float(\"inf\")) <= isolation_target_db)` -> `and True)  # S14 designed mutation: admission ignores the BEM-derived isolation` (first of 1 occurrence(s))) makes it report a checked failure (exit 1); unmutated it exits 0. What became false: primary: admission no longer depends on the independently re-derived BEM isolation, so 'evolution cannot fake compliance' is false — the incumbent is then admitted at a target it cannot meet and the reach check fails; fallback (if the primary is inert because the incumbent's own certificate is not admitted): the reach the claim quotes (10.842 dB) is measured against a 30 dB bar it does not clear. The witness reads no committed data (the operator checkpoint guides the search; admission is re-derived by BEM)",
    "witness_command": "PYTHONPATH=. python3 scripts/audit/verify_evolve_layout_gate.py",
    "exit_clean": 0,
    "exit_mutated": 1,
    "asserts": "FAIL|| discrete_topology_reach"
  },
  "packet": null,
  "measured": {
    "measured": true,
    "basis": "exit_mutated = 1 (basis == measured)",
    "exit": 1,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 184,
    "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": "top40.limits",
      "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"
    }
  }
}
