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 kgm2I=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