Module sequencer 

Historical single-context SHA-profile WOTS task sequencer.

This controller intentionally permits only one outstanding compression request. It is the correctness baseline for dependency handling, tag validation, and output-credit ownership; it is not the throughput target.

This module predates the selected lane-local production architecture. The active SHA signer uses twelve fine-grained crate::engine::SingleContextWorkEngine instances: four share one lane in each crate::cluster::LaneLocalCluster, and crate::top::Sha256SignerTop replicates that complete cluster three times. Those contexts may overlap independent masks, segment PRFs, chains, and public-key blocks. They preserve this baseline’s exact task counts, canonical tags, response validation, and output-credit ownership, but not its total serial order.

Keep this sequencer as a small synthesis and control oracle. Do not compose nine copies and describe that result as the current performance top.

Structs

HardwareTaskCounts

RHDL-visible exact retirement counters.

SequencerInput

Start, compression-lane handshake, and output-credit inputs.

SequencerOutput

Task-selector, handshake, error, completion, and audit outputs.

SingleContextSequencer

One-context, one-outstanding-request fixed-work sequencer.

Constants

FUTURE_CONTEXTS

Context count used by the superseded central-scheduler experiment.

Functions

decode_hardware_counts_kernel

Unpack the scalar counter register into its eight audit classes.

encode_hardware_counts_kernel

Pack eight 11-bit counters into one scalar register value.

single_context_sequencer_kernel

State-transition kernel for SingleContextSequencer.