All issues

Search results

125 orphan commits, 0 linked: rivet ships commit↔artifact traceability and we never enabled it

Status: Open.

#161 In pulseengine/scry;

· avrabe opened on Aug 26, 2026

Loop-bound inference is the single critical path for static WCET on a dissolved OS: 13 of 28 declines, 11 cascades behind it, 3 of 31 functions bounded

Status: Open.

#144 In pulseengine/scry;

· avrabe opened on Aug 26, 2026

Every feature branch appends to the end of roadmap-3.0.yaml, so each merge conflicts all the others

Status: Open.

#143 In pulseengine/scry;

· avrabe opened on Aug 26, 2026

No analysis budget: 22% of real-world modules never finish, and an analyzer that doesn't terminate returns nothing at all

Status: Open.

#135 In pulseengine/scry;

· avrabe opened on Aug 25, 2026

Release machinery: main has NO required_status_checks — the CI gate is advisory, not enforced

Status: Open.

#130 In pulseengine/scry;

· avrabe opened on Aug 21, 2026

func.wast: Internal("i32 binop with single operand") — operand-stack underflow, unmasked by the #125 fix

Status: Open.

#128 In pulseengine/scry;

· avrabe opened on Aug 21, 2026

97% of real-world modules hit unsoundness-fallback, only 18% of memory-touching modules fully provable — operator ranking, and 579 fallbacks that name no operator

Status: Open.

#126 In pulseengine/scry;

· avrabe opened on Aug 21, 2026

FEAT-065 rework: matching needs content corroboration — 6 wrong-verdict paths found pre-ship

Status: Open.

#122 In pulseengine/scry;

· avrabe opened on Aug 11, 2026

Publish a kilnd-runnable core-module artifact alongside the component

Status: Open.

#118 In pulseengine/scry;

· avrabe opened on Aug 8, 2026

MC/DC gate is a loose floor, not a ratchet — it passed a 13→9 full-MC/DC regression

Status: Open.

#117 In pulseengine/scry;

· avrabe opened on Aug 7, 2026

Bounds-check elision for synth: export proven-safe access sites + close the br_if precision gap

Status: Open.

#114 In pulseengine/scry;

· avrabe opened on Aug 2, 2026

Robustness gap: scry has no fuzz targets or property tests — the sound analyzer's frontend is unguarded

Status: Open.

#113 In pulseengine/scry;

· avrabe opened on Jul 28, 2026