Repository navigation

Proof debt/standards 132 batch - #66

Merged

hyperpolymath merged 43 commits into

mainfrom

proof-debt/standards-132-batch

May 22, 2026

Merged

Proof debt/standards 132 batch#66
hyperpolymath merged 43 commits into
mainfrom
proof-debt/standards-132-batch

Commits on May 20, 2026
- proof(SafeAngle): add Proofs.idr — 26 theorems + 2 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  8468f1b
- proof(SafeArchive): add Proofs.idr — 14 theorems + 5 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  905cb7a
- proof(SafeAttestation): add Proofs.idr — 26 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  e217bb0
- proof(SafeBibTeX): add Proofs.idr — 32 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  dc111df
- proof(SafeBitset): add Proofs.idr — 19 theorems + 1 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  2f7962f
- proof(SafeCBOR): add Proofs.idr — 31 theorems + 1 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  954ad7b
- proof(SafeCalculator): add Proofs.idr — pure-OWED (baseline-blocked) (#132)
  
  hyperpolymath
  and
  claude
  committed
  3040a02
- proof(SafeCapability): add Proofs.idr — 21 theorems + 5 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  295ef1e
- proof(SafeCircuitBreaker): add Proofs.idr — 25 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  46638ee
- proof(SafeColor): add Proofs.idr — 11 theorems + 2 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  65c333e
- proof(SafeComplex): add Proofs.idr — 9 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  648d236
- proof(SafeConsensus): add Proofs.idr — 6 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  0404f61
- proof(SafeCron): add Proofs.idr — 3 theorems + 10 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  95cae34
- proof(SafeCurrency): add Proofs.idr — 28 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  d578a73
- proof(SafeCycleDetect): add Proofs.idr — 6 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  122fe29
- proof(SafeDNS): add Proofs.idr — 16 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  5802c0a
- proof(SafeDSP): add Proofs.idr — pure-OWED (baseline-blocked) (#132)
  
  hyperpolymath
  and
  claude
  committed
  6e9a4ae
- proof(SafeDecimal): add Proofs.idr — 5 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  cc5d4d6
- proof(SafeDocker): add Proofs.idr — 8 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  fe9accd
- proof(SafeFiniteField): add Proofs.idr — 1 theorem + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  a093423
- proof(SafeFloat): add Proofs.idr — 7 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  e454647
- proof(SafeGPU): add Proofs.idr — pure-OWED (baseline-blocked) (#132)
  
  hyperpolymath
  and
  claude
  committed
  5e13997
- proof(SafeGeo): add Proofs.idr — 6 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  07a0f15
- proof(SafeGit): add Proofs.idr — 0 theorems + 3 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  f6487fa
- proof(SafeGraph): add Proofs.idr — 6 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  185d380
- proof(SafeHeap): add Proofs.idr — 4 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  c6c0e4a
- proof(SafeHex): add Proofs.idr — 0 theorems + 1 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  3e3ea12
- proof(SafeHomoglyph): add Proofs.idr — 15 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  9fb672b
- proof(SafeI18n): add Proofs.idr — 6 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  9509e17
- proof(SafeISA): add Proofs.idr — 18 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  905b3aa
- proof(SafeInput): add Proofs.idr — 0 theorems + 1 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  6ebdf39
- proof(SafeInterval): add Proofs.idr — 2 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  54615e6
- proof(SafeJWK): add Proofs.idr — 15 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  0ddc7ac
- proof(SafeLRU): add Proofs.idr — 6 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  8262b6d
- proof(SafeLog): add Proofs.idr — 7 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  4e37568
- proof(SafeMCP): add Proofs.idr — 10 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  20078e9
- proof(SafeML): add Proofs.idr — 0 theorems + 1 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  d27b27f
- proof(SafeMarkdown): add Proofs.idr — 6 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  7dd0e47
- proof(SafeMatrix): add Proofs.idr — 5 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  97c1a25
- proof(SafeMediaType): add Proofs.idr — 10 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  f8d9725
- proof(SafeMonotonic): add Proofs.idr — 5 theorems + 0 OWED (#132)
  
  hyperpolymath
  and
  claude
  committed
  8d45162
- proof(SafeNPU): add Proofs.idr — pure-OWED (baseline-blocked) (#132)
  
  hyperpolymath
  and
  claude
  committed
  31839f6
Commits on May 22, 2026
- Merge branch 'main' into proof-debt/standards-132-batch
  hyperpolymath
  authored
  7c40b85

Commits

Commits on May 20, 2026

Commits on May 22, 2026