Preserve preliminary alias-rename preview timing and unchanged inputs

2026-09-11 12:14:38 -07:00
parent fb16c4200f
commit f4e426ae2a
48 changed files with 10506 additions and 0 deletions
@@ -0,0 +1,5 @@
+sa_function sa_audit_thresholds "Audit pressure thresholds" id "4149a872-3440-59de-9879-8981e78d27ab" {
+    description "Deliberately unfinished: assigned to the service, but no behavior context yet. Model checks should expose this one work_without_behavior_context warning.";
+    parent none;
+}
+
@@ -0,0 +1,93 @@
+sa_function sa_restore_work "Restore safe pressure" id "58867e7d-916e-5ebc-9e4c-8dbed1314be3" {
+    description "";
+    parent none;
+}
+
+sa_function sa_assess "Assess pressure alarm" id "dddae020-a444-5d48-acc8-139d2696a672" {
+    description "";
+    parent @sa_restore_work;
+}
+
+sa_port sa_repair_request_out "Request field repair output" id "24a6850e-b819-57e0-af88-ca4ab76581b7" {
+    contract {
+        FunctionOutput {
+            outgoing_items [@sa_repair_operation];
+        };
+    };
+    description "";
+    legacy none;
+    parent @sa_assess;
+}
+
+sa_function sa_confirm "Confirm safe pressure" id "d75eb3fa-a27d-52d5-8782-8b342b3865f6" {
+    description "";
+    parent @sa_restore_work;
+}
+
+sa_port sa_repair_report_in "Report repair result input" id "391af7c4-b07d-53a7-8ddd-5c81461fc4f8" {
+    contract {
+        FunctionInput {
+            incoming_items [@sa_repair_operation];
+        };
+    };
+    description "";
+    legacy none;
+    parent @sa_confirm;
+}
+
+sa_function sa_repair "Repair valve in the field" id "9497e10f-04c4-5586-8738-2464a6f00bd4" {
+    description "";
+    parent @sa_restore_work;
+}
+
+sa_port sa_repair_report_out "Report repair result output" id "994faed7-dbc8-5b96-9d62-7604ac0fbc3a" {
+    contract {
+        FunctionOutput {
+            outgoing_items [@sa_repair_operation];
+        };
+    };
+    description "";
+    legacy none;
+    parent @sa_repair;
+}
+
+sa_port sa_repair_request_in "Request field repair input" id "d2113fb0-a531-54ef-9484-13951b00ab8f" {
+    contract {
+        FunctionInput {
+            incoming_items [@sa_repair_operation];
+        };
+    };
+    description "";
+    legacy none;
+    parent @sa_repair;
+}
+
+sa_function sa_reset "Reset valve remotely" id "09342ccb-044b-5483-ac58-87dc3cf7831c" {
+    description "";
+    parent @sa_restore_work;
+}
+
+capability_involvement sa_assessment_support "Capability involvement: Assess an alarm" id "93eaad8d-83b7-5980-b9bb-86c9e3f31da4" {
+    description "";
+    source @sa_assess;
+    target @sa_triage;
+}
+
+functional_exchange sa_repair_request "Request field repair" id "93474111-f23e-56c1-b61b-b7c2396b91bd" {
+    description "";
+    items [@sa_repair_operation];
+    source @sa_assess;
+    source_port @sa_repair_request_out;
+    target @sa_repair;
+    target_port @sa_repair_request_in;
+}
+
+functional_exchange sa_repair_report "Report repair result" id "684eadc3-e670-5779-a60f-bbc9a5bfb062" {
+    description "";
+    items [@sa_repair_operation];
+    source @sa_repair;
+    source_port @sa_repair_report_out;
+    target @sa_confirm;
+    target_port @sa_repair_report_in;
+}
+