Function check_full_admissibility 

pub fn check_full_admissibility(
    transition: &CandidateTransition,
    capabilities: &[Capability],
    state: &KernelState,
    contract: Option<&dyn ContractEvaluator>,
    barrier: Option<&dyn BarrierEvaluator>,
    c_c_max: f64,
) -> Result<FullAdmissibilityWitness>

Evaluate all five clauses.

c_c_max is the capability contract’s ceiling on a single certified increment. An absent evaluator leaves its clause absent — recorded as missing in the profile, never defaulted to true (Gate K).