{
  "_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-inverse-reachability",
  "id": "certified-inverse-reachability",
  "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[6].claim",
    "file": "top40.json"
  },
  "top40_entry": {
    "id": "certified-inverse-reachability",
    "rank": 7,
    "title": "Certified inverse-design reachability",
    "claim": "Before an optimizer promises a geometry, the requested impedance target is proved reachable and the manufacturable geometry is returned as a certified interval, or refused.",
    "scope": "Certifies a property of the SURROGATE FUNCTION over the admitted parameter box, not physical reachability. It does not establish yield, manufacturability, or measured-hardware performance.",
    "limits": "Sound precisely because monotonicity (entry 12 (`certification-battery`)) is certified — no non-monotone wiggle can hide a second root or invalidate the bracket. A circulating claim that this gate's threshold is the literal '<= 0.0' is FALSE: that check is vestigial and DELTA_FLOOR_PITCH = 0.048 / DELTA_FLOOR_DIAM = 0.040 strictly dominate it. The circulating '48/48 slices, 77/77 inversions' figure is an earlier witness; these gates re-derive at their own resolution each run.",
    "artifact_path": "benchmarks/nn_verify/certified_inverse_reachability_2026_07.json",
    "witness_command": "PYTHONPATH=. python3 scripts/audit/verify_inverse_reachability_gate.py",
    "witness_result": "exit=0 · EXIT0_NO_TOUCH · PASS|| certified inverse-design reachability — the shipped neural Z₀ extractor admits a PROVABLY-CORRECT inverse over the manufacturable band: ∂Z₀/∂pitch certified ≥ δ=0.096>0 on ALL 27 (d,t,substrate) slices ⇒ by IVT every target Z₀ in [16.3, 92.0] Ω is reached by a UNIQUE manufacturable pitch, ret",
    "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_inverse_reachability_gate.py",
    "reproduce_command": "PYTHONPATH=. python3 scripts/audit/verify_inverse_reachability_gate.py",
    "repro_packet": null,
    "ip_class": "UNKNOWN",
    "evidence_tier": "PROVEN",
    "run_status": "RAN",
    "output_excerpt": "PASS|| certified inverse-design reachability — the shipped neural Z₀ extractor admits a PROVABLY-CORRECT inverse over the manufacturable band: ∂Z₀/∂pitch certified ≥ δ=0.096>0 on ALL 27 (d,t,substrate) slices ⇒ by IVT every target Z₀ in [16.3, 92.0] Ω is reached by a UNIQUE manufacturable pitch, returned as a certified pitch interval by exact-bracket bisection (≤22 iters); 80/80 inversions sound (forward Z₀ ≈ target, worst rel-err 1.6e-07); the SECOND design knob (fixed pitch, solve diameter, ∂Z₀/∂d<0) is ALSO certified sound (40/40) — both DRC-constraint scenarios; BOTH monotonicity-breaking faults (negated pitch AND diameter weights) are CAUGHT, and an FD-enclosure self-check confirms the interval-Jacobian matches the checkpoint's activation (catches a wrong-activation load). Rigorous CROWN-Jacobian + exact-bracket bisection, no BEM solves. The 5th extractor certificate — the first INVERSE-map guarantee in EDA. sim-vs-sim (the extractor function — the substrate-agnostic Gate-71 SiLU surrogate, NOT the served bem_v7_multiout ensemble; not measured silicon).",
    "attestation_rank": 15,
    "negative_control": "negated pitch and diameter weights both CAUGHT"
  },
  "witness_quality_entry": {
    "id": "certified-inverse-reachability",
    "portfolio_id": "genesis:certified-inverse-reachability",
    "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": "34ffa87d6634918b84a355fafb6344d5895b073c4ea35e94a6fd65ad98de7957",
      "bytes": 608
    },
    "witness_command": "PYTHONPATH=. python3 scripts/audit/verify_inverse_reachability_gate.py",
    "exit_clean": 0,
    "exit_mutated": 1,
    "asserts": "FAIL|| clean run did not certify reachability (verdict=INCOMPLETE)"
  },
  "packet": null,
  "measured": {
    "measured": true,
    "basis": "exit_mutated = 1 (basis == measured)",
    "exit": 1,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 181,
    "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"
    }
  }
}