group-theoretic-irreducibility-equivalence

Summary

This confirms that the paper's way of defining when a task's structure can be decomposed into independent sub-parts is mathematically the same as the classic, well-established notion of irreducibility in group theory. It matters because the system can now lean on the full body of standard theorems and results from representation theory when reasoning about these tasks, rather than needing a separate, ad-hoc framework for each one.