Integer training weights are explicit source data. 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 weights are explicit source data

This training ledger does not evaluate an exponential model.

weight origin=explicit integer weights\hbox{weight origin}=\hbox{explicit integer weights}
Explicit weights onlyForbidden weight-origin wording fails validation.states=s0:0J,w=4|s1:2J,w=2|s2:4J,w=1zTotal=7probabilities=s0:4/7=4/7|s1:2/7=2/7|s2:1/7=1/7energyNumerator=8 JaverageEnergy=8/7 JweightOrigin=explicit integer weights

No hidden temperature claim is made

The source says explicit integer weights and nothing stronger.

source slot=1 accepted label\hbox{source slot}=\hbox{1\ accepted label}
No hidden originThe origin label is screened for forbidden terms.states=s0:0J,w=4|s1:2J,w=2|s2:4J,w=1zTotal=7probabilities=s0:4/7=4/7|s1:2/7=2/7|s2:1/7=1/7energyNumerator=8 JaverageEnergy=8/7 JweightOrigin=explicit integer weights