Enum ContractViolation 

pub enum ContractViolation {
    UnboundImport {
        import: String,
        site: SourceContext,
    },
    Type {
        import: String,
        required: PortType,
        parent_export: PortType,
        site: SourceContext,
    },
    Modifier {
        import: String,
        detail: String,
        site: SourceContext,
    },
    FinalShadow {
        export: String,
        site: SourceContext,
    },
    Phase2WriteThrough {
        export: String,
        site: SourceContext,
        note: &'static str,
    },
    DuplicateChild {
        name: ChildName,
        prior_site: Box<SourceContext>,
        this_site: SourceContext,
    },
    Compile(String),
    StrictNonePropagation {
        bindings: Vec<String>,
        site: SourceContext,
    },
}

Contract violation surfaced at finalize or spawn.

Variants per SRD-67 §“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 active set is the design doc’s §7 error contract: Self::UnboundImport, Self::FinalShadow, Self::DuplicateChild, Self::Compile, and Self::StrictNonePropagation. Self::Type, Self::Modifier, and Self::Phase2WriteThrough are retained as compatibility surface and are not emitted by the builder (design doc §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.

Type

Rule 1 — Type mismatch on import.

Fields

import: String

The import’s name.

required: PortType

The type the import requires.

parent_export: PortType

The type the parent exports.

site: SourceContext

Where the import is declared.

Modifier

Rule 1 — Modifier mismatch (e.g. shared import against a non-shared parent export).

Fields

import: String

The import’s name.

detail: String

What differs.

site: SourceContext

Where the import is declared.

FinalShadow

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

Fields

export: String

The export shadowed.

site: SourceContext

Where the child redefines it.

Phase2WriteThrough

Rule 2 — Shared write-through rewrite was required but could not be performed.

Never emitted. The rewrite is implemented in super::SubcontextBuilder::finalize (design doc §3.1), which reports a rewrite that fails to produce its input slot or synthetic output as Self::Compile; success is visible as super::ScopeModule::write_throughs. The variant is kept as compatibility surface for callers that pattern-match on it (design doc §2.2).

Fields

export: String

The export the rewrite targeted.

site: SourceContext

Where the export is declared.

note: &'static str

What the rewrite could not do.

DuplicateChild

Named-child registry: a duplicate spawn under the same name (SRD-67 §“Named-child registry”). 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: unbound identifier; corresponds to Rule 1’s closure-binding economy detecting a free identifier with no matching import).

StrictNonePropagation

L2.f strict-mode hardening: an intermediate-layer const binding’s Plan B materialisation 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.

Trait Implementations

impl Clone for ContractViolation

fn clone(&self) -> ContractViolation

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.