L3 — advanced

Level 3 · Advanced

You want to prove things about the systems, not only build them — and to know what a corpus is not claiming.

Subject	Page
Logic	logic.md
Agents	agent.md
Machine learning	ml.md
Reinforcement learning	learning.md
Minds	minds.md
Mathematics	maths.md

At this level a sample may state a non-theorem — a claim the corpus deliberately does not prove, because knowing what fails is the lesson. It is recorded as a commented claim plus a test asserting no proof of it exists, never as sorry, which HilbertProofStrict rejects.

After this level: the actuarial capstone — three agents disagreeing about one real house purchase — which spends everything above on a single decision.