Function validate_effective 

pub fn validate_effective<'a, V: Verify<E>, W: Watch, R: Recognizer<E>, E: Work>(
    chain: &[&'a Certificate<'a>],
    effective: EffectiveAnchor<'a>,
    context: &ValidationContext<'a, '_, V, W, R, E>,
) -> BuildResult<Validation<'a>, V::Error, R::Error>

Check the supplied local path with an explicitly bound effective anchor key. This shares every static check with validate, including the local anchor certificate’s name constraints. It does not resume constraints or policy state inherited from a previously validated ancestor path. For original-root validation, pass that complete path and its original anchor instead.