{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["rustBorrow"],"properties":{"rustBorrow":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["events"],"properties":{"events":{"type":"array","items":{"anyOf":[{"type":"object","additionalProperties":false,"required":["kind","loan"],"properties":{"kind":{"enum":["borrow"]},"loan":{"type":"object","additionalProperties":false,"required":["id","place","kind"],"properties":{"id":{"$ref":"#/properties/artifact/%24defs/s0"},"place":{"$ref":"#/properties/artifact/%24defs/s1"},"kind":{"enum":["shared","mutable","two_phase"]}}}}},{"type":"object","additionalProperties":false,"required":["kind","loan_id"],"properties":{"kind":{"enum":["activate","end"]},"loan_id":{"$ref":"#/properties/artifact/%24defs/s0"}}},{"type":"object","additionalProperties":false,"required":["kind","place"],"properties":{"kind":{"enum":["read","write"]},"place":{"$ref":"#/properties/artifact/%24defs/s1"}}}]},"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_.-]*$"},"s1":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/s0"},"minItems":1,"maxItems":8}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-11/rust185-resolved-place-two-phase-loan-conflict-and-activation-ledger"}