docs(substrate): §8 strong form — the substrate as a full-stack compiler#610

Merged

AdaWorldAPI merged 3 commits into

mainfrom

claude/jirak-math-theorems-harvest-rfii13

Jun 25, 2026

Commits on Jun 25, 2026

docs(substrate): §8 strong form — the substrate as a full-stack compiler
claude
committed
docs(plan): SoA value-tenant migration v1 — harvest brief + 5+3 sign-off
claude
committed
docs(substrate): fix §8 ValueSchema framing — ClassView reading, not a new variant (Codex P2 #610)
claude
committed