Module claims 

Claim ceilings and reportability metadata.

Cortex must distinguish local development mechanics from signed, externally anchored, or authority-grade claims. This module provides the small lattice used by higher layers to downgrade mixed evidence to the weakest truthful claim.

Structs

ReportableClaim

Metadata for a claim that may be shown, exported, or used as authority.

Enums

AuthorityClass

Authority class of the evidence supporting a claim.

ClaimCeiling

Maximum truthful reporting level for a claim.

ClaimProofState

Proof state as it participates in claim reporting.

RuntimeMode

Runtime mode that bounds what Cortex may truthfully claim.

Functions

effective_ceiling

Compute the effective ceiling for the supplied signals.

mix_authority_to_weakest

Compute the weakest authority class for mixed evidence.

mix_claims_to_weakest

Compute the weakest claim ceiling for mixed evidence.

mix_reportable_claims_to_weakest

Compute the weakest effective ceiling across reportable claims.