feat(d5): D5.1b — per-call-site ownership-contract channel#113

Merged

PhysShell merged 3 commits into

mainfrom

claude/agenda-2rufsj

Jun 26, 2026

Commits on Jun 26, 2026

feat(d5): D5.1b -- per-call-site ownership-contract channel
claude
committed
fix(d5): don't downgrade $borrow_mut to shared borrow in transitive summaries (Codex P2)
claude
committed
docs(d5): track transitive borrow-kind propagation as deferred slice D5.1c
claude
committed