docs: interprocedural roadmap — staged path from D5 today to 'proper interprocedural' - #177

Merged

PhysShell merged 13 commits into

mainfrom

claude/project-issues-review-arws0n

Jul 8, 2026

Commits on Jul 4, 2026

docs: interprocedural roadmap — staged path from D5 today to 'proper interprocedural'
claude
committed
48ea00d
docs(roadmap): re-key the interprocedural stages to the Rust rewrite (P-022)
claude
committed
adc1496
docs: working spec (TZ) for the interprocedural layer — rules as-is, invariants, Rust-port requirements
claude
committed
d25a8b4
fix(d5): a partial release infers `may`, not a flattened `consume` (TZ D1)
claude
committed
9860c50
feat(d5): OWN052 — a failed MOS solve degrades observably, not silently (TZ D5)
claude
committed
b5c0bd4
fix(d5): stop serializing the unproduced `escapes` axis in MOS to_dict (TZ D2)
claude
committed
1dd9a1f
docs(d5): mark the producer-less adopt/return path kinds RESERVED (TZ D3)
claude
committed
52b9c03
feat(d5): `summaries` verb — deterministic MOS dump (roadmap stage 1, parity surface)
claude
committed
c6262c0
feat(d5): OWN051 + real optimistic silence — untrack a local at a may/unknown call (TZ D6)
claude
committed
f9e4f04
spec: Inference.md — normative spec of the interprocedural ownership layer (roadmap stage 0)
claude
committed
4177327

Commits on Jul 8, 2026