All issues

Search results

DELIVERY_FLOOR is 28 against a live 64 — half the delivery history could vanish and status_evidence stays green

enhancementNew feature or request New feature or request

Status: Open.

#1183 In pulseengine/synth;

· avrabe opened on Sep 7, 2026

aarch64 ELF writer emits every func_N as STB_GLOBAL — two synth aarch64 objects cannot be co-linked (ARM has had STB_LOCAL since #656)

bugSomething isn't working Something isn't working

Status: Open.

#1180 In pulseengine/synth;

· avrabe opened on Sep 7, 2026

Census blocker histogram under-ranks any cause with a varying numeric payload — collapse_instance_lists() does not mask immediates

Status: Open.

#1159 In pulseengine/synth;

· avrabe opened on Sep 6, 2026

Multi-memory phase 2: per-memory MPU isolation is unreachable — --safety-bounds mpu and multi-memory have disjoint paths

Status: Open.

#1145 In pulseengine/synth;

· avrabe opened on Sep 4, 2026

Recurring N/A: feature-loop steps 1-2 (spar AADL -> WIT) have been skipped every release and never filed — #912's rule applied to itself

Status: Open.

#1136 In pulseengine/synth;

· avrabe opened on Sep 2, 2026

Feedback wanted: needs and wishes for synth

Status: Open.

#1132 In pulseengine/synth;

· avrabe opened on Sep 2, 2026

An artifact can be 'implemented' in vX.Y on evidence that shipped in vX.Y-1 — every gate passes and the release notes are wrong

Status: Open.

#1085 In pulseengine/synth;

· avrabe opened on Aug 27, 2026

synth-wcet-v1 names functions from the export section only, so the --wcet-hints seam has no key for internal functions — 7 of our 13 loop declines are unaddressable

Status: Open.

#1063 In pulseengine/synth;

· avrabe opened on Aug 26, 2026

CI capacity: 56 of 63 job definitions target ubuntu-latest while 12 self-hosted runners idle — 401 jobs queued, 0 in progress during the v0.59 merge wave

Status: Open.

#1062 In pulseengine/synth;

· avrabe opened on Aug 26, 2026

RULE-VERIFY has no obligation for control flow or byte-level memory — 48% of a real object is covered by neither half

Status: Open.

#1057 In pulseengine/synth;

· avrabe opened on Aug 25, 2026

Epic: reach and beat native codegen — proof-carrying specialization as the mechanism (VCR-*)

Status: Open.

#242 In pulseengine/synth;

· avrabe opened on Jun 4, 2026