{
  "_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:forall-impossibility-pairwise",
  "id": "forall-impossibility-pairwise",
  "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[1].claim",
    "file": "top40.json"
  },
  "top40_entry": {
    "id": "forall-impossibility-pairwise",
    "rank": 2,
    "title": "∀-impossibility theorem of pairwise extraction",
    "claim": "For every layout in the declared two_tight_pairs family, pairwise superposition over-predicts the worst coupling by at least 1.10467287× (≥10.467287%), certified by interval branch-and-bound rather than sampled.",
    "scope": "A theorem about the frozen MONOPOLE-CLOSURE model over the box d0∈[25,60]µm, pt_mult∈[1,1.2], sep_mult∈[2.5,4.5], jog_mult∈[−0.4,0.4], under the manufacturability predicate min|ci−cj| ≥ 1.6·d0. The witness's own honest_scope states it does not establish Maxwell, BEM, driven-S, fabrication or measured-silicon truth. Against BEM the carried-through figure is ≈9.79% and is empirical, not certified.",
    "limits": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "c888ee7bdb93626a49b81ca8fd62d67d4375887962094574ca6e1b32b0f3bd43",
      "bytes": 963
    },
    "artifact_path": "benchmarks/impossibility/family_two_tight_pairs_certified_sup_2026_08.json",
    "witness_command": "PYTHONPATH=. python3 scripts/audit/verify_family_impossibility_certified_sup_gate.py --out /tmp/w.json",
    "witness_result": "exit=0 · EXIT0_NO_TOUCH · status=PASS  wrote /tmp/w.json  (169.0s)",
    "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_family_impossibility_certified_sup_gate.py --out /tmp/w.json",
    "reproduce_command": "PYTHONPATH=. python3 scripts/audit/verify_family_impossibility_certified_sup_gate.py --out /tmp/w.json",
    "repro_packet": null,
    "ip_class": "UNKNOWN",
    "evidence_tier": "PROVEN",
    "run_status": "RAN",
    "output_excerpt": "certified sup k = 0.905245368883  ->  pairwise over-predicts by >= 10.467287%  (searched max 0.905245364890 = 10.467288%; tightness 3.99e-09)\nstatus=PASS",
    "attestation_rank": 11,
    "negative_control": "faultC (unrestricted 5-via family) reaches k=1.1023 and must be RED"
  },
  "witness_quality_entry": {
    "id": "forall-impossibility-pairwise",
    "portfolio_id": "genesis:forall-impossibility-pairwise",
    "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": "5abf37b83ec266f77d2a0579ffdf669ea56ce339338783d19bd9fa6ce3edcb06",
      "bytes": 683
    },
    "witness_command": "PYTHONPATH=. python3 scripts/audit/verify_family_impossibility_certified_sup_gate.py --out /tmp/w.json",
    "exit_clean": 0,
    "exit_mutated": 1,
    "asserts": "status=FAIL  wrote /tmp/w.json  (28.1s)"
  },
  "packet": null,
  "measured": {
    "measured": true,
    "basis": "exit_mutated = 1 (basis == measured)",
    "exit": 1,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 190,
    "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"
      ]
    },
    {
      "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"
    }
  }
}