Search results

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

Status: Open.

#240 In pulseengine/loom;

· avrabe opened on Jun 25, 2026

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

Status: Open.

#239 In pulseengine/loom;

· avrabe opened on Jun 25, 2026

Behavioral differential as an optimization gate (self-certify non-Z3-backstoppable transforms)

Status: Open.

#238 In pulseengine/loom;

· avrabe opened on Jun 25, 2026

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

Status: Open.

#231 In pulseengine/loom;

· avrabe opened on Jun 22, 2026

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

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.

#227 In pulseengine/loom;

· avrabe opened on Jun 22, 2026

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

Status: Open.

#226 In pulseengine/loom;

· avrabe opened on Jun 20, 2026

opt: dissolve the seam fully — post-inline SROA/scalar-forwarding eliminates the u64 ABI pack/unpack (+ wasm-local mem2reg) → toward LLVM-LTO parity

Status: Open.

#219 In pulseengine/loom;

· avrabe opened on Jun 14, 2026

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

Status: Open.

#169 In pulseengine/loom;

· avrabe opened on Jun 6, 2026

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

Status: Open.

#144 In pulseengine/loom;

· avrabe opened on May 29, 2026