Recorded diagnostic source listing

The following is the version-1 source content associated with the reported execution. Its historical docstring describes its status when originally supplied; Section sec:numerics gives the updated reported execution status.

The reported hash applies to the extracted file used by the execution environment. It has not been recomputed from a new extraction, whose whitespace or line endings could differ. To rerun, extract the listing as hawk02b_diagnostics.py and use a new output directory.