Mathematical Research Institute
Audit methodology
Each folio is constructed by the same procedure. The Institute does not invent terminology; it tags every claim by its epistemic kind so that direct observation, framework postulate, and residual cannot be conflated.
Primary sources are quoted in their publication language. Every quoted claim is given one of seven tags: direct observation, laboratory transfer, framework postulate, residual, theorem, extrapolation, or a closing-statement category for synthesis. The taxonomy is part of the audit, not decoration; it lets the reader see at a glance which claims are observed, which are assumed, and which are defined into existence by the chosen framework.
Where a claim is framework-conditional, the conditioning is stated. Where the supporting observation is absent, that absence is recorded as such. The Institute does not rewrite established physics; it reads the physics carefully and records what it actually says.