Search results

Traceability: VCR-RA-004 rivet ID reused for unrelated work; VCR-SEL-005 description says two backends

enhancementNew feature or requestNew feature or request

Status: Open.

#893 In pulseengine/synth;

· avrabe opened on Jul 30, 2026

Shelfware oracles: 57/130 differentials are unreferenced, and nothing distinguishes 'manual by design' from 'forgotten'

enhancementNew feature or requestNew feature or request

Status: Open.

#890 In pulseengine/synth;

· avrabe opened on Jul 29, 2026

aarch64 backend completeness: execution-verified capability map + remaining gaps (memory, non-param locals, calls, if/loop/return, div/rem, popcnt)

Status: Open.

#851 In pulseengine/synth;

· avrabe opened on Jul 23, 2026

gpio-thin regressed +9% code size under synth 0.49 (all other gust drivers shrank; effects unchanged)

Status: Open.

#846 In pulseengine/synth;

· avrabe opened on Jul 23, 2026

Epic: verified-codegen infrastructure (VCR-*) — replace the patch-accreting selector + allocator

Status: Open.

#242 In pulseengine/synth;

· avrabe opened on Jun 4, 2026