{
 "version": 1,
 "site": "chipletos",
 "build_date": "2026-09-20",
 "freshness_days": 90,
 "figures": {
  "head.pairwise": {
   "id": "head.pairwise",
   "label": "minimum over-prediction of pairwise coupling extraction, proved for every layout in a tight via-pair family — not sampled",
   "value": 10.467287033298,
   "display": "≥ 10.467%",
   "freshness_days": 90,
   "measured_by": "Outward-rounded interval branch-and-bound over the whole four-parameter family: 410,165 certified boxes, 0 failure regions, 256 of 256 roots certified.",
   "receipt": {
    "path": "chipletos/v3/proofs/pairwise-floor/family_two_tight_pairs_certified_sup_2026_08.json",
    "sha256": "88c6991422777adf7a1661ca3b6071b18aaa39c1ce664d6f8e09c35b994ca71d",
    "bytes": 234599,
    "visibility": "public",
    "pointer": "/forced_pairwise_overprediction_pct"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true
  },
  "head.claims": {
   "id": "head.claims",
   "label": "provisional patent claims across 12 filings: signoff physics, lithography certificates, confidential chip verification, and glass-core interposers",
   "value": 1212,
   "display": "1,212",
   "freshness_days": 90,
   "measured_by": "The numbered claims under each provisional’s own CLAIMS heading, re-counted file by file when this site was built.",
   "receipt": {
    "path": "chipletos/v3/measured/ip_ledger.json",
    "sha256": "9f65070dac9f629d19f4b5ba4ff79e8cb4f66ec223c3999020e1ebabbef07b81",
    "bytes": 5663,
    "visibility": "public",
    "pointer": "/total_claims",
    "generated_utc": "2026-09-20"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true
  },
  "strip.claims.label": {
   "id": "strip.claims.label",
   "label": "provisional patent claims across 12 filings: signoff physics, lithography certificates, confidential chip verification, and glass-core interposers",
   "value": 12,
   "display": "12 filings",
   "freshness_days": 90,
   "measured_by": "The provisional filings behind the four families, opened and counted one by one when this site was built.",
   "receipt": {
    "path": "chipletos/v3/measured/ip_ledger.json",
    "sha256": "9f65070dac9f629d19f4b5ba4ff79e8cb4f66ec223c3999020e1ebabbef07b81",
    "bytes": 5663,
    "visibility": "public",
    "pointer": "/filings"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true
  },
  "platform.3.0": {
   "id": "platform.3.0",
   "label": "Pairwise extraction is structurally wrong for dense glass vias. We proved by how much.",
   "value": 10.467287033298,
   "display": "10.467%",
   "freshness_days": 90,
   "measured_by": "Outward-rounded interval branch-and-bound over the whole four-parameter family box: 410,165 certified boxes (/certified_boxes), 0 failure regions (/n_failure_regions), 256 of 256 roots certified (/root_status_counts/CERTIFIED of /root_count), certified supremum k = 0.9052453688833432 (/sup_certified_k_hi). An enclosure, not a sample. The floor is shown as 10.467% and never as 10.47%: the proved value is 10.467287033298%, so a floor rounded up would claim more than was proved.",
   "receipt": {
    "path": "chipletos/v3/proofs/pairwise-floor/family_two_tight_pairs_certified_sup_2026_08.json",
    "sha256": "88c6991422777adf7a1661ca3b6071b18aaa39c1ce664d6f8e09c35b994ca71d",
    "bytes": 234599,
    "visibility": "public",
    "pointer": "/forced_pairwise_overprediction_pct"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true
  },
  "platform.3.1": {
   "id": "platform.3.1",
   "label": "Pairwise extraction is structurally wrong for dense glass vias. We proved by how much.",
   "value": 27.817,
   "display": "27.8%",
   "freshness_days": 90,
   "measured_by": "FastCap’s own isolated-pair solutions, added up and compared with FastCap’s own full-array solution on the same layout, for 12 layouts; the figure is the median of the 12 per-layout over-predictions, against a bar written and hashed before the run.",
   "receipt": {
    "path": "chipletos/v3/measured/pairwise_superposition.json",
    "sha256": "9e44220b7ed3ee760b5254736a6c8a5963a3c832b1857cdbd3af359352931e10",
    "bytes": 1762,
    "visibility": "public",
    "pointer": "/median_dominant_over_prediction_pct"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true
  },
  "platform.3.2": {
   "id": "platform.3.2",
   "label": "Pairwise extraction is structurally wrong for dense glass vias. We proved by how much.",
   "value": 15.567,
   "display": "15.6×",
   "freshness_days": 90,
   "measured_by": "Per-layout coupling error of the many-body model and of pairwise extraction, both scored against FastCap’s full-array solution on 11 layouts; the figure is the median of the 11 per-layout ratios, against a bar written and hashed before the run.",
   "receipt": {
    "path": "chipletos/v3/measured/independent_solver.json",
    "sha256": "0b4e615b199b72da082cf135b2e4cea55b6ca02ac97e5d59319cb528062ccaef",
    "bytes": 2368,
    "visibility": "public",
    "pointer": "/median_advantage_vs_fastcap_x"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true
  },
  "platform.3.3": {
   "id": "platform.3.3",
   "label": "Pairwise extraction is structurally wrong for dense glass vias. We proved by how much.",
   "value": 12.093,
   "display": "12.1×",
   "freshness_days": 90,
   "measured_by": "The same ratio over a broader 43-layout sample drawn by a seed fixed before the run. The baseline it beats here is our own boundary-element pair solve graded against FastCap, so the comparison crosses two solver classes; the like-for-like figure is the 6.1× beside it.",
   "receipt": {
    "path": "chipletos/v3/measured/independent_solver_broadened.json",
    "sha256": "4f514353325d903091e3dac5f0edc0d6e98c0540c84c5215a7eb0fa28be80c4c",
    "bytes": 3196,
    "visibility": "public",
    "pointer": "/median_advantage_vs_fastcap_x"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true
  },
  "platform.3.4": {
   "id": "platform.3.4",
   "label": "Pairwise extraction is structurally wrong for dense glass vias. We proved by how much.",
   "value": 6.117193045270968,
   "display": "6.1×",
   "freshness_days": 90,
   "measured_by": "FastCap on both sides — its own isolated-pair solve as the baseline, its own full array as the truth — on the 24 held-out layouts; the figure is the median of the 24 per-layout error ratios. The model has the smaller error on all 24.",
   "receipt": {
    "path": "chipletos/v3/measured/independent_solver_same_tool.json",
    "sha256": "b5f3878540f62063f6bad60c4608750f1c9843dcfae778dbfae6c4fa8132c573",
    "bytes": 2024,
    "visibility": "public",
    "pointer": "/median_fair_pairwise_over_operator_error_x"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true
  },
  "platform.3.7": {
   "id": "platform.3.7",
   "label": "Pairwise extraction is structurally wrong for dense glass vias. We proved by how much.",
   "value": 55,
   "display": "55 provisional",
   "freshness_days": 90,
   "measured_by": "The numbered claims under each provisional’s own CLAIMS heading, re-counted file by file when this site was built.",
   "receipt": {
    "path": "chipletos/v3/measured/ip_ledger.json",
    "sha256": "9f65070dac9f629d19f4b5ba4ff79e8cb4f66ec223c3999020e1ebabbef07b81",
    "bytes": 5663,
    "visibility": "public",
    "pointer": "/rows/3/claims"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true
  },
  "theorem.pairwise-floor": {
   "id": "theorem.pairwise-floor",
   "label": "The pairwise extraction floor",
   "value": 10.467287033298,
   "display": "10.467%",
   "freshness_days": 90,
   "measured_by": "Outward-rounded interval branch-and-bound over the whole four-parameter family box: 410,165 certified boxes (/certified_boxes), 0 failure regions (/n_failure_regions), 256 of 256 roots certified (/root_status_counts/CERTIFIED of /root_count), certified supremum k = 0.9052453688833432 (/sup_certified_k_hi). An enclosure, not a sample. The floor is shown as 10.467% and never as 10.47%: the proved value is 10.467287033298%, so a floor rounded up would claim more than was proved.",
   "receipt": {
    "path": "chipletos/v3/proofs/pairwise-floor/family_two_tight_pairs_certified_sup_2026_08.json",
    "sha256": "88c6991422777adf7a1661ca3b6071b18aaa39c1ce664d6f8e09c35b994ca71d",
    "bytes": 234599,
    "visibility": "public",
    "pointer": "/forced_pairwise_overprediction_pct"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true
  },
  "theorem.two-sided-envelope": {
   "id": "theorem.two-sided-envelope",
   "label": "A floor under isolation, too",
   "value": 83.00001641114997,
   "display": "83%",
   "freshness_days": 90,
   "measured_by": "Outward-rounded interval arithmetic over the same family box, certifying the floor as well as the ceiling: 138,052 certified boxes of 276,103 processed, 0 failure regions, the whole box covered.",
   "receipt": {
    "path": "chipletos/v3/proofs/two-sided-envelope/family_two_tight_pairs_floor_2026_07.json",
    "sha256": "ab2b776d4c2a44bbdda2334164560cdaf996a670154c381fc3ee447cd3b88372",
    "bytes": 1622,
    "visibility": "public",
    "pointer": "/proven_floor",
    "scale": 100
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true
  },
  "trust.opened": {
   "id": "trust.opened",
   "label": "of a real AES-128 core opened by the STARK receipt — 27 of its 20,531 gates",
   "value": 0.1315,
   "display": "0.13%",
   "freshness_days": 90,
   "measured_by": "Opened gates over committed gates, decoded from the committed STARK receipt’s own journal: 27 of 20,531.",
   "receipt": {
    "path": "chipletos/v3/proofs/aes-0.13-percent/hiding_fractions.json",
    "sha256": "93abe53b177d79f0d99dbb4ab859375b8df5f92672e6fb5413a0e8956a70c784",
    "bytes": 9211,
    "visibility": "public",
    "pointer": "/best_hiding/percent"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true
  },
  "artifacts.total": {
   "id": "artifacts.total",
   "label": "open repositories, datasets and live demos, every URL fetched when this page was built",
   "value": 29,
   "display": "29",
   "freshness_days": 90,
   "measured_by": "Every artifact URL on this page, fetched from the build machine; only the ones that answered 200 are shown.",
   "receipt": {
    "path": "chipletos/v3/measured/artifacts.json",
    "sha256": "47b92db433d269db7429af5bc4b1ec4ca05d92d0e5d9d44fcfa390e59b5e5100",
    "bytes": 6252,
    "visibility": "public",
    "pointer": "/urls_200",
    "generated_utc": "2026-09-20"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true
  },
  "ip.row.0": {
   "id": "ip.row.0",
   "label": "Certified Physical Signoff of Manufactured Articles: Many-Body Coupling Extraction, Isolation Synthesis, and Fail-Closed Gating of Fabrication Artifacts: provisional claims",
   "value": 444,
   "display": "444",
   "freshness_days": 90,
   "measured_by": "The numbered claims under this family’s own CLAIMS heading, re-counted file by file when this site was built.",
   "receipt": {
    "path": "chipletos/v3/measured/ip_ledger.json",
    "sha256": "9f65070dac9f629d19f4b5ba4ff79e8cb4f66ec223c3999020e1ebabbef07b81",
    "bytes": 5663,
    "visibility": "public",
    "pointer": "/rows/0/claims",
    "generated_utc": "2026-09-20"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true
  },
  "ip.row.1": {
   "id": "ip.row.1",
   "label": "Certified Admission of Machine-Generated Fabrication Artifacts, and Methods for Producing, Composing, Bounding, and Independently Verifying Such Certificates: provisional claims",
   "value": 382,
   "display": "382",
   "freshness_days": 90,
   "measured_by": "The numbered claims under this family’s own CLAIMS heading, re-counted file by file when this site was built.",
   "receipt": {
    "path": "chipletos/v3/measured/ip_ledger.json",
    "sha256": "9f65070dac9f629d19f4b5ba4ff79e8cb4f66ec223c3999020e1ebabbef07b81",
    "bytes": 5663,
    "visibility": "public",
    "pointer": "/rows/1/claims",
    "generated_utc": "2026-09-20"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true
  },
  "ip.row.2": {
   "id": "ip.row.2",
   "label": "Confidential Verification of Security, Correctness, and Performance Properties of Hidden Gate-Level Circuit Designs, and Fail-Closed Admission of Verified Artifacts: provisional claims",
   "value": 331,
   "display": "331",
   "freshness_days": 90,
   "measured_by": "The numbered claims under this family’s own CLAIMS heading, re-counted file by file when this site was built.",
   "receipt": {
    "path": "chipletos/v3/measured/ip_ledger.json",
    "sha256": "9f65070dac9f629d19f4b5ba4ff79e8cb4f66ec223c3999020e1ebabbef07b81",
    "bytes": 5663,
    "visibility": "public",
    "pointer": "/rows/2/claims",
    "generated_utc": "2026-09-20"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true
  },
  "ip.row.3": {
   "id": "ip.row.3",
   "label": "Glass PDK provisional family (9 applications): provisional claims",
   "value": 55,
   "display": "55",
   "freshness_days": 90,
   "measured_by": "The numbered claims under this family’s own CLAIMS heading, re-counted file by file when this site was built.",
   "receipt": {
    "path": "chipletos/v3/measured/ip_ledger.json",
    "sha256": "9f65070dac9f629d19f4b5ba4ff79e8cb4f66ec223c3999020e1ebabbef07b81",
    "bytes": 5663,
    "visibility": "public",
    "pointer": "/rows/3/claims",
    "generated_utc": "2026-09-20"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true
  },
  "ip.note": {
   "id": "ip.note",
   "label": "claims across the provisional families",
   "value": 1212,
   "display": "1,212 claims · 12 filings",
   "freshness_days": 90,
   "measured_by": "The numbered claims under each provisional’s own CLAIMS heading, re-counted file by file when this site was built.",
   "receipt": {
    "path": "chipletos/v3/measured/ip_ledger.json",
    "sha256": "9f65070dac9f629d19f4b5ba4ff79e8cb4f66ec223c3999020e1ebabbef07b81",
    "bytes": 5663,
    "visibility": "public",
    "pointer": "/total_claims"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true
  },
  "envelope.2": {
   "id": "envelope.2",
   "label": "operational envelope",
   "value": 9.79,
   "display": "9.8%",
   "freshness_days": 90,
   "measured_by": "The boundary-element over-prediction measured on the same via family, quoted from the results record that states it beside the certified closure-model floor.",
   "receipt": {
    "path": "chipletos/v3/measured/packaging_scope.json",
    "sha256": "c1ed7b01b769fd0f61c60e1f15f110d99f802255573aee14cc1da23069e6b4cb",
    "bytes": 770,
    "visibility": "public",
    "pointer": "/bem_overprediction_pct"
   },
   "states": [
    "SUPPORTS"
   ],
   "show": true
  }
 }
}