{
  "reqcov": "0.2.0",
  "generated_at": "2026-09-22 20:47 UTC",
  "git_sha": "cfd4bb7",
  "summary": {
    "total": 4,
    "uncovered": 0,
    "covered": 0,
    "verified": 3,
    "failing": 0,
    "skipped": 0,
    "n/a": 1,
    "test_coverage_pct": 100.0,
    "verified_pct": 100.0,
    "unknown_ids": 0,
    "orphan_tests": 0,
    "errors": 0,
    "warnings": 0
  },
  "requirements": [
    {
      "id": "SWR-1",
      "level": "SWR",
      "title": "The ring buffer shall store up to `capacity` elements",
      "parents": [],
      "children": [],
      "verification": "test",
      "req_status": "approved",
      "status": "verified",
      "tests": [
        {
          "req_id": "SWR-1",
          "file": "test/ring_buffer_test.cpp",
          "line": 4,
          "kind": "test",
          "marker": "verifies",
          "symbol": "RingBuffer.StoresCapacityElements"
        }
      ],
      "results": [
        {
          "name": "StoresCapacityElements",
          "classname": "RingBuffer",
          "status": "passed",
          "file": "",
          "message": ""
        }
      ],
      "sources": [
        {
          "req_id": "SWR-1",
          "file": "src/ring_buffer.hpp",
          "line": 5,
          "kind": "source",
          "marker": "implements",
          "symbol": "RingBuffer"
        }
      ],
      "file": "docs/requirements/SWR.md",
      "line": 3
    },
    {
      "id": "SWR-2",
      "level": "SWR",
      "title": "Pushing into a full buffer shall fail and leave the buffer unchanged",
      "parents": [],
      "children": [],
      "verification": "test",
      "req_status": "approved",
      "status": "verified",
      "tests": [
        {
          "req_id": "SWR-2",
          "file": "test/ring_buffer_test.cpp",
          "line": 10,
          "kind": "test",
          "marker": "verifies",
          "symbol": "RingBuffer.PushOnFullFails"
        }
      ],
      "results": [
        {
          "name": "PushOnFullFails",
          "classname": "RingBuffer",
          "status": "passed",
          "file": "",
          "message": ""
        }
      ],
      "sources": [
        {
          "req_id": "SWR-2",
          "file": "src/ring_buffer.hpp",
          "line": 5,
          "kind": "source",
          "marker": "implements",
          "symbol": "RingBuffer"
        }
      ],
      "file": "docs/requirements/SWR.md",
      "line": 4
    },
    {
      "id": "SWR-3",
      "level": "SWR",
      "title": "Popping from an empty buffer shall fail",
      "parents": [],
      "children": [],
      "verification": "test",
      "req_status": "approved",
      "status": "verified",
      "tests": [
        {
          "req_id": "SWR-3",
          "file": "test/ring_buffer_test.cpp",
          "line": 18,
          "kind": "test",
          "marker": "verifies",
          "symbol": "RingBuffer.PopOnEmptyFails"
        }
      ],
      "results": [
        {
          "name": "PopOnEmptyFails",
          "classname": "RingBuffer",
          "status": "passed",
          "file": "",
          "message": ""
        }
      ],
      "sources": [
        {
          "req_id": "SWR-3",
          "file": "src/ring_buffer.hpp",
          "line": 5,
          "kind": "source",
          "marker": "implements",
          "symbol": "RingBuffer"
        }
      ],
      "file": "docs/requirements/SWR.md",
      "line": 5
    },
    {
      "id": "SWR-4",
      "level": "SWR",
      "title": "The buffer shall be lock-free for a single producer / single consumer",
      "parents": [],
      "children": [],
      "verification": "analysis",
      "req_status": "approved",
      "status": "n/a",
      "tests": [],
      "results": [],
      "sources": [
        {
          "req_id": "SWR-4",
          "file": "src/ring_buffer.hpp",
          "line": 5,
          "kind": "source",
          "marker": "implements",
          "symbol": "RingBuffer"
        }
      ],
      "file": "docs/requirements/SWR.md",
      "line": 6
    }
  ],
  "unknown_ids": [],
  "orphan_tests": [],
  "findings": [],
  "delta": null
}