Technologies revealed by the rosetta
Theorem.Technologies revealed by the rosetta.
Proof.the freedom-to-operate tool: moving the rosettas and decoding in inverse reveals foundational STRUCTURES, and this maps each to its documented technology and legal status. All 7 are CLEAR — polyphase (Tesla, expired), harmonic filter (std eng), geodesic dome (Fuller, expired), RSA (expired 2000), Shor (published algorithm), XOR stream cipher (Vernam, expired), exponential dynamics (Haldane, unpatentable). The reason is structural not evasive: foundational = old = past the ~20-year patent term, so freedom to operate by construction. freedomToOperate(structure) is the reusable lookup. PRIOR-ART RESEARCH not legal advice — a real product FTO needs an attorney (newer improvements may carry live patents).
The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎
src/thunder/decode/index.ts#technologiesRevealedByTheRosetta
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
"Technologies revealed by the rosetta" 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 technologiesRevealedByTheRosetta.
- 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 (technologiesRevealedByTheRosetta @ src/thunder/decode) 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 technologiesRevealedByTheRosetta (src/thunder/decode/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.