Module axiom 

AXIOM constraint export for context packs.

Cortex can supply context to AXIOM agents, but the pack must also carry the limits AXIOM has to obey: truth ceiling, unknown proof state, conflicts, redaction boundaries, and the absence of execution authority.

Structs

AxiomContextExport

Constraint export from one Cortex context pack to AXIOM.

Functions

axiom_export_for_pack

Export AXIOM constraints from a context pack.

constraint_envelope_for_pack

Build the ADR 0040 Cortex -> pai-axiom constraint envelope for a pack.