Ledger Necessity & Uniqueness
Statement: Any recognition structure satisfying MP + Composability + Finiteness admits a unique (up to order‑isomorphism) positive, double‑entry ledger with an immutable generator.
Sketch: Construct the ordered abelian ledger via Grothendieck completion; conservation by telescoping; uniqueness by the universal property.
Implication: A single ordered “book” underlies all dynamics and measurements.