@memoarchitect/ontology 0.8.22 → 0.10.9

package/src/artifacts/standards/iso_13485.sysml

@@ -10,104 +10,95 @@ package memo_artifacts_standards_iso_13485 {
     private import memo_core_relationships::*;
     private import memo_artifacts_standards_traceability::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     item iso13485 : RegulatoryStandard {
-        attribute :>> id = "STD-ISO-13485";
+        @MemoIdentity { :>> providedId = "STD-ISO-13485"; }
         attribute :>> name = "ISO13485";
         attribute :>> designation = "ISO 13485:2016";
         attribute :>> edition = "2016";
         attribute :>> issuer = "ISO";
         attribute :>> appliesToRegime = (RegulatoryRegimeKind::CE, RegulatoryRegimeKind::MDR, RegulatoryRegimeKind::UKCA);
+        item iso13485Clause4 : StandardClause {
+            @MemoIdentity { :>> providedId = "STD-ISO-13485-4"; }
+            attribute :>> name = "ISO13485Clause4";
+            attribute :>> clauseNumber = "4";
+            attribute :>> title = "quality management system";
+            attribute :>> normativeStrength = "shall";
+            item iso13485Clause4_2 : StandardClause {
+                @MemoIdentity { :>> providedId = "STD-ISO-13485-4-2"; }
+                attribute :>> name = "ISO13485Clause4_2";
+                attribute :>> clauseNumber = "4.2";
+                attribute :>> title = "quality management system documentation";
+                attribute :>> normativeStrength = "shall";
+                item iso13485Clause4_2_4 : StandardClause {
+                    @MemoIdentity { :>> providedId = "STD-ISO-13485-4-2-4"; }
+                    attribute :>> name = "ISO13485Clause4_2_4";
+                    attribute :>> clauseNumber = "4.2.4";
+                    attribute :>> title = "control of documents";
+                    attribute :>> normativeStrength = "shall";
+                }
+            }
+        }
+        item iso13485Clause7 : StandardClause {
+            @MemoIdentity { :>> providedId = "STD-ISO-13485-7"; }
+            attribute :>> name = "ISO13485Clause7";
+            attribute :>> clauseNumber = "7";
+            attribute :>> title = "product realization";
+            attribute :>> normativeStrength = "shall";
+            item iso13485Clause7_3 : StandardClause {
+                @MemoIdentity { :>> providedId = "STD-ISO-13485-7-3"; }
+                attribute :>> name = "ISO13485Clause7_3";
+                attribute :>> clauseNumber = "7.3";
+                attribute :>> title = "design and development";
+                attribute :>> normativeStrength = "shall";
+                item iso13485Clause7_3_3 : StandardClause {
+                    @MemoIdentity { :>> providedId = "STD-ISO-13485-7-3-3"; }
+                    attribute :>> name = "ISO13485Clause7_3_3";
+                    attribute :>> clauseNumber = "7.3.3";
+                    attribute :>> title = "design and development inputs";
+                    attribute :>> normativeStrength = "shall";
+                }
+                item iso13485Clause7_3_4 : StandardClause {
+                    @MemoIdentity { :>> providedId = "STD-ISO-13485-7-3-4"; }
+                    attribute :>> name = "ISO13485Clause7_3_4";
+                    attribute :>> clauseNumber = "7.3.4";
+                    attribute :>> title = "design and development outputs";
+                    attribute :>> normativeStrength = "shall";
+                }
+                item iso13485Clause7_3_6 : StandardClause {
+                    @MemoIdentity { :>> providedId = "STD-ISO-13485-7-3-6"; }
+                    attribute :>> name = "ISO13485Clause7_3_6";
+                    attribute :>> clauseNumber = "7.3.6";
+                    attribute :>> title = "design and development verification";
+                    attribute :>> normativeStrength = "shall";
+                }
+                item iso13485Clause7_3_7 : StandardClause {
+                    @MemoIdentity { :>> providedId = "STD-ISO-13485-7-3-7"; }
+                    attribute :>> name = "ISO13485Clause7_3_7";
+                    attribute :>> clauseNumber = "7.3.7";
+                    attribute :>> title = "design and development validation";
+                    attribute :>> normativeStrength = "shall";
+                }
+                item iso13485Clause7_3_9 : StandardClause {
+                    @MemoIdentity { :>> providedId = "STD-ISO-13485-7-3-9"; }
+                    attribute :>> name = "ISO13485Clause7_3_9";
+                    attribute :>> clauseNumber = "7.3.9";
+                    attribute :>> title = "control of design and development changes";
+                    attribute :>> normativeStrength = "shall";
+                }
+                item iso13485Clause7_3_10 : StandardClause {
+                    @MemoIdentity { :>> providedId = "STD-ISO-13485-7-3-10"; }
+                    attribute :>> name = "ISO13485Clause7_3_10";
+                    attribute :>> clauseNumber = "7.3.10";
+                    attribute :>> title = "design and development files";
+                    attribute :>> normativeStrength = "shall";
+                }
+            }
+        }
     }
 
-    item iso13485Clause4 : StandardClause {
-        attribute :>> id = "STD-ISO-13485-4";
-        attribute :>> name = "ISO13485Clause4";
-        attribute :>> clauseNumber = "4";
-        attribute :>> title = "quality management system";
-        attribute :>> normativeStrength = "shall";
-    }
-    item iso13485Clause4_2 : StandardClause {
-        attribute :>> id = "STD-ISO-13485-4-2";
-        attribute :>> name = "ISO13485Clause4_2";
-        attribute :>> clauseNumber = "4.2";
-        attribute :>> title = "quality management system documentation";
-        attribute :>> normativeStrength = "shall";
-    }
-    item iso13485Clause4_2_4 : StandardClause {
-        attribute :>> id = "STD-ISO-13485-4-2-4";
-        attribute :>> name = "ISO13485Clause4_2_4";
-        attribute :>> clauseNumber = "4.2.4";
-        attribute :>> title = "control of documents";
-        attribute :>> normativeStrength = "shall";
-    }
-    item iso13485Clause7 : StandardClause {
-        attribute :>> id = "STD-ISO-13485-7";
-        attribute :>> name = "ISO13485Clause7";
-        attribute :>> clauseNumber = "7";
-        attribute :>> title = "product realization";
-        attribute :>> normativeStrength = "shall";
-    }
-    item iso13485Clause7_3 : StandardClause {
-        attribute :>> id = "STD-ISO-13485-7-3";
-        attribute :>> name = "ISO13485Clause7_3";
-        attribute :>> clauseNumber = "7.3";
-        attribute :>> title = "design and development";
-        attribute :>> normativeStrength = "shall";
-    }
-    item iso13485Clause7_3_3 : StandardClause {
-        attribute :>> id = "STD-ISO-13485-7-3-3";
-        attribute :>> name = "ISO13485Clause7_3_3";
-        attribute :>> clauseNumber = "7.3.3";
-        attribute :>> title = "design and development inputs";
-        attribute :>> normativeStrength = "shall";
-    }
-    item iso13485Clause7_3_4 : StandardClause {
-        attribute :>> id = "STD-ISO-13485-7-3-4";
-        attribute :>> name = "ISO13485Clause7_3_4";
-        attribute :>> clauseNumber = "7.3.4";
-        attribute :>> title = "design and development outputs";
-        attribute :>> normativeStrength = "shall";
-    }
-    item iso13485Clause7_3_6 : StandardClause {
-        attribute :>> id = "STD-ISO-13485-7-3-6";
-        attribute :>> name = "ISO13485Clause7_3_6";
-        attribute :>> clauseNumber = "7.3.6";
-        attribute :>> title = "design and development verification";
-        attribute :>> normativeStrength = "shall";
-    }
-    item iso13485Clause7_3_7 : StandardClause {
-        attribute :>> id = "STD-ISO-13485-7-3-7";
-        attribute :>> name = "ISO13485Clause7_3_7";
-        attribute :>> clauseNumber = "7.3.7";
-        attribute :>> title = "design and development validation";
-        attribute :>> normativeStrength = "shall";
-    }
-    item iso13485Clause7_3_9 : StandardClause {
-        attribute :>> id = "STD-ISO-13485-7-3-9";
-        attribute :>> name = "ISO13485Clause7_3_9";
-        attribute :>> clauseNumber = "7.3.9";
-        attribute :>> title = "control of design and development changes";
-        attribute :>> normativeStrength = "shall";
-    }
-    item iso13485Clause7_3_10 : StandardClause {
-        attribute :>> id = "STD-ISO-13485-7-3-10";
-        attribute :>> name = "ISO13485Clause7_3_10";
-        attribute :>> clauseNumber = "7.3.10";
-        attribute :>> title = "design and development files";
-        attribute :>> normativeStrength = "shall";
-    }
 
-    connection iso13485Has4 : Composes connect parent ::> iso13485 to child ::> iso13485Clause4;
-    connection iso13485Has7 : Composes connect parent ::> iso13485 to child ::> iso13485Clause7;
 
-    connection iso13485Has4_2 : Composes connect parent ::> iso13485Clause4 to child ::> iso13485Clause4_2;
-    connection iso13485Has4_2_4 : Composes connect parent ::> iso13485Clause4_2 to child ::> iso13485Clause4_2_4;
 
-    connection iso13485Has7_3 : Composes connect parent ::> iso13485Clause7 to child ::> iso13485Clause7_3;
-    connection iso13485Has7_3_3 : Composes connect parent ::> iso13485Clause7_3 to child ::> iso13485Clause7_3_3;
-    connection iso13485Has7_3_4 : Composes connect parent ::> iso13485Clause7_3 to child ::> iso13485Clause7_3_4;
-    connection iso13485Has7_3_6 : Composes connect parent ::> iso13485Clause7_3 to child ::> iso13485Clause7_3_6;
-    connection iso13485Has7_3_7 : Composes connect parent ::> iso13485Clause7_3 to child ::> iso13485Clause7_3_7;
-    connection iso13485Has7_3_9 : Composes connect parent ::> iso13485Clause7_3 to child ::> iso13485Clause7_3_9;
-    connection iso13485Has7_3_10 : Composes connect parent ::> iso13485Clause7_3 to child ::> iso13485Clause7_3_10;
 }

package/src/artifacts/standards/iso_14971.sysml

@@ -8,87 +8,80 @@ package memo_artifacts_standards_iso_14971 {
     private import memo_core_relationships::*;
     private import memo_artifacts_standards_traceability::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     item iso14971 : RegulatoryStandard {
-        attribute :>> id = "STD-ISO-14971";
+        @MemoIdentity { :>> providedId = "STD-ISO-14971"; }
         attribute :>> name = "ISO14971";
         attribute :>> designation = "ISO 14971:2019";
         attribute :>> edition = "2019";
         attribute :>> issuer = "ISO";
         attribute :>> appliesToRegime = (RegulatoryRegimeKind::CE, RegulatoryRegimeKind::MDR, RegulatoryRegimeKind::UKCA, RegulatoryRegimeKind::FDA_510k, RegulatoryRegimeKind::FDA_PMA);
+        item iso14971Clause4 : StandardClause {
+            @MemoIdentity { :>> providedId = "STD-ISO-14971-4"; }
+            attribute :>> name = "ISO14971Clause4";
+            attribute :>> clauseNumber = "4";
+            attribute :>> title = "general requirements for the risk management system";
+            attribute :>> normativeStrength = "shall";
+            item iso14971Clause4_4 : StandardClause {
+                @MemoIdentity { :>> providedId = "STD-ISO-14971-4-4"; }
+                attribute :>> name = "ISO14971Clause4_4";
+                attribute :>> clauseNumber = "4.4";
+                attribute :>> title = "risk management plan";
+                attribute :>> normativeStrength = "shall";
+            }
+            item iso14971Clause4_5 : StandardClause {
+                @MemoIdentity { :>> providedId = "STD-ISO-14971-4-5"; }
+                attribute :>> name = "ISO14971Clause4_5";
+                attribute :>> clauseNumber = "4.5";
+                attribute :>> title = "risk management file";
+                attribute :>> normativeStrength = "shall";
+            }
+        }
+        item iso14971Clause5 : StandardClause {
+            @MemoIdentity { :>> providedId = "STD-ISO-14971-5"; }
+            attribute :>> name = "ISO14971Clause5";
+            attribute :>> clauseNumber = "5";
+            attribute :>> title = "risk analysis";
+            attribute :>> normativeStrength = "shall";
+        }
+        item iso14971Clause6 : StandardClause {
+            @MemoIdentity { :>> providedId = "STD-ISO-14971-6"; }
+            attribute :>> name = "ISO14971Clause6";
+            attribute :>> clauseNumber = "6";
+            attribute :>> title = "risk evaluation";
+            attribute :>> normativeStrength = "shall";
+        }
+        item iso14971Clause7 : StandardClause {
+            @MemoIdentity { :>> providedId = "STD-ISO-14971-7"; }
+            attribute :>> name = "ISO14971Clause7";
+            attribute :>> clauseNumber = "7";
+            attribute :>> title = "risk control";
+            attribute :>> normativeStrength = "shall";
+        }
+        item iso14971Clause8 : StandardClause {
+            @MemoIdentity { :>> providedId = "STD-ISO-14971-8"; }
+            attribute :>> name = "ISO14971Clause8";
+            attribute :>> clauseNumber = "8";
+            attribute :>> title = "evaluation of overall residual risk";
+            attribute :>> normativeStrength = "shall";
+        }
+        item iso14971Clause9 : StandardClause {
+            @MemoIdentity { :>> providedId = "STD-ISO-14971-9"; }
+            attribute :>> name = "ISO14971Clause9";
+            attribute :>> clauseNumber = "9";
+            attribute :>> title = "risk management review";
+            attribute :>> normativeStrength = "shall";
+        }
+        item iso14971Clause10 : StandardClause {
+            @MemoIdentity { :>> providedId = "STD-ISO-14971-10"; }
+            attribute :>> name = "ISO14971Clause10";
+            attribute :>> clauseNumber = "10";
+            attribute :>> title = "production and post-production activities";
+            attribute :>> normativeStrength = "shall";
+        }
     }
 
-    item iso14971Clause4 : StandardClause {
-        attribute :>> id = "STD-ISO-14971-4";
-        attribute :>> name = "ISO14971Clause4";
-        attribute :>> clauseNumber = "4";
-        attribute :>> title = "general requirements for the risk management system";
-        attribute :>> normativeStrength = "shall";
-    }
-    item iso14971Clause4_4 : StandardClause {
-        attribute :>> id = "STD-ISO-14971-4-4";
-        attribute :>> name = "ISO14971Clause4_4";
-        attribute :>> clauseNumber = "4.4";
-        attribute :>> title = "risk management plan";
-        attribute :>> normativeStrength = "shall";
-    }
-    item iso14971Clause4_5 : StandardClause {
-        attribute :>> id = "STD-ISO-14971-4-5";
-        attribute :>> name = "ISO14971Clause4_5";
-        attribute :>> clauseNumber = "4.5";
-        attribute :>> title = "risk management file";
-        attribute :>> normativeStrength = "shall";
-    }
-    item iso14971Clause5 : StandardClause {
-        attribute :>> id = "STD-ISO-14971-5";
-        attribute :>> name = "ISO14971Clause5";
-        attribute :>> clauseNumber = "5";
-        attribute :>> title = "risk analysis";
-        attribute :>> normativeStrength = "shall";
-    }
-    item iso14971Clause6 : StandardClause {
-        attribute :>> id = "STD-ISO-14971-6";
-        attribute :>> name = "ISO14971Clause6";
-        attribute :>> clauseNumber = "6";
-        attribute :>> title = "risk evaluation";
-        attribute :>> normativeStrength = "shall";
-    }
-    item iso14971Clause7 : StandardClause {
-        attribute :>> id = "STD-ISO-14971-7";
-        attribute :>> name = "ISO14971Clause7";
-        attribute :>> clauseNumber = "7";
-        attribute :>> title = "risk control";
-        attribute :>> normativeStrength = "shall";
-    }
-    item iso14971Clause8 : StandardClause {
-        attribute :>> id = "STD-ISO-14971-8";
-        attribute :>> name = "ISO14971Clause8";
-        attribute :>> clauseNumber = "8";
-        attribute :>> title = "evaluation of overall residual risk";
-        attribute :>> normativeStrength = "shall";
-    }
-    item iso14971Clause9 : StandardClause {
-        attribute :>> id = "STD-ISO-14971-9";
-        attribute :>> name = "ISO14971Clause9";
-        attribute :>> clauseNumber = "9";
-        attribute :>> title = "risk management review";
-        attribute :>> normativeStrength = "shall";
-    }
-    item iso14971Clause10 : StandardClause {
-        attribute :>> id = "STD-ISO-14971-10";
-        attribute :>> name = "ISO14971Clause10";
-        attribute :>> clauseNumber = "10";
-        attribute :>> title = "production and post-production activities";
-        attribute :>> normativeStrength = "shall";
-    }
 
-    connection iso14971Has4 : Composes connect parent ::> iso14971 to child ::> iso14971Clause4;
-    connection iso14971Has5 : Composes connect parent ::> iso14971 to child ::> iso14971Clause5;
-    connection iso14971Has6 : Composes connect parent ::> iso14971 to child ::> iso14971Clause6;
-    connection iso14971Has7 : Composes connect parent ::> iso14971 to child ::> iso14971Clause7;
-    connection iso14971Has8 : Composes connect parent ::> iso14971 to child ::> iso14971Clause8;
-    connection iso14971Has9 : Composes connect parent ::> iso14971 to child ::> iso14971Clause9;
-    connection iso14971Has10 : Composes connect parent ::> iso14971 to child ::> iso14971Clause10;
 
-    connection iso14971Has4_4 : Composes connect parent ::> iso14971Clause4 to child ::> iso14971Clause4_4;
-    connection iso14971Has4_5 : Composes connect parent ::> iso14971Clause4 to child ::> iso14971Clause4_5;
 }

package/src/artifacts/standards/iso_iec_ieee_42010.sysml

@@ -12,8 +12,10 @@ package memo_artifacts_standards_iso_iec_ieee_42010 {
     private import memo_core_relationships::*;
     private import memo_artifacts_standards_traceability::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     item isoIecIeee42010 : RegulatoryStandard {
-        attribute :>> id = "STD-ISO-IEC-IEEE-42010";
+        @MemoIdentity { :>> providedId = "STD-ISO-IEC-IEEE-42010"; }
         attribute :>> name = "ISOIECIEEE42010";
         attribute :>> designation = "ISO/IEC/IEEE 42010:2022";
         attribute :>> edition = "2022";
@@ -22,21 +24,19 @@ package memo_artifacts_standards_iso_iec_ieee_42010 {
         // reference standard, cited by documents rather than required by a
         // market. Empty is the authored value, not an omission — see
         // appliesToRegime in memo_artifacts_standards_traceability.
+        item isoIecIeee42010Clause5 : StandardClause {
+            @MemoIdentity { :>> providedId = "STD-ISO-IEC-IEEE-42010-5"; }
+            attribute :>> name = "ISOIECIEEE42010Clause5";
+            attribute :>> clauseNumber = "5";
+            attribute :>> normativeStrength = "shall";
+        }
+        item isoIecIeee42010Clause6 : StandardClause {
+            @MemoIdentity { :>> providedId = "STD-ISO-IEC-IEEE-42010-6"; }
+            attribute :>> name = "ISOIECIEEE42010Clause6";
+            attribute :>> clauseNumber = "6";
+            attribute :>> normativeStrength = "shall";
+        }
     }
 
-    item isoIecIeee42010Clause5 : StandardClause {
-        attribute :>> id = "STD-ISO-IEC-IEEE-42010-5";
-        attribute :>> name = "ISOIECIEEE42010Clause5";
-        attribute :>> clauseNumber = "5";
-        attribute :>> normativeStrength = "shall";
-    }
-    item isoIecIeee42010Clause6 : StandardClause {
-        attribute :>> id = "STD-ISO-IEC-IEEE-42010-6";
-        attribute :>> name = "ISOIECIEEE42010Clause6";
-        attribute :>> clauseNumber = "6";
-        attribute :>> normativeStrength = "shall";
-    }
 
-    connection isoIecIeee42010Has5 : Composes connect parent ::> isoIecIeee42010 to child ::> isoIecIeee42010Clause5;
-    connection isoIecIeee42010Has6 : Composes connect parent ::> isoIecIeee42010 to child ::> isoIecIeee42010Clause6;
 }

package/src/artifacts/templates/dhf/system/sad.md

@@ -75,7 +75,7 @@ Runtime behaviour: the components executing in the system and the connectors thr
 #### 3.2.1 Runtime Environments
 
 ```memo-query
-kind: [RuntimeEnvironment, DeploymentUnit]
+kind: [RuntimeEnvironment, SoftwareDeploymentUnit]
 display: table
 columns: name, layer, doc
 sort: name
@@ -101,12 +101,12 @@ Software elements mapped to their execution environments.
 #### 3.3.1 Deployment Units
 
 ```memo-query
-kind: DeploymentUnit
+kind: SoftwareDeploymentUnit
 traverse: outgoing deploysTo
 display: table
 columns: name, kind, layer, doc
 sort: name
-empty: "No deployments defined. Add DeploysTo links from DeploymentUnit to the processing node."
+empty: "No deployments defined. Add DeploysTo links from SoftwareDeploymentUnit to the processing node."
 ```
 
 ---

package/src/assurance/cybersecurity/memo_cybersecurity.sysml

@@ -10,7 +10,7 @@ package memo_assurance_cybersecurity {
     private import memo_assurance_verification_validation::*;
     private import memo_architecture_operational_scenarios::*;
 
-    part def CybersecurityAsset specializes ArchitectureElement {
+    part def CybersecurityAsset specializes MemoPart {
         attribute assetKind : AssetKind;
         attribute confidentialityNeed : String;
         attribute integrityNeed : String;
@@ -99,7 +99,7 @@ package memo_assurance_cybersecurity {
     }
     connection def RealizedByScenario :> MemoRelationship {
         end realizedThreat : RequirementDriver :>> source;
-        end scenario : MemoScenario :>> target;
+        end scenario : OperativeScenario :>> target;
     }
     abstract connection realizedByScenarioLinks : RealizedByScenario[*];
     metadata def <realizedByScenario> RealizedByScenarioMetadata :> SemanticMetadata {

package/src/assurance/human_factors/memo_human_factors.sysml

@@ -21,7 +21,7 @@ package memo_assurance_human_factors {
     }
 
     connection def CommitsUseError :> MemoRelationship {
-        end task : UserTask :>> source;
+        end task : OperativeAction :>> source;
         end useError : UseError :>> target;
     }
     abstract connection commitsUseErrorLinks : CommitsUseError[*];
@@ -32,7 +32,7 @@ package memo_assurance_human_factors {
     }
     connection def EvaluatesTask :> MemoRelationship {
         end evaluation : MemoEvidence :>> source;
-        end task : UserTask :>> target;
+        end task : OperativeAction :>> target;
     }
     abstract connection evaluatesTaskLinks : EvaluatesTask[*];
     metadata def <evaluatesTask> EvaluatesTaskMetadata :> SemanticMetadata {

package/src/assurance/requirements/memo_requirements.sysml

@@ -7,22 +7,6 @@ package memo_assurance_requirements {
     private import memo_assurance_requirements_needs::*;
     part def RiskDriver specializes RequirementDriver { attribute driverKind : String; }
 
-    // ISO 14971 risk-analysis inputs. These are model elements so hazards,
-    // scenarios, requirements, and DHF records can trace to the exact use
-    // definition or foreseeable misuse that motivated them.
-    part def IntendedUse specializes DocumentedElement {
-        attribute indication : String;
-        attribute contraindication : String;
-        attribute patientPopulation : String;
-        attribute clinicalBenefit : String;
-        attribute regulatoryClassification : String;
-    }
-    part def ReasonablyForeseeableMisuse specializes DocumentedElement {
-        attribute misuseContext : String;
-        attribute foreseeableBasis : String;
-        attribute affectedUseContext : String;
-    }
-
     // The kind of requirement. Was a subclass branch (SystemRequirement /
     // SoftwareRequirement / HardwareRequirement) plus a parallel design-control
     // specification hierarchy (DesignControlSpecification / System- / Software- /
@@ -42,14 +26,14 @@ package memo_assurance_requirements {
 
     requirement def Requirement specializes MemoRequirement {
         attribute requirementKind : RequirementKind;
-        attribute statement : String;
+        attribute :>> statement : String;
         attribute sourceKind : RequirementSourceKind;
         attribute concernKind : ConcernKind;
         // Editorial state is the inherited `status : ElementStatusKind` — the
         // one status vocabulary in MEMO. Whether a requirement is implemented,
         // verified, or validated is read from its Realizes / VerifiedBy /
         // Validates links, not restated here.
-        attribute acceptanceCriteria : String;
+        attribute :>> acceptanceCriteria : String;
         attribute subjectDescription : String;
         attribute actorDescription : String;
         attribute assumptionSummary : String;

package/src/assurance/safety_risk/analysis/memo_fmea.sysml

@@ -184,7 +184,7 @@ package memo_assurance_safety_risk_analysis {
         :>> baseType = identifiesHazardLinks meta SysML::Usage;
     }
     connection def HasFailureMode :> MemoRelationship {
-        end element : ArchitectureElement :>> source;
+        end element : MemoPart :>> source;
         end failureMode : FailureMode :>> target;
     }
     abstract connection hasFailureModeLinks : HasFailureMode[*];

package/src/assurance/safety_risk/memo_risk.sysml

@@ -6,6 +6,18 @@ package memo_assurance_safety_risk {
     private import memo_core_common::*;
     private import memo_core_enumerations::*;
     private import memo_assurance_requirements::*;
+
+    // ISO 14971 / IEC 62366-1 risk-analysis input. A model element so hazards,
+    // scenarios, requirements, and DHF records can trace to the foreseeable
+    // misuse that motivated them. Its counterpart, IntendedUse, is now the
+    // operational-world root (memo_architecture_operational_structure::IntendedUse,
+    // a MemoMission).
+    part def ReasonablyForeseeableMisuse specializes MemoPart {
+        attribute misuseContext : String;
+        attribute foreseeableBasis : String;
+        attribute affectedUseContext : String;
+    }
+
     part def Risk specializes RiskDriver {
         attribute probabilityEstimate : ProbabilityKind;
         attribute severityEstimate : SeverityKind;

package/src/assurance/verification_validation/memo_assurance.sysml

@@ -19,8 +19,10 @@ package memo_assurance_verification_validation {
     // EXECUTION state, not an editorial one; execution state belongs in an
     // attribute of its own (see RiskControlMeasure.verificationStatus), not in
     // a second spelling of `status`.
-    verification def VerificationCase :> MemoVerificationCase {
-        attribute methodKind : VerificationMethodKind;
+    // Specializes the standard library verification case as well as MEMO's
+    // base, rather than shadowing it — see the note on UseCase.
+    verification def VerificationCase :> MemoVerificationCase, VerificationCases::VerificationCase {
+        attribute methodKind : MemoVerificationMethodKind;
         attribute acceptanceCriteria : String;
     }
     verification def ValidationCase :> MemoVerificationCase {
@@ -32,14 +34,7 @@ package memo_assurance_verification_validation {
     // Operational validation confirms the user's goal is achieved in the
     // use environment (§5): ValidationCase validates a UseCase.
     // Safety-critical functions must trace to verification (rules/coverage).
-    connection def ExecutesScenario :> MemoRelationship {
-        end verificationCase : VerificationCase :>> source;
-        end scenario : MemoScenario :>> target;
-    }
-    abstract connection executesScenarioLinks : ExecutesScenario[*];
-    metadata def <executesScenario> ExecutesScenarioMetadata :> SemanticMetadata {
-        :> annotatedElement : SysML::ConnectionDefinition;
-        :> annotatedElement : SysML::ConnectionUsage;
-        :>> baseType = executesScenarioLinks meta SysML::Usage;
-    }
+    // `ExecutesScenario` is native `perform` (2026-08-18): OperativeScenario
+    // is an `action def`, so write `perform <scenario>;` inside the
+    // verification case, as `InvolvesFunction` already does.
 }