Module verify 

Store verification helpers for schema-shape and schema-version gates.

Structs

ForkMarker

Explicit marker that state belongs to, or is attempting to enter, a forked lineage.

PostMigrateCountMismatchFailure

Per-table count-mismatch refusal failure for the post-migrate verifier.

PostV2RowPopulation

Per-table v2-row population observed by count_post_v2_rows_outside_boundary.

PreV2BackupRowCounts

Pre-migrate per-table row counts captured by the pre-v2 backup manifest.

RollbackForkReport

Result of checking ADR 0033 rollback/fork refusal invariants.

RollbackForkState

Rollback/fork metadata available to a caller that is comparing current state against a candidate state before permitting restore, doctor, or write flows.

SchemaVersionReport

Result of checking schema shape and row-level schema versions against the binary.

Enums

RollbackForkFailure

Rollback/fork refusal invariant failure.

RollbackForkStateLocation

Which side of a rollback/fork comparison carried a refusal marker.

SchemaVersionFailure

Schema-shape or schema-version invariant failure.

Constants

SCHEMA_V1_TO_V2_EVENT_BOUNDARY_DELTA

Documented delta the v1 -> v2 boundary append applies to the events count.

Functions

count_post_v2_rows_outside_boundary

Count rows whose schema_version is post-v1 (>= 2) outside the schema-migration boundary row.

verify_post_migrate_row_counts

Compare a post-migrate store against the pre-v2 backup-manifest counts.

verify_rollback_fork_refusal

Verify pure rollback/fork refusal metadata.

verify_schema_v2_default_persistence_readiness

Verify that an explicitly prepared store is ready for default schema-v2 persistence.

verify_schema_v2_expand_shape

Verify that an explicit schema v2 expand/backfill is either absent or complete.

verify_schema_version

Verify required schema shape and row-level schema versions.