-
-
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
trustfile.yml 'Check believe_me audit trail' cannot fail — three independent defects
bugSomething isn't workingSomething isn't workingStatus: Open.#212 In hyperpolymath/proven;- Status: Open.#211 In hyperpolymath/proven;
f2833c2c deleted 22 .idr files under a 'feat: add' message — 4 still untracked
enhancementNew feature or requestNew feature or requestStatus: Open.#210 In hyperpolymath/proven;- Status: Open.#209 In hyperpolymath/proven;
SafeRegex/Matcher.idr blocks the build at 211/305 — diagnosed, four classes, file is untracked
enhancementNew feature or requestNew feature or requestStatus: Open.#208 In hyperpolymath/proven;- Status: Open.#204 In hyperpolymath/proven;
- Status: Open.#203 In hyperpolymath/proven;
SafeMCP: idris2 --check does not terminate on 3 modules (same mechanism as the SafePolicy stall)
bugSomething isn't workingSomething isn't workingStatus: Open.#202 In hyperpolymath/proven;SafeMath.Proofs builds under neither idris2 0.7.0 nor 0.8.0; full proven.ipkg install stalls
bugSomething isn't workingSomething isn't workingStatus: Open.#184 In hyperpolymath/proven;Public description overclaims 'cannot crash / formally verified' vs honest MODULE-STATUS (4 proven, 37 safe-only)
bugSomething isn't workingSomething isn't workingStatus: Open.#161 In hyperpolymath/proven;- Status: Open.#119 In hyperpolymath/proven;
[umbrella] Phase 3 — proof discharge campaign (SafeUrl warm-up → SafeRegex)
enhancementNew feature or requestNew feature or requestStatus: Open.#90 In hyperpolymath/proven;