Manuscript Hawk02-C@2 · Hawk02-C.tex · section · bb332d66
Recorded version-1 diagnostic source
Recorded version-1 diagnostic source · lines 2594–2611
The following preserves the version-1 source associated with
the supplied execution record.
Its original “unexecuted” docstring is historical.
The reported hash belongs to the extracted file used by the
execution environment, not to this revised .tex file.
A fresh extraction can differ in whitespace or line endings;
its hash has not been recomputed here.
The script's defaults are the reported configuration. It does not implement the stable packet formula or certified floating-point error bounds added analytically in this revision. Those repairs are not claimed as executed modifications.
To repeat the historical diagnostic, extract it as
hawk02c_diagnostics.py and use a new output directory.