{
	"lexicon": 1,
	"id": "com.fedfork.agents.shutdownAgent",
	"defs": {
		"main": {
			"type": "procedure",
			"description": "Shut an agent down by its launch rkey: revoke its atirc token, release its VM, wait for vm.terminated, delete the market round's records, then delete (delete: true) or mark stopped the launch record.",
			"input": {
				"encoding": "application/json",
				"schema": {
					"type": "object",
					"required": ["rkey"],
					"properties": {
						"rkey": { "type": "string", "description": "The launch id launchAgent returned." },
						"delete": { "type": "boolean", "description": "Also delete the launch record." }
					}
				}
			},
			"output": {
				"encoding": "application/json",
				"schema": {
					"type": "object",
					"required": ["rkey", "status"],
					"properties": {
						"rkey": { "type": "string" },
						"uri": { "type": "string", "format": "at-uri" },
						"status": { "type": "string", "knownValues": ["stopped", "failed"] },
						"subhandle": { "type": "string" },
						"revoked": { "type": "boolean" },
						"release": { "type": "unknown" },
						"terminated": { "type": "boolean" },
						"deleted": { "type": "array", "items": { "type": "string", "format": "at-uri" } },
						"errors": { "type": "array", "items": { "type": "string" } }
					}
				}
			},
			"errors": [{ "name": "InvalidRequest" }, { "name": "AuthenticationRequired" }, { "name": "Forbidden", "description": "The rkey belongs to another caller." }]
		}
	}
}