{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["rga"],"properties":{"rga":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["events","replicas","states"],"properties":{"events":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/json"},"maxItems":512},"replicas":{"type":"number"},"states":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["nodes"],"properties":{"nodes":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["after","deleted","id","value"],"properties":{"after":{"anyOf":[{"$ref":"#/properties/artifact/%24defs/json"},{"$ref":"#/properties/artifact/%24defs/s1"}]},"deleted":{"type":"boolean"},"id":{"$ref":"#/properties/artifact/%24defs/s1"},"value":{"type":"number"}}},"maxItems":512}}},"maxItems":512}}},"claim":{"anyOf":[{"type":"null"},{"type":"object","additionalProperties":false,"required":["events","states"],"properties":{"events":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["order","state","visible"],"properties":{"order":{"$ref":"#/properties/artifact/%24defs/s2"},"state":{"type":"number"},"visible":{"type":"array","items":{"type":"number"},"maxItems":512}}},"maxItems":512},"states":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["order","visible"],"properties":{"order":{"$ref":"#/properties/artifact/%24defs/s2"},"visible":{"type":"array","items":{"type":"number"},"maxItems":512}}},"maxItems":512}}}]}}}},"$defs":{"json":{"anyOf":[{"type":"null"},{"type":"boolean"},{"type":"number"},{"type":"string","maxLength":6000},{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/json"},"maxItems":512},{"type":"object","maxProperties":128,"additionalProperties":{"$ref":"#/properties/artifact/%24defs/json"}}]},"s0":{"type":"object","additionalProperties":false,"required":["counter","deleted","replica"],"properties":{"counter":{"type":"number"},"deleted":{"type":"boolean"},"replica":{"type":"number"}}},"s1":{"type":"object","additionalProperties":false,"required":["counter","replica"],"properties":{"counter":{"type":"number"},"replica":{"type":"number"}}},"s2":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/s0"},"maxItems":512}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-06/lamport-rga-tombstone-anchor-concurrent-sequence-linearization"}