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 — kernel derived from the MEET of five ancient writing systems
-
Frobenius Orbit Convergence · ALEPH
27 nodes · 50+ tensor edges · 4-step orbit sequences · attractor poles pulse -
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