@memoarchitect/ontology 0.8.24 → 0.11.0

package/src/core/relationships/memo_relationships.sysml

@@ -7,6 +7,7 @@ package memo_core_relationships {
     private import memo_core_common::*;
     private import memo_core_enumerations::*;
 
+    private import Allocations::Allocation;
     // All MEMO relations are native SysML v2 `connection def`s (each is a
     // Connection/Association), specializing the MemoRelationship base. The
     // relationship name is the verb; the RelationshipRegistry derives the
@@ -107,17 +108,6 @@ package memo_core_relationships {
     // only when no specific relation carries the meaning, and say why in the
     // inherited `rationale` — an untyped link with no stated reason is an
     // audit gap, not a model fact.
-    connection def MemoLink :> MemoRelationship {
-        doc /* Generic association between any two model elements. */
-        end linkSource :>> source;
-        end linkTarget :>> target;
-    }
-    abstract connection memoLinkLinks : MemoLink[*];
-    metadata def <memoLink> MemoLinkMetadata :> SemanticMetadata {
-        :> annotatedElement : SysML::ConnectionDefinition;
-        :> annotatedElement : SysML::ConnectionUsage;
-        :>> baseType = memoLinkLinks meta SysML::Usage;
-    }
 
     connection def DerivesFrom :> MemoRelationship {
         // Drivers span metaclasses — a need is a requirement def, a hazard an
@@ -206,57 +196,40 @@ package memo_core_relationships {
 
     // Enables unifies the former EnablesWorkflow / EnablesActivity synonyms
     // (an enabling system/function enables a workflow/activity).
-    connection def Enables :> MemoRelationship {
-        end enabling :>> source;
-        end enabled : MemoAction :>> target;
-    }
-    abstract connection enablesLinks : Enables[*];
-    metadata def <enables> EnablesMetadata :> SemanticMetadata {
-        :> annotatedElement : SysML::ConnectionDefinition;
-        :> annotatedElement : SysML::ConnectionUsage;
-        :>> baseType = enablesLinks meta SysML::Usage;
-    }
+    // `Enables` is native `dependency` (2026-08-18): write
+    // `dependency from <enabling> to <enabled>;`. Same call as `Supports`,
+    // which was deleted as a duplicate of both `dependency` and `Enables`.
 
-    connection def HostedBy :> MemoRelationship {
+        // A processing node hosted by an assembly is allocated to it. The end
+    // NAMES were already right; two of the three usages wrote them in reverse
+    // order, and the builder binds by position, so those two edges pointed the
+    // wrong way. See the reversed-end-name lint in memo-tools.
+    allocation def HostedBy :> MemoRelationship, Allocations::Allocation {
         end processingNode : MemoPart :>> source;
         end hostAssembly : MemoPart :>> target;
     }
     abstract connection hostedByLinks : HostedBy[*];
     metadata def <hostedBy> HostedByMetadata :> SemanticMetadata {
-        :> annotatedElement : SysML::ConnectionDefinition;
-        :> annotatedElement : SysML::ConnectionUsage;
+        :> annotatedElement : SysML::AllocationDefinition;
+        :> annotatedElement : SysML::AllocationUsage;
         :>> baseType = hostedByLinks meta SysML::Usage;
     }
 
 
 
 
-    // Composes is the single whole/part decomposition relation. It unifies the
-    // former ComposesLogical / AssemblyComprises / Contains{Component,Element} /
-    // {Workflow,Task,Activity,Scenario}Comprises* / FlowComprisesSpec /
-    // Collection membership is carried by the end instance.
-    // types, so the ends are generic MemoPart.
-    connection def Composes :> MemoRelationship {
-        end parent :>> source;
-        end child :>> target;
-    }
-    abstract connection composesLinks : Composes[*];
-    metadata def <composes> ComposesMetadata :> SemanticMetadata {
-        :> annotatedElement : SysML::ConnectionDefinition;
-        :> annotatedElement : SysML::ConnectionUsage;
-        :>> baseType = composesLinks meta SysML::Usage;
-    }
+    // `Composes` is deleted (R10-S7). Containment is NESTING — the child is
+    // declared inside the parent — which is how SysML v2 models composition:
+    // composite feature ownership, not a link. The relation specialized
+    // `Connections::BinaryConnection`, "a link between two things WITHIN some
+    // containing structure", so it was the wrong category for the containment
+    // itself, and the corpus has no composition connection to specialize.
+    //
+    // Nothing is lost: the builder synthesizes a `composes` edge from every
+    // nested part and item, so rules, the DSM and traceability read exactly the
+    // graph they read before. The edge type is registered natively in
+    // memo-tools' relationship registry.
 
-    connection def AnalyzedBy :> MemoRelationship {
-        end element : MemoPart :>> source;
-        end analysisArtifact : AnalysisArtifact :>> target;
-    }
-    abstract connection analyzedByLinks : AnalyzedBy[*];
-    metadata def <analyzedBy> AnalyzedByMetadata :> SemanticMetadata {
-        :> annotatedElement : SysML::ConnectionDefinition;
-        :> annotatedElement : SysML::ConnectionUsage;
-        :>> baseType = analyzedByLinks meta SysML::Usage;
-    }
 
     connection def BindsToInterface :> MemoRelationship {
         end portElement :>> source;

package/src/methodology/archetypes/memo_archetypes.sysml

@@ -3,8 +3,10 @@ package memo_methodology_archetypes {
 
     private import memo_methodology_core::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part minimal : Archetype {
-        attribute :>> id = "ARCH-MINIMAL";
+        @MemoIdentity { :>> providedId = "ARCH-MINIMAL"; }
         attribute :>> name = "Minimal";
         attribute :>> label = "Minimal";
         attribute :>> description = "Core ontology only — requirements, hazards, basic architecture (~53 kinds)";
@@ -15,7 +17,7 @@ package memo_methodology_archetypes {
     }
 
     part standardArchetype : Archetype {
-        attribute :>> id = "ARCH-STANDARD";
+        @MemoIdentity { :>> providedId = "ARCH-STANDARD"; }
         attribute :>> name = "Standard";
         attribute :>> label = "Standard";
         attribute :>> description = "Core + risk + software + DHF — covers most Class II devices (~120 kinds)";
@@ -26,7 +28,7 @@ package memo_methodology_archetypes {
     }
 
     part full : Archetype {
-        attribute :>> id = "ARCH-FULL";
+        @MemoIdentity { :>> providedId = "ARCH-FULL"; }
         attribute :>> name = "Full";
         attribute :>> label = "Full";
         attribute :>> description = "All architecture layers, standards, and extensions (~200+ kinds)";
@@ -37,7 +39,7 @@ package memo_methodology_archetypes {
     }
 
     part samd : Archetype {
-        attribute :>> id = "ARCH-SAMD";
+        @MemoIdentity { :>> providedId = "ARCH-SAMD"; }
         attribute :>> name = "SaMD";
         attribute :>> label = "Software as Medical Device (SaMD)";
         attribute :>> description = "Clinical decision support, diagnostic algorithm, AI/ML tool, mobile medical app";
@@ -48,7 +50,7 @@ package memo_methodology_archetypes {
     }
 
     part connected : Archetype {
-        attribute :>> id = "ARCH-CONNECTED";
+        @MemoIdentity { :>> providedId = "ARCH-CONNECTED"; }
         attribute :>> name = "Connected";
         attribute :>> label = "Connected / IoT Device";
         attribute :>> description = "Remote monitoring, wearable, smart device with cloud connectivity and cybersecurity requirements";
@@ -59,7 +61,7 @@ package memo_methodology_archetypes {
     }
 
     part monitoring : Archetype {
-        attribute :>> id = "ARCH-MONITORING";
+        @MemoIdentity { :>> providedId = "ARCH-MONITORING"; }
         attribute :>> name = "Monitoring";
         attribute :>> label = "Monitoring / Diagnostic Device";
         attribute :>> description = "Patient monitor, ECG, SpO2, vital signs, bedside diagnostic equipment";
@@ -70,7 +72,7 @@ package memo_methodology_archetypes {
     }
 
     part infusion_pump : Archetype {
-        attribute :>> id = "ARCH-INFUSION";
+        @MemoIdentity { :>> providedId = "ARCH-INFUSION"; }
         attribute :>> name = "InfusionPump";
         attribute :>> label = "Infusion / Drug Delivery Device";
         attribute :>> description = "Infusion pump, syringe driver, implantable drug delivery, dosing device";
@@ -81,7 +83,7 @@ package memo_methodology_archetypes {
     }
 
     part blank : Archetype {
-        attribute :>> id = "ARCH-BLANK";
+        @MemoIdentity { :>> providedId = "ARCH-BLANK"; }
         attribute :>> name = "Blank";
         attribute :>> label = "Blank Project";
         attribute :>> description = "Start from scratch with a minimal SysML shell";

package/src/methodology/core/memo_core.sysml

@@ -113,14 +113,4 @@ package memo_methodology_core {
     // ── Relations owned by this package ─────────────────────────────
     // Moved out of memo_core_relationships: their ends are typed against
     // types declared here, and core must not depend on a domain package.
-    connection def ResolvesToMethodology :> MemoRelationship {
-        end boundModelElement : MemoPart :>> source;
-        end resolvedMethodology : MethodologyDefinition :>> target;
-    }
-    abstract connection resolvesToMethodologyLinks : ResolvesToMethodology[*];
-    metadata def <resolvesToMethodology> ResolvesToMethodologyMetadata :> SemanticMetadata {
-        :> annotatedElement : SysML::ConnectionDefinition;
-        :> annotatedElement : SysML::ConnectionUsage;
-        :>> baseType = resolvesToMethodologyLinks meta SysML::Usage;
-    }
 }

package/src/methodology/profiles/memo_profiles.sysml

@@ -9,8 +9,10 @@ package memo_methodology_profiles {
     private import memo_core_enumerations::*;
     private import memo_core_methodology_scope::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part mdCoreLibrary : MethodologyLibrary {
-        attribute :>> id = "METHLIB-001";
+        @MemoIdentity { :>> providedId = "METHLIB-001"; }
         attribute :>> name = "MedicalDeviceMethodologyLibrary";
         attribute :>> version = "0.1";
         attribute :>> domain = "medical device modeling";
@@ -31,7 +33,7 @@ package memo_methodology_profiles {
     // that into `allAvailable` preserves the effective result and removes the
     // second scope authority.
     part mdDefaultDefinition : MethodologyDefinition {
-        attribute :>> id = "METH-MD-DEFAULT";
+        @MemoIdentity { :>> providedId = "METH-MD-DEFAULT"; }
         attribute :>> name = "MedicalDeviceDefault";
         attribute :>> version = "0.6.5";
         attribute :>> domain = "medical device modeling";
@@ -40,7 +42,7 @@ package memo_methodology_profiles {
     }
 
     part useRiskAndResidualRule : ElementUsageRule {
-        attribute :>> id = "RULE-001";
+        @MemoIdentity { :>> providedId = "RULE-001"; }
         attribute :>> name = "UseRiskAndResidualRisk";
         attribute :>> elementTypeName = "Risk,ResidualRisk,RiskMatrix";
         attribute :>> strength = RuleStrengthKind::recommended;
@@ -48,7 +50,7 @@ package memo_methodology_profiles {
     }
 
     part requireVerifiedByRule : RelationUsageRule {
-        attribute :>> id = "RULE-002";
+        @MemoIdentity { :>> providedId = "RULE-002"; }
         attribute :>> name = "VerifiedBysRequired";
         attribute :>> relationTypeName = "verify";
         attribute :>> strength = RuleStrengthKind::required;
@@ -56,7 +58,7 @@ package memo_methodology_profiles {
     }
 
     part lightRiskPattern : ModelingPattern {
-        attribute :>> id = "PAT-001";
+        @MemoIdentity { :>> providedId = "PAT-001"; }
         attribute :>> name = "LightRiskBeforeAfterPattern";
         attribute :>> intent = "Model hazard chain, before/after mitigation risk, controls, and residual evaluation in a lightweight way.";
         attribute :>> stage = WorkflowStageKind::risk;
@@ -64,7 +66,7 @@ package memo_methodology_profiles {
     }
 
     part lightTracePattern : ModelingPattern {
-        attribute :>> id = "PAT-002";
+        @MemoIdentity { :>> providedId = "PAT-002"; }
         attribute :>> name = "CoreTracePattern";
         attribute :>> intent = "Need or risk to requirement, requirement to architecture, requirement/control to verification.";
         attribute :>> stage = WorkflowStageKind::requirements;
@@ -72,7 +74,7 @@ package memo_methodology_profiles {
     }
 
     action stepRequirements : MethodologyWorkflowStep {
-        attribute :>> id = "STEP-001";
+        @MemoIdentity { :>> providedId = "STEP-001"; }
         attribute :>> name = "CaptureRequirements";
         attribute :>> stage = WorkflowStageKind::requirements;
         attribute :>> objectiveDescription = "Capture stakeholder needs and derive requirements.";
@@ -81,7 +83,7 @@ package memo_methodology_profiles {
     }
 
     action stepArchitecture : MethodologyWorkflowStep {
-        attribute :>> id = "STEP-002";
+        @MemoIdentity { :>> providedId = "STEP-002"; }
         attribute :>> name = "DefineArchitecture";
         attribute :>> stage = WorkflowStageKind::architecture;
         attribute :>> objectiveDescription = "Define key software and hardware architecture elements and interfaces.";
@@ -90,7 +92,7 @@ package memo_methodology_profiles {
     }
 
     action stepRisk : MethodologyWorkflowStep {
-        attribute :>> id = "STEP-003";
+        @MemoIdentity { :>> providedId = "STEP-003"; }
         attribute :>> name = "PerformRiskAnalysis";
         attribute :>> stage = WorkflowStageKind::risk;
         attribute :>> objectiveDescription = "Create core risk chain and controls.";
@@ -99,7 +101,7 @@ package memo_methodology_profiles {
     }
 
     action stepVerification : MethodologyWorkflowStep {
-        attribute :>> id = "STEP-004";
+        @MemoIdentity { :>> providedId = "STEP-004"; }
         attribute :>> name = "PlanVerification";
         attribute :>> stage = WorkflowStageKind::verificationStage;
         attribute :>> objectiveDescription = "Define verification and evidence expectations.";
@@ -111,7 +113,7 @@ package memo_methodology_profiles {
     first stepRisk then stepVerification;
 
     part gateLightComplete : QualityGate {
-        attribute :>> id = "GATE-001";
+        @MemoIdentity { :>> providedId = "GATE-001"; }
         attribute :>> name = "LightMethodReady";
         attribute :>> gateStage = WorkflowStageKind::verificationStage;
         attribute :>> passCriteria = "Core traceability, risk, verification, and RMF view support are present.";
@@ -123,7 +125,7 @@ package memo_methodology_profiles {
     // references its methodology with a typed SysML reference.
 
     part rmpDoc : DhfDocumentBinding {
-        attribute :>> id = "DHF-001";
+        @MemoIdentity { :>> providedId = "DHF-001"; }
         attribute :>> name = "RiskManagementPlan";
         attribute :>> documentTitle = "Risk Management Plan";
         attribute :>> groupLabel = "Risk Management";
@@ -135,7 +137,7 @@ package memo_methodology_profiles {
     }
 
     part harDoc : DhfDocumentBinding {
-        attribute :>> id = "DHF-002";
+        @MemoIdentity { :>> providedId = "DHF-002"; }
         attribute :>> name = "HazardAnalysisReport";
         attribute :>> documentTitle = "Hazard Analysis Report";
         attribute :>> groupLabel = "Risk Management";
@@ -147,7 +149,7 @@ package memo_methodology_profiles {
     }
 
     part sadDoc : DhfDocumentBinding {
-        attribute :>> id = "DHF-003";
+        @MemoIdentity { :>> providedId = "DHF-003"; }
         attribute :>> name = "SoftwareArchitectureDescription";
         attribute :>> documentTitle = "Software Architecture Description";
         attribute :>> groupLabel = "Software";
@@ -159,7 +161,7 @@ package memo_methodology_profiles {
     }
 
     part threatModelDoc : DhfDocumentBinding {
-        attribute :>> id = "DHF-004";
+        @MemoIdentity { :>> providedId = "DHF-004"; }
         attribute :>> name = "CybersecurityThreatModel";
         attribute :>> documentTitle = "Threat Model";
         attribute :>> groupLabel = "Cybersecurity";
@@ -171,7 +173,7 @@ package memo_methodology_profiles {
     }
 
     part vvPlanDoc : DhfDocumentBinding {
-        attribute :>> id = "DHF-005";
+        @MemoIdentity { :>> providedId = "DHF-005"; }
         attribute :>> name = "VerificationValidationPlan";
         attribute :>> documentTitle = "V&V Plan";
         attribute :>> groupLabel = "Verification & Validation";

package/src/rules/closure/closure_rules.sysml

@@ -7,10 +7,12 @@ package memo_rules_closure {
     private import memo_core_consistency_rules::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // ─── Risk Layer Rules ────────────────────────────────────────────────
 
     constraint def HazardMitigationRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-001";
+        @MemoIdentity { :>> providedId = "CR-MED-001"; }
         attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "Hazard";
         attribute severity = RuleSeverityKind::error;
@@ -20,7 +22,7 @@ package memo_rules_closure {
     }
 
     constraint def HazardSeverityRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-002";
+        @MemoIdentity { :>> providedId = "CR-MED-002"; }
         attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "Hazard";
         attribute severity = RuleSeverityKind::error;
@@ -30,7 +32,7 @@ package memo_rules_closure {
     }
 
     constraint def RiskControlVerificationRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-003";
+        @MemoIdentity { :>> providedId = "CR-MED-003"; }
         attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "RiskControlMeasure";
         attribute severity = RuleSeverityKind::error;
@@ -40,7 +42,7 @@ package memo_rules_closure {
     }
 
     constraint def InitialRiskMatrixRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-004";
+        @MemoIdentity { :>> providedId = "CR-MED-004"; }
         attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "Risk";
         attribute severity = RuleSeverityKind::warning;
@@ -52,9 +54,9 @@ package memo_rules_closure {
     // ─── Requirements Layer Rules ────────────────────────────────────────
 
     constraint def SysReqTraceRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-010";
+        @MemoIdentity { :>> providedId = "CR-MED-010"; }
         attribute tailoring = RuleTailoringKind::assurance;
-        attribute appliesTo = "Requirement[requirementKind=system]";
+        attribute appliesTo = "Requirement[requirementType=system]";
         attribute severity = RuleSeverityKind::error;
         attribute rationaleText = "Requirements shall be traceable to stakeholder needs per ISO 13485.";
         attribute predicateExpression = "derivesFrom->size() >= 1";
@@ -62,9 +64,9 @@ package memo_rules_closure {
     }
 
     constraint def SwReqTraceRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-011";
+        @MemoIdentity { :>> providedId = "CR-MED-011"; }
         attribute tailoring = RuleTailoringKind::assurance;
-        attribute appliesTo = "Requirement[requirementKind=software]";
+        attribute appliesTo = "Requirement[requirementType=software]";
         attribute severity = RuleSeverityKind::error;
         attribute rationaleText = "Software requirements derive from system requirements per IEC 62304.";
         attribute predicateExpression = "derivesFrom->size() >= 1";
@@ -80,7 +82,7 @@ package memo_rules_closure {
     // ─── Architecture Layer Rules ────────────────────────────────────────
 
     constraint def SwComponentSafetyClassRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-020";
+        @MemoIdentity { :>> providedId = "CR-MED-020"; }
         attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "SoftwareModule";
         attribute severity = RuleSeverityKind::error;
@@ -90,7 +92,7 @@ package memo_rules_closure {
     }
 
     constraint def SwComponentReqRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-021";
+        @MemoIdentity { :>> providedId = "CR-MED-021"; }
         attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "SoftwareModule";
         attribute severity = RuleSeverityKind::warning;
@@ -100,7 +102,7 @@ package memo_rules_closure {
     }
 
     constraint def LogicalFunctionAllocationRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-022";
+        @MemoIdentity { :>> providedId = "CR-MED-022"; }
         attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "SystemFunction";
         attribute severity = RuleSeverityKind::warning;
@@ -109,10 +111,44 @@ package memo_rules_closure {
         constraint { true }
     }
 
+    // A function that no edge reaches is not in the chain. This was a
+    // TypeScript rule (BV-002) applying to every action usage in the model,
+    // which reported a scenario and a flow step as defects for not being
+    // wired like a function. It is declared here instead: scoped by the
+    // ontology to the family it is about, tailorable by a methodology, and
+    // readable next to the rule that requires the allocation.
+    constraint def FunctionInChainRule :> MemoConsistencyRule {
+        @MemoIdentity { :>> providedId = "CR-MED-023"; }
+        attribute tailoring = RuleTailoringKind::assurance;
+        attribute appliesTo = "MemoFunction";
+        attribute severity = RuleSeverityKind::warning;
+        attribute rationaleText = "A function participates in the functional chain through a flow or a succession, or through the functions it decomposes into. One that participates in none of them is unreachable behaviour: nothing triggers it and nothing consumes what it produces.";
+        // `downstream` and not a bare `composes`: the relation navigates both
+        // ways, so a bare name would exempt every child on the strength of
+        // having a parent. A decomposed function participates through its
+        // parts; a leaf has to be reached by an edge of its own.
+        attribute predicateExpression = "flow->size() >= 1 or succession->size() >= 1 or downstream(composes)->size() >= 1";
+        constraint { true }
+    }
+
+    // A user need names the user whose need it is. IEC 62366-1's user profile
+    // is typed on the User element — population, impairments, training,
+    // qualification — so the need points at that element rather than restating
+    // any of it in prose, which is what `userPopulationReference` was doing.
+    constraint def UserNeedIdentifiesUserRule :> MemoConsistencyRule {
+        @MemoIdentity { :>> providedId = "CR-MED-024"; }
+        attribute tailoring = RuleTailoringKind::assurance;
+        attribute appliesTo = "Need";
+        attribute severity = RuleSeverityKind::warning;
+        attribute rationaleText = "A user need is a need someone has. Which users a device serves, and what they can be assumed to see, know and do, is the input a usability engineering file is built from (IEC 62366-1 5.1); a need that names no user leaves that input to prose.";
+        attribute predicateExpression = "not(needKind == 'user' or needKind == 'clinicalUser' or needKind == 'patientUser') or heldBy->size() >= 1";
+        constraint { true }
+    }
+
     // ─── Verification Layer Rules ────────────────────────────────────────
 
     constraint def VerificationCaseMethodRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-030";
+        @MemoIdentity { :>> providedId = "CR-MED-030"; }
         attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "VerificationCase";
         attribute severity = RuleSeverityKind::error;
@@ -122,7 +158,7 @@ package memo_rules_closure {
     }
 
     constraint def VerificationCaseTargetRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-031";
+        @MemoIdentity { :>> providedId = "CR-MED-031"; }
         attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "VerificationCase";
         attribute severity = RuleSeverityKind::error;
@@ -132,7 +168,7 @@ package memo_rules_closure {
     }
 
     constraint def EvidenceProductionRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-032";
+        @MemoIdentity { :>> providedId = "CR-MED-032"; }
         attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "VerificationCase";
         attribute severity = RuleSeverityKind::warning;
@@ -144,7 +180,7 @@ package memo_rules_closure {
     // ─── Cybersecurity Layer Rules ───────────────────────────────────────
 
     constraint def ThreatMitigationRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-040";
+        @MemoIdentity { :>> providedId = "CR-MED-040"; }
         attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "Threat";
         attribute severity = RuleSeverityKind::error;
@@ -154,7 +190,7 @@ package memo_rules_closure {
     }
 
     constraint def AssetThreatLinkRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-041";
+        @MemoIdentity { :>> providedId = "CR-MED-041"; }
         attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "CybersecurityAsset";
         attribute severity = RuleSeverityKind::warning;
@@ -166,7 +202,7 @@ package memo_rules_closure {
     // ─── Interface Rules ─────────────────────────────────────────────────
 
     constraint def LogicalInterfaceDirectionRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-050";
+        @MemoIdentity { :>> providedId = "CR-MED-050"; }
         attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "Interface";
         attribute severity = RuleSeverityKind::error;
@@ -178,7 +214,7 @@ package memo_rules_closure {
     // ─── Conditional Rules ───────────────────────────────────────────────
 
     constraint def SafetyClassCVerificationRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-101";
+        @MemoIdentity { :>> providedId = "CR-MED-101"; }
         attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "SoftwareModule";
         attribute severity = RuleSeverityKind::error;
@@ -203,7 +239,7 @@ package memo_rules_closure {
     // triggers. Chrome must be DECLARED `decoration`; an element left
     // unclassified fails rather than passing as scenery.
     constraint def UiElementDesignRecordRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-110";
+        @MemoIdentity { :>> providedId = "CR-MED-110"; }
         attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "UIElement";
         attribute severity = RuleSeverityKind::error;
@@ -217,7 +253,7 @@ package memo_rules_closure {
     // The interactive-form restriction lives in the predicate because it spans
     // several enum values.
     constraint def ControlInvokesFunctionRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-111";
+        @MemoIdentity { :>> providedId = "CR-MED-111"; }
         attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "UIElement";
         attribute severity = RuleSeverityKind::warning;
@@ -230,7 +266,7 @@ package memo_rules_closure {
     // unconfirmed machine guess must never reach a design review looking like
     // an engineering decision.
     constraint def BoundsDetectionConfirmedRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-112";
+        @MemoIdentity { :>> providedId = "CR-MED-112"; }
         attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "UIElement";
         attribute severity = RuleSeverityKind::warning;
@@ -242,7 +278,7 @@ package memo_rules_closure {
     // A screenshot with no build behind it is undated design intent, not
     // evidence of what the device does.
     constraint def ScreenCaptureProvenanceRule :> MemoConsistencyRule {
-        attribute :>> id = "CR-MED-113";
+        @MemoIdentity { :>> providedId = "CR-MED-113"; }
         attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "ScreenCapture";
         attribute severity = RuleSeverityKind::error;

package/src/rules/crosslayer/cross_layer_rules.sysml

@@ -6,8 +6,10 @@ package memo_rules_crosslayer {
     private import memo_core_consistency_rules::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     constraint def RiskToReqTraceRule :> MemoConsistencyRule {
-        attribute :>> id = "XL-001";
+        @MemoIdentity { :>> providedId = "XL-001"; }
         attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "Hazard";
         attribute severity = RuleSeverityKind::warning;
@@ -17,9 +19,9 @@ package memo_rules_crosslayer {
     }
 
     constraint def ReqToArchTraceRule :> MemoConsistencyRule {
-        attribute :>> id = "XL-002";
+        @MemoIdentity { :>> providedId = "XL-002"; }
         attribute tailoring = RuleTailoringKind::assurance;
-        attribute appliesTo = "Requirement[requirementKind=system]";
+        attribute appliesTo = "Requirement[requirementType=system]";
         attribute severity = RuleSeverityKind::warning;
         attribute rationaleText = "Requirements-to-architecture traceability per IEC 62304.";
         attribute predicateExpression = "satisfiedBy->size() >= 1";