Nimblesite/osprey

Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data

• [SHOWSTOPPER] Five gates claim guarantees they do not enforce — Rust coverage covers 9 of 12 crates, deslop states three ceilings, branch-protection has a dead trap check

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  critical showstopper

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

  Nimblesite/osprey#232 · Aperta il 27/8/2026

• [SHOWSTOPPER] Land plan 0027 (arithmetic as an effect) before the `?:` tax compounds further — 6,401 of 6,408 sites appeared in the last five weeks

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  critical showstopper

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

  Nimblesite/osprey#231 · Aperta il 27/8/2026

• [SHOWSTOPPER] `?: 0` fabricates a value on arithmetic overflow — silent wrong answers, taught by the flagship showcase (3,405 sites)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug critical showstopper

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

  Nimblesite/osprey#230 · 1 commento · Aperta il 27/8/2026

• No Windows parity suite for [BUILTIN-PROCESS-FAILURE]: the Win32 spawn unwind is source-only and no CI job executes it

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 42/100

  Nimblesite/osprey#228 · Aperta il 26/8/2026

• Channel element ABI metadata is lost on returns, function-value parameters and generic/anonymous fields — recv() silently drops the nested descriptor

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

  Nimblesite/osprey#227 · Aperta il 26/8/2026

• random_runtime coverage is 91.43% on Linux vs 100% on macOS: the /dev/urandom fallback path is glibc-only

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 58/100

  Nimblesite/osprey#226 · Aperta il 26/8/2026

• effects_coro coverage is 92.78% on Linux vs ~100% on macOS: forked death tests never flush gcov under GNU ld

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100

  Nimblesite/osprey#225 · Aperta il 26/8/2026

• The redundant-annotation gate enforces return types only, not parameters or lambdas

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 76/100

  Nimblesite/osprey#220 · Aperta il 17/8/2026

• Inferred parameter types miss the second of two module functions sharing a leaf name

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100

  Nimblesite/osprey#217 · Aperta il 17/8/2026

• ML signature arity is graded one way only: a curried signature on a flat binding is accepted silently

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 65/100

  Nimblesite/osprey#216 · Aperta il 17/8/2026

• The redundant-annotation gate does not sweep ML (.ospml) sources

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 68/100

  Nimblesite/osprey#215 · Aperta il 17/8/2026

• An instantiated generic record renders without its type arguments: Box<int> reports as Box

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 38/100

  Nimblesite/osprey#214 · 2 commenti · Aperta il 17/8/2026

• HTTP status-only builtins return bare int, so a failed httpListen bind is silently ignorable — program prints "server up" and exits 0

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100

  Nimblesite/osprey#213 · Aperta il 17/8/2026

• listGet/mapGet silently return the raw storage word for string, record, float and bool elements

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

  Nimblesite/osprey#211 · Aperta il 15/8/2026

• Default flavor silently splits ML-style juxtaposition "f x" into two statements instead of rejecting it

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100

  Nimblesite/osprey#206 · Aperta il 12/8/2026

• String interpolation of a function value prints raw pointer bytes instead of failing to compile

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

  Nimblesite/osprey#205 · Aperta il 12/8/2026

• Website E2E's zero-console-errors assertion depends on a third-party script, so CI flakes red at random

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100

  Nimblesite/osprey#204 · Aperta il 12/8/2026

• Linux: all 8 lldb-dap debugger E2E tests time out on the gpu branch (they pass on main in ~600ms)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

  Nimblesite/osprey#203 · 2 commenti · Aperta il 12/8/2026

• wasm corpus: Node's WASI host aborted with "Check failed: storage_.is_populated_" running stress.test.ospml on CI

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

  Nimblesite/osprey#202 · 4 commenti · Aperta il 11/8/2026

• failscompilation: recursive_generic_needs_annotation was retargeted; genfn's re-entry diagnostic lost its corpus case

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

  Nimblesite/osprey#201 · Aperta il 11/8/2026

• Effects soundness umbrella: one operation ABI, one dispatcher, one context carrier (fixes 9 open effect bugs)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  Nimblesite/osprey#200 · Aperta il 11/8/2026

• Duplication: 4.29% -> 4% — the remaining mass is inline #[cfg(test)] modules the path-based exclude cannot reach

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100

  Nimblesite/osprey#199 · Aperta il 11/8/2026

• C coverage: term_runtime and test_runtime report 0% because fork-harness children never flush gcov counters

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 74/100

  Nimblesite/osprey#198 · Aperta il 11/8/2026

• C runtime: 11 libraries are below the 90% coverage floor (websocket_server 24%, websocket_client 37%, random 47%)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

  Nimblesite/osprey#197 · 1 commento · Aperta il 11/8/2026

• test_http_length_validation writes ~4KB into a 2000-byte stack buffer (and asserted a wrong constant)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 2/5 1-3 ore Idoneità per principianti 25/100

  Nimblesite/osprey#196 · Aperta il 11/8/2026

• profiler: OspProfSlot.fiber_id/label are never populated — every self-slot consumer reads 0/""

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 1/5 Meno di un'ora Idoneità per principianti 35/100

  Nimblesite/osprey#195 · Aperta il 11/8/2026

• websocket: parse_websocket_frame rejected every 128–255 byte payload (signed char sign-extension)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100

  Nimblesite/osprey#194 · Aperta il 11/8/2026

• websocket: two connections opened in the same second send an IDENTICAL Sec-WebSocket-Key nonce

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug showstopper

  Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100

  Nimblesite/osprey#193 · Aperta il 11/8/2026

• websocket: base64_encode emits no RFC 4648 padding — handshake keys/accept tokens are undecodable

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug showstopper

  Difficoltà 1/5 Meno di un'ora Idoneità per principianti 25/100

  Nimblesite/osprey#192 · Aperta il 11/8/2026

• string: toString on a float silently printed a different value (%.10g truncation + fabricated ".0")

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 20/100

  Nimblesite/osprey#191 · Aperta il 11/8/2026

• [SHOWSTOPPER] Plain integer arithmetic silently overflows outside Result/effect safety

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  showstopper

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

  Nimblesite/osprey#187 · 2 commenti · Aperta il 26/7/2026

• CRITICAL: algebraic-effect LSP hover and implementation navigation are broken

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug showstopper

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100

  Nimblesite/osprey#186 · Aperta il 26/7/2026

• CRITICAL: resuming handlers leak string continuation results under ARC

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug showstopper

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100

  Nimblesite/osprey#185 · Aperta il 26/7/2026

• CRITICAL: four-argument curried ML functions can silently skip handled effects

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug showstopper

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 45/100

  Nimblesite/osprey#184 · Aperta il 26/7/2026

• CRITICAL: direct effect handlers corrupt Result operation values with pointer-like integers

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug showstopper

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100

  Nimblesite/osprey#183 · Aperta il 26/7/2026

• Language: `mut` is a free-for-all imperative variable — design intent is mutation only through algebraic-effect handlers (checker + specs + examples disagree)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

  Nimblesite/osprey#180 · Aperta il 25/7/2026

• Effects: re-performing the same effect inside its own handler arm hangs (infinite loop) instead of forwarding to an outer handler or failing

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100

  Nimblesite/osprey#179 · Aperta il 25/7/2026

• ML flavor: handler-owned `mut` state not updated when the effect is performed from a nested function (Default works) — [FLAVOR-IR-EQUIV] violation

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

  Nimblesite/osprey#178 · Aperta il 25/7/2026

• Effects: handler resumption mode inferred per-handler (resume-keyword scan), not per-arm — non-compositional, deviates from spec 0017 and the algebraic-effects literature

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 45/100

  Nimblesite/osprey#177 · Aperta il 25/7/2026

• LSP `textDocument/completion` returns a bare array (isIncomplete:false); context-sensitive results get client-cached and leak declaration keywords into value positions

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  showstopper

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

  Nimblesite/osprey#174 · 1 commento · Aperta il 24/7/2026

• VS Code extension never restarts the language server when `osprey.server.compilerPath` changes (serves a silently stale compiler)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  showstopper

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 72/100

  Nimblesite/osprey#173 · 1 commento · Aperta il 24/7/2026

• typical installation - error

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100

  Nimblesite/osprey#168 · 1 commento · Aperta il 12/7/2026

• ML flavor: layout lexer rejects multi-line string literals ("unterminated string literal" at newline) — Default flavor accepts them

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 78/100

  Nimblesite/osprey#164 · Aperta il 30/6/2026

• Arithmetic '-> int' return is load-bearing (Result auto-unwrap) but looks redundant — redundant-symbol autofix would silently corrupt output

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

  Nimblesite/osprey#163 · Aperta il 30/6/2026

• HTTP twin examples flaky in differential harness: .ospml binds same fixed port its .osp twin just released (no SO_REUSEADDR)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 58/100

  Nimblesite/osprey#162 · Aperta il 30/6/2026

• Curry-by-default: multi-param ML functions lower to closures, drifting LLVM IR from flat Default twins (violates [FLAVOR-IR-EQUIV])

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  showstopper

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

  Nimblesite/osprey#161 · Aperta il 30/6/2026

• codegen: polymorphic curried / partial-applied functions fail with "closure value with a still-generic type"

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 48/100

  Nimblesite/osprey#160 · Aperta il 30/6/2026

• Spec clarity audit: align all specs (0001–0024 + README) to the flavors model (curry-by-default, no-main, no-redundant-types)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  Nimblesite/osprey#159 · Aperta il 30/6/2026

• Codegen: iterating a List of records (map/fold + field access) emits invalid LLVM IR (both flavors)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100

  Nimblesite/osprey#158 · Aperta il 30/6/2026

• Synthesised main emits a stray trailing space vs explicit main (breaks byte-exact goldens)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100

  Nimblesite/osprey#157 · Aperta il 30/6/2026