Generated JS codecs for the workspace's typed records. Doctrine — "Generated and Hand-Written Live Apart": this module's src/main/resources is empty; all served JS is produced by WorkspaceCodecGen.main() into target/classes during the generate-resources phase via the Maven exec plugin. The manifest of records-to-be-codeced is declared in WorkspaceStateCodecsManifest as a typed List of ObjectDefinition<?> instances. The Java DomModule ...