Skip to content

feat(obligations): obligation protocols — barrier-sensitive project invariants (P-025, first slice)#176

Merged
PhysShell merged 2 commits into
mainfrom
claude/own-net-typestate-analysis-q6k0k0
Jul 4, 2026
Merged

feat(obligations): obligation protocols — barrier-sensitive project invariants (P-025, first slice)#176
PhysShell merged 2 commits into
mainfrom
claude/own-net-typestate-analysis-q6k0k0

docs(obligations): address CodeRabbit review on #176

3fbb33e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar