Transition Table · Class browser · Public mirror

Transition Table Classes

Desktop renders a full class table. Mobile renders each transition as a color-coded expandable tile. The data is mirrored from formalism-tests and does not originate authority here.

Boundary: this page renders transition class data. It does not generate receipts and does not replace the proof authority.

Filters

Transition class surface

Level Transition ID Name Family Theorem Role Coupling Decision Element Basis