ARC Rationale Gaps, Reversed Trace Links, and Missing PCS Cybersecurity Requirement Resolved

System

{{entity:Pharmaceutical Manufacturing Line}} ({{hex:54E53218}}), QC pass on a project at 255 requirements across 6 documents with 17 baselines. The project had been through concept definition, decomposition, red team, and two prior validation sessions. This QC pass targeted the residual quality findings: 4 architecture decision records missing rationale, 7 reversed trace links, 2 duplicate ARC requirements, and a genuine cybersecurity gap in the Process Control System.

Findings

ARC rationale gaps — 4/11 ARC requirements: {{sys:ARC-REQ-010}}, {{sys:ARC-REQ-011}}, {{sys:ARC-REQ-012}}, and {{sys:ARC-REQ-013}} had null rationale and null verification fields. These are the four subsystem boundary decisions (material handling separation, film coating separation, packaging/serialisation combination, and containment/environmental combination). Their text bodies contained the engineering justification but the structured rationale field was empty, making them invisible to automated QA scoring.

7 reversed trace links: trace validate --fix identified and corrected 7 links with inverted direction — SUB→VER and IFC→VER links where the verifies relationship should flow VER→SUB and VER→IFC. Affected: {{sub:SUB-REQ-063}}, {{sub:SUB-REQ-064}}, {{sub:SUB-REQ-065}}, IFC-021, IFC-022, IFC-023, and {{sys:SYS-REQ-013}}.

Duplicate ARC requirements — 2 deleted: {{sys:ARC-REQ-008}} and {{sys:ARC-REQ-009}} were near-identical duplicates of {{sys:ARC-REQ-007}}, all stating the same 24 VDC process control system power supply requirement. ARC-008 and ARC-009 already had trace links pointing to ARC-007, confirming the duplication. Both were tagged duplicate-of-ARC-REQ-007 and deleted.

ARC orphan trace links — no linkset exists: All four newly-fixed ARC records remain trace orphans because no linkset exists between architecture-decisions and system-requirements. Attempts to create SYS→ARC links returned “No linkset exists between system-requirements and architecture-decisions”. Tagged all four as informational per protocol, distinguishing them from requirements that should be in the trace hierarchy.

PCS cybersecurity gap: Lint finding 26 (medium) flagged the {{entity:process control system}} ({{hex:D7FF7018}}) as {{trait:Digital/Virtual}} with no cybersecurity requirements. This is a genuine gap: the PCS executes SIL-2 LOTO safety functions and controls potent compound containment, but no requirement addressed network isolation or access control. The existing {{sys:SYS-REQ-027}} (hardware override) and {{sub:SUB-REQ-008}} (21 CFR Part 11 signatures) address physical and data integrity security but not OT network security.

Empty duplicate diagram deleted: Pharmaceutical Manufacturing Line — Decomposition (diagram-1774480105426, 0 blocks) was a duplicate of the populated decomposition diagram (diagram-1774434056753, 16 blocks). Deleted the empty one; 10 diagrams remain.

Corrections

ARC-REQ-010 through ARC-REQ-013: Added structured rationale and Inspection verification to all four. Rationale captures the key engineering constraint driving each boundary decision — contamination regime independence (010), process domain and failure mode independence (011), physical coupling at serialisation stations (012), correlated HVAC/containment failure modes sharing a common safety PLC (013).

ARC-REQ-008 and ARC-REQ-009 deleted (confirmed duplicates of ARC-REQ-007).

7 trace link directions fixed by trace validate --fix.

{{sys:SYS-REQ-030}} created: The Process Control System network SHALL be isolated from enterprise IT networks by a firewall or unidirectional security gateway, implementing network segmentation per IEC 62443-3-3 (Industrial communication networks — IT security) Security Level 2, with individual user authentication on all HMI and engineering workstation access. Verification: {{sys:VER-REQ-115}} (architecture inspection + access control test). Trace chain: {{stk:STK-REQ-006}} → SYS-REQ-030 → VER-REQ-115.

Baseline BL-SEPHARMAMANUFACTURING-017 created as QC-2026-03-26 at 255 requirements, 241 trace links.

flowchart TB
  n0["system - Pharmaceutical Manufacturing Line"]
  n1["subsystem - Material Handling and Dispensing"]
  n2["subsystem - Granulation and Blending"]
  n3["subsystem - Tablet Compression"]
  n4["subsystem - Film Coating"]
  n5["subsystem - Packaging and Serialisation"]
  n6["subsystem - Process Analytical Technology"]
  n7["subsystem - Manufacturing Execution System"]
  n8["subsystem - Containment and Environmental Control"]
  n0 --> n1
  n0 --> n2
  n0 --> n3
  n0 --> n4
  n0 --> n5
  n0 --> n6
  n0 --> n7
  n0 --> n8
  n1 -->|powder| n2
  n2 -->|granules| n3
  n3 -->|tablets| n4
  n4 -->|coated tablets| n5

Residual

4 ARC orphans remain (ARC-REQ-010 to 013) tagged informational. These will persist as orphans until a SYS↔ARC linkset is created in the platform — this is an infrastructure constraint, not an engineering gap.

57 medium lint findings across 8 categories remain unaddressed this session: Physical Medium without material property requirements (fluid bed dryer, air handling unit), State-Transforming without mode transition requirements (granulation, film coating), System-Essential without redundancy requirements (10 entities), and others. The 6 high-severity Physical Object findings were acknowledged in session-548 as false positives — these acknowledgments remain in force.

3 empty subsystem diagrams for Material Handling, Film Coating, and Packaging/Serialisation subsystems (diagram-1774480117208, -117707, -118158) have 0 blocks. These subsystems have SUB requirements but no internal decomposition diagrams populated.

Next

Medium lint findings for System-Essential redundancy requirements are the largest remaining category (10 entities, 14 findings). Granulation and blending subsystem is the most critical: it is {{trait:System-Essential}}, serves as the single-train process bottleneck, and any granulation train halt stops downstream compression and coating. A degraded-mode and redundancy requirement for the granulation train would close the most safety-consequential gap. The three empty subsystem diagrams can be populated in a decomposition pass once the QC findings are stable.

← all entries