icydb_core/db/session/

integrity.rs

//! Module: db::session::integrity
//! Responsibility: session routing into accepted-native integrity inspection.
//! Does not own: inspection semantics, accepted schema construction, or recovery.
//! Boundary: authorized entity path -> accepted runtime entity -> accepted inspection plan.

use crate::{
    db::{
        DbSession, QuickIntegrityResult,
        commit::database_incarnation_id,
        integrity::{
            IntegrityAuthorityDiagnostic, IntegrityCheckRequest, IntegrityCheckResult,
            IntegrityDeepError, IntegrityEntityIdentity, IntegrityJobError, IntegrityJobId,
            IntegrityJobOwner, IntegrityJobReceipt, IntegritySubmissionKey,
            abort_deep_integrity_job, capture_integrity_proof_vector, continue_deep_integrity_job,
            execute_quick_integrity, run_next_integrity_retention_page, start_deep_integrity_job,
            uninspectable_quick_integrity,
        },
        runtime_entity_catalog::AcceptedRuntimeEntity,
        schema::AcceptedInspectionPlan,
        session::{AcceptedSchemaCatalogContext, accepted_schema::AcceptedInspectionPlanLoadError},
    },
    traits::CanisterKind,
};

impl<C: CanisterKind> DbSession<C> {
    /// Execute one trusted typed integrity request.
    ///
    /// The caller must enforce controller or equivalent integrity-specific
    /// authorization before accepting caller-controlled requests. The owner
    /// must be a stable identity for that already-authorized caller or
    /// capability; possession of a job ID is never authorization.
    ///
    /// # Errors
    ///
    /// Returns a typed protocol error for invalid requests, authorization
    /// ownership mismatches, and stale acknowledgements, or an internal error
    /// when accepted authority or physical inspection cannot be read safely.
    pub fn execute_admin_integrity(
        &self,
        request: IntegrityCheckRequest,
        owner: IntegrityJobOwner,
    ) -> Result<IntegrityCheckResult, IntegrityDeepError> {
        self.execute_admin_integrity_with_quick_catalog(request, owner, None)
    }

    pub(in crate::db::session) fn execute_admin_integrity_with_quick_catalog(
        &self,
        request: IntegrityCheckRequest,
        owner: IntegrityJobOwner,
        quick_catalog: Option<AcceptedSchemaCatalogContext>,
    ) -> Result<IntegrityCheckResult, IntegrityDeepError> {
        self.db.ensure_recovered_control_state()?;
        owner.validate()?;
        let result = match request {
            IntegrityCheckRequest::Quick { entity } => self
                .execute_quick_integrity_for_identity(&entity, quick_catalog.as_ref())
                .map(IntegrityCheckResult::Quick),
            IntegrityCheckRequest::DeepStart {
                entity,
                submission_key,
            } => self
                .start_deep_integrity_for_identity(&entity, owner, submission_key)
                .map(IntegrityCheckResult::Deep),
            IntegrityCheckRequest::DeepContinue {
                job_id,
                acknowledged_sequence,
            } => {
                job_id.validate()?;
                self.continue_deep_integrity(job_id, &owner, acknowledged_sequence)
                    .map(IntegrityCheckResult::Deep)
            }
            IntegrityCheckRequest::DeepAbort { job_id } => {
                job_id.validate()?;
                Self::abort_deep_integrity(job_id, &owner).map(IntegrityCheckResult::Deep)
            }
        };
        run_next_integrity_retention_page::<C>()?;
        result
    }

    fn execute_quick_integrity_for_identity(
        &self,
        entity: &IntegrityEntityIdentity,
        catalog: Option<&AcceptedSchemaCatalogContext>,
    ) -> Result<QuickIntegrityResult, IntegrityDeepError> {
        if let Some(catalog) = catalog {
            return self.execute_quick_integrity_with_catalog(entity, catalog);
        }
        let (runtime_entity, store) = self.integrity_target(entity)?;
        match self.accepted_integrity_catalog_context_for_runtime_entity(runtime_entity, store) {
            Ok(catalog) => self.execute_quick_integrity_with_catalog(entity, &catalog),
            Err(AcceptedInspectionPlanLoadError::Selected { identity, error }) => {
                let accepted = IntegrityEntityIdentity::from_accepted_identity(&identity);
                if entity != &accepted {
                    return Err(IntegrityJobError::EntityIdentityMismatch.into());
                }
                Ok(uninspectable_quick_integrity(
                    identity,
                    database_incarnation_id()?,
                    &error,
                ))
            }
            Err(AcceptedInspectionPlanLoadError::Unselected(error)) => {
                Err(IntegrityDeepError::from(error))
            }
        }
    }

    fn execute_quick_integrity_with_catalog(
        &self,
        entity: &IntegrityEntityIdentity,
        catalog: &AcceptedSchemaCatalogContext,
    ) -> Result<QuickIntegrityResult, IntegrityDeepError> {
        let plan = catalog.inspection_plan();
        Self::validate_integrity_plan_identity(entity, plan)?;
        execute_quick_integrity(
            &self.db,
            plan,
            catalog.runtime_root_identity().database_incarnation(),
        )
        .map_err(IntegrityDeepError::from)
    }

    fn integrity_target(
        &self,
        entity: &IntegrityEntityIdentity,
    ) -> Result<(AcceptedRuntimeEntity, crate::db::registry::StoreHandle), IntegrityDeepError> {
        entity.validate()?;
        let runtime_entity = self
            .db
            .accepted_runtime_entity_for_path(entity.entity_path())?;
        if runtime_entity.entity_tag().value() != entity.entity_tag()
            || runtime_entity.store_path() != entity.store_path()
        {
            return Err(IntegrityJobError::EntityIdentityMismatch.into());
        }
        let store = self.db.store_handle(runtime_entity.store_path())?;

        Ok((runtime_entity, store))
    }

    fn validate_integrity_plan_identity(
        entity: &IntegrityEntityIdentity,
        plan: &AcceptedInspectionPlan,
    ) -> Result<(), IntegrityDeepError> {
        if *entity != IntegrityEntityIdentity::from_accepted_identity(plan.identity_ref()) {
            return Err(IntegrityJobError::EntityIdentityMismatch.into());
        }
        Ok(())
    }

    /// Start one authorized Deep job with an A/B proof handshake.
    fn start_deep_integrity_for_identity(
        &self,
        entity: &IntegrityEntityIdentity,
        owner: IntegrityJobOwner,
        submission_key: IntegritySubmissionKey,
    ) -> Result<IntegrityJobReceipt, IntegrityDeepError> {
        self.start_deep_integrity_for_identity_with_plan_loader(
            entity,
            owner,
            submission_key,
            |runtime_entity, store| {
                self.accepted_inspection_plan_for_runtime_entity(runtime_entity, store)
            },
        )
    }

    fn start_deep_integrity_for_identity_with_plan_loader(
        &self,
        entity: &IntegrityEntityIdentity,
        owner: IntegrityJobOwner,
        submission_key: IntegritySubmissionKey,
        mut load_plan: impl FnMut(
            AcceptedRuntimeEntity,
            crate::db::registry::StoreHandle,
        )
            -> Result<AcceptedInspectionPlan, AcceptedInspectionPlanLoadError>,
    ) -> Result<IntegrityJobReceipt, IntegrityDeepError> {
        submission_key.validate()?;
        let (runtime_entity, store) = self.integrity_target(entity)?;
        let first_plan = load_plan(runtime_entity.clone(), store)
            .map_err(|error| Self::deep_start_plan_load_error(entity, error))?;
        Self::validate_integrity_plan_identity(entity, &first_plan)?;
        let proof_a = capture_integrity_proof_vector(&self.db, &first_plan)?;

        let store = self.db.store_handle(runtime_entity.store_path())?;
        let second_plan = load_plan(runtime_entity, store)
            .map_err(|error| Self::deep_start_plan_load_error(entity, error))?;
        Self::validate_integrity_plan_identity(entity, &second_plan)?;
        let proof_b = capture_integrity_proof_vector(&self.db, &second_plan)?;
        start_deep_integrity_job(
            &self.db,
            &second_plan,
            owner,
            submission_key,
            proof_a,
            proof_b,
        )
    }

    fn deep_start_plan_load_error(
        entity: &IntegrityEntityIdentity,
        error: AcceptedInspectionPlanLoadError,
    ) -> IntegrityDeepError {
        match error {
            AcceptedInspectionPlanLoadError::Selected { identity, error } => {
                if entity != &IntegrityEntityIdentity::from_accepted_identity(&identity) {
                    return IntegrityJobError::EntityIdentityMismatch.into();
                }
                IntegrityDeepError::Uninspectable(IntegrityAuthorityDiagnostic::from_internal(
                    &error,
                ))
            }
            AcceptedInspectionPlanLoadError::Unselected(error) => {
                IntegrityDeepError::Uninspectable(IntegrityAuthorityDiagnostic::from_internal(
                    &error,
                ))
            }
        }
    }

    /// Continue or replay one authorized Deep job.
    fn continue_deep_integrity(
        &self,
        job_id: IntegrityJobId,
        owner: &IntegrityJobOwner,
        acknowledged_sequence: u64,
    ) -> Result<IntegrityJobReceipt, IntegrityDeepError> {
        continue_deep_integrity_job(
            &self.db,
            job_id,
            owner,
            acknowledged_sequence,
            |entity_path| {
                let runtime_entity = self.db.accepted_runtime_entity_for_path(entity_path)?;
                let store = self.db.store_handle(runtime_entity.store_path())?;
                self.accepted_inspection_plan_for_runtime_entity(runtime_entity, store)
                    .map_err(AcceptedInspectionPlanLoadError::into_internal)
            },
        )
    }

    /// Freeze one authorized Deep job for abort.
    fn abort_deep_integrity(
        job_id: IntegrityJobId,
        owner: &IntegrityJobOwner,
    ) -> Result<IntegrityJobReceipt, IntegrityDeepError> {
        abort_deep_integrity_job::<C>(job_id, owner)
    }
}