Skip to content

Bridge: contract inference — derive a callee's effects from its body (P-006/2b v1)#37

Merged
PhysShell merged 2 commits into
mainfrom
claude/contract-inference-v1
Jun 19, 2026
Merged

Bridge: contract inference — derive a callee's effects from its body (P-006/2b v1)#37
PhysShell merged 2 commits into
mainfrom
claude/contract-inference-v1

Address PR #37 review: returns, ambiguous pass-through, param validation

6932733
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar