Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · section · dd45e0d1

The supplied v4 run and its execution coverage

The supplied v4 run and its execution coverage · lines 1104–1125

XVI-O1-ST@5#rec:v4run

Back to manuscript

The supplied output identifies Python 3.10.21, SymPy 1.14.0, and a Linux platform, and reports eight passing suites and one failure V4Artifacts. The complete short transcript is retained in Appendix app:v4log.

Its reported source digest is

9f661c8f3eb1dc75b580eb756174f4ff5711f172230ae369b17dbf5a2fbb106.

This is a digest printed by the supplied record, not a digest independently recomputed here from authenticated original bytes. No execution date, signed provenance chain, or separately observed process exit code is supplied.

Nearby in this section