DO NOT MERGE: gate-potency negative controls for five never-red requi…

003169d

Select commit

Loading

Failed to load commit list.

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

ci on: pull_request 41

fmt · clippy · test (ubuntu-latest)

fmt · clippy · test (macos-latest)

varve env round trip in fish (REQ-ENVQUOTE-001)

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-core (line-status))

cargo mutants (varve-core (delta))

cargo mutants (varve-core (elf))

cargo mutants (varve-core (wit-closure))

cargo mutants (varve-producer (pgp))

cargo mutants (varve-producer (advisories))

cargo mutants (varve-producer (forge))

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)

systest on: pull_request 9

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)

a flat WIT layer composed for wkg (REQ-WIT-001 clause 3)

an sdk exported to a shorter path still runs (REQ-SDK-001)