@memoarchitect/ontology 0.6.4 → 0.7.0

package/src/rules/ontology/ontology_invariants.sysml

@@ -11,123 +11,93 @@ package memo_rules_ontology {
 
     // ─── Structure ───────────────────────────────────────────────────────
 
-    constraint def containmentAcyclicRule {
+    constraint def ContainmentAcyclicRule :> MemoConsistencyRule {
         attribute id = "CR-ONT-001";
-        attribute appliesTo = "MemoPart";
+        attribute tailoring = RuleTailoringKind::invariant;
+        attribute appliesTo = "Model";
         attribute severity = RuleSeverityKind::error;
         attribute rationaleText = "Containment/composition relations (Composes) must form no cycles.";
         attribute predicateExpression = "acyclic(composes)";
         constraint { true }
     }
-    constraint def connectorEndpointsExistRule {
-        attribute id = "CR-ONT-002";
-        attribute appliesTo = "ComponentExchange";
-        attribute severity = RuleSeverityKind::error;
-        attribute rationaleText = "Connector endpoints must resolve to model elements via the typed refs sourceEndpoint/targetEndpoint; port-path strings are descriptive labels only.";
-        attribute predicateExpression = "sourceEndpoint->size() = 1 and targetEndpoint->size() = 1";
-        constraint { true }
-    }
-    constraint def portCompatibilityRule {
-        attribute id = "CR-ONT-003";
-        attribute appliesTo = "LogicalConnector";
-        attribute severity = RuleSeverityKind::error;
-        attribute rationaleText = "Connected ports must agree on content kind; a fluid port cannot connect to an information port.";
-        attribute predicateExpression = "sourceComponent.ports.contentKind->intersect(targetComponent.ports.contentKind)->size() >= 1";
-        constraint { true }
-    }
-    constraint def directionAgreesWithFlowRule {
-        attribute id = "CR-ONT-004";
-        attribute appliesTo = "LogicalExchange";
-        attribute severity = RuleSeverityKind::error;
-        attribute rationaleText = "Exchange direction must agree with the direction of its source and target ports.";
-        attribute predicateExpression = "sourcePort.direction != DirectionKind::input and targetPort.direction != DirectionKind::output";
-        constraint { true }
-    }
-    constraint def exchangedItemTypeRule {
-        attribute id = "CR-ONT-005";
-        attribute appliesTo = "LogicalExchange";
+    constraint def NestedPartConnectedRule :> MemoConsistencyRule {
+        attribute id = "AR-IBD-001";
+        attribute tailoring = RuleTailoringKind::invariant;
+        // Internal-block connectivity is a structural-architecture concern, so
+        // the subject is the structural component — not every MemoPart. UI
+        // elements, captured evidence, and review comments nest in compositions
+        // without ever bearing a connector, and judging them produced warnings
+        // no modeller could act on. The engine reads this value; narrowing or
+        // widening the rule happens here, not in TypeScript.
+        attribute appliesTo = "LogicalComponent";
+        attribute evaluator = "architecture";
         attribute severity = RuleSeverityKind::warning;
-        attribute rationaleText = "Exchanged items must be type-compatible with the exchange content kind.";
-        attribute predicateExpression = "exchangedItem->isEmpty() or exchangedItem.contentKind = contentKind";
+        attribute rationaleText = "A structural part nested inside another part should expose at least one modeled interface connector. Passive or intentionally isolated parts may retain this warning with an explicit modelling rationale.";
+        attribute predicateExpression = "hasConnectorInComposition";
+        // Graph-aware structural rule, evaluated by Memo Architect's rule
+        // engine: it lifts port endpoints to their owning part, ignores
+        // composition/trace/deployment links, and includes a connected child's
+        // containing assemblies. The generic KerML expression evaluator cannot
+        // represent that transitive containment query.
         constraint { true }
     }
-
     // ─── Deployment and realization ──────────────────────────────────────
 
-    constraint def deployToCapableNodeRule {
-        attribute id = "CR-ONT-010";
-        attribute appliesTo = "DeploysTo";
-        attribute severity = RuleSeverityKind::error;
-        attribute rationaleText = "Software deploys only to capable execution nodes (e.g. containerized units require supportsContainerization).";
-        attribute predicateExpression = "deploymentKind != DeploymentKind::containerized or node.supportsContainerization = true";
-        constraint { true }
-    }
-    constraint def runtimeTracesToModuleRule {
+    constraint def RuntimeTracesToModuleRule :> MemoConsistencyRule {
         attribute id = "CR-ONT-011";
+        attribute tailoring = RuleTailoringKind::invariant;
         attribute appliesTo = "SoftwareComponent";
         attribute severity = RuleSeverityKind::warning;
         attribute rationaleText = "Every runtime component must trace to a module-view definition (Realizes).";
         attribute predicateExpression = "realizes->size() >= 1";
         constraint { true }
     }
-    constraint def logicalRealizationTypedRule {
-        attribute id = "CR-ONT-012";
-        attribute appliesTo = "Realizes";
-        attribute severity = RuleSeverityKind::error;
-        attribute rationaleText = "Realization relations must resolve both ends to model elements, not name strings.";
-        attribute predicateExpression = "realizing->size() = 1 and realized->size() = 1";
-        constraint { true }
-    }
-
-    constraint def patientContactCharacterizedRule {
+    constraint def PatientContactCharacterizedRule :> MemoConsistencyRule {
         attribute id = "CR-ONT-032";
+        attribute tailoring = RuleTailoringKind::invariant;
         attribute appliesTo = "PhysicalComponent";
         attribute severity = RuleSeverityKind::error;
         attribute rationaleText = "Patient-contact components must identify contact nature and duration (ISO 10993-1).";
-        attribute predicateExpression = "patientContact = false or (contactNature != '' and contactDuration != '')";
+        attribute predicateExpression = "patientContact == false or (contactNature != '' and contactDuration != '')";
         constraint { true }
     }
 
     // ─── Assurance coverage ──────────────────────────────────────────────
 
-    constraint def safetyCriticalFunctionVerifiedRule {
+    constraint def SafetyCriticalFunctionVerifiedRule :> MemoConsistencyRule {
         attribute id = "CR-ONT-040";
+        attribute tailoring = RuleTailoringKind::invariant;
         attribute appliesTo = "SystemFunction";
         attribute severity = RuleSeverityKind::error;
         attribute rationaleText = "Safety-critical functions (criticality high or catastrophic) must trace to at least one verification case.";
-        attribute predicateExpression = "criticality < CriticalityKind::high or verifiedBy->size() >= 1";
+        attribute predicateExpression = "not(criticality == 'high' or criticality == 'catastrophic') or verifiedBy->size() >= 1";
         constraint { true }
     }
-    constraint def criticalTaskValidatedRule {
+    constraint def CriticalTaskValidatedRule :> MemoConsistencyRule {
         attribute id = "CR-ONT-041";
+        attribute tailoring = RuleTailoringKind::invariant;
         attribute appliesTo = "UserTask[criticality=high]";
         attribute severity = RuleSeverityKind::error;
         attribute rationaleText = "Critical tasks (criticality high or catastrophic) must trace to usability validation (FDA HF guidance; IEC 62366-1 summative evaluation).";
-        attribute predicateExpression = "criticality < CriticalityKind::high or validates->size() >= 1";
+        attribute predicateExpression = "not(criticality == 'high' or criticality == 'catastrophic') or validates->size() >= 1";
         constraint { true }
     }
-    constraint def useErrorTracesToHazardRule {
+    constraint def UseErrorTracesToHazardRule :> MemoConsistencyRule {
         attribute id = "CR-ONT-042";
+        attribute tailoring = RuleTailoringKind::invariant;
         attribute appliesTo = "UseError";
         attribute severity = RuleSeverityKind::warning;
         attribute rationaleText = "Safety-relevant use errors (severity serious or worse) must trace to a hazard.";
-        attribute predicateExpression = "severity < SeverityKind::serious or causes->size() >= 1";
+        attribute predicateExpression = "not(severity == 'serious' or severity == 'critical' or severity == 'catastrophic') or causes->size() >= 1 or tracesRisk->size() >= 1";
         constraint { true }
     }
-    constraint def alternateScenarioHasBaseRule {
+    constraint def AlternateScenarioHasBaseRule :> MemoConsistencyRule {
         attribute id = "CR-ONT-043";
+        attribute tailoring = RuleTailoringKind::invariant;
         attribute appliesTo = "MemoScenario";
         attribute severity = RuleSeverityKind::error;
         attribute rationaleText = "Alternate, exception, and recovery scenarios must identify their base scenario or variation point — never duplicate the workflow.";
-        attribute predicateExpression = "variantKind = ScenarioVariantKind::nominal or baseScenario->size() = 1 or variationPoint != ''";
-        constraint { true }
-    }
-    constraint def singleAxisOwnershipRule {
-        attribute id = "CR-ONT-045";
-        attribute appliesTo = "MemoPart";
-        attribute severity = RuleSeverityKind::error;
-        attribute rationaleText = "Every element is owned by exactly one axis, encoded by its owning package: a horizontal architecture layer (memo_architecture_*) XOR a vertical assurance discipline (memo_assurance_*) — never both. Cross-axis participation is expressed by typed relationships, not by dual membership.";
-        attribute predicateExpression = "owningPackage.startsWith('memo_architecture_') xor owningPackage.startsWith('memo_assurance_')";
+        attribute predicateExpression = "not(variantKind == 'alternate' or variantKind == 'exception' or variantKind == 'recovery') or baseScenario->size() == 1 or variationPoint != ''";
         constraint { true }
     }
 }

package/src/rules/quantitative/quantitative_rules.sysml

@@ -1,28 +1,28 @@
-// C5 quantitative rule pack — native KerML constraints (Epic EE-3).
-// Numeric cardinality bounds migrated from cardinalityCheck predicate parts to
-// native `constraint def` bodies. The aggregate ratio rule (QT-003) is a
-// model-level metric, not a single-subject predicate, and is omitted (see note).
+// Quantitative per-subject cardinality constraints. Aggregate ratios belong to
+// model-level coverage reporting rather than this evaluator.
 package memo_rules_quantitative {
     private import ScalarValues::*;
 
     private import memo_core_consistency_rules::*;
     private import memo_core_enumerations::*;
 
-    constraint def hazardMaxControlsRule {
+    constraint def HazardMaxControlsRule :> MemoConsistencyRule {
         attribute id = "QT-001";
+        attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "Hazard";
         attribute severity = RuleSeverityKind::info;
         attribute rationaleText = "Excessive controls per hazard suggests the hazard is too broad and should be decomposed.";
-        attribute predicateExpression = "mitigates->size() >= 0 and mitigates->size() <= 10";
+        attribute predicateExpression = "mitigates->size() <= 10";
         constraint { true }
     }
 
-    constraint def swComponentMaxInterfacesRule {
+    constraint def SwComponentMaxInterfacesRule :> MemoConsistencyRule {
         attribute id = "QT-002";
+        attribute tailoring = RuleTailoringKind::assurance;
         attribute appliesTo = "SoftwareModule";
         attribute severity = RuleSeverityKind::info;
         attribute rationaleText = "High interface count indicates excessive coupling; consider decomposition.";
-        attribute predicateExpression = "threatenedBy->size() >= 0 and threatenedBy->size() <= 8";
+        attribute predicateExpression = "threatenedBy->size() <= 8";
         constraint { true }
     }
 

package/src/viewpoints/catalog/memo_viewpoint_catalog.sysml

@@ -158,6 +158,13 @@ package memo_viewpoints_catalog {
         attribute :>> purpose = "Runtime message ordering between software components along a functional scenario.";
         attribute :>> defaultViewKind = DiagramViewKind::sequence;
     }
+    // The first cataloged viewpoint to resolve to `geometry`: screen regions
+    // carry authored RegionBounds, so a geometry view draws modelled facts.
+    part vpUILayout : Viewpoint {
+        attribute :>> id = "VP-CAT-028"; attribute :>> name = "UILayoutViewpoint";
+        attribute :>> purpose = "Captured screens with their marked regions and the UI elements those regions present.";
+        attribute :>> defaultViewKind = DiagramViewKind::geometry;
+    }
 
     // ── Compatibility mappings (§22): legacy diagram intents resolve to
     //     standard view kinds; C4 and AADL stay in examples/ mappings. ──

package/src/viewpoints/clinical/clinical_viewpoint.sysml

@@ -9,7 +9,7 @@ package memo_viewpoints_clinical_clinical_viewpoint {
         attribute :>> name = "ClinicalViewpoint";
         attribute :>> title = "Clinical Viewpoint";
         attribute :>> shortDescription = "Shows clinical context, users, use environment, and clinical evidence.";
-        attribute :>> longDescription = "Default viewpoint derived from the context and assurance layers for clinical stakeholders — intended use, patient/clinician interaction, clinical evidence, and clinical safety claims.";
+        attribute :>> description = "Default viewpoint derived from the context and assurance layers for clinical stakeholders — intended use, patient/clinician interaction, clinical evidence, and clinical safety claims.";
         attribute :>> purpose = "Communicate clinical use context and clinical evidence for the device.";
         attribute :>> audience = (AudienceKind::clinicalEngineer, AudienceKind::regulatoryEngineer);
         attribute :>> stage = WorkflowStageKind::context;
@@ -18,6 +18,8 @@ package memo_viewpoints_clinical_clinical_viewpoint {
         attribute :>> presentationKind = (PresentationKind::narrativeSection);
         attribute :>> concernKinds = (ConcernKind::safety, ConcernKind::clinical);
         attribute :>> includedLayers = ("context", "assurance");
+        attribute :>> explorerLane = "assurance";
+        attribute :>> explorerOrder = 4;
         attribute :>> allowedElementKinds = ("Actor", "UseContext", "Evidence");
         attribute :>> userExtensible = true;
     }

package/src/viewpoints/clinical/{clinical_evidence_view → views/clinical_evidence_view}/clinical_evidence_view.sysml

@@ -1,11 +1,11 @@
-package memo_viewpoints_clinical_clinical_evidence_view {
+package memo_viewpoints_clinical_views_clinical_evidence_view {
     private import ScalarValues::*;
 
                 private import memo_viewpoints_definitions::*;
                 private import memo_core_enumerations::*;
 
                 view def MemoClinicalEvidenceView :> MemoDocumentView {
-    attribute :>> viewKind = DocumentViewKind::Clinical;
+    attribute :>> viewKind = DocumentViewKind::clinical;
     attribute :>> generationRule = "Include use contexts, actors, and clinical evidence supporting the device's intended use, filtered to clinical concern.";
     attribute :>> outputKind = (ViewOutputKind::documentSection);
     attribute :>> presentationKind = (PresentationKind::narrativeSection);

package/src/viewpoints/context/context_viewpoint.sysml

@@ -9,7 +9,7 @@ package memo_viewpoints_context_context_viewpoint {
         attribute :>> name = "ContextViewpoint";
         attribute :>> title = "System Context Viewpoint";
         attribute :>> shortDescription = "Shows actors, use context, and system boundary.";
-        attribute :>> longDescription = "Default viewpoint derived from the context layer to communicate who interacts with the device, under which use conditions, and where trust or safety boundaries exist.";
+        attribute :>> description = "Default viewpoint derived from the context layer to communicate who interacts with the device, under which use conditions, and where trust or safety boundaries exist.";
         attribute :>> purpose = "Communicate operational context and boundaries.";
         attribute :>> audience = (AudienceKind::systemArchitect);
         attribute :>> stage = WorkflowStageKind::context;
@@ -18,6 +18,8 @@ package memo_viewpoints_context_context_viewpoint {
         attribute :>> presentationKind = (PresentationKind::blockDiagram);
         attribute :>> concernKinds = (ConcernKind::safety, ConcernKind::interoperability);
         attribute :>> includedLayers = ("context");
+        attribute :>> explorerLane = "architecture";
+        attribute :>> explorerOrder = 0;
         // UseEnvironment (IEC 62366-1 3.20) is what the device sits inside —
         // facility, procedure area, ambient conditions. A context view that
         // cannot show it is missing half of "where is this used".

package/src/viewpoints/context/{system_context_view → views/system_context_view}/system_context_view.sysml

@@ -1,4 +1,4 @@
-package memo_viewpoints_context_system_context_view {
+package memo_viewpoints_context_views_system_context_view {
     private import ScalarValues::*;
 
                 private import memo_viewpoints_definitions::*;
@@ -6,7 +6,7 @@ package memo_viewpoints_context_system_context_view {
     private import memo_viewpoints_context_context_viewpoint::*;
 
                 view systemContextView : MemoDiagramView {
-                    expose memo_viewpoints_context_system_context_view::*;
+                    expose memo_viewpoints_context_views_system_context_view::*;
                     attribute depth = 2;
     attribute :>> id = "VIEW-CTX-001";
     attribute :>> name = "SystemContextView";

package/src/viewpoints/cybersecurity/cybersecurity_viewpoint.sysml

@@ -9,7 +9,7 @@ package memo_viewpoints_cybersecurity_cybersecurity_viewpoint {
         attribute :>> name = "CybersecurityViewpoint";
         attribute :>> title = "Cybersecurity Viewpoint";
         attribute :>> shortDescription = "Shows assets, trust boundaries, threats, vulnerabilities, cyber hazards, cyber risks, and mitigations.";
-        attribute :>> longDescription = "Default viewpoint derived from the cybersecurity layer, using STRIDE-style threat categories by default while allowing safety and privacy impacts to be traced into the broader model.";
+        attribute :>> description = "Default viewpoint derived from the cybersecurity layer, using STRIDE-style threat categories by default while allowing safety and privacy impacts to be traced into the broader model.";
         attribute :>> purpose = "Communicate cybersecurity design, threat analysis, and cyber risk posture.";
         attribute :>> audience = (AudienceKind::securityEngineer);
         attribute :>> stage = WorkflowStageKind::risk;
@@ -18,6 +18,8 @@ package memo_viewpoints_cybersecurity_cybersecurity_viewpoint {
         attribute :>> presentationKind = (PresentationKind::custom);
         attribute :>> concernKinds = (ConcernKind::cybersecurity, ConcernKind::privacy, ConcernKind::safety);
         attribute :>> includedLayers = ("cybersecurity", "software_structure", "hardware_structure", "interfaces", "risk", "assurance");
+        attribute :>> explorerLane = "assurance";
+        attribute :>> explorerOrder = 3;
         attribute :>> allowedElementKinds = ("CybersecurityAsset", "Threat", "Vulnerability", "CyberHazard", "CyberRisk", "CyberMitigation", "SecurityRequirement", "TrustBoundary", "ThreatScenario");
         attribute :>> allowedRelationshipKinds = ("ThreatenedBy", "Exploits", "RealizedByScenario", "Mitigates", "DerivesCyberRequirement", "ImpactsSafety", "CrossesTrustBoundary");
         attribute :>> documentUsage = ("Secure Product Development", "Threat Model", "Cybersecurity Risk Assessment", "QMSR");

package/src/viewpoints/cybersecurity/{cybersecurity_assessment_view → views/cybersecurity_assessment_view}/cybersecurity_assessment_view.sysml

@@ -1,11 +1,11 @@
-package memo_viewpoints_cybersecurity_cybersecurity_assessment_view {
+package memo_viewpoints_cybersecurity_views_cybersecurity_assessment_view {
     private import ScalarValues::*;
 
                 private import memo_viewpoints_definitions::*;
                 private import memo_core_enumerations::*;
 
                 view def MemoCybersecurityAssessmentView :> MemoDocumentView {
-    attribute :>> viewKind = DocumentViewKind::CybersecurityAssessment;
+    attribute :>> viewKind = DocumentViewKind::cybersecurityAssessment;
     attribute :>> generationRule = "Include cyber risks, exploitability, mitigations, security requirements, verification, residual risk, and postmarket evidence references.";
     attribute :>> outputKind = (ViewOutputKind::documentSection);
     attribute :>> presentationKind = (PresentationKind::riskTable);

package/src/viewpoints/cybersecurity/{threat_model_view → views/threat_model_view}/threat_model_view.sysml

@@ -1,11 +1,11 @@
-package memo_viewpoints_cybersecurity_threat_model_view {
+package memo_viewpoints_cybersecurity_views_threat_model_view {
     private import ScalarValues::*;
 
                 private import memo_viewpoints_definitions::*;
                 private import memo_core_enumerations::*;
 
                 view def MemoCybersecurityThreatModelView :> MemoDocumentView {
-    attribute :>> viewKind = DocumentViewKind::ThreatModel;
+    attribute :>> viewKind = DocumentViewKind::threatModel;
     attribute :>> generationRule = "Include assets, trust boundaries, threat scenarios, vulnerabilities, mitigations, and trace links to safety/privacy concerns.";
     attribute :>> outputKind = (ViewOutputKind::documentSection);
     attribute :>> presentationKind = (PresentationKind::narrativeSection);

package/src/viewpoints/definitions/memo_viewpoint_definitions.sysml

@@ -21,6 +21,10 @@ package memo_viewpoints_definitions {
         attribute userExtensible : Boolean;
         // Optional navigation grouping interpreted by Memo Architect.
         attribute group : String;
+        // Explorer placement follows the MEMO V-model: Architecture is read
+        // top-to-bottom; Assurance is read left-to-right.
+        attribute explorerLane : String;
+        attribute explorerOrder : Integer;
         // default diagram kind for a catalog viewpoint (optional)
         attribute defaultViewKind : DiagramViewKind[0..1];
     }
@@ -34,6 +38,7 @@ package memo_viewpoints_definitions {
 
     part def ViewSelectionQuery specializes MemoPart {
         attribute includeElementKinds : String[*];
+        attribute includeElementIds : String[*];
         attribute includeRelationshipKinds : String[*];
         attribute includeLayers : String[*];
         attribute includeConcerns : ConcernKind[*];
@@ -79,6 +84,7 @@ package memo_viewpoints_definitions {
 
     part def ViewInclusionRule specializes MemoPart {
         attribute includeElementKinds : String[*];
+        attribute includeElementIds : String[*];
         attribute includeRelationshipKinds : String[*];
         attribute includeLayers : String[*];
         attribute includeConcerns : ConcernKind[*];

package/src/viewpoints/functional/functional_viewpoint.sysml

@@ -9,7 +9,7 @@ package memo_viewpoints_functional_functional_viewpoint {
         attribute :>> name = "FunctionalViewpoint";
         attribute :>> title = "Functional Viewpoint";
         attribute :>> shortDescription = "Shows system functions, their decomposition, and allocation.";
-        attribute :>> longDescription = "Default viewpoint derived from the functions layer for what the system does, independent of how it is structured — function trees, function allocation, and behavior triggers.";
+        attribute :>> description = "Default viewpoint derived from the functions layer for what the system does, independent of how it is structured — function trees, function allocation, and behavior triggers.";
         attribute :>> purpose = "Describe the system's functional decomposition and behavior.";
         attribute :>> audience = (AudienceKind::systemArchitect);
         attribute :>> stage = WorkflowStageKind::architecture;
@@ -18,6 +18,8 @@ package memo_viewpoints_functional_functional_viewpoint {
         attribute :>> presentationKind = (PresentationKind::activityDiagram);
         attribute :>> concernKinds = (ConcernKind::safety, ConcernKind::performance);
         attribute :>> includedLayers = ("functions");
+        attribute :>> explorerLane = "architecture";
+        attribute :>> explorerOrder = 2;
         attribute :>> allowedElementKinds = ("SystemFunction", "FunctionalFlow", "FunctionalFlowStep", "FunctionalScenario", "FunctionalExchange");
         attribute :>> userExtensible = true;
     }

package/src/viewpoints/functional/{function_allocation_view → views/function_allocation_view}/function_allocation_view.sysml

@@ -1,4 +1,4 @@
-package memo_viewpoints_functional_function_allocation_view {
+package memo_viewpoints_functional_views_function_allocation_view {
     private import ScalarValues::*;
 
                 private import memo_viewpoints_definitions::*;
@@ -6,7 +6,7 @@ package memo_viewpoints_functional_function_allocation_view {
     private import memo_viewpoints_functional_functional_viewpoint::*;
 
                 view functionAllocationView : MemoDiagramView {
-                    expose memo_viewpoints_functional_function_allocation_view::*;
+                    expose memo_viewpoints_functional_views_function_allocation_view::*;
                     attribute depth = 2;
     attribute :>> id = "VIEW-FUNC-002";
     attribute :>> name = "FunctionAllocationView";

package/src/viewpoints/functional/{system_functional_tree_view → views/system_functional_tree_view}/system_functional_tree_view.sysml

@@ -1,4 +1,4 @@
-package memo_viewpoints_functional_system_functional_tree_view {
+package memo_viewpoints_functional_views_system_functional_tree_view {
     private import ScalarValues::*;
 
                 private import memo_viewpoints_definitions::*;
@@ -6,7 +6,7 @@ package memo_viewpoints_functional_system_functional_tree_view {
     private import memo_viewpoints_functional_functional_viewpoint::*;
 
                 view systemFunctionalTreeView : MemoDiagramView {
-                    expose memo_viewpoints_functional_system_functional_tree_view::*;
+                    expose memo_viewpoints_functional_views_system_functional_tree_view::*;
                     attribute depth = 2;
     attribute :>> id = "VIEW-FUNC-001";
     attribute :>> name = "SystemFunctionalTreeView";

package/src/viewpoints/logical/logical_viewpoint.sysml

@@ -9,7 +9,7 @@ package memo_viewpoints_logical_logical_viewpoint {
         attribute :>> name = "LogicalArchitectureViewpoint";
         attribute :>> title = "Logical Viewpoint";
         attribute :>> shortDescription = "Shows logical decomposition and interfaces.";
-        attribute :>> longDescription = "Default viewpoint derived from the logical architecture layer for subsystem structure, responsibilities, and major interactions, independent of physical realization.";
+        attribute :>> description = "Default viewpoint derived from the logical architecture layer for subsystem structure, responsibilities, and major interactions, independent of physical realization.";
         attribute :>> purpose = "Describe the system's logical decomposition.";
         attribute :>> audience = (AudienceKind::systemArchitect);
         attribute :>> stage = WorkflowStageKind::architecture;
@@ -18,6 +18,8 @@ package memo_viewpoints_logical_logical_viewpoint {
         attribute :>> presentationKind = (PresentationKind::blockDiagram);
         attribute :>> concernKinds = (ConcernKind::safety, ConcernKind::performance);
         attribute :>> includedLayers = ("logical_structure", "interfaces");
+        attribute :>> explorerLane = "architecture";
+        attribute :>> explorerOrder = 3;
         attribute :>> allowedElementKinds = ("LogicalComponent", "Interface");
         attribute :>> userExtensible = true;
     }

package/src/viewpoints/logical/{logical_architecture_view → views/logical_architecture_view}/logical_architecture_view.sysml

@@ -1,4 +1,4 @@
-package memo_viewpoints_logical_logical_architecture_view {
+package memo_viewpoints_logical_views_logical_architecture_view {
     private import ScalarValues::*;
 
                 private import memo_viewpoints_definitions::*;
@@ -6,7 +6,7 @@ package memo_viewpoints_logical_logical_architecture_view {
     private import memo_viewpoints_logical_logical_viewpoint::*;
 
                 view logicalArchitectureView : MemoDiagramView {
-                    expose memo_viewpoints_logical_logical_architecture_view::*;
+                    expose memo_viewpoints_logical_views_logical_architecture_view::*;
                     attribute depth = 2;
     attribute :>> id = "VIEW-LOG-001";
     attribute :>> name = "LogicalArchitectureView";

package/src/viewpoints/operational/operational_viewpoint.sysml

@@ -9,7 +9,7 @@ package memo_viewpoints_operational_operational_viewpoint {
         attribute :>> name = "OperationalViewpoint";
         attribute :>> title = "Operational & Use-Case Viewpoint";
         attribute :>> shortDescription = "Shows actors, use contexts, operational scenarios, and system capabilities.";
-        attribute :>> longDescription = "Default viewpoint derived from the context, operational, and system layers for how actors use the device — operational scenarios, capabilities, and the functional chains that realize them.";
+        attribute :>> description = "Default viewpoint derived from the context, operational, and system layers for how actors use the device — operational scenarios, capabilities, and the functional chains that realize them.";
         attribute :>> purpose = "Communicate how actors interact with the system and which capabilities they invoke.";
         attribute :>> audience = (AudienceKind::projectLead, AudienceKind::systemArchitect);
         attribute :>> stage = WorkflowStageKind::context;
@@ -18,6 +18,8 @@ package memo_viewpoints_operational_operational_viewpoint {
         attribute :>> presentationKind = (PresentationKind::custom);
         attribute :>> concernKinds = (ConcernKind::performance, ConcernKind::interoperability);
         attribute :>> includedLayers = ("context", "operational", "system");
+        attribute :>> explorerLane = "architecture";
+        attribute :>> explorerOrder = 1;
         attribute :>> allowedElementKinds = ("Actor", "UseContext", "OperationalActivity", "OperativeScenario");
         attribute :>> userExtensible = true;
     }

package/src/viewpoints/operational/{use_case_view → views/use_case_view}/use_case_view.sysml

@@ -1,4 +1,4 @@
-package memo_viewpoints_operational_use_case_view {
+package memo_viewpoints_operational_views_use_case_view {
     private import ScalarValues::*;
 
                 private import memo_viewpoints_definitions::*;
@@ -6,7 +6,7 @@ package memo_viewpoints_operational_use_case_view {
     private import memo_viewpoints_operational_operational_viewpoint::*;
 
                 view useCaseView : MemoDiagramView {
-                    expose memo_viewpoints_operational_use_case_view::*;
+                    expose memo_viewpoints_operational_views_use_case_view::*;
                     attribute depth = 2;
     attribute :>> id = "VIEW-OPS-001";
     attribute :>> name = "UseCaseView";

package/src/viewpoints/physical/physical_viewpoint.sysml

@@ -9,7 +9,7 @@ package memo_viewpoints_physical_physical_viewpoint {
         attribute :>> name = "PhysicalViewpoint";
         attribute :>> title = "Physical Viewpoint";
         attribute :>> shortDescription = "Shows physical components, hardware structure, and their interconnections.";
-        attribute :>> longDescription = "Default viewpoint derived from the physical and hardware structure layers for bill-of-materials, hardware decomposition, physical interfaces, and network/connectivity topology.";
+        attribute :>> description = "Default viewpoint derived from the physical and hardware structure layers for bill-of-materials, hardware decomposition, physical interfaces, and network/connectivity topology.";
         attribute :>> purpose = "Describe the system's physical realization and interconnections.";
         attribute :>> audience = (AudienceKind::hardwareEngineer);
         attribute :>> stage = WorkflowStageKind::architecture;
@@ -18,6 +18,8 @@ package memo_viewpoints_physical_physical_viewpoint {
         attribute :>> presentationKind = (PresentationKind::blockDiagram);
         attribute :>> concernKinds = (ConcernKind::reliability, ConcernKind::interoperability);
         attribute :>> includedLayers = ("hardware_structure", "physical");
+        attribute :>> explorerLane = "architecture";
+        attribute :>> explorerOrder = 5;
         attribute :>> allowedElementKinds = ("ProcessingNode", "HardwareAssembly", "PhysicalPort");
         attribute :>> userExtensible = true;
     }

package/src/viewpoints/physical/{network_topology_view → views/network_topology_view}/network_topology_view.sysml

@@ -1,4 +1,4 @@
-package memo_viewpoints_physical_network_topology_view {
+package memo_viewpoints_physical_views_network_topology_view {
     private import ScalarValues::*;
 
                 private import memo_viewpoints_definitions::*;
@@ -6,7 +6,7 @@ package memo_viewpoints_physical_network_topology_view {
     private import memo_viewpoints_physical_physical_viewpoint::*;
 
                 view networkTopologyView : MemoDiagramView {
-                    expose memo_viewpoints_physical_network_topology_view::*;
+                    expose memo_viewpoints_physical_views_network_topology_view::*;
                     attribute depth = 2;
     attribute :>> id = "VIEW-PHY-002";
     attribute :>> name = "NetworkTopologyView";

package/src/viewpoints/physical/{physical_bom_view → views/physical_bom_view}/physical_bom_view.sysml

@@ -1,4 +1,4 @@
-package memo_viewpoints_physical_physical_bom_view {
+package memo_viewpoints_physical_views_physical_bom_view {
     private import ScalarValues::*;
 
                 private import memo_viewpoints_definitions::*;
@@ -6,7 +6,7 @@ package memo_viewpoints_physical_physical_bom_view {
     private import memo_viewpoints_physical_physical_viewpoint::*;
 
                 view physicalBOMView : MemoDiagramView {
-                    expose memo_viewpoints_physical_physical_bom_view::*;
+                    expose memo_viewpoints_physical_views_physical_bom_view::*;
                     attribute depth = 2;
     attribute :>> id = "VIEW-PHY-001";
     attribute :>> name = "PhysicalBOMView";