{
  "$schema": "https://json-schema.org/draft/2019-09/schema",
  "definitions": {
    "proof_FloatArray": {
      "type": "object",
      "properties": {
        "values": {
          "type": "array",
          "items": {
            "type": "number"
          }
        }
      },
      "additionalProperties": false
    },
    "proof_UIntArray": {
      "type": "object",
      "properties": {
        "values": {
          "type": "array",
          "items": {
            "type": "integer",
            "minimum": 0,
            "maximum": 4294967295
          }
        }
      },
      "additionalProperties": false
    },
    "proof_Proof": {
      "type": "object",
      "properties": {
        "version": {
          "type": "integer",
          "minimum": 0,
          "maximum": 255
        },
        "tick": {
          "type": "integer",
          "minimum": 0,
          "maximum": 18446744073709551615
        },
        "timestamp": {
          "type": "integer",
          "minimum": 0,
          "maximum": 18446744073709551615
        },
        "target": {
          "type": "array",
          "items": {
            "type": "integer",
            "minimum": 0,
            "maximum": 255
          }
        },
        "vdf": {
          "type": "array",
          "items": {
            "type": "integer",
            "minimum": 0,
            "maximum": 255
          }
        },
        "hash": {
          "type": "array",
          "items": {
            "type": "integer",
            "minimum": 0,
            "maximum": 255
          }
        },
        "block_hash": {
          "type": "array",
          "items": {
            "type": "integer",
            "minimum": 0,
            "maximum": 255
          }
        },
        "header_prefix": {
          "type": "array",
          "items": {
            "type": "integer",
            "minimum": 0,
            "maximum": 255
          }
        },
        "is_solution": {
          "type": "boolean"
        },
        "model_identifier": {
          "type": "string"
        },
        "compute_precision": {
          "type": "string"
        },
        "ipfs_cid": {
          "type": "string"
        },
        "extra_flags": {
          "type": "string"
        },
        "temperature": {
          "type": "number"
        },
        "top_p": {
          "type": "number"
        },
        "top_k": {
          "type": "integer",
          "minimum": 0,
          "maximum": 4294967295
        },
        "repetition_penalty": {
          "type": "number"
        },
        "chosen_tokens": {
          "type": "array",
          "items": {
            "type": "integer",
            "minimum": 0,
            "maximum": 4294967295
          }
        },
        "chosen_probs": {
          "type": "array",
          "items": {
            "type": "number"
          }
        },
        "sampling_u": {
          "type": "array",
          "items": {
            "type": "number"
          }
        },
        "softmax_normalizers": {
          "type": "array",
          "items": {
            "type": "number"
          }
        },
        "prompt_tokens": {
          "type": "array",
          "items": {
            "type": "integer",
            "minimum": 0,
            "maximum": 4294967295
          }
        },
        "pad_mask": {
          "type": "array",
          "items": {
            "type": "boolean"
          }
        },
        "topk_logits": {
          "type": "array",
          "items": {
            "$ref": "#/definitions/proof_FloatArray"
          }
        },
        "topk_indices": {
          "type": "array",
          "items": {
            "$ref": "#/definitions/proof_UIntArray"
          }
        },
        "logsumexp_stats": {
          "type": "array",
          "items": {
            "$ref": "#/definitions/proof_FloatArray"
          }
        }
      },
      "additionalProperties": false
    }
  },
  "$ref": "#/definitions/proof_Proof",
  "title": "proof_Proof"
}