Skip to main content

validate_kind_coherence

lean_ctx::core::context_package::verify

Function validate_kind_coherence 

Source 
pub fn validate_kind_coherence(
    manifest: &PackageManifest,
    content: &PackageContent,
) -> Result<(), Vec<String>>
Expand description

Kind ↔ payload coherence (GH #724/#726): the declared kind must match the content payload it ships, so a mislabeled package can never route into the wrong trust chain (an “addon” without an addon manifest, or a context pack smuggling one in).