Module verify 

Standalone package verification (spec §8 integrity, §9 signing).

lean-ctx pack verify and the import path share these primitives. All hashing operates on the document text of the content member — never on re-serialized parsed values, which would be lossy across languages (a writer’s 1.0 re-serializes as 1 in JavaScript and breaks the hash).

Structs

VerifyReport

Per-check verification report, mirroring the checks every conforming reader runs (and the shape of the @ctxpkg/verify reference output).

Enums

CheckOutcome

Outcome of one verification check.

Functions

validate_kind_coherence

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).

verify_package_file

Read and verify a .ctxpkg file (size- and extension-gated like import).

verify_package_text

Verify a .ctxpkg document without installing anything.