Merge branch 'main' into chore/dependabot-workspace

c63abc4

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

systest on: pull_request 6

self-host via export-crates-vendor (clause 1)

self-host via export-cargo (clause 1)

OCI registry round trip (clause 2, varve#62)

two realms composed, end to end (REQ-REALM2-001 clause 3)

ci on: pull_request 21

fmt · clippy · test (ubuntu-latest)

fmt · clippy · test (macos-latest)

rivet validate · release plan

MSRV (1.89)

coverage (advisory evidence)

cargo deny (supply-chain audit)

corrosion offline build (REQ-CORROSION-001)

no signing key on disk (REQ-NOKEYDISK-001)

cargo mutants (varve-core (trust))

cargo mutants (docs payload)

cargo mutants (varve-core (export))

cargo mutants (varve-core (lines))

cargo mutants (varve-producer)

SMT obligations (ordeal, certificate-checked)

cargo mutants (trust-critical gate)

Fuzz on: pull_request 5

cargo fuzz (layer_id)

cargo fuzz (manifest)

cargo fuzz (dsse_verify)

cargo fuzz (pin)

cargo fuzz (realms)