Module migration_assertion 

Canonical typed migration assertion syntax and fingerprints. Context-free canonical syntax for migration assertions.

Structs

AssertionBinding

One explicit dense binding declaration.

AssertionRolePlayer

One role-qualified relation player.

BindingId

Dense zero-based identity of one binding in a typed assertion plan.

MigrationAssertionPlan

A context-free, canonical typed migration assertion.

MigrationAssertionPlanFingerprint

Fingerprint of exact canonical migration assertion bytes.

QueryVariable

Validated canonical query-variable spelling without a $ sigil.

Enums

AssertionExpectation

The only expectation admitted by the first migration assertion revision.

AssertionPattern

Minimal closed typed pattern algebra used by migration assertions.

ValueComparator

Closed comparator vocabulary for typed canonical values.

ValueOperand

One typed operand in a value comparison.

Constants

MIGRATION_ASSERTION_CANONICALIZATION

Canonicalization identifier for canonical migration assertions.

MIGRATION_ASSERTION_FINGERPRINT_DOMAIN

Fingerprint domain for canonical migration assertions.

Functions

decode_migration_assertion_plan

Decode canonical bytes through private constructor-rebuilding wire types.

encode_migration_assertion_plan

Encode a trusted plan as bounded canonical JSON.

migration_assertion_capability_vocabulary

Return the complete capability vocabulary used by canonical migration assertions.