Manuscript Em03-H@8 · Em03-H-v8.tex · section · 91e9e3bd

Journaled inspection and candidate computation software

Journaled inspection and candidate computation software · lines 2099–2124

Back to manuscript

Extract this listing as 03h_v8_tools.py. It is a new, unexecuted v8 artifact.

python em03h_v8_tools.py inspect-p8 \ –archive P8-new –out P8-v8-inspection

python em03h_v8_tools.py candidate \ –meshes 256 512 –out candidate-v8

python em03h_v8_tools.py inspect-candidate \ –archive candidate-v8 –out candidate-v8-inspection

The inspector checks archive hashes, frozen metadata, complete units, both complementary and accessible endpoints, and the exact JSON/NPZ node correspondence. Its floating-point checks are inspection tests, not rigorous enclosures.

For candidate runs, final spectral states and quadrature data are saved. Candidate inspection recomputes the saved solver constructions; this is replay consistency, not an independent continuum proof.

Nearby in this section