Theorem of Delegation
Theorem T1
Delegation is the core skill: verbalize → delegate → validate. Any engineering task whose success criteria can be verbalized can be delegated to AI. Validation — knowing when AI fails and compensating — is the irreducible human contribution.
Implication
The unit of engineering work shifts from "writing code that solves a problem" to "specifying a problem precisely enough that it can be delegated, then validating the result." Specification quality determines delegation depth. Tasks that resist verbalization become the irreducible human work.
Full proof and discussion
A complete derivation — including proof sketch, worked examples, edge cases, and references to supporting research — is in progress. This page will be expanded as the theory matures.
In the meantime, the statement and implication above are the compressed form; they are sufficient to derive the main methodological consequences worked out in RACE Programming.