Module audit 

Pure admission and sync-cadence arithmetic for the audit spool.

Structs

AuditLosses

Fail-open audit losses: the pending count PendingLosses holds, or the batch a durable records-lost marker reports. generation is the loss_generation a marker for these losses names.

SpoolAppendDecision

State transition for one attempted audit-spool append.

Enums

AuditCheckpointAdmission

Admission result for a signed audit checkpoint at the current chain head.

AuditLossMarkerAdmission

Admission result for a records-lost marker.

Functions

audit_checkpoint_admission

Bind a verified checkpoint to the exact nonempty chain position and head.

audit_loss_marker_admission

Admit exactly a marker whose body is the two-field {records_lost, loss_generation} shape with a positive count and a generation strictly newer than the last accepted one.

settle_loss_batch

Settle the pending losses state against a durable marker that reports batch, at the writer’s commit and at open-time reconciliation alike.

spool_append_decision

Admit one frame and advance the successful-append sync cadence.