The final material-response ledger accepts only a coherent 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
The audit starts as a source map
The final claim is only accepted when every source role is present: stress, strain, Young modulus, bar force, shear, and bulk.
sources=6accepted=1
The audit inventory lists checked source values
These are not new calculations. The table collects values already bound by the earlier stress, modulus, bar, shear, and bulk checks.