From e7a0b8f19dad0e9589691231a1690b1887d365f4 Mon Sep 17 00:00:00 2001 From: "sorokin.oleg.edu" Date: Thu, 1 Oct 2026 20:40:22 -0700 Subject: [PATCH] docs: predeclare isolated two-axis optical comparison --- .../focus-optical-20261001/eight-card.json | 4533 +++++++++++++++++ .../focus-optical-20261001/plan.md | 110 + 2 files changed, 4643 insertions(+) create mode 100644 harness/experiments/focus-optical-20261001/eight-card.json create mode 100644 harness/experiments/focus-optical-20261001/plan.md diff --git a/harness/experiments/focus-optical-20261001/eight-card.json b/harness/experiments/focus-optical-20261001/eight-card.json new file mode 100644 index 00000000..66b19d3b --- /dev/null +++ b/harness/experiments/focus-optical-20261001/eight-card.json @@ -0,0 +1,4533 @@ +{ + "schema_version": 7, + "id": "2786d72f-5763-5f33-a57f-2773a4ca1a6c", + "alias": "pressure_restoration", + "name": "Restore safe water pressure — release 1 walkthrough", + "description": "A controller either resets a valve remotely or requests field repair. Compare the operational need with the explicitly chosen coordination-service boundary. Start with README.md beside project.arcadia. Units and guards are descriptive; this model does not simulate a real water network.", + "elements": { + "01490fa8-2f01-5ac8-9722-d55d45414379": { + "id": "01490fa8-2f01-5ac8-9722-d55d45414379", + "alias": "sa_high_pressure", + "name": "Pressure alarm detected", + "description": "", + "parent": null, + "body": { + "Sa": { + "Shared": { + "Event": { + "body": { + "Change": { + "expression": "measured_pressure > operating_limit" + } + } + } + } + } + } + }, + "022d3cfa-bbaf-5e13-924a-8e55099b8745": { + "id": "022d3cfa-bbaf-5e13-924a-8e55099b8745", + "alias": "oa_assessment_procedure", + "name": "Assess an alarm procedure", + "description": "", + "parent": null, + "body": { + "Oa": { + "Process": { + "steps": [ + "942975b8-0bef-5ae8-9fcb-c37497833fb0" + ] + } + } + } + }, + "09342ccb-044b-5483-ac58-87dc3cf7831c": { + "id": "09342ccb-044b-5483-ac58-87dc3cf7831c", + "alias": "sa_reset", + "name": "Reset valve remotely", + "description": "", + "parent": "58867e7d-916e-5ebc-9e4c-8dbed1314be3", + "body": { + "Sa": "Function" + } + }, + "0b07b9ed-492d-57f6-b0b1-ce8a709238a7": { + "id": "0b07b9ed-492d-57f6-b0b1-ce8a709238a7", + "alias": "oa_assess_step", + "name": "Assess the alarm", + "description": "", + "parent": "58bae2b0-f560-50f2-818d-19091d22d18a", + "body": { + "Oa": { + "Shared": { + "Occurrence": { + "body": { + "SequenceReference": { + "sequence": "022d3cfa-bbaf-5e13-924a-8e55099b8745" + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "0f195fea-3493-5ebd-966d-da9eddeb05d7": { + "id": "0f195fea-3493-5ebd-966d-da9eddeb05d7", + "alias": "sa_repair_step", + "name": "Repair the valve", + "description": "", + "parent": "93eb6479-54e9-59cb-ac7b-16912347bfc0", + "body": { + "Sa": { + "Shared": { + "Occurrence": { + "body": { + "Action": { + "action": "9497e10f-04c4-5586-8738-2464a6f00bd4", + "lifeline": null + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "132b3f28-3f88-5327-9868-8c8b645ed412": { + "id": "132b3f28-3f88-5327-9868-8c8b645ed412", + "alias": "sa_monitor", + "name": "Pressure supervision", + "description": "", + "parent": "435bf87c-73fd-5e4d-978a-4c471bc9eaf0", + "body": { + "Sa": { + "Shared": "StateMachine" + } + } + }, + "155e4fe4-9e3b-5f4e-b886-28abcc3f086b": { + "id": "155e4fe4-9e3b-5f4e-b886-28abcc3f086b", + "alias": "sa_outer_technician", + "name": "Technician", + "description": "", + "parent": "f746a1cd-ff9f-55c0-b325-01c03d2f4fae", + "body": { + "Sa": { + "Shared": { + "Lifeline": { + "represented": "c05b9422-b9da-5de5-b21d-07ad23bd2b8a" + } + } + } + } + }, + "1970608f-85d1-5234-ac86-5e2b0df27dc3": { + "id": "1970608f-85d1-5234-ac86-5e2b0df27dc3", + "alias": "oa_monitor", + "name": "Pressure supervision", + "description": "", + "parent": "32aa9940-df6e-5a12-b9bd-6337e2d2ed22", + "body": { + "Oa": { + "Shared": "StateMachine" + } + } + }, + "19bd3a3a-4d0c-56d5-bf50-a6b43fd81771": { + "id": "19bd3a3a-4d0c-56d5-bf50-a6b43fd81771", + "alias": "oa_contact_category", + "name": "Field contact", + "description": "", + "parent": null, + "body": { + "Oa": { + "Shared": { + "ExchangeCategory": { + "family": "Participant", + "exchanges": [ + "27b47887-baf0-518b-bf87-f5acbf7d0b93" + ] + } + } + } + } + }, + "1b91f8a7-0bdb-514e-b1cd-955658e09927": { + "id": "1b91f8a7-0bdb-514e-b1cd-955658e09927", + "alias": "oa_restore_work", + "name": "Restore safe pressure", + "description": "", + "parent": null, + "body": { + "Oa": "Activity" + } + }, + "1c9da843-e2d3-5591-8e3f-db083a42867e": { + "id": "1c9da843-e2d3-5591-8e3f-db083a42867e", + "alias": "sa_use_conversation", + "name": "Use the reviewed repair conversation", + "description": "", + "parent": "f746a1cd-ff9f-55c0-b325-01c03d2f4fae", + "body": { + "Sa": { + "Shared": { + "Occurrence": { + "body": { + "ScenarioUse": { + "scenario": "730b27ca-b039-5a3b-8dc6-03418f9061b3", + "bindings": [ + { + "referenced": "98c61788-2fee-51f4-8cf9-de48e8c70e9e", + "local": "1edfcf9e-9bfa-51f1-80d5-62b8fd8bb023" + }, + { + "referenced": "6249b54a-e396-5338-82b9-89266c55670d", + "local": "155e4fe4-9e3b-5f4e-b886-28abcc3f086b" + } + ] + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "1edfcf9e-9bfa-51f1-80d5-62b8fd8bb023": { + "id": "1edfcf9e-9bfa-51f1-80d5-62b8fd8bb023", + "alias": "sa_outer_controller", + "name": "Controller", + "description": "", + "parent": "f746a1cd-ff9f-55c0-b325-01c03d2f4fae", + "body": { + "Sa": { + "Shared": { + "Lifeline": { + "represented": "435bf87c-73fd-5e4d-978a-4c471bc9eaf0" + } + } + } + } + }, + "2011b3ac-614b-5a47-8891-7ff81965f425": { + "id": "2011b3ac-614b-5a47-8891-7ff81965f425", + "alias": "oa_outer_controller", + "name": "Controller", + "description": "", + "parent": "d6f881a4-95da-54e9-ad97-1b8965532629", + "body": { + "Oa": { + "Shared": { + "Lifeline": { + "represented": "32aa9940-df6e-5a12-b9bd-6337e2d2ed22" + } + } + } + } + }, + "20472233-5ce6-5ffe-b4ad-0bdbccf3e423": { + "id": "20472233-5ce6-5ffe-b4ad-0bdbccf3e423", + "alias": "oa_conversation", + "name": "Repair request and measured reply", + "description": "", + "parent": null, + "body": { + "Oa": { + "Shared": { + "Scenario": { + "viewpoint": "ParticipantInteraction", + "context": "3dfee23a-148b-5cec-ad2d-b774e84ea5bb", + "precondition": "A pressure alarm has been assessed", + "postcondition": "The controller has received the measured pressure after repair", + "steps": [ + "b97437c6-cd7a-5a05-b537-b30a17dd936a", + "cc2d497a-fd15-5455-9ee5-e70eb95811d8" + ] + } + } + } + } + }, + "24a6850e-b819-57e0-af88-ca4ab76581b7": { + "id": "24a6850e-b819-57e0-af88-ca4ab76581b7", + "alias": "sa_repair_request_out", + "name": "Request field repair output", + "description": "", + "parent": "dddae020-a444-5d48-acc8-139d2696a672", + "body": { + "Sa": { + "Shared": { + "Port": { + "contract": { + "FunctionOutput": { + "outgoing_items": [ + "a962fc5e-3ab0-5296-8b0d-fd84633f9218" + ] + } + }, + "legacy": null + } + } + } + } + }, + "30c8fad9-a49b-5692-9542-3148e76afd7b": { + "id": "30c8fad9-a49b-5692-9542-3148e76afd7b", + "alias": "sa_decision", + "name": "Can a remote reset safely recover pressure?", + "description": "", + "parent": "5139ce73-56fd-5875-ba3a-e569fc890231", + "body": { + "Sa": { + "Shared": { + "Occurrence": { + "body": { + "Control": { + "kind": "Choice" + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "32aa9940-df6e-5a12-b9bd-6337e2d2ed22": { + "id": "32aa9940-df6e-5a12-b9bd-6337e2d2ed22", + "alias": "oa_control", + "name": "Control room", + "description": "", + "parent": null, + "body": { + "Oa": "Entity" + } + }, + "391af7c4-b07d-53a7-8ddd-5c81461fc4f8": { + "id": "391af7c4-b07d-53a7-8ddd-5c81461fc4f8", + "alias": "sa_repair_report_in", + "name": "Report repair result input", + "description": "", + "parent": "d75eb3fa-a27d-52d5-8782-8b342b3865f6", + "body": { + "Sa": { + "Shared": { + "Port": { + "contract": { + "FunctionInput": { + "incoming_items": [ + "a962fc5e-3ab0-5296-8b0d-fd84633f9218" + ] + } + }, + "legacy": null + } + } + } + } + }, + "3ab11e24-4140-58fc-b3fa-da5f51c7fe2c": { + "id": "3ab11e24-4140-58fc-b3fa-da5f51c7fe2c", + "alias": "sa_monitor_region", + "name": "Supervision cycle", + "description": "", + "parent": "132b3f28-3f88-5327-9868-8c8b645ed412", + "body": { + "Sa": { + "Shared": "Region" + } + } + }, + "3dfee23a-148b-5cec-ad2d-b774e84ea5bb": { + "id": "3dfee23a-148b-5cec-ad2d-b774e84ea5bb", + "alias": "oa_restore", + "name": "Restore a safe supply", + "description": "", + "parent": null, + "body": { + "Oa": "Capability" + } + }, + "40d94322-baa2-5c81-b261-ff47cdc33782": { + "id": "40d94322-baa2-5c81-b261-ff47cdc33782", + "alias": "sa_request_step", + "name": "Request the field repair", + "description": "", + "parent": "93eb6479-54e9-59cb-ac7b-16912347bfc0", + "body": { + "Sa": { + "Shared": { + "Occurrence": { + "body": { + "Exchange": { + "exchange": "93474111-f23e-56c1-b61b-b7c2396b91bd", + "sender": null, + "receiver": null, + "message_kind": "Asynchronous", + "reply_to": null, + "values": [] + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "4149a872-3440-59de-9879-8981e78d27ab": { + "id": "4149a872-3440-59de-9879-8981e78d27ab", + "alias": "sa_audit_thresholds", + "name": "Audit pressure thresholds", + "description": "Deliberately unfinished: assigned to the service, but no behavior context yet. Model checks should expose this one work_without_behavior_context warning.", + "parent": null, + "body": { + "Sa": "Function" + } + }, + "41859a65-ded2-547b-ab03-14e2fa740cf9": { + "id": "41859a65-ded2-547b-ab03-14e2fa740cf9", + "alias": "oa_caller", + "name": "Controller", + "description": "", + "parent": "20472233-5ce6-5ffe-b4ad-0bdbccf3e423", + "body": { + "Oa": { + "Shared": { + "Lifeline": { + "represented": "32aa9940-df6e-5a12-b9bd-6337e2d2ed22" + } + } + } + } + }, + "435bf87c-73fd-5e4d-978a-4c471bc9eaf0": { + "id": "435bf87c-73fd-5e4d-978a-4c471bc9eaf0", + "alias": "sa_control", + "name": "Pressure coordination service", + "description": "", + "parent": null, + "body": { + "Sa": "System" + } + }, + "47bec4f9-d6d0-5ed1-adca-fa0d960dc416": { + "id": "47bec4f9-d6d0-5ed1-adca-fa0d960dc416", + "alias": "sa_confirm_step", + "name": "Confirm safe pressure", + "description": "", + "parent": "5139ce73-56fd-5875-ba3a-e569fc890231", + "body": { + "Sa": { + "Shared": { + "Occurrence": { + "body": { + "Action": { + "action": "d75eb3fa-a27d-52d5-8782-8b342b3865f6", + "lifeline": null + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "4e1c0a56-ce80-5f13-a93a-6956de54880c": { + "id": "4e1c0a56-ce80-5f13-a93a-6956de54880c", + "alias": "sa_reply", + "name": "Return pressure after repair", + "description": "", + "parent": "730b27ca-b039-5a3b-8dc6-03418f9061b3", + "body": { + "Sa": { + "Shared": { + "Occurrence": { + "body": { + "Exchange": { + "exchange": "63009b5f-539e-5914-b630-ec6b7fefb4d5", + "sender": "6249b54a-e396-5338-82b9-89266c55670d", + "receiver": "98c61788-2fee-51f4-8cf9-de48e8c70e9e", + "message_kind": "Reply", + "reply_to": "8bab4783-a098-5984-9e36-493957caf26c", + "values": [ + { + "path": [], + "field": "bb12ba5d-aab5-5a1b-99de-c767f5365b57", + "expression": "320.0" + } + ] + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "4ed0dd9d-c9e0-5652-aedf-5f0ab4328a07": { + "id": "4ed0dd9d-c9e0-5652-aedf-5f0ab4328a07", + "alias": "sa_merge", + "name": "Recovery path completed", + "description": "", + "parent": "5139ce73-56fd-5875-ba3a-e569fc890231", + "body": { + "Sa": { + "Shared": { + "Occurrence": { + "body": { + "Control": { + "kind": "Merge" + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "5139ce73-56fd-5875-ba3a-e569fc890231": { + "id": "5139ce73-56fd-5875-ba3a-e569fc890231", + "alias": "sa_response", + "name": "Handle a pressure alarm", + "description": "", + "parent": null, + "body": { + "Sa": { + "FunctionalChain": { + "steps": [ + "9024243c-ccc1-5edb-8477-2aa16e5e9a50", + "30c8fad9-a49b-5692-9542-3148e76afd7b", + "bfa2ef0b-ce68-55c2-a9e5-31ea8a74fce6", + "d5e61c5d-510b-5091-a878-da46f3a9e152", + "4ed0dd9d-c9e0-5652-aedf-5f0ab4328a07", + "47bec4f9-d6d0-5ed1-adca-fa0d960dc416" + ] + } + } + } + }, + "57eb5348-14d8-560e-996a-8dbf993243e2": { + "id": "57eb5348-14d8-560e-996a-8dbf993243e2", + "alias": "sa_monitor_initial", + "name": "Start", + "description": "", + "parent": "3ab11e24-4140-58fc-b3fa-da5f51c7fe2c", + "body": { + "Sa": { + "Shared": { + "State": { + "kind": "Initial", + "entry": "", + "exit": "", + "do_activity": "" + } + } + } + } + }, + "58867e7d-916e-5ebc-9e4c-8dbed1314be3": { + "id": "58867e7d-916e-5ebc-9e4c-8dbed1314be3", + "alias": "sa_restore_work", + "name": "Restore safe pressure", + "description": "", + "parent": null, + "body": { + "Sa": "Function" + } + }, + "58bae2b0-f560-50f2-818d-19091d22d18a": { + "id": "58bae2b0-f560-50f2-818d-19091d22d18a", + "alias": "oa_response", + "name": "Handle a pressure alarm", + "description": "", + "parent": null, + "body": { + "Oa": { + "Process": { + "steps": [ + "0b07b9ed-492d-57f6-b0b1-ce8a709238a7", + "b280c6ca-e5f9-5424-a5c1-5676e01c2371", + "d2026fc2-74a8-5e22-9942-ff3eb68a3677", + "fc6763bf-a534-54bf-afcd-57ab285ff07d", + "6b945a6d-6aa0-5dd3-96e6-2e8d757d167d", + "e00594a3-6122-5a6b-b3c2-ecb5506c741d" + ] + } + } + } + }, + "58c15833-6e75-523a-b57f-a88f19f6d672": { + "id": "58c15833-6e75-523a-b57f-a88f19f6d672", + "alias": "oa_waiting", + "name": "Awaiting repair", + "description": "", + "parent": "8412e9c6-96fe-5ed6-a903-1d37ec3c3bf7", + "body": { + "Oa": { + "Shared": { + "State": { + "kind": "State", + "entry": "", + "exit": "", + "do_activity": "" + } + } + } + } + }, + "5ad034b1-084d-5273-9e70-971671766132": { + "id": "5ad034b1-084d-5273-9e70-971671766132", + "alias": "sa_mission", + "name": "Maintain safe water supply", + "description": "", + "parent": null, + "body": { + "Sa": "Mission" + } + }, + "5ba8079c-2dbe-5e98-ae82-2b60c6020a02": { + "id": "5ba8079c-2dbe-5e98-ae82-2b60c6020a02", + "alias": "oa_request_step", + "name": "Request the field repair", + "description": "", + "parent": "5d3af417-244c-54bb-9588-16daedda4e1f", + "body": { + "Oa": { + "Shared": { + "Occurrence": { + "body": { + "Exchange": { + "exchange": "cf423ea2-8b2e-5a27-93d4-5e8542d9db8d", + "sender": null, + "receiver": null, + "message_kind": "Asynchronous", + "reply_to": null, + "values": [] + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "5d3af417-244c-54bb-9588-16daedda4e1f": { + "id": "5d3af417-244c-54bb-9588-16daedda4e1f", + "alias": "oa_field_procedure", + "name": "Field repair procedure", + "description": "", + "parent": null, + "body": { + "Oa": { + "Process": { + "steps": [ + "5ba8079c-2dbe-5e98-ae82-2b60c6020a02", + "c59432fe-6092-5ee0-908d-9dbf39476471", + "df2fd3f8-6bc2-5380-a13f-36643ed35ac7" + ] + } + } + } + }, + "61f7bbfb-74a4-5540-9182-2583dfb27a49": { + "id": "61f7bbfb-74a4-5540-9182-2583dfb27a49", + "alias": "oa_assess", + "name": "Assess pressure alarm", + "description": "", + "parent": "1b91f8a7-0bdb-514e-b1cd-955658e09927", + "body": { + "Oa": "Activity" + } + }, + "6249b54a-e396-5338-82b9-89266c55670d": { + "id": "6249b54a-e396-5338-82b9-89266c55670d", + "alias": "sa_responder", + "name": "Technician", + "description": "", + "parent": "730b27ca-b039-5a3b-8dc6-03418f9061b3", + "body": { + "Sa": { + "Shared": { + "Lifeline": { + "represented": "c05b9422-b9da-5de5-b21d-07ad23bd2b8a" + } + } + } + } + }, + "65d6b8d6-271a-5c84-8b42-abbe310c955e": { + "id": "65d6b8d6-271a-5c84-8b42-abbe310c955e", + "alias": "oa_high_pressure", + "name": "Pressure alarm detected", + "description": "", + "parent": null, + "body": { + "Oa": { + "Shared": { + "Event": { + "body": { + "Change": { + "expression": "measured_pressure > operating_limit" + } + } + } + } + } + } + }, + "6a30b763-cc51-546d-907f-5c63657cfd03": { + "id": "6a30b763-cc51-546d-907f-5c63657cfd03", + "alias": "oa_triage", + "name": "Assess an alarm", + "description": "", + "parent": null, + "body": { + "Oa": "Capability" + } + }, + "6b945a6d-6aa0-5dd3-96e6-2e8d757d167d": { + "id": "6b945a6d-6aa0-5dd3-96e6-2e8d757d167d", + "alias": "oa_merge", + "name": "Recovery path completed", + "description": "", + "parent": "58bae2b0-f560-50f2-818d-19091d22d18a", + "body": { + "Oa": { + "Shared": { + "Occurrence": { + "body": { + "Control": { + "kind": "Merge" + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "6cbde0d8-9f5f-510a-a8c1-e29cb99ad4ae": { + "id": "6cbde0d8-9f5f-510a-a8c1-e29cb99ad4ae", + "alias": "oa_monitoring", + "name": "Monitoring", + "description": "", + "parent": "8412e9c6-96fe-5ed6-a903-1d37ec3c3bf7", + "body": { + "Oa": { + "Shared": { + "State": { + "kind": "State", + "entry": "", + "exit": "", + "do_activity": "" + } + } + } + } + }, + "727c0b5c-8db6-5eb7-83d6-735519c5949f": { + "id": "727c0b5c-8db6-5eb7-83d6-735519c5949f", + "alias": "oa_confirm", + "name": "Confirm safe pressure", + "description": "", + "parent": "1b91f8a7-0bdb-514e-b1cd-955658e09927", + "body": { + "Oa": "Activity" + } + }, + "730b27ca-b039-5a3b-8dc6-03418f9061b3": { + "id": "730b27ca-b039-5a3b-8dc6-03418f9061b3", + "alias": "sa_conversation", + "name": "Repair request and measured reply", + "description": "", + "parent": null, + "body": { + "Sa": { + "Shared": { + "Scenario": { + "viewpoint": "BoundaryInterface", + "context": "81259051-370a-512d-a3b5-6420a6f933b6", + "precondition": "A pressure alarm has been assessed", + "postcondition": "The controller has received the measured pressure after repair", + "steps": [ + "8bab4783-a098-5984-9e36-493957caf26c", + "4e1c0a56-ce80-5f13-a93a-6956de54880c" + ] + } + } + } + } + }, + "781cbe75-410f-5cc5-aeb8-a43491f77b99": { + "id": "781cbe75-410f-5cc5-aeb8-a43491f77b99", + "alias": "sa_contact_category", + "name": "Field contact", + "description": "", + "parent": null, + "body": { + "Sa": { + "Shared": { + "ExchangeCategory": { + "family": "Participant", + "exchanges": [ + "63009b5f-539e-5914-b630-ec6b7fefb4d5" + ] + } + } + } + } + }, + "81259051-370a-512d-a3b5-6420a6f933b6": { + "id": "81259051-370a-512d-a3b5-6420a6f933b6", + "alias": "sa_restore", + "name": "Restore a safe supply", + "description": "", + "parent": null, + "body": { + "Sa": "Capability" + } + }, + "8412e9c6-96fe-5ed6-a903-1d37ec3c3bf7": { + "id": "8412e9c6-96fe-5ed6-a903-1d37ec3c3bf7", + "alias": "oa_monitor_region", + "name": "Supervision cycle", + "description": "", + "parent": "1970608f-85d1-5234-ac86-5e2b0df27dc3", + "body": { + "Oa": { + "Shared": "Region" + } + } + }, + "87d0a95b-af1b-5352-b753-e4c6533671a5": { + "id": "87d0a95b-af1b-5352-b753-e4c6533671a5", + "alias": "sa_pressure", + "name": "Measured pressure", + "description": "", + "parent": null, + "body": { + "Sa": { + "Shared": { + "DataType": { + "definition": { + "Real": { + "minimum": 0.0, + "maximum": 600.0 + } + }, + "default": null, + "unit": "kPa" + } + } + } + } + }, + "8af21f9b-c21e-5aae-af0d-0958840f6655": { + "id": "8af21f9b-c21e-5aae-af0d-0958840f6655", + "alias": "sa_monitoring", + "name": "Monitoring", + "description": "", + "parent": "3ab11e24-4140-58fc-b3fa-da5f51c7fe2c", + "body": { + "Sa": { + "Shared": { + "State": { + "kind": "State", + "entry": "", + "exit": "", + "do_activity": "" + } + } + } + } + }, + "8bab4783-a098-5984-9e36-493957caf26c": { + "id": "8bab4783-a098-5984-9e36-493957caf26c", + "alias": "sa_call", + "name": "Request valve repair", + "description": "", + "parent": "730b27ca-b039-5a3b-8dc6-03418f9061b3", + "body": { + "Sa": { + "Shared": { + "Occurrence": { + "body": { + "Exchange": { + "exchange": "63009b5f-539e-5914-b630-ec6b7fefb4d5", + "sender": "98c61788-2fee-51f4-8cf9-de48e8c70e9e", + "receiver": "6249b54a-e396-5338-82b9-89266c55670d", + "message_kind": "Call", + "reply_to": null, + "values": [ + { + "path": [], + "field": "bb12ba5d-aab5-5a1b-99de-c767f5365b57", + "expression": "420.0" + } + ] + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "8bc6d0a4-3e87-559b-8bd7-1b679a2db5b7": { + "id": "8bc6d0a4-3e87-559b-8bd7-1b679a2db5b7", + "alias": "oa_pressure_parameter", + "name": "Pressure before / after repair", + "description": "", + "parent": "d736c7d6-d369-550a-8ba4-dae223e40bb3", + "body": { + "Oa": { + "Shared": { + "DataField": { + "type_ref": { + "Named": "e7824764-5db9-5384-8198-2fbaea2b10b2" + }, + "minimum": 1, + "maximum": 1, + "unit": "", + "direction": "InOut", + "storage": "Value", + "default": null + } + } + } + } + }, + "9024243c-ccc1-5edb-8477-2aa16e5e9a50": { + "id": "9024243c-ccc1-5edb-8477-2aa16e5e9a50", + "alias": "sa_assess_step", + "name": "Assess the alarm", + "description": "", + "parent": "5139ce73-56fd-5875-ba3a-e569fc890231", + "body": { + "Sa": { + "Shared": { + "Occurrence": { + "body": { + "SequenceReference": { + "sequence": "acd5a018-f559-5298-a40d-1cf6e1353e74" + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "9349b353-53f2-56f8-b571-a05b09335cdf": { + "id": "9349b353-53f2-56f8-b571-a05b09335cdf", + "alias": "oa_repair_traffic", + "name": "Repair work exchanges", + "description": "", + "parent": null, + "body": { + "Oa": { + "Shared": { + "ExchangeCategory": { + "family": "Work", + "exchanges": [ + "cf423ea2-8b2e-5a27-93d4-5e8542d9db8d", + "b436d0b3-c824-5a96-af6b-2c269816d1cc" + ] + } + } + } + } + }, + "93eb6479-54e9-59cb-ac7b-16912347bfc0": { + "id": "93eb6479-54e9-59cb-ac7b-16912347bfc0", + "alias": "sa_field_procedure", + "name": "Field repair procedure", + "description": "", + "parent": null, + "body": { + "Sa": { + "FunctionalChain": { + "steps": [ + "40d94322-baa2-5c81-b261-ff47cdc33782", + "0f195fea-3493-5ebd-966d-da9eddeb05d7", + "ea32e4ec-8bdc-57ea-8a90-7b09ba4f0eac" + ] + } + } + } + }, + "942975b8-0bef-5ae8-9fcb-c37497833fb0": { + "id": "942975b8-0bef-5ae8-9fcb-c37497833fb0", + "alias": "oa_assessment_action", + "name": "Assess pressure alarm", + "description": "", + "parent": "022d3cfa-bbaf-5e13-924a-8e55099b8745", + "body": { + "Oa": { + "Shared": { + "Occurrence": { + "body": { + "Action": { + "action": "61f7bbfb-74a4-5540-9182-2583dfb27a49", + "lifeline": null + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "9497e10f-04c4-5586-8738-2464a6f00bd4": { + "id": "9497e10f-04c4-5586-8738-2464a6f00bd4", + "alias": "sa_repair", + "name": "Repair valve in the field", + "description": "", + "parent": "58867e7d-916e-5ebc-9e4c-8dbed1314be3", + "body": { + "Sa": "Function" + } + }, + "98c61788-2fee-51f4-8cf9-de48e8c70e9e": { + "id": "98c61788-2fee-51f4-8cf9-de48e8c70e9e", + "alias": "sa_caller", + "name": "Controller", + "description": "", + "parent": "730b27ca-b039-5a3b-8dc6-03418f9061b3", + "body": { + "Sa": { + "Shared": { + "Lifeline": { + "represented": "435bf87c-73fd-5e4d-978a-4c471bc9eaf0" + } + } + } + } + }, + "98d411e7-7c65-5c3f-b543-8bf0f2522ea2": { + "id": "98d411e7-7c65-5c3f-b543-8bf0f2522ea2", + "alias": "sa_control_port", + "name": "Repair service client", + "description": "Explicitly chosen Standard component port for the repair service.", + "parent": "435bf87c-73fd-5e4d-978a-4c471bc9eaf0", + "body": { + "Sa": { + "Shared": { + "Port": { + "contract": { + "Component": { + "kind": "Standard", + "orientation": "Unset" + } + }, + "legacy": null + } + } + } + } + }, + "994faed7-dbc8-5b96-9d62-7604ac0fbc3a": { + "id": "994faed7-dbc8-5b96-9d62-7604ac0fbc3a", + "alias": "sa_repair_report_out", + "name": "Report repair result output", + "description": "", + "parent": "9497e10f-04c4-5586-8738-2464a6f00bd4", + "body": { + "Sa": { + "Shared": { + "Port": { + "contract": { + "FunctionOutput": { + "outgoing_items": [ + "a962fc5e-3ab0-5296-8b0d-fd84633f9218" + ] + } + }, + "legacy": null + } + } + } + } + }, + "9ff94014-afa1-50ab-a4d3-8e9dd0565cc5": { + "id": "9ff94014-afa1-50ab-a4d3-8e9dd0565cc5", + "alias": "oa_use_conversation", + "name": "Use the reviewed repair conversation", + "description": "", + "parent": "d6f881a4-95da-54e9-ad97-1b8965532629", + "body": { + "Oa": { + "Shared": { + "Occurrence": { + "body": { + "ScenarioUse": { + "scenario": "20472233-5ce6-5ffe-b4ad-0bdbccf3e423", + "bindings": [ + { + "referenced": "41859a65-ded2-547b-ab03-14e2fa740cf9", + "local": "2011b3ac-614b-5a47-8891-7ff81965f425" + }, + { + "referenced": "fc81c5f0-0442-5b88-992b-e5b10f351c59", + "local": "fffff882-78fd-5415-928d-c1ef7fac6576" + } + ] + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "a21465af-05f3-5fb5-8983-de26932422fb": { + "id": "a21465af-05f3-5fb5-8983-de26932422fb", + "alias": "oa_repair", + "name": "Repair valve in the field", + "description": "", + "parent": "1b91f8a7-0bdb-514e-b1cd-955658e09927", + "body": { + "Oa": "Activity" + } + }, + "a4b8942e-a975-5f88-ad14-8f38c345baac": { + "id": "a4b8942e-a975-5f88-ad14-8f38c345baac", + "alias": "sa_repair_interface", + "name": "Valve repair service", + "description": "", + "parent": null, + "body": { + "Sa": { + "Shared": { + "Interface": { + "supertype": null + } + } + } + } + }, + "a6bb10b1-f1e5-5b31-8afd-5bad5a7b6c37": { + "id": "a6bb10b1-f1e5-5b31-8afd-5bad5a7b6c37", + "alias": "sa_waiting", + "name": "Awaiting repair", + "description": "", + "parent": "3ab11e24-4140-58fc-b3fa-da5f51c7fe2c", + "body": { + "Sa": { + "Shared": { + "State": { + "kind": "State", + "entry": "", + "exit": "", + "do_activity": "" + } + } + } + } + }, + "a7ffb869-9dde-5e76-b276-c719c5c143a9": { + "id": "a7ffb869-9dde-5e76-b276-c719c5c143a9", + "alias": "oa_monitor_initial", + "name": "Start", + "description": "", + "parent": "8412e9c6-96fe-5ed6-a903-1d37ec3c3bf7", + "body": { + "Oa": { + "Shared": { + "State": { + "kind": "Initial", + "entry": "", + "exit": "", + "do_activity": "" + } + } + } + } + }, + "a962fc5e-3ab0-5296-8b0d-fd84633f9218": { + "id": "a962fc5e-3ab0-5296-8b0d-fd84633f9218", + "alias": "sa_repair_operation", + "name": "Valve repair", + "description": "", + "parent": null, + "body": { + "Sa": { + "Shared": { + "ExchangeItem": { + "kind": "Information", + "mechanism": "Operation", + "supertype": null + } + } + } + } + }, + "a9a47e48-100c-57a8-95f0-7fe24da94f94": { + "id": "a9a47e48-100c-57a8-95f0-7fe24da94f94", + "alias": "sa_repair_traffic", + "name": "Repair work exchanges", + "description": "", + "parent": null, + "body": { + "Sa": { + "Shared": { + "ExchangeCategory": { + "family": "Work", + "exchanges": [ + "93474111-f23e-56c1-b61b-b7c2396b91bd", + "684eadc3-e670-5779-a60f-bbc9a5bfb062" + ] + } + } + } + } + }, + "acd5a018-f559-5298-a40d-1cf6e1353e74": { + "id": "acd5a018-f559-5298-a40d-1cf6e1353e74", + "alias": "sa_assessment_procedure", + "name": "Assess an alarm procedure", + "description": "", + "parent": null, + "body": { + "Sa": { + "FunctionalChain": { + "steps": [ + "bae5b192-5b8e-51c6-82ae-2331af0d33bf" + ] + } + } + } + }, + "b280c6ca-e5f9-5424-a5c1-5676e01c2371": { + "id": "b280c6ca-e5f9-5424-a5c1-5676e01c2371", + "alias": "oa_decision", + "name": "Can a remote reset safely recover pressure?", + "description": "", + "parent": "58bae2b0-f560-50f2-818d-19091d22d18a", + "body": { + "Oa": { + "Shared": { + "Occurrence": { + "body": { + "Control": { + "kind": "Choice" + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "b97437c6-cd7a-5a05-b537-b30a17dd936a": { + "id": "b97437c6-cd7a-5a05-b537-b30a17dd936a", + "alias": "oa_call", + "name": "Request valve repair", + "description": "", + "parent": "20472233-5ce6-5ffe-b4ad-0bdbccf3e423", + "body": { + "Oa": { + "Shared": { + "Occurrence": { + "body": { + "Exchange": { + "exchange": "27b47887-baf0-518b-bf87-f5acbf7d0b93", + "sender": "41859a65-ded2-547b-ab03-14e2fa740cf9", + "receiver": "fc81c5f0-0442-5b88-992b-e5b10f351c59", + "message_kind": "Call", + "reply_to": null, + "values": [ + { + "path": [], + "field": "8bc6d0a4-3e87-559b-8bd7-1b679a2db5b7", + "expression": "420.0" + } + ] + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "bad8fa7c-f634-55fd-98d3-e1eb2da05d8f": { + "id": "bad8fa7c-f634-55fd-98d3-e1eb2da05d8f", + "alias": "sa_triage", + "name": "Assess an alarm", + "description": "", + "parent": null, + "body": { + "Sa": "Capability" + } + }, + "bae5b192-5b8e-51c6-82ae-2331af0d33bf": { + "id": "bae5b192-5b8e-51c6-82ae-2331af0d33bf", + "alias": "sa_assessment_action", + "name": "Assess pressure alarm", + "description": "", + "parent": "acd5a018-f559-5298-a40d-1cf6e1353e74", + "body": { + "Sa": { + "Shared": { + "Occurrence": { + "body": { + "Action": { + "action": "dddae020-a444-5d48-acc8-139d2696a672", + "lifeline": null + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "bb12ba5d-aab5-5a1b-99de-c767f5365b57": { + "id": "bb12ba5d-aab5-5a1b-99de-c767f5365b57", + "alias": "sa_pressure_parameter", + "name": "Pressure before / after repair", + "description": "", + "parent": "a962fc5e-3ab0-5296-8b0d-fd84633f9218", + "body": { + "Sa": { + "Shared": { + "DataField": { + "type_ref": { + "Named": "87d0a95b-af1b-5352-b753-e4c6533671a5" + }, + "minimum": 1, + "maximum": 1, + "unit": "", + "direction": "InOut", + "storage": "Value", + "default": null + } + } + } + } + }, + "bfa2ef0b-ce68-55c2-a9e5-31ea8a74fce6": { + "id": "bfa2ef0b-ce68-55c2-a9e5-31ea8a74fce6", + "alias": "sa_reset_step", + "name": "Try the authorized remote reset", + "description": "", + "parent": "5139ce73-56fd-5875-ba3a-e569fc890231", + "body": { + "Sa": { + "Shared": { + "Occurrence": { + "body": { + "Action": { + "action": "09342ccb-044b-5483-ac58-87dc3cf7831c", + "lifeline": null + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "c05b9422-b9da-5de5-b21d-07ad23bd2b8a": { + "id": "c05b9422-b9da-5de5-b21d-07ad23bd2b8a", + "alias": "sa_technician", + "name": "Field technician", + "description": "", + "parent": null, + "body": { + "Sa": "Actor" + } + }, + "c59432fe-6092-5ee0-908d-9dbf39476471": { + "id": "c59432fe-6092-5ee0-908d-9dbf39476471", + "alias": "oa_repair_step", + "name": "Repair the valve", + "description": "", + "parent": "5d3af417-244c-54bb-9588-16daedda4e1f", + "body": { + "Oa": { + "Shared": { + "Occurrence": { + "body": { + "Action": { + "action": "a21465af-05f3-5fb5-8983-de26932422fb", + "lifeline": null + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "c9c61f50-06e0-5d17-973d-dcc57cd5cc90": { + "id": "c9c61f50-06e0-5d17-973d-dcc57cd5cc90", + "alias": "oa_mission", + "name": "Maintain safe water supply", + "description": "", + "parent": null, + "body": { + "Oa": "Mission" + } + }, + "cc2d497a-fd15-5455-9ee5-e70eb95811d8": { + "id": "cc2d497a-fd15-5455-9ee5-e70eb95811d8", + "alias": "oa_reply", + "name": "Return pressure after repair", + "description": "", + "parent": "20472233-5ce6-5ffe-b4ad-0bdbccf3e423", + "body": { + "Oa": { + "Shared": { + "Occurrence": { + "body": { + "Exchange": { + "exchange": "27b47887-baf0-518b-bf87-f5acbf7d0b93", + "sender": "fc81c5f0-0442-5b88-992b-e5b10f351c59", + "receiver": "41859a65-ded2-547b-ab03-14e2fa740cf9", + "message_kind": "Reply", + "reply_to": "b97437c6-cd7a-5a05-b537-b30a17dd936a", + "values": [ + { + "path": [], + "field": "8bc6d0a4-3e87-559b-8bd7-1b679a2db5b7", + "expression": "320.0" + } + ] + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "d0c8be87-d238-503a-a549-7558a210507f": { + "id": "d0c8be87-d238-503a-a549-7558a210507f", + "alias": "oa_reset", + "name": "Reset valve remotely", + "description": "", + "parent": "1b91f8a7-0bdb-514e-b1cd-955658e09927", + "body": { + "Oa": "Activity" + } + }, + "d2026fc2-74a8-5e22-9942-ff3eb68a3677": { + "id": "d2026fc2-74a8-5e22-9942-ff3eb68a3677", + "alias": "oa_reset_step", + "name": "Try the authorized remote reset", + "description": "", + "parent": "58bae2b0-f560-50f2-818d-19091d22d18a", + "body": { + "Oa": { + "Shared": { + "Occurrence": { + "body": { + "Action": { + "action": "d0c8be87-d238-503a-a549-7558a210507f", + "lifeline": null + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "d2113fb0-a531-54ef-9484-13951b00ab8f": { + "id": "d2113fb0-a531-54ef-9484-13951b00ab8f", + "alias": "sa_repair_request_in", + "name": "Request field repair input", + "description": "", + "parent": "9497e10f-04c4-5586-8738-2464a6f00bd4", + "body": { + "Sa": { + "Shared": { + "Port": { + "contract": { + "FunctionInput": { + "incoming_items": [ + "a962fc5e-3ab0-5296-8b0d-fd84633f9218" + ] + } + }, + "legacy": null + } + } + } + } + }, + "d5e61c5d-510b-5091-a878-da46f3a9e152": { + "id": "d5e61c5d-510b-5091-a878-da46f3a9e152", + "alias": "sa_use_field", + "name": "Use the field repair procedure", + "description": "", + "parent": "5139ce73-56fd-5875-ba3a-e569fc890231", + "body": { + "Sa": { + "Shared": { + "Occurrence": { + "body": { + "SequenceReference": { + "sequence": "93eb6479-54e9-59cb-ac7b-16912347bfc0" + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "d6f881a4-95da-54e9-ad97-1b8965532629": { + "id": "d6f881a4-95da-54e9-ad97-1b8965532629", + "alias": "oa_full_scenario", + "name": "Restore supply through field repair", + "description": "", + "parent": null, + "body": { + "Oa": { + "Shared": { + "Scenario": { + "viewpoint": "ParticipantInteraction", + "context": "3dfee23a-148b-5cec-ad2d-b774e84ea5bb", + "precondition": "A pressure alarm has been assessed", + "postcondition": "The controller has received the measured pressure after repair", + "steps": [ + "9ff94014-afa1-50ab-a4d3-8e9dd0565cc5" + ] + } + } + } + } + }, + "d736c7d6-d369-550a-8ba4-dae223e40bb3": { + "id": "d736c7d6-d369-550a-8ba4-dae223e40bb3", + "alias": "oa_repair_operation", + "name": "Valve repair", + "description": "", + "parent": null, + "body": { + "Oa": { + "Shared": { + "ExchangeItem": { + "kind": "Information", + "mechanism": "Operation", + "supertype": null + } + } + } + } + }, + "d75eb3fa-a27d-52d5-8782-8b342b3865f6": { + "id": "d75eb3fa-a27d-52d5-8782-8b342b3865f6", + "alias": "sa_confirm", + "name": "Confirm safe pressure", + "description": "", + "parent": "58867e7d-916e-5ebc-9e4c-8dbed1314be3", + "body": { + "Sa": "Function" + } + }, + "dddae020-a444-5d48-acc8-139d2696a672": { + "id": "dddae020-a444-5d48-acc8-139d2696a672", + "alias": "sa_assess", + "name": "Assess pressure alarm", + "description": "", + "parent": "58867e7d-916e-5ebc-9e4c-8dbed1314be3", + "body": { + "Sa": "Function" + } + }, + "df2fd3f8-6bc2-5380-a13f-36643ed35ac7": { + "id": "df2fd3f8-6bc2-5380-a13f-36643ed35ac7", + "alias": "oa_report_step", + "name": "Report the measured result", + "description": "", + "parent": "5d3af417-244c-54bb-9588-16daedda4e1f", + "body": { + "Oa": { + "Shared": { + "Occurrence": { + "body": { + "Exchange": { + "exchange": "b436d0b3-c824-5a96-af6b-2c269816d1cc", + "sender": null, + "receiver": null, + "message_kind": "Asynchronous", + "reply_to": null, + "values": [] + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "e00594a3-6122-5a6b-b3c2-ecb5506c741d": { + "id": "e00594a3-6122-5a6b-b3c2-ecb5506c741d", + "alias": "oa_confirm_step", + "name": "Confirm safe pressure", + "description": "", + "parent": "58bae2b0-f560-50f2-818d-19091d22d18a", + "body": { + "Oa": { + "Shared": { + "Occurrence": { + "body": { + "Action": { + "action": "727c0b5c-8db6-5eb7-83d6-735519c5949f", + "lifeline": null + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "e07c3952-4a1a-5cc7-b7d5-03a01101ce49": { + "id": "e07c3952-4a1a-5cc7-b7d5-03a01101ce49", + "alias": "oa_technician", + "name": "Field technician", + "description": "", + "parent": null, + "body": { + "Oa": "Actor" + } + }, + "e6d69cbd-99d7-596b-bbe3-dada6118a600": { + "id": "e6d69cbd-99d7-596b-bbe3-dada6118a600", + "alias": "sa_technician_port", + "name": "Repair service provider", + "description": "Explicitly chosen Standard component port for the repair service.", + "parent": "c05b9422-b9da-5de5-b21d-07ad23bd2b8a", + "body": { + "Sa": { + "Shared": { + "Port": { + "contract": { + "Component": { + "kind": "Standard", + "orientation": "Unset" + } + }, + "legacy": null + } + } + } + } + }, + "e7824764-5db9-5384-8198-2fbaea2b10b2": { + "id": "e7824764-5db9-5384-8198-2fbaea2b10b2", + "alias": "oa_pressure", + "name": "Measured pressure", + "description": "", + "parent": null, + "body": { + "Oa": { + "Shared": { + "DataType": { + "definition": { + "Real": { + "minimum": 0.0, + "maximum": 600.0 + } + }, + "default": null, + "unit": "kPa" + } + } + } + } + }, + "ea32e4ec-8bdc-57ea-8a90-7b09ba4f0eac": { + "id": "ea32e4ec-8bdc-57ea-8a90-7b09ba4f0eac", + "alias": "sa_report_step", + "name": "Report the measured result", + "description": "", + "parent": "93eb6479-54e9-59cb-ac7b-16912347bfc0", + "body": { + "Sa": { + "Shared": { + "Occurrence": { + "body": { + "Exchange": { + "exchange": "684eadc3-e670-5779-a60f-bbc9a5bfb062", + "sender": null, + "receiver": null, + "message_kind": "Asynchronous", + "reply_to": null, + "values": [] + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "f746a1cd-ff9f-55c0-b325-01c03d2f4fae": { + "id": "f746a1cd-ff9f-55c0-b325-01c03d2f4fae", + "alias": "sa_full_scenario", + "name": "Restore supply through field repair", + "description": "", + "parent": null, + "body": { + "Sa": { + "Shared": { + "Scenario": { + "viewpoint": "BoundaryInterface", + "context": "81259051-370a-512d-a3b5-6420a6f933b6", + "precondition": "A pressure alarm has been assessed", + "postcondition": "The controller has received the measured pressure after repair", + "steps": [ + "1c9da843-e2d3-5591-8e3f-db083a42867e" + ] + } + } + } + } + }, + "fc6763bf-a534-54bf-afcd-57ab285ff07d": { + "id": "fc6763bf-a534-54bf-afcd-57ab285ff07d", + "alias": "oa_use_field", + "name": "Use the field repair procedure", + "description": "", + "parent": "58bae2b0-f560-50f2-818d-19091d22d18a", + "body": { + "Oa": { + "Shared": { + "Occurrence": { + "body": { + "SequenceReference": { + "sequence": "5d3af417-244c-54bb-9588-16daedda4e1f" + } + }, + "precondition": "", + "postcondition": "" + } + } + } + } + }, + "fc81c5f0-0442-5b88-992b-e5b10f351c59": { + "id": "fc81c5f0-0442-5b88-992b-e5b10f351c59", + "alias": "oa_responder", + "name": "Technician", + "description": "", + "parent": "20472233-5ce6-5ffe-b4ad-0bdbccf3e423", + "body": { + "Oa": { + "Shared": { + "Lifeline": { + "represented": "e07c3952-4a1a-5cc7-b7d5-03a01101ce49" + } + } + } + } + }, + "fffff882-78fd-5415-928d-c1ef7fac6576": { + "id": "fffff882-78fd-5415-928d-c1ef7fac6576", + "alias": "oa_outer_technician", + "name": "Technician", + "description": "", + "parent": "d6f881a4-95da-54e9-ad97-1b8965532629", + "body": { + "Oa": { + "Shared": { + "Lifeline": { + "represented": "e07c3952-4a1a-5cc7-b7d5-03a01101ce49" + } + } + } + } + } + }, + "relations": { + "094b888c-450c-5c4f-971a-7d75db059574": { + "id": "094b888c-450c-5c4f-971a-7d75db059574", + "alias": "oa_request_carriage", + "name": "Exchange allocation: Request field repair", + "description": "", + "body": { + "ExchangeAllocation": { + "source": "27b47887-baf0-518b-bf87-f5acbf7d0b93", + "target": "cf423ea2-8b2e-5a27-93d4-5e8542d9db8d" + } + } + }, + "09eaa992-4cdf-5ea3-b748-f10fd74b8cba": { + "id": "09eaa992-4cdf-5ea3-b748-f10fd74b8cba", + "alias": "sa_port_request_in", + "name": "Port allocation: Request field repair input", + "description": "", + "body": { + "PortAllocation": { + "source": "e6d69cbd-99d7-596b-bbe3-dada6118a600", + "target": "d2113fb0-a531-54ef-9484-13951b00ab8f" + } + } + }, + "0c4c9e58-ff32-5c00-b82a-d408a4be0183": { + "id": "0c4c9e58-ff32-5c00-b82a-d408a4be0183", + "alias": "oa_mission_participant", + "name": "Mission involvement: Maintain safe water supply", + "description": "", + "body": { + "MissionInvolvement": { + "source": "32aa9940-df6e-5a12-b9bd-6337e2d2ed22", + "target": "c9c61f50-06e0-5d17-973d-dcc57cd5cc90" + } + } + }, + "0f6ac3fb-4ad6-581e-ad14-336472072d5e": { + "id": "0f6ac3fb-4ad6-581e-ad14-336472072d5e", + "alias": "sa_field_merge", + "name": "Continue", + "description": "", + "body": { + "SequenceLink": { + "source": "d5e61c5d-510b-5091-a878-da46f3a9e152", + "target": "4ed0dd9d-c9e0-5652-aedf-5f0ab4328a07", + "guard": "" + } + } + }, + "109e2d6b-7e86-5934-93a5-fab56eced84e": { + "id": "109e2d6b-7e86-5934-93a5-fab56eced84e", + "alias": "oa_assess_then_decide", + "name": "Continue", + "description": "", + "body": { + "SequenceLink": { + "source": "0b07b9ed-492d-57f6-b0b1-ce8a709238a7", + "target": "b280c6ca-e5f9-5424-a5c1-5676e01c2371", + "guard": "" + } + } + }, + "13c3bfa4-9254-5ab2-b96f-f65f402adf81": { + "id": "13c3bfa4-9254-5ab2-b96f-f65f402adf81", + "alias": "sa_alarm_transition", + "name": "State transition: Awaiting repair", + "description": "", + "body": { + "StateTransition": { + "source": "8af21f9b-c21e-5aae-af0d-0958840f6655", + "target": "a6bb10b1-f1e5-5b31-8afd-5bad5a7b6c37", + "transition_kind": "External", + "triggers": [ + "01490fa8-2f01-5ac8-9722-d55d45414379" + ], + "effects": [], + "trigger": "", + "guard": "", + "effect": "" + } + } + }, + "1853df1f-30f4-5b1a-baac-2dcaf73c7b3a": { + "id": "1853df1f-30f4-5b1a-baac-2dcaf73c7b3a", + "alias": "oa_reset_allocation", + "name": "Allocation: Reset valve remotely", + "description": "", + "body": { + "Allocation": { + "source": "32aa9940-df6e-5a12-b9bd-6337e2d2ed22", + "target": "d0c8be87-d238-503a-a549-7558a210507f" + } + } + }, + "1b245065-7242-5d81-8472-aaeb932054c9": { + "id": "1b245065-7242-5d81-8472-aaeb932054c9", + "alias": "sa_audit_allocation", + "name": "Allocation: Audit pressure thresholds", + "description": "", + "body": { + "Allocation": { + "source": "435bf87c-73fd-5e4d-978a-4c471bc9eaf0", + "target": "4149a872-3440-59de-9879-8981e78d27ab" + } + } + }, + "1bbd5957-1173-51d8-97e3-ba4f084227ae": { + "id": "1bbd5957-1173-51d8-97e3-ba4f084227ae", + "alias": "sa_field_path", + "name": "else", + "description": "", + "body": { + "SequenceLink": { + "source": "30c8fad9-a49b-5692-9542-3148e76afd7b", + "target": "d5e61c5d-510b-5091-a878-da46f3a9e152", + "guard": "else" + } + } + }, + "1c1e5634-ba8c-591f-b143-90a27cdc6cd2": { + "id": "1c1e5634-ba8c-591f-b143-90a27cdc6cd2", + "alias": "sa_mission_participant", + "name": "Mission involvement: Maintain safe water supply", + "description": "", + "body": { + "MissionInvolvement": { + "source": "435bf87c-73fd-5e4d-978a-4c471bc9eaf0", + "target": "5ad034b1-084d-5273-9e70-971671766132" + } + } + }, + "1e738f27-a3a1-526d-b330-6384088b9689": { + "id": "1e738f27-a3a1-526d-b330-6384088b9689", + "alias": "sa_confirm_path", + "name": "Continue", + "description": "", + "body": { + "SequenceLink": { + "source": "4ed0dd9d-c9e0-5652-aedf-5f0ab4328a07", + "target": "47bec4f9-d6d0-5ed1-adca-fa0d960dc416", + "guard": "" + } + } + }, + "1f8b1898-65f6-5360-99cf-b78a71bd50ec": { + "id": "1f8b1898-65f6-5360-99cf-b78a71bd50ec", + "alias": "oa_mission_delivery", + "name": "Mission capability: Restore a safe supply", + "description": "", + "body": { + "MissionCapability": { + "source": "c9c61f50-06e0-5d17-973d-dcc57cd5cc90", + "target": "3dfee23a-148b-5cec-ad2d-b774e84ea5bb" + } + } + }, + "21fe5e8e-cbc2-5dad-b3e8-1df46e167d97": { + "id": "21fe5e8e-cbc2-5dad-b3e8-1df46e167d97", + "alias": "oa_normal_transition", + "name": "State transition: Monitoring", + "description": "", + "body": { + "StateTransition": { + "source": "58c15833-6e75-523a-b57f-a88f19f6d672", + "target": "6cbde0d8-9f5f-510a-a8c1-e29cb99ad4ae", + "transition_kind": "External", + "triggers": [], + "effects": [], + "trigger": "", + "guard": "repair confirmed and pressure is safe", + "effect": "" + } + } + }, + "229ee94f-d147-50f6-9769-b5bd0c03a084": { + "id": "229ee94f-d147-50f6-9769-b5bd0c03a084", + "alias": "oa_confirm_path", + "name": "Continue", + "description": "", + "body": { + "SequenceLink": { + "source": "6b945a6d-6aa0-5dd3-96e6-2e8d757d167d", + "target": "e00594a3-6122-5a6b-b3c2-ecb5506c741d", + "guard": "" + } + } + }, + "27b47887-baf0-518b-bf87-f5acbf7d0b93": { + "id": "27b47887-baf0-518b-bf87-f5acbf7d0b93", + "alias": "oa_contact", + "name": "Technician service conversation", + "description": "", + "body": { + "CommunicationMean": { + "source": "32aa9940-df6e-5a12-b9bd-6337e2d2ed22", + "target": "e07c3952-4a1a-5cc7-b7d5-03a01101ce49", + "oriented": false, + "items": [ + "d736c7d6-d369-550a-8ba4-dae223e40bb3" + ] + } + } + }, + "2b00270c-79a5-52a5-af96-33346bea531b": { + "id": "2b00270c-79a5-52a5-af96-33346bea531b", + "alias": "oa_start_monitoring", + "name": "State transition: Monitoring", + "description": "", + "body": { + "StateTransition": { + "source": "a7ffb869-9dde-5e76-b276-c719c5c143a9", + "target": "6cbde0d8-9f5f-510a-a8c1-e29cb99ad4ae", + "transition_kind": "External", + "triggers": [], + "effects": [], + "trigger": "", + "guard": "", + "effect": "" + } + } + }, + "3cc9ab52-2b00-57fd-8709-aabc75e5d3e3": { + "id": "3cc9ab52-2b00-57fd-8709-aabc75e5d3e3", + "alias": "sa_reset_allocation", + "name": "Allocation: Reset valve remotely", + "description": "", + "body": { + "Allocation": { + "source": "435bf87c-73fd-5e4d-978a-4c471bc9eaf0", + "target": "09342ccb-044b-5483-ac58-87dc3cf7831c" + } + } + }, + "3f54d890-4ca5-5e36-873b-abb5c92d578c": { + "id": "3f54d890-4ca5-5e36-873b-abb5c92d578c", + "alias": "oa_request_then_repair", + "name": "Sequence link: Repair the valve", + "description": "", + "body": { + "SequenceLink": { + "source": "5ba8079c-2dbe-5e98-ae82-2b60c6020a02", + "target": "c59432fe-6092-5ee0-908d-9dbf39476471", + "guard": "" + } + } + }, + "4549d3fa-5ab9-52a9-b4f9-3a78fc9d625a": { + "id": "4549d3fa-5ab9-52a9-b4f9-3a78fc9d625a", + "alias": "oa_report_carriage", + "name": "Exchange allocation: Report repair result", + "description": "", + "body": { + "ExchangeAllocation": { + "source": "27b47887-baf0-518b-bf87-f5acbf7d0b93", + "target": "b436d0b3-c824-5a96-af6b-2c269816d1cc" + } + } + }, + "47730532-0372-5cc5-9d6d-0b8953aebdd8": { + "id": "47730532-0372-5cc5-9d6d-0b8953aebdd8", + "alias": "sa_start_monitoring", + "name": "State transition: Monitoring", + "description": "", + "body": { + "StateTransition": { + "source": "57eb5348-14d8-560e-996a-8dbf993243e2", + "target": "8af21f9b-c21e-5aae-af0d-0958840f6655", + "transition_kind": "External", + "triggers": [], + "effects": [], + "trigger": "", + "guard": "", + "effect": "" + } + } + }, + "4c4c4851-5a3d-5bb9-94df-b19f9cf39819": { + "id": "4c4c4851-5a3d-5bb9-94df-b19f9cf39819", + "alias": "sa_request_carriage", + "name": "Exchange allocation: Request field repair", + "description": "", + "body": { + "ExchangeAllocation": { + "source": "63009b5f-539e-5914-b630-ec6b7fefb4d5", + "target": "93474111-f23e-56c1-b61b-b7c2396b91bd" + } + } + }, + "4f85337b-f6eb-533c-a45a-9a5d1d9567ca": { + "id": "4f85337b-f6eb-533c-a45a-9a5d1d9567ca", + "alias": "sa_client_requires", + "name": "Interface requirement: Valve repair service", + "description": "", + "body": { + "InterfaceRequirement": { + "source": "98d411e7-7c65-5c3f-b543-8bf0f2522ea2", + "target": "a4b8942e-a975-5f88-ad14-8f38c345baac" + } + } + }, + "55ec4dbf-bd17-5b0c-b3a3-95b2194aa8b9": { + "id": "55ec4dbf-bd17-5b0c-b3a3-95b2194aa8b9", + "alias": "sa_port_request_out", + "name": "Port allocation: Request field repair output", + "description": "", + "body": { + "PortAllocation": { + "source": "98d411e7-7c65-5c3f-b543-8bf0f2522ea2", + "target": "24a6850e-b819-57e0-af88-ca4ab76581b7" + } + } + }, + "55f89fbf-aa3c-5ae1-95ef-ac676f9c1ada": { + "id": "55f89fbf-aa3c-5ae1-95ef-ac676f9c1ada", + "alias": "sa_provider_provides", + "name": "Interface provision: Valve repair service", + "description": "", + "body": { + "InterfaceProvision": { + "source": "e6d69cbd-99d7-596b-bbe3-dada6118a600", + "target": "a4b8942e-a975-5f88-ad14-8f38c345baac" + } + } + }, + "568c5c01-de21-52a2-83bd-afdddc158085": { + "id": "568c5c01-de21-52a2-83bd-afdddc158085", + "alias": "sa_port_report_in", + "name": "Port allocation: Report repair result input", + "description": "", + "body": { + "PortAllocation": { + "source": "98d411e7-7c65-5c3f-b543-8bf0f2522ea2", + "target": "391af7c4-b07d-53a7-8ddd-5c81461fc4f8" + } + } + }, + "594c61cd-94e0-5c07-890d-edfd520d7df9": { + "id": "594c61cd-94e0-5c07-890d-edfd520d7df9", + "alias": "oa_assess_allocation", + "name": "Allocation: Assess pressure alarm", + "description": "", + "body": { + "Allocation": { + "source": "32aa9940-df6e-5a12-b9bd-6337e2d2ed22", + "target": "61f7bbfb-74a4-5540-9182-2583dfb27a49" + } + } + }, + "628cb4fc-fe63-5f6b-b364-6268f26b5740": { + "id": "628cb4fc-fe63-5f6b-b364-6268f26b5740", + "alias": "oa_assessment_delivery", + "name": "Chain involvement: Assess an alarm", + "description": "", + "body": { + "ChainInvolvement": { + "source": "022d3cfa-bbaf-5e13-924a-8e55099b8745", + "target": "6a30b763-cc51-546d-907f-5c63657cfd03" + } + } + }, + "63009b5f-539e-5914-b630-ec6b7fefb4d5": { + "id": "63009b5f-539e-5914-b630-ec6b7fefb4d5", + "alias": "sa_contact", + "name": "Technician service conversation", + "description": "", + "body": { + "BoundaryExchange": { + "source": "98d411e7-7c65-5c3f-b543-8bf0f2522ea2", + "target": "e6d69cbd-99d7-596b-bbe3-dada6118a600", + "oriented": false, + "items": [ + "a962fc5e-3ab0-5296-8b0d-fd84633f9218" + ] + } + } + }, + "66efc484-53c7-51a3-89e9-422429344b38": { + "id": "66efc484-53c7-51a3-89e9-422429344b38", + "alias": "sa_response_delivery", + "name": "Chain involvement: Restore a safe supply", + "description": "", + "body": { + "ChainInvolvement": { + "source": "5139ce73-56fd-5875-ba3a-e569fc890231", + "target": "81259051-370a-512d-a3b5-6420a6f933b6" + } + } + }, + "684eadc3-e670-5779-a60f-bbc9a5bfb062": { + "id": "684eadc3-e670-5779-a60f-bbc9a5bfb062", + "alias": "sa_repair_report", + "name": "Report repair result", + "description": "", + "body": { + "FunctionalExchange": { + "source": "9497e10f-04c4-5586-8738-2464a6f00bd4", + "target": "d75eb3fa-a27d-52d5-8782-8b342b3865f6", + "source_port": "994faed7-dbc8-5b96-9d62-7604ac0fbc3a", + "target_port": "391af7c4-b07d-53a7-8ddd-5c81461fc4f8", + "items": [ + "a962fc5e-3ab0-5296-8b0d-fd84633f9218" + ] + } + } + }, + "6a6d968f-26d6-5dbb-b721-5a27d362779a": { + "id": "6a6d968f-26d6-5dbb-b721-5a27d362779a", + "alias": "sa_request_then_repair", + "name": "Sequence link: Repair the valve", + "description": "", + "body": { + "SequenceLink": { + "source": "40d94322-baa2-5c81-b261-ff47cdc33782", + "target": "0f195fea-3493-5ebd-966d-da9eddeb05d7", + "guard": "" + } + } + }, + "6e2c1b47-764c-577a-b325-ff66dd2a2768": { + "id": "6e2c1b47-764c-577a-b325-ff66dd2a2768", + "alias": "sa_normal_transition", + "name": "State transition: Monitoring", + "description": "", + "body": { + "StateTransition": { + "source": "a6bb10b1-f1e5-5b31-8afd-5bad5a7b6c37", + "target": "8af21f9b-c21e-5aae-af0d-0958840f6655", + "transition_kind": "External", + "triggers": [], + "effects": [], + "trigger": "", + "guard": "repair confirmed and pressure is safe", + "effect": "" + } + } + }, + "725f2e1b-aa2c-5615-9b1f-28da178168fa": { + "id": "725f2e1b-aa2c-5615-9b1f-28da178168fa", + "alias": "sa_repair_allocation", + "name": "Allocation: Repair valve in the field", + "description": "", + "body": { + "Allocation": { + "source": "c05b9422-b9da-5de5-b21d-07ad23bd2b8a", + "target": "9497e10f-04c4-5586-8738-2464a6f00bd4" + } + } + }, + "76218d89-68fd-531d-b35b-90c5b769a5ef": { + "id": "76218d89-68fd-531d-b35b-90c5b769a5ef", + "alias": "oa_remote_path", + "name": "remote reset is authorized", + "description": "", + "body": { + "SequenceLink": { + "source": "b280c6ca-e5f9-5424-a5c1-5676e01c2371", + "target": "d2026fc2-74a8-5e22-9942-ff3eb68a3677", + "guard": "remote reset is authorized" + } + } + }, + "7fa37e63-db65-5aa7-88f2-31ff4347a787": { + "id": "7fa37e63-db65-5aa7-88f2-31ff4347a787", + "alias": "oa_assess_on_entry", + "name": "Assess when repair is needed", + "description": "", + "body": { + "StateAction": { + "source": "58c15833-6e75-523a-b57f-a88f19f6d672", + "target": "61f7bbfb-74a4-5540-9182-2583dfb27a49", + "phase": "Entry" + } + } + }, + "7fb30b1d-195c-5f0e-a19c-a536f519a899": { + "id": "7fb30b1d-195c-5f0e-a19c-a536f519a899", + "alias": "sa_repair_then_report", + "name": "Sequence link: Report the measured result", + "description": "", + "body": { + "SequenceLink": { + "source": "0f195fea-3493-5ebd-966d-da9eddeb05d7", + "target": "ea32e4ec-8bdc-57ea-8a90-7b09ba4f0eac", + "guard": "" + } + } + }, + "93474111-f23e-56c1-b61b-b7c2396b91bd": { + "id": "93474111-f23e-56c1-b61b-b7c2396b91bd", + "alias": "sa_repair_request", + "name": "Request field repair", + "description": "", + "body": { + "FunctionalExchange": { + "source": "dddae020-a444-5d48-acc8-139d2696a672", + "target": "9497e10f-04c4-5586-8738-2464a6f00bd4", + "source_port": "24a6850e-b819-57e0-af88-ca4ab76581b7", + "target_port": "d2113fb0-a531-54ef-9484-13951b00ab8f", + "items": [ + "a962fc5e-3ab0-5296-8b0d-fd84633f9218" + ] + } + } + }, + "93eaad8d-83b7-5980-b9bb-86c9e3f31da4": { + "id": "93eaad8d-83b7-5980-b9bb-86c9e3f31da4", + "alias": "sa_assessment_support", + "name": "Capability involvement: Assess an alarm", + "description": "", + "body": { + "CapabilityInvolvement": { + "source": "dddae020-a444-5d48-acc8-139d2696a672", + "target": "bad8fa7c-f634-55fd-98d3-e1eb2da05d8f" + } + } + }, + "9b9356d7-2db2-5a94-a47e-ea892cf02afe": { + "id": "9b9356d7-2db2-5a94-a47e-ea892cf02afe", + "alias": "sa_assess_allocation", + "name": "Allocation: Assess pressure alarm", + "description": "", + "body": { + "Allocation": { + "source": "435bf87c-73fd-5e4d-978a-4c471bc9eaf0", + "target": "dddae020-a444-5d48-acc8-139d2696a672" + } + } + }, + "9d4a131f-36ad-5125-b21f-c3dd033b8c82": { + "id": "9d4a131f-36ad-5125-b21f-c3dd033b8c82", + "alias": "sa_assess_then_decide", + "name": "Continue", + "description": "", + "body": { + "SequenceLink": { + "source": "9024243c-ccc1-5edb-8477-2aa16e5e9a50", + "target": "30c8fad9-a49b-5692-9542-3148e76afd7b", + "guard": "" + } + } + }, + "a0902e0f-3d18-576a-9aca-975a136dfdd7": { + "id": "a0902e0f-3d18-576a-9aca-975a136dfdd7", + "alias": "sa_mission_delivery", + "name": "Mission capability: Restore a safe supply", + "description": "", + "body": { + "MissionCapability": { + "source": "5ad034b1-084d-5273-9e70-971671766132", + "target": "81259051-370a-512d-a3b5-6420a6f933b6" + } + } + }, + "a6d5a6be-fa6e-5fa0-a309-08e87ba40c57": { + "id": "a6d5a6be-fa6e-5fa0-a309-08e87ba40c57", + "alias": "sa_assessment_delivery", + "name": "Chain involvement: Assess an alarm", + "description": "", + "body": { + "ChainInvolvement": { + "source": "acd5a018-f559-5298-a40d-1cf6e1353e74", + "target": "bad8fa7c-f634-55fd-98d3-e1eb2da05d8f" + } + } + }, + "a887f96a-37cb-5891-8070-011fa276e5b5": { + "id": "a887f96a-37cb-5891-8070-011fa276e5b5", + "alias": "sa_assess_on_entry", + "name": "Assess when repair is needed", + "description": "", + "body": { + "StateAction": { + "source": "a6bb10b1-f1e5-5b31-8afd-5bad5a7b6c37", + "target": "dddae020-a444-5d48-acc8-139d2696a672", + "phase": "Entry" + } + } + }, + "ae53f363-0dec-5a7c-9afd-8fcd1b778ab2": { + "id": "ae53f363-0dec-5a7c-9afd-8fcd1b778ab2", + "alias": "oa_repair_allocation", + "name": "Allocation: Repair valve in the field", + "description": "", + "body": { + "Allocation": { + "source": "e07c3952-4a1a-5cc7-b7d5-03a01101ce49", + "target": "a21465af-05f3-5fb5-8983-de26932422fb" + } + } + }, + "b436d0b3-c824-5a96-af6b-2c269816d1cc": { + "id": "b436d0b3-c824-5a96-af6b-2c269816d1cc", + "alias": "oa_repair_report", + "name": "Report repair result", + "description": "", + "body": { + "Interaction": { + "source": "a21465af-05f3-5fb5-8983-de26932422fb", + "target": "727c0b5c-8db6-5eb7-83d6-735519c5949f", + "items": [ + "d736c7d6-d369-550a-8ba4-dae223e40bb3" + ] + } + } + }, + "b76bf8de-2fa4-563f-a540-dd30f30e6c49": { + "id": "b76bf8de-2fa4-563f-a540-dd30f30e6c49", + "alias": "sa_confirm_allocation", + "name": "Allocation: Confirm safe pressure", + "description": "", + "body": { + "Allocation": { + "source": "435bf87c-73fd-5e4d-978a-4c471bc9eaf0", + "target": "d75eb3fa-a27d-52d5-8782-8b342b3865f6" + } + } + }, + "bac43d3b-910b-5bdc-be9b-f78cf973e1ed": { + "id": "bac43d3b-910b-5bdc-be9b-f78cf973e1ed", + "alias": "oa_remote_merge", + "name": "Continue", + "description": "", + "body": { + "SequenceLink": { + "source": "d2026fc2-74a8-5e22-9942-ff3eb68a3677", + "target": "6b945a6d-6aa0-5dd3-96e6-2e8d757d167d", + "guard": "" + } + } + }, + "bfd4326e-ea65-5269-b5e6-e063a355d1e9": { + "id": "bfd4326e-ea65-5269-b5e6-e063a355d1e9", + "alias": "oa_confirm_allocation", + "name": "Allocation: Confirm safe pressure", + "description": "", + "body": { + "Allocation": { + "source": "32aa9940-df6e-5a12-b9bd-6337e2d2ed22", + "target": "727c0b5c-8db6-5eb7-83d6-735519c5949f" + } + } + }, + "c1adbbd0-a762-5ee3-8b9a-5c18af377771": { + "id": "c1adbbd0-a762-5ee3-8b9a-5c18af377771", + "alias": "oa_field_path", + "name": "else", + "description": "", + "body": { + "SequenceLink": { + "source": "b280c6ca-e5f9-5424-a5c1-5676e01c2371", + "target": "fc6763bf-a534-54bf-afcd-57ab285ff07d", + "guard": "else" + } + } + }, + "c7c248f8-28b8-55be-9023-0991d44021e3": { + "id": "c7c248f8-28b8-55be-9023-0991d44021e3", + "alias": "oa_response_delivery", + "name": "Chain involvement: Restore a safe supply", + "description": "", + "body": { + "ChainInvolvement": { + "source": "58bae2b0-f560-50f2-818d-19091d22d18a", + "target": "3dfee23a-148b-5cec-ad2d-b774e84ea5bb" + } + } + }, + "c8196d35-2168-5fef-8b03-ba0d139bc00f": { + "id": "c8196d35-2168-5fef-8b03-ba0d139bc00f", + "alias": "oa_repair_then_report", + "name": "Sequence link: Report the measured result", + "description": "", + "body": { + "SequenceLink": { + "source": "c59432fe-6092-5ee0-908d-9dbf39476471", + "target": "df2fd3f8-6bc2-5380-a13f-36643ed35ac7", + "guard": "" + } + } + }, + "c8593670-8906-530f-b6a2-3ada77a9c219": { + "id": "c8593670-8906-530f-b6a2-3ada77a9c219", + "alias": "oa_field_merge", + "name": "Continue", + "description": "", + "body": { + "SequenceLink": { + "source": "fc6763bf-a534-54bf-afcd-57ab285ff07d", + "target": "6b945a6d-6aa0-5dd3-96e6-2e8d757d167d", + "guard": "" + } + } + }, + "cf423ea2-8b2e-5a27-93d4-5e8542d9db8d": { + "id": "cf423ea2-8b2e-5a27-93d4-5e8542d9db8d", + "alias": "oa_repair_request", + "name": "Request field repair", + "description": "", + "body": { + "Interaction": { + "source": "61f7bbfb-74a4-5540-9182-2583dfb27a49", + "target": "a21465af-05f3-5fb5-8983-de26932422fb", + "items": [ + "d736c7d6-d369-550a-8ba4-dae223e40bb3" + ] + } + } + }, + "d8b6710a-e713-5979-934f-e5ca7d155bb4": { + "id": "d8b6710a-e713-5979-934f-e5ca7d155bb4", + "alias": "sa_remote_path", + "name": "remote reset is authorized", + "description": "", + "body": { + "SequenceLink": { + "source": "30c8fad9-a49b-5692-9542-3148e76afd7b", + "target": "bfa2ef0b-ce68-55c2-a9e5-31ea8a74fce6", + "guard": "remote reset is authorized" + } + } + }, + "e21d9a54-ae8e-5618-a4f8-67ee22b92638": { + "id": "e21d9a54-ae8e-5618-a4f8-67ee22b92638", + "alias": "oa_include_triage", + "name": "Capability include: Assess an alarm", + "description": "", + "body": { + "CapabilityInclude": { + "source": "3dfee23a-148b-5cec-ad2d-b774e84ea5bb", + "target": "6a30b763-cc51-546d-907f-5c63657cfd03" + } + } + }, + "e5279265-8eac-52e8-98dc-571b20475e1f": { + "id": "e5279265-8eac-52e8-98dc-571b20475e1f", + "alias": "sa_remote_merge", + "name": "Continue", + "description": "", + "body": { + "SequenceLink": { + "source": "bfa2ef0b-ce68-55c2-a9e5-31ea8a74fce6", + "target": "4ed0dd9d-c9e0-5652-aedf-5f0ab4328a07", + "guard": "" + } + } + }, + "e53b7a40-e8a3-5b3f-826d-c2b5c164a84a": { + "id": "e53b7a40-e8a3-5b3f-826d-c2b5c164a84a", + "alias": "sa_port_report_out", + "name": "Port allocation: Report repair result output", + "description": "", + "body": { + "PortAllocation": { + "source": "e6d69cbd-99d7-596b-bbe3-dada6118a600", + "target": "994faed7-dbc8-5b96-9d62-7604ac0fbc3a" + } + } + }, + "f074e041-23cf-54ad-af9c-f171e30621e7": { + "id": "f074e041-23cf-54ad-af9c-f171e30621e7", + "alias": "sa_repair_interface_item", + "name": "Repair operation contract", + "description": "", + "body": { + "InterfaceItemAllocation": { + "source": "a4b8942e-a975-5f88-ad14-8f38c345baac", + "target": "a962fc5e-3ab0-5296-8b0d-fd84633f9218", + "order": 0, + "transmission": "Synchronous", + "acquisition": "Accept" + } + } + }, + "f3fe7690-734a-5877-8b57-a6599a4033c4": { + "id": "f3fe7690-734a-5877-8b57-a6599a4033c4", + "alias": "sa_include_triage", + "name": "Capability include: Assess an alarm", + "description": "", + "body": { + "CapabilityInclude": { + "source": "81259051-370a-512d-a3b5-6420a6f933b6", + "target": "bad8fa7c-f634-55fd-98d3-e1eb2da05d8f" + } + } + }, + "fbde9d5e-c7e9-55db-a2be-497345c491b3": { + "id": "fbde9d5e-c7e9-55db-a2be-497345c491b3", + "alias": "oa_alarm_transition", + "name": "State transition: Awaiting repair", + "description": "", + "body": { + "StateTransition": { + "source": "6cbde0d8-9f5f-510a-a8c1-e29cb99ad4ae", + "target": "58c15833-6e75-523a-b57f-a88f19f6d672", + "transition_kind": "External", + "triggers": [ + "65d6b8d6-271a-5c84-8b42-abbe310c955e" + ], + "effects": [], + "trigger": "", + "guard": "", + "effect": "" + } + } + }, + "ff9897b3-a23a-5994-a5b3-99a5b4d34ceb": { + "id": "ff9897b3-a23a-5994-a5b3-99a5b4d34ceb", + "alias": "sa_report_carriage", + "name": "Exchange allocation: Report repair result", + "description": "", + "body": { + "ExchangeAllocation": { + "source": "63009b5f-539e-5914-b630-ec6b7fefb4d5", + "target": "684eadc3-e670-5779-a60f-bbc9a5bfb062" + } + } + }, + "ffdbfcd0-d423-5707-a880-0dfbe1400f72": { + "id": "ffdbfcd0-d423-5707-a880-0dfbe1400f72", + "alias": "oa_assessment_support", + "name": "Capability involvement: Assess an alarm", + "description": "", + "body": { + "CapabilityInvolvement": { + "source": "61f7bbfb-74a4-5540-9182-2583dfb27a49", + "target": "6a30b763-cc51-546d-907f-5c63657cfd03" + } + } + } + }, + "diagrams": { + "00000000-0038-4000-8000-000000000001": { + "id": "00000000-0038-4000-8000-000000000001", + "alias": "issue38_representative_mixed", + "name": "Issue 38 representative eight-card mixed view", + "description": "Research approximation of screenshot positions; not recovered user source. Traceability inferred from OA Process with SA Functions. No authored routes inferred.", + "layer": "Sa", + "projection": "Traceability", + "view_options": { + "hidden_edges": [], + "relation_kinds": "All", + "work_categories": "All", + "participant_categories": "All", + "coverage": "All", + "work_contexts": "All", + "exchange_labels": "Name" + }, + "nodes": { + "00000000-0038-4000-8000-000000000101": { + "id": "00000000-0038-4000-8000-000000000101", + "alias": "issue38_oa_assessment_procedure", + "element": "022d3cfa-bbaf-5e13-924a-8e55099b8745", + "position": { + "x": 314.0, + "y": 40.0 + }, + "size": { + "width": 243.0, + "height": 101.0 + }, + "collapsed": false + }, + "00000000-0038-4000-8000-000000000102": { + "id": "00000000-0038-4000-8000-000000000102", + "alias": "issue38_sa_technician", + "element": "c05b9422-b9da-5de5-b21d-07ad23bd2b8a", + "position": { + "x": 1180.0, + "y": 18.0 + }, + "size": { + "width": 265.0, + "height": 143.0 + }, + "collapsed": false + }, + "00000000-0038-4000-8000-000000000103": { + "id": "00000000-0038-4000-8000-000000000103", + "alias": "issue38_sa_assess", + "element": "dddae020-a444-5d48-acc8-139d2696a672", + "position": { + "x": 54.0, + "y": 245.0 + }, + "size": { + "width": 265.0, + "height": 143.0 + }, + "collapsed": false + }, + "00000000-0038-4000-8000-000000000104": { + "id": "00000000-0038-4000-8000-000000000104", + "alias": "issue38_sa_control", + "element": "435bf87c-73fd-5e4d-978a-4c471bc9eaf0", + "position": { + "x": 736.0, + "y": 245.0 + }, + "size": { + "width": 265.0, + "height": 143.0 + }, + "collapsed": false + }, + "00000000-0038-4000-8000-000000000105": { + "id": "00000000-0038-4000-8000-000000000105", + "alias": "issue38_sa_repair", + "element": "9497e10f-04c4-5586-8738-2464a6f00bd4", + "position": { + "x": 1083.0, + "y": 343.0 + }, + "size": { + "width": 266.0, + "height": 143.0 + }, + "collapsed": false + }, + "00000000-0038-4000-8000-000000000106": { + "id": "00000000-0038-4000-8000-000000000106", + "alias": "issue38_sa_reset", + "element": "09342ccb-044b-5483-ac58-87dc3cf7831c", + "position": { + "x": 227.0, + "y": 516.0 + }, + "size": { + "width": 266.0, + "height": 119.0 + }, + "collapsed": false + }, + "00000000-0038-4000-8000-000000000107": { + "id": "00000000-0038-4000-8000-000000000107", + "alias": "issue38_oa_triage", + "element": "6a30b763-cc51-546d-907f-5c63657cfd03", + "position": { + "x": 1317.0, + "y": 581.0 + }, + "size": { + "width": 243.0, + "height": 103.0 + }, + "collapsed": false + }, + "00000000-0038-4000-8000-000000000108": { + "id": "00000000-0038-4000-8000-000000000108", + "alias": "issue38_sa_confirm", + "element": "d75eb3fa-a27d-52d5-8782-8b342b3865f6", + "position": { + "x": 227.0, + "y": 689.0 + }, + "size": { + "width": 266.0, + "height": 143.0 + }, + "collapsed": false + } + }, + "routes": [] + }, + "103ea62c-ac56-5827-94e7-cf09bca96ccc": { + "id": "103ea62c-ac56-5827-94e7-cf09bca96ccc", + "alias": "oa_allocation_view", + "name": "1 · OA responsibility and repair traffic", + "description": "Teaching view: positions and filters do not change ownership or exchange identities.", + "layer": "Oa", + "projection": "Allocation", + "view_options": { + "hidden_edges": [], + "relation_kinds": "All", + "work_categories": "All", + "participant_categories": "All", + "coverage": "All", + "work_contexts": "All", + "exchange_labels": "Name" + }, + "nodes": { + "202ebe37-ddb4-5099-8ce9-ec3e895ab9e9": { + "id": "202ebe37-ddb4-5099-8ce9-ec3e895ab9e9", + "alias": "oa_allocation_view_oa_repair", + "element": "a21465af-05f3-5fb5-8983-de26932422fb", + "position": { + "x": 890.0, + "y": 170.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "3191e05c-1c7f-5f0e-beb0-5f3bded54c48": { + "id": "3191e05c-1c7f-5f0e-beb0-5f3bded54c48", + "alias": "oa_allocation_view_oa_control", + "element": "32aa9940-df6e-5a12-b9bd-6337e2d2ed22", + "position": { + "x": 60.0, + "y": 80.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "5ae1c46d-59a3-50fd-8cc3-b292df21f951": { + "id": "5ae1c46d-59a3-50fd-8cc3-b292df21f951", + "alias": "oa_allocation_view_oa_assess", + "element": "61f7bbfb-74a4-5540-9182-2583dfb27a49", + "position": { + "x": 100.0, + "y": 170.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "7066f78c-9736-5349-b94a-0587331b980e": { + "id": "7066f78c-9736-5349-b94a-0587331b980e", + "alias": "oa_allocation_view_oa_reset", + "element": "d0c8be87-d238-503a-a549-7558a210507f", + "position": { + "x": 100.0, + "y": 330.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "d27f28ef-f10a-5355-9a05-6f2fd39b7de6": { + "id": "d27f28ef-f10a-5355-9a05-6f2fd39b7de6", + "alias": "oa_allocation_view_oa_technician", + "element": "e07c3952-4a1a-5cc7-b7d5-03a01101ce49", + "position": { + "x": 850.0, + "y": 80.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "edd74060-ac61-5450-a57c-a6577daa5d50": { + "id": "edd74060-ac61-5450-a57c-a6577daa5d50", + "alias": "oa_allocation_view_oa_confirm", + "element": "727c0b5c-8db6-5eb7-83d6-735519c5949f", + "position": { + "x": 100.0, + "y": 490.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + } + }, + "routes": [] + }, + "30d5baf9-6581-5cb6-846a-bcaa1e6cce63": { + "id": "30d5baf9-6581-5cb6-846a-bcaa1e6cce63", + "alias": "sa_state_view", + "name": "5 · SA pressure supervision", + "description": "Teaching view: positions and filters do not change ownership or exchange identities.", + "layer": "Sa", + "projection": { + "StateMachine": { + "machine": "132b3f28-3f88-5327-9868-8c8b645ed412" + } + }, + "view_options": { + "hidden_edges": [], + "relation_kinds": "All", + "work_categories": "All", + "participant_categories": "All", + "coverage": "All", + "work_contexts": "All", + "exchange_labels": "Name" + }, + "nodes": { + "55a74f91-2025-5001-8db8-9566b1dbe783": { + "id": "55a74f91-2025-5001-8db8-9566b1dbe783", + "alias": "sa_state_view_sa_monitor_region", + "element": "3ab11e24-4140-58fc-b3fa-da5f51c7fe2c", + "position": { + "x": 70.0, + "y": 95.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "57acbb71-ca86-57fc-ae90-42dad195f0e0": { + "id": "57acbb71-ca86-57fc-ae90-42dad195f0e0", + "alias": "sa_state_view_sa_waiting", + "element": "a6bb10b1-f1e5-5b31-8afd-5bad5a7b6c37", + "position": { + "x": 650.0, + "y": 200.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "5e2326a0-0f6c-5f8d-8a21-fdded18a9281": { + "id": "5e2326a0-0f6c-5f8d-8a21-fdded18a9281", + "alias": "sa_state_view_sa_monitor_initial", + "element": "57eb5348-14d8-560e-996a-8dbf993243e2", + "position": { + "x": 100.0, + "y": 200.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "a676fbb9-0833-59a8-98cf-a10d8f4b7434": { + "id": "a676fbb9-0833-59a8-98cf-a10d8f4b7434", + "alias": "sa_state_view_sa_monitor", + "element": "132b3f28-3f88-5327-9868-8c8b645ed412", + "position": { + "x": 30.0, + "y": 30.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "b3af7b04-5a45-5b82-ab69-7eada4b876f0": { + "id": "b3af7b04-5a45-5b82-ab69-7eada4b876f0", + "alias": "sa_state_view_sa_monitoring", + "element": "8af21f9b-c21e-5aae-af0d-0958840f6655", + "position": { + "x": 220.0, + "y": 200.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + } + }, + "routes": [] + }, + "35d3c24b-289e-59e5-a610-8333e2c6a4bb": { + "id": "35d3c24b-289e-59e5-a610-8333e2c6a4bb", + "alias": "sa_allocation_view", + "name": "2 · SA service boundary and functions", + "description": "Teaching view: positions and filters do not change ownership or exchange identities.", + "layer": "Sa", + "projection": "Allocation", + "view_options": { + "hidden_edges": [], + "relation_kinds": "All", + "work_categories": "All", + "participant_categories": "All", + "coverage": "All", + "work_contexts": "All", + "exchange_labels": "Name" + }, + "nodes": { + "34630a18-41b0-5fdd-bff4-ee86e93e8651": { + "id": "34630a18-41b0-5fdd-bff4-ee86e93e8651", + "alias": "sa_allocation_view_sa_repair", + "element": "9497e10f-04c4-5586-8738-2464a6f00bd4", + "position": { + "x": 890.0, + "y": 170.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "60f6ad74-b69e-5aef-b832-f1bd60b903ae": { + "id": "60f6ad74-b69e-5aef-b832-f1bd60b903ae", + "alias": "sa_allocation_view_sa_assess", + "element": "dddae020-a444-5d48-acc8-139d2696a672", + "position": { + "x": 100.0, + "y": 170.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "73406244-ebd7-5995-86c7-e17c73c50b32": { + "id": "73406244-ebd7-5995-86c7-e17c73c50b32", + "alias": "sa_allocation_view_sa_reset", + "element": "09342ccb-044b-5483-ac58-87dc3cf7831c", + "position": { + "x": 100.0, + "y": 330.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "7e3ba36f-bc68-5520-bdb9-77083bb7bba2": { + "id": "7e3ba36f-bc68-5520-bdb9-77083bb7bba2", + "alias": "sa_allocation_view_sa_confirm", + "element": "d75eb3fa-a27d-52d5-8782-8b342b3865f6", + "position": { + "x": 100.0, + "y": 490.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "8345c76a-8d85-5c31-902e-ec1cd33ed4a3": { + "id": "8345c76a-8d85-5c31-902e-ec1cd33ed4a3", + "alias": "sa_allocation_view_sa_control", + "element": "435bf87c-73fd-5e4d-978a-4c471bc9eaf0", + "position": { + "x": 60.0, + "y": 80.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "f7225d1c-e506-505d-bb20-916950269d4b": { + "id": "f7225d1c-e506-505d-bb20-916950269d4b", + "alias": "sa_allocation_view_sa_technician", + "element": "c05b9422-b9da-5de5-b21d-07ad23bd2b8a", + "position": { + "x": 850.0, + "y": 80.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + } + }, + "routes": [] + }, + "3e6ad194-61b5-584c-b0f0-a78a20af5781": { + "id": "3e6ad194-61b5-584c-b0f0-a78a20af5781", + "alias": "sa_capability_view", + "name": "4 · SA mission and included capability", + "description": "Teaching view: positions and filters do not change ownership or exchange identities.", + "layer": "Sa", + "projection": "Capabilities", + "view_options": { + "hidden_edges": [], + "relation_kinds": "All", + "work_categories": "All", + "participant_categories": "All", + "coverage": "All", + "work_contexts": "All", + "exchange_labels": "Name" + }, + "nodes": { + "069a3fb3-077c-59d8-91da-27b0665143c7": { + "id": "069a3fb3-077c-59d8-91da-27b0665143c7", + "alias": "sa_capability_view_sa_triage", + "element": "bad8fa7c-f634-55fd-98d3-e1eb2da05d8f", + "position": { + "x": 800.0, + "y": 260.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "41ddb68b-bd2b-5f91-82eb-efde01157828": { + "id": "41ddb68b-bd2b-5f91-82eb-efde01157828", + "alias": "sa_capability_view_sa_control", + "element": "435bf87c-73fd-5e4d-978a-4c471bc9eaf0", + "position": { + "x": 60.0, + "y": 60.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "4b814335-bf98-5b68-85d5-ea549766517a": { + "id": "4b814335-bf98-5b68-85d5-ea549766517a", + "alias": "sa_capability_view_sa_mission", + "element": "5ad034b1-084d-5273-9e70-971671766132", + "position": { + "x": 420.0, + "y": 60.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "d3bc13f9-7726-5280-83fe-63f391c45afb": { + "id": "d3bc13f9-7726-5280-83fe-63f391c45afb", + "alias": "sa_capability_view_sa_restore", + "element": "81259051-370a-512d-a3b5-6420a6f933b6", + "position": { + "x": 420.0, + "y": 260.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + } + }, + "routes": [] + }, + "50af4c9b-93ce-5ff5-a1f8-7a81eb97e779": { + "id": "50af4c9b-93ce-5ff5-a1f8-7a81eb97e779", + "alias": "sa_service_view", + "name": "3 · SA service conversation only", + "description": "Teaching view: positions and filters do not change ownership or exchange identities.", + "layer": "Sa", + "projection": "Allocation", + "view_options": { + "hidden_edges": [], + "relation_kinds": "All", + "work_categories": { + "Any": [] + }, + "participant_categories": { + "Any": [ + "781cbe75-410f-5cc5-aeb8-a43491f77b99" + ] + }, + "coverage": "All", + "work_contexts": "All", + "exchange_labels": "NameAndItems" + }, + "nodes": { + "40210589-69f7-5209-b329-10bb83cf615c": { + "id": "40210589-69f7-5209-b329-10bb83cf615c", + "alias": "sa_service_view_sa_technician", + "element": "c05b9422-b9da-5de5-b21d-07ad23bd2b8a", + "position": { + "x": 850.0, + "y": 80.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "439f1e45-e5ed-567c-978b-4c93ef267db1": { + "id": "439f1e45-e5ed-567c-978b-4c93ef267db1", + "alias": "sa_service_view_sa_assess", + "element": "dddae020-a444-5d48-acc8-139d2696a672", + "position": { + "x": 100.0, + "y": 170.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "6f138672-149b-5f88-ab07-7fc413a42262": { + "id": "6f138672-149b-5f88-ab07-7fc413a42262", + "alias": "sa_service_view_sa_confirm", + "element": "d75eb3fa-a27d-52d5-8782-8b342b3865f6", + "position": { + "x": 100.0, + "y": 490.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "ae36489d-6ec8-5f1c-b603-8b497227efba": { + "id": "ae36489d-6ec8-5f1c-b603-8b497227efba", + "alias": "sa_service_view_sa_repair", + "element": "9497e10f-04c4-5586-8738-2464a6f00bd4", + "position": { + "x": 890.0, + "y": 170.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "d52da4e6-40b7-5dbc-84fb-80c443711c69": { + "id": "d52da4e6-40b7-5dbc-84fb-80c443711c69", + "alias": "sa_service_view_sa_reset", + "element": "09342ccb-044b-5483-ac58-87dc3cf7831c", + "position": { + "x": 100.0, + "y": 330.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + }, + "f53d4352-b042-56a6-8b3e-c51cd27254f9": { + "id": "f53d4352-b042-56a6-8b3e-c51cd27254f9", + "alias": "sa_service_view_sa_control", + "element": "435bf87c-73fd-5e4d-978a-4c471bc9eaf0", + "position": { + "x": 60.0, + "y": 80.0 + }, + "size": { + "width": 245.0, + "height": 110.0 + }, + "collapsed": false + } + }, + "routes": [] + } + }, + "artifact_links": { + "f5922bf7-05d8-590f-86e9-1d09f37f4fa6": { + "id": "f5922bf7-05d8-590f-86e9-1d09f37f4fa6", + "alias": "repair_test_evidence", + "name": "Repair conversation acceptance notes", + "description": "A local teaching artifact, not proof of a real valve's safety.", + "owner": "730b27ca-b039-5a3b-8dc6-03418f9061b3", + "relation": "Verifies", + "uri": "evidence/repair-check.md", + "revision": "lesson-1", + "fragment": "acceptance" + } + }, + "traces": { + "0754be23-e4b8-53bc-b03c-89c2dbd80361": { + "id": "0754be23-e4b8-53bc-b03c-89c2dbd80361", + "alias": "trace_oa_waiting", + "name": "Awaiting repair ↔ Awaiting repair", + "description": "", + "oa": "58c15833-6e75-523a-b57f-a88f19f6d672", + "sa": "a6bb10b1-f1e5-5b31-8afd-5bad5a7b6c37", + "kind": "State", + "baseline": { + "oa": { + "name": "Awaiting repair", + "description": "" + }, + "sa": { + "name": "Awaiting repair", + "description": "" + } + } + }, + "07a7b82a-b5a7-5737-abfa-09e422f7420e": { + "id": "07a7b82a-b5a7-5737-abfa-09e422f7420e", + "alias": "trace_oa_start_monitoring", + "name": "State transition: Monitoring ↔ State transition: Monitoring", + "description": "", + "oa": "2b00270c-79a5-52a5-af96-33346bea531b", + "sa": "47730532-0372-5cc5-9d6d-0b8953aebdd8", + "kind": "Manual", + "baseline": { + "oa": { + "name": "State transition: Monitoring", + "description": "" + }, + "sa": { + "name": "State transition: Monitoring", + "description": "" + } + } + }, + "0c7c8a06-163e-5b3e-8a98-e66e2ce8963b": { + "id": "0c7c8a06-163e-5b3e-8a98-e66e2ce8963b", + "alias": "trace_oa_alarm_transition", + "name": "State transition: Awaiting repair ↔ State transition: Awaiting repair", + "description": "", + "oa": "fbde9d5e-c7e9-55db-a2be-497345c491b3", + "sa": "13c3bfa4-9254-5ab2-b96f-f65f402adf81", + "kind": "Manual", + "baseline": { + "oa": { + "name": "State transition: Awaiting repair", + "description": "" + }, + "sa": { + "name": "State transition: Awaiting repair", + "description": "" + } + } + }, + "0c9de959-d366-5765-98eb-450ea27bd316": { + "id": "0c9de959-d366-5765-98eb-450ea27bd316", + "alias": "trace_oa_merge", + "name": "Recovery path completed ↔ Recovery path completed", + "description": "", + "oa": "6b945a6d-6aa0-5dd3-96e6-2e8d757d167d", + "sa": "4ed0dd9d-c9e0-5652-aedf-5f0ab4328a07", + "kind": "Sequence", + "baseline": { + "oa": { + "name": "Recovery path completed", + "description": "" + }, + "sa": { + "name": "Recovery path completed", + "description": "" + } + } + }, + "0d905fbb-5b3c-56f0-9f11-a27091901eb0": { + "id": "0d905fbb-5b3c-56f0-9f11-a27091901eb0", + "alias": "trace_oa_pressure_parameter", + "name": "Pressure before / after repair ↔ Pressure before / after repair", + "description": "", + "oa": "8bc6d0a4-3e87-559b-8bd7-1b679a2db5b7", + "sa": "bb12ba5d-aab5-5a1b-99de-c767f5365b57", + "kind": "Item", + "baseline": { + "oa": { + "name": "Pressure before / after repair", + "description": "" + }, + "sa": { + "name": "Pressure before / after repair", + "description": "" + } + } + }, + "0fbef164-b5d3-58ba-ba41-54d0e63709ab": { + "id": "0fbef164-b5d3-58ba-ba41-54d0e63709ab", + "alias": "trace_oa_restore", + "name": "Restore a safe supply ↔ Restore a safe supply", + "description": "", + "oa": "3dfee23a-148b-5cec-ad2d-b774e84ea5bb", + "sa": "81259051-370a-512d-a3b5-6420a6f933b6", + "kind": "Capability", + "baseline": { + "oa": { + "name": "Restore a safe supply", + "description": "" + }, + "sa": { + "name": "Restore a safe supply", + "description": "" + } + } + }, + "12ec320f-2e14-5a5a-8c6b-bd2b6471dae9": { + "id": "12ec320f-2e14-5a5a-8c6b-bd2b6471dae9", + "alias": "trace_oa_monitoring", + "name": "Monitoring ↔ Monitoring", + "description": "", + "oa": "6cbde0d8-9f5f-510a-a8c1-e29cb99ad4ae", + "sa": "8af21f9b-c21e-5aae-af0d-0958840f6655", + "kind": "State", + "baseline": { + "oa": { + "name": "Monitoring", + "description": "" + }, + "sa": { + "name": "Monitoring", + "description": "" + } + } + }, + "154abfce-c311-52d1-85d1-3f4c85203b26": { + "id": "154abfce-c311-52d1-85d1-3f4c85203b26", + "alias": "trace_oa_confirm_step", + "name": "Confirm safe pressure ↔ Confirm safe pressure", + "description": "", + "oa": "e00594a3-6122-5a6b-b3c2-ecb5506c741d", + "sa": "47bec4f9-d6d0-5ed1-adca-fa0d960dc416", + "kind": "Sequence", + "baseline": { + "oa": { + "name": "Confirm safe pressure", + "description": "" + }, + "sa": { + "name": "Confirm safe pressure", + "description": "" + } + } + }, + "1b788e74-36b2-5c17-a936-642dbe51ca3c": { + "id": "1b788e74-36b2-5c17-a936-642dbe51ca3c", + "alias": "trace_oa_remote_merge", + "name": "Continue ↔ Continue", + "description": "", + "oa": "bac43d3b-910b-5bdc-be9b-f78cf973e1ed", + "sa": "e5279265-8eac-52e8-98dc-571b20475e1f", + "kind": "Manual", + "baseline": { + "oa": { + "name": "Continue", + "description": "" + }, + "sa": { + "name": "Continue", + "description": "" + } + } + }, + "208753e0-9151-50d8-86ca-29fc28eca80b": { + "id": "208753e0-9151-50d8-86ca-29fc28eca80b", + "alias": "trace_oa_monitor_region", + "name": "Supervision cycle ↔ Supervision cycle", + "description": "", + "oa": "8412e9c6-96fe-5ed6-a903-1d37ec3c3bf7", + "sa": "3ab11e24-4140-58fc-b3fa-da5f51c7fe2c", + "kind": "State", + "baseline": { + "oa": { + "name": "Supervision cycle", + "description": "" + }, + "sa": { + "name": "Supervision cycle", + "description": "" + } + } + }, + "241dfdac-2450-5704-a4cb-9f1047db1b6d": { + "id": "241dfdac-2450-5704-a4cb-9f1047db1b6d", + "alias": "trace_oa_caller", + "name": "Controller ↔ Controller", + "description": "", + "oa": "41859a65-ded2-547b-ab03-14e2fa740cf9", + "sa": "98c61788-2fee-51f4-8cf9-de48e8c70e9e", + "kind": "Scenario", + "baseline": { + "oa": { + "name": "Controller", + "description": "" + }, + "sa": { + "name": "Controller", + "description": "" + } + } + }, + "2e849e31-35aa-5aef-a989-26948038e52b": { + "id": "2e849e31-35aa-5aef-a989-26948038e52b", + "alias": "trace_oa_field_path", + "name": "else ↔ else", + "description": "", + "oa": "c1adbbd0-a762-5ee3-8b9a-5c18af377771", + "sa": "1bbd5957-1173-51d8-97e3-ba4f084227ae", + "kind": "Manual", + "baseline": { + "oa": { + "name": "else", + "description": "" + }, + "sa": { + "name": "else", + "description": "" + } + } + }, + "2fdcbc6f-526e-5a4e-bde5-314cf0cf3ef3": { + "id": "2fdcbc6f-526e-5a4e-bde5-314cf0cf3ef3", + "alias": "trace_oa_confirm_allocation", + "name": "Allocation: Confirm safe pressure ↔ Allocation: Confirm safe pressure", + "description": "", + "oa": "bfd4326e-ea65-5269-b5e6-e063a355d1e9", + "sa": "b76bf8de-2fa4-563f-a540-dd30f30e6c49", + "kind": "Manual", + "baseline": { + "oa": { + "name": "Allocation: Confirm safe pressure", + "description": "" + }, + "sa": { + "name": "Allocation: Confirm safe pressure", + "description": "" + } + } + }, + "3694c752-ba80-5702-a7d7-9cc66b6b01d8": { + "id": "3694c752-ba80-5702-a7d7-9cc66b6b01d8", + "alias": "trace_oa_conversation", + "name": "Repair request and measured reply ↔ Repair request and measured reply", + "description": "", + "oa": "20472233-5ce6-5ffe-b4ad-0bdbccf3e423", + "sa": "730b27ca-b039-5a3b-8dc6-03418f9061b3", + "kind": "Scenario", + "baseline": { + "oa": { + "name": "Repair request and measured reply", + "description": "" + }, + "sa": { + "name": "Repair request and measured reply", + "description": "" + } + } + }, + "3714d547-006f-5c3a-97f8-175ccc23d994": { + "id": "3714d547-006f-5c3a-97f8-175ccc23d994", + "alias": "trace_oa_repair_allocation", + "name": "Allocation: Repair valve in the field ↔ Allocation: Repair valve in the field", + "description": "", + "oa": "ae53f363-0dec-5a7c-9afd-8fcd1b778ab2", + "sa": "725f2e1b-aa2c-5615-9b1f-28da178168fa", + "kind": "Manual", + "baseline": { + "oa": { + "name": "Allocation: Repair valve in the field", + "description": "" + }, + "sa": { + "name": "Allocation: Repair valve in the field", + "description": "" + } + } + }, + "3a33de40-20a3-5252-899c-c12dc35e9783": { + "id": "3a33de40-20a3-5252-899c-c12dc35e9783", + "alias": "trace_oa_assessment_action", + "name": "Assess pressure alarm ↔ Assess pressure alarm", + "description": "", + "oa": "942975b8-0bef-5ae8-9fcb-c37497833fb0", + "sa": "bae5b192-5b8e-51c6-82ae-2331af0d33bf", + "kind": "Sequence", + "baseline": { + "oa": { + "name": "Assess pressure alarm", + "description": "" + }, + "sa": { + "name": "Assess pressure alarm", + "description": "" + } + } + }, + "3e7bde54-f9c1-549f-9e5b-2ce1ecb685a7": { + "id": "3e7bde54-f9c1-549f-9e5b-2ce1ecb685a7", + "alias": "trace_oa_repair_traffic", + "name": "Repair work exchanges ↔ Repair work exchanges", + "description": "", + "oa": "9349b353-53f2-56f8-b571-a05b09335cdf", + "sa": "a9a47e48-100c-57a8-95f0-7fe24da94f94", + "kind": "Manual", + "baseline": { + "oa": { + "name": "Repair work exchanges", + "description": "" + }, + "sa": { + "name": "Repair work exchanges", + "description": "" + } + } + }, + "424eca39-1c29-5a2f-b9ee-33dd018926aa": { + "id": "424eca39-1c29-5a2f-b9ee-33dd018926aa", + "alias": "trace_oa_repair_report", + "name": "Report repair result ↔ Report repair result", + "description": "", + "oa": "b436d0b3-c824-5a96-af6b-2c269816d1cc", + "sa": "684eadc3-e670-5779-a60f-bbc9a5bfb062", + "kind": "Exchange", + "baseline": { + "oa": { + "name": "Report repair result", + "description": "" + }, + "sa": { + "name": "Report repair result", + "description": "" + } + } + }, + "435bae4c-cf6d-59f3-9eb5-d660ebeec079": { + "id": "435bae4c-cf6d-59f3-9eb5-d660ebeec079", + "alias": "trace_oa_full_scenario", + "name": "Restore supply through field repair ↔ Restore supply through field repair", + "description": "", + "oa": "d6f881a4-95da-54e9-ad97-1b8965532629", + "sa": "f746a1cd-ff9f-55c0-b325-01c03d2f4fae", + "kind": "Scenario", + "baseline": { + "oa": { + "name": "Restore supply through field repair", + "description": "" + }, + "sa": { + "name": "Restore supply through field repair", + "description": "" + } + } + }, + "48d243f0-553f-507e-acb0-9474ae156b63": { + "id": "48d243f0-553f-507e-acb0-9474ae156b63", + "alias": "trace_oa_monitor_initial", + "name": "Start ↔ Start", + "description": "", + "oa": "a7ffb869-9dde-5e76-b276-c719c5c143a9", + "sa": "57eb5348-14d8-560e-996a-8dbf993243e2", + "kind": "State", + "baseline": { + "oa": { + "name": "Start", + "description": "" + }, + "sa": { + "name": "Start", + "description": "" + } + } + }, + "5309f955-53fd-5ff4-9c0a-91737e947341": { + "id": "5309f955-53fd-5ff4-9c0a-91737e947341", + "alias": "trace_oa_assess", + "name": "Assess pressure alarm ↔ Assess pressure alarm", + "description": "", + "oa": "61f7bbfb-74a4-5540-9182-2583dfb27a49", + "sa": "dddae020-a444-5d48-acc8-139d2696a672", + "kind": "Refinement", + "baseline": { + "oa": { + "name": "Assess pressure alarm", + "description": "" + }, + "sa": { + "name": "Assess pressure alarm", + "description": "" + } + } + }, + "595b5729-ccd9-5291-b5d9-30d8c8bd9dfa": { + "id": "595b5729-ccd9-5291-b5d9-30d8c8bd9dfa", + "alias": "trace_oa_reply", + "name": "Return pressure after repair ↔ Return pressure after repair", + "description": "", + "oa": "cc2d497a-fd15-5455-9ee5-e70eb95811d8", + "sa": "4e1c0a56-ce80-5f13-a93a-6956de54880c", + "kind": "Scenario", + "baseline": { + "oa": { + "name": "Return pressure after repair", + "description": "" + }, + "sa": { + "name": "Return pressure after repair", + "description": "" + } + } + }, + "5b96bfed-63e2-5d7f-b882-91e8b81f8efe": { + "id": "5b96bfed-63e2-5d7f-b882-91e8b81f8efe", + "alias": "trace_oa_assessment_delivery", + "name": "Chain involvement: Assess an alarm ↔ Chain involvement: Assess an alarm", + "description": "", + "oa": "628cb4fc-fe63-5f6b-b364-6268f26b5740", + "sa": "a6d5a6be-fa6e-5fa0-a309-08e87ba40c57", + "kind": "Manual", + "baseline": { + "oa": { + "name": "Chain involvement: Assess an alarm", + "description": "" + }, + "sa": { + "name": "Chain involvement: Assess an alarm", + "description": "" + } + } + }, + "6acd072d-431e-5881-ab20-1813b4fda0c5": { + "id": "6acd072d-431e-5881-ab20-1813b4fda0c5", + "alias": "trace_oa_triage", + "name": "Assess an alarm ↔ Assess an alarm", + "description": "", + "oa": "6a30b763-cc51-546d-907f-5c63657cfd03", + "sa": "bad8fa7c-f634-55fd-98d3-e1eb2da05d8f", + "kind": "Capability", + "baseline": { + "oa": { + "name": "Assess an alarm", + "description": "" + }, + "sa": { + "name": "Assess an alarm", + "description": "" + } + } + }, + "6ca4c78a-a5f2-5470-b401-732f5a8825d0": { + "id": "6ca4c78a-a5f2-5470-b401-732f5a8825d0", + "alias": "trace_oa_assessment_procedure", + "name": "Assess an alarm procedure ↔ Assess an alarm procedure", + "description": "", + "oa": "022d3cfa-bbaf-5e13-924a-8e55099b8745", + "sa": "acd5a018-f559-5298-a40d-1cf6e1353e74", + "kind": "Sequence", + "baseline": { + "oa": { + "name": "Assess an alarm procedure", + "description": "" + }, + "sa": { + "name": "Assess an alarm procedure", + "description": "" + } + } + }, + "6e13cf86-7242-5e33-8912-b037cf6e8c87": { + "id": "6e13cf86-7242-5e33-8912-b037cf6e8c87", + "alias": "trace_oa_assessment_support", + "name": "Capability involvement: Assess an alarm ↔ Capability involvement: Assess an alarm", + "description": "", + "oa": "ffdbfcd0-d423-5707-a880-0dfbe1400f72", + "sa": "93eaad8d-83b7-5980-b9bb-86c9e3f31da4", + "kind": "Manual", + "baseline": { + "oa": { + "name": "Capability involvement: Assess an alarm", + "description": "" + }, + "sa": { + "name": "Capability involvement: Assess an alarm", + "description": "" + } + } + }, + "70c90b0c-85ce-574a-a217-f0d19fad30e1": { + "id": "70c90b0c-85ce-574a-a217-f0d19fad30e1", + "alias": "trace_oa_response_delivery", + "name": "Chain involvement: Restore a safe supply ↔ Chain involvement: Restore a safe supply", + "description": "", + "oa": "c7c248f8-28b8-55be-9023-0991d44021e3", + "sa": "66efc484-53c7-51a3-89e9-422429344b38", + "kind": "Manual", + "baseline": { + "oa": { + "name": "Chain involvement: Restore a safe supply", + "description": "" + }, + "sa": { + "name": "Chain involvement: Restore a safe supply", + "description": "" + } + } + }, + "77073fcb-53aa-5f06-987a-0317cbb6971d": { + "id": "77073fcb-53aa-5f06-987a-0317cbb6971d", + "alias": "trace_oa_include_triage", + "name": "Capability include: Assess an alarm ↔ Capability include: Assess an alarm", + "description": "", + "oa": "e21d9a54-ae8e-5618-a4f8-67ee22b92638", + "sa": "f3fe7690-734a-5877-8b57-a6599a4033c4", + "kind": "Manual", + "baseline": { + "oa": { + "name": "Capability include: Assess an alarm", + "description": "" + }, + "sa": { + "name": "Capability include: Assess an alarm", + "description": "" + } + } + }, + "7a6b4b9c-4220-546a-a752-1587c2881fe1": { + "id": "7a6b4b9c-4220-546a-a752-1587c2881fe1", + "alias": "trace_oa_use_field", + "name": "Use the field repair procedure ↔ Use the field repair procedure", + "description": "", + "oa": "fc6763bf-a534-54bf-afcd-57ab285ff07d", + "sa": "d5e61c5d-510b-5091-a878-da46f3a9e152", + "kind": "Sequence", + "baseline": { + "oa": { + "name": "Use the field repair procedure", + "description": "" + }, + "sa": { + "name": "Use the field repair procedure", + "description": "" + } + } + }, + "82a5be1a-92a8-578d-9448-086062a20d8f": { + "id": "82a5be1a-92a8-578d-9448-086062a20d8f", + "alias": "trace_oa_reset", + "name": "Reset valve remotely ↔ Reset valve remotely", + "description": "", + "oa": "d0c8be87-d238-503a-a549-7558a210507f", + "sa": "09342ccb-044b-5483-ac58-87dc3cf7831c", + "kind": "Refinement", + "baseline": { + "oa": { + "name": "Reset valve remotely", + "description": "" + }, + "sa": { + "name": "Reset valve remotely", + "description": "" + } + } + }, + "82cca563-9d5d-5479-aa1a-9db03e9674d1": { + "id": "82cca563-9d5d-5479-aa1a-9db03e9674d1", + "alias": "trace_oa_restore_work", + "name": "Restore safe pressure ↔ Restore safe pressure", + "description": "", + "oa": "1b91f8a7-0bdb-514e-b1cd-955658e09927", + "sa": "58867e7d-916e-5ebc-9e4c-8dbed1314be3", + "kind": "Refinement", + "baseline": { + "oa": { + "name": "Restore safe pressure", + "description": "" + }, + "sa": { + "name": "Restore safe pressure", + "description": "" + } + } + }, + "8d693d90-5017-56af-b056-d29d3cb46baa": { + "id": "8d693d90-5017-56af-b056-d29d3cb46baa", + "alias": "trace_oa_mission_participant", + "name": "Mission involvement: Maintain safe water supply ↔ Mission involvement: Maintain safe water supply", + "description": "", + "oa": "0c4c9e58-ff32-5c00-b82a-d408a4be0183", + "sa": "1c1e5634-ba8c-591f-b143-90a27cdc6cd2", + "kind": "Manual", + "baseline": { + "oa": { + "name": "Mission involvement: Maintain safe water supply", + "description": "" + }, + "sa": { + "name": "Mission involvement: Maintain safe water supply", + "description": "" + } + } + }, + "98ef05b5-5381-5d35-a433-ebab55e9f382": { + "id": "98ef05b5-5381-5d35-a433-ebab55e9f382", + "alias": "trace_oa_reset_allocation", + "name": "Allocation: Reset valve remotely ↔ Allocation: Reset valve remotely", + "description": "", + "oa": "1853df1f-30f4-5b1a-baac-2dcaf73c7b3a", + "sa": "3cc9ab52-2b00-57fd-8709-aabc75e5d3e3", + "kind": "Manual", + "baseline": { + "oa": { + "name": "Allocation: Reset valve remotely", + "description": "" + }, + "sa": { + "name": "Allocation: Reset valve remotely", + "description": "" + } + } + }, + "a106d183-c239-5c9f-b1f1-141af19fc778": { + "id": "a106d183-c239-5c9f-b1f1-141af19fc778", + "alias": "trace_oa_confirm_path", + "name": "Continue ↔ Continue", + "description": "", + "oa": "229ee94f-d147-50f6-9769-b5bd0c03a084", + "sa": "1e738f27-a3a1-526d-b330-6384088b9689", + "kind": "Manual", + "baseline": { + "oa": { + "name": "Continue", + "description": "" + }, + "sa": { + "name": "Continue", + "description": "" + } + } + }, + "a5c1eb01-a95f-5f7a-9742-7f201493d7aa": { + "id": "a5c1eb01-a95f-5f7a-9742-7f201493d7aa", + "alias": "trace_oa_assess_then_decide", + "name": "Continue ↔ Continue", + "description": "", + "oa": "109e2d6b-7e86-5934-93a5-fab56eced84e", + "sa": "9d4a131f-36ad-5125-b21f-c3dd033b8c82", + "kind": "Manual", + "baseline": { + "oa": { + "name": "Continue", + "description": "" + }, + "sa": { + "name": "Continue", + "description": "" + } + } + }, + "aa164208-394d-5bc7-8462-b0043f682aad": { + "id": "aa164208-394d-5bc7-8462-b0043f682aad", + "alias": "trace_oa_mission_delivery", + "name": "Mission capability: Restore a safe supply ↔ Mission capability: Restore a safe supply", + "description": "", + "oa": "1f8b1898-65f6-5360-99cf-b78a71bd50ec", + "sa": "a0902e0f-3d18-576a-9aca-975a136dfdd7", + "kind": "Manual", + "baseline": { + "oa": { + "name": "Mission capability: Restore a safe supply", + "description": "" + }, + "sa": { + "name": "Mission capability: Restore a safe supply", + "description": "" + } + } + }, + "aba528ea-e396-582a-bfba-f6e2212d391a": { + "id": "aba528ea-e396-582a-bfba-f6e2212d391a", + "alias": "trace_oa_control", + "name": "Control room ↔ Pressure coordination service", + "description": "", + "oa": "32aa9940-df6e-5a12-b9bd-6337e2d2ed22", + "sa": "435bf87c-73fd-5e4d-978a-4c471bc9eaf0", + "kind": "Participant", + "baseline": { + "oa": { + "name": "Control room", + "description": "" + }, + "sa": { + "name": "Pressure coordination service", + "description": "" + } + } + }, + "ac3aa6b0-568e-5a3f-963a-172aa3cfc7a4": { + "id": "ac3aa6b0-568e-5a3f-963a-172aa3cfc7a4", + "alias": "trace_oa_repair_step", + "name": "Repair the valve ↔ Repair the valve", + "description": "", + "oa": "c59432fe-6092-5ee0-908d-9dbf39476471", + "sa": "0f195fea-3493-5ebd-966d-da9eddeb05d7", + "kind": "Sequence", + "baseline": { + "oa": { + "name": "Repair the valve", + "description": "" + }, + "sa": { + "name": "Repair the valve", + "description": "" + } + } + }, + "acdbee9c-5017-5154-804e-50801f0376ec": { + "id": "acdbee9c-5017-5154-804e-50801f0376ec", + "alias": "trace_oa_assess_allocation", + "name": "Allocation: Assess pressure alarm ↔ Allocation: Assess pressure alarm", + "description": "", + "oa": "594c61cd-94e0-5c07-890d-edfd520d7df9", + "sa": "9b9356d7-2db2-5a94-a47e-ea892cf02afe", + "kind": "Manual", + "baseline": { + "oa": { + "name": "Allocation: Assess pressure alarm", + "description": "" + }, + "sa": { + "name": "Allocation: Assess pressure alarm", + "description": "" + } + } + }, + "ad697c00-07d9-5799-89b3-2c78da8dff4d": { + "id": "ad697c00-07d9-5799-89b3-2c78da8dff4d", + "alias": "trace_oa_request_step", + "name": "Request the field repair ↔ Request the field repair", + "description": "", + "oa": "5ba8079c-2dbe-5e98-ae82-2b60c6020a02", + "sa": "40d94322-baa2-5c81-b261-ff47cdc33782", + "kind": "Sequence", + "baseline": { + "oa": { + "name": "Request the field repair", + "description": "" + }, + "sa": { + "name": "Request the field repair", + "description": "" + } + } + }, + "b13452bb-1a55-5ad6-b6d9-a37fb34e8d13": { + "id": "b13452bb-1a55-5ad6-b6d9-a37fb34e8d13", + "alias": "trace_oa_repair", + "name": "Repair valve in the field ↔ Repair valve in the field", + "description": "", + "oa": "a21465af-05f3-5fb5-8983-de26932422fb", + "sa": "9497e10f-04c4-5586-8738-2464a6f00bd4", + "kind": "Refinement", + "baseline": { + "oa": { + "name": "Repair valve in the field", + "description": "" + }, + "sa": { + "name": "Repair valve in the field", + "description": "" + } + } + }, + "b53863a2-ed80-5f98-ad3c-50e1b821066d": { + "id": "b53863a2-ed80-5f98-ad3c-50e1b821066d", + "alias": "trace_oa_monitor", + "name": "Pressure supervision ↔ Pressure supervision", + "description": "", + "oa": "1970608f-85d1-5234-ac86-5e2b0df27dc3", + "sa": "132b3f28-3f88-5327-9868-8c8b645ed412", + "kind": "State", + "baseline": { + "oa": { + "name": "Pressure supervision", + "description": "" + }, + "sa": { + "name": "Pressure supervision", + "description": "" + } + } + }, + "b97749d4-f9ad-5fb7-9d78-bc60a74e98eb": { + "id": "b97749d4-f9ad-5fb7-9d78-bc60a74e98eb", + "alias": "trace_oa_high_pressure", + "name": "Pressure alarm detected ↔ Pressure alarm detected", + "description": "", + "oa": "65d6b8d6-271a-5c84-8b42-abbe310c955e", + "sa": "01490fa8-2f01-5ac8-9722-d55d45414379", + "kind": "State", + "baseline": { + "oa": { + "name": "Pressure alarm detected", + "description": "" + }, + "sa": { + "name": "Pressure alarm detected", + "description": "" + } + } + }, + "bb72b2c2-6e32-5f65-9d8e-b33c1a65da37": { + "id": "bb72b2c2-6e32-5f65-9d8e-b33c1a65da37", + "alias": "trace_oa_field_procedure", + "name": "Field repair procedure ↔ Field repair procedure", + "description": "", + "oa": "5d3af417-244c-54bb-9588-16daedda4e1f", + "sa": "93eb6479-54e9-59cb-ac7b-16912347bfc0", + "kind": "Sequence", + "baseline": { + "oa": { + "name": "Field repair procedure", + "description": "" + }, + "sa": { + "name": "Field repair procedure", + "description": "" + } + } + }, + "bbf6f1a1-cb2b-5632-8ec0-bf4b8ef1a941": { + "id": "bbf6f1a1-cb2b-5632-8ec0-bf4b8ef1a941", + "alias": "trace_oa_decision", + "name": "Can a remote reset safely recover pressure? ↔ Can a remote reset safely recover pressure?", + "description": "", + "oa": "b280c6ca-e5f9-5424-a5c1-5676e01c2371", + "sa": "30c8fad9-a49b-5692-9542-3148e76afd7b", + "kind": "Sequence", + "baseline": { + "oa": { + "name": "Can a remote reset safely recover pressure?", + "description": "" + }, + "sa": { + "name": "Can a remote reset safely recover pressure?", + "description": "" + } + } + }, + "c132a0df-1270-55a8-ac4e-6e5075823dc1": { + "id": "c132a0df-1270-55a8-ac4e-6e5075823dc1", + "alias": "trace_oa_outer_technician", + "name": "Technician ↔ Technician", + "description": "", + "oa": "fffff882-78fd-5415-928d-c1ef7fac6576", + "sa": "155e4fe4-9e3b-5f4e-b886-28abcc3f086b", + "kind": "Scenario", + "baseline": { + "oa": { + "name": "Technician", + "description": "" + }, + "sa": { + "name": "Technician", + "description": "" + } + } + }, + "c47cf0b4-fe15-5175-bd62-5292e43adc39": { + "id": "c47cf0b4-fe15-5175-bd62-5292e43adc39", + "alias": "trace_oa_normal_transition", + "name": "State transition: Monitoring ↔ State transition: Monitoring", + "description": "", + "oa": "21fe5e8e-cbc2-5dad-b3e8-1df46e167d97", + "sa": "6e2c1b47-764c-577a-b325-ff66dd2a2768", + "kind": "Manual", + "baseline": { + "oa": { + "name": "State transition: Monitoring", + "description": "" + }, + "sa": { + "name": "State transition: Monitoring", + "description": "" + } + } + }, + "c5051628-b7af-5fb1-a014-bb60a0b46e03": { + "id": "c5051628-b7af-5fb1-a014-bb60a0b46e03", + "alias": "trace_oa_responder", + "name": "Technician ↔ Technician", + "description": "", + "oa": "fc81c5f0-0442-5b88-992b-e5b10f351c59", + "sa": "6249b54a-e396-5338-82b9-89266c55670d", + "kind": "Scenario", + "baseline": { + "oa": { + "name": "Technician", + "description": "" + }, + "sa": { + "name": "Technician", + "description": "" + } + } + }, + "c987bd0f-87f6-5550-945d-2a42450fe1c5": { + "id": "c987bd0f-87f6-5550-945d-2a42450fe1c5", + "alias": "trace_oa_mission", + "name": "Maintain safe water supply ↔ Maintain safe water supply", + "description": "", + "oa": "c9c61f50-06e0-5d17-973d-dcc57cd5cc90", + "sa": "5ad034b1-084d-5273-9e70-971671766132", + "kind": "Mission", + "baseline": { + "oa": { + "name": "Maintain safe water supply", + "description": "" + }, + "sa": { + "name": "Maintain safe water supply", + "description": "" + } + } + }, + "c9d65349-3400-58eb-8a55-57fa02de4b67": { + "id": "c9d65349-3400-58eb-8a55-57fa02de4b67", + "alias": "trace_oa_contact", + "name": "Technician service conversation ↔ Technician service conversation", + "description": "", + "oa": "27b47887-baf0-518b-bf87-f5acbf7d0b93", + "sa": "63009b5f-539e-5914-b630-ec6b7fefb4d5", + "kind": "Exchange", + "baseline": { + "oa": { + "name": "Technician service conversation", + "description": "" + }, + "sa": { + "name": "Technician service conversation", + "description": "" + } + } + }, + "cf92cedf-ea1a-510c-9bc5-89c16d60e8d2": { + "id": "cf92cedf-ea1a-510c-9bc5-89c16d60e8d2", + "alias": "trace_oa_repair_operation", + "name": "Valve repair ↔ Valve repair", + "description": "", + "oa": "d736c7d6-d369-550a-8ba4-dae223e40bb3", + "sa": "a962fc5e-3ab0-5296-8b0d-fd84633f9218", + "kind": "Item", + "baseline": { + "oa": { + "name": "Valve repair", + "description": "" + }, + "sa": { + "name": "Valve repair", + "description": "" + } + } + }, + "d32dd433-9c9e-5b57-9355-2970cc44a5f2": { + "id": "d32dd433-9c9e-5b57-9355-2970cc44a5f2", + "alias": "trace_oa_field_merge", + "name": "Continue ↔ Continue", + "description": "", + "oa": "c8593670-8906-530f-b6a2-3ada77a9c219", + "sa": "0f6ac3fb-4ad6-581e-ad14-336472072d5e", + "kind": "Manual", + "baseline": { + "oa": { + "name": "Continue", + "description": "" + }, + "sa": { + "name": "Continue", + "description": "" + } + } + }, + "d3626818-4846-5893-9c02-3407cdba7f3c": { + "id": "d3626818-4846-5893-9c02-3407cdba7f3c", + "alias": "trace_oa_response", + "name": "Handle a pressure alarm ↔ Handle a pressure alarm", + "description": "", + "oa": "58bae2b0-f560-50f2-818d-19091d22d18a", + "sa": "5139ce73-56fd-5875-ba3a-e569fc890231", + "kind": "Sequence", + "baseline": { + "oa": { + "name": "Handle a pressure alarm", + "description": "" + }, + "sa": { + "name": "Handle a pressure alarm", + "description": "" + } + } + }, + "d47d3c36-50fb-5189-b801-d6fd1694bd49": { + "id": "d47d3c36-50fb-5189-b801-d6fd1694bd49", + "alias": "trace_oa_technician", + "name": "Field technician ↔ Field technician", + "description": "", + "oa": "e07c3952-4a1a-5cc7-b7d5-03a01101ce49", + "sa": "c05b9422-b9da-5de5-b21d-07ad23bd2b8a", + "kind": "Participant", + "baseline": { + "oa": { + "name": "Field technician", + "description": "" + }, + "sa": { + "name": "Field technician", + "description": "" + } + } + }, + "d7773ff5-cef5-50c1-8f9d-c5659115e1f0": { + "id": "d7773ff5-cef5-50c1-8f9d-c5659115e1f0", + "alias": "trace_oa_confirm", + "name": "Confirm safe pressure ↔ Confirm safe pressure", + "description": "", + "oa": "727c0b5c-8db6-5eb7-83d6-735519c5949f", + "sa": "d75eb3fa-a27d-52d5-8782-8b342b3865f6", + "kind": "Refinement", + "baseline": { + "oa": { + "name": "Confirm safe pressure", + "description": "" + }, + "sa": { + "name": "Confirm safe pressure", + "description": "" + } + } + }, + "d9d47371-e98d-5d29-9df7-4de2d28a5c73": { + "id": "d9d47371-e98d-5d29-9df7-4de2d28a5c73", + "alias": "trace_oa_pressure", + "name": "Measured pressure ↔ Measured pressure", + "description": "", + "oa": "e7824764-5db9-5384-8198-2fbaea2b10b2", + "sa": "87d0a95b-af1b-5352-b753-e4c6533671a5", + "kind": "Item", + "baseline": { + "oa": { + "name": "Measured pressure", + "description": "" + }, + "sa": { + "name": "Measured pressure", + "description": "" + } + } + }, + "da8efc3c-78df-5b10-b2e5-1e28d6d99e86": { + "id": "da8efc3c-78df-5b10-b2e5-1e28d6d99e86", + "alias": "trace_oa_repair_request", + "name": "Request field repair ↔ Request field repair", + "description": "", + "oa": "cf423ea2-8b2e-5a27-93d4-5e8542d9db8d", + "sa": "93474111-f23e-56c1-b61b-b7c2396b91bd", + "kind": "Exchange", + "baseline": { + "oa": { + "name": "Request field repair", + "description": "" + }, + "sa": { + "name": "Request field repair", + "description": "" + } + } + }, + "e63b14d2-f408-56a2-aec4-be20cf4ace73": { + "id": "e63b14d2-f408-56a2-aec4-be20cf4ace73", + "alias": "trace_oa_report_step", + "name": "Report the measured result ↔ Report the measured result", + "description": "", + "oa": "df2fd3f8-6bc2-5380-a13f-36643ed35ac7", + "sa": "ea32e4ec-8bdc-57ea-8a90-7b09ba4f0eac", + "kind": "Sequence", + "baseline": { + "oa": { + "name": "Report the measured result", + "description": "" + }, + "sa": { + "name": "Report the measured result", + "description": "" + } + } + }, + "e848da41-445e-5e3c-8b4e-ef53fdddf1e1": { + "id": "e848da41-445e-5e3c-8b4e-ef53fdddf1e1", + "alias": "trace_oa_assess_step", + "name": "Assess the alarm ↔ Assess the alarm", + "description": "", + "oa": "0b07b9ed-492d-57f6-b0b1-ce8a709238a7", + "sa": "9024243c-ccc1-5edb-8477-2aa16e5e9a50", + "kind": "Sequence", + "baseline": { + "oa": { + "name": "Assess the alarm", + "description": "" + }, + "sa": { + "name": "Assess the alarm", + "description": "" + } + } + }, + "e96ff119-bb4d-5fd9-9ab7-2ede0d3fd418": { + "id": "e96ff119-bb4d-5fd9-9ab7-2ede0d3fd418", + "alias": "trace_oa_contact_category", + "name": "Field contact ↔ Field contact", + "description": "", + "oa": "19bd3a3a-4d0c-56d5-bf50-a6b43fd81771", + "sa": "781cbe75-410f-5cc5-aeb8-a43491f77b99", + "kind": "Manual", + "baseline": { + "oa": { + "name": "Field contact", + "description": "" + }, + "sa": { + "name": "Field contact", + "description": "" + } + } + }, + "eee79ec1-41d7-5374-986e-995a56b9026f": { + "id": "eee79ec1-41d7-5374-986e-995a56b9026f", + "alias": "trace_oa_remote_path", + "name": "remote reset is authorized ↔ remote reset is authorized", + "description": "", + "oa": "76218d89-68fd-531d-b35b-90c5b769a5ef", + "sa": "d8b6710a-e713-5979-934f-e5ca7d155bb4", + "kind": "Manual", + "baseline": { + "oa": { + "name": "remote reset is authorized", + "description": "" + }, + "sa": { + "name": "remote reset is authorized", + "description": "" + } + } + }, + "f0cc86e5-f8fd-5091-a40d-dbfb6515072f": { + "id": "f0cc86e5-f8fd-5091-a40d-dbfb6515072f", + "alias": "trace_oa_call", + "name": "Request valve repair ↔ Request valve repair", + "description": "", + "oa": "b97437c6-cd7a-5a05-b537-b30a17dd936a", + "sa": "8bab4783-a098-5984-9e36-493957caf26c", + "kind": "Scenario", + "baseline": { + "oa": { + "name": "Request valve repair", + "description": "" + }, + "sa": { + "name": "Request valve repair", + "description": "" + } + } + }, + "f2b7050c-629d-533f-b873-bffc33e072f7": { + "id": "f2b7050c-629d-533f-b873-bffc33e072f7", + "alias": "trace_oa_request_then_repair", + "name": "Sequence link: Repair the valve ↔ Sequence link: Repair the valve", + "description": "", + "oa": "3f54d890-4ca5-5e36-873b-abb5c92d578c", + "sa": "6a6d968f-26d6-5dbb-b721-5a27d362779a", + "kind": "Manual", + "baseline": { + "oa": { + "name": "Sequence link: Repair the valve", + "description": "" + }, + "sa": { + "name": "Sequence link: Repair the valve", + "description": "" + } + } + }, + "f5733d3f-eee3-5cf7-a422-5edd2054d6a6": { + "id": "f5733d3f-eee3-5cf7-a422-5edd2054d6a6", + "alias": "trace_oa_use_conversation", + "name": "Use the reviewed repair conversation ↔ Use the reviewed repair conversation", + "description": "", + "oa": "9ff94014-afa1-50ab-a4d3-8e9dd0565cc5", + "sa": "1c9da843-e2d3-5591-8e3f-db083a42867e", + "kind": "Scenario", + "baseline": { + "oa": { + "name": "Use the reviewed repair conversation", + "description": "" + }, + "sa": { + "name": "Use the reviewed repair conversation", + "description": "" + } + } + }, + "f8d34715-1dc8-504b-acdf-78b770aad1e8": { + "id": "f8d34715-1dc8-504b-acdf-78b770aad1e8", + "alias": "trace_oa_repair_then_report", + "name": "Sequence link: Report the measured result ↔ Sequence link: Report the measured result", + "description": "", + "oa": "c8196d35-2168-5fef-8b03-ba0d139bc00f", + "sa": "7fb30b1d-195c-5f0e-a19c-a536f519a899", + "kind": "Manual", + "baseline": { + "oa": { + "name": "Sequence link: Report the measured result", + "description": "" + }, + "sa": { + "name": "Sequence link: Report the measured result", + "description": "" + } + } + }, + "fb02420d-b066-5773-87c1-198a056e0731": { + "id": "fb02420d-b066-5773-87c1-198a056e0731", + "alias": "trace_oa_assess_on_entry", + "name": "Assess when repair is needed ↔ Assess when repair is needed", + "description": "", + "oa": "7fa37e63-db65-5aa7-88f2-31ff4347a787", + "sa": "a887f96a-37cb-5891-8070-011fa276e5b5", + "kind": "Manual", + "baseline": { + "oa": { + "name": "Assess when repair is needed", + "description": "" + }, + "sa": { + "name": "Assess when repair is needed", + "description": "" + } + } + }, + "fd195498-dbba-523b-94d0-49f3b9531a3e": { + "id": "fd195498-dbba-523b-94d0-49f3b9531a3e", + "alias": "trace_oa_outer_controller", + "name": "Controller ↔ Controller", + "description": "", + "oa": "2011b3ac-614b-5a47-8891-7ff81965f425", + "sa": "1edfcf9e-9bfa-51f1-80d5-62b8fd8bb023", + "kind": "Scenario", + "baseline": { + "oa": { + "name": "Controller", + "description": "" + }, + "sa": { + "name": "Controller", + "description": "" + } + } + }, + "ff84fc06-6f99-5cf3-b73d-236e9eff98a3": { + "id": "ff84fc06-6f99-5cf3-b73d-236e9eff98a3", + "alias": "trace_oa_reset_step", + "name": "Try the authorized remote reset ↔ Try the authorized remote reset", + "description": "", + "oa": "d2026fc2-74a8-5e22-9942-ff3eb68a3677", + "sa": "bfa2ef0b-ce68-55c2-a9e5-31ea8a74fce6", + "kind": "Sequence", + "baseline": { + "oa": { + "name": "Try the authorized remote reset", + "description": "" + }, + "sa": { + "name": "Try the authorized remote reset", + "description": "" + } + } + } + } +} \ No newline at end of file diff --git a/harness/experiments/focus-optical-20261001/plan.md b/harness/experiments/focus-optical-20261001/plan.md new file mode 100644 index 00000000..e5aee40c --- /dev/null +++ b/harness/experiments/focus-optical-20261001/plan.md @@ -0,0 +1,110 @@ +# Two-axis Focus optical experiment — predeclared plan + +Status: experiment plan before implementation/native observation, 2026-10-01 +PDT. Session 01a0d717/root owns this bounded part of [issue 38](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/issues/38), claim comment1437. The isolated branch is +`codex/focus-workspace-experiment-01a0d717-20261001`, now based on published +save-diagnostics handoff `bc69c6d449641fc4395feae0d8373f62257c763c`. +[PROJECT_GOAL.md](../../../PROJECT_GOAL.md) is authoritative. This experiment +cannot close dense-diagram usability or accept an editable workspace. + +## Question, alternatives and decision + +Does recovering both width and height materially improve complete-scene reading +at the same native window/DPI while retaining every model/diagram record and the +current renderer? The prior restricted route generator, one-line association cue +and E/F multiline label experiments remain distinct negative evidence, published +on their own branches. Their code is excluded here. + +A width-only trial is rejected for this question: checked historical routed +bounds1506x814 and viewport826x534 predict only about16% Fit gain after both docks +are hidden, because height then limits Fit. A hand-built blank-panel Baseline +is rejected as the primary comparator because wrapping real chrome affects +available height. Changing labels/routes, omitting relations, auto-layout or +selected highlighting cannot answer this question and is excluded. + +Choose an explicitly opted-in private, read-only Iced runner in the existing +binary. Reuse DiagramCanvas::draw with fresh optical state; do not call its +interactive update or production App::update/subscription. Freeze a validated +Project and use App::with_project only as a presentation fixture for existing +Baseline chrome. Baseline retains the actual body, task navigation, tool rows, +docks, palette state and footer. Only the header action area may be replaced +with same-height experiment controls; measure/document this deviation. Focus +uses a compact visible header and status row with a full two-axis canvas. +The renderer, projected/routed scene, labels, ports, authored metadata and model +must remain identical. Normal launch keeps its existing application path. + +Controls: Baseline/Focus, Fit and explicit measurement capture. No model editing, +hover assistance, selection, manual camera, save/history/navigation integration +is claimed. Inert chrome must exclude input before child dispatch, not merely +drop resulting messages. Camera and measured size are privately owned and stamped +per layout generation; reject stale, nonfinite, zero and repeated measurements. +An unmeasured layout is visibly pending rather than using a guessed viewport. + +## Fixed fixtures and admission + +Admit source bytes before launch and compare them again after normal exit. +Every case runs against the complete unmodified Project, not a label-drag saved +derivative. The optical runner rejects absent/scenario diagrams; compare complete +Project after its Document construction, and preserve input bytes in the evidence. +Errors/warnings are inventoried rather than silently repaired. + +| Case | Exact JSON / SHA-256 | Saved Architecture diagram | +| --- | --- | --- | +| Complete mixed case | [eight-card.json](eight-card.json), 138661bytes; `9db1015369f450d5810c96a01fddb8a009d57f6aafbda5182703f15ded23d9c8` | `00000000-0038-4000-8000-000000000001`: eight visible cards,12 relations; actual projected ports/edge kinds recorded at admission | +| Unrelated nested OA | `examples/routing-workshop.json`, 100281bytes; `8592714f75b271133f21ce017d87896b6cf91ea0e4837f1c2ed453e21be26b14` | `945a7c88-a352-5028-b808-73d852e5abe6`:12 authored placements; actual projected nested contents recorded | +| Unrelated nested SA | Same exact routing-workshop Project | `cb21862d-79e1-5a9d-bdf0-ee344c2fb219`:12 authored placements; actual projected nested contents recorded | +| Small ordinary view | `examples/coastal-rescue.json`, 49715bytes; `242f0b031229a87af5c4ebe5d651defe59c191a6b7a69dc0a77f7e203411f195` | `487c064d-df33-45f2-b4b7-6dd68d7b601f`: OA functional dataflow,3 authored placements | + +These are existing examples plus the unchanged previously published representative +case, not the user's unknown original eight-card model. They contain no named +DataAssociation ends. Native end-label coverage is a recorded gap; it cannot be +inferred from these cases. Do not claim broad projection, font, DPI or accessibility +coverage. A later product decision must expand the fixture set appropriately. + +## Evaluators and stopping rules + +1. Before native work, test the Fit formula against production margins/clamp, + both limiting axes, offsets/empty scenes; stale/repeated sizing; and input + exclusion using a spy widget. Mouse/button/wheel, keyboard/modifiers, touch, + IME and window events other than allowed redraws cannot reach inert children. + Draw-only canvas cannot publish actions, select, mutate gesture state or show + interactive mouse feedback. No production reducer is reachable from the rig. +2. Native Windows comparison uses the same pinned binary/runtime, fixture, client + size and observed DPI. Begin at Baseline Fit, capture settled measurements, + Focus Fit and Baseline return. Record viewport, exact zoom/pan, routed bounds, + scene counts, projection, palette/selection state, screenshot and process logs. + Require complete full-scene containment at Fit, readable experiment controls, + normal exit and unchanged inputs. Resizing must reject old measurements and + update Fit without looping. Ordinary opt-out launch must still show its Home. +3. Exact whole Project, projected view, route point sequences/labels/end geometry + and complete production SVG must be equal across Baseline/Focus/return and + captures. Compare full values/bytes, not selected properties. Independently + check Fit arithmetic from recorded viewport/bounds. A provisional0.85 Fit + target on the complete mixed case is only an optical feasibility discriminator; + magnification gain is not readability acceptance. +4. A reader without semantic answer-key/earlier-image exposure receives only the + complete settled image and neutral questions: identify critical functional + exchange endpoints/direction, the conversation participants and whether it + has direction, ordinary versus port allocations, and port owners. Record exact + answers, confidence, competing plausible ownership, illegible names and time + before hover/selection/manual zoom. The key is withheld. Use Focus first for + this new reading, while earlier Baseline first-reading results retain their + original reader/build scope; this is not a randomized causal comparison. + If no fresh reader is available, report that gap and do not claim a fresh pass. +5. A wrong critical association or unresolved competing ownership rejects Focus + as a sufficient remedy even if scale improves. Larger text may remain a useful + workspace hypothesis. Follow-up should address semantic distinction/shared + stroke ownership rather than polish chrome or retune another label offset. + An exposed parent's reading is assisted inspection only. A single agent is + not a system-engineer study or general OA/SA acceptance. +6. Independent review covers source boundaries, invariants, evaluator adequacy, + actual measurements/conservation, discrepancies and limitations. Archive useful + results/failed probes with reproducible commands, exact source and raw evidence. + No production promotion, issue closure, packaged release or editable-workspace + claim follows from this experiment alone. + +Editable promotion, if justified later, separately requires retained draft/caret/ +widget/focus/input state, tools/held-gesture retirement, manual camera/Fit, +pending-navigation and stale release barriers, Undo/Redo/Save/reopen and direct +native review. Coordinate with peer-owned #43; no current ownership is reassigned. +Linux/WSL remains user-deferred.