Issues

• compliance.yml stopped running: bot-published releases do not trigger on:release

  pulseengine/loom#399 · Filter by author avrabe opened on Oct 1, 2026

• ordeal soundness advisory (GHSA-xfxf-qxr3-435x): upgrade ordeal 0.19.0 → 0.22.1

  pulseengine/loom#393 · Filter by author avrabe opened on Sep 30, 2026

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

  pulseengine/loom#389 · Filter by author avrabe opened on Sep 23, 2026

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

  pulseengine/loom#388 · Filter by author avrabe opened on Sep 22, 2026
  1

• Feedback wanted: needs and wishes for loom

  pulseengine/loom#365 · Filter by author avrabe opened on Sep 2, 2026
  2

• The Verification Gate has 0 successful runs in 60 (six weeks) — it times out at 30 min, and main requires no checks

  pulseengine/loom#353 · Filter by author avrabe opened on Aug 26, 2026
  1

• 31,210 transforms found and discarded across 215 real-world modules — 73% dropped by a greedy cost rule BEFORE verification, not by proving power (data + an open challenge)

  pulseengine/loom#348 · Filter by author avrabe opened on Aug 21, 2026
  1

• loom optimize does not finish in 300s on a 584KB meld-fused module — 97/100 real-world components blocked; a LARGER, denser ordinary module completes in 39s

  pulseengine/loom#347 · Filter by author avrabe opened on Aug 20, 2026
  3

• optimize_module applies the #196 element-section guard; the CLI pipeline does not — the library and the binary optimize differently

  pulseengine/loom#345 · Filter by author avrabe opened on Aug 20, 2026

• reconstruct_component corrupts components that nest core modules inside a ComponentSection

  pulseengine/loom#325 · Filter by author avrabe opened on Aug 12, 2026

• #240's premise hook is inert: assume_max/assume_range have no non-test callers, so fits_below_bit can never fire

  pulseengine/loom#323 · Filter by author avrabe opened on Aug 12, 2026

• Retire Z3: migrate the core translation validator to ordeal and drop the C++ dependency

  pulseengine/loom#313 · Filter by author avrabe opened on Aug 7, 2026
  4

• Canonical-ABI glue survives the dissolve: componentizing a scalar-only driver doubles .text, and cabi_realloc (x2) is never removed

  pulseengine/loom#303 · Filter by author avrabe opened on Jul 30, 2026
  7

• Translation validation: verify refinement with traps as first-class state (Alive2 encoding), not value-equivalence + guards

  pulseengine/loom#300 · Filter by author avrabe opened on Jul 28, 2026
  1

• Adopt ordeal for certificate-checked optimization-rule verification (replace loom's own Z3 path)

  pulseengine/loom#277 · Filter by author avrabe opened on Jul 11, 2026

• approach: discharge the stub axioms so the Rocq proofs stop being vacuous (the differential + EMI legs are already right)

  pulseengine/loom#271 · Filter by author avrabe opened on Jul 8, 2026

• synth's requirements for a Z3 replacement — QF_BV one-shot validation; the static-link build is the real pain, not the solver

  pulseengine/loom#246 · Filter by author avrabe opened on Jul 1, 2026
  3

• Carry Verus value-range/no-alias facts as IR premises + algebraic mid-end — feed synth's beat-LLVM specialization

  pulseengine/loom#240 · Filter by author avrabe opened on Jun 25, 2026
  1

• Make components small: custom-section GC + component-level reachability GC + canon seam dissolution

  pulseengine/loom#239 · Filter by author avrabe opened on Jun 25, 2026
  2

• Design: proof-carrying wsc.facts section — loom forwards Z3-discharged invariants to synth

  pulseengine/loom#231 · Filter by author avrabe opened on Jun 22, 2026
  1

• Release standard: add witness + scry wasm gates, crates.io/npm, rivet verification extraction

  release-standard
  pulseengine/loom#227 · Filter by author avrabe opened on Jun 22, 2026

• Seam-inlining not firing on the gust hot path (mix/transition survive as calls)

  pulseengine/loom#226 · Filter by author avrabe opened on Jun 20, 2026
  3

• Make Rocq formal proofs gating (rocq-proofs is continue-on-error)

  pulseengine/loom#169 · Filter by author avrabe opened on Jun 6, 2026
  1

• consume scry invariant JSON (scry-invariants/v1) for constant-fold / bounds-check elision / devirtualization

  pulseengine/loom#144 · Filter by author avrabe opened on May 29, 2026