Paper XII project sources and release notes: Komorebi P., 2026.
No new redistribution license is assigned to the original manuscript here.
Mathlib dependencies are governed by the Apache 2.0 license in MATHLIB_LICENSE.
