{
  "schema": "TGA_RELEASE/2.1",
  "version": "2.1",
  "date": "2026-10-01",
  "classified_as": "supplementary work",
  "relationship_count_source": "graph.edges length in graph-report.json",
  "preserves": "TGA 2.0 published files and hashes",
  "not": [
    "source paper",
    "general theorem prover",
    "replacement of TGA 2.0"
  ],
  "members": [
    {
      "name": "README.md",
      "bytes": 2665,
      "sha256": "edc8f92690374f31f559906547813128657d0f061cb2d1ec12ec7b2901f5084d"
    },
    {
      "name": "PROOFS.md",
      "bytes": 11254,
      "sha256": "4bc254209196467c570f40ea42d080d2a728b2dd17ccc91bb88a70e449ea05f4"
    },
    {
      "name": "PROOFS.html",
      "bytes": 13190,
      "sha256": "43a71508317c20c25d6f088e78f74947dd25542398de391137b9bd4941f504ae"
    },
    {
      "name": "demo.txt",
      "bytes": 203,
      "sha256": "2bb973b3bcd048b9e4c18a60c72a76e6e808a08785b146215a053dfeefa20c43"
    },
    {
      "name": "execution.json",
      "bytes": 1181,
      "sha256": "7529d3acf004a2cc727ddd333fd2dd39141eabec5f2ca88ef9d8879281e39221"
    },
    {
      "name": "graph-report.json",
      "bytes": 120032,
      "sha256": "c120c9eafbcdea4a253ee9a3bf3a1e9fdfa5703f9ceea6f9ecf19099c4264226"
    },
    {
      "name": "test_tga.py",
      "bytes": 15292,
      "sha256": "2a07664523416e776717c6fd245c2568f8e92b967a159fd4583f3cf31da525c3"
    },
    {
      "name": "tests-normal.txt",
      "bytes": 1118,
      "sha256": "d6b85cd087bcc804d9f7cd57bc2cb52b89b53ae984e4bbeb5967947b0a127d61"
    },
    {
      "name": "tests-optimized.txt",
      "bytes": 1118,
      "sha256": "d6b85cd087bcc804d9f7cd57bc2cb52b89b53ae984e4bbeb5967947b0a127d61"
    },
    {
      "name": "tga_verifier.py",
      "bytes": 56183,
      "sha256": "4e303e8b07a813a5ef319359870a30c6e2d20ecef11f47fc871a6468f7e68efb"
    }
  ]
}