signer · 2026-07-15

Production signer source simulation

The actual production RHDL specialization completed twelve distinct fused jobs after a live reset, saturation, backpressure, exact frame, and quiescence checks.

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: 2f21bd47bcbab521e3c2055fed6df2eb3fbfb03d
Cryptographic source dirty: yes
Producing narrative: Read the privacy-sanitized source record
evidence/rtl/wots-production-signer-source-simulation-2026-07-15.md

Reproduction command

cargo test -j1 -p wots-rhdl --test top_full -- --ignored --nocapture --test-threads=1

Measurements

Measurement	Value	Context
accepted SHA requests	`15096 blocks`	twelve jobs × 1,258 blocks
modeled trace	`6836 cycles`	finite source-simulation trace including reset and quiescence
fused results	`12 jobs`	four completed by each cluster

Supported claims

All twelve source-level jobs matched the independent software oracle and exact 35-beat frames.
Reset flushing, saturation, noninterleaving, held output stability, release accounting, and final quiescence passed in the finite trace.

Explicit nonclaims

generated RTL equivalence
steady-state throughput
resource use, timing, route, or hardware

Tools

rustc: 1.96.0
RHDL: c99d5cc53269a247bbc675d0fbd766991d409f56

Artifacts

No immutable artifact digest is recorded for this boundary.

Next gate

Lower, link, parse, and simulate the exact production generated RTL.