Module claim_language 

Shared AXIOM/Cortex claim language.

AXIOM work records are useful because they separate criteria, hypotheses, capabilities, evidence, and residual risk. Cortex treats those records as structured candidate evidence, never as product authority. This module provides the common vocabulary both sides can serialize without allowing AXIOM formatting to upgrade truth or execution authority.

Structs

AxiomClaimInput

A candidate AXIOM element before Cortex maps it into shared claim language.

AxiomConstraint

Cortex constraint exported to AXIOM.

CortexClaimMapping

Cortex representation of one AXIOM element.

Enums

AxiomConstraintKind

Constraint category exported from Cortex to AXIOM.

AxiomConstraintSeverity

Constraint severity exported from Cortex to AXIOM.

AxiomElementKind

AXIOM element kind mapped into Cortex candidate evidence.

AxiomEvidenceKind

AXIOM evidence type.

AxiomStatus

AXIOM status after CHECK.

CortexClaimRole

Cortex-side role assigned to an AXIOM element.

Functions

map_axiom_claims

Map a batch of AXIOM elements into Cortex shared claim language.