Retain observed execution footprints for falsification - #716

Draft

flyingrobots wants to merge 8 commits into

mainfrom

feat/falsification

Commits on Aug 1, 2026

docs: add falsification witnesses topic and roadmap
flyingrobots
committed
0b5a35f
docs: add ADR 0027 and respecify the footprint blocker
flyingrobots
committed
2c9114b
feat(warp-core): record actual footprints as evaluable values
flyingrobots
committed
95a55f4
docs: mark stage 2 partial and record the read-axis fork
flyingrobots
committed
6456b1c
docs: correct the read-axis analysis — no locks needed
flyingrobots
committed
1a5c413

Commits on Aug 2, 2026

Commits on Aug 4, 2026

feat(warp-core): retain observed execution footprints
flyingrobots
committed
d029eb1