Module error 

Error types of the store: fold-level (pure, structural), store-level (SQLite / IO / serialization plus the fold errors they wrap), and the typed rejections of the human-response arbitration (06 §4.3).

Enums

FoldError

A structural violation detected while folding a RunLog into a pointlock_ir::CheckpointView.

HumanResponseRejection

The closed rejection vocabulary of the human-response arbitration (06 §4.3: unknownRequest | alreadyResponded | deadlineExceeded | schemaViolation, plus the lazily-settled leftover).

StoreError

Store-level error: SQLite / filesystem / serialization failures, fold errors surfaced through the write path, and the self-check verdicts of crate::Store::verify_checkpoint.