{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://git.transaction.science/Transaction-Science/open-standards/raw/branch/main/wai/wai-quantum/schemas/verdict.v1.json",
  "title": "wai.quantum.verdict/1",
  "description": "How far the engine checked an answer, as one level of an ordered ladder (wai-quantum://docs/verdicts): refused, parsed, executed, evidence, proof; and the layer that decided it, with that layer's limits. A level says how far the engine checked, not that the answer is good: holds says whether the intents held (true, false, or null when none was decided), and layer names what decided them: exact simulation, a stabilizer check, checked rewrites, the answer held to its problem's own checks, agreement of the run's samples with a simulation, samples held to a distribution, physical consistency, random states, or unchecked. A job's result carries one under verdict when the job gives an intent or asks for one, and the receipt seals it; both MCP servers state one beside every answer about a program.",
  "type": "object",
  "required": [
    "schema",
    "level",
    "rank",
    "holds",
    "statement",
    "parsed",
    "executed",
    "intent",
    "critique",
    "repairs"
  ],
  "properties": {
    "schema": {
      "const": "wai.quantum.verdict/1"
    },
    "level": {
      "enum": [
        "refused",
        "parsed",
        "executed",
        "evidence",
        "proof"
      ]
    },
    "rank": {
      "type": "integer",
      "minimum": 0,
      "maximum": 4,
      "description": "The level's place on the ladder, from 0 (refused) to 4 (proof)."
    },
    "holds": {
      "type": [
        "boolean",
        "null"
      ]
    },
    "statement": {
      "type": "string",
      "description": "The level in one plain line."
    },
    "layer": {
      "enum": [
        "unchecked",
        "physical_consistency",
        "samples",
        "agreement",
        "random_states",
        "certificate",
        "reading",
        "pass_equivalence",
        "stabilizer",
        "exact_simulation"
      ],
      "description": "The layer that decided the intents: the weakest of the checks' layers, and unchecked when an intent was not decided or none was given. Absent from a verdict sealed before layers were named."
    },
    "limits": {
      "type": "string",
      "description": "What that layer does not show."
    },
    "parsed": {
      "type": "object",
      "description": "Whether the reader took the program, and its warnings and notes with their codes, or its refusal.",
      "required": [
        "ok"
      ],
      "properties": {
        "ok": {
          "type": "boolean"
        },
        "diagnostics": {
          "type": "array",
          "items": {
            "$ref": "tools.v1.json#/$defs/diagnostic"
          }
        },
        "code": {
          "type": "string"
        },
        "outcome": {
          "enum": [
            "refused",
            "retry",
            "failed",
            "lowered",
            "carried",
            "preserved",
            "warned",
            "dropped",
            "defaulted"
          ]
        },
        "message": {
          "type": "string"
        },
        "line": {
          "type": "integer",
          "minimum": 1
        },
        "column": {
          "type": "integer",
          "minimum": 1
        },
        "length": {
          "type": "integer",
          "minimum": 0
        },
        "text": {
          "type": "string",
          "description": "The refusal as the reader wrote it, with its line and code."
        }
      }
    },
    "executed": {
      "type": [
        "object",
        "null"
      ],
      "description": "The method that ran and its accuracy class, and the distance a compile put between the program and what ran.",
      "properties": {
        "method": {
          "type": "string"
        },
        "accuracy": {
          "type": [
            "string",
            "null"
          ]
        },
        "compiled_distance": {
          "type": [
            "number",
            "null"
          ]
        }
      }
    },
    "intent": {
      "type": "array",
      "items": {
        "$ref": "#/$defs/check"
      }
    },
    "critique": {
      "type": "array",
      "description": "The program's smells, each with its lines.",
      "items": {
        "type": "object"
      }
    },
    "repairs": {
      "type": "array",
      "description": "Each edit a repair made, with the code it answered and the lines it changed.",
      "items": {
        "type": "object"
      }
    },
    "refusal": {
      "type": "object",
      "description": "For a refused job: its message and its codes.",
      "properties": {
        "message": {
          "type": "string"
        },
        "code": {
          "type": [
            "string",
            "null"
          ]
        },
        "codes": {
          "type": "array",
          "items": {
            "type": "string"
          }
        },
        "outcome": {
          "enum": [
            "refused",
            "retry",
            "failed",
            "lowered",
            "carried",
            "preserved",
            "warned",
            "dropped",
            "defaulted"
          ]
        },
        "meaning": {
          "type": "string"
        }
      }
    },
    "sealed": {
      "type": "boolean"
    }
  },
  "$defs": {
    "check": {
      "type": "object",
      "description": "One intent's check: what it asked, whether it held, how strong the check was, how it was made, the layer it stands on and that layer's limits.",
      "required": [
        "kind",
        "outcome",
        "strength",
        "how"
      ],
      "properties": {
        "kind": {
          "enum": [
            "distribution",
            "equivalent",
            "prepares",
            "sampled",
            "compiled",
            "expectation",
            "outcomes",
            "conserves",
            "counts",
            "agrees",
            "landscape"
          ]
        },
        "outcome": {
          "enum": [
            "holds",
            "fails",
            "unchecked"
          ]
        },
        "strength": {
          "enum": [
            "proof",
            "evidence",
            "none"
          ]
        },
        "how": {
          "type": "string"
        },
        "layer": {
          "enum": [
            "unchecked",
            "physical_consistency",
            "samples",
            "agreement",
            "random_states",
            "certificate",
            "reading",
            "pass_equivalence",
            "stabilizer",
            "exact_simulation"
          ],
          "description": "The layer the check stands on: unchecked when it was not decided."
        },
        "limits": {
          "type": "string",
          "description": "What that layer does not show."
        },
        "why": {
          "type": "string"
        },
        "distance": {
          "type": "number"
        },
        "tolerance": {
          "type": "number"
        },
        "observable": {
          "type": "string",
          "description": "An expectation intent: the observable."
        },
        "value": {
          "type": "number",
          "description": "An expectation intent: the observable's exact value on the program's state."
        },
        "expected": {
          "type": "number",
          "description": "An expectation intent: the value the intent states."
        },
        "outside": {
          "type": "number",
          "description": "An outcomes or a conserves intent: how much lies outside, as probability of the exact distribution or as a fraction of the samples."
        },
        "samples": {
          "type": "integer",
          "description": "An outcomes or a conserves intent checked on the job's counts: how many samples."
        },
        "said": {
          "type": "string",
          "description": "An energy-landscape job's own word: solved, missed, failed or unchecked."
        },
        "outcomes": {
          "type": "integer",
          "description": "The outcomes the distribution holds, or the samples' distinct outcomes."
        },
        "distribution": {
          "type": "object",
          "additionalProperties": {
            "type": "number"
          },
          "description": "The program's distribution, when its outcomes are few enough to list."
        },
        "largest_gaps": {
          "type": "array",
          "items": {
            "type": "object",
            "properties": {
              "outcome": {
                "type": "string"
              },
              "program": {
                "type": "number"
              },
              "intent": {
                "type": "number"
              }
            }
          }
        },
        "global_phase": {
          "type": [
            "number",
            "null"
          ]
        },
        "method": {
          "type": "string",
          "description": "A sampled intent: the method the samples were run by."
        },
        "seed": {
          "type": "integer"
        },
        "shots": {
          "type": "integer"
        },
        "alpha": {
          "type": "number"
        },
        "fit": {
          "type": "object",
          "description": "A sampled intent: the test, its statistic, degrees of freedom and p-value, the level, and whether it rejected.",
          "properties": {
            "test": {
              "type": "string"
            },
            "statistic": {
              "type": "number"
            },
            "dof": {
              "type": "integer"
            },
            "p_value": {
              "type": "number"
            },
            "alpha": {
              "type": "number"
            },
            "shots": {
              "type": "integer"
            },
            "rejected": {
              "type": "boolean"
            },
            "smallest_expected": {
              "type": [
                "number",
                "null"
              ]
            },
            "impossible": {
              "type": [
                "integer",
                "array",
                "boolean"
              ],
              "description": "The outcomes sampled that the stated distribution gives probability 0: the first 64, in order."
            },
            "impossible_outcomes": {
              "type": "integer",
              "description": "How many outcomes sampled the stated distribution gives probability 0."
            },
            "note": {
              "type": "string"
            }
          }
        },
        "counts": {
          "type": "object",
          "additionalProperties": {
            "type": "integer"
          }
        },
        "name": {
          "type": "string"
        },
        "note": {
          "type": "string"
        }
      }
    }
  }
}