nlspec of StrongDM's Attractor, a non-interactive Coding Agent sufficient for use in a Software Factory