verifier · 2026-07-15

Three-cluster SHA-256 verifier source simulation

The full source verifier executed twelve worst-case jobs, exact tag transport, fair admission, backpressure, and fail-closed drainage across all three clusters.

passed HASHSIGS_SHA256_GENERIC_V1

Identity and boundary

Evidence tier: Rust/RHDL source simulation
Topology: Three clusters × four contexts with three complete SHA-256 lanes
Cryptographic subject/source commit: 892b7e62ed45e766033a382ba46b89ad0d18599b
Cryptographic source dirty: no
Producing narrative: Read the privacy-sanitized source record
crates/wots-rhdl/VERIFIER_TOP_EVIDENCE.md

Reproduction command

cargo test --release --locked -j1 -p wots-rhdl --test verify_top -- --ignored --nocapture --test-threads=1

Measurements

Measurement	Value	Context
accepted SHA tasks	`12480 blocks`	twelve jobs × worst-case 1,040 tasks
routed returns	`12480 returns`	exactly one routed return per accepted task
modeled trace	`5778 cycles`	finite full-source verifier trace
full-source runtime	`110.12 seconds`	one ignored release-profile test

Supported claims

All twelve worst-case source-level verifier jobs completed with exact accepted-task and routed-return counts.
Framing, expected-tag transport, held results, first-cause diagnostics, global poison, peer abort, and identified drainage passed in the exercised tests.

Explicit nonclaims

legacy Keccak hardware verification
linked generated-RTL equivalence
synthesis, resources, timing, route, throughput, or card execution

Tools

rustc: 1.96.0
RHDL: c99d5cc53269a247bbc675d0fbd766991d409f56

Artifacts

No immutable artifact digest is recorded for this boundary.

Next gate

Link the modular verifier lane leaves and run a self-checking generated-RTL verifier trace.