Make the Text workspace compact and preserve editing context

Replace the oversized header and reference rail with stable editor slots and a retained supporting drawer. Bind diagnostic, result and menu actions to their original publication and visit; preserve effective selections on navigation and dismiss Actions, Find and the drawer one surface per Escape. Retain exact Windows source captures, eight final gates (871 desktop passes), independent reviews, native selection/rename/recovery trials and the original failures. All 526 tested inputs and staged evidence were byte-checked before commit. Combined preview integration and packaging remain with issue 27; Linux remains paused.
2026-09-12 22:00:36 -07:00
parent 6a244fb21c
commit 2df7f580aa
660 changed files with 69626 additions and 738 deletions
@@ -0,0 +1,25 @@
+sa_functional_chain sa_assessment_procedure "Assess an alarm procedure" id "acd5a018-f559-5298-a40d-1cf6e1353e74" {
+    description "";
+    parent none;
+    steps [@sa_assessment_action];
+}
+
+sa_occurrence sa_assessment_action "Assess pressure alarm" id "bae5b192-5b8e-51c6-82ae-2331af0d33bf" {
+    body {
+        Action {
+            action @sa_assess;
+            lifeline none;
+        };
+    };
+    description "";
+    parent @sa_assessment_procedure;
+    postcondition "";
+    precondition "";
+}
+
+chain_involvement sa_assessment_delivery "Chain involvement: Assess an alarm" id "a6d5a6be-fa6e-5fa0-a309-08e87ba40c57" {
+    description "";
+    source @sa_assessment_procedure;
+    target @sa_triage;
+}
+
@@ -0,0 +1,67 @@
+sa_functional_chain sa_field_procedure "Field repair procedure" id "93eb6479-54e9-59cb-ac7b-16912347bfc0" {
+    description "";
+    parent none;
+    steps [@sa_request_step, @sa_repair_step, @sa_report_step];
+}
+
+sa_occurrence sa_repair_step "Repair the valve" id "0f195fea-3493-5ebd-966d-da9eddeb05d7" {
+    body {
+        Action {
+            action @sa_repair;
+            lifeline none;
+        };
+    };
+    description "";
+    parent @sa_field_procedure;
+    postcondition "";
+    precondition "";
+}
+
+sa_occurrence sa_report_step "Report the measured result" id "ea32e4ec-8bdc-57ea-8a90-7b09ba4f0eac" {
+    body {
+        Exchange {
+            exchange @sa_repair_report;
+            message_kind Asynchronous;
+            receiver none;
+            reply_to none;
+            sender none;
+            values [];
+        };
+    };
+    description "";
+    parent @sa_field_procedure;
+    postcondition "";
+    precondition "";
+}
+
+sa_occurrence sa_request_step "Request the field repair" id "40d94322-baa2-5c81-b261-ff47cdc33782" {
+    body {
+        Exchange {
+            exchange @sa_repair_request;
+            message_kind Asynchronous;
+            receiver none;
+            reply_to none;
+            sender none;
+            values [];
+        };
+    };
+    description "";
+    parent @sa_field_procedure;
+    postcondition "";
+    precondition "";
+}
+
+sequence_link sa_repair_then_report "Sequence link: Report the measured result" id "7fb30b1d-195c-5f0e-a19c-a536f519a899" {
+    description "";
+    guard "";
+    source @sa_repair_step;
+    target @sa_report_step;
+}
+
+sequence_link sa_request_then_repair "Sequence link: Repair the valve" id "6a6d968f-26d6-5dbb-b721-5a27d362779a" {
+    description "";
+    guard "";
+    source @sa_request_step;
+    target @sa_repair_step;
+}
+
@@ -0,0 +1,128 @@
+sa_functional_chain sa_response "Handle a pressure alarm" id "5139ce73-56fd-5875-ba3a-e569fc890231" {
+    description "";
+    parent none;
+    steps [@sa_assess_step, @sa_decision, @sa_reset_step, @sa_use_field, @sa_merge, @sa_confirm_step];
+}
+
+sa_occurrence sa_assess_step "Assess the alarm" id "9024243c-ccc1-5edb-8477-2aa16e5e9a50" {
+    body {
+        SequenceReference {
+            sequence @sa_assessment_procedure;
+        };
+    };
+    description "";
+    parent @sa_response;
+    postcondition "";
+    precondition "";
+}
+
+sa_occurrence sa_confirm_step "Confirm safe pressure" id "47bec4f9-d6d0-5ed1-adca-fa0d960dc416" {
+    body {
+        Action {
+            action @sa_confirm;
+            lifeline none;
+        };
+    };
+    description "";
+    parent @sa_response;
+    postcondition "";
+    precondition "";
+}
+
+sa_occurrence sa_decision "Can a remote reset safely recover pressure?" id "30c8fad9-a49b-5692-9542-3148e76afd7b" {
+    body {
+        Control {
+            kind Choice;
+        };
+    };
+    description "";
+    parent @sa_response;
+    postcondition "";
+    precondition "";
+}
+
+sa_occurrence sa_merge "Recovery path completed" id "4ed0dd9d-c9e0-5652-aedf-5f0ab4328a07" {
+    body {
+        Control {
+            kind Merge;
+        };
+    };
+    description "";
+    parent @sa_response;
+    postcondition "";
+    precondition "";
+}
+
+sa_occurrence sa_reset_step "Try the authorized remote reset" id "bfa2ef0b-ce68-55c2-a9e5-31ea8a74fce6" {
+    body {
+        Action {
+            action @sa_reset;
+            lifeline none;
+        };
+    };
+    description "";
+    parent @sa_response;
+    postcondition "";
+    precondition "";
+}
+
+sa_occurrence sa_use_field "Use the field repair procedure" id "d5e61c5d-510b-5091-a878-da46f3a9e152" {
+    body {
+        SequenceReference {
+            sequence @sa_field_procedure;
+        };
+    };
+    description "";
+    parent @sa_response;
+    postcondition "";
+    precondition "";
+}
+
+sequence_link sa_assess_then_decide "Continue" id "9d4a131f-36ad-5125-b21f-c3dd033b8c82" {
+    description "";
+    guard "";
+    source @sa_assess_step;
+    target @sa_decision;
+}
+
+sequence_link sa_field_path "else" id "1bbd5957-1173-51d8-97e3-ba4f084227ae" {
+    description "";
+    guard "else";
+    source @sa_decision;
+    target @sa_use_field;
+}
+
+sequence_link sa_remote_path "remote reset is authorized" id "d8b6710a-e713-5979-934f-e5ca7d155bb4" {
+    description "";
+    guard "remote reset is authorized";
+    source @sa_decision;
+    target @sa_reset_step;
+}
+
+sequence_link sa_confirm_path "Continue" id "1e738f27-a3a1-526d-b330-6384088b9689" {
+    description "";
+    guard "";
+    source @sa_merge;
+    target @sa_confirm_step;
+}
+
+sequence_link sa_remote_merge "Continue" id "e5279265-8eac-52e8-98dc-571b20475e1f" {
+    description "";
+    guard "";
+    source @sa_reset_step;
+    target @sa_merge;
+}
+
+chain_involvement sa_response_delivery "Chain involvement: Restore a safe supply" id "66efc484-53c7-51a3-89e9-422429344b38" {
+    description "";
+    source @sa_response;
+    target @sa_restore;
+}
+
+sequence_link sa_field_merge "Continue" id "0f6ac3fb-4ad6-581e-ad14-336472072d5e" {
+    description "";
+    guard "";
+    source @sa_use_field;
+    target @sa_merge;
+}
+
@@ -0,0 +1,73 @@
+sa_scenario sa_conversation "Repair request and measured reply" id "730b27ca-b039-5a3b-8dc6-03418f9061b3" {
+    context @sa_restore;
+    description "";
+    parent none;
+    postcondition "The controller has received the measured pressure after repair";
+    precondition "A pressure alarm has been assessed";
+    steps [@sa_call, @sa_reply];
+    viewpoint BoundaryInterface;
+}
+
+sa_occurrence sa_call "Request valve repair" id "8bab4783-a098-5984-9e36-493957caf26c" {
+    body {
+        Exchange {
+            exchange @sa_contact;
+            message_kind Call;
+            receiver @sa_responder;
+            reply_to none;
+            sender @sa_caller;
+            values [{
+                expression "420.0";
+                field @sa_pressure_parameter;
+                path [];
+            }];
+        };
+    };
+    description "";
+    parent @sa_conversation;
+    postcondition "";
+    precondition "";
+}
+
+sa_lifeline sa_caller "Controller" id "98c61788-2fee-51f4-8cf9-de48e8c70e9e" {
+    description "";
+    parent @sa_conversation;
+    represented @sa_control;
+}
+
+sa_occurrence sa_reply "Return pressure after repair" id "4e1c0a56-ce80-5f13-a93a-6956de54880c" {
+    body {
+        Exchange {
+            exchange @sa_contact;
+            message_kind Reply;
+            receiver @sa_caller;
+            reply_to @sa_call;
+            sender @sa_responder;
+            values [{
+                expression "320.0";
+                field @sa_pressure_parameter;
+                path [];
+            }];
+        };
+    };
+    description "";
+    parent @sa_conversation;
+    postcondition "";
+    precondition "";
+}
+
+sa_lifeline sa_responder "Technician" id "6249b54a-e396-5338-82b9-89266c55670d" {
+    description "";
+    parent @sa_conversation;
+    represented @sa_technician;
+}
+
+artifact repair_test_evidence "Repair conversation acceptance notes" id "f5922bf7-05d8-590f-86e9-1d09f37f4fa6" {
+    description "A local teaching artifact, not proof of a real valve's safety.";
+    fragment "acceptance";
+    owner @sa_conversation;
+    relation Verifies;
+    revision "lesson-1";
+    uri "evidence/repair-check.md";
+}
+
@@ -0,0 +1,41 @@
+sa_scenario sa_full_scenario "Restore supply through field repair" id "f746a1cd-ff9f-55c0-b325-01c03d2f4fae" {
+    context @sa_restore;
+    description "";
+    parent none;
+    postcondition "The controller has received the measured pressure after repair";
+    precondition "A pressure alarm has been assessed";
+    steps [@sa_use_conversation];
+    viewpoint BoundaryInterface;
+}
+
+sa_lifeline sa_outer_controller "Controller" id "1edfcf9e-9bfa-51f1-80d5-62b8fd8bb023" {
+    description "";
+    parent @sa_full_scenario;
+    represented @sa_control;
+}
+
+sa_lifeline sa_outer_technician "Technician" id "155e4fe4-9e3b-5f4e-b886-28abcc3f086b" {
+    description "";
+    parent @sa_full_scenario;
+    represented @sa_technician;
+}
+
+sa_occurrence sa_use_conversation "Use the reviewed repair conversation" id "1c9da843-e2d3-5591-8e3f-db083a42867e" {
+    body {
+        ScenarioUse {
+            bindings [{
+                local @sa_outer_controller;
+                referenced @sa_caller;
+            }, {
+                local @sa_outer_technician;
+                referenced @sa_responder;
+            }];
+            scenario @sa_conversation;
+        };
+    };
+    description "";
+    parent @sa_full_scenario;
+    postcondition "";
+    precondition "";
+}
+
@@ -0,0 +1,80 @@
+sa_state_machine sa_monitor "Pressure supervision" id "132b3f28-3f88-5327-9868-8c8b645ed412" {
+    description "";
+    parent @sa_control;
+}
+
+sa_region sa_monitor_region "Supervision cycle" id "3ab11e24-4140-58fc-b3fa-da5f51c7fe2c" {
+    description "";
+    parent @sa_monitor;
+}
+
+sa_initial sa_monitor_initial "Start" id "57eb5348-14d8-560e-996a-8dbf993243e2" {
+    description "";
+    do_activity "";
+    entry "";
+    exit "";
+    kind Initial;
+    parent @sa_monitor_region;
+}
+
+sa_state sa_monitoring "Monitoring" id "8af21f9b-c21e-5aae-af0d-0958840f6655" {
+    description "";
+    do_activity "";
+    entry "";
+    exit "";
+    kind State;
+    parent @sa_monitor_region;
+}
+
+sa_state sa_waiting "Awaiting repair" id "a6bb10b1-f1e5-5b31-8afd-5bad5a7b6c37" {
+    description "";
+    do_activity "";
+    entry "";
+    exit "";
+    kind State;
+    parent @sa_monitor_region;
+}
+
+state_transition sa_start_monitoring "State transition: Monitoring" id "47730532-0372-5cc5-9d6d-0b8953aebdd8" {
+    description "";
+    effect "";
+    effects [];
+    guard "";
+    source @sa_monitor_initial;
+    target @sa_monitoring;
+    transition_kind External;
+    trigger "";
+    triggers [];
+}
+
+state_transition sa_alarm_transition "State transition: Awaiting repair" id "13c3bfa4-9254-5ab2-b96f-f65f402adf81" {
+    description "";
+    effect "";
+    effects [];
+    guard "";
+    source @sa_monitoring;
+    target @sa_waiting;
+    transition_kind External;
+    trigger "";
+    triggers [@sa_high_pressure];
+}
+
+state_action sa_assess_on_entry "Assess when repair is needed" id "a887f96a-37cb-5891-8070-011fa276e5b5" {
+    description "";
+    phase Entry;
+    source @sa_waiting;
+    target @sa_assess;
+}
+
+state_transition sa_normal_transition "State transition: Monitoring" id "6e2c1b47-764c-577a-b325-ff66dd2a2768" {
+    description "";
+    effect "";
+    effects [];
+    guard "repair confirmed and pressure is safe";
+    source @sa_waiting;
+    target @sa_monitoring;
+    transition_kind External;
+    trigger "";
+    triggers [];
+}
+
@@ -0,0 +1,27 @@
+sa_mission sa_mission "Maintain safe water supply" id "5ad034b1-084d-5273-9e70-971671766132" {
+    description "";
+    parent none;
+}
+
+sa_capability sa_restore "Restore a safe supply" id "81259051-370a-512d-a3b5-6420a6f933b6" {
+    description "";
+    parent none;
+}
+
+sa_capability sa_triage "Assess an alarm" id "bad8fa7c-f634-55fd-98d3-e1eb2da05d8f" {
+    description "";
+    parent none;
+}
+
+mission_capability sa_mission_delivery "Mission capability: Restore a safe supply" id "a0902e0f-3d18-576a-9aca-975a136dfdd7" {
+    description "";
+    source @sa_mission;
+    target @sa_restore;
+}
+
+capability_include sa_include_triage "Capability include: Assess an alarm" id "f3fe7690-734a-5877-8b57-a6599a4033c4" {
+    description "";
+    source @sa_restore;
+    target @sa_triage;
+}
+
@@ -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;
+}
+
@@ -0,0 +1,24 @@
+sa_exchange_category sa_contact_category "Field contact" id "781cbe75-410f-5cc5-aeb8-a43491f77b99" {
+    description "";
+    exchanges [@sa_contact];
+    family "Participant";
+    parent none;
+}
+
+sa_event sa_high_pressure "Pressure alarm detected" id "01490fa8-2f01-5ac8-9722-d55d45414379" {
+    body {
+        Change {
+            expression "measured_pressure > operating_limit";
+        };
+    };
+    description "";
+    parent none;
+}
+
+sa_exchange_category sa_repair_traffic "Repair work exchanges" id "a9a47e48-100c-57a8-95f0-7fe24da94f94" {
+    description "";
+    exchanges [@sa_repair_request, @sa_repair_report];
+    family "Work";
+    parent none;
+}
+
@@ -0,0 +1,126 @@
+sa_system sa_control "Pressure coordination service" id "435bf87c-73fd-5e4d-978a-4c471bc9eaf0" {
+    description "";
+    parent none;
+}
+
+sa_port sa_control_port "Repair service client" id "98d411e7-7c65-5c3f-b543-8bf0f2522ea2" {
+    contract {
+        Component {
+            kind Standard;
+            orientation Unset;
+        };
+    };
+    description "Explicitly chosen Standard component port for the repair service.";
+    legacy none;
+    parent @sa_control;
+}
+
+sa_actor sa_technician "Field technician" id "c05b9422-b9da-5de5-b21d-07ad23bd2b8a" {
+    description "";
+    parent none;
+}
+
+sa_port sa_technician_port "Repair service provider" id "e6d69cbd-99d7-596b-bbe3-dada6118a600" {
+    contract {
+        Component {
+            kind Standard;
+            orientation Unset;
+        };
+    };
+    description "Explicitly chosen Standard component port for the repair service.";
+    legacy none;
+    parent @sa_technician;
+}
+
+allocation sa_assess_allocation "Allocation: Assess pressure alarm" id "9b9356d7-2db2-5a94-a47e-ea892cf02afe" {
+    description "";
+    source @sa_control;
+    target @sa_assess;
+}
+
+allocation sa_audit_allocation "Allocation: Audit pressure thresholds" id "1b245065-7242-5d81-8472-aaeb932054c9" {
+    description "";
+    source @sa_control;
+    target @sa_audit_thresholds;
+}
+
+allocation sa_confirm_allocation "Allocation: Confirm safe pressure" id "b76bf8de-2fa4-563f-a540-dd30f30e6c49" {
+    description "";
+    source @sa_control;
+    target @sa_confirm;
+}
+
+interface_requirement sa_client_requires "Interface requirement: Valve repair service" id "4f85337b-f6eb-533c-a45a-9a5d1d9567ca" {
+    description "";
+    source @sa_control_port;
+    target @sa_repair_interface;
+}
+
+boundary_exchange sa_contact "Technician service conversation" id "63009b5f-539e-5914-b630-ec6b7fefb4d5" {
+    description "";
+    items [@sa_repair_operation];
+    oriented false;
+    source @sa_control_port;
+    target @sa_technician_port;
+}
+
+exchange_allocation sa_report_carriage "Exchange allocation: Report repair result" id "ff9897b3-a23a-5994-a5b3-99a5b4d34ceb" {
+    description "";
+    source @sa_contact;
+    target @sa_repair_report;
+}
+
+exchange_allocation sa_request_carriage "Exchange allocation: Request field repair" id "4c4c4851-5a3d-5bb9-94df-b19f9cf39819" {
+    description "";
+    source @sa_contact;
+    target @sa_repair_request;
+}
+
+port_allocation sa_port_report_in "Port allocation: Report repair result input" id "568c5c01-de21-52a2-83bd-afdddc158085" {
+    description "";
+    source @sa_control_port;
+    target @sa_repair_report_in;
+}
+
+port_allocation sa_port_request_out "Port allocation: Request field repair output" id "55ec4dbf-bd17-5b0c-b3a3-95b2194aa8b9" {
+    description "";
+    source @sa_control_port;
+    target @sa_repair_request_out;
+}
+
+mission_involvement sa_mission_participant "Mission involvement: Maintain safe water supply" id "1c1e5634-ba8c-591f-b143-90a27cdc6cd2" {
+    description "";
+    source @sa_control;
+    target @sa_mission;
+}
+
+allocation sa_reset_allocation "Allocation: Reset valve remotely" id "3cc9ab52-2b00-57fd-8709-aabc75e5d3e3" {
+    description "";
+    source @sa_control;
+    target @sa_reset;
+}
+
+allocation sa_repair_allocation "Allocation: Repair valve in the field" id "725f2e1b-aa2c-5615-9b1f-28da178168fa" {
+    description "";
+    source @sa_technician;
+    target @sa_repair;
+}
+
+port_allocation sa_port_report_out "Port allocation: Report repair result output" id "e53b7a40-e8a3-5b3f-826d-c2b5c164a84a" {
+    description "";
+    source @sa_technician_port;
+    target @sa_repair_report_out;
+}
+
+port_allocation sa_port_request_in "Port allocation: Request field repair input" id "09eaa992-4cdf-5ea3-b748-f10fd74b8cba" {
+    description "";
+    source @sa_technician_port;
+    target @sa_repair_request_in;
+}
+
+interface_provision sa_provider_provides "Interface provision: Valve repair service" id "55f89fbf-aa3c-5ae1-95ef-ac676f9c1ada" {
+    description "";
+    source @sa_technician_port;
+    target @sa_repair_interface;
+}
+
@@ -0,0 +1,50 @@
+sa_data_type sa_pressure "Measured pressure" id "87d0a95b-af1b-5352-b753-e4c6533671a5" {
+    default none;
+    definition {
+        Real {
+            maximum 600.0;
+            minimum 0.0;
+        };
+    };
+    description "";
+    parent none;
+    unit "kPa";
+}
+
+sa_interface sa_repair_interface "Valve repair service" id "a4b8942e-a975-5f88-ad14-8f38c345baac" {
+    description "";
+    parent none;
+    supertype none;
+}
+
+sa_exchange_item sa_repair_operation "Valve repair" id "a962fc5e-3ab0-5296-8b0d-fd84633f9218" {
+    description "";
+    kind Information;
+    mechanism Operation;
+    parent none;
+    supertype none;
+}
+
+sa_data_field sa_pressure_parameter "Pressure before / after repair" id "bb12ba5d-aab5-5a1b-99de-c767f5365b57" {
+    default none;
+    description "";
+    direction InOut;
+    maximum 1;
+    minimum 1;
+    parent @sa_repair_operation;
+    storage Value;
+    type_ref {
+        Named @sa_pressure;
+    };
+    unit "";
+}
+
+interface_item_allocation sa_repair_interface_item "Repair operation contract" id "f074e041-23cf-54ad-af9c-f171e30621e7" {
+    acquisition Accept;
+    description "";
+    order 0;
+    source @sa_repair_interface;
+    target @sa_repair_operation;
+    transmission Synchronous;
+}
+