Spectre.Execution.Migration.Receipt (Spectre v0.3.0)

Integrity receipt for one committed registered state migration.

It records only content digests and contract lineage. Source and migrated state values remain outside the receipt.

Summary

Types

t()

Functions

from_data(receipt)

Restores and verifies a portable migration receipt.

to_data(receipt)

Returns the portable receipt representation.

Types

t()

@type t() :: %Spectre.Execution.Migration.Receipt{
  definition_ref: term(),
  digest: term(),
  materialization_digest: term(),
  migration_digest: term(),
  operation_contract_digest: term(),
  operation_receipt_digest: term(),
  operation_ref: term(),
  program_digest: term(),
  schema_version: term(),
  source_state_digest: term(),
  source_version: term(),
  target_state_digest: term(),
  target_version: term()
}

Functions

from_data(receipt)

@spec from_data(map()) :: {:ok, t()} | {:error, term()}

Restores and verifies a portable migration receipt.

to_data(receipt)

@spec to_data(t()) :: map()

Returns the portable receipt representation.