Skip to content

Enhancement Proposals

Enhancement Proposals (EPs) are the primary mechanism for proposing major features, collecting input, and documenting design decisions. See EP-0000 for the full process.


Process

EP Title Status
EP-0000 Enhancement Proposal Process Active

Phase 0 — Architecture

EP Title Status
EP-0099 Master Expansion Roadmap & Unified Algebraic Architecture Active

Phase 1 — Foundational Engine Extensions

EP Title Module Status
EP-0100 Quotient Monoid Algebra Semiring algebrax.semiring Final
EP-0101 Sparse Chain Complex & Hodge-Laplacian algebrax.analysis Final

Phase 2 — Specialized Domain Tracks

EP Title Module Status
EP-0110 Simplicial Homology & Betti Numbers algebrax.homology Final
EP-0111 Clifford Geometric Algebra & Rotors algebrax.clifford Final
EP-0112 Galois Finite Fields & Cryptographic Matrices algebrax.galois Final
EP-0113 Categorical Morphisms & Kleisli Composition algebrax.category Final

Phase 3 — Explorer, Maturity & Curiosity

EP Title Module Status
EP-0120 Algebraic Web Explorer & Interactive Visual Studio Web / Visual Draft
EP-0130 API Consistency & Public Export Audit algebrax.__init__ Final
EP-0131 Algebraic Law Verification Engine algebrax.verification Final
EP-0132 Matrix Decompositions — LU, QR, SVD, Cholesky algebrax.matrix.decompose Final
EP-0133 Jupyter & CLI Integration algebrax.display Final
EP-0134 Semiring Namespace Refactoring algebrax.semiring/ Final

Phase 3.5 — Council Refinement Track

Proposals derived from the Grand Council Assessment — a comprehensive architectural audit by the 8 Pillars of the Council Framework.

EP Title Council Sponsor Status
EP-0140 API Symmetry Restoration ⚖️ Noether Final
EP-0141 Structural Taxonomy Cleanup 🧩 Russell Final
EP-0142 Performance & Efficiency Optimizations ⚡ Shannon Final
EP-0143 Documentation Clarity & Freshman Test 💡 Feynman Final
EP-0144 Testing & Falsifiability Hardening 🔬 Popper Final
EP-0145 Type Safety & Contract Hardening 🛡️ Golem Final
EP-0146 Developer Ergonomics & Ecosystem Bridges 🤝 Steward Final
EP-0147 Optional Loop Pragmas & Concurrency ⚡ Shannon Deferred
EP-0148 Formalized Micro-Benchmarking & CodSpeed 🔬 Popper Final
EP-0149 Universal & Multivariate Binomial Convolution Moments ⚖️ Noether Final
EP-0150 Standardized Mathematical Docstrings & Algebraic Registry 💡 Feynman Final
EP-0151 Algebraic PageRank & Semiring Random Walks with Restart ⚡ Shannon Final
EP-0152 Spectral Graph Theory, Algebraic Connectivity & Graph Laplacians ⚖️ Noether & ⚡ Shannon Final

Phase 4 — Algebraic Continents & Next Frontiers

Proposals stemming from the Next Frontiers Exploration (EXP-0001), expanding AlgebraX into discrete differential geometry, continuous symmetries, and higher topology.

EP Title Council Sponsor Status
EP-0160 Discrete Exterior Calculus & Helmholtz-Hodge Flow Decomposition ⚖️ Noether, ⚡ Shannon & 💡 Feynman Draft
EP-0163 Lie Algebras, Root Systems, and Baker–Campbell–Hausdorff Dynamics ⚖️ Noether, ⚡ Shannon & 🛡️ Golem Final
EP-0164 Root Systems, Weyl Groups & Chevalley-Serre Simple Lie Algebras ⚖️ Noether, ⚡ Shannon & 🧩 Russell Final