List of all items

Structs

• admission::AdmissionSemanticTrustInput
• admission::AdmissionSemanticTrustReport
• admission::AxiomMemoryAdmissionRequest
• admission::DurableAdmissionRefusal
• admission::SourceAnchor
• admission::ToolProvenance
• contradictions::Contradiction
• contradictions::ContradictionRegistry
• decay::DecayJob
• decay::summary::LlmSummaryOperatorAttestationEnvelope
• epistemic::EpistemicState
• epistemic::Usefulness
• lifecycle::AcceptCandidateRequest
• salience::Salience
• trust_exchange::AxiomTrustExchangeAdmissionRequest

Enums

• admission::AdmissionDecision
• admission::AdmissionEnvelopeError
• admission::AdmissionRejectionReason
• admission::AxiomImportClass
• admission::CandidateState
• admission::ContradictionScan
• admission::EvidenceClass
• admission::PhaseContext
• admission::ProofState
• admission::RedactionStatus
• admission::SourceAnchorKind
• contradictions::ContradictionError
• contradictions::ContradictionStatus
• contradictions::ContradictionType
• decay::DecayError
• decay::DecayJobConversionError
• decay::DecayJobKind
• decay::DecayJobState
• decay::SummaryMethod
• decay::compress::AuthorityTier
• epistemic::EpistemicError
• epistemic::ProofStatus
• epistemic::ProofTransitionEvidence
• epistemic::TruthStatus
• epistemic::TruthTransitionEvidence
• epistemic::UtilitySignal
• lifecycle::LifecycleError
• trust_exchange::AdmissionLifecycle
• trust_exchange::ForbiddenUse
• trust_exchange::TrustExchangeAdmission

Functions

• admission::require_admissible_evidence
• admission::require_axiom_origin_is_not_product_spec
• admission::require_candidate_state
• admission::require_contradiction_scan
• admission::require_explicit_non_promotion
• admission::require_phase_context
• admission::require_redaction_status
• admission::require_source_anchors
• admission::require_usable_proof_state
• decay::compress::compress_candidate_memories
• decay::compress::compress_candidate_memories_with_job
• decay::compress::compress_episodes
• decay::compress::compress_episodes_with_job
• decay::runner::run_next_pending_job
• decay::runner::run_next_pending_job_with_attestation
• decay::runner::run_specific_job
• decay::runner::run_specific_job_with_attestation
• decay::summary::canonical_signing_input
• decay::summary::run_llm_summary_job
• decay::summary::run_llm_summary_job_typed
• epistemic::apply_outcome_success
• epistemic::assert_utility_preserved_epistemics
• epistemic::reject_utility_to_proof_transition
• epistemic::reject_utility_to_truth_transition
• lifecycle::accept
• lifecycle::accept_candidate
• lifecycle::validate_candidate_lineage
• salience::brightness
• salience_refresh_stub
• trust_exchange::forbidden_uses_for_candidate

Type Aliases

• admission::AdmissionEnvelopeResult
• admission::AdmissionValidationResult
• contradictions::ContradictionResult
• decay::DecayResult
• epistemic::EpistemicResult
• lifecycle::LifecycleResult

Constants

• SUMMARY_METHOD_NONE_WIRE
• admission::AXIOM_ADMISSION_PROOF_CLOSURE_INVARIANT
• admission::AXIOM_ADMISSION_PROOF_CLOSURE_RULE_ID
• decay::DECAY_COMPRESS_INPUT_INVALID_INVARIANT
• decay::DECAY_COMPRESS_SOURCE_MISSING_INVARIANT
• decay::DECAY_LLM_SUMMARY_ATTESTATION_PURPOSE
• decay::DECAY_LLM_SUMMARY_ATTESTATION_REJECTED_INVARIANT
• decay::DECAY_LLM_SUMMARY_ATTESTATION_SCHEMA_VERSION
• decay::DECAY_LLM_SUMMARY_BACKEND_CALL_FAILED_INVARIANT
• decay::DECAY_LLM_SUMMARY_REQUIRES_OPERATOR_ATTESTATION_INVARIANT
• decay::DECAY_SUMMARY_CLAIM_SEPARATOR
• decay::DECAY_SUMMARY_MAX_CLAIM_BYTES
• decay::DECAY_SUMMARY_TRUNCATION_SUFFIX
• decay::SUMMARY_METHOD_NONE_WIRE
• lifecycle::LIFECYCLE_ACCEPT_PROOF_CLOSURE_INVARIANT