Merge remote-tracking branch 'origin/main' into feat/proven-dynamic-s…

6e39916

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Security Audit on: push 2

Cargo Audit (stable)

SPDX Header Check on: pull_request 2

spdx-only-check

Security Audit on: pull_request 2

Cargo Audit (stable)

Determinism Tests on: pull_request 2

Materialization Determinism

CI on: pull_request 50

Format

Hook Regression Tests

Clippy (core libs)

Clippy (support libs)

Clippy (bins)

Clippy (test targets)

Clippy (warp-core test lanes)

Clippy (det_fixed)

Tests (workspace sans warp-core)

Build and check Edict provider lowerer

Build and check Edict provider verifier

Edict provider host contract (Rust 1.96)

Build echo-cas (wasm32)

Tests (warp-core)

Tests (musl)

Tests (det_fixed)

Tests (musl, det_fixed)

Rust Version Guard

WASM Package Boundary

Man Pages Freshness

Deterministic Math Guard

Determinism Guards

DIND (PR set)

Benchmarks (compilation gate)

Rustdoc (warnings gate)

Dependency Policy (cargo-deny)

Tests

Experimental Keep contract on: pull_request 4

Echo–Keep experimental conformance

Experimental Keep dependency policy

det-gates on: pull_request 17

classify-changes

G1 determinism (linux)

G1 determinism (macos)

Static nondeterminism inspection

G2 decoder security tests

G3 perf regression (criterion)

G4 build candidate 1

G4 build candidate 2

G4 independent build comparison

Evidence artifact presence

Select a check to view from the sidebar