{"$schema":"https://json-schema.org/draft/2020-12/schema","$id":"https://quantumsoftware.tech/schemas/nm-circuit-analysis-version-0.1.schema.json","title":"N/M Saved Circuit Analysis Version 0.1","type":"object","additionalProperties":false,"required":["format","version","analysisId","savedAt","storage","artifact","privacy","integrity"],"properties":{"format":{"const":"nm-circuit-analysis-version"},"version":{"const":"0.1"},"analysisId":{"type":"string","pattern":"^nmanalysis-[0-9a-f]{16}$"},"savedAt":{"type":"string","format":"date-time"},"storage":{"const":"local-indexeddb"},"artifact":{"$ref":"https://quantumsoftware.tech/schemas/nm-circuit-analysis-0.1.schema.json"},"privacy":{"type":"object","additionalProperties":false,"required":["sourceTextStored","cloudSync"],"properties":{"sourceTextStored":{"const":true},"cloudSync":{"const":false}}},"integrity":{"type":"object","additionalProperties":false,"required":["algorithm","recordHash"],"properties":{"algorithm":{"const":"fnv1a-64"},"recordHash":{"type":"string","pattern":"^[0-9a-f]{16}$"}}}},"$defs":{"circuitAnalysis":{"$schema":"https://json-schema.org/draft/2020-12/schema","$id":"https://quantumsoftware.tech/schemas/nm-circuit-analysis-0.1.schema.json","title":"N/M Circuit Analysis Report","description":"Closed 524288-byte contract for recomputable local compiler evidence.","type":"object","additionalProperties":false,"required":["format","version","analysisId","transport","sourceTextIncluded","input","sources","diagrams","optimization","lowering","resources","budget","verification","reversibleLint","measurementTree","limitations"],"properties":{"format":{"const":"nm-circuit-analysis"},"version":{"const":"0.1"},"analysisId":{"type":"string","pattern":"^nmanalysis-[0-9a-f]{16}$"},"transport":{"const":"ephemeral-worker-result"},"sourceTextIncluded":{"const":true},"input":{"type":"object","additionalProperties":false,"required":["target","budget","sourceHash"],"properties":{"target":{"enum":[null,"browser-statevector","browser-stabilizer","openqasm3-stdgates","ion-trap","superconducting","neutral-atom"]},"budget":{"type":"object","additionalProperties":false,"required":["maxQubits","maxGates","maxDepth","maxTwoQubitGates","maxTCount","maxShots"],"properties":{"maxQubits":{"type":"integer","minimum":0,"maximum":14},"maxGates":{"type":"integer","minimum":0,"maximum":4096},"maxDepth":{"type":"integer","minimum":0,"maximum":4096},"maxTwoQubitGates":{"type":"integer","minimum":0,"maximum":2048},"maxTCount":{"type":"integer","minimum":0,"maximum":4096},"maxShots":{"type":"integer","minimum":0,"maximum":4096}}},"sourceHash":{"type":"string","pattern":"^[0-9a-f]{16}$"}}},"sources":{"type":"object","additionalProperties":false,"required":["original","optimized","final","optimizedHash","finalHash"],"properties":{"original":{"type":"string","minLength":1,"maxLength":65536},"optimized":{"type":"string","minLength":1,"maxLength":65536},"final":{"type":"string","minLength":1,"maxLength":65536},"optimizedHash":{"type":"string","pattern":"^[0-9a-f]{16}$"},"finalHash":{"type":"string","pattern":"^[0-9a-f]{16}$"}}},"diagrams":{"type":"object","additionalProperties":false,"required":["before","after"],"properties":{"before":{"type":"array","maxItems":100,"items":{"type":"object","additionalProperties":false,"required":["label","cells"],"properties":{"label":{"type":"string","maxLength":64},"cells":{"type":"array","maxItems":4096,"items":{"type":"object","additionalProperties":false,"required":["label","kind"],"properties":{"label":{"type":"string","maxLength":64},"kind":{"enum":["empty","gate","control","target","wire","measure"]}}}}}}},"after":{"type":"array","maxItems":100,"items":{"type":"object","additionalProperties":false,"required":["label","cells"],"properties":{"label":{"type":"string","maxLength":64},"cells":{"type":"array","maxItems":4096,"items":{"type":"object","additionalProperties":false,"required":["label","kind"],"properties":{"label":{"type":"string","maxLength":64},"kind":{"enum":["empty","gate","control","target","wire","measure"]}}}}}}}}},"optimization":{"type":"object","additionalProperties":false,"required":["format","version","report","diff"],"properties":{"format":{"const":"nm-optimization-report"},"version":{"const":"0.1"},"report":{"type":"object","additionalProperties":false,"required":["before","after","changes","verification","delta"],"properties":{"before":{"type":"object","additionalProperties":false,"required":["qubits","statements","gates","singleQubitGates","twoQubitGates","threeQubitGates","measurements","resets","barriers","assertions","expectations","metrics","gradients","encodings","observations","tests","properties","snapshots","shows","expectationTerms","conditionals","depth","logicalGates","logicalQubits","cliffordCount","tCount","tDepth","codeDistance","surfaceCodeOverhead","physicalQubits","magicStates","estimatedRuntimeMs","ftqcEnabled"],"properties":{"qubits":{"type":"integer","minimum":0},"statements":{"type":"integer","minimum":0},"gates":{"type":"integer","minimum":0},"singleQubitGates":{"type":"integer","minimum":0},"twoQubitGates":{"type":"integer","minimum":0},"threeQubitGates":{"type":"integer","minimum":0},"measurements":{"type":"integer","minimum":0},"resets":{"type":"integer","minimum":0},"barriers":{"type":"integer","minimum":0},"assertions":{"type":"integer","minimum":0},"expectations":{"type":"integer","minimum":0},"metrics":{"type":"integer","minimum":0},"gradients":{"type":"integer","minimum":0},"encodings":{"type":"integer","minimum":0},"observations":{"type":"integer","minimum":0},"tests":{"type":"integer","minimum":0},"properties":{"type":"integer","minimum":0},"snapshots":{"type":"integer","minimum":0},"shows":{"type":"integer","minimum":0},"expectationTerms":{"type":"integer","minimum":0},"conditionals":{"type":"integer","minimum":0},"depth":{"type":"integer","minimum":0},"logicalGates":{"type":"integer","minimum":0},"logicalQubits":{"type":"integer","minimum":0},"cliffordCount":{"type":"integer","minimum":0},"tCount":{"type":"integer","minimum":0},"tDepth":{"type":"integer","minimum":0},"codeDistance":{"type":"integer","minimum":0},"surfaceCodeOverhead":{"type":"integer","minimum":0},"physicalQubits":{"type":"integer","minimum":0},"magicStates":{"type":"integer","minimum":0},"estimatedRuntimeMs":{"type":"number","minimum":0},"ftqcEnabled":{"type":"boolean"},"targetError":{"type":"number","minimum":0,"maximum":1}}},"after":{"type":"object","additionalProperties":false,"required":["qubits","statements","gates","singleQubitGates","twoQubitGates","threeQubitGates","measurements","resets","barriers","assertions","expectations","metrics","gradients","encodings","observations","tests","properties","snapshots","shows","expectationTerms","conditionals","depth","logicalGates","logicalQubits","cliffordCount","tCount","tDepth","codeDistance","surfaceCodeOverhead","physicalQubits","magicStates","estimatedRuntimeMs","ftqcEnabled"],"properties":{"qubits":{"type":"integer","minimum":0},"statements":{"type":"integer","minimum":0},"gates":{"type":"integer","minimum":0},"singleQubitGates":{"type":"integer","minimum":0},"twoQubitGates":{"type":"integer","minimum":0},"threeQubitGates":{"type":"integer","minimum":0},"measurements":{"type":"integer","minimum":0},"resets":{"type":"integer","minimum":0},"barriers":{"type":"integer","minimum":0},"assertions":{"type":"integer","minimum":0},"expectations":{"type":"integer","minimum":0},"metrics":{"type":"integer","minimum":0},"gradients":{"type":"integer","minimum":0},"encodings":{"type":"integer","minimum":0},"observations":{"type":"integer","minimum":0},"tests":{"type":"integer","minimum":0},"properties":{"type":"integer","minimum":0},"snapshots":{"type":"integer","minimum":0},"shows":{"type":"integer","minimum":0},"expectationTerms":{"type":"integer","minimum":0},"conditionals":{"type":"integer","minimum":0},"depth":{"type":"integer","minimum":0},"logicalGates":{"type":"integer","minimum":0},"logicalQubits":{"type":"integer","minimum":0},"cliffordCount":{"type":"integer","minimum":0},"tCount":{"type":"integer","minimum":0},"tDepth":{"type":"integer","minimum":0},"codeDistance":{"type":"integer","minimum":0},"surfaceCodeOverhead":{"type":"integer","minimum":0},"physicalQubits":{"type":"integer","minimum":0},"magicStates":{"type":"integer","minimum":0},"estimatedRuntimeMs":{"type":"number","minimum":0},"ftqcEnabled":{"type":"boolean"},"targetError":{"type":"number","minimum":0,"maximum":1}}},"changes":{"type":"array","maxItems":4096,"items":{"type":"object","additionalProperties":false,"required":["rule","removedLines","description"],"properties":{"rule":{"enum":["cancel-self-inverse","cancel-adjoint-pair","merge-rz-rotation","drop-zero-rz-rotation","merge-rx-rotation","drop-zero-rx-rotation","merge-ry-rotation","drop-zero-ry-rotation","merge-p-rotation","drop-zero-p-rotation","hadamard-conjugation","phase-conjugation","cnot-target-conjugation","cz-target-conjugation","swap-sandwich-elimination"]},"line":{"type":"integer","minimum":0},"removedLines":{"type":"array","maxItems":4096,"items":{"type":"integer","minimum":0}},"inserted":{"type":"string","maxLength":4096},"description":{"type":"string","maxLength":4096}}}},"verification":{"type":"object","additionalProperties":false,"required":["status"],"properties":{"status":{"enum":["passed","failed","skipped"]},"reason":{"type":"string","maxLength":4096},"maxProbabilityDelta":{"type":"number","minimum":0},"maxAmplitudeDelta":{"type":"number","minimum":0}}},"level":{"enum":[1,2,3]},"passes":{"type":"array","maxItems":64,"items":{"type":"object","additionalProperties":false,"required":["passNumber","passName","changesCount","gatesDelta","depthDelta"],"properties":{"passNumber":{"type":"integer","minimum":0},"passName":{"type":"string","maxLength":256},"changesCount":{"type":"integer","minimum":0},"gatesDelta":{"type":"integer"},"depthDelta":{"type":"integer"}}}},"delta":{"type":"object","additionalProperties":false,"required":["gates","depth","twoQubitGates","tCount","tDepth"],"properties":{"gates":{"type":"number"},"depth":{"type":"number"},"twoQubitGates":{"type":"number"},"tCount":{"type":"number"},"tDepth":{"type":"number"}}}}},"diff":{"type":"object","additionalProperties":false,"required":["entries","unchanged","added","removed","resourceDelta","before","after"],"properties":{"entries":{"type":"array","maxItems":8192,"items":{"type":"object","additionalProperties":false,"required":["kind"],"properties":{"kind":{"enum":["unchanged","removed","added"]},"left":{"type":"string","maxLength":512},"right":{"type":"string","maxLength":512},"leftLine":{"type":"integer","minimum":0},"rightLine":{"type":"integer","minimum":0}}}},"unchanged":{"type":"integer","minimum":0},"added":{"type":"integer","minimum":0},"removed":{"type":"integer","minimum":0},"resourceDelta":{"type":"object","additionalProperties":false,"required":["gates","depth","twoQubitGates","tCount","tDepth"],"properties":{"gates":{"type":"number"},"depth":{"type":"number"},"twoQubitGates":{"type":"number"},"tCount":{"type":"number"},"tDepth":{"type":"number"}}},"before":{"type":"object","additionalProperties":false,"required":["qubits","statements","gates","singleQubitGates","twoQubitGates","threeQubitGates","measurements","resets","barriers","assertions","expectations","metrics","gradients","encodings","observations","tests","properties","snapshots","shows","expectationTerms","conditionals","depth","logicalGates","logicalQubits","cliffordCount","tCount","tDepth","codeDistance","surfaceCodeOverhead","physicalQubits","magicStates","estimatedRuntimeMs","ftqcEnabled"],"properties":{"qubits":{"type":"integer","minimum":0},"statements":{"type":"integer","minimum":0},"gates":{"type":"integer","minimum":0},"singleQubitGates":{"type":"integer","minimum":0},"twoQubitGates":{"type":"integer","minimum":0},"threeQubitGates":{"type":"integer","minimum":0},"measurements":{"type":"integer","minimum":0},"resets":{"type":"integer","minimum":0},"barriers":{"type":"integer","minimum":0},"assertions":{"type":"integer","minimum":0},"expectations":{"type":"integer","minimum":0},"metrics":{"type":"integer","minimum":0},"gradients":{"type":"integer","minimum":0},"encodings":{"type":"integer","minimum":0},"observations":{"type":"integer","minimum":0},"tests":{"type":"integer","minimum":0},"properties":{"type":"integer","minimum":0},"snapshots":{"type":"integer","minimum":0},"shows":{"type":"integer","minimum":0},"expectationTerms":{"type":"integer","minimum":0},"conditionals":{"type":"integer","minimum":0},"depth":{"type":"integer","minimum":0},"logicalGates":{"type":"integer","minimum":0},"logicalQubits":{"type":"integer","minimum":0},"cliffordCount":{"type":"integer","minimum":0},"tCount":{"type":"integer","minimum":0},"tDepth":{"type":"integer","minimum":0},"codeDistance":{"type":"integer","minimum":0},"surfaceCodeOverhead":{"type":"integer","minimum":0},"physicalQubits":{"type":"integer","minimum":0},"magicStates":{"type":"integer","minimum":0},"estimatedRuntimeMs":{"type":"number","minimum":0},"ftqcEnabled":{"type":"boolean"},"targetError":{"type":"number","minimum":0,"maximum":1}}},"after":{"type":"object","additionalProperties":false,"required":["qubits","statements","gates","singleQubitGates","twoQubitGates","threeQubitGates","measurements","resets","barriers","assertions","expectations","metrics","gradients","encodings","observations","tests","properties","snapshots","shows","expectationTerms","conditionals","depth","logicalGates","logicalQubits","cliffordCount","tCount","tDepth","codeDistance","surfaceCodeOverhead","physicalQubits","magicStates","estimatedRuntimeMs","ftqcEnabled"],"properties":{"qubits":{"type":"integer","minimum":0},"statements":{"type":"integer","minimum":0},"gates":{"type":"integer","minimum":0},"singleQubitGates":{"type":"integer","minimum":0},"twoQubitGates":{"type":"integer","minimum":0},"threeQubitGates":{"type":"integer","minimum":0},"measurements":{"type":"integer","minimum":0},"resets":{"type":"integer","minimum":0},"barriers":{"type":"integer","minimum":0},"assertions":{"type":"integer","minimum":0},"expectations":{"type":"integer","minimum":0},"metrics":{"type":"integer","minimum":0},"gradients":{"type":"integer","minimum":0},"encodings":{"type":"integer","minimum":0},"observations":{"type":"integer","minimum":0},"tests":{"type":"integer","minimum":0},"properties":{"type":"integer","minimum":0},"snapshots":{"type":"integer","minimum":0},"shows":{"type":"integer","minimum":0},"expectationTerms":{"type":"integer","minimum":0},"conditionals":{"type":"integer","minimum":0},"depth":{"type":"integer","minimum":0},"logicalGates":{"type":"integer","minimum":0},"logicalQubits":{"type":"integer","minimum":0},"cliffordCount":{"type":"integer","minimum":0},"tCount":{"type":"integer","minimum":0},"tDepth":{"type":"integer","minimum":0},"codeDistance":{"type":"integer","minimum":0},"surfaceCodeOverhead":{"type":"integer","minimum":0},"physicalQubits":{"type":"integer","minimum":0},"magicStates":{"type":"integer","minimum":0},"estimatedRuntimeMs":{"type":"number","minimum":0},"ftqcEnabled":{"type":"boolean"},"targetError":{"type":"number","minimum":0,"maximum":1}}}}}}},"lowering":{"anyOf":[{"type":"null"},{"type":"object","additionalProperties":false,"required":["contractVersion","target","targetLabel","success","verification","trace","unsupportedGates","resources","placement","schedule","issues"],"properties":{"contractVersion":{"type":"string","maxLength":64},"target":{"enum":["browser-statevector","browser-stabilizer","openqasm3-stdgates","ion-trap","superconducting","neutral-atom"]},"targetLabel":{"type":"string","maxLength":256},"success":{"type":"boolean"},"verification":{"type":"object","additionalProperties":false,"required":["status"],"properties":{"status":{"enum":["passed","failed","skipped"]},"reason":{"type":"string","maxLength":4096},"maxProbabilityDelta":{"type":"number","minimum":0},"maxAmplitudeDelta":{"type":"number","minimum":0}}},"trace":{"type":"array","maxItems":8192,"items":{"type":"object"}},"unsupportedGates":{"type":"array","maxItems":4096,"items":{"type":"object"}},"resources":{"type":"object","additionalProperties":false,"required":["before","after","delta"],"properties":{"before":{"type":"object","additionalProperties":false,"required":["qubits","statements","gates","singleQubitGates","twoQubitGates","threeQubitGates","measurements","resets","barriers","assertions","expectations","metrics","gradients","encodings","observations","tests","properties","snapshots","shows","expectationTerms","conditionals","depth","logicalGates","logicalQubits","cliffordCount","tCount","tDepth","codeDistance","surfaceCodeOverhead","physicalQubits","magicStates","estimatedRuntimeMs","ftqcEnabled"],"properties":{"qubits":{"type":"integer","minimum":0},"statements":{"type":"integer","minimum":0},"gates":{"type":"integer","minimum":0},"singleQubitGates":{"type":"integer","minimum":0},"twoQubitGates":{"type":"integer","minimum":0},"threeQubitGates":{"type":"integer","minimum":0},"measurements":{"type":"integer","minimum":0},"resets":{"type":"integer","minimum":0},"barriers":{"type":"integer","minimum":0},"assertions":{"type":"integer","minimum":0},"expectations":{"type":"integer","minimum":0},"metrics":{"type":"integer","minimum":0},"gradients":{"type":"integer","minimum":0},"encodings":{"type":"integer","minimum":0},"observations":{"type":"integer","minimum":0},"tests":{"type":"integer","minimum":0},"properties":{"type":"integer","minimum":0},"snapshots":{"type":"integer","minimum":0},"shows":{"type":"integer","minimum":0},"expectationTerms":{"type":"integer","minimum":0},"conditionals":{"type":"integer","minimum":0},"depth":{"type":"integer","minimum":0},"logicalGates":{"type":"integer","minimum":0},"logicalQubits":{"type":"integer","minimum":0},"cliffordCount":{"type":"integer","minimum":0},"tCount":{"type":"integer","minimum":0},"tDepth":{"type":"integer","minimum":0},"codeDistance":{"type":"integer","minimum":0},"surfaceCodeOverhead":{"type":"integer","minimum":0},"physicalQubits":{"type":"integer","minimum":0},"magicStates":{"type":"integer","minimum":0},"estimatedRuntimeMs":{"type":"number","minimum":0},"ftqcEnabled":{"type":"boolean"},"targetError":{"type":"number","minimum":0,"maximum":1}}},"after":{"type":"object","additionalProperties":false,"required":["qubits","statements","gates","singleQubitGates","twoQubitGates","threeQubitGates","measurements","resets","barriers","assertions","expectations","metrics","gradients","encodings","observations","tests","properties","snapshots","shows","expectationTerms","conditionals","depth","logicalGates","logicalQubits","cliffordCount","tCount","tDepth","codeDistance","surfaceCodeOverhead","physicalQubits","magicStates","estimatedRuntimeMs","ftqcEnabled"],"properties":{"qubits":{"type":"integer","minimum":0},"statements":{"type":"integer","minimum":0},"gates":{"type":"integer","minimum":0},"singleQubitGates":{"type":"integer","minimum":0},"twoQubitGates":{"type":"integer","minimum":0},"threeQubitGates":{"type":"integer","minimum":0},"measurements":{"type":"integer","minimum":0},"resets":{"type":"integer","minimum":0},"barriers":{"type":"integer","minimum":0},"assertions":{"type":"integer","minimum":0},"expectations":{"type":"integer","minimum":0},"metrics":{"type":"integer","minimum":0},"gradients":{"type":"integer","minimum":0},"encodings":{"type":"integer","minimum":0},"observations":{"type":"integer","minimum":0},"tests":{"type":"integer","minimum":0},"properties":{"type":"integer","minimum":0},"snapshots":{"type":"integer","minimum":0},"shows":{"type":"integer","minimum":0},"expectationTerms":{"type":"integer","minimum":0},"conditionals":{"type":"integer","minimum":0},"depth":{"type":"integer","minimum":0},"logicalGates":{"type":"integer","minimum":0},"logicalQubits":{"type":"integer","minimum":0},"cliffordCount":{"type":"integer","minimum":0},"tCount":{"type":"integer","minimum":0},"tDepth":{"type":"integer","minimum":0},"codeDistance":{"type":"integer","minimum":0},"surfaceCodeOverhead":{"type":"integer","minimum":0},"physicalQubits":{"type":"integer","minimum":0},"magicStates":{"type":"integer","minimum":0},"estimatedRuntimeMs":{"type":"number","minimum":0},"ftqcEnabled":{"type":"boolean"},"targetError":{"type":"number","minimum":0,"maximum":1}}},"delta":{"type":"object"}}},"placement":{"type":"array","maxItems":100,"items":{"type":"object"}},"schedule":{"type":"object"},"issues":{"type":"array","maxItems":4096,"items":{"type":"object"}}}}]},"resources":{"type":"object","additionalProperties":false,"required":["before","optimized","final","shots"],"properties":{"before":{"type":"object","additionalProperties":false,"required":["qubits","statements","gates","singleQubitGates","twoQubitGates","threeQubitGates","measurements","resets","barriers","assertions","expectations","metrics","gradients","encodings","observations","tests","properties","snapshots","shows","expectationTerms","conditionals","depth","logicalGates","logicalQubits","cliffordCount","tCount","tDepth","codeDistance","surfaceCodeOverhead","physicalQubits","magicStates","estimatedRuntimeMs","ftqcEnabled"],"properties":{"qubits":{"type":"integer","minimum":0},"statements":{"type":"integer","minimum":0},"gates":{"type":"integer","minimum":0},"singleQubitGates":{"type":"integer","minimum":0},"twoQubitGates":{"type":"integer","minimum":0},"threeQubitGates":{"type":"integer","minimum":0},"measurements":{"type":"integer","minimum":0},"resets":{"type":"integer","minimum":0},"barriers":{"type":"integer","minimum":0},"assertions":{"type":"integer","minimum":0},"expectations":{"type":"integer","minimum":0},"metrics":{"type":"integer","minimum":0},"gradients":{"type":"integer","minimum":0},"encodings":{"type":"integer","minimum":0},"observations":{"type":"integer","minimum":0},"tests":{"type":"integer","minimum":0},"properties":{"type":"integer","minimum":0},"snapshots":{"type":"integer","minimum":0},"shows":{"type":"integer","minimum":0},"expectationTerms":{"type":"integer","minimum":0},"conditionals":{"type":"integer","minimum":0},"depth":{"type":"integer","minimum":0},"logicalGates":{"type":"integer","minimum":0},"logicalQubits":{"type":"integer","minimum":0},"cliffordCount":{"type":"integer","minimum":0},"tCount":{"type":"integer","minimum":0},"tDepth":{"type":"integer","minimum":0},"codeDistance":{"type":"integer","minimum":0},"surfaceCodeOverhead":{"type":"integer","minimum":0},"physicalQubits":{"type":"integer","minimum":0},"magicStates":{"type":"integer","minimum":0},"estimatedRuntimeMs":{"type":"number","minimum":0},"ftqcEnabled":{"type":"boolean"},"targetError":{"type":"number","minimum":0,"maximum":1}}},"optimized":{"type":"object","additionalProperties":false,"required":["qubits","statements","gates","singleQubitGates","twoQubitGates","threeQubitGates","measurements","resets","barriers","assertions","expectations","metrics","gradients","encodings","observations","tests","properties","snapshots","shows","expectationTerms","conditionals","depth","logicalGates","logicalQubits","cliffordCount","tCount","tDepth","codeDistance","surfaceCodeOverhead","physicalQubits","magicStates","estimatedRuntimeMs","ftqcEnabled"],"properties":{"qubits":{"type":"integer","minimum":0},"statements":{"type":"integer","minimum":0},"gates":{"type":"integer","minimum":0},"singleQubitGates":{"type":"integer","minimum":0},"twoQubitGates":{"type":"integer","minimum":0},"threeQubitGates":{"type":"integer","minimum":0},"measurements":{"type":"integer","minimum":0},"resets":{"type":"integer","minimum":0},"barriers":{"type":"integer","minimum":0},"assertions":{"type":"integer","minimum":0},"expectations":{"type":"integer","minimum":0},"metrics":{"type":"integer","minimum":0},"gradients":{"type":"integer","minimum":0},"encodings":{"type":"integer","minimum":0},"observations":{"type":"integer","minimum":0},"tests":{"type":"integer","minimum":0},"properties":{"type":"integer","minimum":0},"snapshots":{"type":"integer","minimum":0},"shows":{"type":"integer","minimum":0},"expectationTerms":{"type":"integer","minimum":0},"conditionals":{"type":"integer","minimum":0},"depth":{"type":"integer","minimum":0},"logicalGates":{"type":"integer","minimum":0},"logicalQubits":{"type":"integer","minimum":0},"cliffordCount":{"type":"integer","minimum":0},"tCount":{"type":"integer","minimum":0},"tDepth":{"type":"integer","minimum":0},"codeDistance":{"type":"integer","minimum":0},"surfaceCodeOverhead":{"type":"integer","minimum":0},"physicalQubits":{"type":"integer","minimum":0},"magicStates":{"type":"integer","minimum":0},"estimatedRuntimeMs":{"type":"number","minimum":0},"ftqcEnabled":{"type":"boolean"},"targetError":{"type":"number","minimum":0,"maximum":1}}},"final":{"type":"object","additionalProperties":false,"required":["qubits","statements","gates","singleQubitGates","twoQubitGates","threeQubitGates","measurements","resets","barriers","assertions","expectations","metrics","gradients","encodings","observations","tests","properties","snapshots","shows","expectationTerms","conditionals","depth","logicalGates","logicalQubits","cliffordCount","tCount","tDepth","codeDistance","surfaceCodeOverhead","physicalQubits","magicStates","estimatedRuntimeMs","ftqcEnabled"],"properties":{"qubits":{"type":"integer","minimum":0},"statements":{"type":"integer","minimum":0},"gates":{"type":"integer","minimum":0},"singleQubitGates":{"type":"integer","minimum":0},"twoQubitGates":{"type":"integer","minimum":0},"threeQubitGates":{"type":"integer","minimum":0},"measurements":{"type":"integer","minimum":0},"resets":{"type":"integer","minimum":0},"barriers":{"type":"integer","minimum":0},"assertions":{"type":"integer","minimum":0},"expectations":{"type":"integer","minimum":0},"metrics":{"type":"integer","minimum":0},"gradients":{"type":"integer","minimum":0},"encodings":{"type":"integer","minimum":0},"observations":{"type":"integer","minimum":0},"tests":{"type":"integer","minimum":0},"properties":{"type":"integer","minimum":0},"snapshots":{"type":"integer","minimum":0},"shows":{"type":"integer","minimum":0},"expectationTerms":{"type":"integer","minimum":0},"conditionals":{"type":"integer","minimum":0},"depth":{"type":"integer","minimum":0},"logicalGates":{"type":"integer","minimum":0},"logicalQubits":{"type":"integer","minimum":0},"cliffordCount":{"type":"integer","minimum":0},"tCount":{"type":"integer","minimum":0},"tDepth":{"type":"integer","minimum":0},"codeDistance":{"type":"integer","minimum":0},"surfaceCodeOverhead":{"type":"integer","minimum":0},"physicalQubits":{"type":"integer","minimum":0},"magicStates":{"type":"integer","minimum":0},"estimatedRuntimeMs":{"type":"number","minimum":0},"ftqcEnabled":{"type":"boolean"},"targetError":{"type":"number","minimum":0,"maximum":1}}},"shots":{"type":"integer","minimum":0}}},"budget":{"type":"object","additionalProperties":false,"required":["withinBudget","checks"],"properties":{"withinBudget":{"type":"boolean"},"checks":{"type":"array","minItems":6,"maxItems":6,"items":{"type":"object","additionalProperties":false,"required":["metric","actual","maximum","passed"],"properties":{"metric":{"enum":["maxQubits","maxGates","maxDepth","maxTwoQubitGates","maxTCount","maxShots"]},"actual":{"type":"integer","minimum":0},"maximum":{"type":"integer","minimum":0},"passed":{"type":"boolean"}}}}}},"verification":{"type":"object","additionalProperties":false,"required":["optimization","lowering","overall"],"properties":{"optimization":{"type":"object","additionalProperties":false,"required":["status"],"properties":{"status":{"enum":["passed","failed","skipped"]},"reason":{"type":"string","maxLength":4096},"maxProbabilityDelta":{"type":"number","minimum":0},"maxAmplitudeDelta":{"type":"number","minimum":0}}},"lowering":{},"overall":{"enum":["passed","failed","skipped"]}}},"reversibleLint":{"type":"object","additionalProperties":false,"required":["classification","proof","findings"],"properties":{"classification":{"enum":["unitary-candidate","measurement-conditioned","non-unitary"]},"proof":{"const":"syntactic-lint-not-unitarity-proof"},"findings":{"type":"array","maxItems":64,"items":{"type":"object"}}}},"measurementTree":{"type":"object","additionalProperties":false,"required":["format","version","mode","sourceHash","nodes","nodeCount","truncated","maximumNodes","limitations"],"properties":{"format":{"const":"nm-measurement-tree"},"version":{"const":"0.1-experimental"},"mode":{"const":"static-control-flow"},"sourceHash":{"type":"string","pattern":"^[0-9a-f]{16}$"},"nodes":{"type":"array","maxItems":128,"items":{"type":"object","additionalProperties":false,"required":["id","kind","line","label"],"properties":{"id":{"type":"string","pattern":"^node-[1-9][0-9]*$"},"kind":{"enum":["gate","measurement","branch","match","loop","reset","barrier","scope"]},"line":{"type":"integer","minimum":0},"label":{"type":"string","maxLength":4096},"alternatives":{"type":"array","maxItems":128,"items":{"type":"object","additionalProperties":false,"required":["label","nodes"],"properties":{"label":{"type":"string","maxLength":4096},"nodes":{"type":"array","maxItems":128,"items":{"$ref":"#/$defs/measurementNode"}}}}}}}},"nodeCount":{"type":"integer","minimum":0,"maximum":128},"truncated":{"type":"boolean"},"maximumNodes":{"const":128},"limitations":{"type":"array","minItems":3,"maxItems":3,"items":{"type":"string"}}}},"limitations":{"type":"array","minItems":3,"maxItems":3,"items":{"type":"string"}}},"$defs":{"measurementNode":{"type":"object","additionalProperties":false,"required":["id","kind","line","label"],"properties":{"id":{"type":"string","pattern":"^node-[1-9][0-9]*$"},"kind":{"enum":["gate","measurement","branch","match","loop","reset","barrier","scope"]},"line":{"type":"integer","minimum":0},"label":{"type":"string","maxLength":4096},"alternatives":{"type":"array","maxItems":128,"items":{"type":"object","additionalProperties":false,"required":["label","nodes"],"properties":{"label":{"type":"string","maxLength":4096},"nodes":{"type":"array","maxItems":128,"items":{"$ref":"#/$defs/measurementNode"}}}}}}}}}}}