{
  "schemaVersion": 1,
  "summary": {
    "requirementCount": 3,
    "completeCount": 2,
    "incompleteCount": 1,
    "findingCount": 3
  },
  "requirements": [
    {
      "id": "REQ-AUDIT-001",
      "title": "Authentication actions are logged",
      "requiredStages": ["doc", "impl", "qc"],
      "stages": {
        "doc": { "complete": true, "evidence": [{ "path": "docs/audit.md", "line": 5 }] },
        "impl": {
          "complete": true,
          "evidence": [
            { "path": "src/audit.cpp", "line": 7 },
            { "path": "src/auth.rs", "line": 4 }
          ]
        },
        "unit": {
          "complete": true,
          "evidence": [{ "path": "tests/auth_test.py", "line": 11 }]
        },
        "int": { "complete": false, "evidence": [] },
        "qc": { "complete": true, "evidence": [{ "path": "docs/audit.md", "line": 8 }] }
      }
    },
    {
      "id": "REQ-LOGIN-001",
      "title": "User can sign in",
      "requiredStages": ["doc", "impl", "unit", "int", "qc"],
      "stages": {
        "doc": { "complete": true, "evidence": [{ "path": "docs/login.md", "line": 1 }] },
        "impl": { "complete": true, "evidence": [{ "path": "src/auth.rs", "line": 4 }] },
        "unit": { "complete": true, "evidence": [{ "path": "tests/auth_test.py", "line": 1 }] },
        "int": { "complete": true, "evidence": [{ "path": "tests/login_e2e.cpp", "line": 2 }] },
        "qc": {
          "complete": true,
          "evidence": [
            { "url": "https://github.com/example/repo/issues/42#issuecomment-1234567890" }
          ]
        }
      }
    },
    {
      "id": "REQ-LOGOUT-001",
      "title": "User can end session",
      "requiredStages": ["doc", "impl", "unit"],
      "stages": {
        "doc": { "complete": true, "evidence": [{ "path": "docs/logout.md", "line": 1 }] },
        "impl": { "complete": false, "evidence": [] },
        "unit": { "complete": true, "evidence": [{ "path": "tests/auth_test.py", "line": 6 }] },
        "int": { "complete": false, "evidence": [] },
        "qc": { "complete": false, "evidence": [] }
      }
    }
  ],
  "findings": [
    {
      "code": "missing_stage",
      "requirementId": "REQ-LOGOUT-001",
      "stage": "impl",
      "message": "Requirement is missing implementation evidence"
    },
    {
      "code": "parse_error",
      "path": "src/audit.cpp",
      "line": 3,
      "message": "Tag-shaped token does not match [stage->REQ-ID]"
    },
    {
      "code": "undeclared_id",
      "requirementId": "REQ-LOGNI-001",
      "path": "src/typos.py",
      "line": 3,
      "message": "Tag references an ID not declared in the manifest"
    }
  ]
}