build: promote lowerer and verifier components for count judgment gating

7ac385c

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)

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

SPDX Header Check on: pull_request 2

spdx-only-check

Experimental Keep contract on: pull_request 4

Echo–Keep experimental conformance

Experimental Keep dependency policy

Security Audit on: pull_request 2

Cargo Audit (stable)

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

Determinism Tests on: pull_request 2

Materialization Determinism

Select a check to view from the sidebar