{"$schema":"https://json-schema.org/draft/2020-12/schema","$id":"https://quantumsoftware.tech/schemas/nm-copilot-result-0.1.schema.json","title":"N/M Verified Copilot Result","type":"object","additionalProperties":false,"required":["format","contractVersion","requestId","status","runnable","source","verification","trace","repairRounds","provider","capabilities","usage","privacy","message"],"properties":{"format":{"const":"nm-copilot-result"},"contractVersion":{"const":"0.1"},"requestId":{"type":"string","minLength":1,"maxLength":128},"status":{"enum":["verified","rejected"]},"runnable":{"type":"boolean"},"source":{"type":"string","maxLength":256000},"verification":{"type":"object","additionalProperties":false,"required":["status","runnable","sourceHash","diagnostics"],"properties":{"status":{"enum":["verified","rejected"]},"runnable":{"type":"boolean"},"sourceHash":{"type":"string","pattern":"^[0-9a-f]{16}$"},"diagnostics":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["code","severity","message"],"properties":{"code":{"type":"string"},"severity":{"enum":["error","warning","info"]},"message":{"type":"string"},"hint":{"type":"string"},"translationKey":{"type":"string"},"translationValues":{"type":"object","additionalProperties":{"anyOf":[{"type":"string"},{"type":"number"}]}},"hintTranslationKey":{"type":"string"},"hintTranslationValues":{"type":"object","additionalProperties":{"anyOf":[{"type":"string"},{"type":"number"}]}},"line":{"type":"integer","minimum":1},"column":{"type":"integer","minimum":1}}}},"engine":{"enum":["statevector","stabilizer"]},"resources":{"type":"object","additionalProperties":false,"required":["qubits","gates","twoQubitGates","depth"],"properties":{"qubits":{"type":"integer","minimum":0,"maximum":5},"gates":{"type":"integer","minimum":0},"twoQubitGates":{"type":"integer","minimum":0},"depth":{"type":"integer","minimum":0}}},"training":{"type":"object","additionalProperties":false,"required":["smokeCost0","smokeCostN","smokeSteps"],"properties":{"smokeCost0":{"type":"number"},"smokeCostN":{"type":"number"},"smokeSteps":{"type":"integer","minimum":1,"maximum":10}}}}},"trace":{"type":"array","maxItems":3,"items":{"type":"object","additionalProperties":false,"required":["round","phase","verification","diagnosticCodes","sourceHash"],"properties":{"round":{"type":"integer","minimum":0,"maximum":2},"phase":{"enum":["generate","repair"]},"verification":{"enum":["verified","rejected"]},"diagnosticCodes":{"type":"array","items":{"type":"string"}},"sourceHash":{"type":"string","pattern":"^[0-9a-f]{16}$"}}}},"repairRounds":{"type":"integer","minimum":0,"maximum":2},"provider":{"type":"object","additionalProperties":false,"required":["id","model","external"],"properties":{"id":{"type":"string"},"model":{"type":"string"},"external":{"type":"boolean"}}},"capabilities":{"type":"array","uniqueItems":true,"items":{"type":"object","additionalProperties":false,"required":["id","status"],"properties":{"id":{"enum":["parser","statevectorRuntime","stabilizerRuntime","sourcePreservingFormatter","turkishSourceSurface","languageServer","multiFileWorkspace","workspaceSnapshots","targetNativeLowering","calibratedPlacement","targetScheduling","quantumJobApi","cli","verifiedCopilot","verifiedTutor","learningPackages","qasm3Export","strictQasm3Carrier","hardwareExecution","trainBlock","adjointGradients","qmlLosses","spsaOptimizer","extendedEncodings","embeddedQmlDatasets","mlStdLibrary","quantumKernels","qaoaRuntime","qngOptimizer","trainingStudio","trainabilityDiagnostics","modelPackages","qmlCopilot","pennylaneExport","mcpServer","sourceDebugger","experimentRecords","localWorkspaceStore","qmlBenchmarks","experimentHistory","qmlTrainingControls","qmlTrainingCheckpoints","typedClassicalValues","targetCapabilityConstraints","functionResults","moduleVisibility","exactImports","propertyAssertions","genericOracles","genericCircuits","qecExperiments","composedNoise","feedForward","typedCollection","comptimeConst","classicalFunctions","parameterGroups","computeApply"]},"status":{"enum":["stable","preview","experimental"]}}}},"usage":{"type":"object","additionalProperties":false,"required":["inputUnits","outputUnits","requests","estimatedCostUsd"],"properties":{"inputUnits":{"type":"number","minimum":0},"outputUnits":{"type":"number","minimum":0},"requests":{"type":"integer","minimum":1,"maximum":3},"estimatedCostUsd":{"type":"number","minimum":0,"maximum":1}}},"privacy":{"type":"object","additionalProperties":false,"required":["promptRetention","sourceRetention","externalProvider"],"properties":{"promptRetention":{"enum":["none","provider-policy"]},"sourceRetention":{"enum":["none","provider-policy"]},"externalProvider":{"type":"boolean"}}},"message":{"type":"string"}}}