All issues

A helper whose value depends on a hole is emitted into `ChallengeDeps`, so the workspace cannot build

#518

· rammalahmad opened

on Aug 7, 2026

Form-created submissions never reach the leaderboard (`intake` skipped ⇒ `record` skipped)

#511

· KitaKen1 opened

on Aug 6, 2026

Generator drops top-level `universe` commands and `CoeFun` instances → generated workspace fails to build

#421

· kim-em opened

on Jun 10, 2026