{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["texMacroExpansion"],"properties":{"texMacroExpansion":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["macros","unexpandable_controls","tokens"],"properties":{"macros":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["name","long","parameter_text","replacement"],"properties":{"name":{"type":"string","minLength":1,"maxLength":32},"long":{"type":"boolean"},"parameter_text":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/s0"},"minItems":0,"maxItems":96},"replacement":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/s0"},"minItems":0,"maxItems":128}}},"minItems":0,"maxItems":16},"unexpandable_controls":{"type":"array","items":{"type":"string","minLength":1,"maxLength":32},"minItems":0,"maxItems":32},"tokens":{"type":"array","items":{"anyOf":[{"$ref":"#/properties/artifact/%24defs/s1"},{"$ref":"#/properties/artifact/%24defs/s3"}]},"minItems":0,"maxItems":256}}},"claim":{"anyOf":[{"type":"null"},{"type":"string","minLength":64,"maxLength":64,"pattern":"^[0-9a-f]{64}$"}]}}}},"$defs":{"s0":{"anyOf":[{"$ref":"#/properties/artifact/%24defs/s1"},{"$ref":"#/properties/artifact/%24defs/s3"},{"$ref":"#/properties/artifact/%24defs/s5"}]},"s1":{"type":"object","additionalProperties":false,"required":["kind","name"],"properties":{"kind":{"enum":["control"]},"name":{"$ref":"#/properties/artifact/%24defs/s2"}}},"s2":{"type":"string","minLength":1,"maxLength":32,"pattern":"^[A-Za-z]{1,32}$"},"s3":{"type":"object","additionalProperties":false,"required":["kind","character","catcode"],"properties":{"kind":{"enum":["character"]},"character":{"$ref":"#/properties/artifact/%24defs/s4"},"catcode":{"enum":[1,2,10,11,12]}}},"s4":{"type":"string","minLength":1,"maxLength":1,"pattern":"^[\\x00-\\x7f]$"},"s5":{"type":"object","additionalProperties":false,"required":["kind","index"],"properties":{"kind":{"enum":["parameter"]},"index":{"type":"integer","minimum":1,"maximum":9}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-09/tex82-immutable-def-parameter-delimiter-group-expansion-token-stream"}