All issues

Search results

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

ci(release-results): release binary attested on a persistent self-hosted runner — likely SLSA L2, not L3

Status: Open.

#782 In pulseengine/rivet;

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

Overlapping sources make every id collide with itself (184 phantom errors masked 6 real); non-deterministic output order breaks report diffing

Status: Open.

#746 In pulseengine/rivet;

· avrabe opened on Jul 30, 2026

Certified feature-model / variant consistency via ordeal's SAT core (EU AI Act evidence)

Status: Open.

#693 In pulseengine/rivet;

· avrabe opened on Jul 11, 2026

CI: self-hosted runner disk exhaustion fails all compile gates; post-job cleanup hook frees nothing

Status: Open.

#567 In pulseengine/rivet;

· avrabe opened on Jun 23, 2026

Release standard: add crates.io publishing (currently npm-only)

release-standardOrg-wide release-consistency campaign (five-track standard); coordinate at pulseengine.eu#98Org-wide release-consistency campaign (five-track standard); coordinate at pulseengine.eu#98

Status: Open.

#557 In pulseengine/rivet;

· avrabe opened on Jun 22, 2026

okf

Status: Open.

#549 In pulseengine/rivet;

· avrabe opened on Jun 19, 2026

rivet vsix

Status: Open.

#546 In pulseengine/rivet;

· avrabe opened on Jun 19, 2026