All issues

Fuzz nightly: fuzz_scheduler_solver OOMs (solve_milp >2GB RSS) on a small bounded task set — new on 2026-08-25

#439

· avrabe opened

on Aug 25, 2026

Trace-Topology nightly: 13 consecutive failures since 2026-08-08 — podman cannot write /run/user/1109, and the guard blames /dev/kvm instead

#425

· avrabe opened

on Aug 20, 2026

AS5506 legality coverage: #14 closed against unmet criteria, and COMPLIANCE.md still reports the pre-#14 number

#416

· avrabe opened

on Aug 13, 2026

Verification Gate is green having executed zero commands: run_verification.py counts 'skipped' as pass

#403

· avrabe opened

on Aug 7, 2026

ci: per-PR Mutation Testing occupies the scarce lean-mem pool for up to 4h with a ~4% success rate

#400

· avrabe opened

on Aug 7, 2026

Lean proof typecheck never compiles MinPlusPwa.lean — 8 theorems and 8 of 12 sorries sit outside the build graph

#397

· avrabe opened

on Aug 7, 2026

Mutants Weekly now reports honestly — and reports a 1.7% kill rate (23 caught / 1326 viable)

#391

· avrabe opened

on Aug 5, 2026

Walk the mutation ratchet back down: 210 → 0 (the ground lost while #381's gate was blind)

#382

· avrabe opened

on Jul 30, 2026

strict:true with no merge queue makes every concurrent PR's heavy CI dead work

#380

· avrabe opened

on Jul 30, 2026

check_release_plane.py: generalise FIELD to catch `status:` in the fields bag too (6 live cases)

#375

· avrabe opened

on Jul 30, 2026

Verification Gate scope is stale: 20 of 161 feature artifacts checked, per-PR override never used

#358

· avrabe opened

on Jul 30, 2026

Proposal: native bounded model checking of concurrent behaviour in spar, certificate-checked via ordeal (no TLA+ export)

#350

· avrabe opened

on Jul 29, 2026