Skip to main content

self_verification_failure

logicaffeine_cli::interface::lean::pipeline

Function self_verification_failure 

Source 
pub fn self_verification_failure(
    stage: &'static str,
    verdict: &Verdict,
) -> Diagnostic
Expand description

A refusal of LOGOS’s own artifact — emission, packaging, replay — once every check of the user’s input passed. Unsupported capabilities, budgets and environment failures keep their codes; any other refusal (a rejection, a malformed or ill-typed artifact of our own making) is an InternalInconsistency: the fault is ours, and it is never reported as the user’s mathematics being wrong.