{
  "reqcov": "0.2.0",
  "generated_at": "2026-09-22 20:47 UTC",
  "git_sha": "cfd4bb7",
  "summary": {
    "total": 6,
    "uncovered": 0,
    "covered": 0,
    "verified": 4,
    "failing": 2,
    "skipped": 0,
    "n/a": 0,
    "test_coverage_pct": 100.0,
    "verified_pct": 66.67,
    "unknown_ids": 0,
    "orphan_tests": 0,
    "errors": 2,
    "warnings": 0
  },
  "requirements": [
    {
      "id": "HLR-1",
      "level": "HLR",
      "title": "CRC-16 computation",
      "parents": [],
      "children": [
        "LLR-10"
      ],
      "verification": "test",
      "req_status": "approved",
      "status": "verified",
      "tests": [
        {
          "req_id": "HLR-1",
          "file": "test/test_crc16.c",
          "line": 7,
          "kind": "test",
          "marker": "req",
          "symbol": "test_crc16_known_vector"
        }
      ],
      "results": [
        {
          "name": "test_crc16_known_vector",
          "classname": "test/test_crc16.c",
          "status": "passed",
          "file": "",
          "message": ""
        }
      ],
      "sources": [],
      "file": "docs/requirements/requirements.yml",
      "line": 0
    },
    {
      "id": "HLR-2",
      "level": "HLR",
      "title": "Frame validation",
      "parents": [],
      "children": [
        "LLR-12"
      ],
      "verification": "test",
      "req_status": "approved",
      "status": "failing",
      "tests": [
        {
          "req_id": "HLR-2",
          "file": "test/test_frame.c",
          "line": 15,
          "kind": "test",
          "marker": "req",
          "symbol": "test_frame_bad_crc_is_rejected"
        }
      ],
      "results": [
        {
          "name": "test_frame_bad_crc_is_rejected",
          "classname": "test/test_frame.c",
          "status": "failed",
          "file": "",
          "message": "Expected 2 Was 0"
        }
      ],
      "sources": [],
      "file": "docs/requirements/requirements.yml",
      "line": 0
    },
    {
      "id": "HLR-3",
      "level": "HLR",
      "title": "Zero-length frames",
      "parents": [],
      "children": [
        "LLR-11"
      ],
      "verification": "test",
      "req_status": "approved",
      "status": "verified",
      "tests": [
        {
          "req_id": "HLR-3",
          "file": "test/test_frame.c",
          "line": 8,
          "kind": "test",
          "marker": "req",
          "symbol": "test_frame_too_short_is_rejected"
        }
      ],
      "results": [
        {
          "name": "test_frame_too_short_is_rejected",
          "classname": "test/test_frame.c",
          "status": "passed",
          "file": "",
          "message": ""
        }
      ],
      "sources": [],
      "file": "docs/requirements/requirements.yml",
      "line": 0
    },
    {
      "id": "LLR-10",
      "level": "LLR",
      "title": "CRC table-less implementation",
      "parents": [
        "HLR-1"
      ],
      "children": [],
      "verification": "test",
      "req_status": "approved",
      "status": "verified",
      "tests": [
        {
          "req_id": "LLR-10",
          "file": "test/test_crc16.c",
          "line": 7,
          "kind": "test",
          "marker": "req",
          "symbol": "test_crc16_known_vector"
        },
        {
          "req_id": "LLR-10",
          "file": "test/test_crc16.c",
          "line": 14,
          "kind": "test",
          "marker": "req",
          "symbol": "test_crc16_empty_buffer_is_seed"
        }
      ],
      "results": [
        {
          "name": "test_crc16_known_vector",
          "classname": "test/test_crc16.c",
          "status": "passed",
          "file": "",
          "message": ""
        },
        {
          "name": "test_crc16_empty_buffer_is_seed",
          "classname": "test/test_crc16.c",
          "status": "passed",
          "file": "",
          "message": ""
        }
      ],
      "sources": [
        {
          "req_id": "LLR-10",
          "file": "src/crc16.c",
          "line": 3,
          "kind": "source",
          "marker": "implements",
          "symbol": "crc16_ccitt"
        }
      ],
      "file": "docs/requirements/requirements.yml",
      "line": 0
    },
    {
      "id": "LLR-11",
      "level": "LLR",
      "title": "Frame length check",
      "parents": [
        "HLR-3"
      ],
      "children": [],
      "verification": "test",
      "req_status": "approved",
      "status": "verified",
      "tests": [
        {
          "req_id": "LLR-11",
          "file": "test/test_frame.c",
          "line": 8,
          "kind": "test",
          "marker": "req",
          "symbol": "test_frame_too_short_is_rejected"
        }
      ],
      "results": [
        {
          "name": "test_frame_too_short_is_rejected",
          "classname": "test/test_frame.c",
          "status": "passed",
          "file": "",
          "message": ""
        }
      ],
      "sources": [
        {
          "req_id": "LLR-11",
          "file": "src/frame.c",
          "line": 4,
          "kind": "source",
          "marker": "implements",
          "symbol": "frame_validate"
        }
      ],
      "file": "docs/requirements/requirements.yml",
      "line": 0
    },
    {
      "id": "LLR-12",
      "level": "LLR",
      "title": "CRC mismatch",
      "parents": [
        "HLR-2"
      ],
      "children": [],
      "verification": "test",
      "req_status": "approved",
      "status": "failing",
      "tests": [
        {
          "req_id": "LLR-12",
          "file": "test/test_frame.c",
          "line": 15,
          "kind": "test",
          "marker": "req",
          "symbol": "test_frame_bad_crc_is_rejected"
        },
        {
          "req_id": "LLR-12",
          "file": "test/test_frame.c",
          "line": 22,
          "kind": "test",
          "marker": "req",
          "symbol": "test_frame_good_crc_is_accepted"
        }
      ],
      "results": [
        {
          "name": "test_frame_bad_crc_is_rejected",
          "classname": "test/test_frame.c",
          "status": "failed",
          "file": "",
          "message": "Expected 2 Was 0"
        },
        {
          "name": "test_frame_good_crc_is_accepted",
          "classname": "test/test_frame.c",
          "status": "passed",
          "file": "",
          "message": ""
        }
      ],
      "sources": [
        {
          "req_id": "LLR-12",
          "file": "src/frame.c",
          "line": 4,
          "kind": "source",
          "marker": "implements",
          "symbol": "frame_validate"
        }
      ],
      "file": "docs/requirements/requirements.yml",
      "line": 0
    }
  ],
  "unknown_ids": [],
  "orphan_tests": [],
  "findings": [
    {
      "severity": "error",
      "code": "TEST_FAILED",
      "message": "HLR-2: 1 linked test(s) failed (test_frame_bad_crc_is_rejected)",
      "file": "docs/requirements/requirements.yml",
      "line": 0
    },
    {
      "severity": "error",
      "code": "TEST_FAILED",
      "message": "LLR-12: 1 linked test(s) failed (test_frame_bad_crc_is_rejected)",
      "file": "docs/requirements/requirements.yml",
      "line": 0
    }
  ],
  "delta": null
}