Struct ApplicationInstallationCampaign 

pub struct ApplicationInstallationCampaign { /* private fields */ }

API-neutral deterministic state machine persisted by the shared service.

Implementations

impl ApplicationInstallationCampaign

pub const fn start( campaign_id: ApplicationInstallationCampaignId, plan_hash: ApplicationInstallationPlanHash, ) -> Self

Starts an empty campaign under one caller-stable identity.

pub fn resume( &mut self, campaign_id: ApplicationInstallationCampaignId, plan: &ApplicationInstallationPlan, ) -> Result<ApplicationInstallationObservation, InstallationCampaignError>

Verifies exact identity and every completed stage before resuming.

pub fn complete_stage( &mut self, plan: &ApplicationInstallationPlan, evidence: InstallationStageEvidence, ) -> Result<ApplicationInstallationObservation, InstallationCampaignError>

Records one exact idempotent stage completion in dependency order.

pub fn start_reimport( &mut self, plan: &ApplicationInstallationPlan, source: ApplicationReimportSourceV1, authority: ApplicationReimportAuthorityV1, scope: CapabilityApplicationReimportScopeV1, portability_manifest: &ApplicationPortabilityManifest, ) -> Result<&ApplicationReimportCampaignV1, InstallationCampaignError>

Starts the exact nested reimport checkpoint at the sole reimport stage.

pub const fn reimport(&self) -> Option<&ApplicationReimportCampaignV1>

Current durable reimport progress, absent before a portability campaign starts.

pub fn reimport_mut(&mut self) -> Option<&mut ApplicationReimportCampaignV1>

Mutable reimport progress for the API-neutral service coordinator.

pub fn complete_reimport( &mut self, plan: &ApplicationInstallationPlan, portability_manifest: &ApplicationPortabilityManifest, reimport_receipt: &ApplicationReimportReceipt, target_database_id: DatabaseId, ) -> Result<ApplicationInstallationObservation, InstallationCampaignError>

Verifies and records terminal reimport reconciliation for this exact plan.

pub fn record_failure( &mut self, plan: &ApplicationInstallationPlan, code: InstallationFailureCode, ) -> Result<ApplicationInstallationObservation, InstallationCampaignError>

Stops the current stage with a typed partial result and exact next action.

pub fn seal_receipt( &mut self, plan: &ApplicationInstallationPlan, ) -> Result<ApplicationInstallationReceipt, InstallationCampaignError>

Seals the terminal redacted receipt; this is the only success transition.

pub fn observe(&self) -> ApplicationInstallationObservation

Current redaction-safe observation.

pub fn completed_evidence(&self) -> &[InstallationStageEvidence]

Completed exact evidence retained for resume verification.

pub fn is_installed(&self) -> bool

Whether and only whether a terminal receipt has been sealed.

Trait Implementations

impl Clone for ApplicationInstallationCampaign

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ApplicationInstallationCampaign

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for ApplicationInstallationCampaign

impl PartialEq for ApplicationInstallationCampaign

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ApplicationInstallationCampaign