{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["verilogStrength"],"properties":{"verilogStrength":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["drivers","net","updates","width"],"properties":{"drivers":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["bits","resistive_switches","strength0","strength1"],"properties":{"bits":{"type":"string","maxLength":20000},"resistive_switches":{"type":"number"},"strength0":{"type":"number"},"strength1":{"type":"number"}}},"maxItems":512},"net":{"type":"string","maxLength":20000},"updates":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/json"},"maxItems":512},"width":{"type":"number"}}},"claim":{"anyOf":[{"type":"null"},{"type":"object","additionalProperties":false,"required":["resolved"],"properties":{"resolved":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["bits","encoded_scalars"],"properties":{"bits":{"type":"string","maxLength":20000},"encoded_scalars":{"type":"array","items":{"type":"number"},"maxItems":512}}},"maxItems":512}}}]}}}},"$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-06/iverilog12-multidriver-four-state-strength-wire-resolution"}