The published bundle format, and how anyone re-derives what a bundle's facts imply under the rules it pinned.