pub const TRUSTED_BASE: [&'static str; 8];Expand description
The trusted computing base shared by the checks a package’s receipt names. Two checkers that share this much are two implementations of typing, not two independent theorem provers, and the manifest says so in every package.