{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["schemeControl"],"properties":{"schemeControl":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["nodes","root"],"properties":{"nodes":{"type":"array","items":{"anyOf":[{"type":"object","additionalProperties":false,"required":["kind","id","value"],"properties":{"kind":{"const":"integer"},"id":{"$ref":"#/properties/artifact/%24defs/a"},"value":{"type":"integer","minimum":-1000000000,"maximum":1000000000}}},{"type":"object","additionalProperties":false,"required":["kind","id","value"],"properties":{"kind":{"const":"boolean"},"id":{"$ref":"#/properties/artifact/%24defs/a"},"value":{"type":"boolean"}}},{"type":"object","additionalProperties":false,"required":["kind","id"],"properties":{"kind":{"const":"unit"},"id":{"$ref":"#/properties/artifact/%24defs/a"}}},{"type":"object","additionalProperties":false,"required":["kind","id","binding"],"properties":{"kind":{"const":"variable"},"id":{"$ref":"#/properties/artifact/%24defs/a"},"binding":{"$ref":"#/properties/artifact/%24defs/a"}}},{"type":"object","additionalProperties":false,"required":["kind","id","parameters","body"],"properties":{"kind":{"const":"lambda"},"id":{"$ref":"#/properties/artifact/%24defs/a"},"parameters":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/a"},"maxItems":8},"body":{"$ref":"#/properties/artifact/%24defs/a"}}},{"type":"object","additionalProperties":false,"required":["kind","id","binding","value","body"],"properties":{"kind":{"const":"let"},"id":{"$ref":"#/properties/artifact/%24defs/a"},"binding":{"$ref":"#/properties/artifact/%24defs/a"},"value":{"$ref":"#/properties/artifact/%24defs/a"},"body":{"$ref":"#/properties/artifact/%24defs/a"}}},{"type":"object","additionalProperties":false,"required":["kind","id","binding","value"],"properties":{"kind":{"const":"set"},"id":{"$ref":"#/properties/artifact/%24defs/a"},"binding":{"$ref":"#/properties/artifact/%24defs/a"},"value":{"$ref":"#/properties/artifact/%24defs/a"}}},{"type":"object","additionalProperties":false,"required":["kind","id","condition","then","otherwise"],"properties":{"kind":{"const":"if"},"id":{"$ref":"#/properties/artifact/%24defs/a"},"condition":{"$ref":"#/properties/artifact/%24defs/a"},"then":{"$ref":"#/properties/artifact/%24defs/a"},"otherwise":{"$ref":"#/properties/artifact/%24defs/a"}}},{"type":"object","additionalProperties":false,"required":["kind","id","expressions"],"properties":{"kind":{"enum":["begin","add"]},"id":{"$ref":"#/properties/artifact/%24defs/a"},"expressions":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/a"},"maxItems":32}}},{"type":"object","additionalProperties":false,"required":["kind","id","left","right"],"properties":{"kind":{"const":"less"},"id":{"$ref":"#/properties/artifact/%24defs/a"},"left":{"$ref":"#/properties/artifact/%24defs/a"},"right":{"$ref":"#/properties/artifact/%24defs/a"}}},{"type":"object","additionalProperties":false,"required":["kind","id","procedure","arguments"],"properties":{"kind":{"const":"call"},"id":{"$ref":"#/properties/artifact/%24defs/a"},"procedure":{"$ref":"#/properties/artifact/%24defs/a"},"arguments":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/a"},"maxItems":8}}},{"type":"object","additionalProperties":false,"required":["kind","id","procedure"],"properties":{"kind":{"const":"callcc"},"id":{"$ref":"#/properties/artifact/%24defs/a"},"procedure":{"$ref":"#/properties/artifact/%24defs/a"}}},{"type":"object","additionalProperties":false,"required":["kind","id","label","value"],"properties":{"kind":{"const":"emit"},"id":{"$ref":"#/properties/artifact/%24defs/a"},"label":{"$ref":"#/properties/artifact/%24defs/a"},"value":{"$ref":"#/properties/artifact/%24defs/a"}}},{"type":"object","additionalProperties":false,"required":["kind","id","before","body","after"],"properties":{"kind":{"const":"dynamicwind"},"id":{"$ref":"#/properties/artifact/%24defs/a"},"before":{"$ref":"#/properties/artifact/%24defs/a"},"body":{"$ref":"#/properties/artifact/%24defs/a"},"after":{"$ref":"#/properties/artifact/%24defs/a"}}}]},"minItems":1,"maxItems":128},"root":{"$ref":"#/properties/artifact/%24defs/a"}}},"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/r7rs-small-callcc-dynamicwind-continuation-reentry-winder-transcript"}