STUB: Specifies code generation. Covers how each pool’s source is assembled from templates, how records and other user types are emitted as native type definitions in each language, how intrinsics are implemented, and how the manifest is emitted. States the properties generated code must have regardless of the target language.