pub const PACKAGE_SCHEMA: &str = "logos-lean-package/1";
The schema of a package whose proof is the export’s own, checked as exported.