2.9. Consistency🔗

The consistency model lives in the library, in Apodictic.Consistency, by the human's decision that a ledger kept in prose would defeat the purpose. It was built the evening the over-quantified swap dominance was refuted, to show the fixed axiom survives asymmetry. What it shows and does not show is stated in the result part. The toy was extended on 2026-09-05 to the sub-stock plan: it is homogeneous, one-unit steps exist, and each step has a marginal end, so the law's conclusion is a non-trivial preference in it. What remains open is the transfer from the frame vocabulary to the World axioms, which is a reading, not a check.