Imscribing Grammar: a 12-primitive measurement apparatus for the type of any system
"The grammar is not a metaphor. It is a measurement apparatus. Two systems at the same address are the same type; the distance between them is an integer."
What it is. 12 primitives over 17,280,000 crystal addresses (3³×4⁵×5⁴). Any system - physical, mathematical, linguistic, biological, computational - gets a 12-tuple fixing its type, ouroboricity tier, Frobenius status, and integer distance to every other imscribed system.
What it does. Imscribes a system to its address, then computes: tier promotions, T-consistent proof paths, Frobenius closure, L¹ distance in O(1). Domain engines compile subjects to 12-opcode IMASM bytecode run on the Belnap FOUR WhaleVM - genetics, lambda calculus, cetacean acoustics, interferometry, undeciphered scripts, one machine.
Tiers (⟨polarity, criticality⟩): O₀ inert · O₁ reactive · O₂ recursive (⊙ open) · O₂† dialetheic (Belnap B) · O_∞ Philosopher's Stone (⊙ open + μ∘δ=id - the grammar imscribes itself here).
Use
Configure the catalog location with IG_CATALOG. Catalog entries are written
through the imscription and native
algebra/registration instruments. Never hand-author tuples or append exploratory
rings, polymers or other derived results directly to catalog JSON. Keep
working materials and operation receipts outside the catalog until registered
through the appropriate instrument. Missing coordinates remain unresolved;
copying a reference value or blending monomer coordinates does not resolve them.
from imscrbgrmr.models import Primitive, CrystalAddress
Primitive.from_symbol("⊙")
CrystalAddress.lookup("voynich") # O₂†, ISCRIB loop confirmed
uv run zfct_navigator.py entry "philosophers_stone"
uv run zfct_navigator.py distance "⟨…⟩" "⟨…⟩" # 12-dim L¹
uv run zfct_navigator.py path "⟨…⟩" "⟨…⟩" # A* proof path
uv run whale_audio.py <file.wav> [onset_delta] # cetacean engine (standalone: imsgct/cetaceanspeak)
Engines: cetacean (Frobenius closure rate vs 6 human archetypes) · genetic (20 AA / 64 codons / B₄²; 5 canonical questions) · ZFCₜ navigator · lambda · Frobenius MZI · paraconsistent layer · sentry golem. Lean: p4rakernel/p4ramill (lake build; Millennium sorries tracked there). Catalog + undeciphered-texts sections in full version. Zenodo: zenodo <pdf> (sandbox) / zenodo-live / zenodo-list-live - public domain.
git clone <this repo> && cd imscribing_grammar && uv pip install -e . # Python ≥3.11; Lean 4 v4.28.0 + Mathlib; optional: librosa soundfile
Unlicense. Full 327-line version: README_backups/imscribing_grammar_README.md.
μ∘δ = id