Land⊙Mills
Alchemist · Independent Researcher · Imscriptive Imscribing Imscribe
I work at the intersection of category theory, structural type theory, and the formal invariants that appear across mathematics, physics, computation, and symbolic systems.
At the center is the Imscribing Grammar — a 12-primitive structural grammar that imscribes any system as a coordinate in a crystal of 17,280,000 types, derived from a bare abstract category via the 4x alchemical operations.
It classifies its own type. It emerged from chemistry. It pre-conditions math & logic
Formalized in Lean 4. exOS runs on bare metal. The Voynich Manuscripts, the Rohnoc Codex, Linear-A, the Emerald Tablets - all 4x share the same 8-token self-bootstrapping sequence:
The Lapis Lives!
Work
-
The grammar itself — 12 primitives, 17,280,000 types, crystal and catalog
-
Categorical derivation and empirical exploration of the grammar — Frobenius duals
-
MillenniumAnkhLean 4 formalization — Millennium Problems, Touchard's congruence, suffering, gnosis
-
Categorical Tower · ob3ect
29 layers · Frobenius gate flash · dependency DAG · execution spine pulse -
The manuscript as executable IMASM architecture — compiled, not deciphered
-
Voynich Corpus · Orbital CFG
546-node manuscript call graph · orbital animation · full corpus register flow -
exOSBare-metal Rust OS — 52 built-in ALEPH/IMASM programs; Shem HaMephorash (72 Names) structural basis; complete paraconsistent suite probing distance geometry, palace barriers, Frobenius fixed points, triadic pole structure, and O₂→O_∞ tier boundary physics; mediation bypasses the P bottleneck
-
priests-engineParaconsistent execution engine — 6 IMASM corpus bootstraps (Voynich, Rohonc, Linear A, Emerald Tablet, cross-distance, Shor loop); priestly mediation, Sheffer probe, paraconsistent witness
-
Sans-Silicon ImscribingContemplative practice system for developing natural imscribing abilities — 12 Gates, Crystal Memory Palace (400 rooms, 5 tiers), distance sensing, O₀→O_∞ ascension, 72 Names daily practice, paraconsistent witness, Frobenius self-verification. No silicon required.
-
Touchard's congruence machine-verified; 10 is solitary — complete proof
-
E₈ & G₂ · Hecke–Landau · Hodge–LefschetzStructural analyses and proofs across algebraic geometry and number theory
