The derivation inversion
Computer science defaults to engineering-first: build a system, abstract its structure afterward. The derivation inversion reverses this — name the forms (constraints) first, derive the instances (implementations) from them.
This is Plato applied to code. Forms are not reached by ascending from instances by abstraction; they are recognized, and the recognition governs what follows.
The claim is strong: every working system is already a shadow of constraints, whether or not anyone has named them. Naming the constraints makes the structure reproducible, portable, and verifiable.
Doc 247 → The Derivation Inversion