The acceleration claim is part of a typed source chain. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Later ledgers can reuse the same inertia source
The source ledger keeps inertia 6 tied to the same checked point-mass recipe used for alpha.
I=6kgm2
The angular-acceleration source references are explicit
The alpha ledger stores 2 source references: torque and inertia.