Doppler and Audit

Ultrasound Audit Cites Every Source

The final ultrasound report is accepted only by cited source checks. 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 cites each source ledger

Depth 12 meters, reflection ratio 1 over 2, resolution limit 4 meters, and shift 4 hertz are all source-bound.

12 m,R=12,Δd=4 m,Δf=4 Hz12\ \text{m},\quad R=\frac{1}{2},\quad \Delta d=4\ \text{m},\quad \Delta f=4\ \text{Hz}
Ultrasound audit sourcesHidden source diagrams remain validated while the audit labels stay readable.depth sourceecho acceptedinterface sourceresolution sourcedoppler sourceaccepted

The accepted bit requires every source gate

The final report is accepted only because the range gate is active, the resolution gate passes, and every cited value matches its source.

accepted=1\text{accepted}=1
Accepted ultrasound ledgerThe audit check rejects missing or stale source refs.depth sourceecho acceptedinterface sourceresolution sourcedoppler sourceaccepted