All issues

Search results

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

ci: Proptest (extended) runs cargo test without nextest retries, so the documented serve race reddens it

Status: Open.

#835 In pulseengine/rivet;

· avrabe opened on Aug 20, 2026

ci: Test job silently falls back to cargo test, producing no JUnit XML and losing retries — three stacked silencers

Status: Open.

#833 In pulseengine/rivet;

· avrabe opened on Aug 20, 2026

serve: /api/v1/artifacts silently truncates at limit=1000 (repo has 1017) — no truncation signal in the response

Status: Open.

#832 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

check verification-evidence is useless as a gate: blind to nested workspaces (false fail) + satisfied by an empty stub (false pass)

bugSomething isn't workingSomething isn't working

Status: Open.

#807 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

Branch protection has zero required status checks — every gate repaired in v0.33.0 is advisory

Status: Open.

#796 In pulseengine/rivet;

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

coverage --tests: rivet-marker attribution binds to the wrong fn (preceding helper instead of the following #[test])

Status: Open.

#787 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