The Lorentz face (FROZEN-7 complete)
Adds organon_mueller.lorentz — the Σ^μ / Z = α_μΣ^μ / Λ = ZZ* algebra, built from a collaborator's written work order. The Σ^μ basis coincides exactly with the engine's existing Z-matrix basis (the bridge theorem), so this is a new face of the same algebra rather than a bolt-on.
What's in it
core— Σ / Σ̄ bases, Z / Z̄ / guarded inverse / Λ, boost & rotation parametrizations with exact textbook anchors, metric-factor theorem ΛᵀgΛ = q q̄ g.identities— the work order's five Task-1 identities (verified as guard-free theorem forms; conventions forced) and the five Task-2 Σ̄ identities (discovered; forced coefficient matrix C = gΛᵀg = Λ(Z̄); two bonus theorems).terms— an 8-letter term language with a self-recovery gate: the machinery re-finds all ten known identities blindly and certifies them before it is trusted to hunt for new ones.discovery— the Task-3 sweep: all 128 sandwiches over the alphabet decided exactly — 40 identities / 88 symbolic negative certificates — with a reproducible sweep table (reports/sweep-lorentz-01.json).
Verification
- 399 automated tests, green on Linux ×3 + Windows CI.
- Every identity is an exact symbolic proof over generic complex α. Novelty relative to the literature is deliberately not claimed — that judgement is reserved for domain experts.
Experimental research software, MIT-licensed. Nothing hosted or exposed.
pip install -U organon-mueller