Record integrated Windows tests and HTTP persistence checks
This commit is contained in:
@@ -55,3 +55,4 @@ harness/fixtures/staged-source-authoring/** -text whitespace=cr-at-eol
|
||||
harness/staged-source-authoring-contract.rs -text whitespace=cr-at-eol
|
||||
|
||||
harness/experiments/contextual-lifecycle-integration-ytr83r-20260911/** -text -whitespace
|
||||
harness/experiments/windows-runtime-321897f-20260911/** -text -whitespace
|
||||
|
||||
+6
-4
@@ -4,7 +4,7 @@ Codex-ytr83r, branch `codex/release1-ytr83r`. The full [user goal](../PROJECT_GO
|
||||
|
||||
## Verified code and capabilities
|
||||
|
||||
Published checkpoint `3ade397008cffe826d5f5a70e7c0233159e3bd42` contains production `29084050a7c020e0fb488be37c6e1ab235769cc0`; push and exact remote readback passed. It combines prior named behavior creation/history integration (`c81e285`, `e207b04`), corrected creation-oracle evidence (`b853a1e`), CLI-only integration (`023e3a8`) and B4 lifecycle rendering.
|
||||
Earlier published checkpoint `3ade397008cffe826d5f5a70e7c0233159e3bd42` contains production `29084050a7c020e0fb488be37c6e1ab235769cc0`; push and exact remote readback passed. It combines prior named behavior creation/history integration (`c81e285`, `e207b04`), corrected creation-oracle evidence (`b853a1e`), CLI-only integration (`023e3a8`) and B4 lifecycle rendering.
|
||||
|
||||
B4 renders local lifetimes, branch-local activation termination, neutral incomplete lanes, Create capsules and Delete markers with original occurrence identity. Real Windows OA/SA six-case matrices and separate name-only Save/Undo/Redo/reopen workflows passed complete independent Project, reachable-source and physical-file comparisons. These are bounded fixture checks, not complete product usability acceptance.
|
||||
|
||||
@@ -13,7 +13,7 @@ B4 renders local lifetimes, branch-local activation termination, neutral incompl
|
||||
- [Lifecycle implementation and independent findings](release-lifecycle-render-ytr83r-20260911.md).
|
||||
- [Creation and source integration evidence](release-staged-source-integration-ytr83r-20260911.md).
|
||||
|
||||
The current candidate also integrates the published contextual source-creation/minimum-card corrections from b2c3e540, preserving the complete local B4 Scene implementation. Its own desktop/native acceptance is pending. [Exact selective integration and independent union review](release-contextual-integration-update-ytr83r-20260911.md).
|
||||
Source `321897fd55af9e07afa2c6ebf1e50be49e86f7d9` integrates the published contextual source-creation/minimum-card corrections from b2c3e540 with B4 and the header clipping correction. Its own Windows desktop all-targets gate passed 704 tests; corrected GUI/native acceptance remains pending. [Exact selective integration, independent union review and Windows results](release-contextual-integration-update-ytr83r-20260911.md).
|
||||
|
||||
## Verification scope
|
||||
|
||||
@@ -24,11 +24,13 @@ On this Windows host, core all-targets passed433 tests with one intentionally ig
|
||||
- [Current-host toolchain setup](release-host-bootstrap-ytr83r-20260911.md).
|
||||
- [Independent Windows gap review](release-windows-gap-review-ytr83r-20260911.md).
|
||||
|
||||
The closed 321897f Windows gate passed 704 desktop tests with zero failed/ignored/filtered; all 261 recorded build inputs remained unchanged. Matching server `ABA87A5F…` passed semantic HTTP checks (204 schemas, 19 values, 9 rejected invalid shapes) and the corrected REST probe's 25 requests. [Closed runtime evidence](experiments/windows-runtime-321897f-20260911/README.md) preserves both earlier source-version failures. [Earlier integration checkpoint evidence](experiments/contextual-lifecycle-integration-ytr83r-20260911/README.md) preserves server/CLI 68 across 7 targets, schema 72/204 after the missing-jsonschema correction, and the old GUI's wide-name passive Save comparison.
|
||||
|
||||
## Material limitations
|
||||
|
||||
Native wide Latin/CJK checks found neutral lifeline header text overflowing its card; Create labels remained contained. Corrected production/native acceptance is not yet established. Combining/emoji native appearance remains unverified. The wide Latin/CJK variant’s passive Save passed complete independent identity/model/source/file equality on the pre-correction GUI. Current-host server+CLI all-targets subsequently passed68 tests across7 targets, and the semantic schema checker passed72 fixtures/204 schemas. Matching standalone transport/package checks remain separate from these results.
|
||||
Native wide Latin/CJK checks found neutral lifeline header text overflowing its card; Create labels remained contained. The [header correction](lifecycle-header-overflow-correction-ytr83r-20260911.md) is included in the 704-test source, but matching corrected pixels and combining/emoji native appearance remain unverified. The old GUI's wide-name passive Save pass establishes identity/model/source/file equality, not corrected rendering. New packaged-milestone and complete combined native acceptance remain separate. The reviewed private [issue4 child-work correction](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/issues/4) is being integrated separately; the closed 321897f results do not validate that later change.
|
||||
|
||||
Coherent contextual source/chooser/canvas contributions from other branches require integration and verification here. Calculations, quantities/units, maintained libraries, practical large-model textual workflows, complete OA↔SA engineering parity, documentation and fresh cross-disciplinary review remain full-goal requirements. See the [analysis proposal](release-analysis-semantics-design-20260910.md), [library proposal](release-libraries-semantics-design-20260910.md), [text-authoring design](release-textual-authoring-design-20260911.md) and [decisions](DECISIONS.md) for attributed design evidence, not completed implementation claims.
|
||||
Other chooser/canvas and text-navigation contributions still require their own integration and verification. Calculations, quantities/units, maintained libraries, practical large-model textual workflows, complete OA↔SA engineering parity, documentation and fresh cross-disciplinary review remain full-goal requirements. See the [analysis proposal](release-analysis-semantics-design-20260910.md), [library proposal](release-libraries-semantics-design-20260910.md), [text-authoring design](release-textual-authoring-design-20260911.md) and [decisions](DECISIONS.md) for attributed design evidence, not completed implementation claims.
|
||||
|
||||
## Platform and published deliverables
|
||||
|
||||
|
||||
@@ -0,0 +1,9 @@
|
||||
# Contextual/lifecycle integration checkpoint evidence — 2026-09-11
|
||||
|
||||
Codex-ytr83r /root/wsl_startup_review. Closed archival readback only: **11 payloads, 137778 bytes**, frozen at 2026-09-11T17:38:52.1137417Z. Original names/extensions and file bytes are preserved under their paths relative to .local. manifest.json records the exact inventory, original/copy SHA256, sizes and original modification times; readback.json records an independent second read of every original and destination. No discrepancy was found.
|
||||
|
||||
The seven gate payloads preserve the server/CLI all-targets exit 0 at 17:28:56.5857591 UTC (68 passed across seven targets), the initial semantic-schema exit 1 caused by missing jsonschema, its task-local installation log, and the successful repeated semantic-schema exit 0 at 17:28:34.201 UTC (72 fixtures; all 204 component schemas well formed). The failed attempt remains explicit evidence. The schema status records identify source 4da92ab481a2f5f9fcd88f29c90fa4785ac17c3a; the server/CLI record retains its own actual command/timestamps without inventing an absent commit field.
|
||||
|
||||
The other four payloads are the two-file wide-after-passive-save checkpoint (project.arcadia and rationale.arcadia), its same-oracle log, and wide-cjk-sa-resumed-min-125-saved.jpg. Root reports recovering the intended Studio, clicking Save all, and completing the snapshot/oracle comparison; the archived log says all identities, fields, reachable source and physical bytes match. This is the **old 47332A6E… / production 29084050 typography-wide passive-save check**, not corrected header pixels or new combined-desktop acceptance. The earlier 12-screenshot pre-correction archive remains separate and untouched.
|
||||
|
||||
This worker performed no native/oracle/compiler/schema/install execution, source edit, Git/index operation or WSL action. The installation log records root's already-completed work; archiving it did not install anything. No executable, DLL, private profile, growing log or Linux input is included. Root owns attributes, staging, integrated interpretation and the authoritative [issue 5](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/issues/5) record.
|
||||
+692
@@ -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 "WWWWWWWWWWWWWWWWWW" 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 "界界界界界界界界界界界界界界界界界界" 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;
|
||||
}
|
||||
|
||||
}
|
||||
+2
@@ -0,0 +1,2 @@
|
||||
// Preserve lifecycle note: 雨 · receiver.
|
||||
// Geometry never changes these bytes.
|
||||
+1
@@ -0,0 +1 @@
|
||||
PASS same: all identities, fields, reachable source and physical bytes
|
||||
BIN
Binary file not shown.
|
After Width: | Height: | Size: 103 KiB |
@@ -0,0 +1,120 @@
|
||||
{
|
||||
"schema": 1,
|
||||
"identity": "Codex-ytr83r /root/wsl_startup_review",
|
||||
"scope": "Closed Windows evidence archival; no new execution",
|
||||
"frozenUtc": "2026-09-11T17:38:52.1137417Z",
|
||||
"sourceRoot": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio",
|
||||
"payloadCount": 11,
|
||||
"payloadBytes": 137778,
|
||||
"checkpointInventory": [
|
||||
{
|
||||
"name": "project.arcadia",
|
||||
"bytes": 20128
|
||||
},
|
||||
{
|
||||
"name": "rationale.arcadia",
|
||||
"bytes": 86
|
||||
}
|
||||
],
|
||||
"files": [
|
||||
{
|
||||
"source": ".local/ytr83r-server-cli-all-targets-20260911.log",
|
||||
"destination": "ytr83r-server-cli-all-targets-20260911.log",
|
||||
"bytes": 8885,
|
||||
"sourceLastWriteUtc": "2026-09-11T17:28:55.8027952Z",
|
||||
"sourceSha256": "91DD56837B62BE7AD95249B12A98D2C6C55FD62C91F1274FB90D616A76B4AE2E",
|
||||
"destinationBytes": 8885,
|
||||
"destinationSha256": "91DD56837B62BE7AD95249B12A98D2C6C55FD62C91F1274FB90D616A76B4AE2E"
|
||||
},
|
||||
{
|
||||
"source": ".local/ytr83r-server-cli-all-targets-20260911-status.json",
|
||||
"destination": "ytr83r-server-cli-all-targets-20260911-status.json",
|
||||
"bytes": 473,
|
||||
"sourceLastWriteUtc": "2026-09-11T17:28:57.0914904Z",
|
||||
"sourceSha256": "F3A0AD25C8232E45DF35F0656ED14E754F78A4F53CE3D8CE8EB082EE23860531",
|
||||
"destinationBytes": 473,
|
||||
"destinationSha256": "F3A0AD25C8232E45DF35F0656ED14E754F78A4F53CE3D8CE8EB082EE23860531"
|
||||
},
|
||||
{
|
||||
"source": ".local/ytr83r-semantic-schema-4da92ab.log",
|
||||
"destination": "ytr83r-semantic-schema-4da92ab.log",
|
||||
"bytes": 269,
|
||||
"sourceLastWriteUtc": "2026-09-11T17:25:52.2283842Z",
|
||||
"sourceSha256": "238A17DDBBC0EDBA0A3AA264F19DA3DA735A56B2DB6694B9F723A0F299C04FB8",
|
||||
"destinationBytes": 269,
|
||||
"destinationSha256": "238A17DDBBC0EDBA0A3AA264F19DA3DA735A56B2DB6694B9F723A0F299C04FB8"
|
||||
},
|
||||
{
|
||||
"source": ".local/ytr83r-semantic-schema-4da92ab-status.json",
|
||||
"destination": "ytr83r-semantic-schema-4da92ab-status.json",
|
||||
"bytes": 279,
|
||||
"sourceLastWriteUtc": "2026-09-11T17:25:52.31095Z",
|
||||
"sourceSha256": "96D50DAADC4704C0A397F7B9803CB488B20BEA184D2D2CF4BEF55828B7935648",
|
||||
"destinationBytes": 279,
|
||||
"destinationSha256": "96D50DAADC4704C0A397F7B9803CB488B20BEA184D2D2CF4BEF55828B7935648"
|
||||
},
|
||||
{
|
||||
"source": ".local/ytr83r-jsonschema-install.log",
|
||||
"destination": "ytr83r-jsonschema-install.log",
|
||||
"bytes": 1527,
|
||||
"sourceLastWriteUtc": "2026-09-11T17:27:55.5204549Z",
|
||||
"sourceSha256": "B7DE62BEB8A8AC0DF35516E3914DD57A12ACF556E61CA8E8E6E0CAC3728F4587",
|
||||
"destinationBytes": 1527,
|
||||
"destinationSha256": "B7DE62BEB8A8AC0DF35516E3914DD57A12ACF556E61CA8E8E6E0CAC3728F4587"
|
||||
},
|
||||
{
|
||||
"source": ".local/ytr83r-semantic-schema-localdeps-4da92ab.log",
|
||||
"destination": "ytr83r-semantic-schema-localdeps-4da92ab.log",
|
||||
"bytes": 136,
|
||||
"sourceLastWriteUtc": "2026-09-11T17:28:34.1584199Z",
|
||||
"sourceSha256": "EA459613E299F8686C8D9757288DFB32048D51CE0850A2B2161CFB048F09EAE8",
|
||||
"destinationBytes": 136,
|
||||
"destinationSha256": "EA459613E299F8686C8D9757288DFB32048D51CE0850A2B2161CFB048F09EAE8"
|
||||
},
|
||||
{
|
||||
"source": ".local/ytr83r-semantic-schema-localdeps-4da92ab-status.json",
|
||||
"destination": "ytr83r-semantic-schema-localdeps-4da92ab-status.json",
|
||||
"bytes": 458,
|
||||
"sourceLastWriteUtc": "2026-09-11T17:28:34.2213594Z",
|
||||
"sourceSha256": "D0B4930C412279BE7F06F1F35F3A11D1BFA08DC1FB726ED71E8AD6DE28343A74",
|
||||
"destinationBytes": 458,
|
||||
"destinationSha256": "D0B4930C412279BE7F06F1F35F3A11D1BFA08DC1FB726ED71E8AD6DE28343A74"
|
||||
},
|
||||
{
|
||||
"source": ".local/lifecycle-native-ui/checkpoints/wide-after-passive-save/project.arcadia",
|
||||
"destination": "lifecycle-native-ui/checkpoints/wide-after-passive-save/project.arcadia",
|
||||
"bytes": 20128,
|
||||
"sourceLastWriteUtc": "2026-09-11T17:34:01.5548598Z",
|
||||
"sourceSha256": "6A18EE1F246321BDF8AB0E7E8E5D4EBA134CE486ED5224C4FFD61C7342C3A7D3",
|
||||
"destinationBytes": 20128,
|
||||
"destinationSha256": "6A18EE1F246321BDF8AB0E7E8E5D4EBA134CE486ED5224C4FFD61C7342C3A7D3"
|
||||
},
|
||||
{
|
||||
"source": ".local/lifecycle-native-ui/checkpoints/wide-after-passive-save/rationale.arcadia",
|
||||
"destination": "lifecycle-native-ui/checkpoints/wide-after-passive-save/rationale.arcadia",
|
||||
"bytes": 86,
|
||||
"sourceLastWriteUtc": "2026-09-11T17:34:01.5548598Z",
|
||||
"sourceSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF",
|
||||
"destinationBytes": 86,
|
||||
"destinationSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF"
|
||||
},
|
||||
{
|
||||
"source": ".local/lifecycle-native-ui/logs/wide-after-passive-save-same.log",
|
||||
"destination": "lifecycle-native-ui/logs/wide-after-passive-save-same.log",
|
||||
"bytes": 72,
|
||||
"sourceLastWriteUtc": "2026-09-11T17:34:01.8606723Z",
|
||||
"sourceSha256": "4B2B8F76684C906EDEDB026A1F661082ABF71033B50F8584EFF5C604D9882DED",
|
||||
"destinationBytes": 72,
|
||||
"destinationSha256": "4B2B8F76684C906EDEDB026A1F661082ABF71033B50F8584EFF5C604D9882DED"
|
||||
},
|
||||
{
|
||||
"source": ".local/lifecycle-native-ui/screenshots/wide-cjk-sa-resumed-min-125-saved.jpg",
|
||||
"destination": "lifecycle-native-ui/screenshots/wide-cjk-sa-resumed-min-125-saved.jpg",
|
||||
"bytes": 105465,
|
||||
"sourceLastWriteUtc": "2026-09-11T17:33:38.7318371Z",
|
||||
"sourceSha256": "1187D88DC5220EA17D8D38B63214E106860DE529C652894C9F3A7770EC2DD900",
|
||||
"destinationBytes": 105465,
|
||||
"destinationSha256": "1187D88DC5220EA17D8D38B63214E106860DE529C652894C9F3A7770EC2DD900"
|
||||
}
|
||||
]
|
||||
}
|
||||
@@ -0,0 +1,120 @@
|
||||
{
|
||||
"readbackUtc": "2026-09-11T17:38:52.5047939Z",
|
||||
"payloadCount": 11,
|
||||
"payloadBytes": 137778,
|
||||
"allMatch": true,
|
||||
"discrepancies": [],
|
||||
"files": [
|
||||
{
|
||||
"source": ".local/ytr83r-server-cli-all-targets-20260911.log",
|
||||
"destination": "ytr83r-server-cli-all-targets-20260911.log",
|
||||
"sourceBytes": 8885,
|
||||
"destinationBytes": 8885,
|
||||
"sourceSha256": "91DD56837B62BE7AD95249B12A98D2C6C55FD62C91F1274FB90D616A76B4AE2E",
|
||||
"destinationSha256": "91DD56837B62BE7AD95249B12A98D2C6C55FD62C91F1274FB90D616A76B4AE2E",
|
||||
"matchesFrozen": true
|
||||
},
|
||||
{
|
||||
"source": ".local/ytr83r-server-cli-all-targets-20260911-status.json",
|
||||
"destination": "ytr83r-server-cli-all-targets-20260911-status.json",
|
||||
"sourceBytes": 473,
|
||||
"destinationBytes": 473,
|
||||
"sourceSha256": "F3A0AD25C8232E45DF35F0656ED14E754F78A4F53CE3D8CE8EB082EE23860531",
|
||||
"destinationSha256": "F3A0AD25C8232E45DF35F0656ED14E754F78A4F53CE3D8CE8EB082EE23860531",
|
||||
"matchesFrozen": true
|
||||
},
|
||||
{
|
||||
"source": ".local/ytr83r-semantic-schema-4da92ab.log",
|
||||
"destination": "ytr83r-semantic-schema-4da92ab.log",
|
||||
"sourceBytes": 269,
|
||||
"destinationBytes": 269,
|
||||
"sourceSha256": "238A17DDBBC0EDBA0A3AA264F19DA3DA735A56B2DB6694B9F723A0F299C04FB8",
|
||||
"destinationSha256": "238A17DDBBC0EDBA0A3AA264F19DA3DA735A56B2DB6694B9F723A0F299C04FB8",
|
||||
"matchesFrozen": true
|
||||
},
|
||||
{
|
||||
"source": ".local/ytr83r-semantic-schema-4da92ab-status.json",
|
||||
"destination": "ytr83r-semantic-schema-4da92ab-status.json",
|
||||
"sourceBytes": 279,
|
||||
"destinationBytes": 279,
|
||||
"sourceSha256": "96D50DAADC4704C0A397F7B9803CB488B20BEA184D2D2CF4BEF55828B7935648",
|
||||
"destinationSha256": "96D50DAADC4704C0A397F7B9803CB488B20BEA184D2D2CF4BEF55828B7935648",
|
||||
"matchesFrozen": true
|
||||
},
|
||||
{
|
||||
"source": ".local/ytr83r-jsonschema-install.log",
|
||||
"destination": "ytr83r-jsonschema-install.log",
|
||||
"sourceBytes": 1527,
|
||||
"destinationBytes": 1527,
|
||||
"sourceSha256": "B7DE62BEB8A8AC0DF35516E3914DD57A12ACF556E61CA8E8E6E0CAC3728F4587",
|
||||
"destinationSha256": "B7DE62BEB8A8AC0DF35516E3914DD57A12ACF556E61CA8E8E6E0CAC3728F4587",
|
||||
"matchesFrozen": true
|
||||
},
|
||||
{
|
||||
"source": ".local/ytr83r-semantic-schema-localdeps-4da92ab.log",
|
||||
"destination": "ytr83r-semantic-schema-localdeps-4da92ab.log",
|
||||
"sourceBytes": 136,
|
||||
"destinationBytes": 136,
|
||||
"sourceSha256": "EA459613E299F8686C8D9757288DFB32048D51CE0850A2B2161CFB048F09EAE8",
|
||||
"destinationSha256": "EA459613E299F8686C8D9757288DFB32048D51CE0850A2B2161CFB048F09EAE8",
|
||||
"matchesFrozen": true
|
||||
},
|
||||
{
|
||||
"source": ".local/ytr83r-semantic-schema-localdeps-4da92ab-status.json",
|
||||
"destination": "ytr83r-semantic-schema-localdeps-4da92ab-status.json",
|
||||
"sourceBytes": 458,
|
||||
"destinationBytes": 458,
|
||||
"sourceSha256": "D0B4930C412279BE7F06F1F35F3A11D1BFA08DC1FB726ED71E8AD6DE28343A74",
|
||||
"destinationSha256": "D0B4930C412279BE7F06F1F35F3A11D1BFA08DC1FB726ED71E8AD6DE28343A74",
|
||||
"matchesFrozen": true
|
||||
},
|
||||
{
|
||||
"source": ".local/lifecycle-native-ui/checkpoints/wide-after-passive-save/project.arcadia",
|
||||
"destination": "lifecycle-native-ui/checkpoints/wide-after-passive-save/project.arcadia",
|
||||
"sourceBytes": 20128,
|
||||
"destinationBytes": 20128,
|
||||
"sourceSha256": "6A18EE1F246321BDF8AB0E7E8E5D4EBA134CE486ED5224C4FFD61C7342C3A7D3",
|
||||
"destinationSha256": "6A18EE1F246321BDF8AB0E7E8E5D4EBA134CE486ED5224C4FFD61C7342C3A7D3",
|
||||
"matchesFrozen": true
|
||||
},
|
||||
{
|
||||
"source": ".local/lifecycle-native-ui/checkpoints/wide-after-passive-save/rationale.arcadia",
|
||||
"destination": "lifecycle-native-ui/checkpoints/wide-after-passive-save/rationale.arcadia",
|
||||
"sourceBytes": 86,
|
||||
"destinationBytes": 86,
|
||||
"sourceSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF",
|
||||
"destinationSha256": "8509F8D8A136D808CF98A1BB0FE50348B8A24409F30DEE4EE65B62BF5CB9E6BF",
|
||||
"matchesFrozen": true
|
||||
},
|
||||
{
|
||||
"source": ".local/lifecycle-native-ui/logs/wide-after-passive-save-same.log",
|
||||
"destination": "lifecycle-native-ui/logs/wide-after-passive-save-same.log",
|
||||
"sourceBytes": 72,
|
||||
"destinationBytes": 72,
|
||||
"sourceSha256": "4B2B8F76684C906EDEDB026A1F661082ABF71033B50F8584EFF5C604D9882DED",
|
||||
"destinationSha256": "4B2B8F76684C906EDEDB026A1F661082ABF71033B50F8584EFF5C604D9882DED",
|
||||
"matchesFrozen": true
|
||||
},
|
||||
{
|
||||
"source": ".local/lifecycle-native-ui/screenshots/wide-cjk-sa-resumed-min-125-saved.jpg",
|
||||
"destination": "lifecycle-native-ui/screenshots/wide-cjk-sa-resumed-min-125-saved.jpg",
|
||||
"sourceBytes": 105465,
|
||||
"destinationBytes": 105465,
|
||||
"sourceSha256": "1187D88DC5220EA17D8D38B63214E106860DE529C652894C9F3A7770EC2DD900",
|
||||
"destinationSha256": "1187D88DC5220EA17D8D38B63214E106860DE529C652894C9F3A7770EC2DD900",
|
||||
"matchesFrozen": true
|
||||
}
|
||||
],
|
||||
"metadata": [
|
||||
{
|
||||
"path": "README.md",
|
||||
"bytes": 2186,
|
||||
"sha256": "F8C96D6CD1C7E796CAA8DF568BB6E1A6CFDEED57BC18F3A81E5BC2955493A0A5"
|
||||
},
|
||||
{
|
||||
"path": "manifest.json",
|
||||
"bytes": 5694,
|
||||
"sha256": "D49E618F194868C3C3ABC2893893A8D52F6AD83460DBE6E0F2C94351AFC5F02C"
|
||||
}
|
||||
]
|
||||
}
|
||||
+22
@@ -0,0 +1,22 @@
|
||||
Collecting jsonschema
|
||||
Downloading jsonschema-4.26.0-py3-none-any.whl.metadata (7.6 kB)
|
||||
Collecting attrs>=22.2.0 (from jsonschema)
|
||||
Downloading attrs-26.1.0-py3-none-any.whl.metadata (8.8 kB)
|
||||
Collecting jsonschema-specifications>=2023.03.6 (from jsonschema)
|
||||
Downloading jsonschema_specifications-2025.9.1-py3-none-any.whl.metadata (2.9 kB)
|
||||
Collecting referencing>=0.28.4 (from jsonschema)
|
||||
Downloading referencing-0.37.0-py3-none-any.whl.metadata (2.8 kB)
|
||||
Collecting rpds-py>=0.25.0 (from jsonschema)
|
||||
Downloading rpds_py-2026.6.3-cp312-cp312-win_amd64.whl.metadata (4.2 kB)
|
||||
Collecting typing-extensions>=4.4.0 (from referencing>=0.28.4->jsonschema)
|
||||
Downloading typing_extensions-4.16.0-py3-none-any.whl.metadata (3.3 kB)
|
||||
Downloading jsonschema-4.26.0-py3-none-any.whl (90 kB)
|
||||
Downloading attrs-26.1.0-py3-none-any.whl (67 kB)
|
||||
Downloading jsonschema_specifications-2025.9.1-py3-none-any.whl (18 kB)
|
||||
Downloading referencing-0.37.0-py3-none-any.whl (26 kB)
|
||||
Downloading rpds_py-2026.6.3-cp312-cp312-win_amd64.whl (220 kB)
|
||||
Downloading typing_extensions-4.16.0-py3-none-any.whl (45 kB)
|
||||
Installing collected packages: typing-extensions, rpds-py, attrs, referencing, jsonschema-specifications, jsonschema
|
||||
|
||||
Successfully installed attrs-26.1.0 jsonschema-4.26.0 jsonschema-specifications-2025.9.1 referencing-0.37.0 rpds-py-2026.6.3 typing-extensions-4.16.0
|
||||
WARNING: Target directory C:\Users\User\Documents\Git\ARCADIA-Studio\.local\python-deps\bin already exists. Specify --upgrade to force replacement.
|
||||
+12
@@ -0,0 +1,12 @@
|
||||
{
|
||||
"started_utc": "2026-09-11T17:25:50.971Z",
|
||||
"completed_utc": "2026-09-11T17:25:52.228Z",
|
||||
"exit": 1,
|
||||
"commit": "4da92ab481a2f5f9fcd88f29c90fa4785ac17c3a",
|
||||
"command": [
|
||||
"python",
|
||||
"crates/oa-server/tests/semantic_schema.py",
|
||||
"--check",
|
||||
"--validate"
|
||||
]
|
||||
}
|
||||
+4
@@ -0,0 +1,4 @@
|
||||
Traceback (most recent call last):
|
||||
File "C:\Users\User\Documents\Git\ARCADIA-Studio\crates\oa-server\tests\semantic_schema.py", line 266, in <module>
|
||||
from jsonschema import Draft202012Validator, FormatChecker
|
||||
ModuleNotFoundError: No module named 'jsonschema'
|
||||
+11
@@ -0,0 +1,11 @@
|
||||
{
|
||||
"started_utc": "2026-09-11T17:28:23.175Z",
|
||||
"completed_utc": "2026-09-11T17:28:34.201Z",
|
||||
"exit": 0,
|
||||
"commit": "4da92ab481a2f5f9fcd88f29c90fa4785ac17c3a",
|
||||
"command": [
|
||||
"python",
|
||||
"-c",
|
||||
"import sys, runpy; sys.path.insert(0, r'C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\python-deps'); sys.argv = ['crates/oa-server/tests/semantic_schema.py', '--check', '--validate']; runpy.run_path(sys.argv[0], run_name='__main__')"
|
||||
]
|
||||
}
|
||||
+2
@@ -0,0 +1,2 @@
|
||||
Source-7 schema fixtures: 72 passed; all 204 component schemas well-formed
|
||||
Closed catalog: 14 families, 90 scalar leaves; 204 schemas
|
||||
+19
@@ -0,0 +1,19 @@
|
||||
{
|
||||
"exit": 0,
|
||||
"command": [
|
||||
"cargo",
|
||||
"test",
|
||||
"--locked",
|
||||
"--offline",
|
||||
"-p",
|
||||
"oa-server",
|
||||
"-p",
|
||||
"oa-cli",
|
||||
"--all-targets"
|
||||
],
|
||||
"log": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\ytr83r-server-cli-all-targets-20260911.log",
|
||||
"completed_utc": "2026-09-11T17:28:56.5857591Z",
|
||||
"name": "ytr83r-server-cli-all-targets-20260911",
|
||||
"seconds": 1137.23368,
|
||||
"started_utc": "2026-09-11T17:09:58.7368301Z"
|
||||
}
|
||||
+144
@@ -0,0 +1,144 @@
|
||||
Compiling syn v2.0.119
|
||||
Compiling synstructure v0.13.2
|
||||
Compiling zerofrom-derive v0.1.7
|
||||
Compiling zerofrom v0.1.8
|
||||
Compiling yoke-derive v0.8.2
|
||||
Compiling yoke v0.8.3
|
||||
Compiling zerovec v0.11.8
|
||||
Compiling smallvec v1.16.0
|
||||
Compiling tinystr v0.8.4
|
||||
Compiling icu_locale_core v2.3.0
|
||||
Compiling zerotrie v0.2.5
|
||||
Compiling potential_utf v0.1.6
|
||||
Compiling icu_collections v2.3.0
|
||||
Compiling icu_provider v2.3.1
|
||||
Compiling futures-task v0.3.34
|
||||
Compiling slab v0.4.12
|
||||
Compiling futures-util v0.3.34
|
||||
Compiling icu_normalizer v2.3.0
|
||||
Compiling icu_properties v2.3.0
|
||||
Compiling futures-channel v0.3.34
|
||||
Compiling hyper v1.11.1
|
||||
Compiling tracing v0.1.44
|
||||
Compiling idna_adapter v1.2.2
|
||||
Compiling hyper-util v0.1.20
|
||||
Compiling idna v1.1.0
|
||||
Compiling tower v0.5.3
|
||||
Compiling url v2.5.8
|
||||
Compiling tower-http v0.6.11
|
||||
Compiling axum v0.8.9
|
||||
Compiling hyper-rustls v0.27.9
|
||||
Compiling reqwest v0.12.28
|
||||
Compiling oa-server v0.2.0 (C:\Users\User\Documents\Git\ARCADIA-Studio\crates\oa-server)
|
||||
Compiling oa-cli v0.2.0 (C:\Users\User\Documents\Git\ARCADIA-Studio\crates\oa-cli)
|
||||
Finished `test` profile [unoptimized] target(s) in 18m 12s
|
||||
Running unittests src\lib.rs (target\debug\deps\oa_cli-2381a185bffed18a.exe)
|
||||
|
||||
running 0 tests
|
||||
|
||||
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
|
||||
|
||||
Running unittests src\main.rs (target\debug\deps\arcadia-9f7631654f61a956.exe)
|
||||
|
||||
running 0 tests
|
||||
Running tests\source_cli.rs (target\debug\deps\source_cli-e1d35ae8856e0c2f.exe)
|
||||
|
||||
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
|
||||
|
||||
|
||||
running 12 tests
|
||||
test captured_candidate_exact_write_preserves_crlf_comments_and_noop_metadata ... ok
|
||||
test alias_rename_across_modules_changes_only_live_tokens_and_retains_all_identity ... ok
|
||||
test captured_dependency_change_refuses_all_writes_even_on_noop ... ok
|
||||
test entry_is_explicit_and_machine_readable_usage_errors_do_not_write ... ok
|
||||
test invalid_unicode_raw_edit_is_located_and_never_stabilized_or_written ... ok
|
||||
test complete_alarm_example_preview_then_write_and_fixed_point ... ok
|
||||
test missing_id_warning_uses_raw_location_and_never_exposes_ephemeral_lint_id ... ok
|
||||
test loader_encoding_missing_dependency_and_invalid_old_source_keep_original_bytes ... ok
|
||||
test non_element_alias_detached_file_and_unchanged_dependency_conflict ... ok
|
||||
test pending_journal_refuses_read_preview_and_write_without_recovery ... ok
|
||||
test rename_shows_missing_identity_and_separate_source_migration ... ok
|
||||
test rejected_alias_and_same_alias_preserve_source ... ok
|
||||
|
||||
test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.58s
|
||||
|
||||
Running unittests src\lib.rs (target\debug\deps\oa_server-ef5ecc53eb3cd700.exe)
|
||||
|
||||
running 4 tests
|
||||
test store::preparation_gate::preparation_gate_drop_cancels_without_installing_candidate ... ok
|
||||
test store::tests::prepared_candidates_recheck_revision_at_commit_and_failed_loser_is_not_installed ... ok
|
||||
test preparation_http_tests::prepared_source_http_rechecks_revision_without_holding_catalog ... ok
|
||||
test store::tests::source_bytes_are_charged_on_legacy_open_update_and_delete ... ok
|
||||
|
||||
test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.72s
|
||||
|
||||
Running unittests src\main.rs (target\debug\deps\arcadia_server-4822c314ca80ed7f.exe)
|
||||
|
||||
running 0 tests
|
||||
|
||||
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
|
||||
|
||||
Running tests\http.rs (target\debug\deps\http-bb2e0bfd26dc3c6b.exe)
|
||||
|
||||
running 50 tests
|
||||
test auth_origins_media_and_body_limits_are_enforced_over_http ... ok
|
||||
test batches_dry_run_noop_and_source_share_the_core ... ok
|
||||
test chunked_upload_limits_and_loopback_host_check_use_the_real_transport ... ok
|
||||
test communication_limits::ordinary_transition_operation_omission_limit_rejects_201_without_mutation ... ok
|
||||
test communication_limits::ordinary_transition_endpoint_decision_limit_rejects_201_without_mutation ... ok
|
||||
test communication_limits::semantic_transition_operation_omission_limit_rejects_201_without_mutation ... ok
|
||||
test communication_limits::semantic_transition_endpoint_decision_limit_rejects_201_without_mutation ... ok
|
||||
test conditional_writes_are_atomic_and_survive_restart ... ok
|
||||
test data_contracts::authored_schema3_bundle_upgrade_reports_data_defaults_and_preserves_files ... ok
|
||||
test data_contracts::existing_schema3_coupled_envelope_upgrades_in_memory_until_explicit_save ... ok
|
||||
test data_contracts::published_data_contract_queries_atomic_edits_identity_and_restart ... ok
|
||||
test current_migration_reports_and_invalid_typed_transaction_preserve_http_state ... ok
|
||||
test edge_route_transactions_source_and_json_share_defaults_etags_and_atomic_rejection ... ok
|
||||
test data_contracts::qualified_call_reply_values_reject_invalid_edits_and_survive_identity_source_and_restart ... ok
|
||||
test failed_atomic_replacement_preserves_the_accepted_model ... ok
|
||||
test fixed_store_capacity_is_enforced_on_http_and_restart ... ok
|
||||
test graph_filters_pagination_and_bounded_neighborhoods ... ok
|
||||
test invalid_candidates_and_bad_headers_leave_snapshot_unchanged ... ok
|
||||
test legacy_json_import_and_model_reidentification_keep_the_service_address ... ok
|
||||
test mission_and_contextual_chain_records_round_trip_and_edit_through_http ... ok
|
||||
test non_loopback_requires_a_token ... ok
|
||||
test legacy_v2_scenarios_and_typed_message_edits_use_the_same_http_model ... ok
|
||||
test port_anchors::port_anchor_http_commands_and_source_edits_preserve_per_view_state_after_restart ... ok
|
||||
test port_anchors::port_anchor_http_rejects_invalid_records_and_stale_owners_atomically ... ok
|
||||
test port_anchors::port_anchor_served_openapi_matches_serialized_records_and_commands ... ok
|
||||
test reopening_v2_envelope_reports_migration_without_saving_or_advancing_revision ... ok
|
||||
test route_openapi_describes_the_serde_command_shapes_and_nested_defaults ... ok
|
||||
test semantic_transitions::semantic_candidate_constructor_reverse_direction_and_explicit_trace_selection ... ok
|
||||
test semantic_transitions::semantic_cleanup_impacts_require_exact_acceptance_before_atomic_apply ... ok
|
||||
test semantic_transitions::semantic_new_mapping_keeps_preview_generated_identifiers ... ok
|
||||
test semantic_transitions::semantic_partial_review_query_source_and_restart_share_one_revision ... ok
|
||||
test semantic_transitions::semantic_resets_and_invalid_candidates_preserve_deliberate_review_boundaries ... ok
|
||||
test semantic_transitions::semantic_strict_rejection_stale_plans_and_source_only_changes_never_write ... ok
|
||||
test source6_views::source6_http_explicit_communication_ports_preview_apply_and_restart_preserve_decisions ... ok
|
||||
test source6_views::source6_http_views_categories_and_means_preserve_source_and_reject_invalid_batch_after_restart ... ok
|
||||
test source7_contracts::source7_http_instance_and_operation_edits_preserve_identity_source_and_restart ... ok
|
||||
test source_projects::source_projects_command_dry_runs_and_identity_swaps_preserve_lexical_ownership ... ok
|
||||
test source_projects::source_projects_concurrent_comment_and_semantic_writes_share_one_revision ... ok
|
||||
test source_projects::source_projects_equal_models_still_apply_changed_identity_provenance ... ok
|
||||
test source_projects::source_projects_failed_atomic_comment_write_preserves_both_representations ... ok
|
||||
test source_projects::source_projects_invalid_dependencies_and_duplicate_paths_never_change_the_head ... ok
|
||||
test source_projects::source_projects_model_interchange_and_transitions_keep_authored_modules ... ok
|
||||
test source_projects::source_projects_openapi_describes_the_coupled_envelope_and_source_diagnostics ... ok
|
||||
test source_projects::source_projects_preserve_exact_files_comments_and_comment_only_revisions ... ok
|
||||
test oversized_source_and_json_are_rejected_without_stalling_the_catalog ... ok
|
||||
test source_projects::source_projects_upgrade_old_envelopes_without_writes_and_reject_inconsistent_pairs ... ok
|
||||
test storage_rejects_second_owners_corruption_and_identity_mismatch ... ok
|
||||
test transition_preview_apply_and_artifact_links_preserve_revision_boundaries ... ok
|
||||
test typed_state_events_batch_reidentification_and_deletion_use_real_http ... ok
|
||||
test source_projects::source_projects_stabilize_once_and_enforce_size_after_insertions ... ok
|
||||
|
||||
test result: ok. 50 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 34.63s
|
||||
|
||||
Running tests\state_representation.rs (target\debug\deps\state_representation-6b7303f63f64aeaf.exe)
|
||||
|
||||
running 2 tests
|
||||
test served_state_projection_schema_preserves_closed_string_and_payload_variants ... ok
|
||||
test state_view_source_json_transactions_and_restart_share_the_published_contract ... ok
|
||||
|
||||
test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.94s
|
||||
|
||||
@@ -0,0 +1,19 @@
|
||||
# Windows runtime checkpoint 321897f — 2026-09-11
|
||||
|
||||
Codex-ytr83r /root/wsl_startup_review. Closed archival readback only: **137 payloads, 265024 bytes**, frozen 2026-09-11T17:51:53.4220620Z. Exact original names and bytes are retained relative to .local. manifest.json contains the frozen inventory, original timestamps, original/copy sizes and SHA256; readback.json independently rereads every original and copy and verifies the complete three-directory inventory. No payload discrepancy was found. No test, server, probe, compiler or native action was run by this worker.
|
||||
|
||||
The desktop log/status records **704 passed, zero failed/ignored/filtered**, exit 0 at **17:47:12.6688512 UTC**. combined-build-inputs.json records source **321897fd55af9e07afa2c6ebf1e50be49e86f7d9** and 261 inputs; its after record reports all 261 unchanged. These closed input records are archived, not a new comparison against the current working tree. The server manifest identifies **ABA87A5FB795DEB995029A737C2EBB9D2B44C8D274EDAA2295363B226D9AF6BE**, built by the earlier server/CLI gate; only the manifest is copied. Semantic HTTP log/status records exit 0 with 204 valid schemas, 19 actual/typed values validated and nine invalid shapes rejected.
|
||||
|
||||
Three complete terminal REST probe directories are preserved, including their synthetic token, store, request/response/meta and closed server log files:
|
||||
|
||||
| Directory | Files | Payload bytes | Recorded result |
|
||||
|---|---:|---:|---|
|
||||
| rest-coverage-20260911-104234 | 28 | 25465 | Initial failure: strict source-byte check encounters source header 5 → 7 normalization. |
|
||||
| rest-coverage-20260911-104537 | 28 | 25465 | Retry named source7 still used source 5 and failed the same check. |
|
||||
| rest-coverage-20260911-104654 | 68 | 83271 | Corrected source7-v2: 25 requests passed; exit 0 at 17:47:04.6442463 UTC. |
|
||||
|
||||
Root reported that the first fixture-edit helper failed before writing because ca was undefined, so the source7-named retry did not test corrected input. Its failure is preserved independently. The later fixture-version-correction JSON records exactly three source-version headers changed 5 → 7, with strict source/model/restart assertions unchanged and before/after fixture hashes. The final probe's result.json reports passed, initial/repaired/final revisions 2/3/4 and a retained sequence-gap warning; it does not claim that authored warning disappeared. No private or incomplete issue 4 patch is included.
|
||||
|
||||
The original root ytr83r-rest-coverage-321897f.log is **empty**, and no matching initial -status.json existed at freeze. Its probe failure.txt supplies the actual failed-check evidence; no exit code/status file is fabricated for that first outer invocation. The second and final invocations have their actual log/status pairs. Empty server stdout and store lock files remain part of the exact complete inventories.
|
||||
|
||||
Content inspection found expected synthetic fixture/test data and loopback ports, with no unexpected credential-pattern or external endpoint finding in probe content. Synthetic-token files are explicitly authorized test data, not user credentials. The scan is bounded evidence inspection, not a comprehensive secret audit. No executable/DLL, production code, private patch, UI state or Linux input was copied. The earlier contextual-lifecycle-integration-ytr83r-20260911 archive remains untouched. Root owns attributes, staging, runtime interpretation and [issue 5](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/issues/5) consolidation.
|
||||
+7
@@ -0,0 +1,7 @@
|
||||
{
|
||||
"checked_utc": "2026-09-11T17:48:08.443Z",
|
||||
"source_commit": "321897fd55af9e07afa2c6ebf1e50be49e86f7d9",
|
||||
"files": 261,
|
||||
"changed": [],
|
||||
"result": "pass"
|
||||
}
|
||||
+1312
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"etag": "\"p-66d15036-5be8-41c3-99bc-b3adc11ad7e2-r1\"",
|
||||
"status": 201,
|
||||
"path": "/api/v1/projects",
|
||||
"method": "POST"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"name":"Coverage probe host"}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"elements":0,"migration":null,"model_id":"20701655-812d-403d-998a-8a85172820f5","name":"Coverage probe host","relations":0,"resource_id":"66d15036-5be8-41c3-99bc-b3adc11ad7e2","revision":1,"schema_version":7}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"etag": "\"p-66d15036-5be8-41c3-99bc-b3adc11ad7e2-r1\"",
|
||||
"status": 200,
|
||||
"path": "/api/v1/projects/66d15036-5be8-41c3-99bc-b3adc11ad7e2/model",
|
||||
"method": "GET"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"schema_version":7,"id":"20701655-812d-403d-998a-8a85172820f5","alias":"mission","name":"Coverage probe host","description":"","elements":{},"relations":{},"diagrams":{},"artifact_links":{},"traces":{}}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"etag": "\"p-66d15036-5be8-41c3-99bc-b3adc11ad7e2-r1\"",
|
||||
"status": 200,
|
||||
"path": "/api/v1/projects/66d15036-5be8-41c3-99bc-b3adc11ad7e2/source-project",
|
||||
"method": "GET"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"entry":"project.arcadia","files":{"project.arcadia":"arcadia 7;\nproject mission \"Coverage probe host\" id \"20701655-812d-403d-998a-8a85172820f5\" {\n description \"\";\n}\n"}}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"etag": "\"p-66d15036-5be8-41c3-99bc-b3adc11ad7e2-r1\"",
|
||||
"status": 200,
|
||||
"path": "/api/v1/projects/66d15036-5be8-41c3-99bc-b3adc11ad7e2/validation",
|
||||
"method": "POST"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"source_project":{"entry":"project.arcadia","files":{"work.arcadia":"// Synthetic OA fixture: known responsibilities, explicit incomplete contexts.\noa_entity crew \"Crew\" id \"f0660906-0000-4000-8000-000000000002\" {}\noa_activity activity_group \"Manage service\" id \"f0660906-0000-4000-8000-000000000010\" {\n oa_activity a \"Prepare\" id \"f0660906-0000-4000-8000-000000000011\" {}\n oa_activity b \"Deliver\" id \"f0660906-0000-4000-8000-000000000012\" {}\n}\noa_activity c \"Verify\" id \"f0660906-0000-4000-8000-000000000013\" {}\noa_capability q \"Reliable delivery\" id \"f0660906-0000-4000-8000-000000000020\" {}\noa_mission m \"Deliver reliably\" id \"f0660906-0000-4000-8000-000000000021\" {}\nallocation allocate_a \"Prepare responsibility\" id \"f0660906-0000-4000-8000-000000000041\" { source @crew; target @a; }\nallocation allocate_b \"Deliver responsibility\" id \"f0660906-0000-4000-8000-000000000042\" { source @crew; target @b; }\nallocation allocate_c \"Verify responsibility\" id \"f0660906-0000-4000-8000-000000000043\" { source @crew; target @c; }\ninteraction eab \"Prepared service\" id \"f0660906-0000-4000-8000-000000000050\" { source @a; target @b; }\ninteraction ep \"Grouped service\" id \"f0660906-0000-4000-8000-000000000051\" { source @activity_group; target @c; }\ninteraction eca \"Verified service\" id \"f0660906-0000-4000-8000-000000000052\" { source @c; target @a; }\ncapability_involvement support \"Crew support\" id \"f0660906-0000-4000-8000-000000000060\" { source @crew; target @q; }","behavior.arcadia":"oa_process delivery \"Delivery path\" id \"f0660906-0000-4000-8000-000000000030\" { steps [@ab_use]; }\noa_occurrence ab_use \"Use prepared service\" id \"f0660906-0000-4000-8000-000000000031\" {\n parent @delivery; body { Exchange { exchange @eab; sender none; receiver none; message_kind Asynchronous; reply_to none; values []; }; };\n}","project.arcadia":"arcadia 5; project coverage \"REST coverage parity\" id \"f0660906-0000-4000-8000-000000000001\" { include \"work.arcadia\"; include \"behavior.arcadia\"; }"}},"format":"source-project"}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"issues":[{"code":"work_without_behavior_context","column":1,"line":7,"message":"Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.","object_id":"f0660906-0000-4000-8000-000000000013","path":"work.arcadia","severity":"warning","span":{"end":443,"start":376}},{"code":"capability_without_behavior_context","column":1,"line":8,"message":"Add an explicit behavior context: link a process/chain with Chain involvement, or set a scenario's Context to this capability.","object_id":"f0660906-0000-4000-8000-000000000020","path":"work.arcadia","severity":"warning","span":{"end":524,"start":444}},{"code":"mission_without_capability","column":1,"line":9,"message":"Connect this mission to a capability that delivers it.","object_id":"f0660906-0000-4000-8000-000000000021","path":"work.arcadia","severity":"warning","span":{"end":601,"start":525}},{"code":"non_leaf_work_exchange","column":85,"field":"source","line":14,"message":"Choose the leaf activity/function responsible for this exchange; keep any typed port owned by that function.","object_id":"f0660906-0000-4000-8000-000000000051","path":"work.arcadia","severity":"warning","span":{"end":1157,"start":1142}},{"code":"exchange_without_behavior_context","column":1,"line":15,"message":"Use this exchange in a process/chain or scenario.","object_id":"f0660906-0000-4000-8000-000000000052","path":"work.arcadia","severity":"warning","span":{"end":1274,"start":1172}}],"migration":{"from_schema":5,"generated_endpoints":[],"generated_interface_allocations":[],"orientation_defaults":[],"preserved_ports":[],"required_resolutions":[],"semantic_defaults":[],"to_schema":7,"unresolved_message_values":[]},"revision":1,"valid":true}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"etag": "\"p-66d15036-5be8-41c3-99bc-b3adc11ad7e2-r1\"",
|
||||
"status": 200,
|
||||
"path": "/api/v1/projects/66d15036-5be8-41c3-99bc-b3adc11ad7e2/model",
|
||||
"method": "GET"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"schema_version":7,"id":"20701655-812d-403d-998a-8a85172820f5","alias":"mission","name":"Coverage probe host","description":"","elements":{},"relations":{},"diagrams":{},"artifact_links":{},"traces":{}}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"etag": "\"p-66d15036-5be8-41c3-99bc-b3adc11ad7e2-r1\"",
|
||||
"status": 200,
|
||||
"path": "/api/v1/projects/66d15036-5be8-41c3-99bc-b3adc11ad7e2/source-project",
|
||||
"method": "GET"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"entry":"project.arcadia","files":{"project.arcadia":"arcadia 7;\nproject mission \"Coverage probe host\" id \"20701655-812d-403d-998a-8a85172820f5\" {\n description \"\";\n}\n"}}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"etag": "\"p-66d15036-5be8-41c3-99bc-b3adc11ad7e2-r2\"",
|
||||
"status": 200,
|
||||
"path": "/api/v1/projects/66d15036-5be8-41c3-99bc-b3adc11ad7e2/source-project",
|
||||
"method": "PUT"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"entry":"project.arcadia","files":{"work.arcadia":"// Synthetic OA fixture: known responsibilities, explicit incomplete contexts.\noa_entity crew \"Crew\" id \"f0660906-0000-4000-8000-000000000002\" {}\noa_activity activity_group \"Manage service\" id \"f0660906-0000-4000-8000-000000000010\" {\n oa_activity a \"Prepare\" id \"f0660906-0000-4000-8000-000000000011\" {}\n oa_activity b \"Deliver\" id \"f0660906-0000-4000-8000-000000000012\" {}\n}\noa_activity c \"Verify\" id \"f0660906-0000-4000-8000-000000000013\" {}\noa_capability q \"Reliable delivery\" id \"f0660906-0000-4000-8000-000000000020\" {}\noa_mission m \"Deliver reliably\" id \"f0660906-0000-4000-8000-000000000021\" {}\nallocation allocate_a \"Prepare responsibility\" id \"f0660906-0000-4000-8000-000000000041\" { source @crew; target @a; }\nallocation allocate_b \"Deliver responsibility\" id \"f0660906-0000-4000-8000-000000000042\" { source @crew; target @b; }\nallocation allocate_c \"Verify responsibility\" id \"f0660906-0000-4000-8000-000000000043\" { source @crew; target @c; }\ninteraction eab \"Prepared service\" id \"f0660906-0000-4000-8000-000000000050\" { source @a; target @b; }\ninteraction ep \"Grouped service\" id \"f0660906-0000-4000-8000-000000000051\" { source @activity_group; target @c; }\ninteraction eca \"Verified service\" id \"f0660906-0000-4000-8000-000000000052\" { source @c; target @a; }\ncapability_involvement support \"Crew support\" id \"f0660906-0000-4000-8000-000000000060\" { source @crew; target @q; }","behavior.arcadia":"oa_process delivery \"Delivery path\" id \"f0660906-0000-4000-8000-000000000030\" { steps [@ab_use]; }\noa_occurrence ab_use \"Use prepared service\" id \"f0660906-0000-4000-8000-000000000031\" {\n parent @delivery; body { Exchange { exchange @eab; sender none; receiver none; message_kind Asynchronous; reply_to none; values []; }; };\n}","project.arcadia":"arcadia 5; project coverage \"REST coverage parity\" id \"f0660906-0000-4000-8000-000000000001\" { include \"work.arcadia\"; include \"behavior.arcadia\"; }"}}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"changed":true,"issues":[{"code":"work_without_behavior_context","column":1,"line":7,"message":"Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.","object_id":"f0660906-0000-4000-8000-000000000013","path":"work.arcadia","severity":"warning","span":{"end":443,"start":376}},{"code":"capability_without_behavior_context","column":1,"line":8,"message":"Add an explicit behavior context: link a process/chain with Chain involvement, or set a scenario's Context to this capability.","object_id":"f0660906-0000-4000-8000-000000000020","path":"work.arcadia","severity":"warning","span":{"end":524,"start":444}},{"code":"mission_without_capability","column":1,"line":9,"message":"Connect this mission to a capability that delivers it.","object_id":"f0660906-0000-4000-8000-000000000021","path":"work.arcadia","severity":"warning","span":{"end":601,"start":525}},{"code":"non_leaf_work_exchange","column":85,"field":"source","line":14,"message":"Choose the leaf activity/function responsible for this exchange; keep any typed port owned by that function.","object_id":"f0660906-0000-4000-8000-000000000051","path":"work.arcadia","severity":"warning","span":{"end":1157,"start":1142}},{"code":"exchange_without_behavior_context","column":1,"line":15,"message":"Use this exchange in a process/chain or scenario.","object_id":"f0660906-0000-4000-8000-000000000052","path":"work.arcadia","severity":"warning","span":{"end":1274,"start":1172}}],"migration":{"from_schema":5,"generated_endpoints":[],"generated_interface_allocations":[],"orientation_defaults":[],"preserved_ports":[],"required_resolutions":[],"semantic_defaults":[],"to_schema":7,"unresolved_message_values":[]},"revision":2,"source_project":{"entry":"project.arcadia","files":{"behavior.arcadia":"oa_process delivery \"Delivery path\" id \"f0660906-0000-4000-8000-000000000030\" { steps [@ab_use]; }\noa_occurrence ab_use \"Use prepared service\" id \"f0660906-0000-4000-8000-000000000031\" {\n parent @delivery; body { Exchange { exchange @eab; sender none; receiver none; message_kind Asynchronous; reply_to none; values []; }; };\n}","project.arcadia":"arcadia 7; project coverage \"REST coverage parity\" id \"f0660906-0000-4000-8000-000000000001\" { include \"work.arcadia\"; include \"behavior.arcadia\"; }","work.arcadia":"// Synthetic OA fixture: known responsibilities, explicit incomplete contexts.\noa_entity crew \"Crew\" id \"f0660906-0000-4000-8000-000000000002\" {}\noa_activity activity_group \"Manage service\" id \"f0660906-0000-4000-8000-000000000010\" {\n oa_activity a \"Prepare\" id \"f0660906-0000-4000-8000-000000000011\" {}\n oa_activity b \"Deliver\" id \"f0660906-0000-4000-8000-000000000012\" {}\n}\noa_activity c \"Verify\" id \"f0660906-0000-4000-8000-000000000013\" {}\noa_capability q \"Reliable delivery\" id \"f0660906-0000-4000-8000-000000000020\" {}\noa_mission m \"Deliver reliably\" id \"f0660906-0000-4000-8000-000000000021\" {}\nallocation allocate_a \"Prepare responsibility\" id \"f0660906-0000-4000-8000-000000000041\" { source @crew; target @a; }\nallocation allocate_b \"Deliver responsibility\" id \"f0660906-0000-4000-8000-000000000042\" { source @crew; target @b; }\nallocation allocate_c \"Verify responsibility\" id \"f0660906-0000-4000-8000-000000000043\" { source @crew; target @c; }\ninteraction eab \"Prepared service\" id \"f0660906-0000-4000-8000-000000000050\" { source @a; target @b; }\ninteraction ep \"Grouped service\" id \"f0660906-0000-4000-8000-000000000051\" { source @activity_group; target @c; }\ninteraction eca \"Verified service\" id \"f0660906-0000-4000-8000-000000000052\" { source @c; target @a; }\ncapability_involvement support \"Crew support\" id \"f0660906-0000-4000-8000-000000000060\" { source @crew; target @q; }"}}}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"etag": "\"p-66d15036-5be8-41c3-99bc-b3adc11ad7e2-r2\"",
|
||||
"status": 200,
|
||||
"path": "/api/v1/projects/66d15036-5be8-41c3-99bc-b3adc11ad7e2/model",
|
||||
"method": "GET"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"schema_version":7,"id":"f0660906-0000-4000-8000-000000000001","alias":"coverage","name":"REST coverage parity","description":"","elements":{"f0660906-0000-4000-8000-000000000002":{"id":"f0660906-0000-4000-8000-000000000002","alias":"crew","name":"Crew","description":"","parent":null,"body":{"Oa":"Entity"}},"f0660906-0000-4000-8000-000000000010":{"id":"f0660906-0000-4000-8000-000000000010","alias":"activity_group","name":"Manage service","description":"","parent":null,"body":{"Oa":"Activity"}},"f0660906-0000-4000-8000-000000000011":{"id":"f0660906-0000-4000-8000-000000000011","alias":"a","name":"Prepare","description":"","parent":"f0660906-0000-4000-8000-000000000010","body":{"Oa":"Activity"}},"f0660906-0000-4000-8000-000000000012":{"id":"f0660906-0000-4000-8000-000000000012","alias":"b","name":"Deliver","description":"","parent":"f0660906-0000-4000-8000-000000000010","body":{"Oa":"Activity"}},"f0660906-0000-4000-8000-000000000013":{"id":"f0660906-0000-4000-8000-000000000013","alias":"c","name":"Verify","description":"","parent":null,"body":{"Oa":"Activity"}},"f0660906-0000-4000-8000-000000000020":{"id":"f0660906-0000-4000-8000-000000000020","alias":"q","name":"Reliable delivery","description":"","parent":null,"body":{"Oa":"Capability"}},"f0660906-0000-4000-8000-000000000021":{"id":"f0660906-0000-4000-8000-000000000021","alias":"m","name":"Deliver reliably","description":"","parent":null,"body":{"Oa":"Mission"}},"f0660906-0000-4000-8000-000000000030":{"id":"f0660906-0000-4000-8000-000000000030","alias":"delivery","name":"Delivery path","description":"","parent":null,"body":{"Oa":{"Process":{"steps":["f0660906-0000-4000-8000-000000000031"]}}}},"f0660906-0000-4000-8000-000000000031":{"id":"f0660906-0000-4000-8000-000000000031","alias":"ab_use","name":"Use prepared service","description":"","parent":"f0660906-0000-4000-8000-000000000030","body":{"Oa":{"Shared":{"Occurrence":{"body":{"Exchange":{"exchange":"f0660906-0000-4000-8000-000000000050","sender":null,"receiver":null,"message_kind":"Asynchronous","reply_to":null,"values":[]}},"precondition":"","postcondition":""}}}}}},"relations":{"f0660906-0000-4000-8000-000000000041":{"id":"f0660906-0000-4000-8000-000000000041","alias":"allocate_a","name":"Prepare responsibility","description":"","body":{"Allocation":{"source":"f0660906-0000-4000-8000-000000000002","target":"f0660906-0000-4000-8000-000000000011"}}},"f0660906-0000-4000-8000-000000000042":{"id":"f0660906-0000-4000-8000-000000000042","alias":"allocate_b","name":"Deliver responsibility","description":"","body":{"Allocation":{"source":"f0660906-0000-4000-8000-000000000002","target":"f0660906-0000-4000-8000-000000000012"}}},"f0660906-0000-4000-8000-000000000043":{"id":"f0660906-0000-4000-8000-000000000043","alias":"allocate_c","name":"Verify responsibility","description":"","body":{"Allocation":{"source":"f0660906-0000-4000-8000-000000000002","target":"f0660906-0000-4000-8000-000000000013"}}},"f0660906-0000-4000-8000-000000000050":{"id":"f0660906-0000-4000-8000-000000000050","alias":"eab","name":"Prepared service","description":"","body":{"Interaction":{"source":"f0660906-0000-4000-8000-000000000011","target":"f0660906-0000-4000-8000-000000000012","items":[]}}},"f0660906-0000-4000-8000-000000000051":{"id":"f0660906-0000-4000-8000-000000000051","alias":"ep","name":"Grouped service","description":"","body":{"Interaction":{"source":"f0660906-0000-4000-8000-000000000010","target":"f0660906-0000-4000-8000-000000000013","items":[]}}},"f0660906-0000-4000-8000-000000000052":{"id":"f0660906-0000-4000-8000-000000000052","alias":"eca","name":"Verified service","description":"","body":{"Interaction":{"source":"f0660906-0000-4000-8000-000000000013","target":"f0660906-0000-4000-8000-000000000011","items":[]}}},"f0660906-0000-4000-8000-000000000060":{"id":"f0660906-0000-4000-8000-000000000060","alias":"support","name":"Crew support","description":"","body":{"CapabilityInvolvement":{"source":"f0660906-0000-4000-8000-000000000002","target":"f0660906-0000-4000-8000-000000000020"}}}},"diagrams":{},"artifact_links":{},"traces":{}}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"etag": "\"p-66d15036-5be8-41c3-99bc-b3adc11ad7e2-r2\"",
|
||||
"status": 200,
|
||||
"path": "/api/v1/projects/66d15036-5be8-41c3-99bc-b3adc11ad7e2/source-project",
|
||||
"method": "GET"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"entry":"project.arcadia","files":{"behavior.arcadia":"oa_process delivery \"Delivery path\" id \"f0660906-0000-4000-8000-000000000030\" { steps [@ab_use]; }\noa_occurrence ab_use \"Use prepared service\" id \"f0660906-0000-4000-8000-000000000031\" {\n parent @delivery; body { Exchange { exchange @eab; sender none; receiver none; message_kind Asynchronous; reply_to none; values []; }; };\n}","project.arcadia":"arcadia 7; project coverage \"REST coverage parity\" id \"f0660906-0000-4000-8000-000000000001\" { include \"work.arcadia\"; include \"behavior.arcadia\"; }","work.arcadia":"// Synthetic OA fixture: known responsibilities, explicit incomplete contexts.\noa_entity crew \"Crew\" id \"f0660906-0000-4000-8000-000000000002\" {}\noa_activity activity_group \"Manage service\" id \"f0660906-0000-4000-8000-000000000010\" {\n oa_activity a \"Prepare\" id \"f0660906-0000-4000-8000-000000000011\" {}\n oa_activity b \"Deliver\" id \"f0660906-0000-4000-8000-000000000012\" {}\n}\noa_activity c \"Verify\" id \"f0660906-0000-4000-8000-000000000013\" {}\noa_capability q \"Reliable delivery\" id \"f0660906-0000-4000-8000-000000000020\" {}\noa_mission m \"Deliver reliably\" id \"f0660906-0000-4000-8000-000000000021\" {}\nallocation allocate_a \"Prepare responsibility\" id \"f0660906-0000-4000-8000-000000000041\" { source @crew; target @a; }\nallocation allocate_b \"Deliver responsibility\" id \"f0660906-0000-4000-8000-000000000042\" { source @crew; target @b; }\nallocation allocate_c \"Verify responsibility\" id \"f0660906-0000-4000-8000-000000000043\" { source @crew; target @c; }\ninteraction eab \"Prepared service\" id \"f0660906-0000-4000-8000-000000000050\" { source @a; target @b; }\ninteraction ep \"Grouped service\" id \"f0660906-0000-4000-8000-000000000051\" { source @activity_group; target @c; }\ninteraction eca \"Verified service\" id \"f0660906-0000-4000-8000-000000000052\" { source @c; target @a; }\ncapability_involvement support \"Crew support\" id \"f0660906-0000-4000-8000-000000000060\" { source @crew; target @q; }"}}
|
||||
+7
@@ -0,0 +1,7 @@
|
||||
Exception: C:\Users\User\Documents\Git\ARCADIA-Studio\harness\fixtures\rest-coverage\run-coverage-probe.ps1:22
|
||||
Line |
|
||||
22 | … ndition,[string]$message) { if (-not $condition) { throw $message } }
|
||||
| ~~~~~~~~~~~~~~
|
||||
| Source bytes changed: project.arcadia
|
||||
|
||||
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"port": 64523,
|
||||
"started": "2026-09-11T10:42:35.4560060-07:00",
|
||||
"sha256": "ABA87A5FB795DEB995029A737C2EBB9D2B44C8D274EDAA2295363B226D9AF6BE",
|
||||
"exe": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\server-windows-321897f\\arcadia-server.exe"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
arcadia-server 0.2.0 listening on 127.0.0.1:64523; data C:\Users\User\Documents\Git\ARCADIA-Studio\.local\rest-coverage-20260911-104234\store
|
||||
+1
File diff suppressed because one or more lines are too long
+1
@@ -0,0 +1 @@
|
||||
release-coverage-probe-20260906-local-only
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"status": 201,
|
||||
"method": "POST",
|
||||
"etag": "\"p-89eb3dc5-be84-42c5-9479-57c4ca3571e8-r1\"",
|
||||
"path": "/api/v1/projects"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"name":"Coverage probe host"}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"elements":0,"migration":null,"model_id":"01376e66-56dd-4240-b7a1-93302c7309ca","name":"Coverage probe host","relations":0,"resource_id":"89eb3dc5-be84-42c5-9479-57c4ca3571e8","revision":1,"schema_version":7}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"status": 200,
|
||||
"method": "GET",
|
||||
"etag": "\"p-89eb3dc5-be84-42c5-9479-57c4ca3571e8-r1\"",
|
||||
"path": "/api/v1/projects/89eb3dc5-be84-42c5-9479-57c4ca3571e8/model"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"schema_version":7,"id":"01376e66-56dd-4240-b7a1-93302c7309ca","alias":"mission","name":"Coverage probe host","description":"","elements":{},"relations":{},"diagrams":{},"artifact_links":{},"traces":{}}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"status": 200,
|
||||
"method": "GET",
|
||||
"etag": "\"p-89eb3dc5-be84-42c5-9479-57c4ca3571e8-r1\"",
|
||||
"path": "/api/v1/projects/89eb3dc5-be84-42c5-9479-57c4ca3571e8/source-project"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"entry":"project.arcadia","files":{"project.arcadia":"arcadia 7;\nproject mission \"Coverage probe host\" id \"01376e66-56dd-4240-b7a1-93302c7309ca\" {\n description \"\";\n}\n"}}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"status": 200,
|
||||
"method": "POST",
|
||||
"etag": "\"p-89eb3dc5-be84-42c5-9479-57c4ca3571e8-r1\"",
|
||||
"path": "/api/v1/projects/89eb3dc5-be84-42c5-9479-57c4ca3571e8/validation"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"format":"source-project","source_project":{"entry":"project.arcadia","files":{"work.arcadia":"// Synthetic OA fixture: known responsibilities, explicit incomplete contexts.\noa_entity crew \"Crew\" id \"f0660906-0000-4000-8000-000000000002\" {}\noa_activity activity_group \"Manage service\" id \"f0660906-0000-4000-8000-000000000010\" {\n oa_activity a \"Prepare\" id \"f0660906-0000-4000-8000-000000000011\" {}\n oa_activity b \"Deliver\" id \"f0660906-0000-4000-8000-000000000012\" {}\n}\noa_activity c \"Verify\" id \"f0660906-0000-4000-8000-000000000013\" {}\noa_capability q \"Reliable delivery\" id \"f0660906-0000-4000-8000-000000000020\" {}\noa_mission m \"Deliver reliably\" id \"f0660906-0000-4000-8000-000000000021\" {}\nallocation allocate_a \"Prepare responsibility\" id \"f0660906-0000-4000-8000-000000000041\" { source @crew; target @a; }\nallocation allocate_b \"Deliver responsibility\" id \"f0660906-0000-4000-8000-000000000042\" { source @crew; target @b; }\nallocation allocate_c \"Verify responsibility\" id \"f0660906-0000-4000-8000-000000000043\" { source @crew; target @c; }\ninteraction eab \"Prepared service\" id \"f0660906-0000-4000-8000-000000000050\" { source @a; target @b; }\ninteraction ep \"Grouped service\" id \"f0660906-0000-4000-8000-000000000051\" { source @activity_group; target @c; }\ninteraction eca \"Verified service\" id \"f0660906-0000-4000-8000-000000000052\" { source @c; target @a; }\ncapability_involvement support \"Crew support\" id \"f0660906-0000-4000-8000-000000000060\" { source @crew; target @q; }","behavior.arcadia":"oa_process delivery \"Delivery path\" id \"f0660906-0000-4000-8000-000000000030\" { steps [@ab_use]; }\noa_occurrence ab_use \"Use prepared service\" id \"f0660906-0000-4000-8000-000000000031\" {\n parent @delivery; body { Exchange { exchange @eab; sender none; receiver none; message_kind Asynchronous; reply_to none; values []; }; };\n}","project.arcadia":"arcadia 5; project coverage \"REST coverage parity\" id \"f0660906-0000-4000-8000-000000000001\" { include \"work.arcadia\"; include \"behavior.arcadia\"; }"}}}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"issues":[{"code":"work_without_behavior_context","column":1,"line":7,"message":"Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.","object_id":"f0660906-0000-4000-8000-000000000013","path":"work.arcadia","severity":"warning","span":{"end":443,"start":376}},{"code":"capability_without_behavior_context","column":1,"line":8,"message":"Add an explicit behavior context: link a process/chain with Chain involvement, or set a scenario's Context to this capability.","object_id":"f0660906-0000-4000-8000-000000000020","path":"work.arcadia","severity":"warning","span":{"end":524,"start":444}},{"code":"mission_without_capability","column":1,"line":9,"message":"Connect this mission to a capability that delivers it.","object_id":"f0660906-0000-4000-8000-000000000021","path":"work.arcadia","severity":"warning","span":{"end":601,"start":525}},{"code":"non_leaf_work_exchange","column":85,"field":"source","line":14,"message":"Choose the leaf activity/function responsible for this exchange; keep any typed port owned by that function.","object_id":"f0660906-0000-4000-8000-000000000051","path":"work.arcadia","severity":"warning","span":{"end":1157,"start":1142}},{"code":"exchange_without_behavior_context","column":1,"line":15,"message":"Use this exchange in a process/chain or scenario.","object_id":"f0660906-0000-4000-8000-000000000052","path":"work.arcadia","severity":"warning","span":{"end":1274,"start":1172}}],"migration":{"from_schema":5,"generated_endpoints":[],"generated_interface_allocations":[],"orientation_defaults":[],"preserved_ports":[],"required_resolutions":[],"semantic_defaults":[],"to_schema":7,"unresolved_message_values":[]},"revision":1,"valid":true}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"status": 200,
|
||||
"method": "GET",
|
||||
"etag": "\"p-89eb3dc5-be84-42c5-9479-57c4ca3571e8-r1\"",
|
||||
"path": "/api/v1/projects/89eb3dc5-be84-42c5-9479-57c4ca3571e8/model"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"schema_version":7,"id":"01376e66-56dd-4240-b7a1-93302c7309ca","alias":"mission","name":"Coverage probe host","description":"","elements":{},"relations":{},"diagrams":{},"artifact_links":{},"traces":{}}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"status": 200,
|
||||
"method": "GET",
|
||||
"etag": "\"p-89eb3dc5-be84-42c5-9479-57c4ca3571e8-r1\"",
|
||||
"path": "/api/v1/projects/89eb3dc5-be84-42c5-9479-57c4ca3571e8/source-project"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"entry":"project.arcadia","files":{"project.arcadia":"arcadia 7;\nproject mission \"Coverage probe host\" id \"01376e66-56dd-4240-b7a1-93302c7309ca\" {\n description \"\";\n}\n"}}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"status": 200,
|
||||
"method": "PUT",
|
||||
"etag": "\"p-89eb3dc5-be84-42c5-9479-57c4ca3571e8-r2\"",
|
||||
"path": "/api/v1/projects/89eb3dc5-be84-42c5-9479-57c4ca3571e8/source-project"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"entry":"project.arcadia","files":{"work.arcadia":"// Synthetic OA fixture: known responsibilities, explicit incomplete contexts.\noa_entity crew \"Crew\" id \"f0660906-0000-4000-8000-000000000002\" {}\noa_activity activity_group \"Manage service\" id \"f0660906-0000-4000-8000-000000000010\" {\n oa_activity a \"Prepare\" id \"f0660906-0000-4000-8000-000000000011\" {}\n oa_activity b \"Deliver\" id \"f0660906-0000-4000-8000-000000000012\" {}\n}\noa_activity c \"Verify\" id \"f0660906-0000-4000-8000-000000000013\" {}\noa_capability q \"Reliable delivery\" id \"f0660906-0000-4000-8000-000000000020\" {}\noa_mission m \"Deliver reliably\" id \"f0660906-0000-4000-8000-000000000021\" {}\nallocation allocate_a \"Prepare responsibility\" id \"f0660906-0000-4000-8000-000000000041\" { source @crew; target @a; }\nallocation allocate_b \"Deliver responsibility\" id \"f0660906-0000-4000-8000-000000000042\" { source @crew; target @b; }\nallocation allocate_c \"Verify responsibility\" id \"f0660906-0000-4000-8000-000000000043\" { source @crew; target @c; }\ninteraction eab \"Prepared service\" id \"f0660906-0000-4000-8000-000000000050\" { source @a; target @b; }\ninteraction ep \"Grouped service\" id \"f0660906-0000-4000-8000-000000000051\" { source @activity_group; target @c; }\ninteraction eca \"Verified service\" id \"f0660906-0000-4000-8000-000000000052\" { source @c; target @a; }\ncapability_involvement support \"Crew support\" id \"f0660906-0000-4000-8000-000000000060\" { source @crew; target @q; }","behavior.arcadia":"oa_process delivery \"Delivery path\" id \"f0660906-0000-4000-8000-000000000030\" { steps [@ab_use]; }\noa_occurrence ab_use \"Use prepared service\" id \"f0660906-0000-4000-8000-000000000031\" {\n parent @delivery; body { Exchange { exchange @eab; sender none; receiver none; message_kind Asynchronous; reply_to none; values []; }; };\n}","project.arcadia":"arcadia 5; project coverage \"REST coverage parity\" id \"f0660906-0000-4000-8000-000000000001\" { include \"work.arcadia\"; include \"behavior.arcadia\"; }"}}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"changed":true,"issues":[{"code":"work_without_behavior_context","column":1,"line":7,"message":"Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.","object_id":"f0660906-0000-4000-8000-000000000013","path":"work.arcadia","severity":"warning","span":{"end":443,"start":376}},{"code":"capability_without_behavior_context","column":1,"line":8,"message":"Add an explicit behavior context: link a process/chain with Chain involvement, or set a scenario's Context to this capability.","object_id":"f0660906-0000-4000-8000-000000000020","path":"work.arcadia","severity":"warning","span":{"end":524,"start":444}},{"code":"mission_without_capability","column":1,"line":9,"message":"Connect this mission to a capability that delivers it.","object_id":"f0660906-0000-4000-8000-000000000021","path":"work.arcadia","severity":"warning","span":{"end":601,"start":525}},{"code":"non_leaf_work_exchange","column":85,"field":"source","line":14,"message":"Choose the leaf activity/function responsible for this exchange; keep any typed port owned by that function.","object_id":"f0660906-0000-4000-8000-000000000051","path":"work.arcadia","severity":"warning","span":{"end":1157,"start":1142}},{"code":"exchange_without_behavior_context","column":1,"line":15,"message":"Use this exchange in a process/chain or scenario.","object_id":"f0660906-0000-4000-8000-000000000052","path":"work.arcadia","severity":"warning","span":{"end":1274,"start":1172}}],"migration":{"from_schema":5,"generated_endpoints":[],"generated_interface_allocations":[],"orientation_defaults":[],"preserved_ports":[],"required_resolutions":[],"semantic_defaults":[],"to_schema":7,"unresolved_message_values":[]},"revision":2,"source_project":{"entry":"project.arcadia","files":{"behavior.arcadia":"oa_process delivery \"Delivery path\" id \"f0660906-0000-4000-8000-000000000030\" { steps [@ab_use]; }\noa_occurrence ab_use \"Use prepared service\" id \"f0660906-0000-4000-8000-000000000031\" {\n parent @delivery; body { Exchange { exchange @eab; sender none; receiver none; message_kind Asynchronous; reply_to none; values []; }; };\n}","project.arcadia":"arcadia 7; project coverage \"REST coverage parity\" id \"f0660906-0000-4000-8000-000000000001\" { include \"work.arcadia\"; include \"behavior.arcadia\"; }","work.arcadia":"// Synthetic OA fixture: known responsibilities, explicit incomplete contexts.\noa_entity crew \"Crew\" id \"f0660906-0000-4000-8000-000000000002\" {}\noa_activity activity_group \"Manage service\" id \"f0660906-0000-4000-8000-000000000010\" {\n oa_activity a \"Prepare\" id \"f0660906-0000-4000-8000-000000000011\" {}\n oa_activity b \"Deliver\" id \"f0660906-0000-4000-8000-000000000012\" {}\n}\noa_activity c \"Verify\" id \"f0660906-0000-4000-8000-000000000013\" {}\noa_capability q \"Reliable delivery\" id \"f0660906-0000-4000-8000-000000000020\" {}\noa_mission m \"Deliver reliably\" id \"f0660906-0000-4000-8000-000000000021\" {}\nallocation allocate_a \"Prepare responsibility\" id \"f0660906-0000-4000-8000-000000000041\" { source @crew; target @a; }\nallocation allocate_b \"Deliver responsibility\" id \"f0660906-0000-4000-8000-000000000042\" { source @crew; target @b; }\nallocation allocate_c \"Verify responsibility\" id \"f0660906-0000-4000-8000-000000000043\" { source @crew; target @c; }\ninteraction eab \"Prepared service\" id \"f0660906-0000-4000-8000-000000000050\" { source @a; target @b; }\ninteraction ep \"Grouped service\" id \"f0660906-0000-4000-8000-000000000051\" { source @activity_group; target @c; }\ninteraction eca \"Verified service\" id \"f0660906-0000-4000-8000-000000000052\" { source @c; target @a; }\ncapability_involvement support \"Crew support\" id \"f0660906-0000-4000-8000-000000000060\" { source @crew; target @q; }"}}}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"status": 200,
|
||||
"method": "GET",
|
||||
"etag": "\"p-89eb3dc5-be84-42c5-9479-57c4ca3571e8-r2\"",
|
||||
"path": "/api/v1/projects/89eb3dc5-be84-42c5-9479-57c4ca3571e8/model"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"schema_version":7,"id":"f0660906-0000-4000-8000-000000000001","alias":"coverage","name":"REST coverage parity","description":"","elements":{"f0660906-0000-4000-8000-000000000002":{"id":"f0660906-0000-4000-8000-000000000002","alias":"crew","name":"Crew","description":"","parent":null,"body":{"Oa":"Entity"}},"f0660906-0000-4000-8000-000000000010":{"id":"f0660906-0000-4000-8000-000000000010","alias":"activity_group","name":"Manage service","description":"","parent":null,"body":{"Oa":"Activity"}},"f0660906-0000-4000-8000-000000000011":{"id":"f0660906-0000-4000-8000-000000000011","alias":"a","name":"Prepare","description":"","parent":"f0660906-0000-4000-8000-000000000010","body":{"Oa":"Activity"}},"f0660906-0000-4000-8000-000000000012":{"id":"f0660906-0000-4000-8000-000000000012","alias":"b","name":"Deliver","description":"","parent":"f0660906-0000-4000-8000-000000000010","body":{"Oa":"Activity"}},"f0660906-0000-4000-8000-000000000013":{"id":"f0660906-0000-4000-8000-000000000013","alias":"c","name":"Verify","description":"","parent":null,"body":{"Oa":"Activity"}},"f0660906-0000-4000-8000-000000000020":{"id":"f0660906-0000-4000-8000-000000000020","alias":"q","name":"Reliable delivery","description":"","parent":null,"body":{"Oa":"Capability"}},"f0660906-0000-4000-8000-000000000021":{"id":"f0660906-0000-4000-8000-000000000021","alias":"m","name":"Deliver reliably","description":"","parent":null,"body":{"Oa":"Mission"}},"f0660906-0000-4000-8000-000000000030":{"id":"f0660906-0000-4000-8000-000000000030","alias":"delivery","name":"Delivery path","description":"","parent":null,"body":{"Oa":{"Process":{"steps":["f0660906-0000-4000-8000-000000000031"]}}}},"f0660906-0000-4000-8000-000000000031":{"id":"f0660906-0000-4000-8000-000000000031","alias":"ab_use","name":"Use prepared service","description":"","parent":"f0660906-0000-4000-8000-000000000030","body":{"Oa":{"Shared":{"Occurrence":{"body":{"Exchange":{"exchange":"f0660906-0000-4000-8000-000000000050","sender":null,"receiver":null,"message_kind":"Asynchronous","reply_to":null,"values":[]}},"precondition":"","postcondition":""}}}}}},"relations":{"f0660906-0000-4000-8000-000000000041":{"id":"f0660906-0000-4000-8000-000000000041","alias":"allocate_a","name":"Prepare responsibility","description":"","body":{"Allocation":{"source":"f0660906-0000-4000-8000-000000000002","target":"f0660906-0000-4000-8000-000000000011"}}},"f0660906-0000-4000-8000-000000000042":{"id":"f0660906-0000-4000-8000-000000000042","alias":"allocate_b","name":"Deliver responsibility","description":"","body":{"Allocation":{"source":"f0660906-0000-4000-8000-000000000002","target":"f0660906-0000-4000-8000-000000000012"}}},"f0660906-0000-4000-8000-000000000043":{"id":"f0660906-0000-4000-8000-000000000043","alias":"allocate_c","name":"Verify responsibility","description":"","body":{"Allocation":{"source":"f0660906-0000-4000-8000-000000000002","target":"f0660906-0000-4000-8000-000000000013"}}},"f0660906-0000-4000-8000-000000000050":{"id":"f0660906-0000-4000-8000-000000000050","alias":"eab","name":"Prepared service","description":"","body":{"Interaction":{"source":"f0660906-0000-4000-8000-000000000011","target":"f0660906-0000-4000-8000-000000000012","items":[]}}},"f0660906-0000-4000-8000-000000000051":{"id":"f0660906-0000-4000-8000-000000000051","alias":"ep","name":"Grouped service","description":"","body":{"Interaction":{"source":"f0660906-0000-4000-8000-000000000010","target":"f0660906-0000-4000-8000-000000000013","items":[]}}},"f0660906-0000-4000-8000-000000000052":{"id":"f0660906-0000-4000-8000-000000000052","alias":"eca","name":"Verified service","description":"","body":{"Interaction":{"source":"f0660906-0000-4000-8000-000000000013","target":"f0660906-0000-4000-8000-000000000011","items":[]}}},"f0660906-0000-4000-8000-000000000060":{"id":"f0660906-0000-4000-8000-000000000060","alias":"support","name":"Crew support","description":"","body":{"CapabilityInvolvement":{"source":"f0660906-0000-4000-8000-000000000002","target":"f0660906-0000-4000-8000-000000000020"}}}},"diagrams":{},"artifact_links":{},"traces":{}}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"status": 200,
|
||||
"method": "GET",
|
||||
"etag": "\"p-89eb3dc5-be84-42c5-9479-57c4ca3571e8-r2\"",
|
||||
"path": "/api/v1/projects/89eb3dc5-be84-42c5-9479-57c4ca3571e8/source-project"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"entry":"project.arcadia","files":{"behavior.arcadia":"oa_process delivery \"Delivery path\" id \"f0660906-0000-4000-8000-000000000030\" { steps [@ab_use]; }\noa_occurrence ab_use \"Use prepared service\" id \"f0660906-0000-4000-8000-000000000031\" {\n parent @delivery; body { Exchange { exchange @eab; sender none; receiver none; message_kind Asynchronous; reply_to none; values []; }; };\n}","project.arcadia":"arcadia 7; project coverage \"REST coverage parity\" id \"f0660906-0000-4000-8000-000000000001\" { include \"work.arcadia\"; include \"behavior.arcadia\"; }","work.arcadia":"// Synthetic OA fixture: known responsibilities, explicit incomplete contexts.\noa_entity crew \"Crew\" id \"f0660906-0000-4000-8000-000000000002\" {}\noa_activity activity_group \"Manage service\" id \"f0660906-0000-4000-8000-000000000010\" {\n oa_activity a \"Prepare\" id \"f0660906-0000-4000-8000-000000000011\" {}\n oa_activity b \"Deliver\" id \"f0660906-0000-4000-8000-000000000012\" {}\n}\noa_activity c \"Verify\" id \"f0660906-0000-4000-8000-000000000013\" {}\noa_capability q \"Reliable delivery\" id \"f0660906-0000-4000-8000-000000000020\" {}\noa_mission m \"Deliver reliably\" id \"f0660906-0000-4000-8000-000000000021\" {}\nallocation allocate_a \"Prepare responsibility\" id \"f0660906-0000-4000-8000-000000000041\" { source @crew; target @a; }\nallocation allocate_b \"Deliver responsibility\" id \"f0660906-0000-4000-8000-000000000042\" { source @crew; target @b; }\nallocation allocate_c \"Verify responsibility\" id \"f0660906-0000-4000-8000-000000000043\" { source @crew; target @c; }\ninteraction eab \"Prepared service\" id \"f0660906-0000-4000-8000-000000000050\" { source @a; target @b; }\ninteraction ep \"Grouped service\" id \"f0660906-0000-4000-8000-000000000051\" { source @activity_group; target @c; }\ninteraction eca \"Verified service\" id \"f0660906-0000-4000-8000-000000000052\" { source @c; target @a; }\ncapability_involvement support \"Crew support\" id \"f0660906-0000-4000-8000-000000000060\" { source @crew; target @q; }"}}
|
||||
+7
@@ -0,0 +1,7 @@
|
||||
Exception: C:\Users\User\Documents\Git\ARCADIA-Studio\harness\fixtures\rest-coverage\run-coverage-probe.ps1:22
|
||||
Line |
|
||||
22 | … ndition,[string]$message) { if (-not $condition) { throw $message } }
|
||||
| ~~~~~~~~~~~~~~
|
||||
| Source bytes changed: project.arcadia
|
||||
|
||||
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"exe": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\server-windows-321897f\\arcadia-server.exe",
|
||||
"sha256": "ABA87A5FB795DEB995029A737C2EBB9D2B44C8D274EDAA2295363B226D9AF6BE",
|
||||
"port": 62783,
|
||||
"started": "2026-09-11T10:45:38.9326084-07:00"
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
arcadia-server 0.2.0 listening on 127.0.0.1:62783; data C:\Users\User\Documents\Git\ARCADIA-Studio\.local\rest-coverage-20260911-104537\store
|
||||
+1
File diff suppressed because one or more lines are too long
+1
@@ -0,0 +1 @@
|
||||
release-coverage-probe-20260906-local-only
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"path": "/api/v1/projects",
|
||||
"method": "POST",
|
||||
"etag": "\"p-d76a94a7-b552-4775-a29a-197068349a9c-r1\"",
|
||||
"status": 201
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"name":"Coverage probe host"}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"elements":0,"migration":null,"model_id":"4ebe9c79-0518-4e83-912d-cd8e812c3e47","name":"Coverage probe host","relations":0,"resource_id":"d76a94a7-b552-4775-a29a-197068349a9c","revision":1,"schema_version":7}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"path": "/api/v1/projects/d76a94a7-b552-4775-a29a-197068349a9c/model",
|
||||
"method": "GET",
|
||||
"etag": "\"p-d76a94a7-b552-4775-a29a-197068349a9c-r1\"",
|
||||
"status": 200
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"schema_version":7,"id":"4ebe9c79-0518-4e83-912d-cd8e812c3e47","alias":"mission","name":"Coverage probe host","description":"","elements":{},"relations":{},"diagrams":{},"artifact_links":{},"traces":{}}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"path": "/api/v1/projects/d76a94a7-b552-4775-a29a-197068349a9c/source-project",
|
||||
"method": "GET",
|
||||
"etag": "\"p-d76a94a7-b552-4775-a29a-197068349a9c-r1\"",
|
||||
"status": 200
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"entry":"project.arcadia","files":{"project.arcadia":"arcadia 7;\nproject mission \"Coverage probe host\" id \"4ebe9c79-0518-4e83-912d-cd8e812c3e47\" {\n description \"\";\n}\n"}}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"path": "/api/v1/projects/d76a94a7-b552-4775-a29a-197068349a9c/validation",
|
||||
"method": "POST",
|
||||
"etag": "\"p-d76a94a7-b552-4775-a29a-197068349a9c-r1\"",
|
||||
"status": 200
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"format":"source-project","source_project":{"entry":"project.arcadia","files":{"work.arcadia":"// Synthetic OA fixture: known responsibilities, explicit incomplete contexts.\noa_entity crew \"Crew\" id \"f0660906-0000-4000-8000-000000000002\" {}\noa_activity activity_group \"Manage service\" id \"f0660906-0000-4000-8000-000000000010\" {\n oa_activity a \"Prepare\" id \"f0660906-0000-4000-8000-000000000011\" {}\n oa_activity b \"Deliver\" id \"f0660906-0000-4000-8000-000000000012\" {}\n}\noa_activity c \"Verify\" id \"f0660906-0000-4000-8000-000000000013\" {}\noa_capability q \"Reliable delivery\" id \"f0660906-0000-4000-8000-000000000020\" {}\noa_mission m \"Deliver reliably\" id \"f0660906-0000-4000-8000-000000000021\" {}\nallocation allocate_a \"Prepare responsibility\" id \"f0660906-0000-4000-8000-000000000041\" { source @crew; target @a; }\nallocation allocate_b \"Deliver responsibility\" id \"f0660906-0000-4000-8000-000000000042\" { source @crew; target @b; }\nallocation allocate_c \"Verify responsibility\" id \"f0660906-0000-4000-8000-000000000043\" { source @crew; target @c; }\ninteraction eab \"Prepared service\" id \"f0660906-0000-4000-8000-000000000050\" { source @a; target @b; }\ninteraction ep \"Grouped service\" id \"f0660906-0000-4000-8000-000000000051\" { source @activity_group; target @c; }\ninteraction eca \"Verified service\" id \"f0660906-0000-4000-8000-000000000052\" { source @c; target @a; }\ncapability_involvement support \"Crew support\" id \"f0660906-0000-4000-8000-000000000060\" { source @crew; target @q; }","behavior.arcadia":"oa_process delivery \"Delivery path\" id \"f0660906-0000-4000-8000-000000000030\" { steps [@ab_use]; }\noa_occurrence ab_use \"Use prepared service\" id \"f0660906-0000-4000-8000-000000000031\" {\n parent @delivery; body { Exchange { exchange @eab; sender none; receiver none; message_kind Asynchronous; reply_to none; values []; }; };\n}","project.arcadia":"arcadia 7; project coverage \"REST coverage parity\" id \"f0660906-0000-4000-8000-000000000001\" { include \"work.arcadia\"; include \"behavior.arcadia\"; }"}}}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"issues":[{"code":"work_without_behavior_context","column":1,"line":7,"message":"Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.","object_id":"f0660906-0000-4000-8000-000000000013","path":"work.arcadia","severity":"warning","span":{"end":443,"start":376}},{"code":"capability_without_behavior_context","column":1,"line":8,"message":"Add an explicit behavior context: link a process/chain with Chain involvement, or set a scenario's Context to this capability.","object_id":"f0660906-0000-4000-8000-000000000020","path":"work.arcadia","severity":"warning","span":{"end":524,"start":444}},{"code":"mission_without_capability","column":1,"line":9,"message":"Connect this mission to a capability that delivers it.","object_id":"f0660906-0000-4000-8000-000000000021","path":"work.arcadia","severity":"warning","span":{"end":601,"start":525}},{"code":"non_leaf_work_exchange","column":85,"field":"source","line":14,"message":"Choose the leaf activity/function responsible for this exchange; keep any typed port owned by that function.","object_id":"f0660906-0000-4000-8000-000000000051","path":"work.arcadia","severity":"warning","span":{"end":1157,"start":1142}},{"code":"exchange_without_behavior_context","column":1,"line":15,"message":"Use this exchange in a process/chain or scenario.","object_id":"f0660906-0000-4000-8000-000000000052","path":"work.arcadia","severity":"warning","span":{"end":1274,"start":1172}}],"migration":null,"revision":1,"valid":true}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"path": "/api/v1/projects/d76a94a7-b552-4775-a29a-197068349a9c/model",
|
||||
"method": "GET",
|
||||
"etag": "\"p-d76a94a7-b552-4775-a29a-197068349a9c-r1\"",
|
||||
"status": 200
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"schema_version":7,"id":"4ebe9c79-0518-4e83-912d-cd8e812c3e47","alias":"mission","name":"Coverage probe host","description":"","elements":{},"relations":{},"diagrams":{},"artifact_links":{},"traces":{}}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"path": "/api/v1/projects/d76a94a7-b552-4775-a29a-197068349a9c/source-project",
|
||||
"method": "GET",
|
||||
"etag": "\"p-d76a94a7-b552-4775-a29a-197068349a9c-r1\"",
|
||||
"status": 200
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"entry":"project.arcadia","files":{"project.arcadia":"arcadia 7;\nproject mission \"Coverage probe host\" id \"4ebe9c79-0518-4e83-912d-cd8e812c3e47\" {\n description \"\";\n}\n"}}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"path": "/api/v1/projects/d76a94a7-b552-4775-a29a-197068349a9c/source-project",
|
||||
"method": "PUT",
|
||||
"etag": "\"p-d76a94a7-b552-4775-a29a-197068349a9c-r2\"",
|
||||
"status": 200
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"entry":"project.arcadia","files":{"work.arcadia":"// Synthetic OA fixture: known responsibilities, explicit incomplete contexts.\noa_entity crew \"Crew\" id \"f0660906-0000-4000-8000-000000000002\" {}\noa_activity activity_group \"Manage service\" id \"f0660906-0000-4000-8000-000000000010\" {\n oa_activity a \"Prepare\" id \"f0660906-0000-4000-8000-000000000011\" {}\n oa_activity b \"Deliver\" id \"f0660906-0000-4000-8000-000000000012\" {}\n}\noa_activity c \"Verify\" id \"f0660906-0000-4000-8000-000000000013\" {}\noa_capability q \"Reliable delivery\" id \"f0660906-0000-4000-8000-000000000020\" {}\noa_mission m \"Deliver reliably\" id \"f0660906-0000-4000-8000-000000000021\" {}\nallocation allocate_a \"Prepare responsibility\" id \"f0660906-0000-4000-8000-000000000041\" { source @crew; target @a; }\nallocation allocate_b \"Deliver responsibility\" id \"f0660906-0000-4000-8000-000000000042\" { source @crew; target @b; }\nallocation allocate_c \"Verify responsibility\" id \"f0660906-0000-4000-8000-000000000043\" { source @crew; target @c; }\ninteraction eab \"Prepared service\" id \"f0660906-0000-4000-8000-000000000050\" { source @a; target @b; }\ninteraction ep \"Grouped service\" id \"f0660906-0000-4000-8000-000000000051\" { source @activity_group; target @c; }\ninteraction eca \"Verified service\" id \"f0660906-0000-4000-8000-000000000052\" { source @c; target @a; }\ncapability_involvement support \"Crew support\" id \"f0660906-0000-4000-8000-000000000060\" { source @crew; target @q; }","behavior.arcadia":"oa_process delivery \"Delivery path\" id \"f0660906-0000-4000-8000-000000000030\" { steps [@ab_use]; }\noa_occurrence ab_use \"Use prepared service\" id \"f0660906-0000-4000-8000-000000000031\" {\n parent @delivery; body { Exchange { exchange @eab; sender none; receiver none; message_kind Asynchronous; reply_to none; values []; }; };\n}","project.arcadia":"arcadia 7; project coverage \"REST coverage parity\" id \"f0660906-0000-4000-8000-000000000001\" { include \"work.arcadia\"; include \"behavior.arcadia\"; }"}}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"changed":true,"issues":[{"code":"work_without_behavior_context","column":1,"line":7,"message":"Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.","object_id":"f0660906-0000-4000-8000-000000000013","path":"work.arcadia","severity":"warning","span":{"end":443,"start":376}},{"code":"capability_without_behavior_context","column":1,"line":8,"message":"Add an explicit behavior context: link a process/chain with Chain involvement, or set a scenario's Context to this capability.","object_id":"f0660906-0000-4000-8000-000000000020","path":"work.arcadia","severity":"warning","span":{"end":524,"start":444}},{"code":"mission_without_capability","column":1,"line":9,"message":"Connect this mission to a capability that delivers it.","object_id":"f0660906-0000-4000-8000-000000000021","path":"work.arcadia","severity":"warning","span":{"end":601,"start":525}},{"code":"non_leaf_work_exchange","column":85,"field":"source","line":14,"message":"Choose the leaf activity/function responsible for this exchange; keep any typed port owned by that function.","object_id":"f0660906-0000-4000-8000-000000000051","path":"work.arcadia","severity":"warning","span":{"end":1157,"start":1142}},{"code":"exchange_without_behavior_context","column":1,"line":15,"message":"Use this exchange in a process/chain or scenario.","object_id":"f0660906-0000-4000-8000-000000000052","path":"work.arcadia","severity":"warning","span":{"end":1274,"start":1172}}],"migration":null,"revision":2,"source_project":{"entry":"project.arcadia","files":{"behavior.arcadia":"oa_process delivery \"Delivery path\" id \"f0660906-0000-4000-8000-000000000030\" { steps [@ab_use]; }\noa_occurrence ab_use \"Use prepared service\" id \"f0660906-0000-4000-8000-000000000031\" {\n parent @delivery; body { Exchange { exchange @eab; sender none; receiver none; message_kind Asynchronous; reply_to none; values []; }; };\n}","project.arcadia":"arcadia 7; project coverage \"REST coverage parity\" id \"f0660906-0000-4000-8000-000000000001\" { include \"work.arcadia\"; include \"behavior.arcadia\"; }","work.arcadia":"// Synthetic OA fixture: known responsibilities, explicit incomplete contexts.\noa_entity crew \"Crew\" id \"f0660906-0000-4000-8000-000000000002\" {}\noa_activity activity_group \"Manage service\" id \"f0660906-0000-4000-8000-000000000010\" {\n oa_activity a \"Prepare\" id \"f0660906-0000-4000-8000-000000000011\" {}\n oa_activity b \"Deliver\" id \"f0660906-0000-4000-8000-000000000012\" {}\n}\noa_activity c \"Verify\" id \"f0660906-0000-4000-8000-000000000013\" {}\noa_capability q \"Reliable delivery\" id \"f0660906-0000-4000-8000-000000000020\" {}\noa_mission m \"Deliver reliably\" id \"f0660906-0000-4000-8000-000000000021\" {}\nallocation allocate_a \"Prepare responsibility\" id \"f0660906-0000-4000-8000-000000000041\" { source @crew; target @a; }\nallocation allocate_b \"Deliver responsibility\" id \"f0660906-0000-4000-8000-000000000042\" { source @crew; target @b; }\nallocation allocate_c \"Verify responsibility\" id \"f0660906-0000-4000-8000-000000000043\" { source @crew; target @c; }\ninteraction eab \"Prepared service\" id \"f0660906-0000-4000-8000-000000000050\" { source @a; target @b; }\ninteraction ep \"Grouped service\" id \"f0660906-0000-4000-8000-000000000051\" { source @activity_group; target @c; }\ninteraction eca \"Verified service\" id \"f0660906-0000-4000-8000-000000000052\" { source @c; target @a; }\ncapability_involvement support \"Crew support\" id \"f0660906-0000-4000-8000-000000000060\" { source @crew; target @q; }"}}}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"path": "/api/v1/projects/d76a94a7-b552-4775-a29a-197068349a9c/model",
|
||||
"method": "GET",
|
||||
"etag": "\"p-d76a94a7-b552-4775-a29a-197068349a9c-r2\"",
|
||||
"status": 200
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"schema_version":7,"id":"f0660906-0000-4000-8000-000000000001","alias":"coverage","name":"REST coverage parity","description":"","elements":{"f0660906-0000-4000-8000-000000000002":{"id":"f0660906-0000-4000-8000-000000000002","alias":"crew","name":"Crew","description":"","parent":null,"body":{"Oa":"Entity"}},"f0660906-0000-4000-8000-000000000010":{"id":"f0660906-0000-4000-8000-000000000010","alias":"activity_group","name":"Manage service","description":"","parent":null,"body":{"Oa":"Activity"}},"f0660906-0000-4000-8000-000000000011":{"id":"f0660906-0000-4000-8000-000000000011","alias":"a","name":"Prepare","description":"","parent":"f0660906-0000-4000-8000-000000000010","body":{"Oa":"Activity"}},"f0660906-0000-4000-8000-000000000012":{"id":"f0660906-0000-4000-8000-000000000012","alias":"b","name":"Deliver","description":"","parent":"f0660906-0000-4000-8000-000000000010","body":{"Oa":"Activity"}},"f0660906-0000-4000-8000-000000000013":{"id":"f0660906-0000-4000-8000-000000000013","alias":"c","name":"Verify","description":"","parent":null,"body":{"Oa":"Activity"}},"f0660906-0000-4000-8000-000000000020":{"id":"f0660906-0000-4000-8000-000000000020","alias":"q","name":"Reliable delivery","description":"","parent":null,"body":{"Oa":"Capability"}},"f0660906-0000-4000-8000-000000000021":{"id":"f0660906-0000-4000-8000-000000000021","alias":"m","name":"Deliver reliably","description":"","parent":null,"body":{"Oa":"Mission"}},"f0660906-0000-4000-8000-000000000030":{"id":"f0660906-0000-4000-8000-000000000030","alias":"delivery","name":"Delivery path","description":"","parent":null,"body":{"Oa":{"Process":{"steps":["f0660906-0000-4000-8000-000000000031"]}}}},"f0660906-0000-4000-8000-000000000031":{"id":"f0660906-0000-4000-8000-000000000031","alias":"ab_use","name":"Use prepared service","description":"","parent":"f0660906-0000-4000-8000-000000000030","body":{"Oa":{"Shared":{"Occurrence":{"body":{"Exchange":{"exchange":"f0660906-0000-4000-8000-000000000050","sender":null,"receiver":null,"message_kind":"Asynchronous","reply_to":null,"values":[]}},"precondition":"","postcondition":""}}}}}},"relations":{"f0660906-0000-4000-8000-000000000041":{"id":"f0660906-0000-4000-8000-000000000041","alias":"allocate_a","name":"Prepare responsibility","description":"","body":{"Allocation":{"source":"f0660906-0000-4000-8000-000000000002","target":"f0660906-0000-4000-8000-000000000011"}}},"f0660906-0000-4000-8000-000000000042":{"id":"f0660906-0000-4000-8000-000000000042","alias":"allocate_b","name":"Deliver responsibility","description":"","body":{"Allocation":{"source":"f0660906-0000-4000-8000-000000000002","target":"f0660906-0000-4000-8000-000000000012"}}},"f0660906-0000-4000-8000-000000000043":{"id":"f0660906-0000-4000-8000-000000000043","alias":"allocate_c","name":"Verify responsibility","description":"","body":{"Allocation":{"source":"f0660906-0000-4000-8000-000000000002","target":"f0660906-0000-4000-8000-000000000013"}}},"f0660906-0000-4000-8000-000000000050":{"id":"f0660906-0000-4000-8000-000000000050","alias":"eab","name":"Prepared service","description":"","body":{"Interaction":{"source":"f0660906-0000-4000-8000-000000000011","target":"f0660906-0000-4000-8000-000000000012","items":[]}}},"f0660906-0000-4000-8000-000000000051":{"id":"f0660906-0000-4000-8000-000000000051","alias":"ep","name":"Grouped service","description":"","body":{"Interaction":{"source":"f0660906-0000-4000-8000-000000000010","target":"f0660906-0000-4000-8000-000000000013","items":[]}}},"f0660906-0000-4000-8000-000000000052":{"id":"f0660906-0000-4000-8000-000000000052","alias":"eca","name":"Verified service","description":"","body":{"Interaction":{"source":"f0660906-0000-4000-8000-000000000013","target":"f0660906-0000-4000-8000-000000000011","items":[]}}},"f0660906-0000-4000-8000-000000000060":{"id":"f0660906-0000-4000-8000-000000000060","alias":"support","name":"Crew support","description":"","body":{"CapabilityInvolvement":{"source":"f0660906-0000-4000-8000-000000000002","target":"f0660906-0000-4000-8000-000000000020"}}}},"diagrams":{},"artifact_links":{},"traces":{}}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"path": "/api/v1/projects/d76a94a7-b552-4775-a29a-197068349a9c/source-project",
|
||||
"method": "GET",
|
||||
"etag": "\"p-d76a94a7-b552-4775-a29a-197068349a9c-r2\"",
|
||||
"status": 200
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
{"entry":"project.arcadia","files":{"behavior.arcadia":"oa_process delivery \"Delivery path\" id \"f0660906-0000-4000-8000-000000000030\" { steps [@ab_use]; }\noa_occurrence ab_use \"Use prepared service\" id \"f0660906-0000-4000-8000-000000000031\" {\n parent @delivery; body { Exchange { exchange @eab; sender none; receiver none; message_kind Asynchronous; reply_to none; values []; }; };\n}","project.arcadia":"arcadia 7; project coverage \"REST coverage parity\" id \"f0660906-0000-4000-8000-000000000001\" { include \"work.arcadia\"; include \"behavior.arcadia\"; }","work.arcadia":"// Synthetic OA fixture: known responsibilities, explicit incomplete contexts.\noa_entity crew \"Crew\" id \"f0660906-0000-4000-8000-000000000002\" {}\noa_activity activity_group \"Manage service\" id \"f0660906-0000-4000-8000-000000000010\" {\n oa_activity a \"Prepare\" id \"f0660906-0000-4000-8000-000000000011\" {}\n oa_activity b \"Deliver\" id \"f0660906-0000-4000-8000-000000000012\" {}\n}\noa_activity c \"Verify\" id \"f0660906-0000-4000-8000-000000000013\" {}\noa_capability q \"Reliable delivery\" id \"f0660906-0000-4000-8000-000000000020\" {}\noa_mission m \"Deliver reliably\" id \"f0660906-0000-4000-8000-000000000021\" {}\nallocation allocate_a \"Prepare responsibility\" id \"f0660906-0000-4000-8000-000000000041\" { source @crew; target @a; }\nallocation allocate_b \"Deliver responsibility\" id \"f0660906-0000-4000-8000-000000000042\" { source @crew; target @b; }\nallocation allocate_c \"Verify responsibility\" id \"f0660906-0000-4000-8000-000000000043\" { source @crew; target @c; }\ninteraction eab \"Prepared service\" id \"f0660906-0000-4000-8000-000000000050\" { source @a; target @b; }\ninteraction ep \"Grouped service\" id \"f0660906-0000-4000-8000-000000000051\" { source @activity_group; target @c; }\ninteraction eca \"Verified service\" id \"f0660906-0000-4000-8000-000000000052\" { source @c; target @a; }\ncapability_involvement support \"Crew support\" id \"f0660906-0000-4000-8000-000000000060\" { source @crew; target @q; }"}}
|
||||
+6
@@ -0,0 +1,6 @@
|
||||
{
|
||||
"path": "/api/v1/projects/d76a94a7-b552-4775-a29a-197068349a9c/source",
|
||||
"method": "GET",
|
||||
"etag": "\"p-d76a94a7-b552-4775-a29a-197068349a9c-r2\"",
|
||||
"status": 200
|
||||
}
|
||||
+108
@@ -0,0 +1,108 @@
|
||||
arcadia 7;
|
||||
project coverage "REST coverage parity" id "f0660906-0000-4000-8000-000000000001" {
|
||||
description "";
|
||||
|
||||
oa_entity crew "Crew" id "f0660906-0000-4000-8000-000000000002" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_activity activity_group "Manage service" id "f0660906-0000-4000-8000-000000000010" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_activity a "Prepare" id "f0660906-0000-4000-8000-000000000011" {
|
||||
description "";
|
||||
parent @activity_group;
|
||||
}
|
||||
|
||||
oa_activity b "Deliver" id "f0660906-0000-4000-8000-000000000012" {
|
||||
description "";
|
||||
parent @activity_group;
|
||||
}
|
||||
|
||||
oa_activity c "Verify" id "f0660906-0000-4000-8000-000000000013" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_capability q "Reliable delivery" id "f0660906-0000-4000-8000-000000000020" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_mission m "Deliver reliably" id "f0660906-0000-4000-8000-000000000021" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_process delivery "Delivery path" id "f0660906-0000-4000-8000-000000000030" {
|
||||
description "";
|
||||
parent none;
|
||||
steps [@ab_use];
|
||||
}
|
||||
|
||||
oa_occurrence ab_use "Use prepared service" id "f0660906-0000-4000-8000-000000000031" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @eab;
|
||||
message_kind Asynchronous;
|
||||
receiver none;
|
||||
reply_to none;
|
||||
sender none;
|
||||
values [];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @delivery;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
allocation allocate_a "Prepare responsibility" id "f0660906-0000-4000-8000-000000000041" {
|
||||
description "";
|
||||
source @crew;
|
||||
target @a;
|
||||
}
|
||||
|
||||
allocation allocate_b "Deliver responsibility" id "f0660906-0000-4000-8000-000000000042" {
|
||||
description "";
|
||||
source @crew;
|
||||
target @b;
|
||||
}
|
||||
|
||||
allocation allocate_c "Verify responsibility" id "f0660906-0000-4000-8000-000000000043" {
|
||||
description "";
|
||||
source @crew;
|
||||
target @c;
|
||||
}
|
||||
|
||||
interaction eab "Prepared service" id "f0660906-0000-4000-8000-000000000050" {
|
||||
description "";
|
||||
items [];
|
||||
source @a;
|
||||
target @b;
|
||||
}
|
||||
|
||||
interaction ep "Grouped service" id "f0660906-0000-4000-8000-000000000051" {
|
||||
description "";
|
||||
items [];
|
||||
source @activity_group;
|
||||
target @c;
|
||||
}
|
||||
|
||||
interaction eca "Verified service" id "f0660906-0000-4000-8000-000000000052" {
|
||||
description "";
|
||||
items [];
|
||||
source @c;
|
||||
target @a;
|
||||
}
|
||||
|
||||
capability_involvement support "Crew support" id "f0660906-0000-4000-8000-000000000060" {
|
||||
description "";
|
||||
source @crew;
|
||||
target @q;
|
||||
}
|
||||
|
||||
}
|
||||
Some files were not shown because too many files have changed in this diff Show More
Reference in New Issue
Block a user