Repository navigation

proof(SafeEmail): annotate 19 bodyless decls as OWED (Refs standards#158) - #58

Merged

hyperpolymath merged 2 commits into

mainfrom

proof/owed-SafeEmail-158

May 20, 2026

Merged

proof(SafeEmail): annotate 19 bodyless decls as OWED (Refs standards#158)#58
hyperpolymath merged 2 commits into
mainfrom
proof/owed-SafeEmail-158

Commits on May 20, 2026
- proof(SafeEmail): annotate 19 bodyless decls as OWED-with-justification
  
  hyperpolymath
  and
  claude
  committed
  618cace
- Merge branch 'main' into proof/owed-SafeEmail-158
  hyperpolymath
  authored
  874ed39