Complete Chapter 15.4 FIF optimality integration - #215

Merged

TankTechnology merged 11 commits into

mainfrom

codex/ch15-trace-integration

Aug 14, 2026

Commits on Aug 14, 2026

feat(ch15): add legal cache traces and policy equivalence
TankTechnology
committed
9656b28
feat(ch15): formalize one-page cache difference algebra
TankTechnology
committed
8c63681
feat(ch15): add recursive one-page coupling core
TankTechnology
committed
5a96b28
feat(ch15): prove ordered and credited trace coupling
TankTechnology
committed
bb92f2b
feat(ch15): prove one-step FIF trace exchange
TankTechnology
committed
bf9ce6a
feat(ch15): close FIF optimality via finite trace exchange
TankTechnology
committed
1d6500a
feat(ch15): publish unconditional FIF optimality theorem
TankTechnology
committed
f3c3ca1
docs(ch15): archive failed optimality proof routes
TankTechnology
committed
d4bfa74
docs(ch15): keep proof-marker scan unambiguous
TankTechnology
committed
e95af73
test(ch15): lock the public trace exchange contract
TankTechnology
committed
c14b059
docs(ch15): reconcile trace optimality completion
TankTechnology
committed
06cf298