file-generation

Generate new files based on spec, following existing patterns, with invariant guards