Issues

• CLI: --verdict silently ignores extra program/file arguments

  bendlang/bend#1503 · Filter by author oxura opened on Oct 11, 2026

• CLI: --checkup treats import-looking text in a valid multiline string as another module

  bendlang/bend#1501 · Filter by author oxura opened on Oct 11, 2026

• CLI: --checkup treats valid hub imports as unrelated local files

  bendlang/bend#1499 · Filter by author oxura opened on Oct 11, 2026

• CLI: --checkup exits green without checking imports that have trailing comments

  bendlang/bend#1497 · Filter by author oxura opened on Oct 11, 2026

• CLI: -o through a hard-linked alias silently overwrites a program input

  bendlang/bend#1495 · Filter by author oxura opened on Oct 11, 2026

• --verdict: a template lambda that captures a run-time value inside a type is out of scope for BendTT, but bend2 accepts it

  bendlang/bend#1483 · Filter by author nohzafk opened on Oct 11, 2026

• bend update returns exit 0 when the installer download fails (v2.0.36)

  bug
  bendlang/bend#1481 · Filter by author dtcrb opened on Oct 11, 2026

• On the CPU, a call before each fork keeps a fork tree on a few threads: 256 leaves get 3.5x from 16 threads instead of 14x

  bendlang/bend#1475 · Filter by author wakamex opened on Oct 10, 2026
  1

• Process.run ends the run on the Node host instead of running the program

  bendlang/bend#1468 · Filter by author BaaRai opened on Oct 10, 2026

• The runtime takes --threads, --gpu, --gpu-build and the first -- from anywhere in a compiled program's argv

  bendlang/bend#1466 · Filter by author viridale opened on Oct 10, 2026

• bend PROOF.bend fails over foreign defs that no law depends on

  bendlang/bend#1463 · Filter by author viridale opened on Oct 10, 2026

• IO: an invalid descriptor aborts the readiness loop instead of returning EBADF

  bendlang/bend#1455 · Filter by author oxura opened on Oct 9, 2026
  1

• File writes do not terminate on zero progress

  bendlang/bend#1445 · Filter by author oxura opened on Oct 9, 2026
  1

• Metal issues

  bug
  bendlang/bend#1429 · Filter by author totaland opened on Oct 8, 2026

• F32 NaN payload and sign canonicalize to 0x7FC00000 on the interpreter and JS lanes; C preserves bits (F32.bits of bit-flipped ±inf: 0x7F800001/0xFF800001 vs 0x7FC00000 for both) — #797 persists + interpreter

  bendlang/bend#1419 · Filter by author Giulio2002 opened on Oct 8, 2026
  1

• What BendTT proves, precisely (v2.0.36): claim inventory, the Sigma-over-<> claim-text gap, docs notes

  bendlang/bend#1418 · Filter by author Giulio2002 opened on Oct 8, 2026
  1

• One term, two types, all gates green: presentation-dependent double typing from the #1190 shared-cell merge (v2.0.36)

  bendlang/bend#1417 · Filter by author Giulio2002 opened on Oct 8, 2026

• v2.0.36 --verdict certifies a different program than it checked/ran (let-convoy, incl. new nested shapes; #1368 fix unreleased)

  bendlang/bend#1416 · Filter by author Giulio2002 opened on Oct 8, 2026

• A Nat match with N literal-numeral rows costs ~quadratic checker memory: 2000 rows → 1.4 GB, 3000 → 3.6 GB (a valid program that runs); succ-pattern rows cost 83 MB

  bendlang/bend#1403 · Filter by author Giulio2002 opened on Oct 8, 2026
  1

• Metal: one ! over a two-leaf fork tree (a 365-fork spine beside a 3-fork spine) faults; each leaf alone, a balanced 365+365, and --gpu off all pass

  bendlang/bend#1394 · Filter by author Eziowl opened on Oct 7, 2026

• Metal: non-tail recursion under a bang faults at 1023 list elements; CPU completes through 100000

  bendlang/bend#1393 · Filter by author Eziowl opened on Oct 7, 2026
  2

• Large native builds: every segment takes the widest record's words, the C is one translation unit, and its names shift with every edit

  bendlang/bend#1388 · Filter by author Iann29 opened on Oct 7, 2026

• A read-only borrow of an Array for a parallel let, without @unsafe

  enhancement
  bendlang/bend#1376 · Filter by author nuxyel opened on Oct 7, 2026

• A library target for the browser: pure defs as WebAssembly, with parallel calls on Web Workers

  bendlang/bend#1352 · Filter by author BenSturgeon opened on Oct 5, 2026
  1

• Without import Base, != and where/exs are parsed as bare Empty/Exists, so PROOF.bend decides what an imported LAWS.bend's != and where mean, even when LAWS.bend declares its own and checks alone

  bug
  bendlang/bend#1331 · Filter by author Vacrin opened on Oct 4, 2026