All issues

Search results

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

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

Status: Open.

#358 In pulseengine/spar;

· avrabe opened on Jul 30, 2026

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

Status: Open.

#350 In pulseengine/spar;

· avrabe opened on Jul 29, 2026

Release standard: add witness + scry on the wasm component, crates.io + npm

release-standardOrg-wide release-consistency campaign (five-track standard); coordinate at pulseengine.eu#98Org-wide release-consistency campaign (five-track standard); coordinate at pulseengine.eu#98

Status: Open.

#297 In pulseengine/spar;

· avrabe opened on Jun 22, 2026