schemas/code-audit.schema.json

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://huggingface.co/buckets/StephaneGSL/kimi-k3-analysis/schemas/code-audit.schema.json",
  "title": "Kimi K3 public-code audit",
  "type": "object",
  "required": ["model", "revision", "scope", "caveat", "findings"],
  "properties": {
    "$schema": {"type": "string"},
    "model": {"const": "moonshotai/Kimi-K3"},
    "revision": {"type": "string", "pattern": "^[0-9a-f]{40}$"},
    "scope": {"type": "string", "minLength": 10},
    "caveat": {"type": "string", "minLength": 20},
    "findings": {
      "type": "array",
      "minItems": 1,
      "items": {
        "type": "object",
        "required": [
          "id",
          "kind",
          "severity",
          "component",
          "evidence",
          "observation",
          "impact",
          "recommendation",
          "confidence"
        ],
        "properties": {
          "id": {"type": "string", "pattern": "^[a-z0-9-]+$"},
          "kind": {"enum": ["strength", "limitation"]},
          "severity": {
            "enum": ["informational", "low", "medium", "high", "critical"]
          },
          "component": {"type": "string", "minLength": 3},
          "evidence": {
            "type": "object",
            "required": ["file", "symbol", "lineStart", "lineEnd"],
            "properties": {
              "file": {"type": "string", "minLength": 1},
              "symbol": {"type": "string", "minLength": 1},
              "lineStart": {"type": "integer", "minimum": 1},
              "lineEnd": {"type": "integer", "minimum": 1}
            },
            "additionalProperties": false
          },
          "observation": {"type": "string", "minLength": 10},
          "impact": {"type": "string", "minLength": 10},
          "recommendation": {"type": "string", "minLength": 10},
          "confidence": {"enum": ["low", "medium", "high"]}
        },
        "additionalProperties": false
      }
    }
  },
  "additionalProperties": false
}