docs(P-037): guarded effect summaries — accepted design contract for #304 - #307

Merged

PhysShell merged 6 commits into

mainfrom

claude/complex-project-tasks-viyycs

Jul 26, 2026

Commits on Jul 25, 2026

docs(P-037): guarded effect summaries — the conditional-transfer contract for #304
claude
committed
9d5216b
docs(P-037): arbiter round — election lattice, unanimous-must route, G-T2 as lax refinement
claude
committed
2d3a2b5

Commits on Jul 26, 2026

docs(P-037): narrow arbiter round — flat lattice naming, honest refinement taxonomy, lemma branch 2
claude
committed
4a01f0e
docs(P-037): record design acceptance — frozen at 4a01f0e, branch-3 fixture required
claude
committed
682138b
docs(P-037): G-V4 entry-value stability — close the mutable-parameter hole (Codex P1)
claude
committed
9c6c652
docs(P-037): G-V4 closed over write-capable aliasing — the ref-local hole
claude
committed
157f282