Repository navigation

proof(SafeUrl): annotate 16 bodyless decls as OWED (Refs standards#158) - #61

Merged

hyperpolymath merged 3 commits into

mainfrom

proof/owed-SafeUrl-158

May 20, 2026

Merged

proof(SafeUrl): annotate 16 bodyless decls as OWED (Refs standards#158)#61
hyperpolymath merged 3 commits into
mainfrom
proof/owed-SafeUrl-158

Commits on May 20, 2026
- proof(SafeUrl): annotate 16 bodyless decls as OWED-with-justification
  
  hyperpolymath
  and
  claude
  committed
  c176cfe
- Merge branch 'main' into proof/owed-SafeUrl-158
  hyperpolymath
  authored
  0e5f595
- Merge branch 'main' into proof/owed-SafeUrl-158
  hyperpolymath
  authored
  9644a9f