Search results

rv32: a retained function relocating against a declined INTERNAL emits a dangling synth_func_N and exits 0 — the #851 guard #1013 gave aarch64 is not on the RISC-V path

Status: Open.

#1102 In pulseengine/synth;

· avrabe opened on Aug 28, 2026

MC/DC gate: the report-side absolute floors are layout-coupled — a 14-line guard anywhere moves unrelated functions' proved counts both directions (witness#208)

bugSomething isn't workingSomething isn't working

Status: Open.

#1100 In pulseengine/synth;

· avrabe opened on Aug 27, 2026

The silent-miscompile evidence behind the #1093 decline is not a CI oracle — the guard survives, its justification does not

Status: Open.

#1097 In pulseengine/synth;

· avrabe opened on Aug 27, 2026

README:122 and FEATURE_MATRIX advertise a 'CI-tracked compile rate' over the spec suite that no job produces — and submodules are never checked out, so the directory is empty in CI

Status: Open.

#1095 In pulseengine/synth;

· avrabe opened on Aug 27, 2026

The traceability completeness gate has never fired: 60/60 release artifacts across v0.56-v0.60 have no linked sys-verification, and 'rivet coverage' prints instead of asserting

Status: Open.

#1091 In pulseengine/synth;

· avrabe opened on Aug 27, 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

coq/*.ml extraction snapshots are checked in, stale, and referenced by no gate or build — the stale-artifact-nobody-checks class in a corner #977 did not reach

Status: Open.

#1080 In pulseengine/synth;

· avrabe opened on Aug 27, 2026

debug_assert-guarded immediate ranges are compiled out in release — an out-of-range imm12 mis-encodes silently; 6 sites remain after #1071 fixed the one the census reached

Status: Open.

#1072 In pulseengine/synth;

· avrabe opened on Aug 26, 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

The i64 param-clobber fuzz harness checks 'before FIRST read' — a write between two reads is exempt by construction (missed #1048 and the Clz/Ctz/Popcnt clobber it had itself named)

Status: Open.

#1055 In pulseengine/synth;

· avrabe opened on Aug 25, 2026