{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "audit_result.schema.json",
  "title": "Audit Result",
  "type": "object",
  "properties": {
    "task_id": {
      "type": "string"
    },
    "unit_id": {
      "type": "string"
    },
    "pass_id": {
      "type": "string"
    },
    "lens": {
      "type": "string",
      "enum": [
        "correctness",
        "architecture",
        "maintainability",
        "security",
        "reliability",
        "performance",
        "data_integrity",
        "tests",
        "operability",
        "config_deployment",
        "observability"
      ]
    },
    "agent_role": {
      "type": "string"
    },
    "file_coverage": {
      "type": "array",
      "items": {
        "type": "object",
        "properties": {
          "path": {
            "type": "string"
          },
          "total_lines": {
            "type": "integer",
            "minimum": 0
          },
          "reviewed_lines": {
            "type": "integer",
            "minimum": 0
          }
        },
        "required": [
          "path",
          "total_lines"
        ],
        "additionalProperties": false
      },
      "minItems": 1
    },
    "findings": {
      "type": "array",
      "items": {
        "type": "object",
        "properties": {
          "id": {
            "type": "string"
          },
          "title": {
            "type": "string"
          },
          "category": {
            "type": "string",
            "minLength": 1
          },
          "severity": {
            "type": "string",
            "enum": [
              "critical",
              "high",
              "medium",
              "low",
              "info"
            ]
          },
          "confidence": {
            "type": "string",
            "enum": [
              "high",
              "medium",
              "low"
            ]
          },
          "lens": {
            "type": "string",
            "enum": [
              "correctness",
              "architecture",
              "maintainability",
              "security",
              "reliability",
              "performance",
              "data_integrity",
              "tests",
              "operability",
              "config_deployment",
              "observability"
            ],
            "description": "defaults from the enclosing AuditResult lens when omitted."
          },
          "summary": {
            "type": "string"
          },
          "affected_files": {
            "type": "array",
            "items": {
              "type": "object",
              "properties": {
                "path": {
                  "type": "string"
                },
                "line_start": {
                  "type": "integer",
                  "minimum": 1
                },
                "line_end": {
                  "type": "integer",
                  "minimum": 1
                },
                "symbol": {
                  "type": "string"
                },
                "quoted_text": {
                  "type": "string"
                },
                "hash_at_plan_time": {
                  "type": "string"
                }
              },
              "required": [
                "path"
              ],
              "additionalProperties": false
            },
            "minItems": 1
          },
          "impact": {
            "type": "string"
          },
          "likelihood": {
            "type": "string"
          },
          "evidence": {
            "type": "array",
            "items": {
              "type": "string"
            },
            "minItems": 1
          },
          "reproduction": {
            "type": "array",
            "items": {
              "type": "string"
            },
            "minItems": 1
          },
          "systemic": {
            "type": "boolean"
          },
          "related_findings": {
            "type": "array",
            "items": {
              "type": "string"
            },
            "minItems": 1
          },
          "theme_id": {
            "type": "string"
          },
          "blast_radius": {
            "type": "integer",
            "minimum": 0
          },
          "evidence_grounded": {
            "type": "boolean"
          },
          "executable_anchor": {
            "type": "object",
            "properties": {
              "command": {
                "type": "array",
                "items": {
                  "type": "string"
                },
                "minItems": 1
              },
              "confirm_if": {
                "anyOf": [
                  {
                    "type": "object",
                    "properties": {
                      "kind": {
                        "type": "string",
                        "const": "exit_zero"
                      }
                    },
                    "required": [
                      "kind"
                    ],
                    "additionalProperties": false
                  },
                  {
                    "type": "object",
                    "properties": {
                      "kind": {
                        "type": "string",
                        "const": "exit_nonzero"
                      }
                    },
                    "required": [
                      "kind"
                    ],
                    "additionalProperties": false
                  },
                  {
                    "type": "object",
                    "properties": {
                      "kind": {
                        "type": "string",
                        "const": "output_includes"
                      },
                      "text": {
                        "type": "string"
                      }
                    },
                    "required": [
                      "kind",
                      "text"
                    ],
                    "additionalProperties": false
                  },
                  {
                    "type": "object",
                    "properties": {
                      "kind": {
                        "type": "string",
                        "const": "output_excludes"
                      },
                      "text": {
                        "type": "string"
                      }
                    },
                    "required": [
                      "kind",
                      "text"
                    ],
                    "additionalProperties": false
                  }
                ]
              },
              "claim": {
                "type": "string"
              }
            },
            "required": [
              "command",
              "confirm_if"
            ],
            "additionalProperties": false
          },
          "contract_goal_id": {
            "type": "string"
          },
          "contract_obligation_ids": {
            "type": "array",
            "items": {
              "type": "string"
            }
          },
          "verification_obligation_ids": {
            "type": "array",
            "items": {
              "type": "string"
            }
          },
          "targeted_commands": {
            "type": "array",
            "items": {
              "type": "string"
            }
          },
          "analyzer_provenance": {
            "type": "object",
            "properties": {
              "analyzer_id": {
                "type": "string"
              },
              "rule": {
                "type": "string"
              },
              "path": {
                "type": "string"
              },
              "snippet_hash": {
                "type": "string"
              }
            },
            "required": [
              "analyzer_id",
              "path",
              "snippet_hash"
            ],
            "additionalProperties": false,
            "description": "Content-anchored identity of the analyzer lead this finding was born from. Copy it VERBATIM from the injected lead's provenance object; omit for findings not born from an analyzer lead."
          }
        },
        "required": [
          "id",
          "title",
          "category",
          "severity",
          "confidence",
          "summary",
          "affected_files",
          "evidence"
        ],
        "additionalProperties": false
      }
    },
    "reviewed_clean": {
      "type": "boolean"
    },
    "notes": {
      "type": "array",
      "items": {
        "type": "string"
      }
    },
    "requires_followup": {
      "type": "boolean"
    },
    "followup_tasks": {
      "type": "array",
      "items": {
        "type": "string"
      }
    },
    "verification": {
      "type": "object",
      "properties": {
        "verified": {
          "type": "boolean"
        },
        "needs_followup": {
          "type": "boolean"
        },
        "concerns": {
          "type": "array",
          "items": {
            "type": "string"
          }
        },
        "coverage_concerns": {
          "type": "array",
          "items": {
            "type": "string"
          }
        },
        "confidence_concerns": {
          "type": "array",
          "items": {
            "type": "string"
          }
        },
        "followup_tasks": {
          "type": "array",
          "items": {
            "type": "object",
            "properties": {
              "task_id": {
                "type": "string"
              },
              "unit_id": {
                "type": "string"
              },
              "pass_id": {
                "type": "string"
              },
              "lens": {
                "type": "string",
                "enum": [
                  "correctness",
                  "architecture",
                  "maintainability",
                  "security",
                  "reliability",
                  "performance",
                  "data_integrity",
                  "tests",
                  "operability",
                  "config_deployment",
                  "observability"
                ]
              },
              "file_paths": {
                "type": "array",
                "items": {
                  "type": "string"
                },
                "minItems": 1
              },
              "file_line_counts": {
                "type": "object",
                "additionalProperties": {
                  "type": "integer",
                  "minimum": 0
                }
              },
              "line_ranges": {
                "type": "array",
                "items": {
                  "type": "object",
                  "properties": {
                    "path": {
                      "type": "string"
                    },
                    "start": {
                      "type": "integer",
                      "minimum": 1
                    },
                    "end": {
                      "type": "integer",
                      "minimum": 1
                    }
                  },
                  "required": [
                    "path",
                    "start",
                    "end"
                  ],
                  "additionalProperties": false
                }
              },
              "inputs": {
                "type": "object",
                "additionalProperties": {
                  "type": "string"
                }
              },
              "rationale": {
                "type": "string"
              },
              "priority": {
                "type": "string",
                "enum": [
                  "high",
                  "medium",
                  "low"
                ]
              },
              "token_estimate": {
                "type": "number",
                "minimum": 0
              },
              "risk_estimate": {
                "type": "number",
                "minimum": 0,
                "maximum": 1
              },
              "tags": {
                "type": "array",
                "items": {
                  "type": "string"
                },
                "minItems": 1
              },
              "status": {
                "type": "string",
                "enum": [
                  "pending",
                  "complete"
                ]
              },
              "completed_at": {
                "type": "string"
              },
              "completion_reason": {
                "type": "string"
              }
            },
            "required": [
              "task_id",
              "unit_id",
              "pass_id",
              "lens",
              "file_paths",
              "rationale"
            ],
            "additionalProperties": false
          }
        }
      },
      "required": [
        "verified",
        "needs_followup"
      ],
      "additionalProperties": false
    },
    "run_id": {
      "type": "string"
    },
    "submitted_at": {
      "type": "string",
      "format": "date-time"
    },
    "instance_id": {
      "type": "string"
    },
    "identity_key": {
      "type": "string"
    },
    "idempotency_key": {
      "type": "string"
    },
    "emit_source": {
      "type": "string",
      "enum": [
        "base",
        "deepening",
        "steward",
        "redispatch"
      ]
    },
    "attempt": {
      "type": "integer",
      "minimum": 1
    }
  },
  "required": [
    "task_id",
    "unit_id",
    "pass_id",
    "lens",
    "file_coverage",
    "findings"
  ],
  "additionalProperties": false
}