Record verification

Clean inputs, documented outputs.

Nothing is assembled before the target is described in writing. Values that look plausible but cannot be sourced are dropped. Nothing in the file is there to reach a total.

If this needs to pass someone else's review, tell us whose.