A shared gamma claim must be source identity, not same-valued text. 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 line ledger owns the gamma source
The energy ledger may reuse gamma only by pointing to this source identity, not by copying the same number.
γline=3N/mF=12N
Shared values are listed with their bound source
The table is deliberately a source ledger. It keeps value and source identity visible at the same time.