Issues

• spar verify cannot express a numeric threshold on a computed value: comparisons apply to counts only

  pulseengine/spar#483 · Filter by author avrabe opened on Oct 13, 2026

• --pmoo is a silent no-op on any TSN model: pmoo_or_sfa returns None and nothing is emitted

  pulseengine/spar#482 · Filter by author avrabe opened on Oct 13, 2026

• WCTT_Budget is read from hops.first() only — a budget on any later bus is silently never checked

  pulseengine/spar#481 · Filter by author avrabe opened on Oct 13, 2026

• The documented Class_of_Service placement yields a 0 ps WCTT bound labelled (2 hops) — exit 0, WCTT_Budget passes, spar verify 3/3

  bug
  pulseengine/spar#478 · Filter by author avrabe opened on Oct 13, 2026

• Internal TSN evaluation of v0.44.0: 14 gaps — analysis and Qbv synthesis work, the emitted switch config does not

  enhancement
  pulseengine/spar#476 · Filter by author avrabe opened on Oct 13, 2026
  1

• YANG export emits a schedule a switch cannot activate: no base-time, no config-change, unprefixed operation-name, missing interface type

  bug
  pulseengine/spar#475 · Filter by author avrabe opened on Oct 13, 2026
  1

• spar instance --format json --analyze exits 0 on an erroring model — the #469 shape in the sibling command

  pulseengine/spar#472 · Filter by author avrabe opened on Oct 10, 2026
  2

• Actual_Processor_Binding on a process is not inherited by its threads — and the §10.6 citation asserting otherwise is unverified

  pulseengine/spar#460 · Filter by author avrabe opened on Oct 9, 2026
  2

• Latency through a process reports 0.000 ms as INFO and never checks the declared budget — flow elements resolve to the process, never the threads

  pulseengine/spar#455 · Filter by author avrabe opened on Oct 7, 2026
  7

• Publish spar-aadl to Open VSX via trusted publishing

  pulseengine/spar#453 · Filter by author avrabe opened on Oct 1, 2026

• wasmtime 36.0.12 cannot link wasi:cli/exit@0.2.12 — blocks moving the nightly pin forward

  pulseengine/spar#450 · Filter by author avrabe opened on Sep 23, 2026

• Publish a CycloneDX VEX with each release, and re-issue it when advisories land

  pulseengine/spar#448 · Filter by author avrabe opened on Sep 23, 2026

• Linux releases are glibc-only (2.39 floor) — ship musl builds too

  pulseengine/spar#447 · Filter by author avrabe opened on Sep 22, 2026
  1

• Sync on rowan: rivet and spar ship two different rowan versions in one binary, one forked for Miri soundness and one not

  pulseengine/spar#446 · Filter by author avrabe opened on Sep 10, 2026

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

  pulseengine/spar#445 · Filter by author avrabe opened on Sep 3, 2026

• Feedback wanted: needs and wishes for spar

  pulseengine/spar#444 · Filter by author 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

  pulseengine/spar#439 · Filter by author avrabe opened on Aug 25, 2026
  1

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

  pulseengine/spar#425 · Filter by author avrabe opened on Aug 20, 2026

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

  pulseengine/spar#416 · Filter by author avrabe opened on Aug 13, 2026
  1

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

  pulseengine/spar#400 · Filter by author avrabe opened on Aug 7, 2026
  6

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

  pulseengine/spar#397 · Filter by author avrabe opened on Aug 7, 2026

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

  pulseengine/spar#391 · Filter by author avrabe opened on Aug 5, 2026

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

  pulseengine/spar#382 · Filter by author avrabe opened on Jul 30, 2026
  1

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

  pulseengine/spar#380 · Filter by author avrabe opened on Jul 30, 2026
  1

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

  pulseengine/spar#375 · Filter by author avrabe opened on Jul 30, 2026
  5