Module chain 

Session event-chain hashing.

h₀ = SHA-256("av-genesis" ‖ session_id); hᵢ = SHA-256(hᵢ₋₁ ‖ JCS(eventᵢ)).

Ordering is driven by the per-session sequence number (events are fed in seq order) — never by wall-clock timestamps (D13.6). Any tamper, drop, reorder, or substitution changes the head hash and breaks verification.

Structs

EventChain

Incrementally computed hash chain over a session’s OCSF events.