Problem packetResearch packetR1360
Current status and unresolved remainder
Link to a section
The record cites sources for its explanation.
Recorded status: reported
Recorded scope: No scope is recorded.
Originating problem: Trace-indistinguishable triples in sl2(F5)
Authored record and scope
- Authored title
- Current status and unresolved remainder
- Record type
- claim
- Stored status
- reported
- Evidence grade
- sourced
2Authored explanation
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.
The 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.
Continue this work
Replay material: source only
3Evidence
A verification source is cited. This record has no executable replay attached.
Verification source: arxiv.org ↗, The simultaneous-conjugation trace-invariant setting for tuples of 2 by 2 matrices
4How it connects
Addressed by
- attempt
Recorded for
- problem
Cite this record
Cite the original sources separately.
Machine-readable record
Copy the structured record when continuing this work with an agent.
{
"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": "For sl2 f5 triple trace fibers, pins the dated research frontier: 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_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"
},
"models": [],
"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"
}
]
}6Provenance
View source, identifiers, and projection details
A statement this project treats as settled at the recorded evidence grade, with the work that backs it.