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 via resources/staudt/sources_manifest.json and mapped across 15 cross-repository loci in resources/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-graphic vector figures and full :person:, :cite:, and :term: apparatus.

  • 100% Exact Straightedge-Only Symbolic Package (``geometor.staudt``): Implemented projective, quadrangle, throws, pasch, concordance, render, and cli on Python 3.13 with assert_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 Euclid I.16 and I.21.