Source map
Start in the owning Rust module, then follow tests and evidence outward.
| Area | Owning source | Primary tests or records |
|---|---|---|
| Profile-safe wire types | crates/hashsigs-types/src/lib.rs | Reference and compile-time profile tests |
| Software sign/verify oracle | crates/hashsigs-reference/src/lib.rs | Upstream compatibility tests |
| Legacy Keccak | crates/keccak-rhdl/src/ | tests/compatibility.rs |
| SHA-256 primitives | crates/sha256-rhdl/src/lib.rs | Crate unit tests |
| 64-stage lane and farm | crates/sha256-rhdl/src/lane.rs, farm.rs | Generated-RTL lane/farm evidence |
| WOTS block construction | crates/wots-rhdl/src/blocks.rs | tag_and_blocks.rs |
| Signer context task graph | crates/wots-rhdl/src/engine.rs | engine.rs, task_audit.rs |
| Four-context signer cluster | crates/wots-rhdl/src/cluster.rs | cluster.rs |
| Three-cluster signer top | crates/wots-rhdl/src/top.rs | top.rs, ignored top_full.rs |
| Verifier context | crates/wots-rhdl/src/verify/sha.rs | verify_sha.rs |
| Verifier expected-tag transport | crates/wots-rhdl/src/verify/transport.rs | verify_transport.rs |
| Verifier cluster and top | verify/cluster.rs, verify/top.rs | verify_cluster.rs, verify_top.rs |
| RTL registry and gates | crates/rhdl-gen/src/ | CLI integration tests and evidence records |
| U280 OOC flow | fpga/u280/ | Staged manifest plus Vivado reports |
The Rust API exposes item-level contracts and source pages. Evidence records link to their producing source document; the guide summarizes but does not replace those records.