{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["c11Memory"],"properties":{"c11Memory":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["initial","events","modification_orders","reads_from","sc_order"],"properties":{"initial":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["id","object","value"],"properties":{"id":{"$ref":"#/properties/artifact/%24defs/a"},"object":{"$ref":"#/properties/artifact/%24defs/a"},"value":{"type":"integer","minimum":-1000000,"maximum":1000000}}},"minItems":1,"maxItems":8},"events":{"type":"array","items":{"anyOf":[{"type":"object","additionalProperties":false,"required":["kind","id","thread","object","order","read_value"],"properties":{"kind":{"const":"load"},"id":{"$ref":"#/properties/artifact/%24defs/a"},"thread":{"$ref":"#/properties/artifact/%24defs/a"},"object":{"$ref":"#/properties/artifact/%24defs/a"},"order":{"enum":["relaxed","acquire","seq_cst"]},"read_value":{"type":"integer","minimum":-1000000,"maximum":1000000}}},{"type":"object","additionalProperties":false,"required":["kind","id","thread","object","order","value"],"properties":{"kind":{"const":"store"},"id":{"$ref":"#/properties/artifact/%24defs/a"},"thread":{"$ref":"#/properties/artifact/%24defs/a"},"object":{"$ref":"#/properties/artifact/%24defs/a"},"order":{"enum":["relaxed","release","seq_cst"]},"value":{"type":"integer","minimum":-1000000,"maximum":1000000}}},{"type":"object","additionalProperties":false,"required":["kind","id","thread","object","order","value","read_value"],"properties":{"kind":{"const":"exchange"},"id":{"$ref":"#/properties/artifact/%24defs/a"},"thread":{"$ref":"#/properties/artifact/%24defs/a"},"object":{"$ref":"#/properties/artifact/%24defs/a"},"order":{"enum":["relaxed","release","acquire","acq_rel","seq_cst"]},"value":{"type":"integer","minimum":-1000000,"maximum":1000000},"read_value":{"type":"integer","minimum":-1000000,"maximum":1000000}}}]},"maxItems":24},"modification_orders":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["object","writes"],"properties":{"object":{"$ref":"#/properties/artifact/%24defs/a"},"writes":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/a"},"minItems":1,"maxItems":32}}},"minItems":1,"maxItems":8},"reads_from":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["read","write"],"properties":{"read":{"$ref":"#/properties/artifact/%24defs/a"},"write":{"$ref":"#/properties/artifact/%24defs/a"}}},"maxItems":24},"sc_order":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/a"},"maxItems":24}}},"claim":{"type":["string","null"],"minLength":64,"maxLength":64,"pattern":"^[0-9a-f]{64}$"}}}},"$defs":{"a":{"type":"string","minLength":1,"maxLength":48,"pattern":"^[A-Za-z_][A-Za-z0-9_.-]*$"}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-15/c11-complete-atomic-execution-readfrom-coherence-happensbefore-consistency"}