pub struct Verdict {
pub valid: bool,
pub confidence: Confidence,
pub paradigms_evaluated: ParadigmSet,
pub trace: LogicTrace,
pub cross_validation: CrossValidation,
pub formal_notation: String,
pub citations: Vec<Citation>,
}Expand description
The outcome of a complete governance evaluation.
This is the output of the Figure 26 pipeline.
Fields§
§valid: boolWhether the evaluated expression is valid / permitted / satisfied.
confidence: ConfidenceOverall confidence score [0.0, 1.0].
Derived from the agreement ratio across paradigm engines: 1.0 = all active engines agree 0.5 = split across paradigms 0.0 = complete disagreement (paraconsistent scenario)
paradigms_evaluated: ParadigmSetWhich paradigms were active and evaluated.
trace: LogicTraceThe full audit trail — every routing and evaluation decision.
cross_validation: CrossValidationCross-validation result from the meta-engine.
formal_notation: StringFormal notation of the evaluated expression (Unicode logic symbols).
citations: Vec<Citation>Policy citations — the authoritative sources that justify the verdict.
Implementations§
Source§impl Verdict
impl Verdict
Sourcepub fn deny_immediate(reason: &'static str) -> Self
pub fn deny_immediate(reason: &'static str) -> Self
Construct a fast-path denial with minimal tracing. Used for hard-coded prohibitions (e.g., in the BIOS access-control path).
Sourcepub fn permit_immediate(reason: &'static str) -> Self
pub fn permit_immediate(reason: &'static str) -> Self
Construct a fast-path permit.