icydb-core 0.74.9

IcyDB — A type-safe, embedded ORM and schema system for the Internet Computer
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

//! Module: db::executor::plan_validate
//! Responsibility: defensive structural validation at executor entry boundaries.
//! Does not own: logical/user-shape query semantics.
//! Boundary: catches internal planner/executor contract mismatches early.

use crate::{
    db::{
        access::{AccessPlanError, validate_access_structure_model},
        executor::EntityAuthority,
        query::plan::AccessPlannedQuery,
        schema::SchemaInfo,
    },
    error::InternalError,
};

// Load canonical executor-side schema info once for structural plan validation.
fn executor_plan_schema(authority: EntityAuthority) -> Result<SchemaInfo, InternalError> {
    let entity_path = authority.entity_path();

    SchemaInfo::from_entity_model(authority.model()).map_err(|err| {
        InternalError::query_invariant(format!("entity schema invalid for {entity_path}: {err}"))
    })
}

/// Validate plans at executor boundaries using structural entity authority.
pub(in crate::db::executor) fn validate_executor_plan_for_authority(
    authority: EntityAuthority,
    plan: &AccessPlannedQuery,
) -> Result<(), InternalError> {
    let schema = executor_plan_schema(authority)?;

    validate_access_structure_model(&schema, authority.model(), &plan.access)
        .map_err(AccessPlanError::into_internal_error)?;

    Ok(())
}