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

Commits on Jul 14, 2026

docs: propose Swang authoring and lifting ADR
PhysShell
committed
7b25571
docs: add S16 Swang roadmap stage
PhysShell
committed
f9c745d
docs: index Swang architecture decision
PhysShell
committed
16d8f34
docs: extend roadmap through S16
PhysShell
committed
ce041bf
docs: point README at S16 roadmap
PhysShell
committed
8e20b32
docs: make stage docs canonical for roadmap
PhysShell
committed
5ff9af7
Merge remote-tracking branch 'origin/main' into agent/s16-swang-verified-lifting
PhysShell
committed
3390254
docs: glossary §0 stays canonical — and finally admits S15 and S16 exist

PhysShell
and
claude
committed
a76f542
docs(adr): renumber Swang to 0029, and record the prior art it stands on

PhysShell
and
claude
committed
9096912
docs(stages): S16 leads with the pattern, not the parser

PhysShell
and
claude
committed
08ab58d
docs(swang): the spec — a frozen semantic core, and everything else says so

PhysShell
and
claude
committed
9425da4
docs: log the constitution repair and the verification posture

PhysShell
and
claude
committed
da5c6a7
docs(swang): close the review contracts — header bytes, hash honesty, bar geometry

PhysShell
and
claude
committed
f4d510e
docs(swang): the p^d claim is a nominal model, not a theorem

PhysShell
and
claude
committed
3376e43