safety-case.json

{
  "completeness": {
    "goalsWithEvidence": 2,
    "totalGoals": 6,
    "undeveloped": 4
  },
  "edges": [
    {
      "from": "G1",
      "to": "St1",
      "type": "supportedBy"
    },
    {
      "from": "St1",
      "to": "G3",
      "type": "supportedBy"
    },
    {
      "from": "St1",
      "to": "G5",
      "type": "supportedBy"
    },
    {
      "from": "G1",
      "to": "St2",
      "type": "supportedBy"
    },
    {
      "from": "St2",
      "to": "G2",
      "type": "supportedBy"
    },
    {
      "from": "St2",
      "to": "G4",
      "type": "supportedBy"
    },
    {
      "from": "St2",
      "to": "G6",
      "type": "supportedBy"
    },
    {
      "from": "G2",
      "to": "Sn1",
      "type": "supportedBy"
    },
    {
      "from": "G2",
      "to": "Sn2",
      "type": "supportedBy"
    },
    {
      "from": "G4",
      "to": "Sn3",
      "type": "supportedBy"
    },
    {
      "from": "G4",
      "to": "Sn5",
      "type": "supportedBy"
    },
    {
      "from": "G5",
      "to": "Sn6",
      "type": "supportedBy"
    },
    {
      "from": "G6",
      "to": "Sn4",
      "type": "supportedBy"
    },
    {
      "from": "G3",
      "to": "Sn7",
      "type": "supportedBy"
    },
    {
      "from": "G1",
      "to": "C1",
      "type": "inContextOf"
    },
    {
      "from": "St2",
      "to": "A1",
      "type": "inContextOf"
    },
    {
      "from": "G3",
      "to": "J1",
      "type": "inContextOf"
    }
  ],
  "generatedAt": "2026-08-22T22:19:44Z",
  "kind": "safety-case",
  "language": "cpp",
  "nodes": [
    {
      "id": "G1",
      "status": "undeveloped",
      "text": "cpp-RCP produces conformant, non-fabricated safety evidence for iso26262 ASIL-B",
      "type": "goal"
    },
    {
      "id": "G2",
      "status": "undeveloped",
      "text": "cpp-RCP's own development process satisfies iso26262's tool-confidence-level requirements (ISO 26262-8 Clause 11)",
      "type": "goal"
    },
    {
      "id": "G3",
      "status": "supported",
      "text": "Every generated evidence artifact (fmea/tara/hara/safety-case/sas) passes the §1.6 content-quality baseline (no placeholder text, no blanket qualitative fallback)",
      "type": "goal"
    },
    {
      "id": "G4",
      "status": "undeveloped",
      "text": "Every requirement in .fusa-reqs.json is implemented and independently verified",
      "type": "goal"
    },
    {
      "id": "G5",
      "status": "undeveloped",
      "text": "Static analysis (check/lint/analyze/cyber) reports no unmitigated ERROR findings",
      "type": "goal"
    },
    {
      "id": "G6",
      "status": "supported",
      "text": "cpp-RCP itself is qualified as a verification tool per ISO 26262-8 Clause 11",
      "type": "goal"
    },
    {
      "id": "St1",
      "text": "Argument by direct inspection of generated evidence artifacts",
      "type": "strategy"
    },
    {
      "id": "St2",
      "text": "Argument over independent verification and qualification records",
      "type": "strategy"
    },
    {
      "evidence": "docs/tool-safety-manual.md",
      "id": "Sn1",
      "text": "docs/tool-safety-manual.md — documented development process, scope, and evidence-generation plan",
      "type": "solution"
    },
    {
      "evidence": ".fusa.json",
      "id": "Sn2",
      "text": ".fusa.json — declares the standard/ASIL this project is held to",
      "type": "solution"
    },
    {
      "evidence": ".fusa-reqs.json",
      "id": "Sn3",
      "text": ".fusa-reqs.json — requirement registry with req/test traceability",
      "type": "solution"
    },
    {
      "evidence": "qualify-report.json",
      "id": "Sn4",
      "text": "qualify-report.json — tool qualification cases and pass/fail record",
      "type": "solution"
    },
    {
      "evidence": ".fusa-evidence.json",
      "id": "Sn5",
      "text": ".fusa-evidence.json — collected test execution evidence",
      "type": "solution"
    },
    {
      "evidence": "check-report.json",
      "id": "Sn6",
      "text": "check-report.json — the aggregated finding report `check` produced",
      "type": "solution"
    },
    {
      "evidence": "fmea.json",
      "id": "Sn7",
      "text": "fmea.json / tara.json / .fusa-hara.json — pass the §1.6 quality baseline",
      "type": "solution"
    },
    {
      "id": "C1",
      "text": "Project: cpp-RCP, standard: iso26262 ASIL-B",
      "type": "context"
    },
    {
      "id": "A1",
      "text": "The compiler toolchain used to build cpp-RCP is itself qualified or independently trusted for its intended use",
      "type": "assumption"
    },
    {
      "id": "J1",
      "text": "§1.6.1's FUSA-STUB001/002 heuristics are an automatable proxy for content quality, not a substitute for a human reviewer's judgement — hence §1.6.2's attestation mechanism rather than a purely mechanical gate",
      "type": "justification"
    }
  ],
  "project": "cpp-RCP",
  "projectRoot": "/home/runner/work/cpp-RCP/cpp-RCP",
  "schemaVersion": "1.15.2",
  "standard": "iso26262",
  "tool": "cpp-FuSa",
  "toolVersion": "0.18.0"
}