{"openapi":"3.1.1","info":{"title":"Prooftask Public Discovery","version":"1.1.0","description":"Public versioned specifications and explicitly approved result summaries. No account, private result or original-material discovery. Publication signatures cover the public summary only. Execution uses the separately authenticated Agent API."},"servers":[{"url":"https://prooftask.com"}],"security":[],"externalDocs":{"url":"https://prooftask.com/developers"},"x-execution-contract":"https://prooftask.com/api/agents/v1/openapi.json","paths":{"/api/discover":{"get":{"operationId":"discoverSpecifications","summary":"Find public specifications using any supported language","security":[],"parameters":[{"name":"q","in":"query","schema":{"type":"string","maxLength":200}},{"name":"industry","in":"query","schema":{"type":"string","maxLength":80}}],"responses":{"200":{"description":"Public data only","content":{"application/json":{"schema":{"type":"object","required":["specifications"],"properties":{"specifications":{"type":"array","items":{"$ref":"#/components/schemas/Specification"}}}}}}},"400":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}},"404":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}},"409":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}}}}},"/api/public/specifications":{"get":{"operationId":"searchSpecifications","summary":"Search the public specification catalog","security":[],"parameters":[{"name":"q","in":"query","schema":{"type":"string","maxLength":200}},{"name":"industry","in":"query","schema":{"type":"string","maxLength":80}}],"responses":{"200":{"description":"Public data only","content":{"application/json":{"schema":{"type":"object","required":["items"],"properties":{"items":{"type":"array","items":{"$ref":"#/components/schemas/Specification"}}}}}}},"400":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}},"404":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}},"409":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}}}}},"/api/public/specifications/{id}":{"get":{"operationId":"getSpecification","summary":"Read a pinned public specification","security":[],"parameters":[{"name":"id","in":"path","required":true,"schema":{"type":"string"}},{"name":"version","in":"query","description":"Omit for the current version; pin the returned version and digest for reuse.","schema":{"type":"integer","minimum":1}}],"responses":{"200":{"description":"Public data only","content":{"application/json":{"schema":{"$ref":"#/components/schemas/Specification"}}}},"400":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}},"404":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}},"409":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}}}}},"/api/public/specifications/{id}/use":{"post":{"operationId":"renderSpecification","summary":"Render variables into an editable draft; creates no agreement","security":[],"parameters":[{"name":"id","in":"path","required":true,"schema":{"type":"string"}}],"responses":{"200":{"description":"Public data only","content":{"application/json":{"schema":{"type":"object"}}}},"400":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}},"404":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}},"409":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}}},"requestBody":{"required":true,"content":{"application/json":{"schema":{"type":"object","additionalProperties":false,"required":["version","digest","values"],"properties":{"locale":{"type":"string","enum":["en","zh-CN","ja","ko","ar"],"default":"en","description":"Language of a new editable draft; the source version and digest remain unchanged."},"version":{"type":"integer","minimum":1},"digest":{"type":"string","pattern":"^[a-f0-9]{64}$"},"values":{"type":"object","maxProperties":20,"additionalProperties":{"type":"string","maxLength":2000}}}}}}}}},"/api/public/specifications/{id}/prepare":{"post":{"operationId":"prepareSpecificationBinding","summary":"Bind the exact template snapshot to reviewed work; records no consent","security":[],"parameters":[{"name":"id","in":"path","required":true,"schema":{"type":"string"}}],"responses":{"200":{"description":"Public data only","content":{"application/json":{"schema":{"type":"object"}}}},"400":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}},"404":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}},"409":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}}},"requestBody":{"required":true,"content":{"application/json":{"schema":{"type":"object","additionalProperties":false,"required":["version","digest","values","work"],"properties":{"version":{"type":"integer","minimum":1},"digest":{"type":"string","pattern":"^[a-f0-9]{64}$"},"values":{"type":"object","maxProperties":20,"additionalProperties":{"type":"string","maxLength":2000}},"work":{"type":"object","required":["title","scope","criteria"],"properties":{"title":{"type":"string"},"scope":{"type":"string"},"criteria":{"type":"array","minItems":1,"maxItems":20,"items":{"$ref":"#/components/schemas/Criterion"}}}}}}}}}}},"/api/public/results":{"get":{"operationId":"listPublicResults","summary":"Page through live two-party-approved summaries, newest first. Recheck each page; withdrawals disappear and new publications appear from the first page.","security":[],"parameters":[{"name":"after","in":"query","schema":{"type":"string","maxLength":256}},{"name":"limit","in":"query","schema":{"type":"integer","minimum":1,"maximum":100,"default":100}}],"responses":{"200":{"description":"Public data only","content":{"application/json":{"schema":{"type":"object","required":["items","next"],"properties":{"items":{"type":"array","maxItems":100,"items":{"type":"object"}},"next":{"type":["string","null"],"description":"Opaque next-page cursor; null ends this traversal."}}}}}},"400":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}},"404":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}},"409":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}}}}},"/api/public/results/{id}":{"get":{"operationId":"getPublicResult","summary":"Read a signed public summary; original verification is separate","security":[],"parameters":[{"name":"id","in":"path","required":true,"schema":{"type":"string"}}],"responses":{"200":{"description":"Public data only","content":{"application/json":{"schema":{"type":"object","required":["id","projection","projectionDigest","statement","verification","statusAsOf"]}}}},"400":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}},"404":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}},"409":{"description":"Unavailable resource, invalid input or changed publication","content":{"application/json":{"schema":{"type":"object","required":["error"],"properties":{"error":{"type":"string"}}}}}}}}}},"components":{"schemas":{"Criterion":{"type":"object","required":["id","title","requirement","evidenceRequired"],"properties":{"id":{"type":"string"},"title":{"type":"string"},"requirement":{"type":"string"},"evidenceRequired":{"type":"string"}}},"Specification":{"type":"object","required":["schema","id","slug","version","digest","publisher","industry","scenario","template","acceptanceRule"],"properties":{"schema":{"const":"prooftask.public-specification/v1"},"id":{"type":"string","pattern":"^rt_[a-f0-9]{32}$"},"slug":{"type":"string"},"version":{"type":"integer","minimum":1},"digest":{"type":"string","pattern":"^[a-f0-9]{64}$"},"publisher":{"type":"string"},"industry":{"type":"string"},"scenario":{"type":"string"},"template":{"type":"object"},"acceptanceRule":{"type":"string"}}}}}}