Module checker 

Structs

CapabilityPolicy

Policy controlling which capabilities a composition is allowed to use.

CapabilityViolation

A single capability violation found during pre-flight checking.

CheckResult

The result of a successful graph type-check: resolved types plus any effect warnings.

EffectPolicy

Policy controlling which effect kinds a composition is allowed to declare.

EffectViolation

A single effect violation found during pre-flight checking.

ResolvedType

The resolved input/output types of a composition node.

SignatureViolation

A single signature violation found during pre-flight checking.

Enums

EffectWarning

Warnings about effect usage detected during graph type-checking.

GraphTypeError

SignatureViolationKind

Why a stage’s signature check failed.

Functions

check_capabilities

Pre-flight check: walk the graph and verify every stage’s declared capabilities are within the granted policy. Returns an empty vec when all capabilities pass.

check_effects

Pre-flight check: walk the graph and verify every stage’s declared effects are within the granted policy. Returns an empty vec when all effects are allowed.

check_graph

Type-check a composition graph against the stage store.

collect_effect_warnings

Collect effect warnings by walking the graph. cost_budget_cents — pass Some(n) to enable budget enforcement.

infer_effects

Walk the composition graph and return the union of all effects declared by every stage. RemoteStage nodes always contribute Effect::Network. Stages not found in the store contribute Effect::Unknown.

verify_signatures

Pre-flight check: walk the graph and verify every stage’s Ed25519 signature.