Foundational Safe* lib. ~30 modules have proof absence (no Proofs.idr), 24 partial, 1 believe_me. Highest value first: SafeSQL, SafeSSH, SafeCommand, SafePromptInjection. Also remove vestigial 1/22 SPARK_Mode markers (proofs live in Idris2).
Sub-issue of #124. PRs Refs hyperpolymath/standards#124. Joint-close only on explicit agreement.
🤖 Generated with Claude Code
Foundational Safe* lib. ~30 modules have proof absence (no Proofs.idr), 24 partial, 1 believe_me. Highest value first: SafeSQL, SafeSSH, SafeCommand, SafePromptInjection. Also remove vestigial 1/22 SPARK_Mode markers (proofs live in Idris2).
Sub-issue of #124. PRs
Refs hyperpolymath/standards#124. Joint-close only on explicit agreement.🤖 Generated with Claude Code