Enum ContractViolation 

pub enum ContractViolation {
    UnboundImport {
        import: String,
        site: SourceContext,
    },
    FinalShadow {
        export: String,
        site: SourceContext,
    },
    DuplicateChild {
        name: ChildName,
        prior_site: Box<SourceContext>,
        this_site: SourceContext,
    },
    Compile(String),
    StrictNonePropagation {
        bindings: Vec<String>,
        site: SourceContext,
    },
    Bind(Arc<KernelError>),
}

Contract violation surfaced at finalize or spawn.

Variants per the cross-binding rules plus the umbrella Self::Compile for errors raised by the Polydat compiler when the body fragment is converted into a program (typically an unbound identifier in the body, which the compiler catches after finalize’s name-closure check on declared imports).

The set is subcontext_construction.md §7’s error contract: Self::UnboundImport, Self::FinalShadow, Self::DuplicateChild, Self::Compile, Self::StrictNonePropagation, and Self::Bind for a child the binder could not build under its parent. An import’s type and modifier are checked by the compiler and the kernel’s slot types, not here (subcontext_construction.md §2.2).

Variants

UnboundImport

Rule 1 — Import resolution: an artifact import has no matching parent export.

Fields

import: String

The import’s name.

site: SourceContext

Where the import is declared.

FinalShadow

Rule 2 — Final-shadow on export: a child can’t redefine a parent const output.

Fields

export: String

The export shadowed.

site: SourceContext

Where the child redefines it.

DuplicateChild

Named-child registry: a duplicate spawn under the same name (subcontext_construction.md §4.1). Reports both spawn sites.

Fields

name: ChildName

The child’s name.

prior_site: Box<SourceContext>

Boxed: this is the only variant carrying two SourceContexts — boxing one keeps the whole enum (and every Result<_, ContractViolation>) small.

this_site: SourceContext

The second spawn site.

Compile(String)

Polydat compile-time error — the body failed to compile (most commonly an unbound identifier: a free identifier in the body that no import, parent name, or local binding supplies).

StrictNonePropagation

L2.f strict-mode hardening: an intermediate-layer const binding’s initialization yielded Value::None, and the build was running with strict mode enabled. Per composition_substrate.md L2.f’s strict-mode hardening clause, silent fall-through to the outer scope’s binding is rejected in strict mode — the author must either ensure the const yields a defined value or remove the binding and declare an explicit extern <name> if fall-through to outer was intended. The bindings field carries every const output that materialised to None.

Fields

bindings: Vec<String>

Every const output that materialised to None.

site: SourceContext

Where the bindings are declared.

Bind(Arc<KernelError>)

Binding the compiled child under its parent failed: a value copied from the parent was refused, a const failed when the child was initialized, or the parent’s engine refused the child’s program.

Trait Implementations

impl Clone for ContractViolation

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContractViolation

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

Formats the value using the given formatter.

impl Display for ContractViolation

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

Formats the value using the given formatter.

impl Error for ContractViolation

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl From<KernelError> for ContractViolation

fn from(e: KernelError) -> Self

Converts to this type from the input type.