Manuscript XVI-K@1 · XVI-K.tex · section · aa7553bb

Unchanged supplied files

Computational artifacts and the scope of their verification › Unchanged supplied files · lines 1977–1997

Back to manuscript

The following supplied artifacts are retained unchanged:

  • hessian_full.py;

  • xvi_common.py;

  • recompute_K_dual.py;

  • hessian_full_out.txt.

The full Hessian script imports the shared routines from xvi_common.py in the same directory. The separate recompute_K_dual.py records the constant-slot calculation from which those shared routines were extracted.

No local absolute path is required by this manuscript. The TeX compiles without reading any Python file or output file. The script and supplied log are supplementary computational evidence, not premises of the attachment and continuity theorems.