formal registration · pending
Artifact ↗Source authenticated
Stability Radius of the Lamplighter Group
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope.
Exact FrontierDelta
proved→proved
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-co-developed. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: Stability Radius of the Lamplighter Group · Lamplighter stability
Confidence: Not scored
Registry verification: lean checked · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
ChatGPT 5.5
model · ai model contributor · OpenAI / Harmonic
Aristotle
model · ai model contributor · OpenAI / Harmonic
Alon Dogon
human · human collaborator
Thomas Vidick
human · human collaborator
Artifacts and verifiers
lean artifact · pending
Artifact ↗Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects Stability Radius of the Lamplighter Group →
Supersedes Stability Radius of the Lamplighter Group →
This event attributed to ChatGPT 5.5
This event attributed to Thomas Vidick
Dogon et al 2024, Question 12.10: Problem statement evidence for this event
VibeMathed record: Stability Radius of the Lamplighter Group evidence for this event
Stability Radius of the Lamplighter Group evidence for this event
Stability Radius of the Lamplighter Group parent of this event
This event attributed to Aristotle
Github repo of the proof evidence for this event
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope. parent of this event
GitHub repo of the statement in Lean evidence for this event
This event attributed to Alon Dogon
Act on this frontier