Skip to content

req(T2): state what object-code verification actually achieves — and what it needs - #260

Merged
avrabe merged 1 commit into
mainfrom
req/t2-reword
Aug 8, 2026
Merged

req(T2): state what object-code verification actually achieves — and what it needs#260
avrabe merged 1 commit into
mainfrom
req/t2-reword

Commits

Commits on Aug 8, 2026