{
  "_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": "24ddde7ebf3199b167c32c886eb6a9abaf7e212c",
  "portfolio_id": "packaging-extraction:closed-loop-design",
  "id": "closed-loop-design",
  "attestation_row": {
    "attested_at": "2026-09-24",
    "attestor": "07-genesis",
    "repository": "genesis",
    "source_doc": "CROWN_JEWELS_RESOLVED.md",
    "source_doc_sha256": "e8c823526abd946954ac2bbd2850849747dfa73cfb85d39d1b316d2330604dbe",
    "state": "attested",
    "top_n": 31,
    "note_sha256": "a18188920cc59653aabf6437890706d1f62a11628e4623e54f67ed9f03e13dc7",
    "ids_in_row": 31,
    "file": "dataroom/TOP_N_ATTESTATION.jsonl",
    "line": 1
  },
  "claim_source": {
    "receipt": "packaging-extraction/top40.json",
    "sha256": "4248b8f8b5985bb670534d8c1450b218444ea4cd1a22794dd5c48555b1dbb929",
    "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": "The winning layout passed the admission check, but its own certificate records it as not admitted to signoff. The comparison is not like for like: the search may add five extra grounded vias that the two-via comparison layout may not, and the isolation target (−9.754 dB) was set past the best the two-via layout reaches (−6.754 dB), so the two-via layout fails by construction. The search covered 180 candidates, and admission is re-computed by our own two-dimensional cross-section solver, not an outside one. Credibility comes from two adversarial catches before the number was published: an unfair bounds handicap, then a confound where the small-d initial point rather than the gradient was passing consensus; both were corrected first. The synthesis tool's 'exact adjoint' is exact for 4 of 9 levers: only 5 of 10 margins take the capacitance matrix. Its best output is an impossibility: a 6 pF/m differential-pair imbalance budget SMALLER than 3σ at σ ≈ 5.2 pF/m, which is a specification result, not an optimizer failure. A separate loop without the admission check (GLM-5.2) found a better layout at −19.11 dB, but it is nondeterministic, so the claim stays with the deterministic, checked run.",
    "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": [],
  "sources": {
    "attestation": {
      "receipt": "packaging-extraction/dataroom/TOP_N_ATTESTATION.jsonl",
      "source": "dataroom/TOP_N_ATTESTATION.jsonl",
      "commit": "24ddde7ebf3199b167c32c886eb6a9abaf7e212c",
      "sha256": "83505535684cf898c5d19ba58d40f69e25bd10356e6a3bfe1b57972925772685",
      "bytes": 4519,
      "visibility": "sealed"
    },
    "top40": {
      "receipt": "packaging-extraction/top40.json",
      "source": "top40.json",
      "commit": "24ddde7ebf3199b167c32c886eb6a9abaf7e212c",
      "sha256": "4248b8f8b5985bb670534d8c1450b218444ea4cd1a22794dd5c48555b1dbb929",
      "bytes": 260608,
      "visibility": "sealed"
    },
    "witness_quality": {
      "receipt": "packaging-extraction/dataroom/witness_quality.json",
      "source": "dataroom/witness_quality.json",
      "commit": "24ddde7ebf3199b167c32c886eb6a9abaf7e212c",
      "sha256": "a5b45f767596df7e20404884fd30f0975b1931cf08bb7f3b4e4bfc4b83073c51",
      "bytes": 161552,
      "visibility": "sealed"
    },
    "repro_index": {
      "receipt": "packaging-extraction/repro/INDEX.json",
      "source": "repro/INDEX.json",
      "commit": "24ddde7ebf3199b167c32c886eb6a9abaf7e212c",
      "sha256": "2a0ff93973dcafbf404f0f71c52777408d17e0ba38d141b92e0f4611a2cf72d1",
      "bytes": 34521,
      "visibility": "sealed"
    }
  }
}