{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["rv32"],"properties":{"rv32":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["data","data_base","maximum_steps","registers","words"],"properties":{"data":{"type":"array","items":{"type":"number"},"maxItems":512},"data_base":{"type":"number"},"maximum_steps":{"type":"number"},"registers":{"type":"array","items":{"type":"number"},"maxItems":512},"words":{"type":"array","items":{"type":"number"},"maxItems":512}}},"claim":{"anyOf":[{"type":"null"},{"type":"object","additionalProperties":false,"required":["commits","data_sha256","halted","pc","registers","trap"],"properties":{"commits":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["pc","register","register_value","store_bytes","store_offset","store_value","word"],"properties":{"pc":{"type":"number"},"register":{"anyOf":[{"$ref":"#/properties/artifact/%24defs/json"},{"type":"number"}]},"register_value":{"anyOf":[{"$ref":"#/properties/artifact/%24defs/json"},{"type":"number"}]},"store_bytes":{"anyOf":[{"$ref":"#/properties/artifact/%24defs/json"},{"type":"number"}]},"store_offset":{"anyOf":[{"$ref":"#/properties/artifact/%24defs/json"},{"type":"number"}]},"store_value":{"anyOf":[{"$ref":"#/properties/artifact/%24defs/json"},{"type":"number"}]},"word":{"type":"number"}}},"maxItems":512},"data_sha256":{"type":"string","maxLength":20000},"halted":{"type":"boolean"},"pc":{"type":"number"},"registers":{"type":"array","items":{"type":"number"},"maxItems":512},"trap":{"anyOf":[{"$ref":"#/properties/artifact/%24defs/json"},{"type":"string","maxLength":20000}]}}}]}}}},"$defs":{"json":{"anyOf":[{"type":"null"},{"type":"boolean"},{"type":"number"},{"type":"string","maxLength":6000},{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/json"},"maxItems":512},{"type":"object","maxProperties":128,"additionalProperties":{"$ref":"#/properties/artifact/%24defs/json"}}]}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-07/riscv202404-rv32im-instruction-register-memory-commit-transcript"}