All issues

Search results

rivet add cannot create an artifact with the ID that rivet next-id -p just named

Status: Open.

#901 In pulseengine/rivet;

· avrabe opened on Sep 7, 2026

bridge-schema coverage rules are reported but their definitions are not discoverable — a failing rule cannot be acted on

Status: Open.

#895 In pulseengine/rivet;

· avrabe opened on Sep 6, 2026

rivet add: no way to choose an artifact ID, and the derived one can be actively misleading

Status: Open.

#887 In pulseengine/rivet;

· avrabe opened on Sep 4, 2026

Feedback wanted: needs and wishes for rivet

Status: Open.

#879 In pulseengine/rivet;

· avrabe opened on Sep 2, 2026

ci: the self-hosted fleet restarts mid-run, killing all in-flight jobs and reporting them as failures

Status: Open.

#862 In pulseengine/rivet;

· avrabe opened on Aug 27, 2026

friction: a dead externals path: poisons all cross-repo resolution (no git: fallback), and validate then reports '0 broken cross-refs' beside dozens of unresolved-target errors

tool-frictionFriction hit while using the tool for real work (dogfooding signal) Friction hit while using the tool for real work (dogfooding signal)

Status: Open.

#854 In pulseengine/rivet;

· avrabe opened on Aug 26, 2026

ci: Kani Proofs fails ~58% with exit 143 and has never passed on a push to main

Status: Open.

#839 In pulseengine/rivet;

· avrabe opened on Aug 21, 2026

rivet verify advances on the existence of evidence, not its sufficiency

Status: Open.

#838 In pulseengine/rivet;

· avrabe opened on Aug 20, 2026

Mutation-safety harness: one invariant, four data-loss bugs, no property test (#573/#618/REQ-287/#806)

Status: Open.

#809 In pulseengine/rivet;

· avrabe opened on Aug 18, 2026

Externally-owned verification: a criterion only another project can run has no typed home

tool-frictionFriction hit while using the tool for real work (dogfooding signal) Friction hit while using the tool for real work (dogfooding signal)

Status: Open.

#800 In pulseengine/rivet;

· avrabe opened on Aug 13, 2026

coverage: requirement-verification link rule reports 0% while --tests markers show 100% and statuses are verified

Status: Open.

#788 In pulseengine/rivet;

· avrabe opened on Aug 7, 2026

dev schema has no verification-measure type — the only ones shipped drag in ASPICE's SWE.3 chain

Status: Open.

#748 In pulseengine/rivet;

· avrabe opened on Jul 30, 2026