At 41:50 someone asks is code a disposable build artifact?
...
Makes me think of spec-driven development - SDD and the ephemeral software hypothesis
At 42:20 all of the context that we provide are essentially constraints and optimization passes about which code is acceptable to be included. Pretty similar to the static analysis and optimization passes in project -llvm