Issues

• [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

  criticalshowstopper
  Nimblesite/osprey#232 · Filter by author MelbourneDeveloper opened on Aug 27, 2026

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

  bug
  Nimblesite/osprey#228 · Filter by author MelbourneDeveloper opened on Aug 26, 2026

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

  bug
  Nimblesite/osprey#227 · Filter by author MelbourneDeveloper opened on Aug 26, 2026

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

  Nimblesite/osprey#226 · Filter by author MelbourneDeveloper opened on Aug 26, 2026

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

  Nimblesite/osprey#225 · Filter by author MelbourneDeveloper opened on Aug 26, 2026

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

  Nimblesite/osprey#220 · Filter by author MelbourneDeveloper opened on Aug 17, 2026

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

  bug
  Nimblesite/osprey#217 · Filter by author MelbourneDeveloper opened on Aug 17, 2026

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

  bug
  Nimblesite/osprey#216 · Filter by author MelbourneDeveloper opened on Aug 17, 2026

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

  Nimblesite/osprey#215 · Filter by author MelbourneDeveloper opened on Aug 17, 2026

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

  bug
  Nimblesite/osprey#214 · Filter by author MelbourneDeveloper opened on Aug 17, 2026
  2

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

  bug
  Nimblesite/osprey#213 · Filter by author MelbourneDeveloper opened on Aug 17, 2026

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

  bug
  Nimblesite/osprey#211 · Filter by author MelbourneDeveloper opened on Aug 15, 2026

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

  bug
  Nimblesite/osprey#206 · Filter by author MelbourneDeveloper opened on Aug 12, 2026

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

  bug
  Nimblesite/osprey#205 · Filter by author MelbourneDeveloper opened on Aug 12, 2026

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

  bug
  Nimblesite/osprey#204 · Filter by author MelbourneDeveloper opened on Aug 12, 2026

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

  Bug

  Nimblesite/osprey#203 · Filter by author MelbourneDeveloper opened on Aug 12, 2026
  2

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

  Bug

  Nimblesite/osprey#202 · Filter by author MelbourneDeveloper opened on Aug 11, 2026
  4

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

  Task

  Nimblesite/osprey#201 · Filter by author MelbourneDeveloper opened on Aug 11, 2026

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

  Task

  Nimblesite/osprey#200 · Filter by author MelbourneDeveloper opened on Aug 11, 2026

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

  Task

  Nimblesite/osprey#199 · Filter by author MelbourneDeveloper opened on Aug 11, 2026

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

  Task

  Nimblesite/osprey#198 · Filter by author MelbourneDeveloper opened on Aug 11, 2026

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

  Task

  Nimblesite/osprey#197 · Filter by author MelbourneDeveloper opened on Aug 11, 2026
  1

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

  bug
  Bug

  Nimblesite/osprey#196 · Filter by author MelbourneDeveloper opened on Aug 11, 2026

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

  bug
  Bug

  Nimblesite/osprey#195 · Filter by author MelbourneDeveloper opened on Aug 11, 2026

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

  bug
  Bug

  Nimblesite/osprey#194 · Filter by author MelbourneDeveloper opened on Aug 11, 2026