Initial Bilingual Book Codices & Straightedge-Only Symbolic Engine (v0.1.0)¶
Established geometor/staudt (v0.1.0) to close the canonical reference and constructive loop across hilbert, bertrand-russell, pappus, altshiller-court, hoenen, lemoine, divine, and codes:
Archival Public-Domain Witnesses & SHA-256 Verification: Curated clean German source witnesses in
resources/staudt/sources/for Karl Georg Christian von Staudt’s Geometrie der Lage (1847), Beiträge zur Geometrie der Lage, Heft 2 (1857), and Moritz Pasch’s Vorlesungen über neuere Geometrie (1882), verified viaresources/staudt/sources_manifest.jsonand mapped across 15 cross-repository loci inresources/staudt/concordance.json.Two Synchronized 4-Track Book Codices (``:layout: book``): Compiled Codex I (von Staudt 1847 & 1857, Units 1–4) and Codex II (Pasch 1882, Units 1–2) across English · Deutsch · Summary · Notes, accompanied by 8 standalone
.euclid-graphicvector figures and full:person:,:cite:, and:term:apparatus.100% Exact Straightedge-Only Symbolic Package (``geometor.staudt``): Implemented
projective,quadrangle,throws,pasch,concordance,render, andclion Python 3.13 withassert_straightedge_only(model)(zero compass circles), verifying complete-quadrangle harmonic fourths, projective field laws ($X + Y$, $X \cdot Y$), the $\mathbb{Q}(\phi)$ golden throw identity $P_\phi \cdot P_\phi = P_\phi + P_1$, and deductive Pasch audits of EuclidI.16andI.21.