The final surface ledger accepts only a coherent source-bound 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

Each source role is present before the accepted bit is trusted. A missing or cloned source would fail the check.

sources=5accepted=1\text{sources}=5\qquad \text{accepted}=1
Surface audit source mapThe audit diagram exposes source roles before values.lengthforcearearadiuspressureradiusheightprojected forceline force sourceenergy sourcecurvature sourcecapillary sourceprojection sourceaccepted

Every source contributes one checked value

The audit is not a new formula. It is a compact inventory of values that already came from earlier checked ledgers.

ledgervaluesourceline24 Nboundenergy24 Jboundpressure4 Paboundcapillary20 Paboundprojected12 Nbound\begin{array}{c|c|c}\text{ledger}&\text{value}&\text{source}\\\text{line}&24\ \text{N}&\text{bound}\\\text{energy}&24\ \text{J}&\text{bound}\\\text{pressure}&4\ \text{Pa}&\text{bound}\\\text{capillary}&20\ \text{Pa}&\text{bound}\\\text{projected}&12\ \text{N}&\text{bound}\\\end{array}

The accepted surface claim cites every source

The capstone accepts only one coherent chain of line force, energy, curvature, capillary balance, and projected force.

line=24 N;energy=24 J;ΔP=4 Pa;projected=12 N\text{line}=24\ \text{N};\quad\text{energy}=24\ \text{J};\quad\Delta P=4\ \text{Pa};\quad\text{projected}=12\ \text{N}
Surface source auditThe audit diagram exposes only source roles.lengthforcearearadiuspressureradiusheightprojected forceline force sourceenergy sourcecurvature sourcecapillary sourceprojection sourceaccepted