-
-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#204 In hyperpolymath/proven;
- Status: Open.#203 In hyperpolymath/proven;
- Status: Open.#202 In hyperpolymath/proven;
SafeMath.Proofs builds under neither idris2 0.7.0 nor 0.8.0; full proven.ipkg install stalls
bugSomething is broken or behaves incorrectlySomething is broken or behaves incorrectlyproofsFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtStatus: Open.#184 In hyperpolymath/proven;Public description overclaims 'cannot crash / formally verified' vs honest MODULE-STATUS (4 proven, 37 safe-only)
bugSomething is broken or behaves incorrectlySomething is broken or behaves incorrectlyStatus: Open.#161 In hyperpolymath/proven;proof-debt: paths-forward proposal for the remaining 268 OWED stubs (post-overly-cautious sweep)
proofsFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debttech-debtKnown shortcut, drift, or hygiene owed - includes cleanupKnown shortcut, drift, or hygiene owed - includes cleanupStatus: Open.#119 In hyperpolymath/proven;[umbrella] Phase 3 — proof discharge campaign (SafeUrl warm-up → SafeRegex)
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#90 In hyperpolymath/proven;proven: add missing Zig FFI exports (split from #86, blocks linking)
bindingsABI, FFI, WASM, and cross-language interop surfacesABI, FFI, WASM, and cross-language interop surfacesenhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#88 In hyperpolymath/proven;proven: resolve 76 PORT-CHECK markers (Zig FFI split to #88)
bindingsABI, FFI, WASM, and cross-language interop surfacesABI, FFI, WASM, and cross-language interop surfacesenhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourmigrationPorting between languages or toolchains (e.g. -> AffineScript)Porting between languages or toolchains (e.g. -> AffineScript)Status: Open.#86 In hyperpolymath/proven;Idris2 0.9.0 dependency: SafeCrypto.modernIsSecure / standardIsSecure (case-rewrite eta-expansion)
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#83 In hyperpolymath/proven;Totality refactor: SafeJson.Access (%default covering → per-function total)
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#81 In hyperpolymath/proven;Totality refactor: SafePassword.Strength.{detectPatterns, analyzeStrength, ...} (covering → total)
enhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourStatus: Open.#80 In hyperpolymath/proven;