Module boundary 

Typed Cortex / pai-axiom boundary envelopes.

ADR 0040 requires cross-system exchanges to carry machine-readable constraints and receipt state. These structs are shape-only: they do not grant authority, persist records, or bypass the receiver’s own gates.

Structs

BoundarySourceAnchor

Source anchor in a boundary receipt.

BoundaryToolInvocation

Tool provenance item in a boundary receipt.

CapabilityTokenState

Capability-token state supplied by pai-axiom.

CortexAxiomConstraintEnvelopeV1

Cortex -> pai-axiom constraint envelope.

ExecutionTrustState

Execution trust state supplied by pai-axiom.

PaiAxiomExecutionReceiptV1

pai-axiom -> Cortex execution receipt.

Enums

AllowedClaimLanguage

Claim language permitted to the receiving AXIOM runtime.

BoundaryContradictionState

Contradiction state crossing the Cortex / pai-axiom boundary.

BoundaryQuarantineState

Quarantine state crossing the Cortex / pai-axiom boundary.

BoundaryRedactionState

Redaction state crossing the Cortex / pai-axiom boundary.

BoundaryToolOutcome

Tool invocation outcome in a boundary receipt.

CapabilityTokenDecision

Capability-token decision from pai-axiom.

ForbiddenBoundaryUse

Authority-bearing use forbidden by a boundary envelope.

OperatorApprovalState

Operator approval state supplied by pai-axiom.

RuntimeIntegrityState

Runtime integrity state supplied by pai-axiom.

Constants

BOUNDARY_SCHEMA_VERSION

Current boundary envelope schema version.

CORTEX_TO_AXIOM_CONSTRAINT_ENVELOPE_V1

Stable type string for Cortex -> AXIOM constraint envelopes.

PAI_AXIOM_TO_CORTEX_EXECUTION_RECEIPT_V1

Stable type string for pai-axiom -> Cortex execution receipts.

Functions

default_allowed_claim_language

Default claim language for constrained AXIOM work.

default_forbidden_boundary_uses

Default forbidden authority-bearing uses for cross-boundary context.