{
  "_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:two-sided-envelope-design-direction",
  "id": "two-sided-envelope-design-direction",
  "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[5].claim",
    "file": "top40.json"
  },
  "top40_entry": {
    "id": "two-sided-envelope-design-direction",
    "rank": 6,
    "title": "A certified two-sided envelope and a certified design direction",
    "claim": "The same family carries a certified floor as well as a ceiling, plus a proven ordering showing that moving two via pairs closer together increases many-body screening.",
    "scope": "Monopole-closure statements with an additive, disclosed closure-vs-BEM gap. The design direction is a RIGOROUS ENDPOINT ORDERING between sep_mult 2.5 and 4.5, not a full pointwise monotonicity proof; full monotonicity is a disclosed empirical finding.",
    "limits": "With entry 2 (`forall-impossibility-pairwise`)'s tightened ceiling the envelope is k ∈ [0.830, 0.9052453688833432]; it was [0.830, 10/11] before 2026-08-18. The 276,103 figure is the PROCESSED box count — a patent claim once recited it as 'certified sub-boxes' when the witness records 138,052 certified; when the class was swept, 7 of 8 occurrences were already correct. The N=3 symmetric second family certifies k ∈ [0.370, 0.944], a far more dramatic floor: one optimally-placed guard via screens a pair to 37% of isolated coupling.",
    "artifact_path": "benchmarks/impossibility/family_two_tight_pairs_floor_2026_07.json",
    "witness_command": "PYTHONPATH=. python3 scripts/audit/verify_family_floor_gate.py",
    "witness_result": "exit=0 · EXIT0_NO_TOUCH · PASS|| certified screening FLOOR: k_min >= 0.8300 over the WHOLE two_tight_pairs box (interval B&B, zero failure regions), fresh re-derivation + 2000-point zero-below-floor sweep; with the Gate-105 ceiling → a certified two-sided envelope; scope = monopole-closure model (gap additive), sim-vs-sim",
    "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_floor_gate.py",
    "reproduce_command": "PYTHONPATH=. python3 scripts/audit/verify_family_floor_gate.py",
    "repro_packet": null,
    "ip_class": "UNKNOWN",
    "evidence_tier": "PROVEN",
    "run_status": "RAN",
    "output_excerpt": "PASS|| certified screening FLOOR: k_min >= 0.8300 over the WHOLE two_tight_pairs box (interval B&B, zero failure regions), fresh re-derivation + 2000-point zero-below-floor sweep; with the Gate-105 ceiling → a certified two-sided envelope; scope = monopole-closure model (gap additive), sim-vs-sim",
    "attestation_rank": 14,
    "negative_control": "fake floor 0.87 above the true min is violated on 145/400 points"
  },
  "witness_quality_entry": {
    "id": "two-sided-envelope-design-direction",
    "portfolio_id": "genesis:two-sided-envelope-design-direction",
    "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": "3d800cae66a8e3c4e64806aabdefa66c93b35e95f6bc3d4249fde3a2d62bb2ff",
      "bytes": 440
    },
    "witness_command": "PYTHONPATH=. python3 scripts/audit/verify_family_floor_gate.py",
    "exit_clean": 0,
    "exit_mutated": 1,
    "asserts": "FAIL|| certified screening FLOOR: k_min >= 1.4525 over the WHOLE two_tight_pairs box (interval B&B, zero failure regions), fresh re-derivation + 2000-point zero-below-floor sweep; with the Gate-105 ceiling → a certified two-sided envelope; scope = monopole-closure model (gap additive), sim-vs-sim"
  },
  "packet": null,
  "measured": {
    "measured": true,
    "basis": "exit_mutated = 1 (basis == measured)",
    "exit": 1,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 208,
    "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"
    }
  }
}