@memoarchitect/ontology 0.8.22 → 0.10.9

package/examples/ui-screen-regions/model/catalog/project.sysml

@@ -31,8 +31,10 @@ package memo_examples_ui_screen_regions_project {
     private import memo_examples_ui_screen_regions_viewpoints_functional::*;
     private import memo_examples_ui_screen_regions_viewpoints_risk::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part uiScreenRegionsBinding : ProjectMethodBinding {
-        attribute :>> id = "PMB-UIR-001";
+        @MemoIdentity { :>> providedId = "PMB-UIR-001"; }
         attribute :>> name = "UIScreenRegionsProjectMethodBinding";
         attribute :>> projectName = "UI Screen Regions";
         // The default methodology selects everything the resolved ontology

package/examples/ui-screen-regions/model/catalog/relationships.sysml

@@ -3,6 +3,6 @@ package memo_examples_ui_screen_regions_relationships {
     private import memo_assurance_safety_risk::*;
     private import memo_examples_ui_screen_regions_architecture_implementation_ui::*;
     private import memo_examples_ui_screen_regions_assurance_requirements::*;
-    connection rel_tracesRisk_uiElement12_reqDrugIdentityDisplay : TracesRisk connect sourceRiskElement ::> uiElement12 to targetRiskElement ::> reqDrugIdentityDisplay;
-    connection rel_changes_uiElement12_reqDrugIdentityDisplay : Changes connect changeRequest ::> uiElement12 to changedElement ::> reqDrugIdentityDisplay;
+    connection rel_tracesRisk_uiElement12_reqDrugIdentityDisplay : TracesRisk connect sourceRiskElement ::> elMainScreen::uiElement12 to targetRiskElement ::> reqDrugIdentityDisplay;
+    connection rel_changes_uiElement12_reqDrugIdentityDisplay : Changes connect changeRequest ::> elMainScreen::uiElement12 to changedElement ::> reqDrugIdentityDisplay;
 }

package/examples/ui-screen-regions/model/catalog/traces.sysml

@@ -172,8 +172,6 @@ package memo_examples_ui_screen_regions_traces {
 
     // A reply is a child of the comment it answers — ordinary Composes, so
     // thread cycles are already forbidden by CR-ONT-001.
-    connection : Composes connect parent ::> cmtStatusBarScope to child ::> cmtStatusBarReply;
 
-    connection rel_composes_elMainScreen_uiElement12 : Composes connect parent ::> elMainScreen to child ::> uiElement12;
 
 }

package/examples/ui-screen-regions/model/catalog/viewpoints/functional/views/ui_functional_tree.sysml

@@ -29,6 +29,8 @@ package memo_examples_ui_screen_regions_viewpoints_functional_views_ui_functiona
     private import memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
     private import memo_examples_ui_screen_regions_traces::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     view uiFunctionalTree : MemoDiagramView {
         expose memo_examples_ui_screen_regions_architecture_implementation_ui::*;
         expose memo_examples_ui_screen_regions_architecture_functional_functions::*;
@@ -43,20 +45,19 @@ package memo_examples_ui_screen_regions_viewpoints_functional_views_ui_functiona
         expose memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
         expose memo_examples_ui_screen_regions_traces::*;
         attribute depth = 3;
-        attribute :>> id = "FUN-101";
-        attribute :>> title = "Infusion UI Functional Tree";
-        attribute :>> shortDescription = "Display-management functions, invoked actions, and UI allocation.";
+        @MemoIdentity { :>> providedId = "FUN-101"; }
+        @MemoIdentity { :>> shortDescription = "Display-management functions, invoked actions, and UI allocation."; }
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "bdd";
         attribute :>> autoPopulate = true;
         part :>> selectionQuery {
-            attribute :>> id = "QRY-102";
+            @MemoIdentity { :>> providedId = "QRY-102"; }
             attribute :>> name = "UIFunctionalTreeQuery";
             attribute :>> includeElementKinds = ("SystemFunction", "UIAction", "UIElement", "UserInterface");
             attribute :>> includeRelationshipKinds = ("Composes", "ElementTriggersAction", "Performs", "AllocatedTo");
             attribute :>> includeLayers = ("functions", "implementation");
             attribute :>> rationaleText = "Show function decomposition from interaction to allocated user interface.";
         }
-        part :>> viewpointDefinition = functionalViewpoint;
+        ref :>> viewpointDefinition = functionalViewpoint;
     }
 }

package/examples/ui-screen-regions/model/catalog/viewpoints/requirements/views/ui_requirements_trace.sysml

@@ -29,6 +29,8 @@ package memo_examples_ui_screen_regions_viewpoints_requirements_views_ui_require
     private import memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
     private import memo_examples_ui_screen_regions_traces::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     view uiRequirementsTrace : MemoDiagramView {
         expose memo_examples_ui_screen_regions_architecture_implementation_ui::*;
         expose memo_examples_ui_screen_regions_architecture_functional_functions::*;
@@ -43,20 +45,19 @@ package memo_examples_ui_screen_regions_viewpoints_requirements_views_ui_require
         expose memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
         expose memo_examples_ui_screen_regions_traces::*;
         attribute depth = 3;
-        attribute :>> id = "REQ-101";
-        attribute :>> title = "UI Requirements Traceability";
-        attribute :>> shortDescription = "Clinical need through UI requirements to satisfying regions and functions.";
+        @MemoIdentity { :>> providedId = "REQ-101"; }
+        @MemoIdentity { :>> shortDescription = "Clinical need through UI requirements to satisfying regions and functions."; }
         attribute :>> viewKind = DiagramViewKind::grid;
         attribute :>> diagramType = "req";
         attribute :>> autoPopulate = true;
         part :>> selectionQuery {
-            attribute :>> id = "QRY-101";
+            @MemoIdentity { :>> providedId = "QRY-101"; }
             attribute :>> name = "UIRequirementsTraceQuery";
             attribute :>> includeElementKinds = ("Need", "Requirement", "UIElement", "SystemFunction", "VerificationCase");
             attribute :>> includeRelationshipKinds = ("DerivesFrom", "SatisfiedBy", "VerifiedBy");
             attribute :>> includeLayers = ("requirements", "implementation", "functions", "assurance");
             attribute :>> rationaleText = "Show the example's requirement derivation and satisfaction chain.";
         }
-        part :>> viewpointDefinition = requirementsViewpoint;
+        ref :>> viewpointDefinition = requirementsViewpoint;
     }
 }

package/examples/ui-screen-regions/model/catalog/viewpoints/risk/views/ui_risk_chain.sysml

@@ -29,6 +29,8 @@ package memo_examples_ui_screen_regions_viewpoints_risk_views_ui_risk_chain {
     private import memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
     private import memo_examples_ui_screen_regions_traces::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     view uiRiskChain : MemoDiagramView {
         expose memo_examples_ui_screen_regions_architecture_implementation_ui::*;
         expose memo_examples_ui_screen_regions_architecture_functional_functions::*;
@@ -43,20 +45,19 @@ package memo_examples_ui_screen_regions_viewpoints_risk_views_ui_risk_chain {
         expose memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
         expose memo_examples_ui_screen_regions_traces::*;
         attribute depth = 3;
-        attribute :>> id = "RSK-101";
-        attribute :>> title = "UI Risk and Control Chains";
-        attribute :>> shortDescription = "Use errors through UI hazards to implemented controls and requirements.";
+        @MemoIdentity { :>> providedId = "RSK-101"; }
+        @MemoIdentity { :>> shortDescription = "Use errors through UI hazards to implemented controls and requirements."; }
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "risk";
         attribute :>> autoPopulate = true;
         part :>> selectionQuery {
-            attribute :>> id = "QRY-103";
+            @MemoIdentity { :>> providedId = "QRY-103"; }
             attribute :>> name = "UIRiskChainQuery";
             attribute :>> includeElementKinds = ("UseError", "Hazard", "RiskControlMeasure", "Requirement", "UIElement", "SystemFunction", "VerificationCase");
             attribute :>> includeRelationshipKinds = ("ErrorAtElement", "Causes", "Mitigates", "ControlImplementedBy", "DerivesFrom", "VerifiedBy");
             attribute :>> includeLayers = ("human_factors", "risk", "requirements", "implementation", "functions", "assurance");
             attribute :>> rationaleText = "Show both misread-rate and wrong-drug UI risk-control chains.";
         }
-        part :>> viewpointDefinition = riskViewpoint;
+        ref :>> viewpointDefinition = riskViewpoint;
     }
 }

package/examples/ui-screen-regions/model/catalog/viewpoints/ui_layout/views/main_screen_layout.sysml

@@ -29,6 +29,8 @@ package memo_examples_ui_screen_regions_viewpoints_ui_layout_views_main_screen_l
     private import memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
     private import memo_examples_ui_screen_regions_traces::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // The geometry view: the capture as backdrop, elements drawn at their
     // authored bounds. Images for a layout view live in
     // `model/assets/<viewName>/`, so this view's backdrop is under
@@ -50,8 +52,7 @@ package memo_examples_ui_screen_regions_viewpoints_ui_layout_views_main_screen_l
         expose memo_examples_ui_screen_regions_artifacts_reviews_rationales::*;
         expose memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
         expose memo_examples_ui_screen_regions_traces::*;
-        attribute :>> id = "UIE-001";
-        attribute :>> title = "Main Infusion Screen — Region Layout";
-        part :>> viewpointDefinition = uiLayoutViewpoint;
+        @MemoIdentity { :>> providedId = "UIE-001"; }
+        ref :>> viewpointDefinition = uiLayoutViewpoint;
     }
 }

package/examples/ui-screen-regions/model/catalog/viewpoints/ui_layout/views/settings_screen_layout.sysml

@@ -29,6 +29,8 @@ package memo_examples_ui_screen_regions_viewpoints_ui_layout_views_settings_scre
     private import memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
     private import memo_examples_ui_screen_regions_traces::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // The settings screen reached by NavigatesTo, rendered on its own capture.
     // One layout view per captured screen, and the view's name is the folder
     // its images live in — `model/assets/settingsScreenLayout/`.
@@ -45,8 +47,7 @@ package memo_examples_ui_screen_regions_viewpoints_ui_layout_views_settings_scre
         expose memo_examples_ui_screen_regions_artifacts_reviews_rationales::*;
         expose memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
         expose memo_examples_ui_screen_regions_traces::*;
-        attribute :>> id = "UIE-008";
-        attribute :>> title = "Infusion Settings Screen — Region Layout";
-        part :>> viewpointDefinition = uiLayoutViewpoint;
+        @MemoIdentity { :>> providedId = "UIE-008"; }
+        ref :>> viewpointDefinition = uiLayoutViewpoint;
     }
 }

package/examples/ui-screen-regions/model/catalog/viewpoints/ui_layout/views/ui_region_trace.sysml

@@ -29,6 +29,8 @@ package memo_examples_ui_screen_regions_viewpoints_ui_layout_views_ui_region_tra
     private import memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
     private import memo_examples_ui_screen_regions_traces::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // The same content as a graph, for reviewers who want to read the trace
     // chain rather than look at the screen.
     view uiRegionTrace : MemoDiagramView {
@@ -44,11 +46,10 @@ package memo_examples_ui_screen_regions_viewpoints_ui_layout_views_ui_region_tra
         expose memo_examples_ui_screen_regions_artifacts_reviews_rationales::*;
         expose memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
         expose memo_examples_ui_screen_regions_traces::*;
-        attribute :>> id = "UIV-001";
+        @MemoIdentity { :>> providedId = "UIV-001"; }
         attribute depth = 3;
-        attribute :>> title = "UI Region Traceability";
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "bdd";
-        part :>> viewpointDefinition = uiLayoutViewpoint;
+        ref :>> viewpointDefinition = uiLayoutViewpoint;
     }
 }

package/extensions/aadl/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-aadl'
-version: 0.8.22
+version: 0.8.24
 description: AADL (SAE AS5506) correspondence profile and runtime component families
 license: MIT
 tags:

package/extensions/aadl/src/correspondence/memo_aadl_correspondence.sysml

@@ -19,42 +19,44 @@ package memo_extension_aadl_correspondence {
 
     private import memo_architecture_operational_context_stakeholders::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // ── Component categories ────────────────────────────────────────────
     part aadlCorrProcess : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-001";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-001"; }
         attribute :>> name = "ProcessCorrespondence";
         attribute :>> ruleExpression = "memo_extension_aadl_runtime::AadlProcess <-> AADL component category `process`";
         attribute :>> description = "A MEMO SoftwareComponent with runtimeKind = process, carrying addressSpaceIsolated.";
     }
     part aadlCorrThread : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-002";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-002"; }
         attribute :>> name = "ThreadCorrespondence";
         attribute :>> ruleExpression = "memo_extension_aadl_runtime::AadlThread <-> AADL component category `thread`";
         attribute :>> description = "Schedulable unit inside one process; owningProcessName names the containing process.";
     }
     part aadlCorrVirtualProcessor : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-003";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-003"; }
         attribute :>> name = "VirtualProcessorCorrespondence";
         attribute :>> ruleExpression = "memo_extension_aadl_runtime::AadlVirtualProcessor <-> AADL component category `virtual processor`";
         attribute :>> description = "An ARINC 653 partition. partitionBudget is the guaranteed time and memory; isolationMechanism is what enforces it.";
     }
     part aadlCorrProcessor : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-004";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-004"; }
         attribute :>> name = "ProcessorCorrespondence";
         attribute :>> ruleExpression = "memo_architecture_realization_physical::ProcessingNode <-> AADL component category `processor`";
     }
     part aadlCorrMemory : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-005";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-005"; }
         attribute :>> name = "MemoryCorrespondence";
         attribute :>> ruleExpression = "memo_architecture_realization_physical::MemoryDevice <-> AADL component category `memory`";
     }
     part aadlCorrBus : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-006";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-006"; }
         attribute :>> name = "BusCorrespondence";
         attribute :>> ruleExpression = "memo_architecture_implementation_hardware_electrical::NetworkMedium <-> AADL component category `bus`";
     }
     part aadlCorrSystem : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-007";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-007"; }
         attribute :>> name = "SystemCorrespondence";
         attribute :>> ruleExpression = "memo_architecture_logical_structure::System <-> AADL component category `system`";
         attribute :>> description = "AADL's system is the composition unit, which is MEMO's logical System rather than any runtime element.";
@@ -64,17 +66,17 @@ package memo_extension_aadl_correspondence {
     // something, and the binding is where latency, bandwidth, and fault
     // propagation accrue. MEMO has all three (plan C1). ────────────────────
     part aadlCorrProcessorBinding : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-010";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-010"; }
         attribute :>> name = "ActualProcessorBindingCorrespondence";
         attribute :>> ruleExpression = "memo_architecture_realization_deployment::DeploysTo <-> AADL property `Actual_Processor_Binding`";
     }
     part aadlCorrMemoryBinding : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-011";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-011"; }
         attribute :>> name = "ActualMemoryBindingCorrespondence";
         attribute :>> ruleExpression = "memo_architecture_realization_deployment::MemoryBinding <-> AADL property `Actual_Memory_Binding`";
     }
     part aadlCorrConnectionBinding : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-012";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-012"; }
         attribute :>> name = "ActualConnectionBindingCorrespondence";
         attribute :>> ruleExpression = "memo_architecture_realization_deployment::ConnectionBinding <-> AADL property `Actual_Connection_Binding`";
         attribute :>> description = "The bound element is the ComponentExchange, because the exchange is what owns the budget the medium spends.";
@@ -82,18 +84,18 @@ package memo_extension_aadl_correspondence {
 
     // ── Ports and flows ─────────────────────────────────────────────────
     part aadlCorrPortCategory : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-020";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-020"; }
         attribute :>> name = "PortCategoryCorrespondence";
         attribute :>> ruleExpression = "memo_core_enumerations::PortCategoryKind (data | 'event' | eventData) <-> AADL `data port` | `event port` | `event data port`";
         attribute :>> description = "Determines whether a missed deadline loses a sample or grows a queue — two failure modes with two mitigations.";
     }
     part aadlCorrFlowSpec : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-021";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-021"; }
         attribute :>> name = "FlowSpecificationCorrespondence";
         attribute :>> ruleExpression = "memo_architecture_realization_deployment::FlowSpecification (FlowSpecKind source | sink | path) <-> AADL `flow source` | `flow sink` | `flow path`";
     }
     part aadlCorrEndToEndFlow : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-022";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-022"; }
         attribute :>> name = "EndToEndFlowCorrespondence";
         attribute :>> ruleExpression = "memo_architecture_realization_deployment::EndToEndFlow <-> AADL `end to end flow`";
     }
@@ -101,45 +103,45 @@ package memo_extension_aadl_correspondence {
     // ── Properties. AADL's property sets are the technology-specific half of
     // the language; these are the ones MEMO already carries by another name.
     part aadlCorrPeriod : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-030";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-030"; }
         attribute :>> name = "PeriodCorrespondence";
         attribute :>> ruleExpression = "SoftwareComponent.periodMs <-> AADL `Timing_Properties::Period` (ms)";
     }
     part aadlCorrDeadline : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-031";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-031"; }
         attribute :>> name = "DeadlineCorrespondence";
         attribute :>> ruleExpression = "SoftwareComponent.deadlineMs <-> AADL `Timing_Properties::Deadline` (ms)";
     }
     part aadlCorrComputeExecutionTime : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-032";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-032"; }
         attribute :>> name = "ComputeExecutionTimeCorrespondence";
         attribute :>> ruleExpression = "SoftwareComponent.wcetMs <-> upper bound of AADL `Timing_Properties::Compute_Execution_Time` (ms)";
         attribute :>> description = "AADL records a range; MEMO records the worst case, which is the bound a schedulability argument uses.";
     }
     part aadlCorrPriority : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-033";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-033"; }
         attribute :>> name = "PriorityCorrespondence";
         attribute :>> ruleExpression = "SoftwareComponent.priority <-> AADL `Thread_Properties::Priority`";
     }
     part aadlCorrSchedulingProtocol : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-034";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-034"; }
         attribute :>> name = "SchedulingProtocolCorrespondence";
         attribute :>> ruleExpression = "SoftwareComponent.schedulingPolicy <-> AADL `Deployment_Properties::Scheduling_Protocol`";
     }
     part aadlCorrLatency : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-035";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-035"; }
         attribute :>> name = "LatencyCorrespondence";
         attribute :>> ruleExpression = "EndToEndFlow.latencyBudgetMs <-> AADL `Communication_Properties::Latency` upper bound (ms)";
     }
     part aadlCorrBandwidth : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-036";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-036"; }
         attribute :>> name = "BandwidthCorrespondence";
         attribute :>> ruleExpression = "ConnectionBinding.allocatedBandwidth <-> AADL `Communication_Properties::Bandwidth_Budget`";
     }
 
     // ── Where the correspondence stops ──────────────────────────────────
     part aadlCorrNoCounterpart : CorrespondenceRule {
-        attribute :>> id = "EXT-AADL-C-090";
+        @MemoIdentity { :>> providedId = "EXT-AADL-C-090"; }
         attribute :>> name = "NoCounterpartNote";
         attribute :>> ruleExpression = "no correspondence: AADL `subprogram`, `device`, `abstract`; MEMO's five assurance disciplines";
         attribute :>> description = "Recorded so the gap is a stated boundary of the profile rather than an omission a reader has to discover.";

package/extensions/aadl/src/methodology/aadl_methodology.sysml

@@ -4,8 +4,10 @@ package memo_extension_aadl_methodology {
     private import memo_methodology_profiles::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part aadlExtensionMethod : MethodologyDefinition {
-        attribute :>> id = "EXT-AADL-001";
+        @MemoIdentity { :>> providedId = "EXT-AADL-001"; }
         attribute :>> name = "AadlCorrespondenceExtension";
         attribute :>> version = "0.7.0";
         attribute :>> domain = "AADL (SAE AS5506) software runtime";

package/extensions/clinical/src/methodology/clinical_methodology.sysml

@@ -4,8 +4,10 @@ package memo_extension_clinical_methodology {
     private import memo_methodology_profiles::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part clinicalExtensionMethod : MethodologyDefinition {
-        attribute :>> id = "EXT-CLINICAL-001";
+        @MemoIdentity { :>> providedId = "EXT-CLINICAL-001"; }
         attribute :>> name = "ClinicalProcedureExtension";
         attribute :>> version = "0.6.5";
         attribute :>> domain = "clinical procedures";

package/extensions/cloud/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-cloud'
-version: 0.8.22
+version: 0.8.24
 description: Networked services and managed data stores
 license: MIT
 tags:

package/extensions/cloud/src/methodology/cloud_methodology.sysml

@@ -4,8 +4,10 @@ package memo_extension_cloud_methodology {
     private import memo_methodology_profiles::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part cloudExtensionMethod : MethodologyDefinition {
-        attribute :>> id = "EXT-CLOUD-001";
+        @MemoIdentity { :>> providedId = "EXT-CLOUD-001"; }
         attribute :>> name = "CloudRuntimeExtension";
         attribute :>> version = "0.7.0";
         attribute :>> domain = "networked services and managed data stores";

package/extensions/container/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-container'
-version: 0.8.22
+version: 0.8.24
 description: OCI container images and container runtimes as deployment content
 license: MIT
 tags:

package/extensions/container/src/container_extension.sysml

@@ -12,11 +12,11 @@ package memo_extension_container {
 
     private import memo_architecture_realization_deployment::*;
 
-    // The built artifact. `BuildsInto` (SoftwareModule -> DeploymentUnit)
+    // The built artifact. `BuildsInto` (SoftwareModule -> SoftwareDeploymentUnit)
     // reaches it unchanged, which is the test that the base is factored
     // correctly: a whole packaging technology lands without touching a base
     // relation.
-    part def ContainerImage specializes DeploymentUnit {
+    part def ContainerImage specializes SoftwareDeploymentUnit {
         // The pullable reference, e.g. "registry.example.com/screening:1.4.0".
         attribute imageReference : String;
         attribute registry : String;

package/extensions/container/src/methodology/container_methodology.sysml

@@ -4,8 +4,10 @@ package memo_extension_container_methodology {
     private import memo_methodology_profiles::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part containerExtensionMethod : MethodologyDefinition {
-        attribute :>> id = "EXT-CONTAINER-001";
+        @MemoIdentity { :>> providedId = "EXT-CONTAINER-001"; }
         attribute :>> name = "ContainerDeploymentExtension";
         attribute :>> version = "0.7.0";
         attribute :>> domain = "containerized deployment";

package/extensions/messaging/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-messaging'
-version: 0.8.22
+version: 0.8.24
 description: Publish/subscribe messaging — topics, brokers, and delivery semantics
 license: MIT
 tags:

package/extensions/messaging/src/methodology/messaging_methodology.sysml

@@ -4,8 +4,10 @@ package memo_extension_messaging_methodology {
     private import memo_methodology_profiles::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part messagingExtensionMethod : MethodologyDefinition {
-        attribute :>> id = "EXT-MESSAGING-001";
+        @MemoIdentity { :>> providedId = "EXT-MESSAGING-001"; }
         attribute :>> name = "MessagingExtension";
         attribute :>> version = "0.7.0";
         attribute :>> domain = "publish/subscribe messaging";

package/extensions/ros/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/extension-ros'
-version: 0.8.22
+version: 0.8.24
 description: ROS 2 nodes, messages, topic/service/action interfaces, QoS, and containerized deployment
 license: MIT
 tags:

package/extensions/ros/src/methodology/ros_methodology.sysml

@@ -4,12 +4,14 @@ package memo_extension_ros_methodology {
     private import memo_methodology_profiles::*;
     private import memo_core_enumerations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // An extension that builds on other extensions names them all here.
     // `baseMethodology` is [0..1] — single inheritance, deliberate — but
     // `includedModule` is [0..*], so this is how a dependency between
     // extensions is expressed. There is no chaining and no second base.
     part rosExtensionMethod : MethodologyDefinition {
-        attribute :>> id = "EXT-ROS-001";
+        @MemoIdentity { :>> providedId = "EXT-ROS-001"; }
         attribute :>> name = "Ros2Extension";
         attribute :>> version = "0.7.0";
         attribute :>> domain = "ROS 2 robotics middleware";

package/extensions/template/src/extension.sysml

@@ -21,8 +21,10 @@ package memo_extension_template {
     private import memo_methodology_core::*;
     private import memo_methodology_profiles::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part extensionMethod : MethodologyDefinition {
-        attribute :>> id = "EXT-METH-001";
+        @MemoIdentity { :>> providedId = "EXT-METH-001"; }
         attribute :>> name = "ExtensionMethod";
         attribute :>> version = "0.1.0";
         attribute :>> domain = "project extension";

package/methodologies/default/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/methodology-default'
-version: 0.8.22
+version: 0.8.24
 description: "MEMO default medical-device methodology \u2014 selects viewpoints/views/DHF documents from @memoarchitect/ontology and adds rules, gates, patterns, profiles, and workflow."
 license: MIT
 tags:

package/methodologies/gpca/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/methodology-gpca'
-version: 0.8.22
+version: 0.8.24
 description: "GPCA infusion pump methodology \u2014 subtraction-based tailoring of @memoarchitect/methodology-default for the non-networked prototype variant. Excludes cybersecurity and SOUP."
 license: MIT
 tags:

package/ontology/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/ontology'
-version: 0.8.22
+version: 0.8.24
 description: "MEMO \u2014 the single canonical medical-device ontology: core semantics, the Arcadia-inspired architecture layers (context, requirements, behavior, structure, interfaces, risk, cybersecurity,\
   \ assurance, \u2026), compliance, viewpoints, views, and invariant rules. One namespace (memo::), one src/ tree."
 license: MIT

package/package.json

@@ -1,8 +1,8 @@
 {
   "name": "@memoarchitect/ontology",
-  "version": "0.8.22",
+  "version": "0.10.9",
   "packageManager": "pnpm@9.15.0",
-  "description": "MEMO \u2014 Medical Engineering Modelling Ontology. Pure SysML v2 medical-device ontology with native constraints, portable to any conformant SysML v2 tool (SysIDE, SysON, sysand).",
+  "description": "MEMO — Medical Engineering Modelling Ontology. Pure SysML v2 medical-device ontology with native constraints, portable to any conformant SysML v2 tool (SysIDE, SysON, sysand).",
   "scripts": {
     "build": "bash scripts/build-kpar.sh",
     "check": "bash scripts/build-kpar.sh && npm run lint",

package/profile/memo.package.yaml

@@ -7,7 +7,7 @@
 # (`type`, `extends`, `usage`, `ontologies`, `methodology`, `modules`) were
 # removed at the native semantic flip and are now rejected if present.
 name: '@memoarchitect/medical-modeling-profile'
-version: 0.8.22
+version: 0.8.24
 description: Closure rules and viewpoints for medical device modeling
 license: MIT
 tags:

package/src/architecture/functional/behavior/memo_behavior.sysml

@@ -10,7 +10,7 @@ package memo_architecture_functional_behavior {
     abstract action def FunctionalAction specializes MemoAction;
     // State machines and their mode states are SysML v2 states (behaviours), so
     // they derive from the MemoState foundation, not the part-based
-    // ArchitectureElement. Transitions stay part-based (below) to keep their
+    // MemoPart family. Transitions stay part-based (below) to keep their
     // traceable safety attributes.
     // State machines retain their own execution semantics; individual modes
     // are MemoState usages selected by stateKind.
@@ -23,7 +23,7 @@ package memo_architecture_functional_behavior {
     // elements are active in one selectable arrangement.
     // The reference is typed to the shared native state family so a consumer
     // can navigate from the selected configuration to its governing mode.
-    part def ModeConfiguration specializes ArchitectureElement {
+    part def ModeConfiguration specializes MemoPart {
         ref activeMode : MemoState[1];
         ref activeElement : MemoPart[0..*];
     }
@@ -70,7 +70,7 @@ package memo_architecture_functional_behavior {
     // annotate a BASE element rather than declare its own type, the SysML-
     // native answer is `metadata def` + `Metaobjects::SemanticMetadata`, which
     // is what every MEMO relation already carries since A4.
-    part def ActivityAction specializes ArchitectureElement {
+    part def ActivityAction specializes MemoPart {
         attribute actionKind : ActionKind;
         attribute inputSummary : String;
         attribute outputSummary : String;
@@ -82,13 +82,13 @@ package memo_architecture_functional_behavior {
         attribute guardCondition : String;
         attribute weight : String;
     }
-    // UI scenarios are MemoScenario usages with scenarioKind `ui`.
+    // UI scenarios are OperativeScenario usages with scenarioKind `ui`.
 
     part def TimingConstraint specializes VerifiableElement {
         attribute constraintKind : TimingConstraintKind;
         attribute minMs : String;
         attribute maxMs : String;
         ref referenceElement : MemoPart[1];
-        attribute verificationMethod : VerificationMethodKind;
+        attribute verificationMethod : MemoVerificationMethodKind;
     }
 }