formal: vendor kit v2.1

72d4203

Select commit

Loading

Failed to load commit list.

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

ci on: pull_request 32

deterministic RCP fuzz (native C ABI + WASM)

rust decision-core (golden vectors + adversarial fixtures)

go server (cgo -> rust core; ingestion + verify pipeline)

web app (svelte build + trace unit tests)

typescript sdk (test + typecheck)

wasm build (verifier skew gate: same core, byte-for-byte)

supply chain (cargo-deny: advisories, licenses, sources, bans)

formal: mutation suite, fast tier (native)

formal: mutation suite, fast tier (kani-1)

formal: mutation suite, fast tier (kani-2)

formal: mutation suite, fast tier (kani-3)

formal: mutation suite, all 48 mutants (nightly)

formal: Kani bounded proofs over the real encoders

formal: Kani string round trip smoke subset (20 cases)

formal: kit register, drift lock, fast-tier mutants

formal: kit register, all mutants (nightly)

ci-required