Search results

main does not type-check: SafeJson.Proofs.appendLengthInc has swapped lengthSnoc args, and the Idris build is not gating merges

Status: Open.

#145 In hyperpolymath/proven;

· hyperpolymath opened on May 31, 2026

binding-tier-1: Lua binding standup (replicate from Chapel pilot)

Status: Open.

#134 In hyperpolymath/proven;

· hyperpolymath opened on May 30, 2026

binding-tier-1: Haskell binding standup (replicate from Chapel pilot)

Status: Open.

#133 In hyperpolymath/proven;

· hyperpolymath opened on May 30, 2026

binding-tier-1: OCaml binding standup (replicate from Chapel pilot)

Status: Open.

#132 In hyperpolymath/proven;

· hyperpolymath opened on May 30, 2026

binding-tier-1: Nim binding standup (replicate from Chapel pilot)

Status: Open.

#131 In hyperpolymath/proven;

· hyperpolymath opened on May 30, 2026

binding-tier-1: Crystal binding standup (replicate from Chapel pilot)

Status: Open.

#130 In hyperpolymath/proven;

· hyperpolymath opened on May 30, 2026

proof-debt: paths-forward proposal for the remaining 268 OWED stubs (post-overly-cautious sweep)

Status: Open.

#119 In hyperpolymath/proven;

· hyperpolymath opened on May 30, 2026

[umbrella] Phase 3 — proof discharge campaign (SafeUrl warm-up → SafeRegex)

enhancementNew feature or requestNew feature or request

Status: Open.

#90 In hyperpolymath/proven;

· hyperpolymath opened on May 30, 2026

proven: add missing Zig FFI exports (split from #86, blocks linking)

Status: Open.

#88 In hyperpolymath/proven;

· hyperpolymath opened on May 27, 2026

proven: resolve 76 PORT-CHECK markers (Zig FFI split to #88)

Status: Open.

#86 In hyperpolymath/proven;

· hyperpolymath opened on May 27, 2026

Idris2 0.9.0 dependency: SafeCrypto.modernIsSecure / standardIsSecure (case-rewrite eta-expansion)

enhancementNew feature or requestNew feature or request

Status: Open.

#83 In hyperpolymath/proven;

· hyperpolymath opened on May 27, 2026

Totality refactor: SafeJson.Access (%default covering → per-function total)

enhancementNew feature or requestNew feature or request

Status: Open.

#81 In hyperpolymath/proven;

· hyperpolymath opened on May 27, 2026