Software specification as structured JSON.