A dynamics audit traces every iteration point, branch verdict, and parameter value back to a named source, so no entry enters the ledger without a citation. The bookkeeping is exact only for the stated map rule, iteration points, parameters, and their cited origins in the ideal discrete-map model. Real systems add continuous dynamics, noise, unmodeled feedback, finite sampling, parameter uncertainty, and source-traceability limits that blur the audit.
The capstone audit is role-only and source-ref checked. 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 names sources, not copied numbers
The final audit cites iteration, fixed-point, stability, period, snapshot, and cobweb sources.
sources cited
The accepted bit closes only if the sources close
The audit is accepted only after every cited source is checked.