{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["proofNet"],"properties":{"proofNet":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["nodes","axioms"],"properties":{"nodes":{"type":"array","items":{"anyOf":[{"type":"object","additionalProperties":false,"required":["id","kind","name","negative"],"properties":{"id":{"type":"string","minLength":1,"maxLength":48,"pattern":"^[A-Za-z_][A-Za-z0-9_.-]*$"},"kind":{"const":"atom"},"name":{"type":"string","minLength":1,"maxLength":48,"pattern":"^[A-Za-z_][A-Za-z0-9_.-]*$"},"negative":{"type":"boolean"}}},{"type":"object","additionalProperties":false,"required":["id","kind","left","right"],"properties":{"id":{"type":"string","minLength":1,"maxLength":48,"pattern":"^[A-Za-z_][A-Za-z0-9_.-]*$"},"kind":{"enum":["tensor","par"]},"left":{"type":"string","minLength":1,"maxLength":48,"pattern":"^[A-Za-z_][A-Za-z0-9_.-]*$"},"right":{"type":"string","minLength":1,"maxLength":48,"pattern":"^[A-Za-z_][A-Za-z0-9_.-]*$"}}}]},"minItems":2,"maxItems":48},"axioms":{"type":"array","items":{"type":"array","items":{"type":"string","minLength":1,"maxLength":48,"pattern":"^[A-Za-z_][A-Za-z0-9_.-]*$"},"minItems":2,"maxItems":2},"minItems":1,"maxItems":24}}},"claim":{"type":["string","null"],"minLength":64,"maxLength":64,"pattern":"^[0-9a-f]{64}$"}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-15/unitfree-multiplicative-linear-proofnet-all-switchings-correctness"}