Module admission 

AXIOM-to-Cortex memory admission scaffolds.

AXIOM runtime output is an evidence submission. It can enter Cortex only as a memory candidate and only with provenance, anchors, redaction, proof, and contradiction posture made explicit.

Structs

AdmissionSemanticTrustInput

Caller-supplied semantic trust context that is not present in the ADR 0038 admission envelope.

AdmissionSemanticTrustReport

Admission-side semantic trust report.

AxiomMemoryAdmissionRequest

Request to admit AXIOM output as a Cortex memory candidate.

DurableAdmissionRefusal

Refusal payload returned by AxiomMemoryAdmissionRequest::require_durable_admission_allowed.

SourceAnchor

Source anchor backing a proposed memory candidate.

ToolProvenance

Tool/runtime provenance carried with the admission request.

Enums

AdmissionDecision

Deterministic admission decision.

AdmissionEnvelopeError

Failure while parsing a generic AXIOM memory admission envelope.

AdmissionRejectionReason

Reasons an AXIOM admission request cannot be admitted as a clean candidate.

AxiomImportClass

ADR 0034 import classes for any imported pai-axiom scaffold or convention.

CandidateState

Candidate lifecycle state declared by the caller.

ContradictionScan

Contradiction scan result for the proposed claim or belief slot.

EvidenceClass

Evidence class carried by the AXIOM submission.

PhaseContext

Runtime phase/context that produced the admission request.

ProofState

Proof closure state for the submitted candidate.

RedactionStatus

Redaction posture of the submitted content.

SourceAnchorKind

Allowed source anchor categories.

Constants

AXIOM_ADMISSION_PROOF_CLOSURE_INVARIANT

Stable invariant key surfaced when the AXIOM admission durable gate refuses to permit durable promotion because the supplied ProofState is not ProofState::FullChainVerified.

AXIOM_ADMISSION_PROOF_CLOSURE_RULE_ID

ADR 0026 rule id for the AXIOM admission proof-closure contributor.

Functions

require_admissible_evidence

Require a classified evidence submission.

require_axiom_origin_is_not_product_spec

Require tool provenance and reject product-specification imports at this gate.

require_candidate_state

Require that the target remains a memory candidate.

require_contradiction_scan

Require a contradiction scan before clean admission.

require_explicit_non_promotion

Require explicit statement that admission is not promotion.

require_phase_context

Require a known AXIOM phase or work-record context.

require_redaction_status

Require an explicit non-leaking redaction posture.

require_source_anchors

Require one or more non-blank source anchors.

require_usable_proof_state

Require proof state that is not missing or broken.

Type Aliases

AdmissionEnvelopeResult

Result type for parsing a generic AXIOM memory admission envelope.

AdmissionValidationResult

Result type for admission validation helpers.