Record native lifecycle checks and centralize live planning

This commit is contained in:
2026-09-11 10:22:50 -07:00
parent fe8364e7eb
commit 7831abeed5
135 changed files with 10178 additions and 176 deletions
@@ -0,0 +1,156 @@
[
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-cjk-sa-create-selected-wide-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-cjk-sa-create-selected-wide-100.jpg",
"sourceBytes": 175454,
"destinationBytes": 175454,
"sourceSha256": "2933CE4478B01AD9A7ACF54328A2A1996654603D486ACCBA14775EC31EF4BFE9",
"sourceReadbackSha256": "2933CE4478B01AD9A7ACF54328A2A1996654603D486ACCBA14775EC31EF4BFE9",
"destinationSha256": "2933CE4478B01AD9A7ACF54328A2A1996654603D486ACCBA14775EC31EF4BFE9",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-cjk-sa-header-selected-wide-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-cjk-sa-header-selected-wide-100.jpg",
"sourceBytes": 164799,
"destinationBytes": 164799,
"sourceSha256": "47D88ABAFA3AD8F6C9AFBDE4B1715305D5224676EBF1C1E96ADEA28CFA2FBE12",
"sourceReadbackSha256": "47D88ABAFA3AD8F6C9AFBDE4B1715305D5224676EBF1C1E96ADEA28CFA2FBE12",
"destinationSha256": "47D88ABAFA3AD8F6C9AFBDE4B1715305D5224676EBF1C1E96ADEA28CFA2FBE12",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-cjk-sa-wide-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-cjk-sa-wide-100.jpg",
"sourceBytes": 146098,
"destinationBytes": 146098,
"sourceSha256": "01B50A30ABE4EEADAF650466689F8CC5BFF863D38847FA0187FAFE2B068D42B6",
"sourceReadbackSha256": "01B50A30ABE4EEADAF650466689F8CC5BFF863D38847FA0187FAFE2B068D42B6",
"destinationSha256": "01B50A30ABE4EEADAF650466689F8CC5BFF863D38847FA0187FAFE2B068D42B6",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-latin-oa-create-selected-min-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-latin-oa-create-selected-min-100.jpg",
"sourceBytes": 107857,
"destinationBytes": 107857,
"sourceSha256": "3EB8E38F3265A8EFB88B05CCCB189A1F63FB0425B0FB2F84AF5AB5F01ABA5607",
"sourceReadbackSha256": "3EB8E38F3265A8EFB88B05CCCB189A1F63FB0425B0FB2F84AF5AB5F01ABA5607",
"destinationSha256": "3EB8E38F3265A8EFB88B05CCCB189A1F63FB0425B0FB2F84AF5AB5F01ABA5607",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-latin-oa-create-selected-min-51.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-latin-oa-create-selected-min-51.jpg",
"sourceBytes": 97530,
"destinationBytes": 97530,
"sourceSha256": "67E861B7275D01F1338B773A86041F6696A1B889007CEE4CAF7EB4ADD715508C",
"sourceReadbackSha256": "67E861B7275D01F1338B773A86041F6696A1B889007CEE4CAF7EB4ADD715508C",
"destinationSha256": "67E861B7275D01F1338B773A86041F6696A1B889007CEE4CAF7EB4ADD715508C",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-latin-oa-header-overflow-min-80.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-latin-oa-header-overflow-min-80.jpg",
"sourceBytes": 104939,
"destinationBytes": 104939,
"sourceSha256": "1F524379D4097F27413FA104D10C74CC21338779EB0D7A080119BB4A09AC31AD",
"sourceReadbackSha256": "1F524379D4097F27413FA104D10C74CC21338779EB0D7A080119BB4A09AC31AD",
"destinationSha256": "1F524379D4097F27413FA104D10C74CC21338779EB0D7A080119BB4A09AC31AD",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-latin-oa-header-selected-min-51.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-latin-oa-header-selected-min-51.jpg",
"sourceBytes": 97889,
"destinationBytes": 97889,
"sourceSha256": "021CE1ABAA830868BFE19FBACF8C834E9D7329FE7C7BAE4D419E9EC51E68BE22",
"sourceReadbackSha256": "021CE1ABAA830868BFE19FBACF8C834E9D7329FE7C7BAE4D419E9EC51E68BE22",
"destinationSha256": "021CE1ABAA830868BFE19FBACF8C834E9D7329FE7C7BAE4D419E9EC51E68BE22",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-latin-oa-min-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-latin-oa-min-100.jpg",
"sourceBytes": 103939,
"destinationBytes": 103939,
"sourceSha256": "B1592F3C8A33EB13654A94FDDC9B966A906D25ACA14C30018B53A8B33E2A78C6",
"sourceReadbackSha256": "B1592F3C8A33EB13654A94FDDC9B966A906D25ACA14C30018B53A8B33E2A78C6",
"destinationSha256": "B1592F3C8A33EB13654A94FDDC9B966A906D25ACA14C30018B53A8B33E2A78C6",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-latin-oa-min-51.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-latin-oa-min-51.jpg",
"sourceBytes": 97424,
"destinationBytes": 97424,
"sourceSha256": "E7F6DD6F727695F0D72948FA592B5FE1E1AFA106E111D9DD0764CD179E16A101",
"sourceReadbackSha256": "E7F6DD6F727695F0D72948FA592B5FE1E1AFA106E111D9DD0764CD179E16A101",
"destinationSha256": "E7F6DD6F727695F0D72948FA592B5FE1E1AFA106E111D9DD0764CD179E16A101",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-latin-oa-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-latin-oa-min-fit.jpg",
"sourceBytes": 100534,
"destinationBytes": 100534,
"sourceSha256": "9689D10FF405CFD85CE4E69842C33859E9FC2A622A1096E7E1FF3F11CAA542AE",
"sourceReadbackSha256": "9689D10FF405CFD85CE4E69842C33859E9FC2A622A1096E7E1FF3F11CAA542AE",
"destinationSha256": "9689D10FF405CFD85CE4E69842C33859E9FC2A622A1096E7E1FF3F11CAA542AE",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-latin-oa-wide-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-latin-oa-wide-100.jpg",
"sourceBytes": 175337,
"destinationBytes": 175337,
"sourceSha256": "C025CE484C8807C9D0B1A87534EE2B85D89088DC6EE69A5124B38C983FCB9DEE",
"sourceReadbackSha256": "C025CE484C8807C9D0B1A87534EE2B85D89088DC6EE69A5124B38C983FCB9DEE",
"destinationSha256": "C025CE484C8807C9D0B1A87534EE2B85D89088DC6EE69A5124B38C983FCB9DEE",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-latin-oa-wide-195.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-latin-oa-wide-195.jpg",
"sourceBytes": 198013,
"destinationBytes": 198013,
"sourceSha256": "F23F56F5FE040352FA6962F75075EFE225A626B747CEE98DEF876DAAFA221C88",
"sourceReadbackSha256": "F23F56F5FE040352FA6962F75075EFE225A626B747CEE98DEF876DAAFA221C88",
"destinationSha256": "F23F56F5FE040352FA6962F75075EFE225A626B747CEE98DEF876DAAFA221C88",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/ytr83r-scaled-workspace-test-let-chain-status.json",
"destinationRelativePath": "ytr83r-scaled-workspace-test-let-chain-status.json",
"sourceBytes": 550,
"destinationBytes": 550,
"sourceSha256": "DC06DCF0151936E5D8B28BA2962F2226D1301832194841961D1E4C16D0BDB6C7",
"sourceReadbackSha256": "DC06DCF0151936E5D8B28BA2962F2226D1301832194841961D1E4C16D0BDB6C7",
"destinationSha256": "DC06DCF0151936E5D8B28BA2962F2226D1301832194841961D1E4C16D0BDB6C7",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/ytr83r-scaled-workspace-test-let-chain.log",
"destinationRelativePath": "ytr83r-scaled-workspace-test-let-chain.log",
"sourceBytes": 507,
"destinationBytes": 507,
"sourceSha256": "17FC59C4A00C1B3E37E6EFAEA5377E47E32D1284CCF5B0DA69B8A649280A4F3E",
"sourceReadbackSha256": "17FC59C4A00C1B3E37E6EFAEA5377E47E32D1284CCF5B0DA69B8A649280A4F3E",
"destinationSha256": "17FC59C4A00C1B3E37E6EFAEA5377E47E32D1284CCF5B0DA69B8A649280A4F3E",
"sourceUnchanged": true,
"byteExact": true
}
]
@@ -0,0 +1,14 @@
{
"copyCompletedUtc": "2026-09-11T17:14:21.6163102Z",
"secondReadbackUtc": "2026-09-11T17:14:22.0424380Z",
"payloadFileCount": 14,
"payloadBytes": 1570870.0,
"screenshotCount": 12,
"inputDiscrepancies": [],
"copyDiscrepancies": [],
"exactPayloadInventory": true,
"secondReadbackHashMatches": true,
"inventoryDifferences": [],
"rehashDifferences": [],
"passed": true
}
@@ -0,0 +1,127 @@
{
"schema": 1,
"owner": "Codex-ytr83r /root/wsl_startup_review",
"frozenUtc": "2026-09-11T17:14:15.6513799Z",
"sourceWorkspace": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio",
"archivalOnly": true,
"nativeOrOracleExecuted": false,
"expectedScreenshotCount": 12,
"actualScreenshotCount": 12,
"inputDiscrepancies": [],
"fileCount": 14,
"totalSourceBytes": 1570870.0,
"screenshotNames": [
"wide-cjk-sa-create-selected-wide-100.jpg",
"wide-cjk-sa-header-selected-wide-100.jpg",
"wide-cjk-sa-wide-100.jpg",
"wide-latin-oa-create-selected-min-100.jpg",
"wide-latin-oa-create-selected-min-51.jpg",
"wide-latin-oa-header-overflow-min-80.jpg",
"wide-latin-oa-header-selected-min-51.jpg",
"wide-latin-oa-min-100.jpg",
"wide-latin-oa-min-51.jpg",
"wide-latin-oa-min-fit.jpg",
"wide-latin-oa-wide-100.jpg",
"wide-latin-oa-wide-195.jpg"
],
"files": [
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-cjk-sa-create-selected-wide-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-cjk-sa-create-selected-wide-100.jpg",
"sourceBytes": 175454,
"sourceLastWriteUtc": "2026-09-11T16:58:00.3505572Z",
"sourceSha256": "2933CE4478B01AD9A7ACF54328A2A1996654603D486ACCBA14775EC31EF4BFE9"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-cjk-sa-header-selected-wide-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-cjk-sa-header-selected-wide-100.jpg",
"sourceBytes": 164799,
"sourceLastWriteUtc": "2026-09-11T16:58:14.7973744Z",
"sourceSha256": "47D88ABAFA3AD8F6C9AFBDE4B1715305D5224676EBF1C1E96ADEA28CFA2FBE12"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-cjk-sa-wide-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-cjk-sa-wide-100.jpg",
"sourceBytes": 146098,
"sourceLastWriteUtc": "2026-09-11T16:57:49.7849401Z",
"sourceSha256": "01B50A30ABE4EEADAF650466689F8CC5BFF863D38847FA0187FAFE2B068D42B6"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-latin-oa-create-selected-min-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-latin-oa-create-selected-min-100.jpg",
"sourceBytes": 107857,
"sourceLastWriteUtc": "2026-09-11T16:53:11.7942396Z",
"sourceSha256": "3EB8E38F3265A8EFB88B05CCCB189A1F63FB0425B0FB2F84AF5AB5F01ABA5607"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-latin-oa-create-selected-min-51.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-latin-oa-create-selected-min-51.jpg",
"sourceBytes": 97530,
"sourceLastWriteUtc": "2026-09-11T16:56:16.6520726Z",
"sourceSha256": "67E861B7275D01F1338B773A86041F6696A1B889007CEE4CAF7EB4ADD715508C"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-latin-oa-header-overflow-min-80.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-latin-oa-header-overflow-min-80.jpg",
"sourceBytes": 104939,
"sourceLastWriteUtc": "2026-09-11T16:54:19.3300256Z",
"sourceSha256": "1F524379D4097F27413FA104D10C74CC21338779EB0D7A080119BB4A09AC31AD"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-latin-oa-header-selected-min-51.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-latin-oa-header-selected-min-51.jpg",
"sourceBytes": 97889,
"sourceLastWriteUtc": "2026-09-11T16:56:04.9626536Z",
"sourceSha256": "021CE1ABAA830868BFE19FBACF8C834E9D7329FE7C7BAE4D419E9EC51E68BE22"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-latin-oa-min-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-latin-oa-min-100.jpg",
"sourceBytes": 103939,
"sourceLastWriteUtc": "2026-09-11T16:52:53.1157425Z",
"sourceSha256": "B1592F3C8A33EB13654A94FDDC9B966A906D25ACA14C30018B53A8B33E2A78C6"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-latin-oa-min-51.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-latin-oa-min-51.jpg",
"sourceBytes": 97424,
"sourceLastWriteUtc": "2026-09-11T16:55:05.6164194Z",
"sourceSha256": "E7F6DD6F727695F0D72948FA592B5FE1E1AFA106E111D9DD0764CD179E16A101"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-latin-oa-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-latin-oa-min-fit.jpg",
"sourceBytes": 100534,
"sourceLastWriteUtc": "2026-09-11T16:56:31.9395194Z",
"sourceSha256": "9689D10FF405CFD85CE4E69842C33859E9FC2A622A1096E7E1FF3F11CAA542AE"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-latin-oa-wide-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-latin-oa-wide-100.jpg",
"sourceBytes": 175337,
"sourceLastWriteUtc": "2026-09-11T16:56:48.7745936Z",
"sourceSha256": "C025CE484C8807C9D0B1A87534EE2B85D89088DC6EE69A5124B38C983FCB9DEE"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/wide-latin-oa-wide-195.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/wide-latin-oa-wide-195.jpg",
"sourceBytes": 198013,
"sourceLastWriteUtc": "2026-09-11T16:57:07.8785037Z",
"sourceSha256": "F23F56F5FE040352FA6962F75075EFE225A626B747CEE98DEF876DAAFA221C88"
},
{
"sourceRelativePath": ".local/ytr83r-scaled-workspace-test-let-chain-status.json",
"destinationRelativePath": "ytr83r-scaled-workspace-test-let-chain-status.json",
"sourceBytes": 550,
"sourceLastWriteUtc": "2026-09-11T16:56:53.1891102Z",
"sourceSha256": "DC06DCF0151936E5D8B28BA2962F2226D1301832194841961D1E4C16D0BDB6C7"
},
{
"sourceRelativePath": ".local/ytr83r-scaled-workspace-test-let-chain.log",
"destinationRelativePath": "ytr83r-scaled-workspace-test-let-chain.log",
"sourceBytes": 507,
"sourceLastWriteUtc": "2026-09-11T16:56:52.6176710Z",
"sourceSha256": "17FC59C4A00C1B3E37E6EFAEA5377E47E32D1284CCF5B0DA69B8A649280A4F3E"
}
]
}
@@ -0,0 +1,19 @@
{
"completed_utc": "2026-09-11T16:56:53.0694635Z",
"name": "ytr83r-scaled-workspace-test-let-chain",
"seconds": 408.2847446,
"command": [
"cargo",
"test",
"--locked",
"--offline",
"-p",
"oa-desktop",
"--bin",
"arcadia-studio",
"scenario_workspace_scaled_and_scrolled_scene_keeps_clicked_slots_and_message_"
],
"log": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\ytr83r-scaled-workspace-test-let-chain.log",
"exit": 0,
"started_utc": "2026-09-11T16:50:04.6110664Z"
}
@@ -0,0 +1,9 @@
Compiling oa-desktop v0.2.0 (C:\Users\User\Documents\Git\ARCADIA-Studio\crates\oa-desktop)
Finished `test` profile [unoptimized] target(s) in 6m 46s
Running unittests src\main.rs (target\debug\deps\arcadia_studio-df984b90c0583184.exe)
running 1 test
test behavior::scenario::workspace::tests::scenario_workspace_scaled_and_scrolled_scene_keeps_clicked_slots_and_message_endpoints ... ok
test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 674 filtered out; finished in 0.04s
@@ -0,0 +1,692 @@
arcadia 7;
project lifecycle_native "Lifecycle native contract" id "5ceab400-0000-4000-8000-000000000001" {
include "rationale.arcadia";
description "Fixed semantic inputs; lifecycle geometry is derived and never authored.";
oa_activity life_oa_10 "OA Controller work" id "5ceab400-0000-4000-8000-0000000003f2" {
description "";
parent none;
}
oa_activity life_oa_11 "OA Receiver work" id "5ceab400-0000-4000-8000-0000000003f3" {
description "";
parent none;
}
oa_scenario life_oa_100 "OA 01 Root create action delete" id "5ceab400-0000-4000-8000-00000000044c" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_110, @life_oa_111, @life_oa_112];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_101 "OA Controller lane" id "5ceab400-0000-4000-8000-00000000044d" {
description "";
parent @life_oa_100;
represented @life_oa_10;
}
oa_lifeline life_oa_102 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000044e" {
description "";
parent @life_oa_100;
represented @life_oa_11;
}
oa_occurrence life_oa_110 "OA Create receiver" id "5ceab400-0000-4000-8000-000000000456" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_111 "OA Receiver action" id "5ceab400-0000-4000-8000-000000000457" {
body {
Action {
action @life_oa_11;
lifeline @life_oa_102;
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_112 "OA Delete receiver" id "5ceab400-0000-4000-8000-000000000458" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_scenario life_oa_200 "OA 02 Preexisting empty" id "5ceab400-0000-4000-8000-0000000004b0" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_201 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000004b1" {
description "";
parent @life_oa_200;
represented @life_oa_10;
}
oa_lifeline life_oa_202 "OA Receiver lane" id "5ceab400-0000-4000-8000-0000000004b2" {
description "";
parent @life_oa_200;
represented @life_oa_11;
}
oa_scenario life_oa_300 "OA 03 Create only" id "5ceab400-0000-4000-8000-000000000514" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_310];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_301 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000515" {
description "";
parent @life_oa_300;
represented @life_oa_10;
}
oa_lifeline life_oa_302 "OA Receiver lane" id "5ceab400-0000-4000-8000-000000000516" {
description "";
parent @life_oa_300;
represented @life_oa_11;
}
oa_occurrence life_oa_310 "OA Create only receiver" id "5ceab400-0000-4000-8000-00000000051e" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_302;
reply_to none;
sender @life_oa_301;
values [];
};
};
description "";
parent @life_oa_300;
postcondition "";
precondition "";
}
oa_scenario life_oa_400 "OA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000578" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_410, @life_oa_411];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_401 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000579" {
description "";
parent @life_oa_400;
represented @life_oa_10;
}
oa_lifeline life_oa_402 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000057a" {
description "";
parent @life_oa_400;
represented @life_oa_11;
}
oa_occurrence life_oa_410 "OA Open call" id "5ceab400-0000-4000-8000-000000000582" {
body {
Exchange {
exchange @life_oa_service;
message_kind Call;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_411 "OA ALT delete or keep" id "5ceab400-0000-4000-8000-000000000583" {
body {
Fragment {
branches [@life_oa_412, @life_oa_413];
operator Alternative;
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_412 "OA Left delete operand" id "5ceab400-0000-4000-8000-000000000584" {
body {
Branch {
guard "stop_requested";
occurrences [@life_oa_414];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_413 "OA Right empty operand" id "5ceab400-0000-4000-8000-000000000585" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_414 "OA Conditional delete receiver" id "5ceab400-0000-4000-8000-000000000586" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_412;
postcondition "";
precondition "";
}
oa_scenario life_oa_500 "OA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000005dc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_510, @life_oa_511];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_501 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000005dd" {
description "";
parent @life_oa_500;
represented @life_oa_10;
}
oa_lifeline life_oa_502 "OA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000005de" {
description "";
parent @life_oa_500;
represented none;
}
oa_occurrence life_oa_510 "OA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e6" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_occurrence life_oa_511 "OA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e7" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_scenario life_oa_600 "OA 06 Self delete" id "5ceab400-0000-4000-8000-000000000640" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_610];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_601 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000641" {
description "";
parent @life_oa_600;
represented @life_oa_10;
}
oa_occurrence life_oa_610 "OA Self delete controller" id "5ceab400-0000-4000-8000-00000000064a" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_601;
reply_to none;
sender @life_oa_601;
values [];
};
};
description "";
parent @life_oa_600;
postcondition "";
precondition "";
}
sa_function life_sa_10 "SA Controller work" id "5ceab400-0000-4000-8000-0000000007da" {
description "";
parent none;
}
sa_function life_sa_11 "SA Receiver work" id "5ceab400-0000-4000-8000-0000000007db" {
description "";
parent none;
}
sa_scenario life_sa_100 "SA 01 Root create action delete" id "5ceab400-0000-4000-8000-000000000834" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_110, @life_sa_111, @life_sa_112];
viewpoint Functional;
}
sa_lifeline life_sa_101 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000835" {
description "";
parent @life_sa_100;
represented @life_sa_10;
}
sa_lifeline life_sa_102 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000836" {
description "";
parent @life_sa_100;
represented @life_sa_11;
}
sa_occurrence life_sa_110 "SA Create receiver" id "5ceab400-0000-4000-8000-00000000083e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_111 "SA Receiver action" id "5ceab400-0000-4000-8000-00000000083f" {
body {
Action {
action @life_sa_11;
lifeline @life_sa_102;
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_112 "SA Delete receiver" id "5ceab400-0000-4000-8000-000000000840" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_scenario life_sa_200 "SA 02 Preexisting empty" id "5ceab400-0000-4000-8000-000000000898" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint Functional;
}
sa_lifeline life_sa_201 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000899" {
description "";
parent @life_sa_200;
represented @life_sa_10;
}
sa_lifeline life_sa_202 "SA Receiver lane" id "5ceab400-0000-4000-8000-00000000089a" {
description "";
parent @life_sa_200;
represented @life_sa_11;
}
sa_scenario life_sa_300 "SA 03 Create only" id "5ceab400-0000-4000-8000-0000000008fc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_310];
viewpoint Functional;
}
sa_lifeline life_sa_301 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000008fd" {
description "";
parent @life_sa_300;
represented @life_sa_10;
}
sa_lifeline life_sa_302 "SA Receiver lane" id "5ceab400-0000-4000-8000-0000000008fe" {
description "";
parent @life_sa_300;
represented @life_sa_11;
}
sa_occurrence life_sa_310 "SA Create only receiver" id "5ceab400-0000-4000-8000-000000000906" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_302;
reply_to none;
sender @life_sa_301;
values [];
};
};
description "";
parent @life_sa_300;
postcondition "";
precondition "";
}
sa_scenario life_sa_400 "SA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000960" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_410, @life_sa_411];
viewpoint Functional;
}
sa_lifeline life_sa_401 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000961" {
description "";
parent @life_sa_400;
represented @life_sa_10;
}
sa_lifeline life_sa_402 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000962" {
description "";
parent @life_sa_400;
represented @life_sa_11;
}
sa_occurrence life_sa_410 "SA Open call" id "5ceab400-0000-4000-8000-00000000096a" {
body {
Exchange {
exchange @life_sa_service;
message_kind Call;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_411 "SA ALT delete or keep" id "5ceab400-0000-4000-8000-00000000096b" {
body {
Fragment {
branches [@life_sa_412, @life_sa_413];
operator Alternative;
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_412 "SA Left delete operand" id "5ceab400-0000-4000-8000-00000000096c" {
body {
Branch {
guard "stop_requested";
occurrences [@life_sa_414];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_413 "SA Right empty operand" id "5ceab400-0000-4000-8000-00000000096d" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_414 "SA Conditional delete receiver" id "5ceab400-0000-4000-8000-00000000096e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_412;
postcondition "";
precondition "";
}
sa_scenario life_sa_500 "SA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000009c4" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_510, @life_sa_511];
viewpoint Functional;
}
sa_lifeline life_sa_501 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000009c5" {
description "";
parent @life_sa_500;
represented @life_sa_10;
}
sa_lifeline life_sa_502 "SA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000009c6" {
description "";
parent @life_sa_500;
represented none;
}
sa_occurrence life_sa_510 "SA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000009ce" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_occurrence life_sa_511 "SA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000009cf" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_scenario life_sa_600 "SA 06 Self delete" id "5ceab400-0000-4000-8000-000000000a28" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_610];
viewpoint Functional;
}
sa_lifeline life_sa_601 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000a29" {
description "";
parent @life_sa_600;
represented @life_sa_10;
}
sa_occurrence life_sa_610 "SA Self delete controller" id "5ceab400-0000-4000-8000-000000000a32" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_601;
reply_to none;
sender @life_sa_601;
values [];
};
};
description "";
parent @life_sa_600;
postcondition "";
precondition "";
}
sa_port sa_lifecycle_service_input "SA Lifecycle service input" id "a4a6ecc0-3e12-51a5-b08b-199ad743525c" {
contract {
FunctionInput {
incoming_items [];
};
};
description "";
legacy none;
parent @life_sa_11;
}
sa_port sa_lifecycle_service_output "SA Lifecycle service output" id "b1aa66c4-0e8e-5091-beda-2b8d2005b688" {
contract {
FunctionOutput {
outgoing_items [];
};
};
description "";
legacy none;
parent @life_sa_10;
}
interaction life_oa_service "OA Lifecycle service" id "5ceab400-0000-4000-8000-0000000003f4" {
description "";
items [];
source @life_oa_10;
target @life_oa_11;
}
functional_exchange life_sa_service "SA Lifecycle service" id "5ceab400-0000-4000-8000-0000000007dc" {
description "";
items [];
source @life_sa_10;
source_port @sa_lifecycle_service_output;
target @life_sa_11;
target_port @sa_lifecycle_service_input;
}
}
@@ -0,0 +1,2 @@
// Preserve lifecycle note: 雨 · receiver.
// Geometry never changes these bytes.
@@ -0,0 +1,692 @@
arcadia 7;
project lifecycle_native "Lifecycle native contract" id "5ceab400-0000-4000-8000-000000000001" {
include "rationale.arcadia";
description "Fixed semantic inputs; lifecycle geometry is derived and never authored.";
oa_activity life_oa_10 "OA Controller work" id "5ceab400-0000-4000-8000-0000000003f2" {
description "";
parent none;
}
oa_activity life_oa_11 "OA Receiver work" id "5ceab400-0000-4000-8000-0000000003f3" {
description "";
parent none;
}
oa_scenario life_oa_100 "OA 01 Root create action delete" id "5ceab400-0000-4000-8000-00000000044c" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_110, @life_oa_111, @life_oa_112];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_101 "OA Controller lane" id "5ceab400-0000-4000-8000-00000000044d" {
description "";
parent @life_oa_100;
represented @life_oa_10;
}
oa_lifeline life_oa_102 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000044e" {
description "";
parent @life_oa_100;
represented @life_oa_11;
}
oa_occurrence life_oa_110 "OA Create receiver" id "5ceab400-0000-4000-8000-000000000456" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_111 "OA Receiver action" id "5ceab400-0000-4000-8000-000000000457" {
body {
Action {
action @life_oa_11;
lifeline @life_oa_102;
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_112 "OA Delete receiver · reviewed" id "5ceab400-0000-4000-8000-000000000458" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_scenario life_oa_200 "OA 02 Preexisting empty" id "5ceab400-0000-4000-8000-0000000004b0" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_201 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000004b1" {
description "";
parent @life_oa_200;
represented @life_oa_10;
}
oa_lifeline life_oa_202 "OA Receiver lane" id "5ceab400-0000-4000-8000-0000000004b2" {
description "";
parent @life_oa_200;
represented @life_oa_11;
}
oa_scenario life_oa_300 "OA 03 Create only" id "5ceab400-0000-4000-8000-000000000514" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_310];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_301 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000515" {
description "";
parent @life_oa_300;
represented @life_oa_10;
}
oa_lifeline life_oa_302 "OA Receiver lane" id "5ceab400-0000-4000-8000-000000000516" {
description "";
parent @life_oa_300;
represented @life_oa_11;
}
oa_occurrence life_oa_310 "OA Create only receiver" id "5ceab400-0000-4000-8000-00000000051e" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_302;
reply_to none;
sender @life_oa_301;
values [];
};
};
description "";
parent @life_oa_300;
postcondition "";
precondition "";
}
oa_scenario life_oa_400 "OA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000578" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_410, @life_oa_411];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_401 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000579" {
description "";
parent @life_oa_400;
represented @life_oa_10;
}
oa_lifeline life_oa_402 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000057a" {
description "";
parent @life_oa_400;
represented @life_oa_11;
}
oa_occurrence life_oa_410 "OA Open call" id "5ceab400-0000-4000-8000-000000000582" {
body {
Exchange {
exchange @life_oa_service;
message_kind Call;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_411 "OA ALT delete or keep" id "5ceab400-0000-4000-8000-000000000583" {
body {
Fragment {
branches [@life_oa_412, @life_oa_413];
operator Alternative;
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_412 "OA Left delete operand" id "5ceab400-0000-4000-8000-000000000584" {
body {
Branch {
guard "stop_requested";
occurrences [@life_oa_414];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_413 "OA Right empty operand" id "5ceab400-0000-4000-8000-000000000585" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_414 "OA Conditional delete receiver" id "5ceab400-0000-4000-8000-000000000586" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_412;
postcondition "";
precondition "";
}
oa_scenario life_oa_500 "OA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000005dc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_510, @life_oa_511];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_501 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000005dd" {
description "";
parent @life_oa_500;
represented @life_oa_10;
}
oa_lifeline life_oa_502 "OA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000005de" {
description "";
parent @life_oa_500;
represented none;
}
oa_occurrence life_oa_510 "OA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e6" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_occurrence life_oa_511 "OA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e7" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_scenario life_oa_600 "OA 06 Self delete" id "5ceab400-0000-4000-8000-000000000640" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_610];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_601 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000641" {
description "";
parent @life_oa_600;
represented @life_oa_10;
}
oa_occurrence life_oa_610 "OA Self delete controller" id "5ceab400-0000-4000-8000-00000000064a" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_601;
reply_to none;
sender @life_oa_601;
values [];
};
};
description "";
parent @life_oa_600;
postcondition "";
precondition "";
}
sa_function life_sa_10 "SA Controller work" id "5ceab400-0000-4000-8000-0000000007da" {
description "";
parent none;
}
sa_function life_sa_11 "SA Receiver work" id "5ceab400-0000-4000-8000-0000000007db" {
description "";
parent none;
}
sa_scenario life_sa_100 "SA 01 Root create action delete" id "5ceab400-0000-4000-8000-000000000834" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_110, @life_sa_111, @life_sa_112];
viewpoint Functional;
}
sa_lifeline life_sa_101 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000835" {
description "";
parent @life_sa_100;
represented @life_sa_10;
}
sa_lifeline life_sa_102 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000836" {
description "";
parent @life_sa_100;
represented @life_sa_11;
}
sa_occurrence life_sa_110 "SA Create receiver" id "5ceab400-0000-4000-8000-00000000083e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_111 "SA Receiver action" id "5ceab400-0000-4000-8000-00000000083f" {
body {
Action {
action @life_sa_11;
lifeline @life_sa_102;
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_112 "SA Delete receiver" id "5ceab400-0000-4000-8000-000000000840" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_scenario life_sa_200 "SA 02 Preexisting empty" id "5ceab400-0000-4000-8000-000000000898" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint Functional;
}
sa_lifeline life_sa_201 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000899" {
description "";
parent @life_sa_200;
represented @life_sa_10;
}
sa_lifeline life_sa_202 "SA Receiver lane" id "5ceab400-0000-4000-8000-00000000089a" {
description "";
parent @life_sa_200;
represented @life_sa_11;
}
sa_scenario life_sa_300 "SA 03 Create only" id "5ceab400-0000-4000-8000-0000000008fc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_310];
viewpoint Functional;
}
sa_lifeline life_sa_301 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000008fd" {
description "";
parent @life_sa_300;
represented @life_sa_10;
}
sa_lifeline life_sa_302 "SA Receiver lane" id "5ceab400-0000-4000-8000-0000000008fe" {
description "";
parent @life_sa_300;
represented @life_sa_11;
}
sa_occurrence life_sa_310 "SA Create only receiver" id "5ceab400-0000-4000-8000-000000000906" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_302;
reply_to none;
sender @life_sa_301;
values [];
};
};
description "";
parent @life_sa_300;
postcondition "";
precondition "";
}
sa_scenario life_sa_400 "SA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000960" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_410, @life_sa_411];
viewpoint Functional;
}
sa_lifeline life_sa_401 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000961" {
description "";
parent @life_sa_400;
represented @life_sa_10;
}
sa_lifeline life_sa_402 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000962" {
description "";
parent @life_sa_400;
represented @life_sa_11;
}
sa_occurrence life_sa_410 "SA Open call" id "5ceab400-0000-4000-8000-00000000096a" {
body {
Exchange {
exchange @life_sa_service;
message_kind Call;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_411 "SA ALT delete or keep" id "5ceab400-0000-4000-8000-00000000096b" {
body {
Fragment {
branches [@life_sa_412, @life_sa_413];
operator Alternative;
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_412 "SA Left delete operand" id "5ceab400-0000-4000-8000-00000000096c" {
body {
Branch {
guard "stop_requested";
occurrences [@life_sa_414];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_413 "SA Right empty operand" id "5ceab400-0000-4000-8000-00000000096d" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_414 "SA Conditional delete receiver" id "5ceab400-0000-4000-8000-00000000096e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_412;
postcondition "";
precondition "";
}
sa_scenario life_sa_500 "SA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000009c4" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_510, @life_sa_511];
viewpoint Functional;
}
sa_lifeline life_sa_501 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000009c5" {
description "";
parent @life_sa_500;
represented @life_sa_10;
}
sa_lifeline life_sa_502 "SA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000009c6" {
description "";
parent @life_sa_500;
represented none;
}
sa_occurrence life_sa_510 "SA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000009ce" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_occurrence life_sa_511 "SA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000009cf" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_scenario life_sa_600 "SA 06 Self delete" id "5ceab400-0000-4000-8000-000000000a28" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_610];
viewpoint Functional;
}
sa_lifeline life_sa_601 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000a29" {
description "";
parent @life_sa_600;
represented @life_sa_10;
}
sa_occurrence life_sa_610 "SA Self delete controller" id "5ceab400-0000-4000-8000-000000000a32" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_601;
reply_to none;
sender @life_sa_601;
values [];
};
};
description "";
parent @life_sa_600;
postcondition "";
precondition "";
}
sa_port sa_lifecycle_service_input "SA Lifecycle service input" id "a4a6ecc0-3e12-51a5-b08b-199ad743525c" {
contract {
FunctionInput {
incoming_items [];
};
};
description "";
legacy none;
parent @life_sa_11;
}
sa_port sa_lifecycle_service_output "SA Lifecycle service output" id "b1aa66c4-0e8e-5091-beda-2b8d2005b688" {
contract {
FunctionOutput {
outgoing_items [];
};
};
description "";
legacy none;
parent @life_sa_10;
}
interaction life_oa_service "OA Lifecycle service" id "5ceab400-0000-4000-8000-0000000003f4" {
description "";
items [];
source @life_oa_10;
target @life_oa_11;
}
functional_exchange life_sa_service "SA Lifecycle service" id "5ceab400-0000-4000-8000-0000000007dc" {
description "";
items [];
source @life_sa_10;
source_port @sa_lifecycle_service_output;
target @life_sa_11;
target_port @sa_lifecycle_service_input;
}
}
@@ -0,0 +1,2 @@
// Preserve lifecycle note: 雨 · receiver.
// Geometry never changes these bytes.
@@ -0,0 +1,692 @@
arcadia 7;
project lifecycle_native "Lifecycle native contract" id "5ceab400-0000-4000-8000-000000000001" {
include "rationale.arcadia";
description "Fixed semantic inputs; lifecycle geometry is derived and never authored.";
oa_activity life_oa_10 "OA Controller work" id "5ceab400-0000-4000-8000-0000000003f2" {
description "";
parent none;
}
oa_activity life_oa_11 "OA Receiver work" id "5ceab400-0000-4000-8000-0000000003f3" {
description "";
parent none;
}
oa_scenario life_oa_100 "OA 01 Root create action delete" id "5ceab400-0000-4000-8000-00000000044c" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_110, @life_oa_111, @life_oa_112];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_101 "OA Controller lane" id "5ceab400-0000-4000-8000-00000000044d" {
description "";
parent @life_oa_100;
represented @life_oa_10;
}
oa_lifeline life_oa_102 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000044e" {
description "";
parent @life_oa_100;
represented @life_oa_11;
}
oa_occurrence life_oa_110 "OA Create receiver" id "5ceab400-0000-4000-8000-000000000456" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_111 "OA Receiver action" id "5ceab400-0000-4000-8000-000000000457" {
body {
Action {
action @life_oa_11;
lifeline @life_oa_102;
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_112 "OA Delete receiver · reviewed" id "5ceab400-0000-4000-8000-000000000458" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_scenario life_oa_200 "OA 02 Preexisting empty" id "5ceab400-0000-4000-8000-0000000004b0" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_201 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000004b1" {
description "";
parent @life_oa_200;
represented @life_oa_10;
}
oa_lifeline life_oa_202 "OA Receiver lane" id "5ceab400-0000-4000-8000-0000000004b2" {
description "";
parent @life_oa_200;
represented @life_oa_11;
}
oa_scenario life_oa_300 "OA 03 Create only" id "5ceab400-0000-4000-8000-000000000514" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_310];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_301 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000515" {
description "";
parent @life_oa_300;
represented @life_oa_10;
}
oa_lifeline life_oa_302 "OA Receiver lane" id "5ceab400-0000-4000-8000-000000000516" {
description "";
parent @life_oa_300;
represented @life_oa_11;
}
oa_occurrence life_oa_310 "OA Create only receiver" id "5ceab400-0000-4000-8000-00000000051e" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_302;
reply_to none;
sender @life_oa_301;
values [];
};
};
description "";
parent @life_oa_300;
postcondition "";
precondition "";
}
oa_scenario life_oa_400 "OA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000578" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_410, @life_oa_411];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_401 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000579" {
description "";
parent @life_oa_400;
represented @life_oa_10;
}
oa_lifeline life_oa_402 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000057a" {
description "";
parent @life_oa_400;
represented @life_oa_11;
}
oa_occurrence life_oa_410 "OA Open call" id "5ceab400-0000-4000-8000-000000000582" {
body {
Exchange {
exchange @life_oa_service;
message_kind Call;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_411 "OA ALT delete or keep" id "5ceab400-0000-4000-8000-000000000583" {
body {
Fragment {
branches [@life_oa_412, @life_oa_413];
operator Alternative;
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_412 "OA Left delete operand" id "5ceab400-0000-4000-8000-000000000584" {
body {
Branch {
guard "stop_requested";
occurrences [@life_oa_414];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_413 "OA Right empty operand" id "5ceab400-0000-4000-8000-000000000585" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_414 "OA Conditional delete receiver" id "5ceab400-0000-4000-8000-000000000586" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_412;
postcondition "";
precondition "";
}
oa_scenario life_oa_500 "OA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000005dc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_510, @life_oa_511];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_501 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000005dd" {
description "";
parent @life_oa_500;
represented @life_oa_10;
}
oa_lifeline life_oa_502 "OA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000005de" {
description "";
parent @life_oa_500;
represented none;
}
oa_occurrence life_oa_510 "OA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e6" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_occurrence life_oa_511 "OA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e7" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_scenario life_oa_600 "OA 06 Self delete" id "5ceab400-0000-4000-8000-000000000640" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_610];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_601 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000641" {
description "";
parent @life_oa_600;
represented @life_oa_10;
}
oa_occurrence life_oa_610 "OA Self delete controller" id "5ceab400-0000-4000-8000-00000000064a" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_601;
reply_to none;
sender @life_oa_601;
values [];
};
};
description "";
parent @life_oa_600;
postcondition "";
precondition "";
}
sa_function life_sa_10 "SA Controller work" id "5ceab400-0000-4000-8000-0000000007da" {
description "";
parent none;
}
sa_function life_sa_11 "SA Receiver work" id "5ceab400-0000-4000-8000-0000000007db" {
description "";
parent none;
}
sa_scenario life_sa_100 "SA 01 Root create action delete" id "5ceab400-0000-4000-8000-000000000834" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_110, @life_sa_111, @life_sa_112];
viewpoint Functional;
}
sa_lifeline life_sa_101 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000835" {
description "";
parent @life_sa_100;
represented @life_sa_10;
}
sa_lifeline life_sa_102 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000836" {
description "";
parent @life_sa_100;
represented @life_sa_11;
}
sa_occurrence life_sa_110 "SA Create receiver" id "5ceab400-0000-4000-8000-00000000083e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_111 "SA Receiver action" id "5ceab400-0000-4000-8000-00000000083f" {
body {
Action {
action @life_sa_11;
lifeline @life_sa_102;
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_112 "SA Delete receiver" id "5ceab400-0000-4000-8000-000000000840" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_scenario life_sa_200 "SA 02 Preexisting empty" id "5ceab400-0000-4000-8000-000000000898" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint Functional;
}
sa_lifeline life_sa_201 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000899" {
description "";
parent @life_sa_200;
represented @life_sa_10;
}
sa_lifeline life_sa_202 "SA Receiver lane" id "5ceab400-0000-4000-8000-00000000089a" {
description "";
parent @life_sa_200;
represented @life_sa_11;
}
sa_scenario life_sa_300 "SA 03 Create only" id "5ceab400-0000-4000-8000-0000000008fc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_310];
viewpoint Functional;
}
sa_lifeline life_sa_301 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000008fd" {
description "";
parent @life_sa_300;
represented @life_sa_10;
}
sa_lifeline life_sa_302 "SA Receiver lane" id "5ceab400-0000-4000-8000-0000000008fe" {
description "";
parent @life_sa_300;
represented @life_sa_11;
}
sa_occurrence life_sa_310 "SA Create only receiver" id "5ceab400-0000-4000-8000-000000000906" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_302;
reply_to none;
sender @life_sa_301;
values [];
};
};
description "";
parent @life_sa_300;
postcondition "";
precondition "";
}
sa_scenario life_sa_400 "SA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000960" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_410, @life_sa_411];
viewpoint Functional;
}
sa_lifeline life_sa_401 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000961" {
description "";
parent @life_sa_400;
represented @life_sa_10;
}
sa_lifeline life_sa_402 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000962" {
description "";
parent @life_sa_400;
represented @life_sa_11;
}
sa_occurrence life_sa_410 "SA Open call" id "5ceab400-0000-4000-8000-00000000096a" {
body {
Exchange {
exchange @life_sa_service;
message_kind Call;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_411 "SA ALT delete or keep" id "5ceab400-0000-4000-8000-00000000096b" {
body {
Fragment {
branches [@life_sa_412, @life_sa_413];
operator Alternative;
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_412 "SA Left delete operand" id "5ceab400-0000-4000-8000-00000000096c" {
body {
Branch {
guard "stop_requested";
occurrences [@life_sa_414];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_413 "SA Right empty operand" id "5ceab400-0000-4000-8000-00000000096d" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_414 "SA Conditional delete receiver" id "5ceab400-0000-4000-8000-00000000096e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_412;
postcondition "";
precondition "";
}
sa_scenario life_sa_500 "SA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000009c4" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_510, @life_sa_511];
viewpoint Functional;
}
sa_lifeline life_sa_501 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000009c5" {
description "";
parent @life_sa_500;
represented @life_sa_10;
}
sa_lifeline life_sa_502 "SA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000009c6" {
description "";
parent @life_sa_500;
represented none;
}
sa_occurrence life_sa_510 "SA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000009ce" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_occurrence life_sa_511 "SA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000009cf" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_scenario life_sa_600 "SA 06 Self delete" id "5ceab400-0000-4000-8000-000000000a28" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_610];
viewpoint Functional;
}
sa_lifeline life_sa_601 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000a29" {
description "";
parent @life_sa_600;
represented @life_sa_10;
}
sa_occurrence life_sa_610 "SA Self delete controller" id "5ceab400-0000-4000-8000-000000000a32" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_601;
reply_to none;
sender @life_sa_601;
values [];
};
};
description "";
parent @life_sa_600;
postcondition "";
precondition "";
}
sa_port sa_lifecycle_service_input "SA Lifecycle service input" id "a4a6ecc0-3e12-51a5-b08b-199ad743525c" {
contract {
FunctionInput {
incoming_items [];
};
};
description "";
legacy none;
parent @life_sa_11;
}
sa_port sa_lifecycle_service_output "SA Lifecycle service output" id "b1aa66c4-0e8e-5091-beda-2b8d2005b688" {
contract {
FunctionOutput {
outgoing_items [];
};
};
description "";
legacy none;
parent @life_sa_10;
}
interaction life_oa_service "OA Lifecycle service" id "5ceab400-0000-4000-8000-0000000003f4" {
description "";
items [];
source @life_oa_10;
target @life_oa_11;
}
functional_exchange life_sa_service "SA Lifecycle service" id "5ceab400-0000-4000-8000-0000000007dc" {
description "";
items [];
source @life_sa_10;
source_port @sa_lifecycle_service_output;
target @life_sa_11;
target_port @sa_lifecycle_service_input;
}
}
@@ -0,0 +1,2 @@
// Preserve lifecycle note: 雨 · receiver.
// Geometry never changes these bytes.
@@ -0,0 +1,692 @@
arcadia 7;
project lifecycle_native "Lifecycle native contract" id "5ceab400-0000-4000-8000-000000000001" {
include "rationale.arcadia";
description "Fixed semantic inputs; lifecycle geometry is derived and never authored.";
oa_activity life_oa_10 "OA Controller work" id "5ceab400-0000-4000-8000-0000000003f2" {
description "";
parent none;
}
oa_activity life_oa_11 "OA Receiver work" id "5ceab400-0000-4000-8000-0000000003f3" {
description "";
parent none;
}
oa_scenario life_oa_100 "OA 01 Root create action delete" id "5ceab400-0000-4000-8000-00000000044c" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_110, @life_oa_111, @life_oa_112];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_101 "OA Controller lane" id "5ceab400-0000-4000-8000-00000000044d" {
description "";
parent @life_oa_100;
represented @life_oa_10;
}
oa_lifeline life_oa_102 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000044e" {
description "";
parent @life_oa_100;
represented @life_oa_11;
}
oa_occurrence life_oa_110 "OA Create receiver" id "5ceab400-0000-4000-8000-000000000456" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_111 "OA Receiver action" id "5ceab400-0000-4000-8000-000000000457" {
body {
Action {
action @life_oa_11;
lifeline @life_oa_102;
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_112 "OA Delete receiver · reviewed" id "5ceab400-0000-4000-8000-000000000458" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_scenario life_oa_200 "OA 02 Preexisting empty" id "5ceab400-0000-4000-8000-0000000004b0" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_201 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000004b1" {
description "";
parent @life_oa_200;
represented @life_oa_10;
}
oa_lifeline life_oa_202 "OA Receiver lane" id "5ceab400-0000-4000-8000-0000000004b2" {
description "";
parent @life_oa_200;
represented @life_oa_11;
}
oa_scenario life_oa_300 "OA 03 Create only" id "5ceab400-0000-4000-8000-000000000514" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_310];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_301 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000515" {
description "";
parent @life_oa_300;
represented @life_oa_10;
}
oa_lifeline life_oa_302 "OA Receiver lane" id "5ceab400-0000-4000-8000-000000000516" {
description "";
parent @life_oa_300;
represented @life_oa_11;
}
oa_occurrence life_oa_310 "OA Create only receiver" id "5ceab400-0000-4000-8000-00000000051e" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_302;
reply_to none;
sender @life_oa_301;
values [];
};
};
description "";
parent @life_oa_300;
postcondition "";
precondition "";
}
oa_scenario life_oa_400 "OA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000578" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_410, @life_oa_411];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_401 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000579" {
description "";
parent @life_oa_400;
represented @life_oa_10;
}
oa_lifeline life_oa_402 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000057a" {
description "";
parent @life_oa_400;
represented @life_oa_11;
}
oa_occurrence life_oa_410 "OA Open call" id "5ceab400-0000-4000-8000-000000000582" {
body {
Exchange {
exchange @life_oa_service;
message_kind Call;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_411 "OA ALT delete or keep" id "5ceab400-0000-4000-8000-000000000583" {
body {
Fragment {
branches [@life_oa_412, @life_oa_413];
operator Alternative;
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_412 "OA Left delete operand" id "5ceab400-0000-4000-8000-000000000584" {
body {
Branch {
guard "stop_requested";
occurrences [@life_oa_414];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_413 "OA Right empty operand" id "5ceab400-0000-4000-8000-000000000585" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_414 "OA Conditional delete receiver" id "5ceab400-0000-4000-8000-000000000586" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_412;
postcondition "";
precondition "";
}
oa_scenario life_oa_500 "OA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000005dc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_510, @life_oa_511];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_501 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000005dd" {
description "";
parent @life_oa_500;
represented @life_oa_10;
}
oa_lifeline life_oa_502 "OA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000005de" {
description "";
parent @life_oa_500;
represented none;
}
oa_occurrence life_oa_510 "OA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e6" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_occurrence life_oa_511 "OA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e7" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_scenario life_oa_600 "OA 06 Self delete" id "5ceab400-0000-4000-8000-000000000640" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_610];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_601 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000641" {
description "";
parent @life_oa_600;
represented @life_oa_10;
}
oa_occurrence life_oa_610 "OA Self delete controller" id "5ceab400-0000-4000-8000-00000000064a" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_601;
reply_to none;
sender @life_oa_601;
values [];
};
};
description "";
parent @life_oa_600;
postcondition "";
precondition "";
}
sa_function life_sa_10 "SA Controller work" id "5ceab400-0000-4000-8000-0000000007da" {
description "";
parent none;
}
sa_function life_sa_11 "SA Receiver work" id "5ceab400-0000-4000-8000-0000000007db" {
description "";
parent none;
}
sa_scenario life_sa_100 "SA 01 Root create action delete" id "5ceab400-0000-4000-8000-000000000834" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_110, @life_sa_111, @life_sa_112];
viewpoint Functional;
}
sa_lifeline life_sa_101 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000835" {
description "";
parent @life_sa_100;
represented @life_sa_10;
}
sa_lifeline life_sa_102 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000836" {
description "";
parent @life_sa_100;
represented @life_sa_11;
}
sa_occurrence life_sa_110 "SA Create receiver" id "5ceab400-0000-4000-8000-00000000083e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_111 "SA Receiver action" id "5ceab400-0000-4000-8000-00000000083f" {
body {
Action {
action @life_sa_11;
lifeline @life_sa_102;
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_112 "SA Delete receiver" id "5ceab400-0000-4000-8000-000000000840" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_scenario life_sa_200 "SA 02 Preexisting empty" id "5ceab400-0000-4000-8000-000000000898" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint Functional;
}
sa_lifeline life_sa_201 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000899" {
description "";
parent @life_sa_200;
represented @life_sa_10;
}
sa_lifeline life_sa_202 "SA Receiver lane" id "5ceab400-0000-4000-8000-00000000089a" {
description "";
parent @life_sa_200;
represented @life_sa_11;
}
sa_scenario life_sa_300 "SA 03 Create only" id "5ceab400-0000-4000-8000-0000000008fc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_310];
viewpoint Functional;
}
sa_lifeline life_sa_301 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000008fd" {
description "";
parent @life_sa_300;
represented @life_sa_10;
}
sa_lifeline life_sa_302 "SA Receiver lane" id "5ceab400-0000-4000-8000-0000000008fe" {
description "";
parent @life_sa_300;
represented @life_sa_11;
}
sa_occurrence life_sa_310 "SA Create only receiver" id "5ceab400-0000-4000-8000-000000000906" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_302;
reply_to none;
sender @life_sa_301;
values [];
};
};
description "";
parent @life_sa_300;
postcondition "";
precondition "";
}
sa_scenario life_sa_400 "SA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000960" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_410, @life_sa_411];
viewpoint Functional;
}
sa_lifeline life_sa_401 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000961" {
description "";
parent @life_sa_400;
represented @life_sa_10;
}
sa_lifeline life_sa_402 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000962" {
description "";
parent @life_sa_400;
represented @life_sa_11;
}
sa_occurrence life_sa_410 "SA Open call" id "5ceab400-0000-4000-8000-00000000096a" {
body {
Exchange {
exchange @life_sa_service;
message_kind Call;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_411 "SA ALT delete or keep" id "5ceab400-0000-4000-8000-00000000096b" {
body {
Fragment {
branches [@life_sa_412, @life_sa_413];
operator Alternative;
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_412 "SA Left delete operand" id "5ceab400-0000-4000-8000-00000000096c" {
body {
Branch {
guard "stop_requested";
occurrences [@life_sa_414];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_413 "SA Right empty operand" id "5ceab400-0000-4000-8000-00000000096d" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_414 "SA Conditional delete receiver" id "5ceab400-0000-4000-8000-00000000096e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_412;
postcondition "";
precondition "";
}
sa_scenario life_sa_500 "SA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000009c4" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_510, @life_sa_511];
viewpoint Functional;
}
sa_lifeline life_sa_501 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000009c5" {
description "";
parent @life_sa_500;
represented @life_sa_10;
}
sa_lifeline life_sa_502 "SA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000009c6" {
description "";
parent @life_sa_500;
represented none;
}
sa_occurrence life_sa_510 "SA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000009ce" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_occurrence life_sa_511 "SA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000009cf" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_scenario life_sa_600 "SA 06 Self delete" id "5ceab400-0000-4000-8000-000000000a28" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_610];
viewpoint Functional;
}
sa_lifeline life_sa_601 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000a29" {
description "";
parent @life_sa_600;
represented @life_sa_10;
}
sa_occurrence life_sa_610 "SA Self delete controller" id "5ceab400-0000-4000-8000-000000000a32" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_601;
reply_to none;
sender @life_sa_601;
values [];
};
};
description "";
parent @life_sa_600;
postcondition "";
precondition "";
}
sa_port sa_lifecycle_service_input "SA Lifecycle service input" id "a4a6ecc0-3e12-51a5-b08b-199ad743525c" {
contract {
FunctionInput {
incoming_items [];
};
};
description "";
legacy none;
parent @life_sa_11;
}
sa_port sa_lifecycle_service_output "SA Lifecycle service output" id "b1aa66c4-0e8e-5091-beda-2b8d2005b688" {
contract {
FunctionOutput {
outgoing_items [];
};
};
description "";
legacy none;
parent @life_sa_10;
}
interaction life_oa_service "OA Lifecycle service" id "5ceab400-0000-4000-8000-0000000003f4" {
description "";
items [];
source @life_oa_10;
target @life_oa_11;
}
functional_exchange life_sa_service "SA Lifecycle service" id "5ceab400-0000-4000-8000-0000000007dc" {
description "";
items [];
source @life_sa_10;
source_port @sa_lifecycle_service_output;
target @life_sa_11;
target_port @sa_lifecycle_service_input;
}
}
@@ -0,0 +1,2 @@
// Preserve lifecycle note: 雨 · receiver.
// Geometry never changes these bytes.
@@ -0,0 +1,692 @@
arcadia 7;
project lifecycle_native "Lifecycle native contract" id "5ceab400-0000-4000-8000-000000000001" {
include "rationale.arcadia";
description "Fixed semantic inputs; lifecycle geometry is derived and never authored.";
oa_activity life_oa_10 "OA Controller work" id "5ceab400-0000-4000-8000-0000000003f2" {
description "";
parent none;
}
oa_activity life_oa_11 "OA Receiver work" id "5ceab400-0000-4000-8000-0000000003f3" {
description "";
parent none;
}
oa_scenario life_oa_100 "OA 01 Root create action delete" id "5ceab400-0000-4000-8000-00000000044c" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_110, @life_oa_111, @life_oa_112];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_101 "OA Controller lane" id "5ceab400-0000-4000-8000-00000000044d" {
description "";
parent @life_oa_100;
represented @life_oa_10;
}
oa_lifeline life_oa_102 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000044e" {
description "";
parent @life_oa_100;
represented @life_oa_11;
}
oa_occurrence life_oa_110 "OA Create receiver" id "5ceab400-0000-4000-8000-000000000456" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_111 "OA Receiver action" id "5ceab400-0000-4000-8000-000000000457" {
body {
Action {
action @life_oa_11;
lifeline @life_oa_102;
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_112 "OA Delete receiver" id "5ceab400-0000-4000-8000-000000000458" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_scenario life_oa_200 "OA 02 Preexisting empty" id "5ceab400-0000-4000-8000-0000000004b0" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_201 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000004b1" {
description "";
parent @life_oa_200;
represented @life_oa_10;
}
oa_lifeline life_oa_202 "OA Receiver lane" id "5ceab400-0000-4000-8000-0000000004b2" {
description "";
parent @life_oa_200;
represented @life_oa_11;
}
oa_scenario life_oa_300 "OA 03 Create only" id "5ceab400-0000-4000-8000-000000000514" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_310];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_301 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000515" {
description "";
parent @life_oa_300;
represented @life_oa_10;
}
oa_lifeline life_oa_302 "OA Receiver lane" id "5ceab400-0000-4000-8000-000000000516" {
description "";
parent @life_oa_300;
represented @life_oa_11;
}
oa_occurrence life_oa_310 "OA Create only receiver" id "5ceab400-0000-4000-8000-00000000051e" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_302;
reply_to none;
sender @life_oa_301;
values [];
};
};
description "";
parent @life_oa_300;
postcondition "";
precondition "";
}
oa_scenario life_oa_400 "OA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000578" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_410, @life_oa_411];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_401 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000579" {
description "";
parent @life_oa_400;
represented @life_oa_10;
}
oa_lifeline life_oa_402 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000057a" {
description "";
parent @life_oa_400;
represented @life_oa_11;
}
oa_occurrence life_oa_410 "OA Open call" id "5ceab400-0000-4000-8000-000000000582" {
body {
Exchange {
exchange @life_oa_service;
message_kind Call;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_411 "OA ALT delete or keep" id "5ceab400-0000-4000-8000-000000000583" {
body {
Fragment {
branches [@life_oa_412, @life_oa_413];
operator Alternative;
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_412 "OA Left delete operand" id "5ceab400-0000-4000-8000-000000000584" {
body {
Branch {
guard "stop_requested";
occurrences [@life_oa_414];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_413 "OA Right empty operand" id "5ceab400-0000-4000-8000-000000000585" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_414 "OA Conditional delete receiver" id "5ceab400-0000-4000-8000-000000000586" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_412;
postcondition "";
precondition "";
}
oa_scenario life_oa_500 "OA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000005dc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_510, @life_oa_511];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_501 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000005dd" {
description "";
parent @life_oa_500;
represented @life_oa_10;
}
oa_lifeline life_oa_502 "OA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000005de" {
description "";
parent @life_oa_500;
represented none;
}
oa_occurrence life_oa_510 "OA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e6" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_occurrence life_oa_511 "OA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e7" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_scenario life_oa_600 "OA 06 Self delete" id "5ceab400-0000-4000-8000-000000000640" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_610];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_601 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000641" {
description "";
parent @life_oa_600;
represented @life_oa_10;
}
oa_occurrence life_oa_610 "OA Self delete controller" id "5ceab400-0000-4000-8000-00000000064a" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_601;
reply_to none;
sender @life_oa_601;
values [];
};
};
description "";
parent @life_oa_600;
postcondition "";
precondition "";
}
sa_function life_sa_10 "SA Controller work" id "5ceab400-0000-4000-8000-0000000007da" {
description "";
parent none;
}
sa_function life_sa_11 "SA Receiver work" id "5ceab400-0000-4000-8000-0000000007db" {
description "";
parent none;
}
sa_scenario life_sa_100 "SA 01 Root create action delete" id "5ceab400-0000-4000-8000-000000000834" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_110, @life_sa_111, @life_sa_112];
viewpoint Functional;
}
sa_lifeline life_sa_101 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000835" {
description "";
parent @life_sa_100;
represented @life_sa_10;
}
sa_lifeline life_sa_102 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000836" {
description "";
parent @life_sa_100;
represented @life_sa_11;
}
sa_occurrence life_sa_110 "SA Create receiver" id "5ceab400-0000-4000-8000-00000000083e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_111 "SA Receiver action" id "5ceab400-0000-4000-8000-00000000083f" {
body {
Action {
action @life_sa_11;
lifeline @life_sa_102;
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_112 "SA Delete receiver" id "5ceab400-0000-4000-8000-000000000840" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_scenario life_sa_200 "SA 02 Preexisting empty" id "5ceab400-0000-4000-8000-000000000898" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint Functional;
}
sa_lifeline life_sa_201 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000899" {
description "";
parent @life_sa_200;
represented @life_sa_10;
}
sa_lifeline life_sa_202 "SA Receiver lane" id "5ceab400-0000-4000-8000-00000000089a" {
description "";
parent @life_sa_200;
represented @life_sa_11;
}
sa_scenario life_sa_300 "SA 03 Create only" id "5ceab400-0000-4000-8000-0000000008fc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_310];
viewpoint Functional;
}
sa_lifeline life_sa_301 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000008fd" {
description "";
parent @life_sa_300;
represented @life_sa_10;
}
sa_lifeline life_sa_302 "SA Receiver lane" id "5ceab400-0000-4000-8000-0000000008fe" {
description "";
parent @life_sa_300;
represented @life_sa_11;
}
sa_occurrence life_sa_310 "SA Create only receiver" id "5ceab400-0000-4000-8000-000000000906" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_302;
reply_to none;
sender @life_sa_301;
values [];
};
};
description "";
parent @life_sa_300;
postcondition "";
precondition "";
}
sa_scenario life_sa_400 "SA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000960" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_410, @life_sa_411];
viewpoint Functional;
}
sa_lifeline life_sa_401 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000961" {
description "";
parent @life_sa_400;
represented @life_sa_10;
}
sa_lifeline life_sa_402 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000962" {
description "";
parent @life_sa_400;
represented @life_sa_11;
}
sa_occurrence life_sa_410 "SA Open call" id "5ceab400-0000-4000-8000-00000000096a" {
body {
Exchange {
exchange @life_sa_service;
message_kind Call;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_411 "SA ALT delete or keep" id "5ceab400-0000-4000-8000-00000000096b" {
body {
Fragment {
branches [@life_sa_412, @life_sa_413];
operator Alternative;
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_412 "SA Left delete operand" id "5ceab400-0000-4000-8000-00000000096c" {
body {
Branch {
guard "stop_requested";
occurrences [@life_sa_414];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_413 "SA Right empty operand" id "5ceab400-0000-4000-8000-00000000096d" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_414 "SA Conditional delete receiver" id "5ceab400-0000-4000-8000-00000000096e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_412;
postcondition "";
precondition "";
}
sa_scenario life_sa_500 "SA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000009c4" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_510, @life_sa_511];
viewpoint Functional;
}
sa_lifeline life_sa_501 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000009c5" {
description "";
parent @life_sa_500;
represented @life_sa_10;
}
sa_lifeline life_sa_502 "SA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000009c6" {
description "";
parent @life_sa_500;
represented none;
}
sa_occurrence life_sa_510 "SA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000009ce" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_occurrence life_sa_511 "SA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000009cf" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_scenario life_sa_600 "SA 06 Self delete" id "5ceab400-0000-4000-8000-000000000a28" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_610];
viewpoint Functional;
}
sa_lifeline life_sa_601 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000a29" {
description "";
parent @life_sa_600;
represented @life_sa_10;
}
sa_occurrence life_sa_610 "SA Self delete controller" id "5ceab400-0000-4000-8000-000000000a32" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_601;
reply_to none;
sender @life_sa_601;
values [];
};
};
description "";
parent @life_sa_600;
postcondition "";
precondition "";
}
sa_port sa_lifecycle_service_input "SA Lifecycle service input" id "a4a6ecc0-3e12-51a5-b08b-199ad743525c" {
contract {
FunctionInput {
incoming_items [];
};
};
description "";
legacy none;
parent @life_sa_11;
}
sa_port sa_lifecycle_service_output "SA Lifecycle service output" id "b1aa66c4-0e8e-5091-beda-2b8d2005b688" {
contract {
FunctionOutput {
outgoing_items [];
};
};
description "";
legacy none;
parent @life_sa_10;
}
interaction life_oa_service "OA Lifecycle service" id "5ceab400-0000-4000-8000-0000000003f4" {
description "";
items [];
source @life_oa_10;
target @life_oa_11;
}
functional_exchange life_sa_service "SA Lifecycle service" id "5ceab400-0000-4000-8000-0000000007dc" {
description "";
items [];
source @life_sa_10;
source_port @sa_lifecycle_service_output;
target @life_sa_11;
target_port @sa_lifecycle_service_input;
}
}
@@ -0,0 +1,2 @@
// Preserve lifecycle note: 雨 · receiver.
// Geometry never changes these bytes.
@@ -0,0 +1,30 @@
{
"source_commit": "29084050a7c020e0fb488be37c6e1ab235769cc0",
"runtime_dll_sha256": "AA282FA47BB2C4E210CEA5E470CDBDCA58568F0BE0BC73E404D86AB9CD95EF6A",
"started_utc": "2026-09-11T15:54:23.8377438Z",
"working_directory": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\lifecycle-native-ui",
"arguments": [],
"isolated_localappdata": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\lifecycle-native-ui\\profile-29084050",
"executable": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\lifecycle-native-ui\\application-29084050\\arcadia-studio.exe",
"acceptance": "Development executable launched; native observation pending. Not a packaged-release acceptance.",
"pid": 4532,
"executable_sha256": "47332A6E6A0A496052754866A0863E5A08FE97AEB1D8A91C590A6AA5479035C2",
"build_status": {
"started_utc": "2026-09-11T15:33:29.7080352Z",
"exit": 0,
"log": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\ytr83r-desktop-native-api-correction.log",
"command": [
"cargo",
"build",
"--locked",
"--offline",
"-p",
"oa-desktop",
"--bin",
"arcadia-studio"
],
"seconds": 1160.0833972,
"completed_utc": "2026-09-11T15:52:49.8291375Z",
"name": "ytr83r-desktop-native-api-correction"
}
}
@@ -0,0 +1 @@
PASS oa-rename: complete Project/reachable sources/physical map
@@ -0,0 +1 @@
PASS same: all identities, fields, reachable source and physical bytes
@@ -0,0 +1 @@
PASS oa-rename: complete Project/reachable sources/physical map
@@ -0,0 +1 @@
PASS oa-rename: complete Project/reachable sources/physical map
@@ -0,0 +1 @@
PASS same: all identities, fields, reachable source and physical bytes
@@ -0,0 +1 @@
PASS baseline: complete Project/reachable sources/physical map
@@ -0,0 +1 @@
PASS same: all identities, fields, reachable source and physical bytes
Binary file not shown.

After

Width:  |  Height:  |  Size: 96 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 123 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 123 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 96 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 96 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 130 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 130 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 130 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 96 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 120 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 121 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 93 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 128 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 128 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 128 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 96 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 96 KiB

@@ -0,0 +1,530 @@
[
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-baseline-after-navigation/project.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-baseline-after-navigation/project.arcadia",
"sourceBytes": 20088,
"destinationBytes": 20088,
"sourceSha256": "444B31B04BBEB06605FEE27729E1BC4A6E11FD2CB1288B0F41E59D901961D676",
"sourceReadbackSha256": "444B31B04BBEB06605FEE27729E1BC4A6E11FD2CB1288B0F41E59D901961D676",
"destinationSha256": "444B31B04BBEB06605FEE27729E1BC4A6E11FD2CB1288B0F41E59D901961D676",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-baseline-after-navigation/rationale.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-baseline-after-navigation/rationale.arcadia",
"sourceBytes": 86,
"destinationBytes": 86,
"sourceSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF",
"sourceReadbackSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF",
"destinationSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-redo/project.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-redo/project.arcadia",
"sourceBytes": 20100,
"destinationBytes": 20100,
"sourceSha256": "3FBE484ECCCEC18CFF1B5AC4F4DD18B3B1CDC161C75A5CC0B1B02C20CE453C86",
"sourceReadbackSha256": "3FBE484ECCCEC18CFF1B5AC4F4DD18B3B1CDC161C75A5CC0B1B02C20CE453C86",
"destinationSha256": "3FBE484ECCCEC18CFF1B5AC4F4DD18B3B1CDC161C75A5CC0B1B02C20CE453C86",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-redo/rationale.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-redo/rationale.arcadia",
"sourceBytes": 86,
"destinationBytes": 86,
"sourceSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF",
"sourceReadbackSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF",
"destinationSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-renamed/project.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-renamed/project.arcadia",
"sourceBytes": 20100,
"destinationBytes": 20100,
"sourceSha256": "3FBE484ECCCEC18CFF1B5AC4F4DD18B3B1CDC161C75A5CC0B1B02C20CE453C86",
"sourceReadbackSha256": "3FBE484ECCCEC18CFF1B5AC4F4DD18B3B1CDC161C75A5CC0B1B02C20CE453C86",
"destinationSha256": "3FBE484ECCCEC18CFF1B5AC4F4DD18B3B1CDC161C75A5CC0B1B02C20CE453C86",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-renamed/rationale.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-renamed/rationale.arcadia",
"sourceBytes": 86,
"destinationBytes": 86,
"sourceSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF",
"sourceReadbackSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF",
"destinationSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-reopened/project.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-reopened/project.arcadia",
"sourceBytes": 20100,
"destinationBytes": 20100,
"sourceSha256": "3FBE484ECCCEC18CFF1B5AC4F4DD18B3B1CDC161C75A5CC0B1B02C20CE453C86",
"sourceReadbackSha256": "3FBE484ECCCEC18CFF1B5AC4F4DD18B3B1CDC161C75A5CC0B1B02C20CE453C86",
"destinationSha256": "3FBE484ECCCEC18CFF1B5AC4F4DD18B3B1CDC161C75A5CC0B1B02C20CE453C86",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-reopened/rationale.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-reopened/rationale.arcadia",
"sourceBytes": 86,
"destinationBytes": 86,
"sourceSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF",
"sourceReadbackSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF",
"destinationSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-undo/project.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-undo/project.arcadia",
"sourceBytes": 20088,
"destinationBytes": 20088,
"sourceSha256": "444B31B04BBEB06605FEE27729E1BC4A6E11FD2CB1288B0F41E59D901961D676",
"sourceReadbackSha256": "444B31B04BBEB06605FEE27729E1BC4A6E11FD2CB1288B0F41E59D901961D676",
"destinationSha256": "444B31B04BBEB06605FEE27729E1BC4A6E11FD2CB1288B0F41E59D901961D676",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-undo/rationale.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-undo/rationale.arcadia",
"sourceBytes": 86,
"destinationBytes": 86,
"sourceSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF",
"sourceReadbackSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF",
"destinationSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/launch-29084050.json",
"destinationRelativePath": "lifecycle-native-ui/launch-29084050.json",
"sourceBytes": 1340,
"destinationBytes": 1340,
"sourceSha256": "ACC088CE7E5B43C00722900E080B7CE1D4D4FA4A4784EC787384552C18289080",
"sourceReadbackSha256": "ACC088CE7E5B43C00722900E080B7CE1D4D4FA4A4784EC787384552C18289080",
"destinationSha256": "ACC088CE7E5B43C00722900E080B7CE1D4D4FA4A4784EC787384552C18289080",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/logs/oa-redo-oracle.log",
"destinationRelativePath": "lifecycle-native-ui/logs/oa-redo-oracle.log",
"sourceBytes": 65,
"destinationBytes": 65,
"sourceSha256": "73D9979E1DEC43620955C5F77DD8622D0AAC3EA88236B74E7EB768CE73183093",
"sourceReadbackSha256": "73D9979E1DEC43620955C5F77DD8622D0AAC3EA88236B74E7EB768CE73183093",
"destinationSha256": "73D9979E1DEC43620955C5F77DD8622D0AAC3EA88236B74E7EB768CE73183093",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/logs/oa-redo-same.log",
"destinationRelativePath": "lifecycle-native-ui/logs/oa-redo-same.log",
"sourceBytes": 72,
"destinationBytes": 72,
"sourceSha256": "4B2B8F76684C906EDEDB026A1F661082ABF71033B50F8584EFF5C604D9882DED",
"sourceReadbackSha256": "4B2B8F76684C906EDEDB026A1F661082ABF71033B50F8584EFF5C604D9882DED",
"destinationSha256": "4B2B8F76684C906EDEDB026A1F661082ABF71033B50F8584EFF5C604D9882DED",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/logs/oa-renamed-oracle.log",
"destinationRelativePath": "lifecycle-native-ui/logs/oa-renamed-oracle.log",
"sourceBytes": 65,
"destinationBytes": 65,
"sourceSha256": "73D9979E1DEC43620955C5F77DD8622D0AAC3EA88236B74E7EB768CE73183093",
"sourceReadbackSha256": "73D9979E1DEC43620955C5F77DD8622D0AAC3EA88236B74E7EB768CE73183093",
"destinationSha256": "73D9979E1DEC43620955C5F77DD8622D0AAC3EA88236B74E7EB768CE73183093",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/logs/oa-reopened-oracle.log",
"destinationRelativePath": "lifecycle-native-ui/logs/oa-reopened-oracle.log",
"sourceBytes": 65,
"destinationBytes": 65,
"sourceSha256": "73D9979E1DEC43620955C5F77DD8622D0AAC3EA88236B74E7EB768CE73183093",
"sourceReadbackSha256": "73D9979E1DEC43620955C5F77DD8622D0AAC3EA88236B74E7EB768CE73183093",
"destinationSha256": "73D9979E1DEC43620955C5F77DD8622D0AAC3EA88236B74E7EB768CE73183093",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/logs/oa-reopened-same.log",
"destinationRelativePath": "lifecycle-native-ui/logs/oa-reopened-same.log",
"sourceBytes": 72,
"destinationBytes": 72,
"sourceSha256": "4B2B8F76684C906EDEDB026A1F661082ABF71033B50F8584EFF5C604D9882DED",
"sourceReadbackSha256": "4B2B8F76684C906EDEDB026A1F661082ABF71033B50F8584EFF5C604D9882DED",
"destinationSha256": "4B2B8F76684C906EDEDB026A1F661082ABF71033B50F8584EFF5C604D9882DED",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/logs/oa-undo-oracle.log",
"destinationRelativePath": "lifecycle-native-ui/logs/oa-undo-oracle.log",
"sourceBytes": 64,
"destinationBytes": 64,
"sourceSha256": "C89FD20D9D1CD8CF4123C2100FBB4FD3B01F3BC1154ADC922DA381971AE7CA71",
"sourceReadbackSha256": "C89FD20D9D1CD8CF4123C2100FBB4FD3B01F3BC1154ADC922DA381971AE7CA71",
"destinationSha256": "C89FD20D9D1CD8CF4123C2100FBB4FD3B01F3BC1154ADC922DA381971AE7CA71",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/logs/oa-undo-same.log",
"destinationRelativePath": "lifecycle-native-ui/logs/oa-undo-same.log",
"sourceBytes": 72,
"destinationBytes": 72,
"sourceSha256": "4B2B8F76684C906EDEDB026A1F661082ABF71033B50F8584EFF5C604D9882DED",
"sourceReadbackSha256": "4B2B8F76684C906EDEDB026A1F661082ABF71033B50F8584EFF5C604D9882DED",
"destinationSha256": "4B2B8F76684C906EDEDB026A1F661082ABF71033B50F8584EFF5C604D9882DED",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-baseline-save-min.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-baseline-save-min.jpg",
"sourceBytes": 97973,
"destinationBytes": 97973,
"sourceSha256": "B9A012C37C0A0E01B5698BAC9FDCC243FCD3E2C12154BB69EE3C896C006098D3",
"sourceReadbackSha256": "B9A012C37C0A0E01B5698BAC9FDCC243FCD3E2C12154BB69EE3C896C006098D3",
"destinationSha256": "B9A012C37C0A0E01B5698BAC9FDCC243FCD3E2C12154BB69EE3C896C006098D3",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-conditional-delete-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-conditional-delete-100.jpg",
"sourceBytes": 135395,
"destinationBytes": 135395,
"sourceSha256": "9C28D0E1C1661698160ABA7C36CAC4A33F6551F41F8A637E2091013C6F33D8EB",
"sourceReadbackSha256": "9C28D0E1C1661698160ABA7C36CAC4A33F6551F41F8A637E2091013C6F33D8EB",
"destinationSha256": "9C28D0E1C1661698160ABA7C36CAC4A33F6551F41F8A637E2091013C6F33D8EB",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-conditional-delete-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-conditional-delete-fit.jpg",
"sourceBytes": 131644,
"destinationBytes": 131644,
"sourceSha256": "F1E2A6EBFD3C892D0B969C71F932E67D1CDD6DF7713FFD0E8E9A526B77F71BCC",
"sourceReadbackSha256": "F1E2A6EBFD3C892D0B969C71F932E67D1CDD6DF7713FFD0E8E9A526B77F71BCC",
"destinationSha256": "F1E2A6EBFD3C892D0B969C71F932E67D1CDD6DF7713FFD0E8E9A526B77F71BCC",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-conditional-delete-selected-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-conditional-delete-selected-fit.jpg",
"sourceBytes": 135053,
"destinationBytes": 135053,
"sourceSha256": "DA0FA702C1E5412510676A194ED9D4512F0C2A7FCB2C1B966333D46D5997D14B",
"sourceReadbackSha256": "DA0FA702C1E5412510676A194ED9D4512F0C2A7FCB2C1B966333D46D5997D14B",
"destinationSha256": "DA0FA702C1E5412510676A194ED9D4512F0C2A7FCB2C1B966333D46D5997D14B",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-create-only-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-create-only-100.jpg",
"sourceBytes": 126062,
"destinationBytes": 126062,
"sourceSha256": "DCA084E1CF622551DB7C9FE4C5E6CECAB5C9CE53C5C543ADD1F9BA1F84003AD1",
"sourceReadbackSha256": "DCA084E1CF622551DB7C9FE4C5E6CECAB5C9CE53C5C543ADD1F9BA1F84003AD1",
"destinationSha256": "DCA084E1CF622551DB7C9FE4C5E6CECAB5C9CE53C5C543ADD1F9BA1F84003AD1",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-empty-lane-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-empty-lane-100.jpg",
"sourceBytes": 125802,
"destinationBytes": 125802,
"sourceSha256": "0B83BC659444F8C895E59C9ABFBE673B452E8B4F778C25B21812AD32685F089D",
"sourceReadbackSha256": "0B83BC659444F8C895E59C9ABFBE673B452E8B4F778C25B21812AD32685F089D",
"destinationSha256": "0B83BC659444F8C895E59C9ABFBE673B452E8B4F778C25B21812AD32685F089D",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-redo-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-redo-min-fit.jpg",
"sourceBytes": 98739,
"destinationBytes": 98739,
"sourceSha256": "3CA0F6644B8028346D160D12A0F2D616BC236947E440F52ABC4F3ECB4F34E2BD",
"sourceReadbackSha256": "3CA0F6644B8028346D160D12A0F2D616BC236947E440F52ABC4F3ECB4F34E2BD",
"destinationSha256": "3CA0F6644B8028346D160D12A0F2D616BC236947E440F52ABC4F3ECB4F34E2BD",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-redo-saved-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-redo-saved-min-fit.jpg",
"sourceBytes": 98524,
"destinationBytes": 98524,
"sourceSha256": "77A25159B6D3D10524E5620C229AE955F1896900BB58FDB57D0B15EFFEE82DFA",
"sourceReadbackSha256": "77A25159B6D3D10524E5620C229AE955F1896900BB58FDB57D0B15EFFEE82DFA",
"destinationSha256": "77A25159B6D3D10524E5620C229AE955F1896900BB58FDB57D0B15EFFEE82DFA",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-rename-applied-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-rename-applied-min-fit.jpg",
"sourceBytes": 98577,
"destinationBytes": 98577,
"sourceSha256": "4F35015D305A85F6D358251DD62C2CC3266E005246A96550AC2E477E4256E0C1",
"sourceReadbackSha256": "4F35015D305A85F6D358251DD62C2CC3266E005246A96550AC2E477E4256E0C1",
"destinationSha256": "4F35015D305A85F6D358251DD62C2CC3266E005246A96550AC2E477E4256E0C1",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-rename-saved-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-rename-saved-min-fit.jpg",
"sourceBytes": 98377,
"destinationBytes": 98377,
"sourceSha256": "DD7101ECEE0DE15C331ECC50C9F853D6AEAEFE45067B81DCDDFCF128EAEBA735",
"sourceReadbackSha256": "DD7101ECEE0DE15C331ECC50C9F853D6AEAEFE45067B81DCDDFCF128EAEBA735",
"destinationSha256": "DD7101ECEE0DE15C331ECC50C9F853D6AEAEFE45067B81DCDDFCF128EAEBA735",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-reopened-delete-selected-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-reopened-delete-selected-min-fit.jpg",
"sourceBytes": 100424,
"destinationBytes": 100424,
"sourceSha256": "4027C730928E9B75D7698AE26F12E2ED0081CD3831B8D8EDE4AAB845C188903C",
"sourceReadbackSha256": "4027C730928E9B75D7698AE26F12E2ED0081CD3831B8D8EDE4AAB845C188903C",
"destinationSha256": "4027C730928E9B75D7698AE26F12E2ED0081CD3831B8D8EDE4AAB845C188903C",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-reopened-saved-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-reopened-saved-min-fit.jpg",
"sourceBytes": 98416,
"destinationBytes": 98416,
"sourceSha256": "8AE88DB485BD0A4D057CAEBC0077138996A80F2FF7B6BDBC419CA792418EA988",
"sourceReadbackSha256": "8AE88DB485BD0A4D057CAEBC0077138996A80F2FF7B6BDBC419CA792418EA988",
"destinationSha256": "8AE88DB485BD0A4D057CAEBC0077138996A80F2FF7B6BDBC419CA792418EA988",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-root-create-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-root-create-100.jpg",
"sourceBytes": 132741,
"destinationBytes": 132741,
"sourceSha256": "160DC77A5981A4F9699B4BE4F41F69A018BFB202A82C45BFA23CA86AA87421F9",
"sourceReadbackSha256": "160DC77A5981A4F9699B4BE4F41F69A018BFB202A82C45BFA23CA86AA87421F9",
"destinationSha256": "160DC77A5981A4F9699B4BE4F41F69A018BFB202A82C45BFA23CA86AA87421F9",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-root-delete-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-root-delete-100.jpg",
"sourceBytes": 133014,
"destinationBytes": 133014,
"sourceSha256": "9A978596E1EF8F0E7A93C2B3026979EFB32E9E51FC21710ECF10F073F1AFDCC1",
"sourceReadbackSha256": "9A978596E1EF8F0E7A93C2B3026979EFB32E9E51FC21710ECF10F073F1AFDCC1",
"destinationSha256": "9A978596E1EF8F0E7A93C2B3026979EFB32E9E51FC21710ECF10F073F1AFDCC1",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-root-delete-selected-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-root-delete-selected-min-fit.jpg",
"sourceBytes": 100062,
"destinationBytes": 100062,
"sourceSha256": "A9ECDB6F05B427BCE3067F093F11F9611F15CEE2E3D5AF26C489F53E176B17AB",
"sourceReadbackSha256": "A9ECDB6F05B427BCE3067F093F11F9611F15CEE2E3D5AF26C489F53E176B17AB",
"destinationSha256": "A9ECDB6F05B427BCE3067F093F11F9611F15CEE2E3D5AF26C489F53E176B17AB",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-root-lane-header-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-root-lane-header-100.jpg",
"sourceBytes": 132949,
"destinationBytes": 132949,
"sourceSha256": "66C604DE48997F4F4F91BAC7CD451AE5325ACDFBF8BAFCA7E8BD0F472D555483",
"sourceReadbackSha256": "66C604DE48997F4F4F91BAC7CD451AE5325ACDFBF8BAFCA7E8BD0F472D555483",
"destinationSha256": "66C604DE48997F4F4F91BAC7CD451AE5325ACDFBF8BAFCA7E8BD0F472D555483",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-root-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-root-min-fit.jpg",
"sourceBytes": 98394,
"destinationBytes": 98394,
"sourceSha256": "F76399EDCA31C25B9F74D1BD5742043933546504CCCAA048F5B80F3AE5F02A08",
"sourceReadbackSha256": "F76399EDCA31C25B9F74D1BD5742043933546504CCCAA048F5B80F3AE5F02A08",
"destinationSha256": "F76399EDCA31C25B9F74D1BD5742043933546504CCCAA048F5B80F3AE5F02A08",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-self-delete-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-self-delete-100.jpg",
"sourceBytes": 122328,
"destinationBytes": 122328,
"sourceSha256": "D4BAFDA6D142C981AD4037C4EAFEE21ADCEB3DE7DDDDD03105D7F04AB3946AE3",
"sourceReadbackSha256": "D4BAFDA6D142C981AD4037C4EAFEE21ADCEB3DE7DDDDD03105D7F04AB3946AE3",
"destinationSha256": "D4BAFDA6D142C981AD4037C4EAFEE21ADCEB3DE7DDDDD03105D7F04AB3946AE3",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-self-delete-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-self-delete-fit.jpg",
"sourceBytes": 124165,
"destinationBytes": 124165,
"sourceSha256": "A8DE90DB598A62D8E123A2112C7EE2B80D5B74CBDF8E7B5C31506B6231499058",
"sourceReadbackSha256": "A8DE90DB598A62D8E123A2112C7EE2B80D5B74CBDF8E7B5C31506B6231499058",
"destinationSha256": "A8DE90DB598A62D8E123A2112C7EE2B80D5B74CBDF8E7B5C31506B6231499058",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-self-delete-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-self-delete-min-fit.jpg",
"sourceBytes": 95590,
"destinationBytes": 95590,
"sourceSha256": "20ED47F054F8C51B3C385E05E7EC64CE78E238F60E9D483E371388688116A600",
"sourceReadbackSha256": "20ED47F054F8C51B3C385E05E7EC64CE78E238F60E9D483E371388688116A600",
"destinationSha256": "20ED47F054F8C51B3C385E05E7EC64CE78E238F60E9D483E371388688116A600",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-self-delete-selected-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-self-delete-selected-100.jpg",
"sourceBytes": 124428,
"destinationBytes": 124428,
"sourceSha256": "1A48CED6B2C5696A987E2805744FD0163A455119A83FD61E2EAF005F28920C7D",
"sourceReadbackSha256": "1A48CED6B2C5696A987E2805744FD0163A455119A83FD61E2EAF005F28920C7D",
"destinationSha256": "1A48CED6B2C5696A987E2805744FD0163A455119A83FD61E2EAF005F28920C7D",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-unassigned-create-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-unassigned-create-100.jpg",
"sourceBytes": 130843,
"destinationBytes": 130843,
"sourceSha256": "688952D1CB8B21C53CB95DB032E76F647F623C201D82C2F4467D33371DA7877A",
"sourceReadbackSha256": "688952D1CB8B21C53CB95DB032E76F647F623C201D82C2F4467D33371DA7877A",
"destinationSha256": "688952D1CB8B21C53CB95DB032E76F647F623C201D82C2F4467D33371DA7877A",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-unassigned-delete-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-unassigned-delete-100.jpg",
"sourceBytes": 130943,
"destinationBytes": 130943,
"sourceSha256": "9C42141F010B8C856C20E1E97F72411BE73729E756C8177B0490081050077057",
"sourceReadbackSha256": "9C42141F010B8C856C20E1E97F72411BE73729E756C8177B0490081050077057",
"destinationSha256": "9C42141F010B8C856C20E1E97F72411BE73729E756C8177B0490081050077057",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-unassigned-lane-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-unassigned-lane-100.jpg",
"sourceBytes": 130777,
"destinationBytes": 130777,
"sourceSha256": "B9A4ACA0C9D9B7A997566C87BD8329E4E481EF2E79F21F4C67451BE5603C78C1",
"sourceReadbackSha256": "B9A4ACA0C9D9B7A997566C87BD8329E4E481EF2E79F21F4C67451BE5603C78C1",
"destinationSha256": "B9A4ACA0C9D9B7A997566C87BD8329E4E481EF2E79F21F4C67451BE5603C78C1",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-undo-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-undo-min-fit.jpg",
"sourceBytes": 98504,
"destinationBytes": 98504,
"sourceSha256": "698BCFBEFDA2F8626633ACB24A3D1E64008ECC51E233D9F9E3641034E358F3A2",
"sourceReadbackSha256": "698BCFBEFDA2F8626633ACB24A3D1E64008ECC51E233D9F9E3641034E358F3A2",
"destinationSha256": "698BCFBEFDA2F8626633ACB24A3D1E64008ECC51E233D9F9E3641034E358F3A2",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-undo-saved-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-undo-saved-min-fit.jpg",
"sourceBytes": 98125,
"destinationBytes": 98125,
"sourceSha256": "92FF7496703AF055E7CFF1664F0E81E7A7074C328F8AEE53D0CADA9A814C68E4",
"sourceReadbackSha256": "92FF7496703AF055E7CFF1664F0E81E7A7074C328F8AEE53D0CADA9A814C68E4",
"destinationSha256": "92FF7496703AF055E7CFF1664F0E81E7A7074C328F8AEE53D0CADA9A814C68E4",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/ytr83r-desktop-native-api-correction-status.json",
"destinationRelativePath": "ytr83r-desktop-native-api-correction-status.json",
"sourceBytes": 462,
"destinationBytes": 462,
"sourceSha256": "618B20C3443265A92F614E62E68E7B4D40AA814BAAF4F8796DD9A74C8D0060B8",
"sourceReadbackSha256": "618B20C3443265A92F614E62E68E7B4D40AA814BAAF4F8796DD9A74C8D0060B8",
"destinationSha256": "618B20C3443265A92F614E62E68E7B4D40AA814BAAF4F8796DD9A74C8D0060B8",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/ytr83r-desktop-native-api-correction.log",
"destinationRelativePath": "ytr83r-desktop-native-api-correction.log",
"sourceBytes": 992,
"destinationBytes": 992,
"sourceSha256": "A90A58C3BD31E0E9B5583B9E5C8349F7983706799E7BCE0B8ACFBD9CE6AB7C77",
"sourceReadbackSha256": "A90A58C3BD31E0E9B5583B9E5C8349F7983706799E7BCE0B8ACFBD9CE6AB7C77",
"destinationSha256": "A90A58C3BD31E0E9B5583B9E5C8349F7983706799E7BCE0B8ACFBD9CE6AB7C77",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/ytr83r-workspace-clippy-api-correction-status.json",
"destinationRelativePath": "ytr83r-workspace-clippy-api-correction-status.json",
"sourceBytes": 483,
"destinationBytes": 483,
"sourceSha256": "36CF033792CA609FDCDA7B1F38579F8F2B2FD2EEE3E76C2273B6A1381FA56FC3",
"sourceReadbackSha256": "36CF033792CA609FDCDA7B1F38579F8F2B2FD2EEE3E76C2273B6A1381FA56FC3",
"destinationSha256": "36CF033792CA609FDCDA7B1F38579F8F2B2FD2EEE3E76C2273B6A1381FA56FC3",
"sourceUnchanged": true,
"byteExact": true
},
{
"sourceRelativePath": ".local/ytr83r-workspace-clippy-api-correction.log",
"destinationRelativePath": "ytr83r-workspace-clippy-api-correction.log",
"sourceBytes": 8262,
"destinationBytes": 8262,
"sourceSha256": "2072D1874DE8D23952B391F93809E07EDD01E03996E6A2965EF6C446ED6B3D37",
"sourceReadbackSha256": "2072D1874DE8D23952B391F93809E07EDD01E03996E6A2965EF6C446ED6B3D37",
"destinationSha256": "2072D1874DE8D23952B391F93809E07EDD01E03996E6A2965EF6C446ED6B3D37",
"sourceUnchanged": true,
"byteExact": true
}
]
@@ -0,0 +1,15 @@
{
"completedUtc": "2026-09-11T16:29:34.597093Z",
"payloadFileCount": 48,
"payloadBytes": 3110769.0,
"screenshotCount": 26,
"checkpointCount": 5,
"oracleAndSameLogs": 7,
"discrepancies": [],
"passed": true,
"secondReadbackUtc": "2026-09-11T16:30:47.8350068Z",
"exactPayloadInventory": true,
"secondReadbackHashMatches": true,
"inventoryDifferences": [],
"rehashDifferences": []
}
@@ -0,0 +1,355 @@
{
"schema": 1,
"owner": "Codex-ytr83r /root/wsl_startup_review",
"frozenUtc": "2026-09-11T16:28:58.4721601Z",
"sourceWorkspace": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio",
"archivalOnly": true,
"nativeOrOracleExecuted": false,
"fileCount": 48,
"totalSourceBytes": 3110769.0,
"checkpointDirectories": [
"lifecycle-native-ui/checkpoints/oa-baseline-after-navigation",
"lifecycle-native-ui/checkpoints/oa-renamed",
"lifecycle-native-ui/checkpoints/oa-undo",
"lifecycle-native-ui/checkpoints/oa-redo",
"lifecycle-native-ui/checkpoints/oa-reopened"
],
"files": [
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-baseline-after-navigation/project.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-baseline-after-navigation/project.arcadia",
"sourceBytes": 20088,
"sourceLastWriteUtc": "2026-09-11T16:19:42.3207880Z",
"sourceSha256": "444B31B04BBEB06605FEE27729E1BC4A6E11FD2CB1288B0F41E59D901961D676"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-baseline-after-navigation/rationale.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-baseline-after-navigation/rationale.arcadia",
"sourceBytes": 86,
"sourceLastWriteUtc": "2026-09-11T16:19:42.3221594Z",
"sourceSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-redo/project.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-redo/project.arcadia",
"sourceBytes": 20100,
"sourceLastWriteUtc": "2026-09-11T16:22:30.4764429Z",
"sourceSha256": "3FBE484ECCCEC18CFF1B5AC4F4DD18B3B1CDC161C75A5CC0B1B02C20CE453C86"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-redo/rationale.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-redo/rationale.arcadia",
"sourceBytes": 86,
"sourceLastWriteUtc": "2026-09-11T16:22:30.4792910Z",
"sourceSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-renamed/project.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-renamed/project.arcadia",
"sourceBytes": 20100,
"sourceLastWriteUtc": "2026-09-11T16:20:58.2307661Z",
"sourceSha256": "3FBE484ECCCEC18CFF1B5AC4F4DD18B3B1CDC161C75A5CC0B1B02C20CE453C86"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-renamed/rationale.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-renamed/rationale.arcadia",
"sourceBytes": 86,
"sourceLastWriteUtc": "2026-09-11T16:20:58.2389057Z",
"sourceSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-reopened/project.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-reopened/project.arcadia",
"sourceBytes": 20100,
"sourceLastWriteUtc": "2026-09-11T16:24:56.8991946Z",
"sourceSha256": "3FBE484ECCCEC18CFF1B5AC4F4DD18B3B1CDC161C75A5CC0B1B02C20CE453C86"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-reopened/rationale.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-reopened/rationale.arcadia",
"sourceBytes": 86,
"sourceLastWriteUtc": "2026-09-11T16:24:56.9037805Z",
"sourceSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-undo/project.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-undo/project.arcadia",
"sourceBytes": 20088,
"sourceLastWriteUtc": "2026-09-11T16:21:45.2362373Z",
"sourceSha256": "444B31B04BBEB06605FEE27729E1BC4A6E11FD2CB1288B0F41E59D901961D676"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/checkpoints/oa-undo/rationale.arcadia",
"destinationRelativePath": "lifecycle-native-ui/checkpoints/oa-undo/rationale.arcadia",
"sourceBytes": 86,
"sourceLastWriteUtc": "2026-09-11T16:21:45.2362373Z",
"sourceSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/launch-29084050.json",
"destinationRelativePath": "lifecycle-native-ui/launch-29084050.json",
"sourceBytes": 1340,
"sourceLastWriteUtc": "2026-09-11T15:54:24.7140355Z",
"sourceSha256": "ACC088CE7E5B43C00722900E080B7CE1D4D4FA4A4784EC787384552C18289080"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/logs/oa-redo-oracle.log",
"destinationRelativePath": "lifecycle-native-ui/logs/oa-redo-oracle.log",
"sourceBytes": 65,
"sourceLastWriteUtc": "2026-09-11T16:22:32.2898435Z",
"sourceSha256": "73D9979E1DEC43620955C5F77DD8622D0AAC3EA88236B74E7EB768CE73183093"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/logs/oa-redo-same.log",
"destinationRelativePath": "lifecycle-native-ui/logs/oa-redo-same.log",
"sourceBytes": 72,
"sourceLastWriteUtc": "2026-09-11T16:22:33.0018988Z",
"sourceSha256": "4B2B8F76684C906EDEDB026A1F661082ABF71033B50F8584EFF5C604D9882DED"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/logs/oa-renamed-oracle.log",
"destinationRelativePath": "lifecycle-native-ui/logs/oa-renamed-oracle.log",
"sourceBytes": 65,
"sourceLastWriteUtc": "2026-09-11T16:21:00.3255241Z",
"sourceSha256": "73D9979E1DEC43620955C5F77DD8622D0AAC3EA88236B74E7EB768CE73183093"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/logs/oa-reopened-oracle.log",
"destinationRelativePath": "lifecycle-native-ui/logs/oa-reopened-oracle.log",
"sourceBytes": 65,
"sourceLastWriteUtc": "2026-09-11T16:24:57.9817011Z",
"sourceSha256": "73D9979E1DEC43620955C5F77DD8622D0AAC3EA88236B74E7EB768CE73183093"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/logs/oa-reopened-same.log",
"destinationRelativePath": "lifecycle-native-ui/logs/oa-reopened-same.log",
"sourceBytes": 72,
"sourceLastWriteUtc": "2026-09-11T16:24:58.3858674Z",
"sourceSha256": "4B2B8F76684C906EDEDB026A1F661082ABF71033B50F8584EFF5C604D9882DED"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/logs/oa-undo-oracle.log",
"destinationRelativePath": "lifecycle-native-ui/logs/oa-undo-oracle.log",
"sourceBytes": 64,
"sourceLastWriteUtc": "2026-09-11T16:21:46.8046864Z",
"sourceSha256": "C89FD20D9D1CD8CF4123C2100FBB4FD3B01F3BC1154ADC922DA381971AE7CA71"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/logs/oa-undo-same.log",
"destinationRelativePath": "lifecycle-native-ui/logs/oa-undo-same.log",
"sourceBytes": 72,
"sourceLastWriteUtc": "2026-09-11T16:21:47.4341946Z",
"sourceSha256": "4B2B8F76684C906EDEDB026A1F661082ABF71033B50F8584EFF5C604D9882DED"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-baseline-save-min.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-baseline-save-min.jpg",
"sourceBytes": 97973,
"sourceLastWriteUtc": "2026-09-11T16:19:31.7235480Z",
"sourceSha256": "B9A012C37C0A0E01B5698BAC9FDCC243FCD3E2C12154BB69EE3C896C006098D3"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-conditional-delete-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-conditional-delete-100.jpg",
"sourceBytes": 135395,
"sourceLastWriteUtc": "2026-09-11T16:06:13.6822507Z",
"sourceSha256": "9C28D0E1C1661698160ABA7C36CAC4A33F6551F41F8A637E2091013C6F33D8EB"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-conditional-delete-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-conditional-delete-fit.jpg",
"sourceBytes": 131644,
"sourceLastWriteUtc": "2026-09-11T16:06:32.3778038Z",
"sourceSha256": "F1E2A6EBFD3C892D0B969C71F932E67D1CDD6DF7713FFD0E8E9A526B77F71BCC"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-conditional-delete-selected-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-conditional-delete-selected-fit.jpg",
"sourceBytes": 135053,
"sourceLastWriteUtc": "2026-09-11T16:06:47.7143059Z",
"sourceSha256": "DA0FA702C1E5412510676A194ED9D4512F0C2A7FCB2C1B966333D46D5997D14B"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-create-only-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-create-only-100.jpg",
"sourceBytes": 126062,
"sourceLastWriteUtc": "2026-09-11T16:05:48.0564283Z",
"sourceSha256": "DCA084E1CF622551DB7C9FE4C5E6CECAB5C9CE53C5C543ADD1F9BA1F84003AD1"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-empty-lane-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-empty-lane-100.jpg",
"sourceBytes": 125802,
"sourceLastWriteUtc": "2026-09-11T16:05:35.8742627Z",
"sourceSha256": "0B83BC659444F8C895E59C9ABFBE673B452E8B4F778C25B21812AD32685F089D"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-redo-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-redo-min-fit.jpg",
"sourceBytes": 98739,
"sourceLastWriteUtc": "2026-09-11T16:21:57.4158759Z",
"sourceSha256": "3CA0F6644B8028346D160D12A0F2D616BC236947E440F52ABC4F3ECB4F34E2BD"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-redo-saved-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-redo-saved-min-fit.jpg",
"sourceBytes": 98524,
"sourceLastWriteUtc": "2026-09-11T16:22:10.2663176Z",
"sourceSha256": "77A25159B6D3D10524E5620C229AE955F1896900BB58FDB57D0B15EFFEE82DFA"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-rename-applied-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-rename-applied-min-fit.jpg",
"sourceBytes": 98577,
"sourceLastWriteUtc": "2026-09-11T16:20:25.4083691Z",
"sourceSha256": "4F35015D305A85F6D358251DD62C2CC3266E005246A96550AC2E477E4256E0C1"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-rename-saved-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-rename-saved-min-fit.jpg",
"sourceBytes": 98377,
"sourceLastWriteUtc": "2026-09-11T16:20:39.0060269Z",
"sourceSha256": "DD7101ECEE0DE15C331ECC50C9F853D6AEAEFE45067B81DCDDFCF128EAEBA735"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-reopened-delete-selected-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-reopened-delete-selected-min-fit.jpg",
"sourceBytes": 100424,
"sourceLastWriteUtc": "2026-09-11T16:24:31.0485815Z",
"sourceSha256": "4027C730928E9B75D7698AE26F12E2ED0081CD3831B8D8EDE4AAB845C188903C"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-reopened-saved-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-reopened-saved-min-fit.jpg",
"sourceBytes": 98416,
"sourceLastWriteUtc": "2026-09-11T16:24:40.4177645Z",
"sourceSha256": "8AE88DB485BD0A4D057CAEBC0077138996A80F2FF7B6BDBC419CA792418EA988"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-root-create-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-root-create-100.jpg",
"sourceBytes": 132741,
"sourceLastWriteUtc": "2026-09-11T16:03:15.7422008Z",
"sourceSha256": "160DC77A5981A4F9699B4BE4F41F69A018BFB202A82C45BFA23CA86AA87421F9"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-root-delete-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-root-delete-100.jpg",
"sourceBytes": 133014,
"sourceLastWriteUtc": "2026-09-11T16:02:13.7024566Z",
"sourceSha256": "9A978596E1EF8F0E7A93C2B3026979EFB32E9E51FC21710ECF10F073F1AFDCC1"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-root-delete-selected-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-root-delete-selected-min-fit.jpg",
"sourceBytes": 100062,
"sourceLastWriteUtc": "2026-09-11T16:19:07.5754074Z",
"sourceSha256": "A9ECDB6F05B427BCE3067F093F11F9611F15CEE2E3D5AF26C489F53E176B17AB"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-root-lane-header-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-root-lane-header-100.jpg",
"sourceBytes": 132949,
"sourceLastWriteUtc": "2026-09-11T16:03:59.0567868Z",
"sourceSha256": "66C604DE48997F4F4F91BAC7CD451AE5325ACDFBF8BAFCA7E8BD0F472D555483"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-root-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-root-min-fit.jpg",
"sourceBytes": 98394,
"sourceLastWriteUtc": "2026-09-11T16:19:01.3486048Z",
"sourceSha256": "F76399EDCA31C25B9F74D1BD5742043933546504CCCAA048F5B80F3AE5F02A08"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-self-delete-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-self-delete-100.jpg",
"sourceBytes": 122328,
"sourceLastWriteUtc": "2026-09-11T16:09:16.9148677Z",
"sourceSha256": "D4BAFDA6D142C981AD4037C4EAFEE21ADCEB3DE7DDDDD03105D7F04AB3946AE3"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-self-delete-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-self-delete-fit.jpg",
"sourceBytes": 124165,
"sourceLastWriteUtc": "2026-09-11T16:10:16.6063042Z",
"sourceSha256": "A8DE90DB598A62D8E123A2112C7EE2B80D5B74CBDF8E7B5C31506B6231499058"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-self-delete-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-self-delete-min-fit.jpg",
"sourceBytes": 95590,
"sourceLastWriteUtc": "2026-09-11T16:18:41.5944777Z",
"sourceSha256": "20ED47F054F8C51B3C385E05E7EC64CE78E238F60E9D483E371388688116A600"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-self-delete-selected-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-self-delete-selected-100.jpg",
"sourceBytes": 124428,
"sourceLastWriteUtc": "2026-09-11T16:09:31.2775527Z",
"sourceSha256": "1A48CED6B2C5696A987E2805744FD0163A455119A83FD61E2EAF005F28920C7D"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-unassigned-create-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-unassigned-create-100.jpg",
"sourceBytes": 130843,
"sourceLastWriteUtc": "2026-09-11T16:08:36.1843783Z",
"sourceSha256": "688952D1CB8B21C53CB95DB032E76F647F623C201D82C2F4467D33371DA7877A"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-unassigned-delete-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-unassigned-delete-100.jpg",
"sourceBytes": 130943,
"sourceLastWriteUtc": "2026-09-11T16:08:44.7212228Z",
"sourceSha256": "9C42141F010B8C856C20E1E97F72411BE73729E756C8177B0490081050077057"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-unassigned-lane-100.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-unassigned-lane-100.jpg",
"sourceBytes": 130777,
"sourceLastWriteUtc": "2026-09-11T16:08:55.8167861Z",
"sourceSha256": "B9A4ACA0C9D9B7A997566C87BD8329E4E481EF2E79F21F4C67451BE5603C78C1"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-undo-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-undo-min-fit.jpg",
"sourceBytes": 98504,
"sourceLastWriteUtc": "2026-09-11T16:21:15.7531842Z",
"sourceSha256": "698BCFBEFDA2F8626633ACB24A3D1E64008ECC51E233D9F9E3641034E358F3A2"
},
{
"sourceRelativePath": ".local/lifecycle-native-ui/screenshots/oa-undo-saved-min-fit.jpg",
"destinationRelativePath": "lifecycle-native-ui/screenshots/oa-undo-saved-min-fit.jpg",
"sourceBytes": 98125,
"sourceLastWriteUtc": "2026-09-11T16:21:25.1035080Z",
"sourceSha256": "92FF7496703AF055E7CFF1664F0E81E7A7074C328F8AEE53D0CADA9A814C68E4"
},
{
"sourceRelativePath": ".local/ytr83r-desktop-native-api-correction-status.json",
"destinationRelativePath": "ytr83r-desktop-native-api-correction-status.json",
"sourceBytes": 462,
"sourceLastWriteUtc": "2026-09-11T15:52:50.0619632Z",
"sourceSha256": "618B20C3443265A92F614E62E68E7B4D40AA814BAAF4F8796DD9A74C8D0060B8"
},
{
"sourceRelativePath": ".local/ytr83r-desktop-native-api-correction.log",
"destinationRelativePath": "ytr83r-desktop-native-api-correction.log",
"sourceBytes": 992,
"sourceLastWriteUtc": "2026-09-11T15:52:49.4775991Z",
"sourceSha256": "A90A58C3BD31E0E9B5583B9E5C8349F7983706799E7BCE0B8ACFBD9CE6AB7C77"
},
{
"sourceRelativePath": ".local/ytr83r-workspace-clippy-api-correction-status.json",
"destinationRelativePath": "ytr83r-workspace-clippy-api-correction-status.json",
"sourceBytes": 483,
"sourceLastWriteUtc": "2026-09-11T16:20:35.3592161Z",
"sourceSha256": "36CF033792CA609FDCDA7B1F38579F8F2B2FD2EEE3E76C2273B6A1381FA56FC3"
},
{
"sourceRelativePath": ".local/ytr83r-workspace-clippy-api-correction.log",
"destinationRelativePath": "ytr83r-workspace-clippy-api-correction.log",
"sourceBytes": 8262,
"sourceLastWriteUtc": "2026-09-11T16:20:33.7173363Z",
"sourceSha256": "2072D1874DE8D23952B391F93809E07EDD01E03996E6A2965EF6C446ED6B3D37"
}
]
}
@@ -0,0 +1,18 @@
{
"started_utc": "2026-09-11T15:33:29.7080352Z",
"exit": 0,
"log": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\ytr83r-desktop-native-api-correction.log",
"command": [
"cargo",
"build",
"--locked",
"--offline",
"-p",
"oa-desktop",
"--bin",
"arcadia-studio"
],
"seconds": 1160.0833972,
"completed_utc": "2026-09-11T15:52:49.8291375Z",
"name": "ytr83r-desktop-native-api-correction"
}
@@ -0,0 +1,26 @@
Compiling tokio v1.53.1
Compiling iced_futures v0.14.0
Compiling iced_graphics v0.14.0
Compiling iced_debug v0.14.0
Compiling subtle v2.6.1
Compiling rustls v0.23.43
Compiling hyper v1.11.1
Compiling serde v1.0.229
Compiling iced_wgpu v0.14.0
Compiling iced_runtime v0.14.0
Compiling hyper-util v0.1.20
Compiling tower v0.5.3
Compiling iced_program v0.14.0
Compiling serde_json v1.0.151
Compiling iced_renderer v0.14.0
Compiling tokio-rustls v0.26.5
Compiling serde_urlencoded v0.7.1
Compiling hyper-rustls v0.27.9
Compiling iced_winit v0.14.0
Compiling iced_widget v0.14.2
Compiling tower-http v0.6.11
Compiling reqwest v0.12.28
Compiling iced v0.14.0
Compiling oa-core v0.2.0 (C:\Users\User\Documents\Git\ARCADIA-Studio\crates\oa-core)
Compiling oa-desktop v0.2.0 (C:\Users\User\Documents\Git\ARCADIA-Studio\crates\oa-desktop)
Finished `dev` profile [unoptimized] target(s) in 19m 18s
@@ -0,0 +1,19 @@
{
"completed_utc": "2026-09-11T16:20:34.8971199Z",
"started_utc": "2026-09-11T15:55:19.5195475Z",
"seconds": 1515.3259688,
"log": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\ytr83r-workspace-clippy-api-correction.log",
"name": "ytr83r-workspace-clippy-api-correction",
"command": [
"cargo",
"clippy",
"--locked",
"--offline",
"--workspace",
"--all-targets",
"--",
"-D",
"warnings"
],
"exit": 101
}
@@ -0,0 +1,240 @@
Checking windows-link v0.2.1
Checking once_cell v1.21.4
Checking cfg-if v1.0.4
Checking windows-sys v0.61.2
Checking thiserror v2.0.20
Checking memchr v2.8.3
Checking itoa v1.0.18
Checking serde_core v1.0.229
Checking serde v1.0.229
Checking zmij v1.0.23
Checking serde_json v1.0.151
Checking getrandom v0.4.3
Checking winapi-util v0.1.11
Checking fastrand v2.5.0
Checking sha1_smol v1.0.1
Compiling oa-core v0.2.0 (C:\Users\User\Documents\Git\ARCADIA-Studio\crates\oa-core)
Checking uuid v1.26.0
Checking tempfile v3.27.0
Checking same-file v1.0.6
Checking libm v0.2.16
Checking bitflags v2.13.1
Checking smallvec v1.16.0
Checking pin-project-lite v0.2.17
Checking bytes v1.12.1
Checking futures-core v0.3.34
Checking num-traits v0.2.19
Checking log v0.4.34
Checking futures-sink v0.3.34
Checking futures-channel v0.3.34
Checking socket2 v0.6.5
Checking mio v1.2.3
Checking tokio v1.53.1
Checking futures-io v0.3.34
Checking slab v0.4.12
Checking futures-task v0.3.34
Checking futures-util v0.3.34
Checking bytemuck v1.25.2
Checking zerofrom v0.1.8
Checking stable_deref_trait v1.2.1
Checking yoke v0.8.3
Checking libc v0.2.189
Checking windows_x86_64_gnullvm v0.52.6
Checking windows-targets v0.52.6
Checking zerovec v0.11.8
Checking arrayvec v0.7.8
Checking raw-window-handle v0.6.2
Checking tinystr v0.8.4
Checking euclid v0.22.14
Checking http v1.5.0
Checking litemap v0.8.3
Checking writeable v0.6.4
Checking icu_locale_core v2.3.0
Checking zerocopy v0.8.56
Checking http-body v1.1.0
Checking zerotrie v0.2.5
Checking potential_utf v0.1.6
Checking core_maths v0.1.1
Checking tracing-core v0.1.36
Checking smol_str v0.2.2
Checking rustc-hash v1.1.0
Checking utf8_iter v1.0.4
Checking percent-encoding v2.3.2
Checking icu_collections v2.3.0
Checking tracing v0.1.44
Checking icu_provider v2.3.1
Checking half v2.7.1
Checking windows-result v0.2.0
Checking tower-service v0.3.3
Checking windows-strings v0.1.0
Checking icu_properties_data v2.3.0
Checking icu_normalizer_data v2.3.0
Checking font-types v0.10.1
Checking font-types v0.12.4
Checking rustc-hash v2.1.3
Checking try-lock v0.2.5
Checking web-time v1.1.0
Checking lilt v0.8.2
Checking want v0.3.1
Checking windows-core v0.58.0
Checking read-fonts v0.41.0
Checking read-fonts v0.35.0
Checking icu_normalizer v2.3.0
Checking icu_properties v2.3.0
Checking httparse v1.10.1
Checking form_urlencoded v1.2.2
Checking lyon_geom v1.0.19
Checking sync_wrapper v1.0.2
Checking libloading v0.8.9
Checking unicode-width v0.2.2
Checking atomic-waker v1.1.2
Checking bit-vec v0.8.0
Checking tinyvec_macros v0.1.1
Checking foldhash v0.1.5
Checking httpdate v1.0.3
Checking zeroize v1.9.0
Checking tower-layer v0.3.3
Checking equivalent v1.0.2
Checking foldhash v0.2.0
Checking hashbrown v0.17.1
Checking glam v0.25.0
Checking scopeguard v1.2.0
Checking lock_api v0.4.14
Checking iced_core v0.14.0
Checking indexmap v2.14.1
Checking hashbrown v0.16.1
Checking rustls-pki-types v1.15.1
Checking hyper v1.11.1
Checking hashbrown v0.15.5
Checking tinyvec v1.13.2
Checking bit-set v0.8.0
Checking codespan-reporting v0.12.0
Checking thiserror v1.0.69
Checking lyon_path v1.0.19
Checking slotmap v1.1.1
Checking idna_adapter v1.2.2
Checking skrifa v0.44.0
Checking windows v0.58.0
Checking parking_lot_core v0.9.12
Checking ttf-parser v0.25.1
Checking http-body-util v0.1.5
Checking futures v0.3.34
Checking spirv v0.3.0+sdk-1.3.268.0
Checking gpu-alloc-types v0.3.1
Checking gpu-descriptor-types v0.2.0
Checking getrandom v0.2.17
Checking yazi v0.2.1
Checking presser v0.3.1
Checking base64 v0.22.1
Checking zeno v0.3.3
Checking memmap2 v0.9.11
Checking unicode-ident v1.0.24
Checking untrusted v0.9.0
Checking hexf-parse v0.2.1
Checking ipnet v2.12.1
Checking unicode-segmentation v1.13.3
Checking subtle v2.6.1
Checking hyper-util v0.1.20
Checking naga v27.0.3
Checking ring v0.17.14
Checking fontdb v0.23.0
Checking swash v0.2.10
Checking gpu-allocator v0.27.0
Checking gpu-descriptor v0.3.2
Checking gpu-alloc v0.6.2
Checking iced_futures v0.14.0
Checking parking_lot v0.12.5
Checking idna v1.1.0
Checking glutin_wgl_sys v0.6.1
Checking ash v0.38.0+1.3.281
Checking khronos-egl v6.0.0
Checking tower v0.5.3
Checking skrifa v0.37.0
Checking harfrust v0.3.2
Checking wgpu-types v27.0.1
Checking ordered-float v5.5.0
Checking renderdoc-sys v1.1.0
Checking rangemap v1.8.0
Checking self_cell v1.3.0
Checking sys-locale v0.3.2
Checking unicode-bidi v0.3.18
Checking linebender_resource_handle v0.1.1
Checking unicode-script v0.5.8
Checking profiling v1.0.18
Checking ryu v1.0.23
Checking glow v0.16.0
Checking range-alloc v0.1.5
Checking unicode-linebreak v0.1.5
Checking cosmic-text v0.15.0
Checking wgpu-hal v27.0.4
Checking serde_urlencoded v0.7.1
Checking url v2.5.8
Checking rustls-webpki v0.103.15
Checking rustls v0.23.43
Checking tower-http v0.6.11
Checking wgpu-core-deps-windows-linux-android v27.0.0
Checking mime v0.3.17
Checking svg_fmt v0.4.5
Checking axum-core v0.5.6
Checking wgpu-core v27.0.3
Checking tokio-rustls v0.26.5
Checking iced_graphics v0.14.0
Checking webpki-roots v1.0.9
Checking serde_path_to_error v0.1.20
Checking static_assertions v1.1.0
Checking matchit v0.8.4
Compiling oa-server v0.2.0 (C:\Users\User\Documents\Git\ARCADIA-Studio\crates\oa-server)
Checking float_next_after v1.0.0
Checking lyon_tessellation v1.0.21
Checking axum v0.8.9
Checking wgpu v27.0.1
Checking hyper-rustls v0.27.9
Checking etagere v0.2.15
Checking iced_debug v0.14.0
Checking lyon_algorithms v1.0.21
Checking lru v0.16.4
Checking cryoglyph v0.1.0
Checking lyon v1.0.19
Checking reqwest v0.12.28
Checking guillotiere v0.6.2
Checking error-code v3.4.0
Checking clipboard-win v5.4.1
Checking iced_wgpu v0.14.0
Checking iced_runtime v0.14.0
Checking windows-sys v0.52.0
Checking dpi v0.1.2
Checking cursor-icon v1.2.0
Checking winit v0.30.13
Checking iced_program v0.14.0
Checking iced_renderer v0.14.0
Checking window_clipboard v0.5.1
Checking iced_winit v0.14.0
Checking iced_widget v0.14.2
Checking windows-sys v0.59.0
Checking oa-cli v0.2.0 (C:\Users\User\Documents\Git\ARCADIA-Studio\crates\oa-cli)
Compiling oa-desktop v0.2.0 (C:\Users\User\Documents\Git\ARCADIA-Studio\crates\oa-desktop)
Checking rfd v0.15.4
Checking iced v0.14.0
error: this `if` statement can be collapsed
--> crates\oa-desktop\src\behavior\scenario\workspace\tests.rs:757:17
|
757 | / if let Some(action) = canvas::Program::update(
758 | | &scene,
759 | | &mut input,
760 | | &canvas::Event::Mouse(event),
... |
767 | | }
| |_________________^
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/rust-1.98.0/index.html#collapsible_if
= note: `-D clippy::collapsible-if` implied by `-D warnings`
= help: to override `-D warnings` add `#[allow(clippy::collapsible_if)]`
help: collapse nested if block
|
763 ~ )
764 ~ && let Some(message) = action.into_inner().0 {
765 | messages.push(message);
766 ~ }
|
error: could not compile `oa-desktop` (bin "arcadia-studio" test) due to 1 previous error
@@ -0,0 +1,692 @@
arcadia 7;
project lifecycle_native "Lifecycle native contract" id "5ceab400-0000-4000-8000-000000000001" {
include "rationale.arcadia";
description "Fixed semantic inputs; lifecycle geometry is derived and never authored.";
oa_activity life_oa_10 "OA Controller work" id "5ceab400-0000-4000-8000-0000000003f2" {
description "";
parent none;
}
oa_activity life_oa_11 "OA Receiver work" id "5ceab400-0000-4000-8000-0000000003f3" {
description "";
parent none;
}
oa_scenario life_oa_100 "OA 01 Root create action delete" id "5ceab400-0000-4000-8000-00000000044c" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_110, @life_oa_111, @life_oa_112];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_101 "OA Controller lane" id "5ceab400-0000-4000-8000-00000000044d" {
description "";
parent @life_oa_100;
represented @life_oa_10;
}
oa_lifeline life_oa_102 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000044e" {
description "";
parent @life_oa_100;
represented @life_oa_11;
}
oa_occurrence life_oa_110 "OA Create receiver" id "5ceab400-0000-4000-8000-000000000456" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_111 "OA Receiver action" id "5ceab400-0000-4000-8000-000000000457" {
body {
Action {
action @life_oa_11;
lifeline @life_oa_102;
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_112 "OA Delete receiver" id "5ceab400-0000-4000-8000-000000000458" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_scenario life_oa_200 "OA 02 Preexisting empty" id "5ceab400-0000-4000-8000-0000000004b0" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_201 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000004b1" {
description "";
parent @life_oa_200;
represented @life_oa_10;
}
oa_lifeline life_oa_202 "OA Receiver lane" id "5ceab400-0000-4000-8000-0000000004b2" {
description "";
parent @life_oa_200;
represented @life_oa_11;
}
oa_scenario life_oa_300 "OA 03 Create only" id "5ceab400-0000-4000-8000-000000000514" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_310];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_301 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000515" {
description "";
parent @life_oa_300;
represented @life_oa_10;
}
oa_lifeline life_oa_302 "OA Receiver lane" id "5ceab400-0000-4000-8000-000000000516" {
description "";
parent @life_oa_300;
represented @life_oa_11;
}
oa_occurrence life_oa_310 "OA Create only receiver" id "5ceab400-0000-4000-8000-00000000051e" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_302;
reply_to none;
sender @life_oa_301;
values [];
};
};
description "";
parent @life_oa_300;
postcondition "";
precondition "";
}
oa_scenario life_oa_400 "OA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000578" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_410, @life_oa_411];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_401 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000579" {
description "";
parent @life_oa_400;
represented @life_oa_10;
}
oa_lifeline life_oa_402 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000057a" {
description "";
parent @life_oa_400;
represented @life_oa_11;
}
oa_occurrence life_oa_410 "OA Open call" id "5ceab400-0000-4000-8000-000000000582" {
body {
Exchange {
exchange @life_oa_service;
message_kind Call;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_411 "OA ALT delete or keep" id "5ceab400-0000-4000-8000-000000000583" {
body {
Fragment {
branches [@life_oa_412, @life_oa_413];
operator Alternative;
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_412 "OA Left delete operand" id "5ceab400-0000-4000-8000-000000000584" {
body {
Branch {
guard "stop_requested";
occurrences [@life_oa_414];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_413 "OA Right empty operand" id "5ceab400-0000-4000-8000-000000000585" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_414 "OA Conditional delete receiver" id "5ceab400-0000-4000-8000-000000000586" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_412;
postcondition "";
precondition "";
}
oa_scenario life_oa_500 "OA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000005dc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_510, @life_oa_511];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_501 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000005dd" {
description "";
parent @life_oa_500;
represented @life_oa_10;
}
oa_lifeline life_oa_502 "OA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000005de" {
description "";
parent @life_oa_500;
represented none;
}
oa_occurrence life_oa_510 "OA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e6" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_occurrence life_oa_511 "OA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e7" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_scenario life_oa_600 "OA 06 Self delete" id "5ceab400-0000-4000-8000-000000000640" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_610];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_601 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000641" {
description "";
parent @life_oa_600;
represented @life_oa_10;
}
oa_occurrence life_oa_610 "OA Self delete controller" id "5ceab400-0000-4000-8000-00000000064a" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_601;
reply_to none;
sender @life_oa_601;
values [];
};
};
description "";
parent @life_oa_600;
postcondition "";
precondition "";
}
sa_function life_sa_10 "SA Controller work" id "5ceab400-0000-4000-8000-0000000007da" {
description "";
parent none;
}
sa_function life_sa_11 "SA Receiver work" id "5ceab400-0000-4000-8000-0000000007db" {
description "";
parent none;
}
sa_scenario life_sa_100 "SA 01 Root create action delete" id "5ceab400-0000-4000-8000-000000000834" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_110, @life_sa_111, @life_sa_112];
viewpoint Functional;
}
sa_lifeline life_sa_101 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000835" {
description "";
parent @life_sa_100;
represented @life_sa_10;
}
sa_lifeline life_sa_102 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000836" {
description "";
parent @life_sa_100;
represented @life_sa_11;
}
sa_occurrence life_sa_110 "SA Create receiver" id "5ceab400-0000-4000-8000-00000000083e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_111 "SA Receiver action" id "5ceab400-0000-4000-8000-00000000083f" {
body {
Action {
action @life_sa_11;
lifeline @life_sa_102;
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_112 "SA Delete receiver" id "5ceab400-0000-4000-8000-000000000840" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_scenario life_sa_200 "SA 02 Preexisting empty" id "5ceab400-0000-4000-8000-000000000898" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint Functional;
}
sa_lifeline life_sa_201 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000899" {
description "";
parent @life_sa_200;
represented @life_sa_10;
}
sa_lifeline life_sa_202 "SA Receiver lane" id "5ceab400-0000-4000-8000-00000000089a" {
description "";
parent @life_sa_200;
represented @life_sa_11;
}
sa_scenario life_sa_300 "SA 03 Create only" id "5ceab400-0000-4000-8000-0000000008fc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_310];
viewpoint Functional;
}
sa_lifeline life_sa_301 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000008fd" {
description "";
parent @life_sa_300;
represented @life_sa_10;
}
sa_lifeline life_sa_302 "SA Receiver lane" id "5ceab400-0000-4000-8000-0000000008fe" {
description "";
parent @life_sa_300;
represented @life_sa_11;
}
sa_occurrence life_sa_310 "SA Create only receiver" id "5ceab400-0000-4000-8000-000000000906" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_302;
reply_to none;
sender @life_sa_301;
values [];
};
};
description "";
parent @life_sa_300;
postcondition "";
precondition "";
}
sa_scenario life_sa_400 "SA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000960" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_410, @life_sa_411];
viewpoint Functional;
}
sa_lifeline life_sa_401 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000961" {
description "";
parent @life_sa_400;
represented @life_sa_10;
}
sa_lifeline life_sa_402 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000962" {
description "";
parent @life_sa_400;
represented @life_sa_11;
}
sa_occurrence life_sa_410 "SA Open call" id "5ceab400-0000-4000-8000-00000000096a" {
body {
Exchange {
exchange @life_sa_service;
message_kind Call;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_411 "SA ALT delete or keep" id "5ceab400-0000-4000-8000-00000000096b" {
body {
Fragment {
branches [@life_sa_412, @life_sa_413];
operator Alternative;
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_412 "SA Left delete operand" id "5ceab400-0000-4000-8000-00000000096c" {
body {
Branch {
guard "stop_requested";
occurrences [@life_sa_414];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_413 "SA Right empty operand" id "5ceab400-0000-4000-8000-00000000096d" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_414 "SA Conditional delete receiver" id "5ceab400-0000-4000-8000-00000000096e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_412;
postcondition "";
precondition "";
}
sa_scenario life_sa_500 "SA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000009c4" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_510, @life_sa_511];
viewpoint Functional;
}
sa_lifeline life_sa_501 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000009c5" {
description "";
parent @life_sa_500;
represented @life_sa_10;
}
sa_lifeline life_sa_502 "SA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000009c6" {
description "";
parent @life_sa_500;
represented none;
}
sa_occurrence life_sa_510 "SA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000009ce" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_occurrence life_sa_511 "SA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000009cf" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_scenario life_sa_600 "SA 06 Self delete" id "5ceab400-0000-4000-8000-000000000a28" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_610];
viewpoint Functional;
}
sa_lifeline life_sa_601 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000a29" {
description "";
parent @life_sa_600;
represented @life_sa_10;
}
sa_occurrence life_sa_610 "SA Self delete controller" id "5ceab400-0000-4000-8000-000000000a32" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_601;
reply_to none;
sender @life_sa_601;
values [];
};
};
description "";
parent @life_sa_600;
postcondition "";
precondition "";
}
sa_port sa_lifecycle_service_input "SA Lifecycle service input" id "a4a6ecc0-3e12-51a5-b08b-199ad743525c" {
contract {
FunctionInput {
incoming_items [];
};
};
description "";
legacy none;
parent @life_sa_11;
}
sa_port sa_lifecycle_service_output "SA Lifecycle service output" id "b1aa66c4-0e8e-5091-beda-2b8d2005b688" {
contract {
FunctionOutput {
outgoing_items [];
};
};
description "";
legacy none;
parent @life_sa_10;
}
interaction life_oa_service "OA Lifecycle service" id "5ceab400-0000-4000-8000-0000000003f4" {
description "";
items [];
source @life_oa_10;
target @life_oa_11;
}
functional_exchange life_sa_service "SA Lifecycle service" id "5ceab400-0000-4000-8000-0000000007dc" {
description "";
items [];
source @life_sa_10;
source_port @sa_lifecycle_service_output;
target @life_sa_11;
target_port @sa_lifecycle_service_input;
}
}
@@ -0,0 +1,2 @@
// Preserve lifecycle note: 雨 · receiver.
// Geometry never changes these bytes.
@@ -0,0 +1,692 @@
arcadia 7;
project lifecycle_native "Lifecycle native contract" id "5ceab400-0000-4000-8000-000000000001" {
include "rationale.arcadia";
description "Fixed semantic inputs; lifecycle geometry is derived and never authored.";
oa_activity life_oa_10 "OA Controller work" id "5ceab400-0000-4000-8000-0000000003f2" {
description "";
parent none;
}
oa_activity life_oa_11 "OA Receiver work" id "5ceab400-0000-4000-8000-0000000003f3" {
description "";
parent none;
}
oa_scenario life_oa_100 "OA 01 Root create action delete" id "5ceab400-0000-4000-8000-00000000044c" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_110, @life_oa_111, @life_oa_112];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_101 "OA Controller lane" id "5ceab400-0000-4000-8000-00000000044d" {
description "";
parent @life_oa_100;
represented @life_oa_10;
}
oa_lifeline life_oa_102 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000044e" {
description "";
parent @life_oa_100;
represented @life_oa_11;
}
oa_occurrence life_oa_110 "OA Create receiver" id "5ceab400-0000-4000-8000-000000000456" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_111 "OA Receiver action" id "5ceab400-0000-4000-8000-000000000457" {
body {
Action {
action @life_oa_11;
lifeline @life_oa_102;
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_112 "OA Delete receiver" id "5ceab400-0000-4000-8000-000000000458" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_scenario life_oa_200 "OA 02 Preexisting empty" id "5ceab400-0000-4000-8000-0000000004b0" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_201 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000004b1" {
description "";
parent @life_oa_200;
represented @life_oa_10;
}
oa_lifeline life_oa_202 "OA Receiver lane" id "5ceab400-0000-4000-8000-0000000004b2" {
description "";
parent @life_oa_200;
represented @life_oa_11;
}
oa_scenario life_oa_300 "OA 03 Create only" id "5ceab400-0000-4000-8000-000000000514" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_310];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_301 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000515" {
description "";
parent @life_oa_300;
represented @life_oa_10;
}
oa_lifeline life_oa_302 "OA Receiver lane" id "5ceab400-0000-4000-8000-000000000516" {
description "";
parent @life_oa_300;
represented @life_oa_11;
}
oa_occurrence life_oa_310 "OA Create only receiver" id "5ceab400-0000-4000-8000-00000000051e" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_302;
reply_to none;
sender @life_oa_301;
values [];
};
};
description "";
parent @life_oa_300;
postcondition "";
precondition "";
}
oa_scenario life_oa_400 "OA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000578" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_410, @life_oa_411];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_401 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000579" {
description "";
parent @life_oa_400;
represented @life_oa_10;
}
oa_lifeline life_oa_402 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000057a" {
description "";
parent @life_oa_400;
represented @life_oa_11;
}
oa_occurrence life_oa_410 "OA Open call" id "5ceab400-0000-4000-8000-000000000582" {
body {
Exchange {
exchange @life_oa_service;
message_kind Call;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_411 "OA ALT delete or keep" id "5ceab400-0000-4000-8000-000000000583" {
body {
Fragment {
branches [@life_oa_412, @life_oa_413];
operator Alternative;
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_412 "OA Left delete operand" id "5ceab400-0000-4000-8000-000000000584" {
body {
Branch {
guard "stop_requested";
occurrences [@life_oa_414];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_413 "OA Right empty operand" id "5ceab400-0000-4000-8000-000000000585" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_414 "OA Conditional delete receiver" id "5ceab400-0000-4000-8000-000000000586" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_412;
postcondition "";
precondition "";
}
oa_scenario life_oa_500 "OA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000005dc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_510, @life_oa_511];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_501 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000005dd" {
description "";
parent @life_oa_500;
represented @life_oa_10;
}
oa_lifeline life_oa_502 "OA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000005de" {
description "";
parent @life_oa_500;
represented none;
}
oa_occurrence life_oa_510 "OA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e6" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_occurrence life_oa_511 "OA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e7" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_scenario life_oa_600 "OA 06 Self delete" id "5ceab400-0000-4000-8000-000000000640" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_610];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_601 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000641" {
description "";
parent @life_oa_600;
represented @life_oa_10;
}
oa_occurrence life_oa_610 "OA Self delete controller" id "5ceab400-0000-4000-8000-00000000064a" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_601;
reply_to none;
sender @life_oa_601;
values [];
};
};
description "";
parent @life_oa_600;
postcondition "";
precondition "";
}
sa_function life_sa_10 "SA Controller work" id "5ceab400-0000-4000-8000-0000000007da" {
description "";
parent none;
}
sa_function life_sa_11 "SA Receiver work" id "5ceab400-0000-4000-8000-0000000007db" {
description "";
parent none;
}
sa_scenario life_sa_100 "SA 01 Root create action delete" id "5ceab400-0000-4000-8000-000000000834" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_110, @life_sa_111, @life_sa_112];
viewpoint Functional;
}
sa_lifeline life_sa_101 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000835" {
description "";
parent @life_sa_100;
represented @life_sa_10;
}
sa_lifeline life_sa_102 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000836" {
description "";
parent @life_sa_100;
represented @life_sa_11;
}
sa_occurrence life_sa_110 "SA Create receiver" id "5ceab400-0000-4000-8000-00000000083e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_111 "SA Receiver action" id "5ceab400-0000-4000-8000-00000000083f" {
body {
Action {
action @life_sa_11;
lifeline @life_sa_102;
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_112 "SA Delete receiver · reviewed" id "5ceab400-0000-4000-8000-000000000840" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_scenario life_sa_200 "SA 02 Preexisting empty" id "5ceab400-0000-4000-8000-000000000898" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint Functional;
}
sa_lifeline life_sa_201 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000899" {
description "";
parent @life_sa_200;
represented @life_sa_10;
}
sa_lifeline life_sa_202 "SA Receiver lane" id "5ceab400-0000-4000-8000-00000000089a" {
description "";
parent @life_sa_200;
represented @life_sa_11;
}
sa_scenario life_sa_300 "SA 03 Create only" id "5ceab400-0000-4000-8000-0000000008fc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_310];
viewpoint Functional;
}
sa_lifeline life_sa_301 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000008fd" {
description "";
parent @life_sa_300;
represented @life_sa_10;
}
sa_lifeline life_sa_302 "SA Receiver lane" id "5ceab400-0000-4000-8000-0000000008fe" {
description "";
parent @life_sa_300;
represented @life_sa_11;
}
sa_occurrence life_sa_310 "SA Create only receiver" id "5ceab400-0000-4000-8000-000000000906" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_302;
reply_to none;
sender @life_sa_301;
values [];
};
};
description "";
parent @life_sa_300;
postcondition "";
precondition "";
}
sa_scenario life_sa_400 "SA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000960" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_410, @life_sa_411];
viewpoint Functional;
}
sa_lifeline life_sa_401 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000961" {
description "";
parent @life_sa_400;
represented @life_sa_10;
}
sa_lifeline life_sa_402 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000962" {
description "";
parent @life_sa_400;
represented @life_sa_11;
}
sa_occurrence life_sa_410 "SA Open call" id "5ceab400-0000-4000-8000-00000000096a" {
body {
Exchange {
exchange @life_sa_service;
message_kind Call;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_411 "SA ALT delete or keep" id "5ceab400-0000-4000-8000-00000000096b" {
body {
Fragment {
branches [@life_sa_412, @life_sa_413];
operator Alternative;
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_412 "SA Left delete operand" id "5ceab400-0000-4000-8000-00000000096c" {
body {
Branch {
guard "stop_requested";
occurrences [@life_sa_414];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_413 "SA Right empty operand" id "5ceab400-0000-4000-8000-00000000096d" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_414 "SA Conditional delete receiver" id "5ceab400-0000-4000-8000-00000000096e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_412;
postcondition "";
precondition "";
}
sa_scenario life_sa_500 "SA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000009c4" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_510, @life_sa_511];
viewpoint Functional;
}
sa_lifeline life_sa_501 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000009c5" {
description "";
parent @life_sa_500;
represented @life_sa_10;
}
sa_lifeline life_sa_502 "SA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000009c6" {
description "";
parent @life_sa_500;
represented none;
}
sa_occurrence life_sa_510 "SA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000009ce" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_occurrence life_sa_511 "SA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000009cf" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_scenario life_sa_600 "SA 06 Self delete" id "5ceab400-0000-4000-8000-000000000a28" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_610];
viewpoint Functional;
}
sa_lifeline life_sa_601 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000a29" {
description "";
parent @life_sa_600;
represented @life_sa_10;
}
sa_occurrence life_sa_610 "SA Self delete controller" id "5ceab400-0000-4000-8000-000000000a32" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_601;
reply_to none;
sender @life_sa_601;
values [];
};
};
description "";
parent @life_sa_600;
postcondition "";
precondition "";
}
sa_port sa_lifecycle_service_input "SA Lifecycle service input" id "a4a6ecc0-3e12-51a5-b08b-199ad743525c" {
contract {
FunctionInput {
incoming_items [];
};
};
description "";
legacy none;
parent @life_sa_11;
}
sa_port sa_lifecycle_service_output "SA Lifecycle service output" id "b1aa66c4-0e8e-5091-beda-2b8d2005b688" {
contract {
FunctionOutput {
outgoing_items [];
};
};
description "";
legacy none;
parent @life_sa_10;
}
interaction life_oa_service "OA Lifecycle service" id "5ceab400-0000-4000-8000-0000000003f4" {
description "";
items [];
source @life_oa_10;
target @life_oa_11;
}
functional_exchange life_sa_service "SA Lifecycle service" id "5ceab400-0000-4000-8000-0000000007dc" {
description "";
items [];
source @life_sa_10;
source_port @sa_lifecycle_service_output;
target @life_sa_11;
target_port @sa_lifecycle_service_input;
}
}
@@ -0,0 +1,2 @@
// Preserve lifecycle note: 雨 · receiver.
// Geometry never changes these bytes.
@@ -0,0 +1,692 @@
arcadia 7;
project lifecycle_native "Lifecycle native contract" id "5ceab400-0000-4000-8000-000000000001" {
include "rationale.arcadia";
description "Fixed semantic inputs; lifecycle geometry is derived and never authored.";
oa_activity life_oa_10 "OA Controller work" id "5ceab400-0000-4000-8000-0000000003f2" {
description "";
parent none;
}
oa_activity life_oa_11 "OA Receiver work" id "5ceab400-0000-4000-8000-0000000003f3" {
description "";
parent none;
}
oa_scenario life_oa_100 "OA 01 Root create action delete" id "5ceab400-0000-4000-8000-00000000044c" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_110, @life_oa_111, @life_oa_112];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_101 "OA Controller lane" id "5ceab400-0000-4000-8000-00000000044d" {
description "";
parent @life_oa_100;
represented @life_oa_10;
}
oa_lifeline life_oa_102 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000044e" {
description "";
parent @life_oa_100;
represented @life_oa_11;
}
oa_occurrence life_oa_110 "OA Create receiver" id "5ceab400-0000-4000-8000-000000000456" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_111 "OA Receiver action" id "5ceab400-0000-4000-8000-000000000457" {
body {
Action {
action @life_oa_11;
lifeline @life_oa_102;
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_112 "OA Delete receiver" id "5ceab400-0000-4000-8000-000000000458" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_scenario life_oa_200 "OA 02 Preexisting empty" id "5ceab400-0000-4000-8000-0000000004b0" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_201 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000004b1" {
description "";
parent @life_oa_200;
represented @life_oa_10;
}
oa_lifeline life_oa_202 "OA Receiver lane" id "5ceab400-0000-4000-8000-0000000004b2" {
description "";
parent @life_oa_200;
represented @life_oa_11;
}
oa_scenario life_oa_300 "OA 03 Create only" id "5ceab400-0000-4000-8000-000000000514" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_310];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_301 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000515" {
description "";
parent @life_oa_300;
represented @life_oa_10;
}
oa_lifeline life_oa_302 "OA Receiver lane" id "5ceab400-0000-4000-8000-000000000516" {
description "";
parent @life_oa_300;
represented @life_oa_11;
}
oa_occurrence life_oa_310 "OA Create only receiver" id "5ceab400-0000-4000-8000-00000000051e" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_302;
reply_to none;
sender @life_oa_301;
values [];
};
};
description "";
parent @life_oa_300;
postcondition "";
precondition "";
}
oa_scenario life_oa_400 "OA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000578" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_410, @life_oa_411];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_401 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000579" {
description "";
parent @life_oa_400;
represented @life_oa_10;
}
oa_lifeline life_oa_402 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000057a" {
description "";
parent @life_oa_400;
represented @life_oa_11;
}
oa_occurrence life_oa_410 "OA Open call" id "5ceab400-0000-4000-8000-000000000582" {
body {
Exchange {
exchange @life_oa_service;
message_kind Call;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_411 "OA ALT delete or keep" id "5ceab400-0000-4000-8000-000000000583" {
body {
Fragment {
branches [@life_oa_412, @life_oa_413];
operator Alternative;
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_412 "OA Left delete operand" id "5ceab400-0000-4000-8000-000000000584" {
body {
Branch {
guard "stop_requested";
occurrences [@life_oa_414];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_413 "OA Right empty operand" id "5ceab400-0000-4000-8000-000000000585" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_414 "OA Conditional delete receiver" id "5ceab400-0000-4000-8000-000000000586" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_412;
postcondition "";
precondition "";
}
oa_scenario life_oa_500 "OA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000005dc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_510, @life_oa_511];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_501 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000005dd" {
description "";
parent @life_oa_500;
represented @life_oa_10;
}
oa_lifeline life_oa_502 "OA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000005de" {
description "";
parent @life_oa_500;
represented none;
}
oa_occurrence life_oa_510 "OA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e6" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_occurrence life_oa_511 "OA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e7" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_scenario life_oa_600 "OA 06 Self delete" id "5ceab400-0000-4000-8000-000000000640" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_610];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_601 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000641" {
description "";
parent @life_oa_600;
represented @life_oa_10;
}
oa_occurrence life_oa_610 "OA Self delete controller" id "5ceab400-0000-4000-8000-00000000064a" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_601;
reply_to none;
sender @life_oa_601;
values [];
};
};
description "";
parent @life_oa_600;
postcondition "";
precondition "";
}
sa_function life_sa_10 "SA Controller work" id "5ceab400-0000-4000-8000-0000000007da" {
description "";
parent none;
}
sa_function life_sa_11 "SA Receiver work" id "5ceab400-0000-4000-8000-0000000007db" {
description "";
parent none;
}
sa_scenario life_sa_100 "SA 01 Root create action delete" id "5ceab400-0000-4000-8000-000000000834" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_110, @life_sa_111, @life_sa_112];
viewpoint Functional;
}
sa_lifeline life_sa_101 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000835" {
description "";
parent @life_sa_100;
represented @life_sa_10;
}
sa_lifeline life_sa_102 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000836" {
description "";
parent @life_sa_100;
represented @life_sa_11;
}
sa_occurrence life_sa_110 "SA Create receiver" id "5ceab400-0000-4000-8000-00000000083e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_111 "SA Receiver action" id "5ceab400-0000-4000-8000-00000000083f" {
body {
Action {
action @life_sa_11;
lifeline @life_sa_102;
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_112 "SA Delete receiver · reviewed" id "5ceab400-0000-4000-8000-000000000840" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_scenario life_sa_200 "SA 02 Preexisting empty" id "5ceab400-0000-4000-8000-000000000898" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint Functional;
}
sa_lifeline life_sa_201 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000899" {
description "";
parent @life_sa_200;
represented @life_sa_10;
}
sa_lifeline life_sa_202 "SA Receiver lane" id "5ceab400-0000-4000-8000-00000000089a" {
description "";
parent @life_sa_200;
represented @life_sa_11;
}
sa_scenario life_sa_300 "SA 03 Create only" id "5ceab400-0000-4000-8000-0000000008fc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_310];
viewpoint Functional;
}
sa_lifeline life_sa_301 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000008fd" {
description "";
parent @life_sa_300;
represented @life_sa_10;
}
sa_lifeline life_sa_302 "SA Receiver lane" id "5ceab400-0000-4000-8000-0000000008fe" {
description "";
parent @life_sa_300;
represented @life_sa_11;
}
sa_occurrence life_sa_310 "SA Create only receiver" id "5ceab400-0000-4000-8000-000000000906" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_302;
reply_to none;
sender @life_sa_301;
values [];
};
};
description "";
parent @life_sa_300;
postcondition "";
precondition "";
}
sa_scenario life_sa_400 "SA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000960" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_410, @life_sa_411];
viewpoint Functional;
}
sa_lifeline life_sa_401 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000961" {
description "";
parent @life_sa_400;
represented @life_sa_10;
}
sa_lifeline life_sa_402 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000962" {
description "";
parent @life_sa_400;
represented @life_sa_11;
}
sa_occurrence life_sa_410 "SA Open call" id "5ceab400-0000-4000-8000-00000000096a" {
body {
Exchange {
exchange @life_sa_service;
message_kind Call;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_411 "SA ALT delete or keep" id "5ceab400-0000-4000-8000-00000000096b" {
body {
Fragment {
branches [@life_sa_412, @life_sa_413];
operator Alternative;
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_412 "SA Left delete operand" id "5ceab400-0000-4000-8000-00000000096c" {
body {
Branch {
guard "stop_requested";
occurrences [@life_sa_414];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_413 "SA Right empty operand" id "5ceab400-0000-4000-8000-00000000096d" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_414 "SA Conditional delete receiver" id "5ceab400-0000-4000-8000-00000000096e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_412;
postcondition "";
precondition "";
}
sa_scenario life_sa_500 "SA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000009c4" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_510, @life_sa_511];
viewpoint Functional;
}
sa_lifeline life_sa_501 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000009c5" {
description "";
parent @life_sa_500;
represented @life_sa_10;
}
sa_lifeline life_sa_502 "SA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000009c6" {
description "";
parent @life_sa_500;
represented none;
}
sa_occurrence life_sa_510 "SA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000009ce" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_occurrence life_sa_511 "SA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000009cf" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_scenario life_sa_600 "SA 06 Self delete" id "5ceab400-0000-4000-8000-000000000a28" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_610];
viewpoint Functional;
}
sa_lifeline life_sa_601 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000a29" {
description "";
parent @life_sa_600;
represented @life_sa_10;
}
sa_occurrence life_sa_610 "SA Self delete controller" id "5ceab400-0000-4000-8000-000000000a32" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_601;
reply_to none;
sender @life_sa_601;
values [];
};
};
description "";
parent @life_sa_600;
postcondition "";
precondition "";
}
sa_port sa_lifecycle_service_input "SA Lifecycle service input" id "a4a6ecc0-3e12-51a5-b08b-199ad743525c" {
contract {
FunctionInput {
incoming_items [];
};
};
description "";
legacy none;
parent @life_sa_11;
}
sa_port sa_lifecycle_service_output "SA Lifecycle service output" id "b1aa66c4-0e8e-5091-beda-2b8d2005b688" {
contract {
FunctionOutput {
outgoing_items [];
};
};
description "";
legacy none;
parent @life_sa_10;
}
interaction life_oa_service "OA Lifecycle service" id "5ceab400-0000-4000-8000-0000000003f4" {
description "";
items [];
source @life_oa_10;
target @life_oa_11;
}
functional_exchange life_sa_service "SA Lifecycle service" id "5ceab400-0000-4000-8000-0000000007dc" {
description "";
items [];
source @life_sa_10;
source_port @sa_lifecycle_service_output;
target @life_sa_11;
target_port @sa_lifecycle_service_input;
}
}
@@ -0,0 +1,2 @@
// Preserve lifecycle note: 雨 · receiver.
// Geometry never changes these bytes.
@@ -0,0 +1,692 @@
arcadia 7;
project lifecycle_native "Lifecycle native contract" id "5ceab400-0000-4000-8000-000000000001" {
include "rationale.arcadia";
description "Fixed semantic inputs; lifecycle geometry is derived and never authored.";
oa_activity life_oa_10 "OA Controller work" id "5ceab400-0000-4000-8000-0000000003f2" {
description "";
parent none;
}
oa_activity life_oa_11 "OA Receiver work" id "5ceab400-0000-4000-8000-0000000003f3" {
description "";
parent none;
}
oa_scenario life_oa_100 "OA 01 Root create action delete" id "5ceab400-0000-4000-8000-00000000044c" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_110, @life_oa_111, @life_oa_112];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_101 "OA Controller lane" id "5ceab400-0000-4000-8000-00000000044d" {
description "";
parent @life_oa_100;
represented @life_oa_10;
}
oa_lifeline life_oa_102 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000044e" {
description "";
parent @life_oa_100;
represented @life_oa_11;
}
oa_occurrence life_oa_110 "OA Create receiver" id "5ceab400-0000-4000-8000-000000000456" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_111 "OA Receiver action" id "5ceab400-0000-4000-8000-000000000457" {
body {
Action {
action @life_oa_11;
lifeline @life_oa_102;
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_112 "OA Delete receiver" id "5ceab400-0000-4000-8000-000000000458" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_scenario life_oa_200 "OA 02 Preexisting empty" id "5ceab400-0000-4000-8000-0000000004b0" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_201 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000004b1" {
description "";
parent @life_oa_200;
represented @life_oa_10;
}
oa_lifeline life_oa_202 "OA Receiver lane" id "5ceab400-0000-4000-8000-0000000004b2" {
description "";
parent @life_oa_200;
represented @life_oa_11;
}
oa_scenario life_oa_300 "OA 03 Create only" id "5ceab400-0000-4000-8000-000000000514" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_310];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_301 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000515" {
description "";
parent @life_oa_300;
represented @life_oa_10;
}
oa_lifeline life_oa_302 "OA Receiver lane" id "5ceab400-0000-4000-8000-000000000516" {
description "";
parent @life_oa_300;
represented @life_oa_11;
}
oa_occurrence life_oa_310 "OA Create only receiver" id "5ceab400-0000-4000-8000-00000000051e" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_302;
reply_to none;
sender @life_oa_301;
values [];
};
};
description "";
parent @life_oa_300;
postcondition "";
precondition "";
}
oa_scenario life_oa_400 "OA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000578" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_410, @life_oa_411];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_401 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000579" {
description "";
parent @life_oa_400;
represented @life_oa_10;
}
oa_lifeline life_oa_402 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000057a" {
description "";
parent @life_oa_400;
represented @life_oa_11;
}
oa_occurrence life_oa_410 "OA Open call" id "5ceab400-0000-4000-8000-000000000582" {
body {
Exchange {
exchange @life_oa_service;
message_kind Call;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_411 "OA ALT delete or keep" id "5ceab400-0000-4000-8000-000000000583" {
body {
Fragment {
branches [@life_oa_412, @life_oa_413];
operator Alternative;
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_412 "OA Left delete operand" id "5ceab400-0000-4000-8000-000000000584" {
body {
Branch {
guard "stop_requested";
occurrences [@life_oa_414];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_413 "OA Right empty operand" id "5ceab400-0000-4000-8000-000000000585" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_414 "OA Conditional delete receiver" id "5ceab400-0000-4000-8000-000000000586" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_412;
postcondition "";
precondition "";
}
oa_scenario life_oa_500 "OA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000005dc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_510, @life_oa_511];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_501 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000005dd" {
description "";
parent @life_oa_500;
represented @life_oa_10;
}
oa_lifeline life_oa_502 "OA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000005de" {
description "";
parent @life_oa_500;
represented none;
}
oa_occurrence life_oa_510 "OA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e6" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_occurrence life_oa_511 "OA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e7" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_scenario life_oa_600 "OA 06 Self delete" id "5ceab400-0000-4000-8000-000000000640" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_610];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_601 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000641" {
description "";
parent @life_oa_600;
represented @life_oa_10;
}
oa_occurrence life_oa_610 "OA Self delete controller" id "5ceab400-0000-4000-8000-00000000064a" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_601;
reply_to none;
sender @life_oa_601;
values [];
};
};
description "";
parent @life_oa_600;
postcondition "";
precondition "";
}
sa_function life_sa_10 "SA Controller work" id "5ceab400-0000-4000-8000-0000000007da" {
description "";
parent none;
}
sa_function life_sa_11 "SA Receiver work" id "5ceab400-0000-4000-8000-0000000007db" {
description "";
parent none;
}
sa_scenario life_sa_100 "SA 01 Root create action delete" id "5ceab400-0000-4000-8000-000000000834" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_110, @life_sa_111, @life_sa_112];
viewpoint Functional;
}
sa_lifeline life_sa_101 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000835" {
description "";
parent @life_sa_100;
represented @life_sa_10;
}
sa_lifeline life_sa_102 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000836" {
description "";
parent @life_sa_100;
represented @life_sa_11;
}
sa_occurrence life_sa_110 "SA Create receiver" id "5ceab400-0000-4000-8000-00000000083e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_111 "SA Receiver action" id "5ceab400-0000-4000-8000-00000000083f" {
body {
Action {
action @life_sa_11;
lifeline @life_sa_102;
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_112 "SA Delete receiver · reviewed" id "5ceab400-0000-4000-8000-000000000840" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_scenario life_sa_200 "SA 02 Preexisting empty" id "5ceab400-0000-4000-8000-000000000898" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint Functional;
}
sa_lifeline life_sa_201 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000899" {
description "";
parent @life_sa_200;
represented @life_sa_10;
}
sa_lifeline life_sa_202 "SA Receiver lane" id "5ceab400-0000-4000-8000-00000000089a" {
description "";
parent @life_sa_200;
represented @life_sa_11;
}
sa_scenario life_sa_300 "SA 03 Create only" id "5ceab400-0000-4000-8000-0000000008fc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_310];
viewpoint Functional;
}
sa_lifeline life_sa_301 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000008fd" {
description "";
parent @life_sa_300;
represented @life_sa_10;
}
sa_lifeline life_sa_302 "SA Receiver lane" id "5ceab400-0000-4000-8000-0000000008fe" {
description "";
parent @life_sa_300;
represented @life_sa_11;
}
sa_occurrence life_sa_310 "SA Create only receiver" id "5ceab400-0000-4000-8000-000000000906" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_302;
reply_to none;
sender @life_sa_301;
values [];
};
};
description "";
parent @life_sa_300;
postcondition "";
precondition "";
}
sa_scenario life_sa_400 "SA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000960" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_410, @life_sa_411];
viewpoint Functional;
}
sa_lifeline life_sa_401 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000961" {
description "";
parent @life_sa_400;
represented @life_sa_10;
}
sa_lifeline life_sa_402 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000962" {
description "";
parent @life_sa_400;
represented @life_sa_11;
}
sa_occurrence life_sa_410 "SA Open call" id "5ceab400-0000-4000-8000-00000000096a" {
body {
Exchange {
exchange @life_sa_service;
message_kind Call;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_411 "SA ALT delete or keep" id "5ceab400-0000-4000-8000-00000000096b" {
body {
Fragment {
branches [@life_sa_412, @life_sa_413];
operator Alternative;
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_412 "SA Left delete operand" id "5ceab400-0000-4000-8000-00000000096c" {
body {
Branch {
guard "stop_requested";
occurrences [@life_sa_414];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_413 "SA Right empty operand" id "5ceab400-0000-4000-8000-00000000096d" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_414 "SA Conditional delete receiver" id "5ceab400-0000-4000-8000-00000000096e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_412;
postcondition "";
precondition "";
}
sa_scenario life_sa_500 "SA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000009c4" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_510, @life_sa_511];
viewpoint Functional;
}
sa_lifeline life_sa_501 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000009c5" {
description "";
parent @life_sa_500;
represented @life_sa_10;
}
sa_lifeline life_sa_502 "SA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000009c6" {
description "";
parent @life_sa_500;
represented none;
}
sa_occurrence life_sa_510 "SA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000009ce" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_occurrence life_sa_511 "SA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000009cf" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_scenario life_sa_600 "SA 06 Self delete" id "5ceab400-0000-4000-8000-000000000a28" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_610];
viewpoint Functional;
}
sa_lifeline life_sa_601 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000a29" {
description "";
parent @life_sa_600;
represented @life_sa_10;
}
sa_occurrence life_sa_610 "SA Self delete controller" id "5ceab400-0000-4000-8000-000000000a32" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_601;
reply_to none;
sender @life_sa_601;
values [];
};
};
description "";
parent @life_sa_600;
postcondition "";
precondition "";
}
sa_port sa_lifecycle_service_input "SA Lifecycle service input" id "a4a6ecc0-3e12-51a5-b08b-199ad743525c" {
contract {
FunctionInput {
incoming_items [];
};
};
description "";
legacy none;
parent @life_sa_11;
}
sa_port sa_lifecycle_service_output "SA Lifecycle service output" id "b1aa66c4-0e8e-5091-beda-2b8d2005b688" {
contract {
FunctionOutput {
outgoing_items [];
};
};
description "";
legacy none;
parent @life_sa_10;
}
interaction life_oa_service "OA Lifecycle service" id "5ceab400-0000-4000-8000-0000000003f4" {
description "";
items [];
source @life_oa_10;
target @life_oa_11;
}
functional_exchange life_sa_service "SA Lifecycle service" id "5ceab400-0000-4000-8000-0000000007dc" {
description "";
items [];
source @life_sa_10;
source_port @sa_lifecycle_service_output;
target @life_sa_11;
target_port @sa_lifecycle_service_input;
}
}
@@ -0,0 +1,2 @@
// Preserve lifecycle note: 雨 · receiver.
// Geometry never changes these bytes.
@@ -0,0 +1,692 @@
arcadia 7;
project lifecycle_native "Lifecycle native contract" id "5ceab400-0000-4000-8000-000000000001" {
include "rationale.arcadia";
description "Fixed semantic inputs; lifecycle geometry is derived and never authored.";
oa_activity life_oa_10 "OA Controller work" id "5ceab400-0000-4000-8000-0000000003f2" {
description "";
parent none;
}
oa_activity life_oa_11 "OA Receiver work" id "5ceab400-0000-4000-8000-0000000003f3" {
description "";
parent none;
}
oa_scenario life_oa_100 "OA 01 Root create action delete" id "5ceab400-0000-4000-8000-00000000044c" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_110, @life_oa_111, @life_oa_112];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_101 "OA Controller lane" id "5ceab400-0000-4000-8000-00000000044d" {
description "";
parent @life_oa_100;
represented @life_oa_10;
}
oa_lifeline life_oa_102 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000044e" {
description "";
parent @life_oa_100;
represented @life_oa_11;
}
oa_occurrence life_oa_110 "OA Create receiver" id "5ceab400-0000-4000-8000-000000000456" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_111 "OA Receiver action" id "5ceab400-0000-4000-8000-000000000457" {
body {
Action {
action @life_oa_11;
lifeline @life_oa_102;
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_occurrence life_oa_112 "OA Delete receiver" id "5ceab400-0000-4000-8000-000000000458" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_102;
reply_to none;
sender @life_oa_101;
values [];
};
};
description "";
parent @life_oa_100;
postcondition "";
precondition "";
}
oa_scenario life_oa_200 "OA 02 Preexisting empty" id "5ceab400-0000-4000-8000-0000000004b0" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_201 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000004b1" {
description "";
parent @life_oa_200;
represented @life_oa_10;
}
oa_lifeline life_oa_202 "OA Receiver lane" id "5ceab400-0000-4000-8000-0000000004b2" {
description "";
parent @life_oa_200;
represented @life_oa_11;
}
oa_scenario life_oa_300 "OA 03 Create only" id "5ceab400-0000-4000-8000-000000000514" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_310];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_301 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000515" {
description "";
parent @life_oa_300;
represented @life_oa_10;
}
oa_lifeline life_oa_302 "OA Receiver lane" id "5ceab400-0000-4000-8000-000000000516" {
description "";
parent @life_oa_300;
represented @life_oa_11;
}
oa_occurrence life_oa_310 "OA Create only receiver" id "5ceab400-0000-4000-8000-00000000051e" {
body {
Exchange {
exchange @life_oa_service;
message_kind Create;
receiver @life_oa_302;
reply_to none;
sender @life_oa_301;
values [];
};
};
description "";
parent @life_oa_300;
postcondition "";
precondition "";
}
oa_scenario life_oa_400 "OA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000578" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_410, @life_oa_411];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_401 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000579" {
description "";
parent @life_oa_400;
represented @life_oa_10;
}
oa_lifeline life_oa_402 "OA Receiver lane" id "5ceab400-0000-4000-8000-00000000057a" {
description "";
parent @life_oa_400;
represented @life_oa_11;
}
oa_occurrence life_oa_410 "OA Open call" id "5ceab400-0000-4000-8000-000000000582" {
body {
Exchange {
exchange @life_oa_service;
message_kind Call;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_411 "OA ALT delete or keep" id "5ceab400-0000-4000-8000-000000000583" {
body {
Fragment {
branches [@life_oa_412, @life_oa_413];
operator Alternative;
};
};
description "";
parent @life_oa_400;
postcondition "";
precondition "";
}
oa_occurrence life_oa_412 "OA Left delete operand" id "5ceab400-0000-4000-8000-000000000584" {
body {
Branch {
guard "stop_requested";
occurrences [@life_oa_414];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_413 "OA Right empty operand" id "5ceab400-0000-4000-8000-000000000585" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_oa_411;
postcondition "";
precondition "";
}
oa_occurrence life_oa_414 "OA Conditional delete receiver" id "5ceab400-0000-4000-8000-000000000586" {
body {
Exchange {
exchange @life_oa_service;
message_kind Delete;
receiver @life_oa_402;
reply_to none;
sender @life_oa_401;
values [];
};
};
description "";
parent @life_oa_412;
postcondition "";
precondition "";
}
oa_scenario life_oa_500 "OA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000005dc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_510, @life_oa_511];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_501 "OA Controller lane" id "5ceab400-0000-4000-8000-0000000005dd" {
description "";
parent @life_oa_500;
represented @life_oa_10;
}
oa_lifeline life_oa_502 "OA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000005de" {
description "";
parent @life_oa_500;
represented none;
}
oa_occurrence life_oa_510 "OA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e6" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_occurrence life_oa_511 "OA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000005e7" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_502;
reply_to none;
sender @life_oa_501;
values [];
};
};
description "";
parent @life_oa_500;
postcondition "";
precondition "";
}
oa_scenario life_oa_600 "OA 06 Self delete" id "5ceab400-0000-4000-8000-000000000640" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_oa_610];
viewpoint OperationalActivity;
}
oa_lifeline life_oa_601 "OA Controller lane" id "5ceab400-0000-4000-8000-000000000641" {
description "";
parent @life_oa_600;
represented @life_oa_10;
}
oa_occurrence life_oa_610 "OA Self delete controller" id "5ceab400-0000-4000-8000-00000000064a" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_oa_601;
reply_to none;
sender @life_oa_601;
values [];
};
};
description "";
parent @life_oa_600;
postcondition "";
precondition "";
}
sa_function life_sa_10 "SA Controller work" id "5ceab400-0000-4000-8000-0000000007da" {
description "";
parent none;
}
sa_function life_sa_11 "SA Receiver work" id "5ceab400-0000-4000-8000-0000000007db" {
description "";
parent none;
}
sa_scenario life_sa_100 "SA 01 Root create action delete" id "5ceab400-0000-4000-8000-000000000834" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_110, @life_sa_111, @life_sa_112];
viewpoint Functional;
}
sa_lifeline life_sa_101 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000835" {
description "";
parent @life_sa_100;
represented @life_sa_10;
}
sa_lifeline life_sa_102 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000836" {
description "";
parent @life_sa_100;
represented @life_sa_11;
}
sa_occurrence life_sa_110 "SA Create receiver" id "5ceab400-0000-4000-8000-00000000083e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_111 "SA Receiver action" id "5ceab400-0000-4000-8000-00000000083f" {
body {
Action {
action @life_sa_11;
lifeline @life_sa_102;
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_occurrence life_sa_112 "SA Delete receiver" id "5ceab400-0000-4000-8000-000000000840" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_102;
reply_to none;
sender @life_sa_101;
values [];
};
};
description "";
parent @life_sa_100;
postcondition "";
precondition "";
}
sa_scenario life_sa_200 "SA 02 Preexisting empty" id "5ceab400-0000-4000-8000-000000000898" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [];
viewpoint Functional;
}
sa_lifeline life_sa_201 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000899" {
description "";
parent @life_sa_200;
represented @life_sa_10;
}
sa_lifeline life_sa_202 "SA Receiver lane" id "5ceab400-0000-4000-8000-00000000089a" {
description "";
parent @life_sa_200;
represented @life_sa_11;
}
sa_scenario life_sa_300 "SA 03 Create only" id "5ceab400-0000-4000-8000-0000000008fc" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_310];
viewpoint Functional;
}
sa_lifeline life_sa_301 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000008fd" {
description "";
parent @life_sa_300;
represented @life_sa_10;
}
sa_lifeline life_sa_302 "SA Receiver lane" id "5ceab400-0000-4000-8000-0000000008fe" {
description "";
parent @life_sa_300;
represented @life_sa_11;
}
sa_occurrence life_sa_310 "SA Create only receiver" id "5ceab400-0000-4000-8000-000000000906" {
body {
Exchange {
exchange @life_sa_service;
message_kind Create;
receiver @life_sa_302;
reply_to none;
sender @life_sa_301;
values [];
};
};
description "";
parent @life_sa_300;
postcondition "";
precondition "";
}
sa_scenario life_sa_400 "SA 04 Conditional delete" id "5ceab400-0000-4000-8000-000000000960" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_410, @life_sa_411];
viewpoint Functional;
}
sa_lifeline life_sa_401 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000961" {
description "";
parent @life_sa_400;
represented @life_sa_10;
}
sa_lifeline life_sa_402 "SA Receiver lane" id "5ceab400-0000-4000-8000-000000000962" {
description "";
parent @life_sa_400;
represented @life_sa_11;
}
sa_occurrence life_sa_410 "SA Open call" id "5ceab400-0000-4000-8000-00000000096a" {
body {
Exchange {
exchange @life_sa_service;
message_kind Call;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_411 "SA ALT delete or keep" id "5ceab400-0000-4000-8000-00000000096b" {
body {
Fragment {
branches [@life_sa_412, @life_sa_413];
operator Alternative;
};
};
description "";
parent @life_sa_400;
postcondition "";
precondition "";
}
sa_occurrence life_sa_412 "SA Left delete operand" id "5ceab400-0000-4000-8000-00000000096c" {
body {
Branch {
guard "stop_requested";
occurrences [@life_sa_414];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_413 "SA Right empty operand" id "5ceab400-0000-4000-8000-00000000096d" {
body {
Branch {
guard "else";
occurrences [];
};
};
description "";
parent @life_sa_411;
postcondition "";
precondition "";
}
sa_occurrence life_sa_414 "SA Conditional delete receiver" id "5ceab400-0000-4000-8000-00000000096e" {
body {
Exchange {
exchange @life_sa_service;
message_kind Delete;
receiver @life_sa_402;
reply_to none;
sender @life_sa_401;
values [];
};
};
description "";
parent @life_sa_412;
postcondition "";
precondition "";
}
sa_scenario life_sa_500 "SA 05 Unassigned receiver" id "5ceab400-0000-4000-8000-0000000009c4" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_510, @life_sa_511];
viewpoint Functional;
}
sa_lifeline life_sa_501 "SA Controller lane" id "5ceab400-0000-4000-8000-0000000009c5" {
description "";
parent @life_sa_500;
represented @life_sa_10;
}
sa_lifeline life_sa_502 "SA Unassigned receiver lane" id "5ceab400-0000-4000-8000-0000000009c6" {
description "";
parent @life_sa_500;
represented none;
}
sa_occurrence life_sa_510 "SA Create unassigned receiver" id "5ceab400-0000-4000-8000-0000000009ce" {
body {
Exchange {
exchange none;
message_kind Create;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_occurrence life_sa_511 "SA Delete unassigned receiver" id "5ceab400-0000-4000-8000-0000000009cf" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_502;
reply_to none;
sender @life_sa_501;
values [];
};
};
description "";
parent @life_sa_500;
postcondition "";
precondition "";
}
sa_scenario life_sa_600 "SA 06 Self delete" id "5ceab400-0000-4000-8000-000000000a28" {
context none;
description "";
parent none;
postcondition "";
precondition "";
steps [@life_sa_610];
viewpoint Functional;
}
sa_lifeline life_sa_601 "SA Controller lane" id "5ceab400-0000-4000-8000-000000000a29" {
description "";
parent @life_sa_600;
represented @life_sa_10;
}
sa_occurrence life_sa_610 "SA Self delete controller" id "5ceab400-0000-4000-8000-000000000a32" {
body {
Exchange {
exchange none;
message_kind Delete;
receiver @life_sa_601;
reply_to none;
sender @life_sa_601;
values [];
};
};
description "";
parent @life_sa_600;
postcondition "";
precondition "";
}
sa_port sa_lifecycle_service_input "SA Lifecycle service input" id "a4a6ecc0-3e12-51a5-b08b-199ad743525c" {
contract {
FunctionInput {
incoming_items [];
};
};
description "";
legacy none;
parent @life_sa_11;
}
sa_port sa_lifecycle_service_output "SA Lifecycle service output" id "b1aa66c4-0e8e-5091-beda-2b8d2005b688" {
contract {
FunctionOutput {
outgoing_items [];
};
};
description "";
legacy none;
parent @life_sa_10;
}
interaction life_oa_service "OA Lifecycle service" id "5ceab400-0000-4000-8000-0000000003f4" {
description "";
items [];
source @life_oa_10;
target @life_oa_11;
}
functional_exchange life_sa_service "SA Lifecycle service" id "5ceab400-0000-4000-8000-0000000007dc" {
description "";
items [];
source @life_sa_10;
source_port @sa_lifecycle_service_output;
target @life_sa_11;
target_port @sa_lifecycle_service_input;
}
}
@@ -0,0 +1,2 @@
// Preserve lifecycle note: 雨 · receiver.
// Geometry never changes these bytes.
@@ -0,0 +1 @@
PASS baseline: complete Project/reachable sources/physical map
@@ -0,0 +1 @@
PASS sa-rename: complete Project/reachable sources/physical map
@@ -0,0 +1 @@
PASS same: all identities, fields, reachable source and physical bytes
@@ -0,0 +1 @@
PASS sa-rename: complete Project/reachable sources/physical map
@@ -0,0 +1 @@
PASS sa-rename: complete Project/reachable sources/physical map
@@ -0,0 +1 @@
PASS same: all identities, fields, reachable source and physical bytes
@@ -0,0 +1 @@
PASS baseline: complete Project/reachable sources/physical map
@@ -0,0 +1 @@
PASS same: all identities, fields, reachable source and physical bytes
Binary file not shown.

After

Width:  |  Height:  |  Size: 98 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 168 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 158 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 154 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 96 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 96 KiB

Some files were not shown because too many files have changed in this diff Show More