History
The untilt data that defines Joshi's arithmetic holomorphic structures plays no role in the constructions of Mochizuki's IUT papers.
Claim entered the graph
Nothing has happened to this claim yet beyond its creation: no assessments, contributions, or decisions are on record.