Milestones
List view
The instrument teaches on sight: docs that fork by reader, thumbnails, notation gaps closed, and the drift-gates that keep the corpus honest.
No due date•15/47 issues closedDynamics you can reason with: the typed-transition gate and homogeneous composition landed, scenarios and declared metrics as first-class objects, and the modeling queue moving again.
No due date•10/26 issues closedThe instrument works when someone else is holding it: a bundled desktop app, reasoner access that does not depend on Shingai's machine, and the kernel's judgment made legible.
No due date•4/9 issues closed