Issues

• No command writes provenance.reviewed-by, yet ai-generated-needs-review requires it (--set-field writes a dotted key instead of a nested one)

  pulseengine/rivet#1057 · Filter by author avrabe opened on Oct 8, 2026

• rivet verify promotes a requirement to 'verified' on link presence, even when the verifying artifact is only 'implemented'

  pulseengine/rivet#1037 · Filter by author avrabe opened on Oct 7, 2026
  2

• Scheduled mutation shard 13 (yaml_cst.rs) takes down its runner every night: the #590 memory cap (48 GiB) sits above the 32 GiB cgroup ceiling

  pulseengine/rivet#1031 · Filter by author avrabe opened on Oct 6, 2026
  2

• Ingest ordeal-cert/v2 (query-carrying certificates): an accepted v2 recheck refutes the query DAG, not just a CNF

  pulseengine/rivet#1030 · Filter by author avrabe opened on Oct 1, 2026
  1

• Release test evidence fails: the pinned spar v0.10.0 doesn't build spar-wasm for wasm32-wasip2

  pulseengine/rivet#1028 · Filter by author avrabe opened on Oct 1, 2026
  1

• No stpa↔aspice bridge: a project using the ASPICE tier can never close constraint-has-requirement

  pulseengine/rivet#1025 · Filter by author avrabe opened on Oct 1, 2026
  1

• friction: rivet add --field cannot set mapping-typed fields (writes a quoted string), and validate accepts the string for type: mapping

  tool-friction
  pulseengine/rivet#1021 · Filter by author avrabe opened on Sep 30, 2026
  1

• Scheduled mutation run: 20 surviving mutants in schema.rs conditional/variant checks

  pulseengine/rivet#1009 · Filter by author avrabe opened on Sep 29, 2026
  2

• No record that a release was cut and published, nor the cross-repo state it was cut from — and the snapshot that would record it is silently discarded

  pulseengine/rivet#995 · Filter by author avrabe opened on Sep 24, 2026
  1

• Publish a CycloneDX VEX with each release, and re-issue it when advisories land

  pulseengine/rivet#983 · Filter by author avrabe opened on Sep 23, 2026
  1

• Linux releases are glibc-only (2.39 floor) — ship musl builds too

  pulseengine/rivet#980 · Filter by author avrabe opened on Sep 22, 2026
  2

• Audit umbrella: documented behaviour the code does not have (schema link restrictions, export flags, doc recursion)

  pulseengine/rivet#958 · Filter by author avrabe opened on Sep 16, 2026
  1

• Audit umbrella: gates that pass vacuously (traceability, cargo-vet, conformance suites, Playwright)

  pulseengine/rivet#957 · Filter by author avrabe opened on Sep 16, 2026
  2

• Audit umbrella: surfaces that disagree about the same fact (coverage %, validate verdict, export vs serve)

  pulseengine/rivet#956 · Filter by author avrabe opened on Sep 16, 2026
  1

• Extract rivet's lossless YAML stack as its own crate — the org has one, it is just not reachable

  pulseengine/rivet#930 · Filter by author avrabe opened on Sep 10, 2026
  6

• Feedback wanted: needs and wishes for rivet

  pulseengine/rivet#879 · Filter by author avrabe opened on Sep 2, 2026
  2

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

  pulseengine/rivet#839 · Filter by author avrabe opened on Aug 21, 2026
  10

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

  pulseengine/rivet#838 · Filter by author avrabe opened on Aug 20, 2026
  2

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

  pulseengine/rivet#809 · Filter by author avrabe opened on Aug 18, 2026
  2

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

  tool-friction
  pulseengine/rivet#800 · Filter by author avrabe opened on Aug 13, 2026
  3

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

  pulseengine/rivet#693 · Filter by author avrabe opened on Jul 11, 2026
  10

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

  pulseengine/rivet#567 · Filter by author avrabe opened on Jun 23, 2026
  8

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

  release-standard
  pulseengine/rivet#557 · Filter by author avrabe opened on Jun 22, 2026
  5

• rivet vsix

  pulseengine/rivet#546 · Filter by author avrabe opened on Jun 19, 2026
  7

• research lead: autoformalize NL requirements → Lean with proved ↔-equivalence as cert evidence

  external-watch
  pulseengine/rivet#508 · Filter by author avrabe opened on Jun 6, 2026
  2