DispatchEcosystemAugust 18, 2026

A research diary makes the collaboration inspectable

Haruhisa Enomoto accompanies a new representation-theory preprint with an essay about the work behind it. The preprint proposes an equidistribution conjecture for quotient-closed and submodule-closed subcategories, proves several cases and links a full Lean 4 formalization. Its record also names Fable 5 and GPT-5.6 Sol as collaborators. The essay documents the work unusually well. The conjecture and the individual contributions still need independent review.