DualReadSummarySink typedef

DualReadSummarySink = void Function(String sessionId, String body)

Emits one durable round-summary note (§0.4) — AttemptNote REQUIRES a sessionId, so the vehicle is always keyed to a real session: the session that just reached its terminal, or (at the clean-down fixpoint) the LAST terminal session of the boot.

Implementation

typedef DualReadSummarySink = void Function(String sessionId, String body);