The final x-ray claim accepts only when each upstream ledger is cited. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

Every accepted claim names its source

The audit cites reflection, map, ratio, and absence checks before it accepts.

reflection+map+ratio+absence\text{reflection}+\text{map}+\text{ratio}+\text{absence}
X-ray crystallography auditReflection, map, ratio, and absence checks close one x-ray evidence claim.accepted=1

The closed audit accepts

The final accepted bit is 1. This is arithmetic honesty in a toy model, not structure refinement.

accepted=1\text{accepted}=1
X-ray crystallography auditReflection, map, ratio, and absence checks close one x-ray evidence claim.accepted=1