bundle/v0/configs/gradient_receipt.schema.json

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "type": "object",
  "additionalProperties": false,
  "required": ["schema_version", "kind", "plan_hash", "implementation", "command", "error_definition", "thresholds", "task_selectors", "checks", "all_pass"],
  "properties": {
    "schema_version": {"type": "integer", "const": 1},
    "kind": {"const": "independent_finite_difference_validation"},
    "plan_hash": {"$ref": "#/$defs/prefixedHash"},
    "implementation": {
      "type": "object",
      "additionalProperties": false,
      "required": ["commit", "source_tree_hash", "working_tree_clean"],
      "properties": {
        "commit": {"type": "string", "pattern": "^[0-9a-f]{40}$"},
        "source_tree_hash": {"$ref": "#/$defs/prefixedHash"},
        "working_tree_clean": {"const": true}
      }
    },
    "command": {"type": "array", "minItems": 1, "items": {"type": "string", "minLength": 1}},
    "error_definition": {
      "type": "object",
      "additionalProperties": false,
      "required": ["absolute", "relative", "pass_rule"],
      "properties": {
        "absolute": {"const": "max_absolute_component_difference"},
        "relative": {"const": "l2_difference_over_max_l2_analytic_l2_finite_difference_1e-12"},
        "pass_rule": {"const": "absolute_error_le_threshold_or_relative_error_le_threshold"}
      }
    },
    "thresholds": {
      "type": "object",
      "additionalProperties": false,
      "required": ["absolute_error_max", "relative_error_max"],
      "properties": {
        "absolute_error_max": {"type": "number", "exclusiveMinimum": 0},
        "relative_error_max": {"type": "number", "exclusiveMinimum": 0}
      }
    },
    "task_selectors": {"$ref": "#/$defs/nonemptyUniqueStrings"},
    "checks": {
      "type": "array",
      "minItems": 1,
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": ["task_id", "step", "analytic", "finite_difference", "absolute_error", "relative_error", "passed", "artifact_path", "artifact_sha256"],
        "properties": {
          "task_id": {"type": "string", "minLength": 1},
          "step": {"type": "number", "exclusiveMinimum": 0},
          "analytic": {"$ref": "#/$defs/nonemptyFiniteVector"},
          "finite_difference": {"$ref": "#/$defs/nonemptyFiniteVector"},
          "absolute_error": {"type": "number", "minimum": 0},
          "relative_error": {"type": "number", "minimum": 0},
          "passed": {"type": "boolean"},
          "artifact_path": {"type": "string", "pattern": "^[^/\\\\][^\\\\]*\\.json$"},
          "artifact_sha256": {"$ref": "#/$defs/plainHash"}
        }
      }
    },
    "all_pass": {"type": "boolean"}
  },
  "$defs": {
    "plainHash": {"type": "string", "pattern": "^[0-9a-f]{64}$"},
    "prefixedHash": {"type": "string", "pattern": "^sha256:[0-9a-f]{64}$"},
    "nonemptyUniqueStrings": {"type": "array", "minItems": 1, "uniqueItems": true, "items": {"type": "string", "minLength": 1}},
    "nonemptyFiniteVector": {"type": "array", "minItems": 1, "items": {"type": "number"}}
  }
}