Issues

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

#995

· avrabe opened

on Sep 24, 2026

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

#983

· avrabe opened

on Sep 23, 2026

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

#980

· avrabe opened

on Sep 22, 2026

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

#958

· avrabe opened

on Sep 16, 2026

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

#957

· avrabe opened

on Sep 16, 2026

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

#956

· avrabe opened

on Sep 16, 2026

Two spar revisions ship in one binary: native pinned to v0.10.0, wasm cloned from HEAD, and the drift guard is dead code

bug

#951

· avrabe opened

on Sep 16, 2026

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

#930

· avrabe opened

on Sep 10, 2026

Feedback wanted: needs and wishes for rivet

#879

· avrabe opened

on Sep 2, 2026

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

#839

· avrabe opened

on Aug 21, 2026

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

#838

· avrabe opened

on Aug 20, 2026

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

#809

· avrabe opened

on Aug 18, 2026

Navigation Menu

All issues

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

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

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

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

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

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

Two spar revisions ship in one binary: native pinned to v0.10.0, wasm cloned from HEAD, and the drift guard is dead code

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

Feedback wanted: needs and wishes for rivet

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

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

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

Search results