{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["cppSequencing"],"properties":{"cppSequencing":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["events","sequenced_before","indeterminately_sequenced"],"properties":{"events":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["id","object","kind","full_expression"],"properties":{"id":{"$ref":"#/properties/artifact/%24defs/s0"},"object":{"$ref":"#/properties/artifact/%24defs/s0"},"kind":{"enum":["read","write","lifetime_start","lifetime_end"]},"full_expression":{"type":"integer","minimum":0,"maximum":63}}},"minItems":0,"maxItems":48},"sequenced_before":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["before","after"],"properties":{"before":{"$ref":"#/properties/artifact/%24defs/s0"},"after":{"$ref":"#/properties/artifact/%24defs/s0"}}},"minItems":0,"maxItems":128},"indeterminately_sequenced":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["first","second"],"properties":{"first":{"$ref":"#/properties/artifact/%24defs/s0"},"second":{"$ref":"#/properties/artifact/%24defs/s0"}}},"minItems":0,"maxItems":64}}},"claim":{"anyOf":[{"type":"null"},{"type":"string","minLength":64,"maxLength":64,"pattern":"^[0-9a-f]{64}$"}]}}}},"$defs":{"s0":{"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-11/cpp23-resolved-scalar-evaluation-sequencing-undefined-behavior-witness"}