Struct SchemaProposal 

pub struct SchemaProposal { /* private fields */ }

Canonical current-form database-scoped proposal.

Implementations

impl SchemaProposal

pub fn try_compose( capabilities: Vec<SchemaCapability>, target_database: TargetDatabaseIdentity, submission_key: SchemaSubmissionKey, expected_head: ExpectedAcceptedHead, fragments: Vec<SchemaFragment>, assignments: Vec<EntityStoreAssignment>, removals: Vec<SchemaRemoval>, migration: Option<SchemaMigrationPlan>, ) -> Result<SchemaProposal, SchemaContractError>

Compose the public transport form from already selected fragments.

This validates contract-local closure only. IcyDB still treats the result as untrusted and resolves target ownership, accepted references, capabilities, and catalog-native mutation semantics during application.

Errors

Returns a typed contract error for bounds, duplicate definitions, ambiguous routing, removal conflicts, or malformed nested data.

pub const fn version(&self) -> ProposalContractVersion

Return the contract version.

pub fn capabilities(&self) -> &[SchemaCapability]

Borrow required capabilities in canonical order.

pub const fn target_database(&self) -> TargetDatabaseIdentity

Return the target database identity.

pub const fn submission_key(&self) -> &SchemaSubmissionKey

Borrow the submission key.

pub const fn expected_head(&self) -> &ExpectedAcceptedHead

Borrow the optimistic accepted-head condition.

pub fn fragments(&self) -> &[SchemaFragment]

Borrow reusable fragments.

pub fn assignments(&self) -> &[EntityStoreAssignment]

Borrow canonical entity-to-store assignments.

pub fn removals(&self) -> &[SchemaRemoval]

Borrow explicit removals.

pub const fn migration(&self) -> Option<&SchemaMigrationPlan>

Borrow the optional coordinated source migration plan.

pub fn digest(&self) -> Result<SchemaProposalDigest, SchemaContractError>

Compute the canonical proposal digest.

Errors

Returns a typed encoding error if the proposal no longer satisfies the current bounded contract.

impl SchemaProposal

pub fn entity_source_digest( &self, source: &EntitySourceKey, ) -> Result<EntitySourceDigest, SchemaContractError>

Compute the canonical generated-owned meaning for one current entity.

The digest excludes the declared entity version and migration plan. It includes the complete entity contract, its reachable named-type closure, and the exact target-field contracts referenced by relations.

Errors

Returns a typed reference or encoding error when the requested entity or one of its current relation/type dependencies is absent.

pub fn entity_source_digest_before_entity_renames( &self, source: &EntitySourceKey, ) -> Result<EntitySourceDigest, SchemaContractError>

Compute source meaning with relation targets mapped to the explicit predecessor entity names in this proposal’s migration plan.

This comparison proof changes only target names, not target fields or reachable type contracts. The planner compares it to accepted lineage to admit a dependency-only transition; it is not runtime schema authority.

Errors

Returns a typed reference or encoding error for invalid dependencies or colliding predecessor target names.

Trait Implementations

impl Clone for SchemaProposal

fn clone(&self) -> SchemaProposal

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SchemaProposal

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

Formats the value using the given formatter.

impl Eq for SchemaProposal

impl PartialEq for SchemaProposal

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SchemaProposal