@memoarchitect/ontology 0.6.5 → 0.7.0

package/examples/ui-screen-regions/model/catalog/artifacts/reviews/comments.sysml

@@ -0,0 +1,51 @@
+// Review comments. Queryable model content, not source-code comments and not
+// Architect-local state: each one traces to an addressable model element.
+package memo_examples_ui_screen_regions_artifacts_reviews_comments {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_core_annotations::*;
+
+    // ── Review commentary ───────────────────────────────────────
+    // Commentary is model content with an author and a disposition, kept
+    // separate from `description`: what the element IS versus what someone
+    // SAID about it. A generated DHF section renders the former only.
+    part cmtDecimalSalience : ModelComment {
+        attribute :>> id = "UIR-CMT-001"; attribute :>> name = "DecimalSalienceReview";
+        attribute :>> shortDescription = "Decimal point too small at 1 m — raised in HF review.";
+        attribute :>> body = "In the 2026-07-16 formative session, 3 of 8 participants hesitated over 12.5 vs 125 at bedside distance. Recommend enlarging the decimal separator or splitting the fractional digit into a smaller trailing glyph.";
+        attribute :>> author = "r.mehta";
+        attribute :>> createdAt = "2026-07-16T14:20:00Z";
+        attribute :>> commentStatus = CommentStatusKind::open;
+        attribute :>> anchor = "accessibilitySummary";
+    }
+
+    part cmtStatusBarScope : ModelComment {
+        attribute :>> id = "UIR-CMT-002"; attribute :>> name = "StatusBarScopeQuery";
+        attribute :>> shortDescription = "Is the battery icon really decoration?";
+        attribute :>> body = "Battery state is arguably an indicator, not chrome — a depleted battery during infusion is a hazard path. Should the battery icon be split out as its own indicator element with its own bounds?";
+        attribute :>> author = "j.okafor";
+        attribute :>> createdAt = "2026-07-16T09:05:00Z";
+        attribute :>> commentStatus = CommentStatusKind::acknowledged;
+    }
+
+    part cmtStatusBarReply : ModelComment {
+        attribute :>> id = "UIR-CMT-003"; attribute :>> name = "StatusBarScopeReply";
+        attribute :>> shortDescription = "Agreed — split in the next markup pass.";
+        attribute :>> body = "Agreed. Battery indication is in the alarm system's scope and will become its own indicator element once that requirement lands. Keeping the strip as decoration until then rather than classifying it as something it is not.";
+        attribute :>> author = "r.mehta";
+        attribute :>> createdAt = "2026-07-16T11:40:00Z";
+        attribute :>> commentStatus = CommentStatusKind::addressed;
+    }
+
+}

package/examples/ui-screen-regions/model/catalog/artifacts/reviews/notes.sysml

@@ -0,0 +1,27 @@
+// Review notes.
+package memo_examples_ui_screen_regions_artifacts_reviews_notes {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_core_annotations::*;
+
+    part noteCaptureReview : ModelNote {
+        attribute :>> id = "UIR-NOTE-001"; attribute :>> name = "CaptureReviewNote";
+        attribute :>> shortDescription = "Reconfirm automatic regions after every capture replacement.";
+        attribute :>> body = "Normalized manual bounds migrate between captures; automatically detected regions require renewed reviewer confirmation.";
+        attribute :>> author = "r.mehta";
+        attribute :>> createdAt = "2026-07-16T12:10:00Z";
+        attribute :>> noteKind = "review guidance";
+    }
+
+}

package/examples/ui-screen-regions/model/catalog/artifacts/reviews/rationales.sysml

@@ -0,0 +1,27 @@
+// Review rationales.
+package memo_examples_ui_screen_regions_artifacts_reviews_rationales {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_core_annotations::*;
+
+    part ratOverlayGeometry : ModelRationale {
+        attribute :>> id = "UIR-RAT-001"; attribute :>> name = "OverlayGeometryRationale";
+        attribute :>> shortDescription = "The drug menu intentionally escapes its parent bounds.";
+        attribute :>> body = "The open drug selector overlays adjacent content, so disclosureKind carries the intended behavior and the renderer must not clip it to RatePanel.";
+        attribute :>> author = "j.okafor";
+        attribute :>> createdAt = "2026-07-16T12:00:00Z";
+        attribute :>> basis = "Observed interaction design and UIDisclosureKind::overlay semantics";
+    }
+
+}

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

@@ -0,0 +1,59 @@
+// Human-factors assurance: the use errors observed or anticipated at the UI.
+package memo_examples_ui_screen_regions_assurance_human_factors {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_core_annotations::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_assurance_human_factors::*;
+
+    // ── The risk side ───────────────────────────────────────────
+    part ueMisreadRate : UseError {
+        attribute :>> id = "UIR-UE-001"; attribute :>> name = "MisreadRateDecimalPoint";
+        attribute :>> shortDescription = "Decimal point missed; rate read 10× high or low.";
+        attribute :>> description = "The clinician reads 12.5 mL/h as 125 mL/h, or the reverse, because the decimal point is not salient at a glance from the bedside.";
+        attribute :>> errorCategory = UseErrorCategoryKind::perception;
+        attribute :>> severity = SeverityKind::serious;
+    }
+
+    part ueSelectWrongDrug : UseError {
+        attribute :>> id = "UIR-UE-002"; attribute :>> name = "SelectWrongDrugConcentration";
+        attribute :>> shortDescription = "Clinician selects the wrong drug or concentration from the expanded list.";
+        attribute :>> description = "A visually adjacent drug-library entry is selected during programming and is not detected before delivery parameters are calculated.";
+        attribute :>> errorCategory = UseErrorCategoryKind::actionCategory;
+        attribute :>> severity = SeverityKind::serious;
+    }
+
+    part ueMissLowBattery : UseError {
+        attribute :>> id = "UIR-UE-003"; attribute :>> name = "MissLowBatteryStatus";
+        attribute :>> shortDescription = "Clinician does not notice that remaining battery operation is limited.";
+        attribute :>> description = "During transport or a mains outage, an inconspicuous or stale battery indicator is not noticed before the pump loses power.";
+        attribute :>> errorCategory = UseErrorCategoryKind::perception;
+        attribute :>> severity = SeverityKind::critical;
+    }
+
+    part ueRelyOnStaleVolume : UseError {
+        attribute :>> id = "UIR-UE-004"; attribute :>> name = "RelyOnStaleDeliveredVolume";
+        attribute :>> shortDescription = "Clinician bases a therapy decision on a stale delivered-volume value.";
+        attribute :>> description = "The displayed cumulative volume stops refreshing while the controller continues delivery, causing the clinician to underestimate administered therapy.";
+        attribute :>> errorCategory = UseErrorCategoryKind::cognition;
+        attribute :>> severity = SeverityKind::serious;
+    }
+
+    part ueMisreadDisplayedTime : UseError {
+        attribute :>> id = "UIR-UE-005"; attribute :>> name = "RelyOnIncorrectDisplayedTime";
+        attribute :>> shortDescription = "Clinician associates a therapy observation with an incorrect time.";
+        attribute :>> description = "A stale or unsynchronized screen clock causes an observation to be correlated with the wrong therapy event during handoff or incident review.";
+        attribute :>> errorCategory = UseErrorCategoryKind::cognition;
+        attribute :>> severity = SeverityKind::minor;
+    }
+
+}

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

@@ -0,0 +1,25 @@
+// Stakeholder needs.
+package memo_examples_ui_screen_regions_assurance_requirements_needs {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_core_annotations::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_assurance_requirements_needs::*;
+
+    requirement needReadableProgramming : Need {
+        attribute :>> id = "UIR-NEED-001"; attribute :>> name = "ReadableAndConfirmableProgramming";
+        attribute :>> needKind = NeedKind::'stakeholder';
+        attribute :>> statement = "Clinicians need infusion programming to be readable and explicitly confirmed before therapy changes.";
+        attribute :>> priority = "high";
+    }
+
+}

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

@@ -0,0 +1,178 @@
+// Assurance requirements. A requirement that constrains UI behaviour is still
+// an assurance requirement; the behaviour it constrains stays in architecture.
+package memo_examples_ui_screen_regions_assurance_requirements {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_core_annotations::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_assurance_requirements::*;
+
+    // ── The spec side ───────────────────────────────────────────
+    requirement reqRateEntry : Requirement {
+        attribute :>> id = "UIR-REQ-001"; attribute :>> name = "RateEntryConfirmation";
+        attribute :>> requirementKind = RequirementKind::software;
+        attribute :>> statement = "When the clinician enters a new infusion rate, the pump shall display the entered rate for explicit confirmation before applying it.";
+        attribute :>> notation = RequirementNotationKind::ears;
+        attribute :>> earsPattern = EarsPatternKind::eventDriven;
+        attribute :>> obligation = ObligationKind::shall;
+        attribute :>> conditionClause = "When the clinician enters a new infusion rate";
+        attribute :>> systemResponse = "display the entered rate for explicit confirmation before applying it";
+        attribute :>> safetyClass = SafetyClassKind::C;
+        attribute :>> acceptanceCriteria = "No rate change reaches the controller without a confirmation event in the audit log.";
+    }
+
+    requirement reqRateLegibility : Requirement {
+        attribute :>> id = "UIR-REQ-002"; attribute :>> name = "RateLegibility";
+        attribute :>> requirementKind = RequirementKind::system;
+        attribute :>> statement = "The pump shall display the active infusion rate legibly at 1 m under 100–1000 lux ambient illumination.";
+        attribute :>> notation = RequirementNotationKind::sophist;
+        attribute :>> obligation = ObligationKind::shall;
+        attribute :>> conditionClause = "Under 100–1000 lux ambient illumination at a 1 m viewing distance";
+        attribute :>> subjectDescription = "running-infusion display";
+        attribute :>> actorDescription = "clinician";
+        attribute :>> systemResponse = "present the active infusion rate with unambiguous decimal and units";
+        attribute :>> concernKind = ConcernKind::usability;
+        attribute :>> acceptanceCriteria = "At 1 m, representative clinicians correctly distinguish 12.5 from 125 and identify mL/h in at least 95% of trials.";
+    }
+
+    requirement reqVolumeDisplay : Requirement {
+        attribute :>> id = "UIR-REQ-003"; attribute :>> name = "VolumeDeliveredDisplay";
+        attribute :>> requirementKind = RequirementKind::software;
+        attribute :>> statement = "The pump shall display cumulative volume delivered for the active infusion, updated at least once per second.";
+        attribute :>> notation = RequirementNotationKind::ears;
+        attribute :>> earsPattern = EarsPatternKind::stateDriven;
+        attribute :>> obligation = ObligationKind::shall;
+        attribute :>> conditionClause = "While an infusion is running";
+        attribute :>> systemResponse = "display cumulative volume delivered in mL and update it at least once per second";
+        attribute :>> acceptanceCriteria = "The displayed value differs from controller cumulative volume by no more than 0.1 mL and is no more than 1 s old.";
+    }
+
+    requirement reqDrugLibrarySelection : Requirement {
+        attribute :>> id = "UIR-REQ-004"; attribute :>> name = "DrugLibrarySelection";
+        attribute :>> requirementKind = RequirementKind::software;
+        attribute :>> statement = "The pump shall permit selection only from drug and concentration entries enabled for the active care area.";
+        attribute :>> notation = RequirementNotationKind::ears;
+        attribute :>> earsPattern = EarsPatternKind::stateDriven;
+        attribute :>> obligation = ObligationKind::shall;
+        attribute :>> conditionClause = "While drug selection is active";
+        attribute :>> systemResponse = "present and accept only drug and concentration entries enabled for the active care area";
+        attribute :>> safetyClass = SafetyClassKind::C;
+        attribute :>> acceptanceCriteria = "Every selectable entry resolves to an enabled drug-library record and its configured dosing limits.";
+    }
+
+    requirement reqDisplayFreshness : Requirement {
+        attribute :>> id = "UIR-REQ-005"; attribute :>> name = "InfusionStatusFreshness";
+        attribute :>> requirementKind = RequirementKind::system;
+        attribute :>> statement = "The pump shall refresh the displayed active rate and cumulative delivered volume at least once per second while an infusion is running.";
+        attribute :>> notation = RequirementNotationKind::sophist;
+        attribute :>> obligation = ObligationKind::shall;
+        attribute :>> conditionClause = "While an infusion is running";
+        attribute :>> subjectDescription = "infusion status display";
+        attribute :>> actorDescription = "clinician";
+        attribute :>> systemResponse = "refresh active rate and cumulative delivered volume with end-to-end age not exceeding 1 s";
+        attribute :>> concernKind = ConcernKind::performance;
+        attribute :>> acceptanceCriteria = "For 10,000 sampled controller updates, 99.9% appear on screen within 1 s and none exceed 2 s.";
+    }
+
+    requirement reqActiveRateDisplay : Requirement {
+        attribute :>> id = "UIR-REQ-006"; attribute :>> name = "ActiveInfusionRateDisplay";
+        attribute :>> requirementKind = RequirementKind::software;
+        attribute :>> statement = "While an infusion is running, the pump shall display the active infusion rate value and its mL/h unit.";
+        attribute :>> notation = RequirementNotationKind::ears;
+        attribute :>> earsPattern = EarsPatternKind::stateDriven;
+        attribute :>> obligation = ObligationKind::shall;
+        attribute :>> conditionClause = "While an infusion is running";
+        attribute :>> systemResponse = "display the active infusion rate value and mL/h unit";
+        attribute :>> safetyClass = SafetyClassKind::C;
+        attribute :>> acceptanceCriteria = "The displayed rate and unit exactly match the active controller setpoint throughout running mode.";
+    }
+
+    requirement reqDrugIdentityDisplay : Requirement {
+        attribute :>> id = "UIR-REQ-007"; attribute :>> name = "ActiveDrugIdentityDisplay";
+        attribute :>> requirementKind = RequirementKind::software;
+        attribute :>> statement = "Where a drug-library entry is active, the pump shall display the selected drug name and concentration on the running-infusion screen.";
+        attribute :>> notation = RequirementNotationKind::ears;
+        attribute :>> earsPattern = EarsPatternKind::optionalFeature;
+        attribute :>> obligation = ObligationKind::shall;
+        attribute :>> conditionClause = "Where a drug-library entry is active";
+        attribute :>> systemResponse = "display the selected drug name and concentration on the running-infusion screen";
+        attribute :>> safetyClass = SafetyClassKind::C;
+        attribute :>> acceptanceCriteria = "The closed selector exactly matches the active library record's generic name, strength, and volume.";
+    }
+
+    requirement reqTimeDisplay : Requirement {
+        attribute :>> id = "UIR-REQ-008"; attribute :>> name = "LocalTimeDisplay";
+        attribute :>> requirementKind = RequirementKind::software;
+        attribute :>> statement = "While the running-infusion screen is visible, the pump shall display synchronized local time in 24-hour HH:mm format.";
+        attribute :>> notation = RequirementNotationKind::ears;
+        attribute :>> earsPattern = EarsPatternKind::stateDriven;
+        attribute :>> obligation = ObligationKind::shall;
+        attribute :>> conditionClause = "While the running-infusion screen is visible";
+        attribute :>> systemResponse = "display synchronized local time in 24-hour HH:mm format";
+        attribute :>> acceptanceCriteria = "Displayed time matches the configured local clock and presents valid 00:00–23:59 values.";
+    }
+
+    requirement reqTimeAccuracy : Requirement {
+        attribute :>> id = "UIR-REQ-009"; attribute :>> name = "DisplayedTimeAccuracy";
+        attribute :>> requirementKind = RequirementKind::system;
+        attribute :>> statement = "The running-infusion display shall present local time within 2 seconds of the synchronized device clock and refresh the visible minute within 1 second of rollover.";
+        attribute :>> notation = RequirementNotationKind::sophist;
+        attribute :>> obligation = ObligationKind::shall;
+        attribute :>> conditionClause = "During normal operation after clock synchronization";
+        attribute :>> subjectDescription = "running-infusion display";
+        attribute :>> actorDescription = "clinician";
+        attribute :>> systemResponse = "present local time within 2 s and update minute rollover within 1 s";
+        attribute :>> concernKind = ConcernKind::performance;
+        attribute :>> acceptanceCriteria = "Across a 24 h soak test, absolute display error is ≤2 s and every minute rollover appears within 1 s.";
+    }
+
+    requirement reqBatteryStatusDisplay : Requirement {
+        attribute :>> id = "UIR-REQ-010"; attribute :>> name = "BatteryStatusDisplay";
+        attribute :>> requirementKind = RequirementKind::software;
+        attribute :>> statement = "While the pump is operating, the pump shall display battery state of charge as a percentage and graphical icon.";
+        attribute :>> notation = RequirementNotationKind::ears;
+        attribute :>> earsPattern = EarsPatternKind::stateDriven;
+        attribute :>> obligation = ObligationKind::shall;
+        attribute :>> conditionClause = "While the pump is operating";
+        attribute :>> systemResponse = "display battery state of charge as a percentage and graphical icon";
+        attribute :>> safetyClass = SafetyClassKind::C;
+        attribute :>> acceptanceCriteria = "Displayed percentage and icon state correspond to the battery-management telemetry for 0–100% charge.";
+    }
+
+    requirement reqBatteryWarningPerformance : Requirement {
+        attribute :>> id = "UIR-REQ-011"; attribute :>> name = "LowBatteryStatusLatency";
+        attribute :>> requirementKind = RequirementKind::system;
+        attribute :>> statement = "When estimated battery operating time falls below 30 minutes, the pump shall present a visually prominent low-battery state within 1 second.";
+        attribute :>> notation = RequirementNotationKind::sophist;
+        attribute :>> obligation = ObligationKind::shall;
+        attribute :>> conditionClause = "When estimated battery operating time falls below 30 minutes";
+        attribute :>> subjectDescription = "battery status indicator";
+        attribute :>> actorDescription = "clinician";
+        attribute :>> systemResponse = "present a visually prominent low-battery state within 1 s";
+        attribute :>> concernKind = ConcernKind::reliability;
+        attribute :>> acceptanceCriteria = "Threshold injection changes the indicator to low-battery styling within 1 s in 100% of trials.";
+    }
+
+    requirement reqDrugSelectionPerformance : Requirement {
+        attribute :>> id = "UIR-REQ-012"; attribute :>> name = "DrugSelectorResponseTime";
+        attribute :>> requirementKind = RequirementKind::software;
+        attribute :>> statement = "When the clinician activates the drug selector, the pump shall display the enabled drug list within 250 milliseconds.";
+        attribute :>> notation = RequirementNotationKind::ears;
+        attribute :>> earsPattern = EarsPatternKind::eventDriven;
+        attribute :>> obligation = ObligationKind::shall;
+        attribute :>> conditionClause = "When the clinician activates the drug selector";
+        attribute :>> systemResponse = "display the enabled drug list within 250 ms";
+        attribute :>> concernKind = ConcernKind::performance;
+        attribute :>> acceptanceCriteria = "The 95th percentile activation-to-first-paint latency is ≤250 ms and the maximum is ≤500 ms.";
+    }
+
+}

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

@@ -0,0 +1,93 @@
+// Safety/risk assurance: hazards and the risk controls that address them.
+package memo_examples_ui_screen_regions_assurance_safety_risk {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_core_annotations::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_assurance_safety_risk::*;
+
+    item hzWrongRate : Hazard {
+        attribute :>> id = "UIR-HZ-001"; attribute :>> name = "InfusionAtIncorrectRate";
+        attribute :>> hazardType = HazardTypeKind::informationError;
+        attribute :>> severity = SeverityKind::serious;
+        attribute :>> foreseeable = true;
+    }
+
+    item rcRateConfirm : RiskControlMeasure {
+        attribute :>> id = "UIR-RC-001"; attribute :>> name = "RateChangeConfirmationDialog";
+        attribute :>> 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.";
+        attribute :>> controlKind = RiskControlKind::protectiveMeasure;
+        attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
+    }
+
+    item hzWrongDrug : Hazard {
+        attribute :>> id = "UIR-HZ-002"; attribute :>> name = "TherapyConfiguredForWrongDrug";
+        attribute :>> hazardType = HazardTypeKind::informationError;
+        attribute :>> severity = SeverityKind::serious;
+        attribute :>> foreseeable = true;
+    }
+
+    item rcDrugLibraryGuard : RiskControlMeasure {
+        attribute :>> id = "UIR-RC-002"; attribute :>> name = "CareAreaDrugLibraryGuard";
+        attribute :>> 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.";
+        attribute :>> controlKind = RiskControlKind::inherentSafeDesign;
+        attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
+    }
+
+    item hzUnexpectedPowerLoss : Hazard {
+        attribute :>> id = "UIR-HZ-003"; attribute :>> name = "UnexpectedTherapyInterruptionFromPowerLoss";
+        attribute :>> hazardType = HazardTypeKind::energyExposure;
+        attribute :>> severity = SeverityKind::critical;
+        attribute :>> foreseeable = true;
+    }
+
+    item rcLowBatteryProminence : RiskControlMeasure {
+        attribute :>> id = "UIR-RC-003"; attribute :>> name = "ProminentLowBatteryStatus";
+        attribute :>> 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.";
+        attribute :>> controlKind = RiskControlKind::monitoring;
+        attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
+    }
+
+    item hzIncorrectDeliveredVolumeAssessment : Hazard {
+        attribute :>> id = "UIR-HZ-004"; attribute :>> name = "IncorrectDeliveredVolumeAssessment";
+        attribute :>> hazardType = HazardTypeKind::informationError;
+        attribute :>> severity = SeverityKind::serious;
+        attribute :>> foreseeable = true;
+    }
+
+    item rcDisplayFreshnessMonitor : RiskControlMeasure {
+        attribute :>> id = "UIR-RC-004"; attribute :>> name = "InfusionDisplayFreshnessMonitor";
+        attribute :>> 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.";
+        attribute :>> controlKind = RiskControlKind::monitoring;
+        attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
+    }
+
+    item hzIncorrectEventChronology : Hazard {
+        attribute :>> id = "UIR-HZ-005"; attribute :>> name = "IncorrectTherapyEventChronology";
+        attribute :>> hazardType = HazardTypeKind::informationError;
+        attribute :>> severity = SeverityKind::minor;
+        attribute :>> foreseeable = true;
+    }
+
+    item rcClockFreshnessCheck : RiskControlMeasure {
+        attribute :>> id = "UIR-RC-005"; attribute :>> name = "SynchronizedClockFreshnessCheck";
+        attribute :>> 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.";
+        attribute :>> controlKind = RiskControlKind::plausibilityCheck;
+        attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
+    }
+
+}

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

@@ -0,0 +1,60 @@
+// Verification and validation: cases and the evidence they produce.
+package memo_examples_ui_screen_regions_assurance_verification_validation {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_core_annotations::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_assurance_verification_validation::*;
+
+    verification vcRateChange : VerificationCase {
+        attribute :>> id = "UIR-VER-001"; attribute :>> name = "VerifyRateChangeConfirmation";
+        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> acceptanceCriteria = "A rate change cannot reach the controller until the displayed value is explicitly confirmed.";
+        attribute :>> status = "planned";
+    }
+
+    part evRateChange : Evidence {
+        attribute :>> id = "UIR-EV-001"; attribute :>> name = "RateChangeConfirmationTestRecord";
+        attribute :>> version = "planned";
+        attribute :>> evidenceType = "test record";
+        attribute :>> integrityStatus = "planned";
+    }
+
+    verification vcDrugLibrarySelection : VerificationCase {
+        attribute :>> id = "VER-002"; attribute :>> name = "VerifyCareAreaDrugLibrarySelection";
+        attribute :>> methodKind = VerificationMethodKind::test;
+        attribute :>> acceptanceCriteria = "Only enabled care-area drug and concentration records are selectable, and every selection supplies the matching dosing limits.";
+        attribute :>> status = "planned";
+    }
+
+    part evDrugLibrarySelection : Evidence {
+        attribute :>> id = "EVD-002"; attribute :>> name = "DrugLibrarySelectionTestRecord";
+        attribute :>> version = "planned";
+        attribute :>> evidenceType = "test record";
+        attribute :>> integrityStatus = "planned";
+    }
+
+    verification vcInfusionStatusContent : VerificationCase {
+        attribute :>> id = "VER-003"; attribute :>> name = "VerifyInfusionStatusContentAndFreshness";
+        attribute :>> methodKind = VerificationMethodKind::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 = "planned";
+    }
+
+    part evInfusionStatusContent : Evidence {
+        attribute :>> id = "EVD-003"; attribute :>> name = "InfusionStatusDisplayTestRecord";
+        attribute :>> version = "planned";
+        attribute :>> evidenceType = "test record";
+        attribute :>> integrityStatus = "planned";
+    }
+
+}

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

@@ -0,0 +1,45 @@
+// UI screen regions — project 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
+// packages, and the binding names the methodology with a typed SysML
+// reference. No YAML file participates. Removing every application setting
+// from this directory leaves the model unchanged.
+package memo_examples_ui_screen_regions_project {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_methodology_core::*;
+    private import memo_methodology_profiles::*;
+
+    // The project's own content. Importing it here makes the catalog a single
+    // reachable closure from one entrypoint.
+    private import memo_examples_ui_screen_regions_architecture_implementation_ui::*;
+    private import memo_examples_ui_screen_regions_architecture_functional_functions::*;
+    private import memo_examples_ui_screen_regions_assurance_requirements::*;
+    private import memo_examples_ui_screen_regions_assurance_requirements_needs::*;
+    private import memo_examples_ui_screen_regions_assurance_human_factors::*;
+    private import memo_examples_ui_screen_regions_assurance_safety_risk::*;
+    private import memo_examples_ui_screen_regions_assurance_verification_validation::*;
+    private import memo_examples_ui_screen_regions_artifacts_assets::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_comments::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
+    private import memo_examples_ui_screen_regions_artifacts_reviews_rationales::*;
+    private import memo_examples_ui_screen_regions_traces::*;
+    private import memo_examples_ui_screen_regions_viewpoints_ui_layout::*;
+    private import memo_examples_ui_screen_regions_viewpoints_requirements::*;
+    private import memo_examples_ui_screen_regions_viewpoints_functional::*;
+    private import memo_examples_ui_screen_regions_viewpoints_risk::*;
+
+    part uiScreenRegionsBinding : ProjectMethodBinding {
+        attribute :>> id = "PMB-UIR-001";
+        attribute :>> name = "UIScreenRegionsProjectMethodBinding";
+        attribute :>> projectName = "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.
+        ref :>> selectedMethodology = mdDefaultDefinition;
+        // The project adds no modules of its own.
+        attribute :>> scopeMode = ScopeModeKind::explicit;
+    }
+}