Search results

component-provenance v3: accept fusion premises (bounded_memory, closed_world) from meld

Status: Open.

#63 In pulseengine/scry;

· avrabe opened on Jun 26, 2026

Align wasm-tools (wasmparser) to the 0.252 release to dedup downstream trees

Status: Open.

#62 In pulseengine/scry;

· avrabe opened on Jun 24, 2026

Release standard: extract verification into rivet (0 verifies links despite a live MC/DC gate + 111 tests + 12 Rocq proofs)

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.

#59 In pulseengine/scry;

· avrabe opened on Jun 22, 2026

From a codegen/regalloc consumer (synth): forward-looking wishlist for the invariant bundle — non-blocking

Status: Open.

#54 In pulseengine/scry;

· avrabe opened on Jun 20, 2026

synth needs sound call-graph + reachability for a PROVABLE shadow-stack / linear-memory footprint (synth #383, VCR-MEM-001)

Status: Open.

#51 In pulseengine/scry;

· avrabe opened on Jun 20, 2026

v0.2 plan: real interval-domain fixpoint + Verus/Rocq toolchain + region memory

Status: Open.

#5 In pulseengine/scry;

· avrabe opened on May 27, 2026