← elements / GEOMETOR • elements

G-Index Book I (G.1–G.89) Three-Track Codex & Symbolic Indications¶

Released geometor.elements v0.3.3, completing the 3-track G-Index Book Codex (G.1 through G.89) for Book I of Euclid’s Elements.

Highlights¶

Dependency-Sequenced G-Index: Sequenced all 35 atomic definitions, 5 postulates, 5 common notions, and 48 propositions of Book I into G.1..``G.89`` so every proposition appears after its transitive logical prerequisites.
Formal Signatures & Step Proofs: Generated .. signature:: blocks (given / construct / prove) and .. step:: proof sequences (given, construct with :fn: calls, symbolic intersect with ∩, assert, conclude) with ∵ G.<k> justifications.
Explicit GEOMETOR Symbolic Indications: Rewrote :g: geometric roles into explicit symbolic notation (/ A B /, < A B C >, < B A C ), ( B C D ), [ A B ]) and bundled executable geometor.model construction scripts (g1.py) and SVGs (g1.svg).