fix: fusa-asil-b CI gate — pin cpp-FuSa v0.17.1, stop wiping requirements, enforce real gap thresholds

.fusa-reqs.json

@@ -609,6 +609,54 @@
       "rationale": "Slaves must be able to update responses (e.g., refreshed sensor values) without removing and re-registering.",
       "tags": ["slave", "update"]
     },
+    {
+      "id": "REQ-CLI-001",
+      "title": "version command reports tool/protocol/spec_version fields",
+      "description": "cmd_version's json and text renderings shall include tool, protocol, version, spec_version, language, and runtime fields per RELAY spec §12.1.",
+      "asil": "ASIL-B",
+      "rationale": "Integrators must be able to programmatically confirm which cpp-lin build and RELAY spec version a binary implements.",
+      "tags": ["cli"]
+    },
+    {
+      "id": "REQ-CLI-002",
+      "title": "capabilities command reports transports/features/interfaces",
+      "description": "capabilities_json() shall report kind, tool, protocol, version, spec_version, commands, transports, features, interfaces, optional_interfaces, and adapt per RELAY spec §12.2.",
+      "asil": "ASIL-B",
+      "rationale": "Downstream tooling (e.g. relay conform) discovers a binary's supported feature set from this document.",
+      "tags": ["cli"]
+    },
+    {
+      "id": "REQ-CLI-003",
+      "title": "status command reports health/connection fields",
+      "description": "cmd_status's json and text renderings shall include protocol, tool, version, healthy, connected, endpoint, and details fields per RELAY spec §12.3.",
+      "asil": "ASIL-B",
+      "rationale": "Operators and orchestration tooling need a machine-readable liveness/health signal.",
+      "tags": ["cli"]
+    },
+    {
+      "id": "REQ-CLI-004",
+      "title": "parse_frame_json parses a LIN frame from JSON",
+      "description": "parse_frame_json shall extract id, data, checksum_type, and checksum from a JSON object and throw on a missing or invalid id field.",
+      "asil": "ASIL-B",
+      "rationale": "The CLI's frame-publish path depends on correctly reconstructing a lin::Frame from user-supplied JSON.",
+      "tags": ["cli", "json"]
+    },
+    {
+      "id": "REQ-CLI-005",
+      "title": "message_to_json serialises a RELAY Message to JSON",
+      "description": "message_to_json shall serialise protocol, version, id, base64 payload, timestamp, and (when present) seq/meta fields.",
+      "asil": "ASIL-B",
+      "rationale": "relay conform and downstream consumers depend on a spec-conformant JSON rendering of RELAY messages.",
+      "tags": ["cli", "json"]
+    },
+    {
+      "id": "REQ-CLI-006",
+      "title": "convert command rejects RELAY error-vector inputs per spec",
+      "description": "cmd_convert (and the underlying conversion path) shall reject inputs matching RELAY's published error vectors (e.g. ID overflow, wrong checksum) rather than silently accepting them.",
+      "asil": "ASIL-B",
+      "rationale": "RELAY spec §20 continuous conformance requires a conformant implementation to exercise the reject path, not only the happy path.",
+      "tags": ["cli", "conformance"]
+    },
     {
       "id": "REQ-SAFETY-001",
       "title": "DataID embedded in header bytes 0-1",

.fusa.json

@@ -7,7 +7,9 @@
   },
   "sourceDirs": [
     "src",
-    "include"
+    "include",
+    "tests",
+    "cli"
   ],
   "standard": "iso26262",
   "strict": false

.github/workflows/ci.yml

@@ -234,7 +234,7 @@ jobs:
         with:
           repository: SoundMatt/cpp-FuSa
           path: cpp-FuSa
-          ref: v0.15.0
+          ref: v0.17.1
 
       - name: Install tools
         run: sudo apt-get update -qq && sudo apt-get install -y cmake ninja-build zip
@@ -247,9 +247,13 @@ jobs:
             -G Ninja
           cmake --build cpp-FuSa/build --parallel
 
-      - name: cpfusa init
-        working-directory: cpp-LIN
-        run: ../cpp-FuSa/build/cpfusa init --name cpp-LIN --standard iso26262 --asil ASIL-B --project-version 0.4.0 --force || true
+      # No `cpfusa init` step: .fusa.json and .fusa-reqs.json are real,
+      # populated, checked-in files (the latter is 50+ KB of hand-maintained
+      # REQ-* entries). `init --force` unconditionally overwrote both with
+      # an empty scaffold before the traceability step ever ran, so CI's
+      # requirements coverage was always computed against zero requirements
+      # regardless of the repo's real state (cpp-LIN#19). `init` is only
+      # needed for first-time local setup, where these files don't exist yet.
 
       - name: cpfusa check
         working-directory: cpp-LIN
@@ -275,22 +279,12 @@ jobs:
         working-directory: cpp-LIN
         run: ../cpp-FuSa/build/cpfusa hara init --project cpp-LIN --dir . || true
 
-      - name: cpfusa iso26262 (ASIL-B)
-        working-directory: cpp-LIN
-        run: |
-          ../cpp-FuSa/build/cpfusa iso26262 \
-            --asil ASIL-B \
-            --output iso26262-gap-report.json \
-            --dir . || true
-
-      - name: cpfusa iec61508 (SIL-2)
-        working-directory: cpp-LIN
-        run: |
-          ../cpp-FuSa/build/cpfusa iec61508 \
-            --sil SIL-2 \
-            --output iec61508-gap-report.json \
-            --dir . || true
-
+      # boundary/tara/fmea/safety-case/sas/sci run BEFORE the iso26262/
+      # iec61508 gap analyses below: several ISO 26262/IEC 61508 objectives
+      # (e.g. §9-2.1 Safety case, §10.4 SCI) are graded by cpfusa on whether
+      # safety-case.json/sci.json etc. already exist on disk. Gap-checking
+      # before generating them undercounted objectives this repo actually
+      # addresses.
       - name: cpfusa boundary
         working-directory: cpp-LIN
         run: ../cpp-FuSa/build/cpfusa boundary --dir .
@@ -315,6 +309,47 @@ jobs:
         working-directory: cpp-LIN
         run: ../cpp-FuSa/build/cpfusa sci --dir .
 
+      # These gates enforce a documented, currently-achieved baseline gap
+      # count rather than requiring zero gaps outright: cpfusa v0.17.1 has
+      # no evidence-detection logic at all for several objectives (e.g. §6.1
+      # Software architectural design, §8-6.2 Safety manual — see cpp-FuSa
+      # src/iso26262/iso26262.cpp's detect_status(), which falls through to
+      # Status::Gap unconditionally for those IDs regardless of what evidence
+      # exists), so a "0 gaps" target is not achievable with this tool
+      # version no matter how complete this repo's safety documentation is.
+      # The gate below still turns this into a real, enforced check: it
+      # fails the build if the gap count *regresses* past the current
+      # baseline, rather than being structurally unable to fail at all
+      # (cpp-LIN#20). See SAFETY_PLAN.md for this repo's ASIL-B *target*
+      # framing (SEooC, not a completed-certification claim).
+      - name: cpfusa iso26262 (ASIL-B)
+        working-directory: cpp-LIN
+        run: |
+          ../cpp-FuSa/build/cpfusa iso26262 \
+            --asil ASIL-B \
+            --output iso26262-gap-report.json \
+            --dir .
+          GAPS=$(jq '.summary.gaps' iso26262-gap-report.json)
+          echo "ISO 26262 gaps: ${GAPS} (baseline: 13)"
+          if [ "${GAPS}" -gt 13 ]; then
+            echo "::error::ISO 26262 gap count ${GAPS} exceeds baseline of 13 — see iso26262-gap-report.json"
+            exit 1
+          fi
+
+      - name: cpfusa iec61508 (SIL-2)
+        working-directory: cpp-LIN
+        run: |
+          ../cpp-FuSa/build/cpfusa iec61508 \
+            --sil SIL-2 \
+            --output iec61508-gap-report.json \
+            --dir .
+          GAPS=$(jq '.summary.gaps' iec61508-gap-report.json)
+          echo "IEC 61508 gaps: ${GAPS} (baseline: 11)"
+          if [ "${GAPS}" -gt 11 ]; then
+            echo "::error::IEC 61508 gap count ${GAPS} exceeds baseline of 11 — see iec61508-gap-report.json"
+            exit 1
+          fi
+
       - name: cpfusa badge
         working-directory: cpp-LIN
         run: ../cpp-FuSa/build/cpfusa badge --dir .
@@ -435,7 +470,7 @@ jobs:
         with:
           repository: SoundMatt/cpp-FuSa
           path: cpp-FuSa
-          ref: v0.15.0
+          ref: v0.17.1
 
       - name: Install tools
         run: sudo apt-get update -qq && sudo apt-get install -y cmake ninja-build
@@ -448,9 +483,8 @@ jobs:
             -G Ninja
           cmake --build cpp-FuSa/build --parallel
 
-      - name: cpfusa init
-        working-directory: cpp-LIN
-        run: ../cpp-FuSa/build/cpfusa init --name cpp-LIN --standard iso26262 --asil ASIL-B --project-version 0.4.0 --force || true
+      # No `cpfusa init` step here either — see the fusa-asil-b job's note
+      # (cpp-LIN#19): .fusa.json/.fusa-reqs.json are already checked in.
 
       - name: Generate SARIF report
         working-directory: cpp-LIN

README.md

@@ -1,12 +1,20 @@
 # cpp-LIN
 
-C++ LIN bus library — RELAY-conformant, ISO 26262 ASIL-B.
+C++ LIN bus library — RELAY-conformant, ISO 26262 ASIL-B target (SEooC).
 
 [![CI](https://github.com/SoundMatt/cpp-LIN/actions/workflows/ci.yml/badge.svg)](https://github.com/SoundMatt/cpp-LIN/actions/workflows/ci.yml)
 [![RELAY Conformant](https://img.shields.io/badge/RELAY-v1.11%20conformant-blue)](https://github.com/SoundMatt/RELAY)
-[![ASIL-B](https://img.shields.io/badge/ISO%2026262-ASIL--B-orange)](SAFETY_PLAN.md)
+[![ASIL-B target](https://img.shields.io/badge/ISO%2026262-ASIL--B%20target-yellow)](SAFETY_PLAN.md)
 [![License: MPL 2.0](https://img.shields.io/badge/License-MPL%202.0-brightgreen.svg)](LICENSE)
 
+cpp-LIN is a Safety Element out of Context (SEooC, ISO 26262-10 §9) targeting
+ASIL-B, not a completed third-party certification. CI runs `cpfusa iso26262`/
+`cpfusa iec61508` gap analyses on every build and gates on non-regression
+against a documented baseline (`.github/workflows/ci.yml`'s `fusa-asil-b`
+job); see `iso26262-gap-report.json`/`iec61508-gap-report.json` in that job's
+uploaded evidence artifacts for the current, honest gap count rather than
+treating the badge above as a completeness claim.
+
 ## Overview
 
 cpp-LIN is a production-quality C++ implementation of the LIN (Local Interconnect

requirements/requirements.json

@@ -84,6 +84,12 @@
     {"id": "REQ-SLAVE-006",  "title": "subscribe delegates to bus",                 "asil": "ASIL-B", "tags": ["slave"]},
     {"id": "REQ-SLAVE-007",  "title": "registered_ids returns empty slice when none", "asil": "ASIL-B", "tags": ["slave", "boundary"]},
     {"id": "REQ-SLAVE-008",  "title": "set_response overwrites previous registration", "asil": "ASIL-B", "tags": ["slave", "update"]},
+    {"id": "REQ-CLI-001",    "title": "version command reports tool/protocol/spec_version fields", "asil": "ASIL-B", "tags": ["cli"]},
+    {"id": "REQ-CLI-002",    "title": "capabilities command reports transports/features/interfaces", "asil": "ASIL-B", "tags": ["cli"]},
+    {"id": "REQ-CLI-003",    "title": "status command reports health/connection fields", "asil": "ASIL-B", "tags": ["cli"]},
+    {"id": "REQ-CLI-004",    "title": "parse_frame_json parses a LIN frame from JSON",  "asil": "ASIL-B", "tags": ["cli", "json"]},
+    {"id": "REQ-CLI-005",    "title": "message_to_json serialises a RELAY Message to JSON", "asil": "ASIL-B", "tags": ["cli", "json"]},
+    {"id": "REQ-CLI-006",    "title": "convert command rejects RELAY error-vector inputs per spec", "asil": "ASIL-B", "tags": ["cli", "conformance"]},
     {"id": "REQ-SAFETY-001", "title": "DataID embedded in header bytes 0-1",       "asil": "ASIL-B", "tags": ["safety", "header"]},
     {"id": "REQ-SAFETY-002", "title": "SourceID embedded in header bytes 2-3",     "asil": "ASIL-B", "tags": ["safety", "header"]},
     {"id": "REQ-SAFETY-003", "title": "SequenceCounter starts at 0 and increments", "asil": "ASIL-B", "tags": ["safety", "counter"]},