Compare commits

...
A pull request between these branches already exists: teleo/teleo-codex#738

theseus: extract claims from 2026-02-00-yamamoto-full-formal-arrow-impossibility #738