Skip to content

docs: S16 Swang — pattern-first roadmap, ADR-0029, and the proposed semantic core - #111

Merged
PhysShell merged 14 commits into
mainfrom
agent/s16-swang-verified-lifting
Jul 14, 2026
Merged

docs: S16 Swang — pattern-first roadmap, ADR-0029, and the proposed semantic core#111
PhysShell merged 14 commits into
mainfrom
agent/s16-swang-verified-lifting

docs(swang): the p^d claim is a nominal model, not a theorem

3376e43
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar