An alpha-ledger audit traces every torque, inertia, and angular acceleration value back to a named, checked source, so no entry enters the rotation ledger without a citation. The bookkeeping is exact only for the stated inputs and their cited origins in the ideal rigid-body model. Real systems add axis choice, distributed mass, friction, flexing, bearing losses, calibration, and measurement/source uncertainty that blur the audit.

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=6 kg m2I=6\ \mathrm{kg\,m^2}
Angular accelerationTorque divided by inertia sets alpha.r=3 mF=4 Nr=1 mr=3 mF=4 Ntau=12 N*mm=6 kgr=1 mI=6 kg*m^2alpha=2 1/s^2

The angular-acceleration source references are explicit

The alpha ledger stores 2 source references: torque and inertia.

2 source refs2\ \text{source\ refs}
Angular accelerationTorque divided by inertia sets alpha.r=3 mF=4 Nr=1 mr=3 mF=4 Ntau=12 N*mm=6 kgr=1 mI=6 kg*m^2alpha=2 1/s^2