IMM Proofs Volume — Open Series Companion (v0.2): The Theorem-Grade Core of the IMM Corpus at Claim Ledger Discipline
Abstract
The theorem-grade core of the Information Manifold Model corpus, extracted at Claim Ledger discipline: exactly the T-grade rows, in three tiers (unconditional theorems; theorems under labeled hypotheses; theorems by exhaustive finite enumeration with committed certificates). 42 entries, script-counted from a committed manifest (25/10/7). The volume is an index with certificates, not a re-derivation: statements are quoted at ledger grade with provenance, and full text appears only for the Paper 13 repair block staged in the companion patches document. Front matter states what the volume does NOT contain: no proof of the Riemann Hypothesis and no claim bearing on its truth, no unconditional Born rule, no signature selection, no market edge. Draft v0.2 for the author's review.
// Source
Authors: Travis Bergen