Privacy-safe proof of configured Instance-data erasure.
The component map covers the configured Journal store, receipt payloads still referenced by the canonical outbox, installed package data, and stable/legacy checkpoints. It says nothing about State or Memory stores, delivered receipt records, telemetry, provider logs, replicas, exports, or backups owned by the host.
Summary
Types
@type key_proof() :: %{ kind: :stable | :legacy, prior_state: :present | :absent | :erased, outcome: :erased | :already_erased, marker_digest: String.t() }
@type t() :: %Spectre.Instance.Erasure.Proof{ completed_at: non_neg_integer(), components: map(), instance_key: String.t(), keys: [key_proof()], outcome: :erased | :already_erased, owner_fencing_token: pos_integer(), schema_version: pos_integer(), scope: :configured_instance_data }