{
  "schema": "TGA_EXECUTION_RECORD/1",
  "record_created_at_utc": "2026-10-01T12:54:41.234993+00:00",
  "python": "3.10.21",
  "implementation": "CPython",
  "source_sha256": "4e303e8b07a813a5ef319359870a30c6e2d20ecef11f47fc871a6468f7e68efb",
  "records": [
    {
      "command": "python3 -m unittest -v test_tga",
      "exit_status": 0,
      "combined_output": "tests-normal.txt",
      "sha256": "d6b85cd087bcc804d9f7cd57bc2cb52b89b53ae984e4bbeb5967947b0a127d61",
      "tests": 16
    },
    {
      "command": "python3 -O -m unittest -v test_tga",
      "exit_status": 0,
      "combined_output": "tests-optimized.txt",
      "sha256": "d6b85cd087bcc804d9f7cd57bc2cb52b89b53ae984e4bbeb5967947b0a127d61",
      "tests": 16
    },
    {
      "command": "python3 tga_verifier.py --report graph-report.json",
      "exit_status": 0,
      "output_sha256": "c120c9eafbcdea4a253ee9a3bf3a1e9fdfa5703f9ceea6f9ecf19099c4264226"
    }
  ],
  "scope": "This-archive supplementary tests. Exact schema checks, trusted analytic derivations, and binary64 comparisons are separate. TGA 2.0 bytes were not rewritten. Not a website deployment by itself and not a general theorem prover."
}