Correctness proofs#4

Draft

maximebuyse wants to merge 13 commits intopanic-freedomfrom

correctness-proofs

Commits on Sep 24, 2025

First type-checking state.
maximebuyse
committed

Commits on Oct 15, 2025

Commits on Oct 16, 2025

Commits on Dec 11, 2025

First correctness proofs.
maximebuyse
committed