@memoarchitect/ontology 0.13.2 → 0.15.1

package/examples/ui-screen-regions/model/catalog/assurance/safety_risk/risk.sysml

@@ -18,76 +18,76 @@ package memo_examples_ui_screen_regions_assurance_safety_risk {
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
     item hzWrongRate : Hazard {
-        @MemoIdentity { :>> providedId = "UIR-HZ-001"; } attribute :>> name = "InfusionAtIncorrectRate";
+        @MemoIdentity { :>> providedId = "UIR-HZ-001"; :>> label = "InfusionAtIncorrectRate"; }
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::serious;
         attribute :>> foreseeable = true;
     }
 
     part rcRateConfirm : RiskControlMeasure {
-        @MemoIdentity { :>> providedId = "UIR-RC-001"; } attribute :>> name = "RateChangeConfirmationDialog";
+        @MemoIdentity { :>> providedId = "UIR-RC-001"; :>> label = "RateChangeConfirmationDialog"; }
         @MemoIdentity { :>> shortDescription = "Explicit confirmation step before a rate change applies."; }
-        attribute :>> description = "A confirmation dialog restates the requested rate in words and numerals before the change is committed, so a mis-set decimal point has a second chance to be caught.";
+        doc /* A confirmation dialog restates the requested rate in words and numerals before the change is committed, so a mis-set decimal point has a second chance to be caught. */
         attribute :>> controlKind = RiskControlKind::protectiveMeasure;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
     }
 
     item hzWrongDrug : Hazard {
-        @MemoIdentity { :>> providedId = "UIR-HZ-002"; } attribute :>> name = "TherapyConfiguredForWrongDrug";
+        @MemoIdentity { :>> providedId = "UIR-HZ-002"; :>> label = "TherapyConfiguredForWrongDrug"; }
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::serious;
         attribute :>> foreseeable = true;
     }
 
     part rcDrugLibraryGuard : RiskControlMeasure {
-        @MemoIdentity { :>> providedId = "UIR-RC-002"; } attribute :>> name = "CareAreaDrugLibraryGuard";
+        @MemoIdentity { :>> providedId = "UIR-RC-002"; :>> label = "CareAreaDrugLibraryGuard"; }
         @MemoIdentity { :>> shortDescription = "Restrict selection to enabled care-area drug-library entries."; }
-        attribute :>> description = "Filters the dynamic selector to the active care-area formulary and validates the selected drug and concentration before its dosing limits are used.";
+        doc /* Filters the dynamic selector to the active care-area formulary and validates the selected drug and concentration before its dosing limits are used. */
         attribute :>> controlKind = RiskControlKind::inherentSafeDesign;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
     }
 
     item hzUnexpectedPowerLoss : Hazard {
-        @MemoIdentity { :>> providedId = "UIR-HZ-003"; } attribute :>> name = "UnexpectedTherapyInterruptionFromPowerLoss";
+        @MemoIdentity { :>> providedId = "UIR-HZ-003"; :>> label = "UnexpectedTherapyInterruptionFromPowerLoss"; }
         attribute :>> hazardType = HazardTypeKind::energyExposure;
         attribute :>> severity = SeverityKind::critical;
         attribute :>> foreseeable = true;
     }
 
     part rcLowBatteryProminence : RiskControlMeasure {
-        @MemoIdentity { :>> providedId = "UIR-RC-003"; } attribute :>> name = "ProminentLowBatteryStatus";
+        @MemoIdentity { :>> providedId = "UIR-RC-003"; :>> label = "ProminentLowBatteryStatus"; }
         @MemoIdentity { :>> shortDescription = "Update and emphasize low remaining battery status within one second."; }
-        attribute :>> description = "Monitors battery telemetry and changes the status indicator's color and icon state at the low-runtime threshold so the clinician can restore power before therapy interruption.";
+        doc /* Monitors battery telemetry and changes the status indicator's color and icon state at the low-runtime threshold so the clinician can restore power before therapy interruption. */
         attribute :>> controlKind = RiskControlKind::monitoring;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
     }
 
     item hzIncorrectDeliveredVolumeAssessment : Hazard {
-        @MemoIdentity { :>> providedId = "UIR-HZ-004"; } attribute :>> name = "IncorrectDeliveredVolumeAssessment";
+        @MemoIdentity { :>> providedId = "UIR-HZ-004"; :>> label = "IncorrectDeliveredVolumeAssessment"; }
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::serious;
         attribute :>> foreseeable = true;
     }
 
     part rcDisplayFreshnessMonitor : RiskControlMeasure {
-        @MemoIdentity { :>> providedId = "UIR-RC-004"; } attribute :>> name = "InfusionDisplayFreshnessMonitor";
+        @MemoIdentity { :>> providedId = "UIR-RC-004"; :>> label = "InfusionDisplayFreshnessMonitor"; }
         @MemoIdentity { :>> shortDescription = "Refresh displayed rate and volume at 1 Hz and detect stale telemetry."; }
-        attribute :>> description = "Maintains a one-second display age budget for infusion status and detects a missed telemetry refresh before stale values can persist.";
+        doc /* Maintains a one-second display age budget for infusion status and detects a missed telemetry refresh before stale values can persist. */
         attribute :>> controlKind = RiskControlKind::monitoring;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
     }
 
     item hzIncorrectEventChronology : Hazard {
-        @MemoIdentity { :>> providedId = "UIR-HZ-005"; } attribute :>> name = "IncorrectTherapyEventChronology";
+        @MemoIdentity { :>> providedId = "UIR-HZ-005"; :>> label = "IncorrectTherapyEventChronology"; }
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::minor;
         attribute :>> foreseeable = true;
     }
 
     part rcClockFreshnessCheck : RiskControlMeasure {
-        @MemoIdentity { :>> providedId = "UIR-RC-005"; } attribute :>> name = "SynchronizedClockFreshnessCheck";
+        @MemoIdentity { :>> providedId = "UIR-RC-005"; :>> label = "SynchronizedClockFreshnessCheck"; }
         @MemoIdentity { :>> shortDescription = "Synchronize the display clock and bound visible time error."; }
-        attribute :>> description = "Checks the displayed clock against the synchronized device clock and refreshes the visible minute at rollover.";
+        doc /* Checks the displayed clock against the synchronized device clock and refreshes the visible minute at rollover. */
         attribute :>> controlKind = RiskControlKind::plausibilityCheck;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
     }

package/examples/ui-screen-regions/model/catalog/assurance/verification_validation/verification_validation.sysml

@@ -22,7 +22,7 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
 
     private import memo_core_common::MemoIdentity;
     verification vcRateChange : VerificationCase {
-        @MemoIdentity { :>> providedId = "UIR-VER-001"; } attribute :>> name = "VerifyRateChangeConfirmation";
+        @MemoIdentity { :>> providedId = "UIR-VER-001"; :>> label = "VerifyRateChangeConfirmation"; }
         attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "A rate change cannot reach the controller until the displayed value is explicitly confirmed.";
         attribute :>> status = ElementStatusKind::approved;
@@ -32,14 +32,14 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
 
     part evRateChange : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        @MemoIdentity { :>> providedId = "UIR-EV-001"; } attribute :>> name = "RateChangeConfirmationTestRecord";
+        @MemoIdentity { :>> providedId = "UIR-EV-001"; :>> label = "RateChangeConfirmationTestRecord"; }
         attribute :>> version = "planned";
         attribute :>> evidenceType = "test record";
         attribute :>> integrityStatus = "planned";
     }
 
     verification vcDrugLibrarySelection : VerificationCase {
-        @MemoIdentity { :>> providedId = "VER-002"; } attribute :>> name = "VerifyCareAreaDrugLibrarySelection";
+        @MemoIdentity { :>> providedId = "VER-002"; :>> label = "VerifyCareAreaDrugLibrarySelection"; }
         attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Only enabled care-area drug and concentration records are selectable, and every selection supplies the matching dosing limits.";
         attribute :>> status = ElementStatusKind::approved;
@@ -49,14 +49,14 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
 
     part evDrugLibrarySelection : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        @MemoIdentity { :>> providedId = "EVD-002"; } attribute :>> name = "DrugLibrarySelectionTestRecord";
+        @MemoIdentity { :>> providedId = "EVD-002"; :>> label = "DrugLibrarySelectionTestRecord"; }
         attribute :>> version = "planned";
         attribute :>> evidenceType = "test record";
         attribute :>> integrityStatus = "planned";
     }
 
     verification vcInfusionStatusContent : VerificationCase {
-        @MemoIdentity { :>> providedId = "VER-003"; } attribute :>> name = "VerifyInfusionStatusContentAndFreshness";
+        @MemoIdentity { :>> providedId = "VER-003"; :>> label = "VerifyInfusionStatusContentAndFreshness"; }
         attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Time, battery, active rate, drug identity, and total delivered volume satisfy their content, accuracy, and latency criteria under normal and threshold-transition conditions.";
         attribute :>> status = ElementStatusKind::approved;
@@ -67,7 +67,7 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
 
     part evInfusionStatusContent : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        @MemoIdentity { :>> providedId = "EVD-003"; } attribute :>> name = "InfusionStatusDisplayTestRecord";
+        @MemoIdentity { :>> providedId = "EVD-003"; :>> label = "InfusionStatusDisplayTestRecord"; }
         attribute :>> version = "planned";
         attribute :>> evidenceType = "test record";
         attribute :>> integrityStatus = "planned";

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

@@ -51,8 +51,7 @@ package memo_examples_ui_screen_regions_viewpoints_functional_views_ui_functiona
         attribute :>> diagramType = "bdd";
         attribute :>> autoPopulate = true;
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-102"; }
-            attribute :>> name = "UIFunctionalTreeQuery";
+            @MemoIdentity { :>> providedId = "QRY-102"; :>> label = "UIFunctionalTreeQuery"; }
             attribute :>> includeElementKinds = ("SystemFunction", "UIAction", "UIElement", "UserInterface");
             attribute :>> includeRelationshipKinds = ("Composes", "ElementTriggersAction", "Performs", "AllocatedTo");
             attribute :>> includeLayers = ("functions", "implementation");

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

@@ -51,8 +51,7 @@ package memo_examples_ui_screen_regions_viewpoints_requirements_views_ui_require
         attribute :>> diagramType = "req";
         attribute :>> autoPopulate = true;
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-101"; }
-            attribute :>> name = "UIRequirementsTraceQuery";
+            @MemoIdentity { :>> providedId = "QRY-101"; :>> label = "UIRequirementsTraceQuery"; }
             attribute :>> includeElementKinds = ("Need", "Requirement", "UIElement", "SystemFunction", "VerificationCase");
             attribute :>> includeRelationshipKinds = ("DerivesFrom", "SatisfiedBy", "VerifiedBy");
             attribute :>> includeLayers = ("requirements", "implementation", "functions", "assurance");

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

@@ -51,8 +51,7 @@ package memo_examples_ui_screen_regions_viewpoints_risk_views_ui_risk_chain {
         attribute :>> diagramType = "risk";
         attribute :>> autoPopulate = true;
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-103"; }
-            attribute :>> name = "UIRiskChainQuery";
+            @MemoIdentity { :>> providedId = "QRY-103"; :>> label = "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");

package/examples/ui-screen-regions/model/{catalog → methodology}/project.sysml

@@ -1,4 +1,4 @@
-// UI screen regions — project identity and method binding.
+// UI screen regions — model identity and method binding.
 //
 // The native entrypoint for this project. Everything that decides what the
 // model means is here or reachable from here: the imports name the reusable
@@ -33,10 +33,9 @@ package memo_examples_ui_screen_regions_project {
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
-    part uiScreenRegionsBinding : ProjectMethodBinding {
-        @MemoIdentity { :>> providedId = "PMB-UIR-001"; }
-        attribute :>> name = "UIScreenRegionsProjectMethodBinding";
-        attribute :>> projectName = "UI Screen Regions";
+    part uiScreenRegionsBinding : ModelMethodBinding {
+        @MemoIdentity { :>> providedId = "PMB-UIR-001"; :>> label = "UIScreenRegionsModelMethodBinding"; }
+        attribute :>> modelName = "UI Screen Regions";
         // The default methodology selects everything the resolved ontology
         // provides, which is what makes the UI layout rules CR-MED-110…113
         // evaluable against this model.

package/extensions/README.md

@@ -1,31 +1,80 @@
 # Extensions
 
 An extension is a **way to model**, not a sample. It is a reusable ontology
-package that specializes the base and is selected by a methodology or a project
-binding — so extensions live here, beside `src/`, and not under `examples/`.
+package that specializes the base and is brought into a project by importing
+it — so extensions live here, beside `src/`, and not under `examples/`.
 Examples *use* extensions; `examples/ros-mobile-robot` demonstrates one.
 
-MEMO defines no extension metaclass. An extension is a plain SysML package:
+MEMO defines no extension metaclass and no extension methodology. An extension
+is plain SysML packages:
 
 - outside `src/` and outside the `memo::` namespace;
 - with a `memo.package.yaml` carrying identity and `sysmlDir` only (the semantic
   fields `type` / `extends` / `usage` / `ontologies` / `methodology` / `modules`
   are rejected);
 - whose SysML **specializes** base types;
-- plus a `MethodologyDefinition` naming `baseMethodology`, `scopeMode`, and its
-  own `includedModule`.
+- with one **facade** package, `memo_extension_<directory>`, that publicly
+  imports every other package the extension ships and every extension it builds
+  on.
 
-`template/` is the skeleton. The build round-trips every extension into its own
-KPAR and resolves it with `syside check`, exactly as it does the base.
-
-## Composition happens at the project binding
+The facade **is** the extension as the model sees it: a project imports it,
+another extension imports it, and nothing else identifies an extension.
 
-`MethodologyDefinition.baseMethodology` is `[0..1]` — single inheritance, and
-deliberate. Extensions therefore **do not chain**. Both
-`MethodologyDefinition.includedModule` and `ProjectMethodBinding.includedModule`
-are `String[0..*]`, so a project combines any number of independent extensions
-by listing their modules in its own binding. That is *the* composition
-mechanism; nothing else is supported.
+`template/` is the skeleton. The build round-trips every extension into its own
+KPAR (`memo-extension-<directory>`) and resolves the whole tree with `syside check`,
+exactly as it does the base.
+
+## Each extension is its own package
+
+An extension is built, versioned and depended on by itself. Its KPAR declares
+what it uses: the base ontology and default methodology, the SysML libraries,
+and **every other extension its source imports** (`import memo_extension_<name>`
+is read from the files, not listed twice). `ros` therefore declares
+`memo-extension-messaging` and `memo-extension-container`; `clinical` declares
+neither. Add an `import` of another extension and the next build records the
+dependency; remove it and the dependency goes.
+
+## One import brings an extension in
+
+```sysml
+package memo_examples_ros_mobile_robot_project {
+    public import memo_extension_ros::*;
+
+    part projectBinding : ModelMethodBinding {
+        ref :>> selectedMethodology = mdDefaultDefinition;
+    }
+}
+```
+
+A methodology selects the packages that the package declaring it **publicly
+imports**, followed through their public imports in turn; a project adds to that
+selection the same way, from the package that declares its binding. That is
+SysML's own meaning of a public import — it passes the imported members on to
+whoever imports the importing package — so there is no list of package names
+beside it, and a misspelled package is an import the compiler rejects. A
+private import makes the names visible to the importing package and selects
+nothing: the ROS package privately imports the architecture packages it
+specializes, and selecting ROS does not select them.
+
+So an extension's facade publicly imports what selecting the extension has to
+select:
+
+- **its own packages.** `aadl`'s facade publicly imports
+  `memo_extension_aadl_runtime` and `memo_extension_aadl_correspondence`, the
+  packages that declare its definitions and rules. A facade that left one out
+  would leave it out of every project that imports the extension.
+- **the extensions it builds on.** `ros` publicly imports `memo_extension_messaging`
+  and `memo_extension_container`. The dependency is declared once, by that
+  import, and it is the same line the KPAR build reads to record the dependency,
+  so the two cannot disagree.
+
+A test holds each facade's public imports equal to the packages the directory
+declares plus the extensions it imports, and checks that every example using an
+extension's definitions publicly imports its facade from the entrypoint, or one
+whose facade imports it.
+
+A project's or a supplier's own packages outside MEMO are added the same way: a
+public import in the binding's package.
 
 ## Rule 1 — use native mechanisms first; extension relations specialize base ones
 
@@ -71,7 +120,7 @@ the prefix is what makes that check something an author can satisfy by
 construction rather than by luck.
 
 Enumeration literals are not definitions and are not prefixed —
-`RosReliabilityKind::reliable`, not `RosReliabilityKind::rosReliable`.
+`RosDurabilityKind::transientLocal`, not `RosDurabilityKind::rosTransientLocal`.
 
 ## What an extension must not do
 

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.13.2
+version: 0.15.1
 description: AADL (SAE AS5506) correspondence profile and runtime component families
 license: MIT
 tags:

package/extensions/aadl/src/aadl_extension.sysml

@@ -1,5 +1,8 @@
-// The AADL extension's public facade. A project includes the module
-// `memo_extension_aadl` in its binding and imports this package.
+// The AADL extension's public facade. It publicly imports every package the
+// extension ships, so one import brings the extension into a project: a
+// project that imports it sees the definitions, and one that imports it
+// publicly from its entrypoint package (or a methodology that does) selects
+// every package below.
 package memo_extension_aadl {
     public import memo_extension_aadl_runtime::*;
     public import memo_extension_aadl_correspondence::*;

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

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

package/extensions/clinical/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/example-extension-clinical'
-version: 0.6.1
+version: 0.15.1
 description: Example methodology extension for clinical-procedure vocabulary
 license: MIT
 tags:

package/extensions/clinical/src/clinical_extension.sysml

@@ -1,3 +1,5 @@
+// The clinical extension's public facade: it publicly imports every package
+// the extension ships, so importing it brings in the whole extension.
 package memo_extension_clinical {
     public import memo_extension_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.13.2
+version: 0.15.1
 description: Networked services and managed data stores
 license: MIT
 tags:

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.13.2
+version: 0.15.1
 description: OCI container images and container runtimes as deployment content
 license: MIT
 tags:

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.13.2
+version: 0.15.1
 description: Publish/subscribe messaging — topics, brokers, and delivery semantics
 license: MIT
 tags:

package/extensions/messaging/src/messaging_extension.sysml

@@ -28,7 +28,7 @@ package memo_extension_messaging {
     // Message/payload definition. A named topic is an item usage of a concrete
     // message definition; the definition states the schema, while the usage
     // supplies the deployed topic identity.
-    item def MessagingMessage specializes SoftwareItem {
+    item def MessagingMessage specializes DataItem {
         attribute messageSchema : String;
     }
 
@@ -52,7 +52,7 @@ package memo_extension_messaging {
     interface def MessagingTopicInterface specializes SoftwareInterface {
         end publisher : MessagingPublisher :>> source;
         end subscriber : MessagingSubscriber :>> target;
-        flow of MessagingMessage from publisher.payload to subscriber.payload;
+        flow messagingMessageFlow of MessagingMessage from publisher.payload to subscriber.payload;
     }
 
     part def MessagingBroker specializes SoftwareComponent {

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.13.2
+version: 0.15.1
 description: ROS 2 nodes, messages, topic/service/action interfaces, QoS, and containerized deployment
 license: MIT
 tags: