Independent Researcher · Imscribing Grammar
I work at the intersection of category theory, structural type theory, and the formal invariants that appear across mathematics, physics, computation, and ancient symbolic systems.
The central project is the Imscribing Grammar — a 12-primitive structural grammar that encodes any system as a coordinate in a crystal of 17,280,000 types, derived from a bare abstract category via four classical operations. It classifies its own type. It emerged from chemistry.
The mathematics is formalized in Lean 4. The OS runs on bare metal. The Stone is not a metaphor.