Internal - updates docs/project_context/prod_spec/ and its graph.md after implementation. Run in the main session, never as a subagent.