{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R1155",
  "content_hash": null,
  "slug": "sts15-pasch-switch-graph-attempt-resolution-route",
  "type": "attempt",
  "title": "Resolve the stated acceptance condition",
  "summary": "Provide canonical representatives for all 80 classes, replay every Pasch-switch adjacency, list the connected components, and certify each reported diameter with paths and matching distance lower bounds.",
  "relevance": "For Components of the Pasch-switch graph on STS(15) classes, record sts15-pasch-switch-graph-attempt-resolution-route (“Resolve the stated acceptance condition”) documents a concrete method, search boundary, or failed route. The record states: Provide canonical representatives for all 80 classes, replay every Pasch-switch adjacency, list the connected components, and certify each reported diameter with paths and matching distance lower bounds.",
  "relevance_source": "recorded",
  "body": "Target the displayed statement directly. Provide canonical representatives for all 80 classes, replay every Pasch-switch adjacency, list the connected components, and certify each reported diameter with paths and matching distance lower bounds. Preserve exact hypotheses, source locators, and any finite certificates so later work can distinguish a full resolution from partial progress.",
  "status": "open_strategy",
  "evidence_grade": "self_reported",
  "scope": null,
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "attempt",
    "citation": {
      "url": "https://doi.org/10.1073/pnas.3.3.197",
      "locator": "Editorial research route recorded 2026-07-31"
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://doi.org/10.1073/pnas.3.3.197",
    "locator": "Editorial research route recorded 2026-07-31"
  },
  "relations": [
    {
      "slug": "R1156",
      "title": "Current status and unresolved remainder",
      "object_type": "claim",
      "relation": "addresses",
      "direction": "outgoing"
    },
    {
      "slug": "sts15-pasch-switch-graph",
      "title": "sts15 pasch switch graph",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}