A system-design learning platform where you practise on keyed exercises or turn a one-line idea into a design spec. The model drafts a typed plan that parser rules validate before anything is written, the spec is checked against that plan, and the final status is computed in code.
How it knows: Every number in the written spec has to trace to the checked plan, every stated sum is recomputed, and the final status (checked, plan unresolved or document unresolved) is computed in code.
Nicholas Smith - all work