{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R327",
  "content_hash": null,
  "slug": "gmstg8-artifact-connected-graph-corpus",
  "type": "artifact",
  "title": "Isomorph-free connected graph corpus manifest",
  "summary": "nauty geng 2.6r6 produced 11,117 graph6 records, matching the official nauty data table.",
  "relevance": "For Largest subtour-LP gap among eight-vertex graph metrics, record gmstg8-artifact-connected-graph-corpus (“Isomorph-free connected graph corpus manifest”) supplies evidence or a replay used to check the packet. The record states: nauty geng 2.6r6 produced 11,117 graph6 records, matching the official nauty data table.",
  "relevance_source": "recorded",
  "body": "Running `geng -cq 8` with nauty 2.6r6 produced 11,117 newline-terminated graph6 records. The resulting file has SHA-256 digest `37010dfb9ca35c86bcbfd488c3e4cadcb3e918dc8c6acebd81ea966e79c35a84`. Brendan McKay's official graph-data page independently lists 11,117 connected isomorphism classes on eight vertices.\n\nThis manifest fixes the finite input to the eventual universal sweep. The digest is version-and-order specific. A sweep using a newer nauty release may order the same isomorphism classes differently, so it should also verify the class count and canonicalize each reported maximizer.",
  "status": "available",
  "evidence_grade": "executable",
  "scope": {
    "kind": "bounded",
    "statement": "one graph6 representative of every connected simple graph isomorphism class on eight vertices",
    "bounds": {
      "vertices": {
        "min": 8,
        "max": 8
      },
      "graph6_records": {
        "min": 11117,
        "max": 11117
      }
    },
    "exhaustive": true
  },
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "partial",
    "kind": "external_command_manifest",
    "entrypoint": "Run `geng -cq 8 > connected8.g6`, then count newline-terminated records and hash the file",
    "runtime": "nauty 2.6r6 and a SHA-256 utility",
    "citation": {
      "url": "https://users.cecs.anu.edu.au/~bdm/data/graphs.html",
      "locator": "Brendan McKay, Combinatorial Data, Simple graphs table; locally reproduced with nauty geng 2.6r6 on 2026-07-25"
    },
    "missing": [
      "source",
      "command",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://users.cecs.anu.edu.au/~bdm/data/graphs.html",
    "locator": "Brendan McKay, Combinatorial Data, Simple graphs table; locally reproduced with nauty geng 2.6r6 on 2026-07-25"
  },
  "models": [],
  "relations": [
    {
      "slug": "R329",
      "title": "Exact isomorph-free sweep remains to be run",
      "object_type": "attempt",
      "relation": "supports",
      "direction": "outgoing"
    },
    {
      "slug": "R331",
      "title": "The certified interval is 1 to slightly below 3/2",
      "object_type": "claim",
      "relation": "informs",
      "direction": "outgoing"
    },
    {
      "slug": "graph-metric-subtour-gap-eight",
      "title": "graph metric subtour gap eight",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}