{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R1360",
  "content_hash": null,
  "slug": "sl2-f5-triple-trace-fibers-status-20260801",
  "type": "claim",
  "title": "Current status and unresolved remainder",
  "summary": "UNKNOWN as of 2026-08-01. Separating trace sets are studied for matrix tuples, but the exact maximum fiber and its orbit classification for traceless triples over F5 was not located.",
  "relevance": "Fixes the dated literature boundary and identifies the exact statement that remains unresolved.",
  "relevance_source": "recorded",
  "body": "UNKNOWN as of 2026-08-01. Separating trace sets are studied for matrix tuples, but the exact maximum fiber and its orbit classification for traceless triples over F5 was not located.\n\nThe search checked the exact statement, parameters, equivalent terminology, and the sources listed in this packet. Database silence is treated only as bounded status evidence. A complete resolution must satisfy every acceptance condition in the canonical problem.",
  "status": "reported",
  "evidence_grade": "sourced",
  "scope": null,
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "claim",
    "citation": {
      "url": "https://arxiv.org/abs/2202.05717",
      "locator": "The simultaneous-conjugation trace-invariant setting for tuples of 2 by 2 matrices"
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://arxiv.org/abs/2202.05717",
    "locator": "The simultaneous-conjugation trace-invariant setting for tuples of 2 by 2 matrices"
  },
  "relations": [
    {
      "slug": "R1359",
      "title": "Resolve the stated acceptance conditions",
      "object_type": "attempt",
      "relation": "addresses",
      "direction": "incoming"
    },
    {
      "slug": "sl2-f5-triple-trace-fibers",
      "title": "sl2 f5 triple trace fibers",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}