Module tasks 

Auditable task model for the serial single-context SHA-profile baseline.

This host-side model is intentionally independent of the serial RHDL sequencer’s state machine. Tests compare that controller’s retired tags against this canonical total order, making missing, duplicated, stale, or reordered work visible rather than inferring correctness from a final digest alone. A parallel scheduler may use a different legal interleaving while preserving data dependencies and the same exact per-class counts.

Structs

TaskAudit

Successfully audited trace metadata.

TaskCounts

Per-class counts observed in a task trace.

Enums

TaskTraceError

A precise task-trace validation failure.

Constants

CHAIN_TASKS

Fixed 15-step chain compression blocks across all segments.

MASK_TASKS

Observable mask PRF compression blocks.

PUBLIC_KEY_TASKS

Public-key endpoint-stream compression blocks.

PUBLIC_SEED_TASKS

Public-seed PRF compression blocks.

SECRET_DATA_TASKS

First secret-preimage compression blocks.

SECRET_PADDING_TASKS

Second secret-preimage padding blocks.

SEED_TASKS

Private-seed hash compression blocks.

SEGMENT_PRF_TASKS

Per-segment secret PRF compression blocks.

TOTAL_TASKS

Complete compression-block count for fused signing from a private seed.

Functions

audit_task_trace

Validate canonical encoding, context/generation routing, total serial order, exact length, and exact per-class counts for a baseline-sequencer trace.

canonical_task_trace

Build the serial baseline’s 1,258-task trace for one context generation.