icydb-core 0.199.31

IcyDB — A schema-first typed query engine and persistence runtime for Internet Computer canisters
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

//! Module: db::session::sql::write_policy
//! Responsibility: shared SQL write-shape proofs used by policy classifiers.
//! Does not own: statement-family admission or mutation execution.
//! Boundary: proves primary-key `WHERE`, canonical order, execution bounds,
//! and `RETURNING` shapes consistently for UPDATE and DELETE policy gates.

mod bounds;
mod model;
mod shape;

pub(in crate::db::session::sql) use bounds::combined_optional_row_bound;
pub(in crate::db::session::sql) use model::{
    DEFAULT_PUBLIC_BOUNDED_WRITE_LIMIT, DEFAULT_PUBLIC_WRITE_RETURNING_RESPONSE_BYTES,
    SqlGeneratedWritePolicyKind, SqlWriteBoundedPlanProof, SqlWriteBoundedPolicyRejection,
    SqlWriteExposureClass, SqlWritePlanCore, SqlWritePolicyBounds, SqlWritePrimaryKeyPlanProof,
    SqlWriteShapePolicyRejection,
};
pub use model::{
    SqlWriteExecutionBounds, SqlWriteOrderProof, SqlWriteReturningBounds, SqlWriteReturningShape,
    SqlWriteStatementShape, SqlWriteWhereProof,
};
pub(in crate::db::session::sql) use shape::{
    SqlWriteStatementShapeInput, classify_write_statement_shape, contains_field,
    current_table_field_name,
};