Paper record
Statistical Mechanics and the Boltzmann Equation from Categorical Coarse-Graining
Separates finite coarse-graining checks from imported kinetic-limit theorems.
Scope marker
Artifact availability is reported separately from scientific claim status. Use the claim and assumption registers for the exact current state.
Evidence layers
Paper, source, code, review
Each link opens a repository-derived artifact. A review record checks scope; it does not convert an open claim into a proof.
Shared foundation, separate branches
Ctx → Rep ⇉ {Geometry, Quantum, Kinetics}
This notation is a navigation aid. It is not a claim that one joint physical model realizes all three branches.