Changelog

0.1.0 (2026-11-12)

  • Initial comparative study and executable registry of 10 formal geometric languages, theorem provers, deduction engines, and algebraic calculi (LeanEuclid / System \(\mathbf{E}\), GeoCoq, mathlib4, AlphaGeometry, Newclid, Java-Geometry-Expert, kingdon & galgebra PGA/CGA, CindyJS \(\mathbb{CP}^2\), sympy.geometry, and geometor.model + wildberger).

  • Added structured JSON datasets in resources/: systems.json, syntax_lexicon.json, opus_matrix.json, rosetta_benchmarks.json, and geometor_hierarchy.json.

  • Implemented geometor.codes.registry, geometor.codes.figures, geometor.codes.render, and codes CLI (summary, decode, opus, rosetta, hierarchy, build-figures).

  • Authored Sphinx codex covering the 7 Paradigms, GEOMETOR 7-Layer Ecosystem Hierarchy, Strange-Symbol Syntax Field Guide, 9 Deep System Dossiers, 7 Rosetta Stone Benchmarks, and 8-Domain Opus Matrix.