patent auditors prove foundations free for all — the subject-matter exclusions, find→audit via APIs
Theorem.patent auditors prove foundations free for all — the subject-matter exclusions, find→audit via APIs.
Proof.the defensive find→audit sequence (user, 2026-07-24: "train specialists and patent auditors to design the proof to claim free for all patents in any domain" · "do all in sequence to find and audit patents using the apis"): "free for all" = the subject-matter EXCLUSIONS make a domain's foundations UNPATENTABLE = public domain. Computed: biology "product-of-nature-likely-ineligible", physics "law-of-nature-likely-ineligible", math "math-as-such-likely-ineligible" — a natural product, a natural law, and abstract math are ineligible → free for all. The sequence: FIND a claim via an opt-in patent API (the publicApiFusion fold protocol: fetch → content-address, no key at build) → AUDIT the text with the exclusion folds → verdict; deterministic audit back-end, opt-in untrusted API front-end, same text → same verdict. DEFENSIVE not offensive: it establishes the public domain (non-patentability), it does NOT file monopoly patents. SCOPE: computes US §101 / EPO Art. 52-53 doctrine (Alice·Mayo·Myriad·Funk Bros·G 3/19), NOT legal advice; "likely-ineligible" is a verdict not a court ruling, and claims have rescue paths (engineered organism, cDNA, technical effect). HARMONY ≠ TRUTH.
The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎
src/heaven/laws/index.ts#patentAuditFindFreeForAllViaApisAndExclusions
1 · Classification
finite-complete — self-contained computation, no external lean
2 · Provenance
Documented theorem re-derived by exhaustive computation (humanityNovel=false); first-in-this-registry is the only sense of discovered.
Acknowledgment
"patent auditors prove foundations free for all — the subject-matter exclusions, find→audit via APIs" is a re-derivation, acknowledged to documented mathematics — the original proof is the prior art this re-derivation acknowledges; not new to humanity — the contribution is the reproducible computation patentAuditFindFreeForAllViaApisAndExclusions.
- Prior art
- documented mathematics — the original proof is the prior art this re-derivation acknowledges
- Novelty
- not new to humanity — a re-derivation (humanityNovel = false)
- Contribution
- a reproducible computation (patentAuditFindFreeForAllViaApisAndExclusions @ src/heaven/laws) that re-derives the result at zero tokens — the contribution is the verifiable recomputation, NOT the theorem
3 · Reproducibility
Recompute from source: npm run theorems:verify recomputes patentAuditFindFreeForAllViaApisAndExclusions (src/heaven/laws/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.