All issues

Search results

spar accepts property associations from UNDECLARED property sets silently (rc=0) — a typo'd or invented property is indistinguishable from a satisfied one

Status: Open.

#445 In pulseengine/spar;

· avrabe opened on Sep 3, 2026

Feedback wanted: needs and wishes for spar

Status: Open.

#444 In pulseengine/spar;

· avrabe opened on Sep 2, 2026

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

Status: Open.

#439 In pulseengine/spar;

· 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

Status: Open.

#425 In pulseengine/spar;

· avrabe opened on Aug 20, 2026

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

Status: Open.

#416 In pulseengine/spar;

· avrabe opened on Aug 13, 2026

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

Status: Open.

#403 In pulseengine/spar;

· 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

Status: Open.

#400 In pulseengine/spar;

· 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

Status: Open.

#397 In pulseengine/spar;

· avrabe opened on Aug 7, 2026

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

Status: Open.

#391 In pulseengine/spar;

· avrabe opened on Aug 5, 2026

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

Status: Open.

#382 In pulseengine/spar;

· avrabe opened on Jul 30, 2026

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

Status: Open.

#380 In pulseengine/spar;

· avrabe opened on Jul 30, 2026

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

Status: Open.

#375 In pulseengine/spar;

· avrabe opened on Jul 30, 2026