{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["epistemic"],"properties":{"epistemic":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["labels","partitions","formulas"],"properties":{"labels":{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":0,"maximum":255},"minItems":0,"maxItems":16},"minItems":1,"maxItems":6},"partitions":{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":0,"maximum":255},"minItems":1,"maxItems":6},"minItems":1,"maxItems":3},"formulas":{"type":"array","items":{"anyOf":[{"type":"object","additionalProperties":false,"required":["op","proposition"],"properties":{"op":{"const":"atom"},"proposition":{"type":"integer","minimum":0,"maximum":255}}},{"type":"object","additionalProperties":false,"required":["op","body"],"properties":{"op":{"const":"not"},"body":{"type":"integer","minimum":0,"maximum":255}}},{"type":"object","additionalProperties":false,"required":["op","left","right"],"properties":{"op":{"const":"and"},"left":{"type":"integer","minimum":0,"maximum":255},"right":{"type":"integer","minimum":0,"maximum":255}}},{"type":"object","additionalProperties":false,"required":["op","agent","body"],"properties":{"op":{"const":"know"},"agent":{"type":"integer","minimum":0,"maximum":255},"body":{"type":"integer","minimum":0,"maximum":255}}},{"type":"object","additionalProperties":false,"required":["op","agents","body"],"properties":{"op":{"const":"common"},"agents":{"type":"array","items":{"type":"integer","minimum":0,"maximum":255},"minItems":1,"maxItems":3},"body":{"type":"integer","minimum":0,"maximum":255}}},{"type":"object","additionalProperties":false,"required":["op","precondition","body"],"properties":{"op":{"const":"announce"},"precondition":{"type":"integer","minimum":0,"maximum":255},"body":{"type":"integer","minimum":0,"maximum":255}}}]},"minItems":1,"maxItems":30}}},"claim":{}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-REST-B20/finite-s5-public-announcement-common-knowledge-model"}