{
 "what": "the HoldCo IP ledger: each company's own ledger rows (content/v3/<company>.json sections.ip), rolled up; a row is the claims drafted in it, counted from the company's documents",
 "measured_utc": "2026-10-01T01:06:17Z",
 "rows": 30,
 "companies": [
  "AxiomLimit",
  "ChipletOS",
  "FluxZero",
  "Lattice Graph",
  "OrbitalProof"
 ],
 "by_company": {
  "ChipletOS": {
   "rows": 4,
   "claims": 1212
  },
  "FluxZero": {
   "rows": 4,
   "claims": 228
  },
  "OrbitalProof": {
   "rows": 13,
   "claims": 970,
   "patent_pending": true
  },
  "AxiomLimit": {
   "rows": 1,
   "claims": 727,
   "patent_pending": true
  },
  "Lattice Graph": {
   "rows": 8,
   "claims": 1191
  }
 },
 "sources_sha256": {
  "chipletos": "16a2b3c9e94c313e8350a286b0857bf98998d55dc0fb1a60d59840d001993740",
  "networks": "600013c2c8cd89c975bc5132a9dd2fbf19d2eebdc4ebd955fd272453d1b66da1",
  "inference": "5273dd5c70df39501f2bfa55df6a21853e4e63bee7f92a2770ab2f5d7cdd8122",
  "fluxzero": "dd546f298756eb3a2b1a56a9306e2b6fb5c42b333ad0653f587657eb5bc92fb3",
  "latticegraph": "538a9a829d75f074ac05a09603c56caeace1b5033648074b123be5ec6fc648b8"
 },
 "ledger": [
  {
   "company": "ChipletOS",
   "genus": "Certified signoff for chiplet interconnects: proving where pairwise extraction fails, synthesizing isolation structures, and releasing a design to fabrication only on the proof",
   "claims": 444,
   "counted_in_total": true,
   "validation_engines": "Interval branch-and-bound proofs · Lean 4 · Z3 · our boundary-element solver · FastCap and Palace (independent field solvers)",
   "counted": {
    "count_method": "numbered claims 1–444 under ## CLAIMS, 28 clusters A–AB, contiguous",
    "counted_at": "6d03a150 (last change before 2026-09-02; 2026-08-19)",
    "first_committed": "2026-07-28 (1cffa023)"
   }
  },
  {
   "company": "ChipletOS",
   "genus": "Certified admission of machine-generated lithography masks — producing, composing, bounding and independently checking the certificates",
   "claims": 382,
   "counted_in_total": true,
   "validation_engines": "Interval enclosures · Lean 4 · moment/SOS relaxations · RISC Zero STARK · DRAT proof checking",
   "counted": {
    "count_method": "numbered claims 1–382 under ## CLAIMS, 31 groups A–AE, contiguous",
    "counted_at": "d960709 (unchanged since)",
    "first_committed": "2026-07-28 (d960709)"
   }
  },
  {
   "company": "ChipletOS",
   "genus": "Confidential verification: proving a chip's security, correctness and performance to a party who never receives the design",
   "claims": 331,
   "counted_in_total": true,
   "validation_engines": "Lean 4 (bv_decide) · CaDiCaL + drat-trim · CakeML-verified proof checker · Z3 · RISC Zero STARK receipts",
   "counted": {
    "count_method": "numbered claims 1–331 under ## CLAIMS, 37 concepts, contiguous",
    "counted_at": "f298a03 (last change before 2026-09-02; 2026-08-01)",
    "first_committed": "2026-07-28 (9422fab)"
   }
  },
  {
   "company": "ChipletOS",
   "genus": "Glass-core interposers: through-glass-via design, CTE-matched via fill, pad transitions, design rules, thermal impedance and yield",
   "claims": 55,
   "counted_in_total": true,
   "validation_engines": "Boundary-element impedance extraction · Lamé stress analysis · Coffin-Manson fatigue · Monte Carlo yield",
   "counted": {
    "count_method": "numbered claims under each file's CLAIMS heading, each contiguous from 1",
    "counted_at": "HEAD 39f6b06f (files unchanged since first commit)",
    "first_committed": "2026-06-29 (Genesis first commit of provisionals/)"
   }
  },
  {
   "company": "FluxZero",
   "genus": "Self-pumping (Marangoni) two-phase immersion coolant — compositions, systems and methods, fluorinated-fluid embodiments",
   "claims": 120,
   "counted_in_total": true,
   "validation_engines": "Molecular dynamics · published fluid property data",
   "counted": {
    "count_method": "distinct '**Claim N' headings: 120 (1–122, numbers 21 and 22 absent)",
    "counted_at": "3fe6309 (last change 2026-01-29)",
    "first_committed": "2026-01-25 (5481ba0)"
   }
  },
  {
   "company": "FluxZero",
   "genus": "Computational discovery of thermal-management fluids by molecular simulation and machine learning",
   "claims": 50,
   "counted_in_total": true,
   "validation_engines": "Molecular dynamics · machine-learning property models",
   "counted": {
    "count_method": "distinct '**Claim N' headings 1–50, contiguous",
    "counted_at": "3e218ff (last change 2026-04-19)",
    "first_committed": "2026-01-25 (5481ba0)"
   }
  },
  {
   "company": "FluxZero",
   "genus": "PFAS-free enhanced two-phase coolant: alkane fuel with a polar aprotic pump",
   "claims": 58,
   "counted_in_total": true,
   "validation_engines": "Molecular dynamics · Hansen solubility screen · published fluid property data",
   "counted": {
    "count_method": "distinct '**Claim N' headings 1–58, contiguous",
    "counted_at": "bb0981d (last change 2026-04-24)",
    "first_committed": "2026-04-19 (3e218ff)"
   }
  },
  {
   "company": "FluxZero",
   "genus": "PFAS-free two-phase immersion coolants: the fuel-plus-pump composition family, PFAS-free species, cooling systems, methods of use, and the discovery engine",
   "claims": 143,
   "counted_in_total": false,
   "validation_engines": "Molecular dynamics (GROMACS) · Monte-Carlo heat-flux model · multi-objective screen of two-component blends · Hansen solubility",
   "counted": {
    "count_method": "distinct bold claim numbers **N.** under '# §XVIII. CLAIMS' (lines 975–1437): 143 written, max 330",
    "claims_note": "built from the three documents above and other sources, so not added to the total",
    "counted_at": "f359f34 (last change 2026-06-14)",
    "first_committed": "2026-06-14 (0b8bd75)"
   }
  },
  {
   "company": "OrbitalProof",
   "genus": "Post-quantum and verified wireless: a verification-gate genus for Wi-Fi, 5G and machine-interconnect links — freshness-gated handover, single-radio retune scheduling, loss-budget tokens, bounded-state post-quantum handshakes, ordered delivery, converse-gated compliance oracles and deterministic networking (39 claim groups)",
   "claims": 394,
   "counted_in_total": true,
   "validation_engines": "Lean 4 proofs, explicit-state model checking, exact converse computations",
   "counted": {
    "first_added": "2026-07-28 (73717d0); counted at 3d10ccb8, last commit ≤ 2026-09-02"
   }
  },
  {
   "company": "OrbitalProof",
   "genus": "Post-quantum Wi-Fi key-management safety envelope — master claim (machine-checked bounded admission)",
   "claims": 2,
   "counted_in_total": true,
   "validation_engines": "Lean 4, TLA+ model checking (TLC)",
   "counted": {
    "first_added": "2026-06-21 (40f794f); counted at 193c61f5"
   }
  },
  {
   "company": "OrbitalProof",
   "genus": "Transition-mode downgrade firewall for post-quantum Wi-Fi",
   "claims": 18,
   "counted_in_total": true,
   "validation_engines": "reproduced attack matrix; Linux Wi-Fi simulator captures",
   "counted": {
    "first_added": "2026-06-21 (40f794f)"
   }
  },
  {
   "company": "OrbitalProof",
   "genus": "Retransmission-safe key-install gate (install once per install ID)",
   "claims": 18,
   "counted_in_total": true,
   "validation_engines": "bounded model checking; Linux Wi-Fi simulator captures (naive reinstall vs repaired)",
   "counted": {
    "first_added": "2026-06-21 (40f794f)"
   }
  },
  {
   "company": "OrbitalProof",
   "genus": "Fragmentation-safe post-quantum transcript root",
   "claims": 18,
   "counted_in_total": true,
   "validation_engines": "reproduced attack matrix; Linux Wi-Fi simulator captures (tampered fragment accepted vs aborted)",
   "counted": {
    "first_added": "2026-06-21 (40f794f)"
   }
  },
  {
   "company": "OrbitalProof",
   "genus": "Adaptive post-quantum anti-clogging gate",
   "claims": 14,
   "counted_in_total": true,
   "validation_engines": "TLA+ model checking (TLC)",
   "counted": {
    "first_added": "2026-06-21 (40f794f)"
   }
  },
  {
   "company": "OrbitalProof",
   "genus": "Post-quantum fast-roaming continuity epoch",
   "claims": 13,
   "counted_in_total": true,
   "validation_engines": "TLA+ model checking (TLC)",
   "counted": {
    "first_added": "2026-06-21 (40f794f)"
   }
  },
  {
   "company": "OrbitalProof",
   "genus": "Transcript-bound anti-clogging puzzle",
   "claims": 17,
   "counted_in_total": true,
   "validation_engines": "TLA+ model checking (TLC); reproduced attack matrix",
   "counted": {
    "first_added": "2026-06-21 (40f794f)"
   }
  },
  {
   "company": "OrbitalProof",
   "genus": "Wi-Fi integration of a post-quantum password-authenticated key exchange",
   "claims": 17,
   "counted_in_total": true,
   "validation_engines": "TLA+ model checking (TLC); reproduced attack matrix (the exchange primitive itself is prior art)",
   "counted": {
    "first_added": "2026-06-21 (40f794f)"
   }
  },
  {
   "company": "OrbitalProof",
   "genus": "Multi-link post-quantum per-link key hierarchy",
   "claims": 18,
   "counted_in_total": true,
   "validation_engines": "TLA+ model checking (TLC), Z3; attack matrix; Linux Wi-Fi simulator captures",
   "counted": {
    "first_added": "2026-06-21 (40f794f)"
   }
  },
  {
   "company": "OrbitalProof",
   "genus": "Pre-association beacon and management-frame post-quantum authenticity",
   "claims": 18,
   "counted_in_total": true,
   "validation_engines": "TLA+ model checking (TLC), Z3; attack matrix; Linux Wi-Fi simulator captures",
   "counted": {
    "first_added": "2026-06-21 (40f794f)"
   }
  },
  {
   "company": "OrbitalProof",
   "genus": "Device-class and battery-aware policy binding to the handshake transcript",
   "claims": 16,
   "counted_in_total": true,
   "validation_engines": "TLC model checking, Z3; attack matrix",
   "counted": {
    "first_added": "2026-06-21 (40f794f)"
   }
  },
  {
   "company": "OrbitalProof",
   "genus": "Proof-carrying admission of machine-generated code: certificate-gated patches, kernel programs and compiler passes, plus decoder-normative video bitstream syntax (39 claim groups)",
   "claims": 407,
   "counted_in_total": true,
   "validation_engines": "Farkas certificates re-checked by independent checkers; Lean 4, Z3, cvc5, CBMC, Kani, Frama-C cross-checks",
   "counted": {
    "first_added": "2026-07-28 (155b3115); counted at 4c781f44, last commit ≤ 2026-09-02"
   }
  },
  {
   "company": "AxiomLimit",
   "genus": "Proof-carrying admission for AI inference infrastructure: tenant-rights capability engines and partition-key binding for shared KV caches, cross-instance reuse, memory zeroization, exactly-once state migration, and interconnect, power and scheduling admission gates (2 genera, 87 mechanism groups)",
   "claims": 727,
   "counted_in_total": true,
   "validation_engines": "Lean 4 proofs, CP-SAT optimality certificates, live-GPU reproductions",
   "counted": {
    "first_added": "2026-07-28 (2a9e9ed); counted at 5155400, last commit ≤ 2026-09-02"
   }
  },
  {
   "company": "Lattice Graph",
   "genus": "Solid-state electrolytes and battery materials",
   "claims": 173,
   "counted_in_total": true,
   "validation_engines": "MACE-MP-0 and CHGNet phonons · ab initio molecular dynamics · public DFT data (Materials Project, OQMD) · USPTO landscape",
   "counted": {
    "count_method": "distinct claim numbers under each file's CLAIMS heading (formats: '### Claim N', '### Independent/Dependent Claim N', '**N.**', 'N. …', '- **Claim N'); prov61/prov62 hand-corrected +1 (claim 1 was the parser's section start); prov74 counts the 9 claims in CURRENT.md (v1 had 14)",
    "first_committed": "2026-04-16 – 2026-04-19"
   }
  },
  {
   "company": "Lattice Graph",
   "genus": "Glass-core packaging: glass substrates, through-glass-via barriers, low-k redistribution layers, thermal interfaces, radiation-hard glass",
   "claims": 239,
   "counted_in_total": true,
   "validation_engines": "MACE-MP-0 phonons · GlassNet glass-property model · DFPT and hybrid-functional DFT · USPTO landscape",
   "counted": {
    "count_method": "distinct claim numbers under each file's CLAIMS heading (formats: '### Claim N', '### Independent/Dependent Claim N', '**N.**', 'N. …', '- **Claim N'); prov61/prov62 hand-corrected +1 (claim 1 was the parser's section start); prov74 counts the 9 claims in CURRENT.md (v1 had 14)",
    "first_committed": "2026-04-16 – 2026-04-19"
   }
  },
  {
   "company": "Lattice Graph",
   "genus": "Photovoltaic and optoelectronic absorbers, transparent conductors and detectors",
   "claims": 135,
   "counted_in_total": true,
   "validation_engines": "PBE and HSE band structures · DFPT · MACE-MP-0 phonons · ALIGNN property models · public DFT data (Materials Project, JARVIS)",
   "counted": {
    "count_method": "distinct claim numbers under each file's CLAIMS heading (formats: '### Claim N', '### Independent/Dependent Claim N', '**N.**', 'N. …', '- **Claim N'); prov61/prov62 hand-corrected +1 (claim 1 was the parser's section start); prov74 counts the 9 claims in CURRENT.md (v1 had 14)",
    "first_committed": "2026-04-16 – 2026-04-18"
   }
  },
  {
   "company": "Lattice Graph",
   "genus": "Catalysts and photocatalysts for hydrogen and oxygen evolution",
   "claims": 102,
   "counted_in_total": true,
   "validation_engines": "Quantum ESPRESSO DFT · DFPT · MACE-MP-0 phonons · public DFT data (Materials Project, JARVIS)",
   "counted": {
    "count_method": "distinct claim numbers under each file's CLAIMS heading (formats: '### Claim N', '### Independent/Dependent Claim N', '**N.**', 'N. …', '- **Claim N'); prov61/prov62 hand-corrected +1 (claim 1 was the parser's section start); prov74 counts the 9 claims in CURRENT.md (v1 had 14)",
    "first_committed": "2026-04-16 – 2026-04-19"
   }
  },
  {
   "company": "Lattice Graph",
   "genus": "Dielectrics, ferroelectrics, piezoelectrics, multiferroics and microwave ceramics",
   "claims": 144,
   "counted_in_total": true,
   "validation_engines": "DFPT dielectric and piezoelectric tensors · PBE DFT · MACE-MP-0 phonons · JARVIS data",
   "counted": {
    "count_method": "distinct claim numbers under each file's CLAIMS heading (formats: '### Claim N', '### Independent/Dependent Claim N', '**N.**', 'N. …', '- **Claim N'); prov61/prov62 hand-corrected +1 (claim 1 was the parser's section start); prov74 counts the 9 claims in CURRENT.md (v1 had 14)",
    "first_committed": "2026-04-16 – 2026-04-20"
   }
  },
  {
   "company": "Lattice Graph",
   "genus": "Thermoelectrics, magnets and topological materials",
   "claims": 98,
   "counted_in_total": true,
   "validation_engines": "MACE-MP-0 phonons · phono3py lattice thermal conductivity · PBE DFT · Materials Project data",
   "counted": {
    "count_method": "distinct claim numbers under each file's CLAIMS heading (formats: '### Claim N', '### Independent/Dependent Claim N', '**N.**', 'N. …', '- **Claim N'); prov61/prov62 hand-corrected +1 (claim 1 was the parser's section start); prov74 counts the 9 claims in CURRENT.md (v1 had 14)",
    "first_committed": "2026-04-16 – 2026-04-18"
   }
  },
  {
   "company": "Lattice Graph",
   "genus": "Computational discovery methods: substitution, whitespace, DFT disagreement, supply-risk tiers",
   "claims": 152,
   "counted_in_total": true,
   "validation_engines": "cross-database DFT comparison (Materials Project, JARVIS, OQMD) · patent-landscape triangulation · the live warehouse",
   "counted": {
    "count_method": "distinct claim numbers under each file's CLAIMS heading (formats: '### Claim N', '### Independent/Dependent Claim N', '**N.**', 'N. …', '- **Claim N'); prov61/prov62 hand-corrected +1 (claim 1 was the parser's section start); prov74 counts the 9 claims in CURRENT.md (v1 had 14)",
    "first_committed": "2026-04-16 – 2026-04-18"
   }
  },
  {
   "company": "Lattice Graph",
   "genus": "Other compositions: chiral, synthesis, superhard, 2-D, fluoride, etch, fuel-cell, power-substrate and multi-use",
   "claims": 148,
   "counted_in_total": true,
   "validation_engines": "MACE-MP-0 phonons · PBE and HSE DFT · DFPT · Materials Project data",
   "counted": {
    "count_method": "distinct claim numbers under each file's CLAIMS heading (formats: '### Claim N', '### Independent/Dependent Claim N', '**N.**', 'N. …', '- **Claim N'); prov61/prov62 hand-corrected +1 (claim 1 was the parser's section start); prov74 counts the 9 claims in CURRENT.md (v1 had 14)",
    "first_committed": "2026-04-16 – 2026-04-20"
   }
  }
 ]
}