A spec-driven development harness for coding agents: instruction layering, a documentati…