βββββββββββββββββββββββββββββββββββββββββββ
β EXTERNALS / ECOSYSTEM β
βββββββββββββββββββββββββββββββββββββββββββ€
β ββββββββββββββ ββββββββββββββ β
β β KnotTheory β ββββΆ β SQLite β β
β β (Logic) β β (Storage) β β
β βββββββ²βββββββ βββββββ²βββββββ β
β β β β
ββββββββββΌββββββββββββββββββββΌβββββββββββββ
β β
βΌ β
ββββββββββββββββββββββββββββββΌβββββββββββββ
β APPLICATION LAYER β
βββββββββββββββββββββββββββββββββββββββββββ€
β ββββββββββββββββββββ ββββββββββββ β
β β Skein DB β β Gauss β β
β β (API) β ββββΆ β Codes β β
β ββββββββββ¬ββββββββββ βββββββ¬βββββ β
β β β β
β ββββββββββΌββββββββββ βββββββΌβββββ β
β β Query DSL β βInvariant β β
β β (& and | logic) β ββββΆ β Calculatorβ β
β ββββββββββ¬ββββββββββ βββββββ¬βββββ β
β β β β
β ββββββββββΌββββββββββ βββββββΌβββββ β
β β Equivalence β β Import / β β
β β Engine β ββββΆ β Export β β
β ββββββββββββββββββββ ββββββββββββ β
ββββββββββββββββββββββββ¬βββββββββββββββββββ
β
ββββββββββββββββββββββββΌβββββββββββββββββββ
β REPO INFRASTRUCTURE β
β .machine_readable/ (state) β
β .github/workflows/ (RSR Gate) β
β Project.toml β
βββββββββββββββββββββββββββββββββββββββββββ
COMPONENT STATUS NOTES
βββββββββββββββββββββββββββββββββ ββββββββββββββββββ βββββββββββββββββββββββββββββββββ
CORE STORAGE
Skein DB API ββββββββββ 100% SQLite backend with WAL
Gauss Code model ββββββββββ 100% Core types complete
Import/Export ββββββββββ 100% CSV, JSON, KnotInfo
ANALYTICS & QUERY
Query DSL (& and |) ββββββββββ 100% Composable predicates
Invariant Calculator ββββββββββ 100% Crossing, Writhe, Hash
Equivalence Engine ββββββββββ 100% Rotation, Relabel, Mirror
EXTENSIONS
KnotTheory.jl Ext ββββββββββ 100% Automated conversion & Jones
Jones Polynomial Column ββββββββββ 80% Integration working
R2/R3 Simplification ββββββββββ 0% Planned for v0.3.0
REPO INFRASTRUCTURE
.machine_readable/ (STATE.scm) ββββββββββ 100% Updated to v0.2.0
.github/workflows/ (CI) ββββββββββ 100% RSR standard compliance
βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
OVERALL: ββββββββββ ~75% Stable Database Layer
Gauss Code βββββββββββΊ Skein DB API ββββββββββββΊ Query DSL
β² β
SQLite Backend ββββββββββββββ βΌ
Invariant Calculation
β
KnotTheory.jl ββββββββΊ Package Extension βββββββββββ€
β
Equivalence Checking
This file is maintained by both humans and AI agents. When updating:
- After completing a component: Change its bar and percentage
- After adding a component: Add a new row in the appropriate section
- After architectural changes: Update the ASCII diagram
- Date: Update the
Last updatedcomment at the top of this file
Progress bars use: β (filled) and β (empty), 10 characters wide.
Percentages: 0%, 10%, 20%, ... 100% (in 10% increments).