canic-backup 0.94.14

use super::*;
use crate::{
    execution::BackupExecutionOperationState,
    journal::{ArtifactJournalEntry, ArtifactState, DownloadJournal, DownloadOperationMetrics},
    manifest::{BackupUnitKind, IdentityMode},
    operational_readiness::manifest::assert_case_defined,
    persistence::{BackupLayout, CommandLifetimeLock, JournalLock},
    plan::{
        AuthorityEvidence, BackupOperationKind, BackupPlan, BackupPlanBuildInput, BackupScopeKind,
        ControlAuthority, QuiescencePolicy, SnapshotReadAuthority, build_backup_plan,
    },
    registry::RegistryEntry,
    test_support::{
        FakeBackupRunnerExecutor as FakeExecutor, FakeBackupRunnerFailure as FakeFailure, temp_dir,
    },
};
use std::{fs, path::PathBuf};

const ROOT: &str = "aaaaa-aa";
const APP: &str = "renrk-eyaaa-aaaaa-aaada-cai";
const WORKER: &str = "rno2w-sqaaa-aaaaa-aaacq-cai";
const HASH: &str = "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef";

#[test]
fn runner_rejects_stale_download_journal_topology_before_snapshot_creation() {
    assert_case_defined("CANIC-094-C03/stale-authority-identity/rejection");
    let root = prepared_layout("canic-backup-runner-stale-download-topology");
    let layout = BackupLayout::new(root.clone());
    let stale_hash = "f".repeat(64);
    layout
        .write_journal(&download_journal("run-test", &stale_hash, "stale-snapshot"))
        .expect("write stale download journal");

    let mut executor = FakeExecutor::default();
    let err = backup_run_execute_with_executor(&runner_config(root.clone(), None), &mut executor)
        .expect_err("stale topology receipt must reject");

    fs::remove_dir_all(root).expect("remove temp root");
    std::assert_matches!(
        err,
        BackupRunnerError::DownloadJournalTopologyMismatch {
            field: "discovery_topology_hash",
            expected,
            actual,
        } if expected == HASH && actual == stale_hash
    );
    assert!(
        executor
            .commands
            .iter()
            .all(|command| !command.starts_with("snapshot:"))
    );
}

#[test]
fn runner_rejects_download_journal_for_another_backup_before_snapshot_creation() {
    let root = prepared_layout("canic-backup-runner-other-download-backup");
    let layout = BackupLayout::new(root.clone());
    layout
        .write_journal(&download_journal("other-backup", HASH, "other-snapshot"))
        .expect("write foreign download journal");

    let mut executor = FakeExecutor::default();
    let err = backup_run_execute_with_executor(&runner_config(root.clone(), None), &mut executor)
        .expect_err("foreign download journal must reject");

    fs::remove_dir_all(root).expect("remove temp root");
    std::assert_matches!(
        err,
        BackupRunnerError::DownloadJournalBackupIdMismatch { expected, actual }
            if expected == "run-test" && actual == "other-backup"
    );
    assert!(
        executor
            .commands
            .iter()
            .all(|command| !command.starts_with("snapshot:"))
    );
}

#[test]
fn runner_recovers_created_snapshot_from_bound_download_journal() {
    let root = prepared_layout("canic-backup-runner-created-snapshot-recovery");
    let layout = BackupLayout::new(root.clone());
    layout
        .write_journal(&download_journal("run-test", HASH, "existing-snapshot"))
        .expect("write interrupted download journal");

    let mut executor = FakeExecutor::default();
    let response =
        backup_run_execute_with_executor(&runner_config(root.clone(), None), &mut executor)
            .expect("resume from recorded snapshot");

    fs::remove_dir_all(root).expect("remove temp root");
    assert!(response.complete);
    assert!(
        executor
            .commands
            .iter()
            .all(|command| !command.starts_with("snapshot:"))
    );
    assert!(
        executor
            .commands
            .iter()
            .any(|command| command == &format!("download:{APP}:existing-snapshot"))
    );
}

// Ensure the backup runner executes a persisted plan into a verified backup layout.
#[test]
fn runner_executes_plan_and_finalizes_manifest() {
    let root = temp_dir("canic-backup-runner");
    let layout = BackupLayout::new(root.clone());
    let plan = plan();
    let journal = BackupExecutionJournal::from_plan(&plan).expect("execution journal");
    layout.write_backup_plan(&plan).expect("write plan");
    layout
        .write_execution_journal(&journal)
        .expect("write execution journal");

    let mut executor = FakeExecutor::default();
    let response =
        backup_run_execute_with_executor(&runner_config(root.clone(), None), &mut executor)
            .expect("run backup");
    let integrity = layout.verify_integrity().expect("verify finalized layout");

    fs::remove_dir_all(root).expect("remove temp root");
    assert!(response.complete);
    assert_eq!(response.executed_operation_count, 6);
    assert_eq!(integrity.backup_id, "run-test");
    assert_eq!(integrity.durable_artifacts, 1);
    assert_eq!(
        executor.commands,
        vec![
            format!("status:{APP}"),
            format!("stop:{APP}"),
            format!("snapshot-list:{APP}"),
            format!("snapshot:{APP}"),
            format!("start:{APP}"),
            format!("download:{APP}:snap-app"),
        ]
    );
}

// Ensure root-omitted deployment backups describe each disconnected branch separately.
#[test]
fn runner_finalizes_root_omitted_deployment_plan_as_multiple_backup_units() {
    let root = temp_dir("canic-backup-runner-root-omitted-deployment");
    let layout = BackupLayout::new(root.clone());
    let plan = root_omitted_deployment_plan();
    let journal = BackupExecutionJournal::from_plan(&plan).expect("execution journal");
    layout.write_backup_plan(&plan).expect("write plan");
    layout
        .write_execution_journal(&journal)
        .expect("write execution journal");

    let mut executor = FakeExecutor::default();
    let response =
        backup_run_execute_with_executor(&runner_config(root.clone(), None), &mut executor)
            .expect("run backup");
    let manifest = layout.read_manifest().expect("read manifest");
    manifest.validate().expect("valid manifest");

    fs::remove_dir_all(root).expect("remove temp root");
    assert!(response.complete);
    assert_eq!(manifest.consistency.backup_units.len(), 2);
    assert_eq!(
        manifest.consistency.backup_units[0].unit_id,
        "backup-selection-1"
    );
    assert_eq!(
        manifest.consistency.backup_units[0].kind,
        BackupUnitKind::Single
    );
    assert_eq!(
        manifest.consistency.backup_units[0].roles,
        vec!["app".to_string()]
    );
    assert_eq!(
        manifest.consistency.backup_units[1].unit_id,
        "backup-selection-2"
    );
    assert_eq!(
        manifest.consistency.backup_units[1].kind,
        BackupUnitKind::Single
    );
    assert_eq!(
        manifest.consistency.backup_units[1].roles,
        vec!["worker".to_string()]
    );
}

// Ensure max-step capped runs can resume without replaying preflight or completed operations.
#[test]
fn runner_resumes_after_max_steps_without_replaying_completed_work() {
    let root = prepared_layout("canic-backup-runner-resume");

    let mut first_executor = FakeExecutor::default();
    let first = backup_run_execute_with_executor(
        &runner_config(root.clone(), Some(2)),
        &mut first_executor,
    )
    .expect("first capped run");

    assert!(!first.complete);
    assert!(first.max_steps_reached);
    assert_eq!(first.executed_operation_count, 2);
    assert!(first.execution.preflight_accepted);
    assert!(first.execution.restart_required);
    assert_eq!(
        first_executor.commands,
        vec![
            format!("status:{APP}"),
            format!("stop:{APP}"),
            format!("snapshot-list:{APP}"),
            format!("snapshot:{APP}"),
        ]
    );

    let mut second_executor = FakeExecutor::default();
    let second =
        backup_run_execute_with_executor(&runner_config(root.clone(), None), &mut second_executor)
            .expect("resume run");
    let integrity = BackupLayout::new(root.clone())
        .verify_integrity()
        .expect("verify resumed layout");

    fs::remove_dir_all(root).expect("remove temp root");
    assert!(second.complete);
    assert!(!second.max_steps_reached);
    assert_eq!(second.executed_operation_count, 4);
    assert_eq!(second.execution.failed_operations, 0);
    assert_eq!(integrity.durable_artifacts, 1);
    assert_eq!(
        second_executor.commands,
        vec![format!("start:{APP}"), format!("download:{APP}:snap-app"),]
    );
}

#[test]
fn runner_restores_availability_when_snapshot_preparation_fails() {
    let root = prepared_layout("canic-backup-runner-preparation-containment");
    let layout = BackupLayout::new(root.clone());
    let mut executor = FakeExecutor::default();
    backup_run_execute_with_executor(&runner_config(root.clone(), Some(1)), &mut executor)
        .expect("stop target before snapshot preparation");
    executor.commands.clear();
    executor.fail_on = Some(FakeFailure::SnapshotInventory);

    let error = backup_run_execute_with_executor(&runner_config(root.clone(), None), &mut executor)
        .expect_err("snapshot inventory observation must fail");
    let journal = layout
        .read_execution_journal()
        .expect("read contained execution journal");

    std::assert_matches!(
        error,
        BackupRunnerError::SnapshotInventoryFailed { ref status, .. }
            if status == "snapshot-list"
    );
    assert!(!journal.restart_required);
    for kind in [
        BackupOperationKind::Stop,
        BackupOperationKind::CreateSnapshot,
        BackupOperationKind::Start,
    ] {
        assert_eq!(
            journal
                .operations
                .iter()
                .find(|operation| operation.kind == kind)
                .expect("operation in contained snapshot phase")
                .state,
            BackupExecutionOperationState::Ready
        );
    }
    assert_eq!(
        executor.commands,
        vec![format!("snapshot-list:{APP}"), format!("start:{APP}")]
    );
    fs::remove_dir_all(root).expect("remove temp root");
}

// Ensure a published artifact is reverified after interruption before its durable journal update.
#[test]
fn runner_recovers_artifact_published_before_durable_journal_transition() {
    let root = prepared_layout("canic-backup-runner-published-artifact-resume");
    let layout = BackupLayout::new(root.clone());

    let mut first_executor = FakeExecutor::default();
    let first = backup_run_execute_with_executor(
        &runner_config(root.clone(), Some(5)),
        &mut first_executor,
    )
    .expect("run through artifact verification");
    assert!(!first.complete);
    assert_eq!(first.executed_operation_count, 5);

    let interrupted_journal = layout.read_journal().expect("read interrupted journal");
    let interrupted_entry = &interrupted_journal.artifacts[0];
    assert_eq!(
        interrupted_entry.state,
        crate::journal::ArtifactState::ChecksumVerified
    );
    let temporary = PathBuf::from(
        interrupted_entry
            .temp_path
            .as_deref()
            .expect("verified artifact temp path"),
    );
    let canonical = root.join(&interrupted_entry.artifact_path);
    fs::rename(&temporary, &canonical).expect("simulate publication before journal transition");

    let mut resumed_executor = FakeExecutor::default();
    let resumed =
        backup_run_execute_with_executor(&runner_config(root.clone(), None), &mut resumed_executor)
            .expect("recover published artifact");
    let recovered_journal = layout.read_journal().expect("read recovered journal");
    let recovered_entry = &recovered_journal.artifacts[0];
    let integrity = layout.verify_integrity().expect("verify recovered layout");

    fs::remove_dir_all(root).expect("remove temp root");
    assert!(resumed.complete);
    assert_eq!(resumed.executed_operation_count, 1);
    assert!(resumed_executor.commands.is_empty());
    assert_eq!(
        recovered_entry.state,
        crate::journal::ArtifactState::Durable
    );
    assert!(recovered_entry.temp_path.is_none());
    assert_eq!(integrity.durable_artifacts, 1);
}

// Ensure recovery never adopts a published directory whose bytes differ from the journal checksum.
#[test]
fn runner_rejects_unverifiable_post_publication_artifact() {
    let root = prepared_layout("canic-backup-runner-unverifiable-artifact");
    let layout = BackupLayout::new(root.clone());

    let mut first_executor = FakeExecutor::default();
    backup_run_execute_with_executor(&runner_config(root.clone(), Some(5)), &mut first_executor)
        .expect("run through artifact verification");
    let interrupted_journal = layout.read_journal().expect("read interrupted journal");
    let interrupted_entry = &interrupted_journal.artifacts[0];
    let temporary = PathBuf::from(
        interrupted_entry
            .temp_path
            .as_deref()
            .expect("verified artifact temp path"),
    );
    let canonical = root.join(&interrupted_entry.artifact_path);
    fs::rename(&temporary, &canonical).expect("simulate interrupted publication");
    fs::write(canonical.join("snapshot.bin"), b"different snapshot")
        .expect("change published artifact");

    let mut resumed_executor = FakeExecutor::default();
    let error =
        backup_run_execute_with_executor(&runner_config(root.clone(), None), &mut resumed_executor)
            .expect_err("changed published artifact must reject");
    let rejected_journal = layout.read_journal().expect("read rejected journal");

    std::assert_matches!(
        error,
        BackupRunnerError::Persistence(crate::persistence::PersistenceError::Checksum(
            crate::artifacts::ArtifactChecksumError::ChecksumMismatch { .. }
        ))
    );
    assert_eq!(
        rejected_journal.artifacts[0].state,
        crate::journal::ArtifactState::ChecksumVerified
    );
    assert!(rejected_journal.artifacts[0].temp_path.is_some());

    fs::remove_dir_all(root).expect("remove temp root");
}

// Ensure command failures are durably journaled and can be retried without replaying prior work.
#[test]
fn runner_records_failed_operation_and_retries_from_that_operation() {
    let root = prepared_layout("canic-backup-runner-retry");

    let mut failing_executor = FakeExecutor {
        fail_on: Some(FakeFailure::CreateSnapshot),
        ..FakeExecutor::default()
    };
    let err =
        backup_run_execute_with_executor(&runner_config(root.clone(), None), &mut failing_executor)
            .expect_err("snapshot failure aborts run");
    let failed_journal = BackupLayout::new(root.clone())
        .read_execution_journal()
        .expect("read failed execution journal");
    let failed_summary = failed_journal.resume_summary();

    std::assert_matches!(
        err,
        BackupRunnerError::CommandFailed {
            sequence: 5,
            status,
            message,
        } if status == "snapshot" && message == "simulated snapshot failure"
    );
    assert!(!failed_summary.restart_required);
    assert_eq!(failed_summary.failed_operations, 1);
    let next = failed_summary.next_operation.expect("rearmed stop");
    assert_eq!(next.kind, BackupOperationKind::Stop);
    assert_eq!(next.state, BackupExecutionOperationState::Ready);
    assert_eq!(
        failing_executor.commands,
        vec![
            format!("status:{APP}"),
            format!("stop:{APP}"),
            format!("snapshot-list:{APP}"),
            format!("snapshot:{APP}"),
            format!("start:{APP}"),
        ]
    );

    let mut retry_executor = FakeExecutor::default();
    let response =
        backup_run_execute_with_executor(&runner_config(root.clone(), None), &mut retry_executor)
            .expect("retry run");
    let integrity = BackupLayout::new(root.clone())
        .verify_integrity()
        .expect("verify retry layout");

    fs::remove_dir_all(root).expect("remove temp root");
    assert!(response.complete);
    assert_eq!(response.execution.failed_operations, 0);
    assert_eq!(integrity.durable_artifacts, 1);
    assert_eq!(
        retry_executor.commands,
        vec![
            format!("stop:{APP}"),
            format!("snapshot-list:{APP}"),
            format!("snapshot:{APP}"),
            format!("start:{APP}"),
            format!("download:{APP}:snap-app"),
        ]
    );
}

// Ensure a second runner cannot mutate a backup while the execution journal is locked.
#[test]
fn runner_rejects_locked_execution_journal_before_running_commands() {
    let root = prepared_layout("canic-backup-runner-lock");
    let layout = BackupLayout::new(root.clone());
    let _lock = JournalLock::acquire(&layout.execution_journal_path()).expect("acquire lock");

    let mut executor = FakeExecutor::default();
    let err = backup_run_execute_with_executor(&runner_config(root.clone(), None), &mut executor)
        .expect_err("locked journal rejects");

    fs::remove_dir_all(root).expect("remove temp root");
    std::assert_matches!(
        err,
        BackupRunnerError::JournalLocked { lock_path } if lock_path.ends_with("backup-execution-journal.json.lock")
    );
    assert!(executor.commands.is_empty());
}

// Ensure restart observes a pending stop only after its prior command tree exits.
#[test]
fn runner_preserves_pending_operation_while_command_is_in_flight() {
    let root = prepared_layout("canic-backup-runner-command-in-flight");
    let layout = BackupLayout::new(root.clone());
    let mut preflight_executor = FakeExecutor::default();
    backup_run_execute_with_executor(
        &runner_config(root.clone(), Some(0)),
        &mut preflight_executor,
    )
    .expect("accept preflight without mutation");

    let mut journal = layout
        .read_execution_journal()
        .expect("read accepted journal");
    let operation = journal
        .next_ready_operation()
        .cloned()
        .expect("next mutation");
    journal
        .mark_operation_pending_at(operation.sequence, Some("unix:11".to_string()))
        .expect("mark interrupted operation pending");
    layout
        .write_execution_journal(&journal)
        .expect("write pending journal");
    let command_lock =
        CommandLifetimeLock::acquire(&layout.execution_journal_path(), operation.sequence)
            .expect("hold prior command lock");

    let mut executor = FakeExecutor::default();
    let error = backup_run_execute_with_executor(&runner_config(root.clone(), None), &mut executor)
        .expect_err("in-flight command must stop resume");
    let persisted = layout
        .read_execution_journal()
        .expect("read preserved pending journal");

    std::assert_matches!(
        error,
        BackupRunnerError::CommandInFlight {
            sequence,
            operation_id,
            ..
        } if sequence == operation.sequence && operation_id == operation.operation_id
    );
    assert!(executor.commands.is_empty());
    assert_eq!(
        persisted.operations[operation.sequence].state,
        BackupExecutionOperationState::Pending
    );
    assert!(
        persisted
            .operation_receipts
            .iter()
            .all(|receipt| receipt.sequence != operation.sequence)
    );

    command_lock.finish().expect("release prior command lock");
    let response =
        backup_run_execute_with_executor(&runner_config(root.clone(), Some(1)), &mut executor)
            .expect("quiescent running target permits one stop");
    let persisted = layout
        .read_execution_journal()
        .expect("read reconciled stop journal");

    assert_eq!(response.executed_operation_count, 1);
    assert_eq!(
        executor.commands,
        vec![format!("status:{APP}"), format!("stop:{APP}")]
    );
    assert_eq!(
        persisted.operations[operation.sequence].state,
        BackupExecutionOperationState::Completed
    );
    assert_eq!(
        persisted
            .operation_receipts
            .iter()
            .filter(|receipt| receipt.sequence == operation.sequence)
            .count(),
        1
    );
    fs::remove_dir_all(root).expect("remove temp root");
}

// Ensure failed preflight evidence does not accept the preflight or unblock mutation.
#[test]
fn runner_preflight_failure_leaves_mutation_blocked() {
    let root = prepared_layout("canic-backup-runner-preflight-failure");

    let mut executor = FakeExecutor {
        fail_on: Some(FakeFailure::Preflight),
        ..FakeExecutor::default()
    };
    let err = backup_run_execute_with_executor(&runner_config(root.clone(), None), &mut executor)
        .expect_err("preflight failure rejects");
    let journal = BackupLayout::new(root.clone())
        .read_execution_journal()
        .expect("read execution journal");
    let summary = journal.resume_summary();

    fs::remove_dir_all(root).expect("remove temp root");
    std::assert_matches!(
        err,
        BackupRunnerError::PreflightFailed {
            status,
            message,
        } if status == "preflight" && message == "simulated preflight failure"
    );
    assert_eq!(executor.commands, vec![format!("status:{APP}")]);
    assert!(!summary.preflight_accepted);
    assert_eq!(summary.completed_operations, 0);
    assert_eq!(summary.failed_operations, 0);
    assert!(
        journal
            .operations
            .iter()
            .filter(|operation| {
                matches!(
                    operation.kind,
                    BackupOperationKind::Stop
                        | BackupOperationKind::CreateSnapshot
                        | BackupOperationKind::Start
                        | BackupOperationKind::DownloadSnapshot
                )
            })
            .all(|operation| operation.state == BackupExecutionOperationState::Blocked)
    );
}

// Ensure a tampered temp path in a resumable download journal is not trusted.
#[test]
fn runner_rejects_unexpected_download_temp_path() {
    let root = prepared_layout("canic-backup-runner-temp-path");

    let mut first_executor = FakeExecutor::default();
    backup_run_execute_with_executor(&runner_config(root.clone(), Some(4)), &mut first_executor)
        .expect("run through download");

    let layout = BackupLayout::new(root.clone());
    let mut journal = layout.read_journal().expect("read download journal");
    journal.artifacts[0].temp_path = Some("/tmp/canic-backup-outside".to_string());
    layout
        .write_journal(&journal)
        .expect("write tampered journal");

    let mut second_executor = FakeExecutor::default();
    let err =
        backup_run_execute_with_executor(&runner_config(root.clone(), None), &mut second_executor)
            .expect_err("tampered temp path rejects");

    fs::remove_dir_all(root).expect("remove temp root");
    std::assert_matches!(err, BackupRunnerError::ArtifactTempPathMismatch { .. });
}

fn prepared_layout(name: &str) -> PathBuf {
    let root = temp_dir(name);
    let layout = BackupLayout::new(root.clone());
    let plan = plan();
    let journal = BackupExecutionJournal::from_plan(&plan).expect("execution journal");
    layout.write_backup_plan(&plan).expect("write plan");
    layout
        .write_execution_journal(&journal)
        .expect("write execution journal");
    root
}

fn download_journal(backup_id: &str, topology_hash: &str, snapshot_id: &str) -> DownloadJournal {
    DownloadJournal {
        journal_version: 1,
        backup_id: backup_id.to_string(),
        discovery_topology_hash: topology_hash.to_string(),
        pre_snapshot_topology_hash: HASH.to_string(),
        operation_metrics: DownloadOperationMetrics::default(),
        artifacts: vec![ArtifactJournalEntry {
            canister_id: APP.to_string(),
            snapshot_id: snapshot_id.to_string(),
            snapshot_taken_at_timestamp: Some(1_778_709_681_897_818_005),
            snapshot_total_size_bytes: Some(272_586_987),
            state: ArtifactState::Created,
            temp_path: None,
            artifact_path: APP.to_string(),
            checksum_algorithm: "sha256".to_string(),
            checksum: None,
            updated_at: "unix:1".to_string(),
        }],
    }
}

fn runner_config(out: PathBuf, max_steps: Option<usize>) -> BackupRunnerConfig {
    BackupRunnerConfig {
        out,
        max_steps,
        updated_at: Some("unix:10".to_string()),
        tool_name: "canic".to_string(),
        tool_version: "test".to_string(),
    }
}

fn plan() -> BackupPlan {
    build_backup_plan(BackupPlanBuildInput {
        plan_id: "plan-test".to_string(),
        run_id: "run-test".to_string(),
        fleet: "demo".to_string(),
        environment: "local".to_string(),
        root_canister_id: ROOT.to_string(),
        selected_canister_id: Some(APP.to_string()),
        selected_scope_kind: BackupScopeKind::Subtree,
        include_descendants: true,
        topology_hash_before_quiesce: HASH.to_string(),
        registry: &[
            RegistryEntry {
                pid: ROOT.to_string(),
                role: Some("root".to_string()),
                kind: Some("root".to_string()),
                parent_pid: None,
                module_hash: None,
            },
            RegistryEntry {
                pid: APP.to_string(),
                role: Some("app".to_string()),
                kind: Some("singleton".to_string()),
                parent_pid: Some(ROOT.to_string()),
                module_hash: Some(HASH.to_string()),
            },
        ],
        control_authority: ControlAuthority::operator_controller(AuthorityEvidence::Proven),
        snapshot_read_authority: SnapshotReadAuthority::operator_controller(
            AuthorityEvidence::Proven,
        ),
        quiescence_policy: QuiescencePolicy::CrashConsistent,
        identity_mode: IdentityMode::Relocatable,
    })
    .expect("backup plan")
}

fn root_omitted_deployment_plan() -> BackupPlan {
    build_backup_plan(BackupPlanBuildInput {
        plan_id: "plan-test".to_string(),
        run_id: "run-test".to_string(),
        fleet: "demo".to_string(),
        environment: "local".to_string(),
        root_canister_id: ROOT.to_string(),
        selected_canister_id: None,
        selected_scope_kind: BackupScopeKind::NonRootDeployment,
        include_descendants: true,
        topology_hash_before_quiesce: HASH.to_string(),
        registry: &[
            RegistryEntry {
                pid: ROOT.to_string(),
                role: Some("root".to_string()),
                kind: Some("root".to_string()),
                parent_pid: None,
                module_hash: None,
            },
            RegistryEntry {
                pid: APP.to_string(),
                role: Some("app".to_string()),
                kind: Some("singleton".to_string()),
                parent_pid: Some(ROOT.to_string()),
                module_hash: Some(HASH.to_string()),
            },
            RegistryEntry {
                pid: WORKER.to_string(),
                role: Some("worker".to_string()),
                kind: Some("singleton".to_string()),
                parent_pid: Some(ROOT.to_string()),
                module_hash: Some(HASH.to_string()),
            },
        ],
        control_authority: ControlAuthority::operator_controller(AuthorityEvidence::Proven),
        snapshot_read_authority: SnapshotReadAuthority::operator_controller(
            AuthorityEvidence::Proven,
        ),
        quiescence_policy: QuiescencePolicy::CrashConsistent,
        identity_mode: IdentityMode::Relocatable,
    })
    .expect("backup plan")
}