Intent
What must the learner or system prove?
->
Frame
Which unit of the Problem Space is being evaluated?
->
Decision
Which move preserves the Invariant and advances proof?
->
Proof
Why must the answer be correct?
Use it with Case Files
Start from a concrete investigation, then use the engine to name the reasoning moves.
Open Case FilesUse it with the Builder
Build a case file by connecting Intent, Frame, Invariant, Decision, Repair, Recorder, and Proof.
Build a CaseUse it with Systems Reasoning
Transfer the same discipline into SQL, Git, .NET, AI, cloud, and system-design reasoning.
View Access Options