All issues

"mutation-tested" is an unrepeatable prose claim, and its universal form in REQ-GUARD-GATE-EVIDENCE-002 is false

#405

· avrabe opened

on Aug 7, 2026

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

#403

· avrabe opened

on Aug 7, 2026

release.yml can publish a signed, attested release containing zero binaries

#402

· 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

Lean 'Fail on sorry' gate enforces zero obligations: all 12 sorrys are self-exempted by '-- TODO'

#385

· avrabe opened

on Jul 30, 2026

Format check is green on unformatted tracked code: cargo fmt --all covers 1 of the repo's 4 workspaces

#383

· avrabe opened

on Jul 30, 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