{
 "what": "the provisional patent claims of each technology family, counted from the filings themselves",
 "measured_utc": "2026-09-20T15:08:04Z",
 "method": "for each file, the numbered claims under its `## CLAIMS` heading, counted as the contiguous run from 1 (`**1.**` or `**Claim 1.**`), at the revision named on the row; the total is their sum",
 "status_basis": "filing status as stated by ChipletOS, 2026-09-02",
 "rows": [
  {
   "genus": "Certified signoff for chiplet interconnects: proving where pairwise extraction fails, synthesizing isolation structures, and releasing a design to fabrication only on the proof",
   "title": "Certified Physical Signoff of Manufactured Articles: Many-Body Coupling Extraction, Isolation Synthesis, and Fail-Closed Gating of Fabrication Artifacts",
   "claims": 444,
   "status": "Provisional filed",
   "validation_engines": "Interval branch-and-bound proofs · Lean 4 · Z3 · our boundary-element solver · FastCap and Palace (independent field solvers)",
   "step": "Package",
   "filings": 1,
   "files": [
    {
     "repository": "genesis (packaging & extraction)",
     "path": "OMNIBUS_PROVISIONAL.md",
     "revision": "6d03a150",
     "claims": 444,
     "numbered_lines": 444
    }
   ],
   "count_method": "numbered claims 1–444 under ## CLAIMS, 28 clusters A–AB, contiguous"
  },
  {
   "genus": "Certified admission of machine-generated lithography masks — producing, composing, bounding and independently checking the certificates",
   "title": "Certified Admission of Machine-Generated Fabrication Artifacts, and Methods for Producing, Composing, Bounding, and Independently Verifying Such Certificates",
   "claims": 382,
   "status": "Provisional filed",
   "validation_engines": "Interval enclosures · Lean 4 · moment/SOS relaxations · RISC Zero STARK · DRAT proof checking",
   "step": "Print",
   "filings": 1,
   "files": [
    {
     "repository": "computational-lithography",
     "path": "OMNIBUS_PROVISIONAL.md",
     "revision": "d960709",
     "claims": 382,
     "numbered_lines": 382
    }
   ],
   "count_method": "numbered claims 1–382 under ## CLAIMS, 31 groups A–AE, contiguous"
  },
  {
   "genus": "Confidential verification: proving a chip's security, correctness and performance to a party who never receives the design",
   "title": "Confidential Verification of Security, Correctness, and Performance Properties of Hidden Gate-Level Circuit Designs, and Fail-Closed Admission of Verified Artifacts",
   "claims": 331,
   "status": "Provisional filed",
   "validation_engines": "Lean 4 (bv_decide) · CaDiCaL + drat-trim · CakeML-verified proof checker · Z3 · RISC Zero STARK receipts",
   "step": "Trust",
   "filings": 1,
   "files": [
    {
     "repository": "eda-platform (confidential verification)",
     "path": "OMNIBUS_PROVISIONAL.md",
     "revision": "f298a03",
     "claims": 331,
     "numbered_lines": 331
    }
   ],
   "count_method": "numbered claims 1–331 under ## CLAIMS, 37 concepts, contiguous"
  },
  {
   "genus": "Glass-core interposers: through-glass-via design, CTE-matched via fill, pad transitions, design rules, thermal impedance and yield",
   "title": "Glass PDK provisional family (9 applications)",
   "claims": 55,
   "status": "Provisional filed",
   "validation_engines": "Boundary-element impedance extraction · Lamé stress analysis · Coffin-Manson fatigue · Monte Carlo yield",
   "step": "Package",
   "filings": 9,
   "files": [
    {
     "repository": "genesis (packaging & extraction)",
     "path": "provisionals/PROV_7_GLASS_PDK/PROVISIONAL_PATENT_APPLICATION.md",
     "revision": "39f6b06f",
     "claims": 10,
     "numbered_lines": 10
    },
    {
     "repository": "genesis (packaging & extraction)",
     "path": "provisionals/PROV_7_GLASS_PDK/PROVISIONAL_PATENT_2_CTE_COOPT.md",
     "revision": "39f6b06f",
     "claims": 5,
     "numbered_lines": 5
    },
    {
     "repository": "genesis (packaging & extraction)",
     "path": "provisionals/PROV_7_GLASS_PDK/PROVISIONAL_PATENT_3_PAD_TRANSITION.md",
     "revision": "39f6b06f",
     "claims": 6,
     "numbered_lines": 6
    },
    {
     "repository": "genesis (packaging & extraction)",
     "path": "provisionals/PROV_7_GLASS_PDK/PROVISIONAL_PATENT_4_ML_SURROGATE.md",
     "revision": "39f6b06f",
     "claims": 5,
     "numbered_lines": 7
    },
    {
     "repository": "genesis (packaging & extraction)",
     "path": "provisionals/PROV_7_GLASS_PDK/PROVISIONAL_PATENT_5_YIELD_MC.md",
     "revision": "39f6b06f",
     "claims": 5,
     "numbered_lines": 5
    },
    {
     "repository": "genesis (packaging & extraction)",
     "path": "provisionals/PROV_7_GLASS_PDK/PROVISIONAL_PATENT_6_FEASIBILITY.md",
     "revision": "39f6b06f",
     "claims": 5,
     "numbered_lines": 5
    },
    {
     "repository": "genesis (packaging & extraction)",
     "path": "provisionals/PROV_7_GLASS_PDK/PROVISIONAL_PATENT_7_DESIGN_RULES.md",
     "revision": "39f6b06f",
     "claims": 5,
     "numbered_lines": 5
    },
    {
     "repository": "genesis (packaging & extraction)",
     "path": "provisionals/PROV_7_GLASS_PDK/PROVISIONAL_PATENT_8_THERMAL_Z.md",
     "revision": "39f6b06f",
     "claims": 6,
     "numbered_lines": 6
    },
    {
     "repository": "genesis (packaging & extraction)",
     "path": "provisionals/PROV_7_GLASS_PDK/ip_library/PROVISIONAL_PATENTS.md",
     "revision": "39f6b06f",
     "claims": 8,
     "numbered_lines": 25
    }
   ],
   "count_method": "numbered claims under each file's CLAIMS heading, each contiguous from 1"
  }
 ],
 "filings": 12,
 "total_claims": 1212,
 "statuses": [
  "Provisional filed"
 ]
}