1. Concatenate the generated `.gnd` snippets in logical order (`load-inputs`, `compute-checksum`, `format-result`, `main`). 2. Run a static validator (regex or parser) to check: * single-assignment, valid opcodes, balanced `_` flow, ends with `exit`. 3. If validation fails, send the offending snippet back to Stage 5 with an error message and ask for correction.