Record verified canvas paint correction and integration evidence
This commit is contained in:
@@ -70,3 +70,6 @@ harness/experiments/diagram-resize-foundation-20260912/** -text whitespace=-blan
|
||||
harness/experiments/delete-native-f7-20260912/** -text whitespace=-blank-at-eol,-blank-at-eof,cr-at-eol
|
||||
harness/experiments/canvas-editing-followup-20260912/** -text whitespace=-blank-at-eol,-blank-at-eof,cr-at-eol
|
||||
harness/experiments/resize-port-policy-20260912/** -text whitespace=-blank-at-eol,-blank-at-eof,cr-at-eol
|
||||
harness/experiments/canvas-native-83f53c7-20260912/** -text whitespace=-blank-at-eol,-blank-at-eof,cr-at-eol
|
||||
harness/experiments/nested-lifecycle-union-20260912/** -text whitespace=-blank-at-eol,-blank-at-eof,cr-at-eol
|
||||
harness/experiments/canvas-native-d61f1f3-20260912/** -text whitespace=-blank-at-eol,-blank-at-eof,cr-at-eol
|
||||
|
||||
+15
-1
@@ -82,12 +82,26 @@ positional focus-tree replacement and includes nested activations and redundant
|
||||
canvas-control removal. Strict lint found two obsolete event variants, removed
|
||||
by 4015498. Combined source **83f53c7c6e277e250f06d2ae6bfa6a7988bd2e4b** now passes
|
||||
all 834 Windows desktop tests, strict all-target Clippy and the matching GUI build
|
||||
with all 533 source inputs unchanged. Native acceptance remains pending. The
|
||||
with all 533 source inputs unchanged. Its bounded native trial passes the original
|
||||
architecture/state Save/Undo focus sequences, Inspector text protection and bound
|
||||
scenario Save/reopen with exact Project/SourceBundle comparisons. It exposes
|
||||
message-label backgrounds erasing nested activation borders, so rendering
|
||||
acceptance remains open. Correction **d61f1f3** preserves the strokes and their
|
||||
selection priority; all 836 Windows desktop tests, strict all-target Clippy and
|
||||
the matching GUI build pass with all 533 inputs unchanged. Its
|
||||
[native recheck](release-canvas-native-d61f1f3-20260912.md) passes border continuity
|
||||
and exposed-shoulder versus exact-message selection in bound OA/SA and reentrant
|
||||
scenes, including minimum-window Fit; Save preserves the exact Project/SourceBundle.
|
||||
Palette/readability remains open. The
|
||||
[canvas follow-up evidence](release-canvas-followup-20260912.md) preserves exact
|
||||
failures, reviews and validated bound OA/SA evaluator fixtures. Complete direct
|
||||
manipulation, persistent process placement/lanes and coherent peer integration
|
||||
remain open. Gitea owns live coordination.
|
||||
|
||||
[Native follow-up evidence](release-canvas-native-83f53c7-20260912.md) records
|
||||
the normally closed source83 trial, observed defect, minimum-size layout and
|
||||
the boundary between state and scenario keyboard policies.
|
||||
|
||||
Complete quantities/calculations/constraints, maintained libraries, graphical/
|
||||
source/REST parity, transitions and engineering-task usability, aligned reST/help,
|
||||
optimized packages and final independent acceptance remain required. Finite
|
||||
|
||||
@@ -0,0 +1,13 @@
|
||||
# Atomic Call/Reply activation assertion migration
|
||||
|
||||
Owner: `/root/nested_call_design`; root owns integration, Gitea and serialized compiler/native acceptance. Isolated worktree `.local/activation-assertion-20260912`, branch `codex/activation-assertion-956atf-20260912`, base `4015498`. Only `crates/oa-desktop/src/behavior/scenario.rs` is changed.
|
||||
|
||||
Committed correction: `10eb86d00f39cdf17df58513305bfe283fa34b74`; isolated worktree clean. Root confirmed the completed base gate: 833 passed, one failed, zero ignored; the exact failure at scenario.rs:3256 was the stale generic-box assertion. All 12 typed activation tests passed in that base gate. These are root-reported base results, not execution of this correction.
|
||||
|
||||
The existing `graphical_call_reply_is_atomic_correlated_and_source_equivalent` test still searched generic Scene boxes for a Call rectangle of width 8. The production renderer now consumes typed `Scene::activations`; its new dimension is not an appropriate replacement semantic assertion. The correction keeps all original atomic two-step creation, exact model reply correlation/endpoints, whole-Project canonical source roundtrip, exclusion of already-replied Calls from the reply picker, and complete undo restoration checks.
|
||||
|
||||
The replacement asserts exactly one typed segment with the correct Call, receiving lifeline, ordered scope, and `Finish::Reply` ID. Its finite, positive rectangle must begin at the actual Call receive endpoint and end at the actual Reply send endpoint, both on the same rectangle edge. There must be no generic Call box or open marker. An interior hit must select the Call, with explicit preconditions proving that point is outside message-line slop and labels. The rectangle under test is the exact data consumed by `Scene::draw` for its square fill and outline (`behavior.rs`, activation loop); this is source/geometry evidence, not a claim of rendered pixels or low-scale legibility.
|
||||
|
||||
Search of `crates/oa-desktop/src` for old width-8 comparisons and constructions found only this stale assertion plus an unrelated 8-by-4 palette icon. No other Call-box assertions were changed.
|
||||
|
||||
Checks performed: source review, standalone installed `rustfmt.exe --edition 2024 --config skip_children=true` on the owned file, and `git diff --check`. Initial PATH-only `rustfmt` lookup failed; using the existing `.local/toolchain/rustup/toolchains/stable-x86_64-pc-windows-gnullvm/bin/rustfmt.exe` succeeded. No Cargo, rustc, test run, native interaction, root tracked edit, or Gitea action. Root's running full-suite failure receipt remains authoritative; the replacement needs the focused existing test and subsequent required combined gate after inputs may change.
|
||||
+25
@@ -0,0 +1,25 @@
|
||||
# Activation border / label backplate repair
|
||||
|
||||
Source-only contribution by `/root/nested_call_design`, isolated worktree `.local/activation-label-paint-20260912`, branch `codex/activation-label-paint-956atf-20260912`, base `419c78c07142961feff4f9ede46adf7d4bd014eb`. Root owns integration, Gitea, compiler and native acceptance.
|
||||
|
||||
Committed correction: `d50be10378e90498c2d4c293b377dd9f97ee00af`. Isolated worktree is clean.
|
||||
|
||||
## Verified diagnosis
|
||||
|
||||
Inspected `.local/native-qa/canvas-followup-20260912-01/evidence/oa-outer-activation-selected-0.png` with the image tool. Its SHA-256 is `63D85E7C13B688594D8CD429E5631BCF55F2D4528B3837316A9AE542F2E7CBA4`. The screenshot shows interrupted selected outer execution borders immediately above C2, R2 and R1. Approximate screen x=441..666 label backplates overlap the x=663 outer border although displayed text ends near x=600. `behavior.rs` places message labels 26 units above each row, paints a white backplate up to 225 units wide and 22 high, then paints shortened text. Those backplates were painted after activation fills/outlines. The source predicts exactly the repeated gaps; this is painter ordering, not segmented activation geometry or lost reply correlation.
|
||||
|
||||
The examined renderer file is unchanged between root's native build `83f53c7` and the worktree base; its pre-repair SHA-256 is `3089D88A8FA66ECAA2151F2F55A85C71DE30E556457FCD52FDBD0CA1184B59D8`. Related hit inspection found that 225-by-25 label hit rectangles took priority over activation rectangles in those same bands. Root explicitly authorized correcting that priority along with painting.
|
||||
|
||||
## Bounded correction
|
||||
|
||||
Only `crates/oa-desktop/src/behavior.rs` and `behavior/scenario_activation/tests.rs` change. Backplates now paint after lifeline guides and before activation fills/strokes and cards. Message segments, arrowheads and text retain their foreground pass. This preserves guide masking beneath labels, keeps self-call segments/arrowheads above the masks, and leaves lifeline header fill/text above them. Repainting activation fills in the foreground was rejected because it could obscure anchored arrowheads and messages.
|
||||
|
||||
Hit order becomes titled boxes, precise message segments, activation rectangles, label rectangles, then broad message tolerance. Label extents themselves are unchanged. The formerly exposed Call shoulder now selects its Call while exact message points and label text outside activations remain message targets. No model/schema/anchors/dimensions, global palette, text content or truncation changes. Unselected pale borders and minimum-scale usability remain separate issue 26/native acceptance concerns.
|
||||
|
||||
## Evaluators and status
|
||||
|
||||
`activation_shoulders_under_label_backplates_select_their_call` uses production OA and SA Project/Scene fixtures, long labels, and exact C2/R2/R1 shoulder points within the prior backplates. Preconditions exclude broad message-line slop. It checks C1 selection at those points, message-label selection outside activations, and precise endpoint selection for all four occurrences.
|
||||
|
||||
`long_message_backplates_do_not_erase_selected_activation_border_pixels` uses the existing supported headless WGPU renderer, production Canvas widget and `Scene::draw`. It inspects RGBA screenshot pixels at the selected outer border through three label-height bands, allowing antialiasing tolerance. It would detect the original white erasure rather than merely asserting a separately constructed paint-order list. Installed `iced_wgpu` source explicitly documents RGBA screenshots. It tests ordinary-scale pixel continuity, not minimum-scale legibility or a whole-window native workflow.
|
||||
|
||||
Executed: scoped standalone rustfmt (edition 2024, skip_children=true), source review and git diff whitespace checks. **No compiler, Cargo, test execution, native interaction or root tracked edits.** Root must run both new tests and required combined gates, then recheck the bound native OA/SA/reentrant scenarios, headers/labels/self loops, arrow endpoints and the same selected-border bands. Existing semantic, atomic creation, undo and source-equivalence tests remain intact.
|
||||
+26
@@ -0,0 +1,26 @@
|
||||
# Independent paint-repair review — 2026-09-12
|
||||
|
||||
Reviewed root commit **d61f1f38779ab70a77efcde523ae31c432aefcfd**, integrating worker **d50be10378e90498c2d4c293b377dd9f97ee00af**, against419c78c. Read the handoff and both changed files, surrounding Scene painter/hit logic, mounted renderer construction and installed WGPU screenshot contract. Visually inspected the preserved native witness `.local/native-qa/canvas-followup-20260912-01/evidence/oa-outer-activation-selected-0.png`. No compiler/test/UI/Gitea action or code edit. This report is the sole reviewer-written artifact.
|
||||
|
||||
**No actionable source defect found in the bounded repair.** The changes address the observed backplate erasure and corresponding shoulder hit priority. Current combined test/native acceptance remains root-owned; this review does not establish a pass.
|
||||
|
||||
## Painter and hit behavior
|
||||
|
||||
`crates/oa-desktop/src/behavior.rs:1984–1995` moves all label backgrounds after guides but before activation and card fills/strokes. Message paths, arrowheads and shortened text remain afterward at2039–2084, with card/header text later. This removes the specific white bands visible above C2/R2/R1 in the native witness without repainting filled activations over anchored message ends.
|
||||
|
||||
The order also preserves self-loop geometry: every background now precedes every message path, so a later message's white mask cannot erase an earlier self-loop arm or arrowhead. Boxes/header fills still cover backgrounds, and their text stays above message backgrounds. The repair changes no geometry or endpoint correlation. Existing card/message overlap policy is unchanged apart from lowering white masks.
|
||||
|
||||
At `behavior.rs:1611–1663`, titled boxes retain first priority. Exact message segments retain priority over activation rectangles; activations now precede approximate label rectangles, which in turn precede broad message tolerance. This matches the targeted exposed shoulder: the old overly wide label rectangle no longer steals it. Message text outside bars remains selectable, while exact endpoints still select their messages. The fixed1.5 world-unit precise tolerance and broad8/scale tolerance are pre-existing policies, not new focus/hit semantics introduced by this repair.
|
||||
|
||||
The OA/SA shoulder test at `behavior/scenario_activation/tests.rs:130` establishes that each selected point is inside both the outer bar and old white mask, and outside even the broad message-line tolerance. It also checks label selection outside activations and both endpoints of all four occurrences. Those are discriminating checks of the intended priority change, without conflating a shoulder with an actual message line.
|
||||
|
||||
## Pixel evaluator adequacy
|
||||
|
||||
The test at `scenario_activation/tests.rs:162` draws the production Canvas/Scene through the existing WGPU headless renderer, then reads actual screenshot pixels. Installed `iced_wgpu-0.14.0/src/lib.rs:182` explicitly documents RGBA bytes, consistent with the test indexing.
|
||||
|
||||
For its two-lane fixture, lane x coordinates are160 and400. The selected outer left border is394; tested label masks start around172 and extend to397. Thus the entire sampled x392…396 strip lies under the old backplate, rather than accidentally sampling an uncovered border outside it. The y samples are label+3…19, several pixels above the message at label+26 and its arrowhead. Only the outer call is selected/teal; inner messages/bars, guides and their labels are gray. A gray glyph or inner border is therefore not a credible source of teal matching at every one of17 rows in each of three bands.
|
||||
|
||||
The original ordering is source-predicted to erase those sampled pixels, while the new ordering should restore selected-border continuity. This is stronger than inspecting a fabricated paint-order list or accepting “any colored pixel” in a large area. No pre-repair negative-control execution was performed by this reviewer, and antialiasing/color tolerance still needs the actual root gate result.
|
||||
|
||||
Its scope is intentionally narrow: ordinary scale, selected OA outer bar, three white-mask intersections, and actual painter output. It does not measure unselected pale contrast, all self-loop/arrowhead pixels, minimum-scale usability, text collisions or a complete native window. Existing geometry tests plus the root's same-source native bound OA/SA/reentrant/header/self-loop checks remain necessary. Peer lifecycle integration and palette improvements remain separate work.
|
||||
|
||||
@@ -138,5 +138,25 @@
|
||||
"file": "independent-focus-review.md",
|
||||
"bytes": 7050,
|
||||
"sha256": "a3e17f387eebf1c15b508ad2afc4d91602192ce1bbe9eca84189e1599809b722"
|
||||
},
|
||||
{
|
||||
"file": "activation-assertion-handoff.md",
|
||||
"bytes": 2706,
|
||||
"sha256": "f5ba841ca824ebd084375da28ecd5fb1622667e005537741edfe3f3a63297df4"
|
||||
},
|
||||
{
|
||||
"file": "activation-label-paint-handoff.md",
|
||||
"bytes": 4133,
|
||||
"sha256": "746a4fad5b717af45ae5decc01d308f067afe8faf71ce9ac7afc86fc077c374a"
|
||||
},
|
||||
{
|
||||
"file": "activation-label-paint-independent-review.md",
|
||||
"bytes": 4475,
|
||||
"sha256": "e0e8371057ba6dc938846e826e9374317a443a8b4dd04f3b1273dc3ebc827a3f"
|
||||
},
|
||||
{
|
||||
"file": "nested-lifecycle-union-review.md",
|
||||
"bytes": 9975,
|
||||
"sha256": "9fae22f29d7f2f0b8efa2731aa9a1bbc11ae9c2a9832ea2ba358ffd4f7451dd9"
|
||||
}
|
||||
]
|
||||
|
||||
@@ -0,0 +1,46 @@
|
||||
# Nested activation / lifecycle union review — 2026-09-12
|
||||
|
||||
Bounded independent source review for root-owned #21. Read [peer comment698](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/issues/21#issuecomment-698) by Codex-ytr83r at22:23:59UTC and relevant #2 publication comments. No source edits, compilation, UI, Gitea mutation or integration approval. The active paint-repair worker's ownership is unchanged.
|
||||
|
||||
## Exact source boundary
|
||||
|
||||
- Root typed activation source inspected at **83f53c7c6e277e250f06d2ae6bfa6a7988bd2e4b**. Its activation implementation is unchanged by root HEAD419c78c at review time. `crates/oa-desktop/src/behavior.rs:23–26` compiles scenario_lifecycle only for tests; `scenario_activation.rs:99–119` emits raw spans.
|
||||
- Peer experimental source inspected directly through Gitea at **911f63e63ca9e35af631ae02cbf731f2b34b72a2**. [behavior.rs](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/src/commit/911f63e63ca9e35af631ae02cbf731f2b34b72a2/crates/oa-desktop/src/behavior.rs) blob **3f9fd97e038733ac92749b1543e9fa68cd3dda2c** has production lifecycle wiring and the two-site test-only Scene anchor hook.
|
||||
- Confirmed that lifecycle support predates that unexecuted experiment by reading published checkpoint **7aa007b0777aa182a99f46e90eeb9b2558f3ad2a**. Its [behavior.rs](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/src/commit/7aa007b0777aa182a99f46e90eeb9b2558f3ad2a/crates/oa-desktop/src/behavior.rs) blob **d199096df61cacde7858ab1915f352b5c479e347** has production module line23, align_messages line1329 and alive_spans clipping line1655. The checkpoint identifies its implementation as33e30c1; peer reported gates are not rerun or adopted here.
|
||||
- [scenario_lifecycle/render.rs](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/src/commit/911f63e63ca9e35af631ae02cbf731f2b34b72a2/crates/oa-desktop/src/behavior/scenario_lifecycle/render.rs) is **identical blob a066d9671cb60070f507d8840977e100aac89792** at911f63e and7aa007b. `scenario_lifecycle.rs` at911f63e is blob **6fe044890864ecf3095d0fedf590104f6121abf7**.
|
||||
|
||||
**Peer698 is substantively correct: this is an explicit union dependency, not evidence that either branch regressed an already integrated counterpart. Do not replace either renderer wholesale or treat911f63e's source experiment as accepted implementation.**
|
||||
|
||||
## Required integration contract
|
||||
|
||||
1. **One ordered geometry pipeline.** Record occurrences/rows/scopes after peer's16-unit self-Create/Delete clearance and any test-only row-anchor hook (peer behavior.rs1432–1454). Establish final scene height before Rendering::new, which uses height−20 as its root extent (render.rs32–65). Build lifecycle from those same world coordinates, align Create/Delete messages, then derive typed activations and final Call/Reply anchors. Do not run the old and new activation_sequence implementations together. The pre-row hook remains upstream and cfg(test); it is not a persisted-layout contract.
|
||||
|
||||
2. **Keep message kinds' endpoint meanings separate.** Lifecycle align_messages (render.rs113–151) places a self-Create/Delete receive point on its marker row and send point24 above; Create points at the capsule edge. Root typed activation anchoring (scenario_activation.rs216) intentionally handles Call/Reply/Asynchronous only. Keep that exclusion: a self-Call starts at its lower receive endpoint, while self-Create/Delete's marker row must not be shifted or rewritten as a Call loop. Both aligners must preserve occurrence IDs and use the same recorded rows.
|
||||
|
||||
3. **Clip visible activation pieces by receiver AND exact scope.** alive_spans (render.rs154–175) intersects only Life::Alive intervals with the requested extent and rejects absent/unresolved regions. It may return zero, one or multiple pieces. Peer lifecycle projection gives siblings the same entry rather than the previous screen operand's exit, and marks conditional/repeated/parallel continuation unresolved when appropriate (scenario_lifecycle.rs197–205,246–273). Preserve that conservative meaning unless root separately decides otherwise. A parent activation must not bridge a death, pre-birth region or another operand merely because screen y is continuous. Retain typed call/receiver/scope/column identity for each surviving piece.
|
||||
|
||||
4. **Keep logical correlation timing distinct from clipped rectangle edges.** Root currently reconstructs Correlation.start and reply times from Segment.rect/Finish at scenario_activation.rs216–232; reply anchoring finds a segment by Finish::Reply without checking that its visible end is the reply's send y (around258–265). Blindly clipping rects while retaining the original finish on every piece is unsafe.
|
||||
|
||||
Concrete union falsifier: raw Call at148, receiver Delete at240, correlated Reply at332. Clipping the Call→Reply segment to148…240 and leaving Finish::Reply(reply332) makes the geometric end look like a reply at240. It also lets the actual reply at332 attach to that displaced execution's x despite no visible execution there. If several alive pieces survive, copying Reply to all pieces creates ambiguous first-match anchoring. Conversely, simply deleting Reply metadata can erase the real correlation used to distinguish crossed calls.
|
||||
|
||||
Required observable rule: only a visible piece that actually reaches the terminal reply-send coordinate can supply that reply anchor/cap. A lifetime-clipped end is not a reply. Preserve original call/compatible-reply timing for correlation decisions even when its visible representation is clipped or absent. This can be a small separation of logical metadata from visible fragments; it is not a request for another traversal engine or new model schema.
|
||||
|
||||
5. **Deletion terminates the local execution without pretending to answer the call.** Peer behavior.rs1723–1734 explicitly handles receiver Delete, clips at death, preserves an unanswered-call cue, and stops that local traversal. Root Finish currently has Reply/Boundary/Continuation/Open but no explicit death terminal. Decide a typed representation that distinguishes “execution terminated, call unanswered” from both reply and ordinary continuation. Preserve the sibling-open path and unresolved post-fragment state. Do not derive all unresolved cues only from surviving clipped fragments: an entirely invisible fragment can otherwise erase the semantic uncertainty cue. Nor may a later Create automatically resurrect an execution already terminated by Delete.
|
||||
|
||||
6. **Columns, hit geometry and paint use the same visible pieces.** One call's related pieces must retain a consistent chosen track; clipping cannot silently change call identity or make different siblings chronological. No active_segment result may come from an absent interval or from fabricated nesting caused by clipped start/end times (root scenario_activation.rs313–380). Preserve source/receiver anchors at real events, marker hit identity, and the paint worker's existing selection/layering correction. Integration must explicitly reconcile lifecycle lanes/markers with that painter; this report does not allocate or edit its files.
|
||||
|
||||
## Minimal combined acceptance cases before adoption
|
||||
|
||||
Retain the existing root nested/crossed/reentrant/self/UUID tests and peer lifecycle tests, adapting representations rather than dropping assertions. Add these discriminating combined cases in OA and SA where the core admits them:
|
||||
|
||||
- Delayed Create → C1 → C2 → R2 → R1 → Delete: typed starts are actual call receives, each reply reaches its correlated visible end, and bars remain inside alive spans.
|
||||
- C1 → ALT(left: Delete; right: empty): preserve left death termination plus unanswered cue, right26-unit open span, and no definite post-frame bar. Peer `render_tests.rs:478–545` already provides the independent lifecycle oracle. Replace its width8 anonymous-box lookup with typed call/receiver/scope lookup; preserve the actual assertions.
|
||||
- Call before delayed birth, Call spanning Delete, and a later correlated Reply after Delete: preserve admitted semantic data and lifecycle uncertainty; no invented reply finish at a clipping boundary or detached bar anchor. If a constructed sequence is rejected by core semantics, record that and use an admitted incomplete case.
|
||||
- Delete then later Create: no automatic resurrection of the prior terminated activation. Multiple alive pieces must not duplicate reply finishes or unresolved cues.
|
||||
- Self-Create/Delete after an Action retains16-unit clearance, marker receive row and hit identity; self-Call/Reply still uses the typed lower receive start. Peer `render_tests.rs:666–737` covers the marker half.
|
||||
- Crossed replies spanning a clipped/uncertain operand: compare original compatible correlation endpoints so clipping cannot manufacture an innermost caller execution.
|
||||
- Passive source roundtrip and moved test-only anchors compare **both** lifecycle geometry and complete typed segment tuples, plus final polylines, IDs, labels, frames and whole Project. Peer Scene experiment `mod.rs:88–104` already compares lifecycle but predates typed segments. Keep that assertion and add segment metadata. Its baseline self-call x oracle at175–178 must change from lane+75 to the actual typed lane/lane+66/lane+66/lane+6 for its isolated self-call; its send/receive y oracle remains636/660.
|
||||
- Native pan/zoom and selection at birth/death markers and each exposed nested shoulder, including unselected bars, must verify the final combined painter. Root's native83f53c7 and peer historical renderer results each remain scoped to their own source.
|
||||
|
||||
The bounded Scene experiment at911f63e is explicitly uncompiled/unexecuted and does not cover delayed creation/deletion or nested activations. Passing its seven tests alone could not establish this union. Required interface decisions are the endpoint/clip/finish distinction and one geometry pipeline; no peer schema or general free-editing policy is accepted by this review.
|
||||
|
||||
@@ -0,0 +1 @@
|
||||
Open bound-nested-calls.arcadia. In Behavior select OA Nested pressure checks, SA Nested pressure checks, or OA Reentrant pressure review. Each has two lifelines and four rows ordered C1,C2,R2,R1. C1 requests 420.0 kPa and R1 returns 418.0; C2 requests 380.0 and R2 returns 378.0. The SA messages resolve an actual synchronous interface-operation allocation; Replies derive it from their exact Calls. OA uses a bound Interaction carrying an Operation item without SA-only OperationUse. The reentrant case uses an explicit reverse Interaction for C2/R2. Check unselected bars, both reply ends, each bar's selection, Properties values/correlation, source parity and save/reopen. scenario-identities.tsv lists every UI target UUID. diagnostics.txt records completeness warnings. Generator validation and roundtrip are not desktop paint or native acceptance.
|
||||
+486
@@ -0,0 +1,486 @@
|
||||
arcadia 7;
|
||||
project bound_nested_calls "Bound nested pressure checks" id "21b00d00-0000-4000-8000-000000000001" {
|
||||
description "Native activation acceptance. Requested 420/380 kPa, measured 418/378 kPa. Unicode readback: Δ pressure · 戻り値.";
|
||||
|
||||
oa_activity bound_100 "Review pressure demand" id "21b00d00-0000-4000-8000-000000000064" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_activity bound_101 "Inspect pressure" id "21b00d00-0000-4000-8000-000000000065" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_exchange_item bound_110 "Check pressure" id "21b00d00-0000-4000-8000-00000000006e" {
|
||||
description "";
|
||||
kind Information;
|
||||
mechanism Operation;
|
||||
parent none;
|
||||
supertype none;
|
||||
}
|
||||
|
||||
oa_data_field bound_111 "requested_pressure" id "21b00d00-0000-4000-8000-00000000006f" {
|
||||
default none;
|
||||
description "";
|
||||
direction In;
|
||||
maximum 1;
|
||||
minimum 1;
|
||||
parent @bound_110;
|
||||
storage Value;
|
||||
type_ref Real;
|
||||
unit "kPa";
|
||||
}
|
||||
|
||||
oa_data_field bound_112 "measured_pressure" id "21b00d00-0000-4000-8000-000000000070" {
|
||||
default none;
|
||||
description "";
|
||||
direction Return;
|
||||
maximum 1;
|
||||
minimum 1;
|
||||
parent @bound_110;
|
||||
storage Value;
|
||||
type_ref Real;
|
||||
unit "kPa";
|
||||
}
|
||||
|
||||
sa_actor bound_200 "Operator console" id "21b00d00-0000-4000-8000-0000000000c8" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_system bound_201 "Pressure service" id "21b00d00-0000-4000-8000-0000000000c9" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_port bound_202 "Client socket" id "21b00d00-0000-4000-8000-0000000000ca" {
|
||||
contract {
|
||||
Component {
|
||||
kind Standard;
|
||||
orientation Unset;
|
||||
};
|
||||
};
|
||||
description "";
|
||||
legacy none;
|
||||
parent @bound_200;
|
||||
}
|
||||
|
||||
sa_port bound_203 "Service socket" id "21b00d00-0000-4000-8000-0000000000cb" {
|
||||
contract {
|
||||
Component {
|
||||
kind Standard;
|
||||
orientation Unset;
|
||||
};
|
||||
};
|
||||
description "";
|
||||
legacy none;
|
||||
parent @bound_201;
|
||||
}
|
||||
|
||||
sa_exchange_item bound_210 "Check pressure" id "21b00d00-0000-4000-8000-0000000000d2" {
|
||||
description "";
|
||||
kind Information;
|
||||
mechanism Operation;
|
||||
parent none;
|
||||
supertype none;
|
||||
}
|
||||
|
||||
sa_data_field bound_211 "requested_pressure" id "21b00d00-0000-4000-8000-0000000000d3" {
|
||||
default none;
|
||||
description "";
|
||||
direction In;
|
||||
maximum 1;
|
||||
minimum 1;
|
||||
parent @bound_210;
|
||||
storage Value;
|
||||
type_ref Real;
|
||||
unit "kPa";
|
||||
}
|
||||
|
||||
sa_data_field bound_212 "measured_pressure" id "21b00d00-0000-4000-8000-0000000000d4" {
|
||||
default none;
|
||||
description "";
|
||||
direction Return;
|
||||
maximum 1;
|
||||
minimum 1;
|
||||
parent @bound_210;
|
||||
storage Value;
|
||||
type_ref Real;
|
||||
unit "kPa";
|
||||
}
|
||||
|
||||
sa_interface bound_213 "Pressure check API" id "21b00d00-0000-4000-8000-0000000000d5" {
|
||||
description "";
|
||||
parent none;
|
||||
supertype none;
|
||||
}
|
||||
|
||||
oa_scenario bound_1000 "OA Nested pressure checks" id "21b00d00-0000-4000-8000-0000000003e8" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "Each reply retains its own requested and measured values";
|
||||
precondition "Two pressure checks are reviewed before the outer reply";
|
||||
steps [@bound_1040, @bound_1030, @bound_1060, @bound_1050];
|
||||
viewpoint OperationalActivity;
|
||||
}
|
||||
|
||||
oa_lifeline bound_1001 "L1 Console" id "21b00d00-0000-4000-8000-0000000003e9" {
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
represented @bound_100;
|
||||
}
|
||||
|
||||
oa_lifeline bound_1002 "L2 Inspector" id "21b00d00-0000-4000-8000-0000000003ea" {
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
represented @bound_101;
|
||||
}
|
||||
|
||||
oa_occurrence bound_1030 "C2 380 kPa" id "21b00d00-0000-4000-8000-000000000406" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Call;
|
||||
receiver @bound_1002;
|
||||
reply_to none;
|
||||
sender @bound_1001;
|
||||
values [{
|
||||
expression "380.0";
|
||||
field @bound_111;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_1040 "C1 420 kPa" id "21b00d00-0000-4000-8000-000000000410" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Call;
|
||||
receiver @bound_1002;
|
||||
reply_to none;
|
||||
sender @bound_1001;
|
||||
values [{
|
||||
expression "420.0";
|
||||
field @bound_111;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_1050 "R1 418 kPa" id "21b00d00-0000-4000-8000-00000000041a" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Reply;
|
||||
receiver @bound_1001;
|
||||
reply_to @bound_1040;
|
||||
sender @bound_1002;
|
||||
values [{
|
||||
expression "418.0";
|
||||
field @bound_112;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_1060 "R2 378 kPa" id "21b00d00-0000-4000-8000-000000000424" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Reply;
|
||||
receiver @bound_1001;
|
||||
reply_to @bound_1030;
|
||||
sender @bound_1002;
|
||||
values [{
|
||||
expression "378.0";
|
||||
field @bound_112;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
sa_scenario bound_2000 "SA Nested pressure checks" id "21b00d00-0000-4000-8000-0000000007d0" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "Each reply retains its own requested and measured values";
|
||||
precondition "Two pressure checks are reviewed before the outer reply";
|
||||
steps [@bound_2040, @bound_2030, @bound_2060, @bound_2050];
|
||||
viewpoint BoundaryInterface;
|
||||
}
|
||||
|
||||
sa_lifeline bound_2001 "L1 Console" id "21b00d00-0000-4000-8000-0000000007d1" {
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
represented @bound_200;
|
||||
}
|
||||
|
||||
sa_lifeline bound_2002 "L2 Inspector" id "21b00d00-0000-4000-8000-0000000007d2" {
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
represented @bound_201;
|
||||
}
|
||||
|
||||
sa_occurrence bound_2030 "C2 380 kPa" id "21b00d00-0000-4000-8000-0000000007ee" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_223;
|
||||
message_kind Call;
|
||||
operation {
|
||||
allocation @bound_220;
|
||||
};
|
||||
receiver @bound_2002;
|
||||
reply_to none;
|
||||
sender @bound_2001;
|
||||
values [{
|
||||
expression "380.0";
|
||||
field @bound_211;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
sa_occurrence bound_2040 "C1 420 kPa" id "21b00d00-0000-4000-8000-0000000007f8" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_223;
|
||||
message_kind Call;
|
||||
operation {
|
||||
allocation @bound_220;
|
||||
};
|
||||
receiver @bound_2002;
|
||||
reply_to none;
|
||||
sender @bound_2001;
|
||||
values [{
|
||||
expression "420.0";
|
||||
field @bound_211;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
sa_occurrence bound_2050 "R1 418 kPa" id "21b00d00-0000-4000-8000-000000000802" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_223;
|
||||
message_kind Reply;
|
||||
receiver @bound_2001;
|
||||
reply_to @bound_2040;
|
||||
sender @bound_2002;
|
||||
values [{
|
||||
expression "418.0";
|
||||
field @bound_212;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
sa_occurrence bound_2060 "R2 378 kPa" id "21b00d00-0000-4000-8000-00000000080c" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_223;
|
||||
message_kind Reply;
|
||||
receiver @bound_2001;
|
||||
reply_to @bound_2030;
|
||||
sender @bound_2002;
|
||||
values [{
|
||||
expression "378.0";
|
||||
field @bound_212;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_scenario bound_3000 "OA Reentrant pressure review" id "21b00d00-0000-4000-8000-000000000bb8" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "Each reply retains its own requested and measured values";
|
||||
precondition "Two pressure checks are reviewed before the outer reply";
|
||||
steps [@bound_3040, @bound_3030, @bound_3060, @bound_3050];
|
||||
viewpoint OperationalActivity;
|
||||
}
|
||||
|
||||
oa_lifeline bound_3001 "L1 Console" id "21b00d00-0000-4000-8000-000000000bb9" {
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
represented @bound_100;
|
||||
}
|
||||
|
||||
oa_lifeline bound_3002 "L2 Inspector" id "21b00d00-0000-4000-8000-000000000bba" {
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
represented @bound_101;
|
||||
}
|
||||
|
||||
oa_occurrence bound_3030 "C2 380 kPa" id "21b00d00-0000-4000-8000-000000000bd6" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_121;
|
||||
message_kind Call;
|
||||
receiver @bound_3001;
|
||||
reply_to none;
|
||||
sender @bound_3002;
|
||||
values [{
|
||||
expression "380.0";
|
||||
field @bound_111;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_3040 "C1 420 kPa" id "21b00d00-0000-4000-8000-000000000be0" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Call;
|
||||
receiver @bound_3002;
|
||||
reply_to none;
|
||||
sender @bound_3001;
|
||||
values [{
|
||||
expression "420.0";
|
||||
field @bound_111;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_3050 "R1 418 kPa" id "21b00d00-0000-4000-8000-000000000bea" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Reply;
|
||||
receiver @bound_3001;
|
||||
reply_to @bound_3040;
|
||||
sender @bound_3002;
|
||||
values [{
|
||||
expression "418.0";
|
||||
field @bound_112;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_3060 "R2 378 kPa" id "21b00d00-0000-4000-8000-000000000bf4" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_121;
|
||||
message_kind Reply;
|
||||
receiver @bound_3002;
|
||||
reply_to @bound_3030;
|
||||
sender @bound_3001;
|
||||
values [{
|
||||
expression "378.0";
|
||||
field @bound_112;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
interaction bound_120 "Pressure check" id "21b00d00-0000-4000-8000-000000000078" {
|
||||
description "";
|
||||
items [@bound_110];
|
||||
source @bound_100;
|
||||
target @bound_101;
|
||||
}
|
||||
|
||||
interaction bound_121 "Demand review callback" id "21b00d00-0000-4000-8000-000000000079" {
|
||||
description "";
|
||||
items [@bound_110];
|
||||
source @bound_101;
|
||||
target @bound_100;
|
||||
}
|
||||
|
||||
interface_item_allocation bound_220 "Synchronous pressure check" id "21b00d00-0000-4000-8000-0000000000dc" {
|
||||
acquisition Unspecified;
|
||||
description "";
|
||||
order 0;
|
||||
source @bound_213;
|
||||
target @bound_210;
|
||||
transmission Synchronous;
|
||||
}
|
||||
|
||||
interface_requirement bound_221 "Console requires check" id "21b00d00-0000-4000-8000-0000000000dd" {
|
||||
description "";
|
||||
source @bound_202;
|
||||
target @bound_213;
|
||||
}
|
||||
|
||||
interface_provision bound_222 "Service provides check" id "21b00d00-0000-4000-8000-0000000000de" {
|
||||
description "";
|
||||
source @bound_203;
|
||||
target @bound_213;
|
||||
}
|
||||
|
||||
boundary_exchange bound_223 "Pressure channel" id "21b00d00-0000-4000-8000-0000000000df" {
|
||||
description "";
|
||||
items [@bound_210];
|
||||
oriented false;
|
||||
source @bound_202;
|
||||
target @bound_203;
|
||||
}
|
||||
|
||||
}
|
||||
@@ -0,0 +1,24 @@
|
||||
[
|
||||
Issue {
|
||||
severity: Warning,
|
||||
element: Some(
|
||||
21b00d00-0000-4000-8000-000000000064,
|
||||
),
|
||||
code: "unallocated_leaf",
|
||||
field: Some(
|
||||
"allocation",
|
||||
),
|
||||
message: "Allocate leaf 'Review pressure demand' to a performer.",
|
||||
},
|
||||
Issue {
|
||||
severity: Warning,
|
||||
element: Some(
|
||||
21b00d00-0000-4000-8000-000000000065,
|
||||
),
|
||||
code: "unallocated_leaf",
|
||||
field: Some(
|
||||
"allocation",
|
||||
),
|
||||
message: "Allocate leaf 'Inspect pressure' to a performer.",
|
||||
},
|
||||
]
|
||||
+4
@@ -0,0 +1,4 @@
|
||||
scenario owner L1 L2 C1 C2 R2 R1
|
||||
OA Nested pressure checks 21b00d00-0000-4000-8000-0000000003e8 21b00d00-0000-4000-8000-0000000003e9 21b00d00-0000-4000-8000-0000000003ea 21b00d00-0000-4000-8000-000000000410 21b00d00-0000-4000-8000-000000000406 21b00d00-0000-4000-8000-000000000424 21b00d00-0000-4000-8000-00000000041a
|
||||
SA Nested pressure checks 21b00d00-0000-4000-8000-0000000007d0 21b00d00-0000-4000-8000-0000000007d1 21b00d00-0000-4000-8000-0000000007d2 21b00d00-0000-4000-8000-0000000007f8 21b00d00-0000-4000-8000-0000000007ee 21b00d00-0000-4000-8000-00000000080c 21b00d00-0000-4000-8000-000000000802
|
||||
OA Reentrant pressure review 21b00d00-0000-4000-8000-000000000bb8 21b00d00-0000-4000-8000-000000000bb9 21b00d00-0000-4000-8000-000000000bba 21b00d00-0000-4000-8000-000000000be0 21b00d00-0000-4000-8000-000000000bd6 21b00d00-0000-4000-8000-000000000bf4 21b00d00-0000-4000-8000-000000000bea
|
||||
|
+2
@@ -0,0 +1,2 @@
|
||||
// Preserve deletion evidence 雨.
|
||||
// Exact bytes matter.
|
||||
+228
@@ -0,0 +1,228 @@
|
||||
arcadia 7;
|
||||
project delete_oracle "Delete oracle" id "de1e7e00-0000-4000-8000-000000000001" {
|
||||
include "notes.arcadia";
|
||||
description "";
|
||||
|
||||
oa_activity delete_10 "Target work" id "de1e7e00-0000-4000-8000-00000000000a" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_activity delete_11 "Untouched work" id "de1e7e00-0000-4000-8000-00000000000b" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_entity delete_12 "OA Dispatch team" id "de1e7e00-0000-4000-8000-00000000000c" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_scenario delete_20 "Reference scenario" id "de1e7e00-0000-4000-8000-000000000014" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
steps [];
|
||||
viewpoint OperationalActivity;
|
||||
}
|
||||
|
||||
oa_lifeline delete_21 "Target reference" id "de1e7e00-0000-4000-8000-000000000015" {
|
||||
description "";
|
||||
parent @delete_20;
|
||||
represented @delete_10;
|
||||
}
|
||||
|
||||
sa_function delete_50 "SA Initialize controller" id "de1e7e00-0000-4000-8000-000000000032" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_state_machine delete_51 "SA Controller modes" id "de1e7e00-0000-4000-8000-000000000033" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_region delete_52 "SA Main region" id "de1e7e00-0000-4000-8000-000000000034" {
|
||||
description "";
|
||||
parent @delete_51;
|
||||
}
|
||||
|
||||
sa_state delete_53 "SA Ready" id "de1e7e00-0000-4000-8000-000000000035" {
|
||||
description "";
|
||||
do_activity "";
|
||||
entry "";
|
||||
exit "";
|
||||
kind State;
|
||||
parent @delete_52;
|
||||
}
|
||||
|
||||
allocation delete_13 "OA performs target work" id "de1e7e00-0000-4000-8000-00000000000d" {
|
||||
description "";
|
||||
source @delete_12;
|
||||
target @delete_10;
|
||||
}
|
||||
|
||||
state_action delete_54 "SA Entry initialize" id "de1e7e00-0000-4000-8000-000000000036" {
|
||||
description "";
|
||||
phase Entry;
|
||||
source @delete_53;
|
||||
target @delete_50;
|
||||
}
|
||||
|
||||
diagram view_30 "Work view 30" id "de1e7e00-0000-4000-8000-00000000001e" {
|
||||
description "";
|
||||
layer Oa;
|
||||
projection Allocation;
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
node node_32 id "de1e7e00-0000-4000-8000-000000000020" {
|
||||
collapsed false;
|
||||
diagram @view_30;
|
||||
element @delete_12;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 230.0;
|
||||
width 380.0;
|
||||
};
|
||||
}
|
||||
|
||||
diagram view_40 "Work view 40" id "de1e7e00-0000-4000-8000-000000000028" {
|
||||
description "";
|
||||
layer Oa;
|
||||
projection Allocation;
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_41 id "de1e7e00-0000-4000-8000-000000000029" {
|
||||
collapsed false;
|
||||
diagram @view_40;
|
||||
element @delete_10;
|
||||
position {
|
||||
x 80.0;
|
||||
y 80.0;
|
||||
};
|
||||
size {
|
||||
height 90.0;
|
||||
width 180.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_42 id "de1e7e00-0000-4000-8000-00000000002a" {
|
||||
collapsed false;
|
||||
diagram @view_40;
|
||||
element @delete_12;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 230.0;
|
||||
width 380.0;
|
||||
};
|
||||
}
|
||||
|
||||
diagram sa_modes_view "SA Controller modes view" id "de1e7e00-0000-4000-8000-00000000003c" {
|
||||
description "";
|
||||
layer Sa;
|
||||
projection {
|
||||
StateMachine {
|
||||
machine @delete_51;
|
||||
};
|
||||
};
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_61 id "de1e7e00-0000-4000-8000-00000000003d" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_51;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 460.0;
|
||||
width 620.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_62 id "de1e7e00-0000-4000-8000-00000000003e" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_52;
|
||||
position {
|
||||
x 60.0;
|
||||
y 95.0;
|
||||
};
|
||||
size {
|
||||
height 380.0;
|
||||
width 580.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_63 id "de1e7e00-0000-4000-8000-00000000003f" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_53;
|
||||
position {
|
||||
x 100.0;
|
||||
y 155.0;
|
||||
};
|
||||
size {
|
||||
height 190.0;
|
||||
width 320.0;
|
||||
};
|
||||
}
|
||||
|
||||
}
|
||||
+2
@@ -0,0 +1,2 @@
|
||||
// Preserve deletion evidence 雨.
|
||||
// Exact bytes matter.
|
||||
+224
@@ -0,0 +1,224 @@
|
||||
arcadia 7;
|
||||
project delete_oracle "Delete oracle" id "de1e7e00-0000-4000-8000-000000000001" {
|
||||
include "notes.arcadia";
|
||||
description "";
|
||||
|
||||
oa_activity delete_10 "Target work" id "de1e7e00-0000-4000-8000-00000000000a" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_activity delete_11 "Untouched work" id "de1e7e00-0000-4000-8000-00000000000b" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_entity delete_12 "OA Dispatch team" id "de1e7e00-0000-4000-8000-00000000000c" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_scenario delete_20 "Reference scenario" id "de1e7e00-0000-4000-8000-000000000014" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
steps [];
|
||||
viewpoint OperationalActivity;
|
||||
}
|
||||
|
||||
oa_lifeline delete_21 "Target reference" id "de1e7e00-0000-4000-8000-000000000015" {
|
||||
description "";
|
||||
parent @delete_20;
|
||||
represented @delete_10;
|
||||
}
|
||||
|
||||
sa_function delete_50 "SA Initialize controller" id "de1e7e00-0000-4000-8000-000000000032" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_state_machine delete_51 "SA Controller modes" id "de1e7e00-0000-4000-8000-000000000033" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_region delete_52 "SA Main region" id "de1e7e00-0000-4000-8000-000000000034" {
|
||||
description "";
|
||||
parent @delete_51;
|
||||
}
|
||||
|
||||
sa_state delete_53 "SA Ready" id "de1e7e00-0000-4000-8000-000000000035" {
|
||||
description "";
|
||||
do_activity "";
|
||||
entry "";
|
||||
exit "";
|
||||
kind State;
|
||||
parent @delete_52;
|
||||
}
|
||||
|
||||
allocation delete_13 "OA performs target work" id "de1e7e00-0000-4000-8000-00000000000d" {
|
||||
description "";
|
||||
source @delete_12;
|
||||
target @delete_10;
|
||||
}
|
||||
|
||||
state_action delete_54 "SA Entry initialize" id "de1e7e00-0000-4000-8000-000000000036" {
|
||||
description "";
|
||||
phase Entry;
|
||||
source @delete_53;
|
||||
target @delete_50;
|
||||
}
|
||||
|
||||
diagram view_30 "Work view 30" id "de1e7e00-0000-4000-8000-00000000001e" {
|
||||
description "";
|
||||
layer Oa;
|
||||
projection Allocation;
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_31 id "de1e7e00-0000-4000-8000-00000000001f" {
|
||||
collapsed false;
|
||||
diagram @view_30;
|
||||
element @delete_10;
|
||||
position {
|
||||
x 80.0;
|
||||
y 80.0;
|
||||
};
|
||||
size {
|
||||
height 90.0;
|
||||
width 180.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_32 id "de1e7e00-0000-4000-8000-000000000020" {
|
||||
collapsed false;
|
||||
diagram @view_30;
|
||||
element @delete_12;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 230.0;
|
||||
width 380.0;
|
||||
};
|
||||
}
|
||||
|
||||
diagram view_40 "Work view 40" id "de1e7e00-0000-4000-8000-000000000028" {
|
||||
description "";
|
||||
layer Oa;
|
||||
projection Allocation;
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_41 id "de1e7e00-0000-4000-8000-000000000029" {
|
||||
collapsed false;
|
||||
diagram @view_40;
|
||||
element @delete_10;
|
||||
position {
|
||||
x 80.0;
|
||||
y 80.0;
|
||||
};
|
||||
size {
|
||||
height 90.0;
|
||||
width 180.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_42 id "de1e7e00-0000-4000-8000-00000000002a" {
|
||||
collapsed false;
|
||||
diagram @view_40;
|
||||
element @delete_12;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 230.0;
|
||||
width 380.0;
|
||||
};
|
||||
}
|
||||
|
||||
diagram sa_modes_view "SA Controller modes view" id "de1e7e00-0000-4000-8000-00000000003c" {
|
||||
description "";
|
||||
layer Sa;
|
||||
projection {
|
||||
StateMachine {
|
||||
machine @delete_51;
|
||||
};
|
||||
};
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_61 id "de1e7e00-0000-4000-8000-00000000003d" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_51;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 460.0;
|
||||
width 620.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_62 id "de1e7e00-0000-4000-8000-00000000003e" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_52;
|
||||
position {
|
||||
x 60.0;
|
||||
y 95.0;
|
||||
};
|
||||
size {
|
||||
height 380.0;
|
||||
width 580.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_63 id "de1e7e00-0000-4000-8000-00000000003f" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_53;
|
||||
position {
|
||||
x 100.0;
|
||||
y 155.0;
|
||||
};
|
||||
size {
|
||||
height 190.0;
|
||||
width 320.0;
|
||||
};
|
||||
}
|
||||
|
||||
}
|
||||
+2
@@ -0,0 +1,2 @@
|
||||
// Preserve deletion evidence 雨.
|
||||
// Exact bytes matter.
|
||||
+228
@@ -0,0 +1,228 @@
|
||||
arcadia 7;
|
||||
project delete_oracle "Delete oracle" id "de1e7e00-0000-4000-8000-000000000001" {
|
||||
include "notes.arcadia";
|
||||
description "";
|
||||
|
||||
oa_activity delete_10 "Target work" id "de1e7e00-0000-4000-8000-00000000000a" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_activity delete_11 "Untouched work" id "de1e7e00-0000-4000-8000-00000000000b" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_entity delete_12 "OA Dispatch team" id "de1e7e00-0000-4000-8000-00000000000c" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_scenario delete_20 "Reference scenario" id "de1e7e00-0000-4000-8000-000000000014" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
steps [];
|
||||
viewpoint OperationalActivity;
|
||||
}
|
||||
|
||||
oa_lifeline delete_21 "Target reference" id "de1e7e00-0000-4000-8000-000000000015" {
|
||||
description "";
|
||||
parent @delete_20;
|
||||
represented @delete_10;
|
||||
}
|
||||
|
||||
sa_function delete_50 "SA Initialize controller" id "de1e7e00-0000-4000-8000-000000000032" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_state_machine delete_51 "SA Controller modes" id "de1e7e00-0000-4000-8000-000000000033" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_region delete_52 "SA Main region" id "de1e7e00-0000-4000-8000-000000000034" {
|
||||
description "";
|
||||
parent @delete_51;
|
||||
}
|
||||
|
||||
sa_state delete_53 "SA Ready" id "de1e7e00-0000-4000-8000-000000000035" {
|
||||
description "";
|
||||
do_activity "";
|
||||
entry "";
|
||||
exit "";
|
||||
kind State;
|
||||
parent @delete_52;
|
||||
}
|
||||
|
||||
allocation delete_13 "OA performs target work" id "de1e7e00-0000-4000-8000-00000000000d" {
|
||||
description "";
|
||||
source @delete_12;
|
||||
target @delete_10;
|
||||
}
|
||||
|
||||
state_action delete_54 "SA Entry initialize" id "de1e7e00-0000-4000-8000-000000000036" {
|
||||
description "";
|
||||
phase Entry;
|
||||
source @delete_53;
|
||||
target @delete_50;
|
||||
}
|
||||
|
||||
diagram view_30 "Work view 30" id "de1e7e00-0000-4000-8000-00000000001e" {
|
||||
description "";
|
||||
layer Oa;
|
||||
projection Allocation;
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
node node_32 id "de1e7e00-0000-4000-8000-000000000020" {
|
||||
collapsed false;
|
||||
diagram @view_30;
|
||||
element @delete_12;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 230.0;
|
||||
width 380.0;
|
||||
};
|
||||
}
|
||||
|
||||
diagram view_40 "Work view 40" id "de1e7e00-0000-4000-8000-000000000028" {
|
||||
description "";
|
||||
layer Oa;
|
||||
projection Allocation;
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_41 id "de1e7e00-0000-4000-8000-000000000029" {
|
||||
collapsed false;
|
||||
diagram @view_40;
|
||||
element @delete_10;
|
||||
position {
|
||||
x 80.0;
|
||||
y 80.0;
|
||||
};
|
||||
size {
|
||||
height 90.0;
|
||||
width 180.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_42 id "de1e7e00-0000-4000-8000-00000000002a" {
|
||||
collapsed false;
|
||||
diagram @view_40;
|
||||
element @delete_12;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 230.0;
|
||||
width 380.0;
|
||||
};
|
||||
}
|
||||
|
||||
diagram sa_modes_view "SA Controller modes view" id "de1e7e00-0000-4000-8000-00000000003c" {
|
||||
description "";
|
||||
layer Sa;
|
||||
projection {
|
||||
StateMachine {
|
||||
machine @delete_51;
|
||||
};
|
||||
};
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_61 id "de1e7e00-0000-4000-8000-00000000003d" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_51;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 460.0;
|
||||
width 620.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_62 id "de1e7e00-0000-4000-8000-00000000003e" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_52;
|
||||
position {
|
||||
x 60.0;
|
||||
y 95.0;
|
||||
};
|
||||
size {
|
||||
height 380.0;
|
||||
width 580.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_63 id "de1e7e00-0000-4000-8000-00000000003f" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_53;
|
||||
position {
|
||||
x 100.0;
|
||||
y 155.0;
|
||||
};
|
||||
size {
|
||||
height 190.0;
|
||||
width 320.0;
|
||||
};
|
||||
}
|
||||
|
||||
}
|
||||
+2
@@ -0,0 +1,2 @@
|
||||
// Preserve deletion evidence 雨.
|
||||
// Exact bytes matter.
|
||||
+224
@@ -0,0 +1,224 @@
|
||||
arcadia 7;
|
||||
project delete_oracle "Delete oracle" id "de1e7e00-0000-4000-8000-000000000001" {
|
||||
include "notes.arcadia";
|
||||
description "";
|
||||
|
||||
oa_activity delete_10 "Target work" id "de1e7e00-0000-4000-8000-00000000000a" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_activity delete_11 "Untouched work" id "de1e7e00-0000-4000-8000-00000000000b" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_entity delete_12 "OA Dispatch team" id "de1e7e00-0000-4000-8000-00000000000c" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_scenario delete_20 "Reference scenario" id "de1e7e00-0000-4000-8000-000000000014" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
steps [];
|
||||
viewpoint OperationalActivity;
|
||||
}
|
||||
|
||||
oa_lifeline delete_21 "Target reference" id "de1e7e00-0000-4000-8000-000000000015" {
|
||||
description "";
|
||||
parent @delete_20;
|
||||
represented @delete_10;
|
||||
}
|
||||
|
||||
sa_function delete_50 "SA Initialize controller" id "de1e7e00-0000-4000-8000-000000000032" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_state_machine delete_51 "SA Controller modes" id "de1e7e00-0000-4000-8000-000000000033" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_region delete_52 "SA Main region" id "de1e7e00-0000-4000-8000-000000000034" {
|
||||
description "";
|
||||
parent @delete_51;
|
||||
}
|
||||
|
||||
sa_state delete_53 "SA Ready" id "de1e7e00-0000-4000-8000-000000000035" {
|
||||
description "";
|
||||
do_activity "";
|
||||
entry "";
|
||||
exit "";
|
||||
kind State;
|
||||
parent @delete_52;
|
||||
}
|
||||
|
||||
allocation delete_13 "OA performs target work" id "de1e7e00-0000-4000-8000-00000000000d" {
|
||||
description "";
|
||||
source @delete_12;
|
||||
target @delete_10;
|
||||
}
|
||||
|
||||
state_action delete_54 "SA Entry initialize" id "de1e7e00-0000-4000-8000-000000000036" {
|
||||
description "";
|
||||
phase Entry;
|
||||
source @delete_53;
|
||||
target @delete_50;
|
||||
}
|
||||
|
||||
diagram view_30 "Work view 30" id "de1e7e00-0000-4000-8000-00000000001e" {
|
||||
description "";
|
||||
layer Oa;
|
||||
projection Allocation;
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_31 id "de1e7e00-0000-4000-8000-00000000001f" {
|
||||
collapsed false;
|
||||
diagram @view_30;
|
||||
element @delete_10;
|
||||
position {
|
||||
x 80.0;
|
||||
y 80.0;
|
||||
};
|
||||
size {
|
||||
height 90.0;
|
||||
width 180.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_32 id "de1e7e00-0000-4000-8000-000000000020" {
|
||||
collapsed false;
|
||||
diagram @view_30;
|
||||
element @delete_12;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 230.0;
|
||||
width 380.0;
|
||||
};
|
||||
}
|
||||
|
||||
diagram view_40 "Work view 40" id "de1e7e00-0000-4000-8000-000000000028" {
|
||||
description "";
|
||||
layer Oa;
|
||||
projection Allocation;
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_41 id "de1e7e00-0000-4000-8000-000000000029" {
|
||||
collapsed false;
|
||||
diagram @view_40;
|
||||
element @delete_10;
|
||||
position {
|
||||
x 80.0;
|
||||
y 80.0;
|
||||
};
|
||||
size {
|
||||
height 90.0;
|
||||
width 180.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_42 id "de1e7e00-0000-4000-8000-00000000002a" {
|
||||
collapsed false;
|
||||
diagram @view_40;
|
||||
element @delete_12;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 230.0;
|
||||
width 380.0;
|
||||
};
|
||||
}
|
||||
|
||||
diagram sa_modes_view "SA Controller modes view" id "de1e7e00-0000-4000-8000-00000000003c" {
|
||||
description "";
|
||||
layer Sa;
|
||||
projection {
|
||||
StateMachine {
|
||||
machine @delete_51;
|
||||
};
|
||||
};
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_61 id "de1e7e00-0000-4000-8000-00000000003d" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_51;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 460.0;
|
||||
width 620.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_62 id "de1e7e00-0000-4000-8000-00000000003e" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_52;
|
||||
position {
|
||||
x 60.0;
|
||||
y 95.0;
|
||||
};
|
||||
size {
|
||||
height 380.0;
|
||||
width 580.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_63 id "de1e7e00-0000-4000-8000-00000000003f" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_53;
|
||||
position {
|
||||
x 100.0;
|
||||
y 155.0;
|
||||
};
|
||||
size {
|
||||
height 190.0;
|
||||
width 320.0;
|
||||
};
|
||||
}
|
||||
|
||||
}
|
||||
+2
@@ -0,0 +1,2 @@
|
||||
// Preserve deletion evidence 雨.
|
||||
// Exact bytes matter.
|
||||
+224
@@ -0,0 +1,224 @@
|
||||
arcadia 7;
|
||||
project delete_oracle "Delete oracle" id "de1e7e00-0000-4000-8000-000000000001" {
|
||||
include "notes.arcadia";
|
||||
description "";
|
||||
|
||||
oa_activity delete_10 "Target work" id "de1e7e00-0000-4000-8000-00000000000a" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_activity delete_11 "Untouched work" id "de1e7e00-0000-4000-8000-00000000000b" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_entity delete_12 "OA Dispatch team" id "de1e7e00-0000-4000-8000-00000000000c" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_scenario delete_20 "Reference scenario" id "de1e7e00-0000-4000-8000-000000000014" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
steps [];
|
||||
viewpoint OperationalActivity;
|
||||
}
|
||||
|
||||
oa_lifeline delete_21 "Target reference" id "de1e7e00-0000-4000-8000-000000000015" {
|
||||
description "";
|
||||
parent @delete_20;
|
||||
represented @delete_10;
|
||||
}
|
||||
|
||||
sa_function delete_50 "SA Initialize controller" id "de1e7e00-0000-4000-8000-000000000032" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_state_machine delete_51 "SA Controller modes" id "de1e7e00-0000-4000-8000-000000000033" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_region delete_52 "SA Main region" id "de1e7e00-0000-4000-8000-000000000034" {
|
||||
description "";
|
||||
parent @delete_51;
|
||||
}
|
||||
|
||||
sa_state delete_53 "SA Ready" id "de1e7e00-0000-4000-8000-000000000035" {
|
||||
description "";
|
||||
do_activity "";
|
||||
entry "";
|
||||
exit "";
|
||||
kind State;
|
||||
parent @delete_52;
|
||||
}
|
||||
|
||||
allocation delete_13 "OA performs target work" id "de1e7e00-0000-4000-8000-00000000000d" {
|
||||
description "";
|
||||
source @delete_12;
|
||||
target @delete_10;
|
||||
}
|
||||
|
||||
state_action delete_54 "SA Entry initialize" id "de1e7e00-0000-4000-8000-000000000036" {
|
||||
description "";
|
||||
phase Entry;
|
||||
source @delete_53;
|
||||
target @delete_50;
|
||||
}
|
||||
|
||||
diagram view_30 "Work view 30" id "de1e7e00-0000-4000-8000-00000000001e" {
|
||||
description "";
|
||||
layer Oa;
|
||||
projection Allocation;
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_31 id "de1e7e00-0000-4000-8000-00000000001f" {
|
||||
collapsed false;
|
||||
diagram @view_30;
|
||||
element @delete_10;
|
||||
position {
|
||||
x 80.0;
|
||||
y 80.0;
|
||||
};
|
||||
size {
|
||||
height 90.0;
|
||||
width 180.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_32 id "de1e7e00-0000-4000-8000-000000000020" {
|
||||
collapsed false;
|
||||
diagram @view_30;
|
||||
element @delete_12;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 230.0;
|
||||
width 380.0;
|
||||
};
|
||||
}
|
||||
|
||||
diagram view_40 "Work view 40" id "de1e7e00-0000-4000-8000-000000000028" {
|
||||
description "";
|
||||
layer Oa;
|
||||
projection Allocation;
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_41 id "de1e7e00-0000-4000-8000-000000000029" {
|
||||
collapsed false;
|
||||
diagram @view_40;
|
||||
element @delete_10;
|
||||
position {
|
||||
x 80.0;
|
||||
y 80.0;
|
||||
};
|
||||
size {
|
||||
height 90.0;
|
||||
width 180.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_42 id "de1e7e00-0000-4000-8000-00000000002a" {
|
||||
collapsed false;
|
||||
diagram @view_40;
|
||||
element @delete_12;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 230.0;
|
||||
width 380.0;
|
||||
};
|
||||
}
|
||||
|
||||
diagram sa_modes_view "SA Controller modes view" id "de1e7e00-0000-4000-8000-00000000003c" {
|
||||
description "";
|
||||
layer Sa;
|
||||
projection {
|
||||
StateMachine {
|
||||
machine @delete_51;
|
||||
};
|
||||
};
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_61 id "de1e7e00-0000-4000-8000-00000000003d" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_51;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 460.0;
|
||||
width 620.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_62 id "de1e7e00-0000-4000-8000-00000000003e" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_52;
|
||||
position {
|
||||
x 60.0;
|
||||
y 95.0;
|
||||
};
|
||||
size {
|
||||
height 380.0;
|
||||
width 580.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_63 id "de1e7e00-0000-4000-8000-00000000003f" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_53;
|
||||
position {
|
||||
x 100.0;
|
||||
y 155.0;
|
||||
};
|
||||
size {
|
||||
height 190.0;
|
||||
width 320.0;
|
||||
};
|
||||
}
|
||||
|
||||
}
|
||||
+1
@@ -0,0 +1 @@
|
||||
Open bound-nested-calls.arcadia. In Behavior select OA Nested pressure checks, SA Nested pressure checks, or OA Reentrant pressure review. Each has two lifelines and four rows ordered C1,C2,R2,R1. C1 requests 420.0 kPa and R1 returns 418.0; C2 requests 380.0 and R2 returns 378.0. The SA messages resolve an actual synchronous interface-operation allocation; Replies derive it from their exact Calls. OA uses a bound Interaction carrying an Operation item without SA-only OperationUse. The reentrant case uses an explicit reverse Interaction for C2/R2. Check unselected bars, both reply ends, each bar's selection, Properties values/correlation, source parity and save/reopen. scenario-identities.tsv lists every UI target UUID. diagnostics.txt records completeness warnings. Generator validation and roundtrip are not desktop paint or native acceptance.
|
||||
+486
@@ -0,0 +1,486 @@
|
||||
arcadia 7;
|
||||
project bound_nested_calls "Bound nested pressure checks" id "21b00d00-0000-4000-8000-000000000001" {
|
||||
description "Native activation acceptance. Requested 420/380 kPa, measured 418/378 kPa. Unicode readback: Δ pressure · 戻り値.";
|
||||
|
||||
oa_activity bound_100 "Review pressure demand" id "21b00d00-0000-4000-8000-000000000064" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_activity bound_101 "Inspect pressure" id "21b00d00-0000-4000-8000-000000000065" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_exchange_item bound_110 "Check pressure" id "21b00d00-0000-4000-8000-00000000006e" {
|
||||
description "";
|
||||
kind Information;
|
||||
mechanism Operation;
|
||||
parent none;
|
||||
supertype none;
|
||||
}
|
||||
|
||||
oa_data_field bound_111 "requested_pressure" id "21b00d00-0000-4000-8000-00000000006f" {
|
||||
default none;
|
||||
description "";
|
||||
direction In;
|
||||
maximum 1;
|
||||
minimum 1;
|
||||
parent @bound_110;
|
||||
storage Value;
|
||||
type_ref Real;
|
||||
unit "kPa";
|
||||
}
|
||||
|
||||
oa_data_field bound_112 "measured_pressure" id "21b00d00-0000-4000-8000-000000000070" {
|
||||
default none;
|
||||
description "";
|
||||
direction Return;
|
||||
maximum 1;
|
||||
minimum 1;
|
||||
parent @bound_110;
|
||||
storage Value;
|
||||
type_ref Real;
|
||||
unit "kPa";
|
||||
}
|
||||
|
||||
sa_actor bound_200 "Operator console" id "21b00d00-0000-4000-8000-0000000000c8" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_system bound_201 "Pressure service" id "21b00d00-0000-4000-8000-0000000000c9" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_port bound_202 "Client socket" id "21b00d00-0000-4000-8000-0000000000ca" {
|
||||
contract {
|
||||
Component {
|
||||
kind Standard;
|
||||
orientation Unset;
|
||||
};
|
||||
};
|
||||
description "";
|
||||
legacy none;
|
||||
parent @bound_200;
|
||||
}
|
||||
|
||||
sa_port bound_203 "Service socket" id "21b00d00-0000-4000-8000-0000000000cb" {
|
||||
contract {
|
||||
Component {
|
||||
kind Standard;
|
||||
orientation Unset;
|
||||
};
|
||||
};
|
||||
description "";
|
||||
legacy none;
|
||||
parent @bound_201;
|
||||
}
|
||||
|
||||
sa_exchange_item bound_210 "Check pressure" id "21b00d00-0000-4000-8000-0000000000d2" {
|
||||
description "";
|
||||
kind Information;
|
||||
mechanism Operation;
|
||||
parent none;
|
||||
supertype none;
|
||||
}
|
||||
|
||||
sa_data_field bound_211 "requested_pressure" id "21b00d00-0000-4000-8000-0000000000d3" {
|
||||
default none;
|
||||
description "";
|
||||
direction In;
|
||||
maximum 1;
|
||||
minimum 1;
|
||||
parent @bound_210;
|
||||
storage Value;
|
||||
type_ref Real;
|
||||
unit "kPa";
|
||||
}
|
||||
|
||||
sa_data_field bound_212 "measured_pressure" id "21b00d00-0000-4000-8000-0000000000d4" {
|
||||
default none;
|
||||
description "";
|
||||
direction Return;
|
||||
maximum 1;
|
||||
minimum 1;
|
||||
parent @bound_210;
|
||||
storage Value;
|
||||
type_ref Real;
|
||||
unit "kPa";
|
||||
}
|
||||
|
||||
sa_interface bound_213 "Pressure check API" id "21b00d00-0000-4000-8000-0000000000d5" {
|
||||
description "";
|
||||
parent none;
|
||||
supertype none;
|
||||
}
|
||||
|
||||
oa_scenario bound_1000 "OA Nested pressure checks" id "21b00d00-0000-4000-8000-0000000003e8" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "Each reply retains its own requested and measured values";
|
||||
precondition "Two pressure checks are reviewed before the outer reply";
|
||||
steps [@bound_1040, @bound_1030, @bound_1060, @bound_1050];
|
||||
viewpoint OperationalActivity;
|
||||
}
|
||||
|
||||
oa_lifeline bound_1001 "L1 Console" id "21b00d00-0000-4000-8000-0000000003e9" {
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
represented @bound_100;
|
||||
}
|
||||
|
||||
oa_lifeline bound_1002 "L2 Inspector" id "21b00d00-0000-4000-8000-0000000003ea" {
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
represented @bound_101;
|
||||
}
|
||||
|
||||
oa_occurrence bound_1030 "C2 380 kPa" id "21b00d00-0000-4000-8000-000000000406" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Call;
|
||||
receiver @bound_1002;
|
||||
reply_to none;
|
||||
sender @bound_1001;
|
||||
values [{
|
||||
expression "380.0";
|
||||
field @bound_111;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_1040 "C1 420 kPa" id "21b00d00-0000-4000-8000-000000000410" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Call;
|
||||
receiver @bound_1002;
|
||||
reply_to none;
|
||||
sender @bound_1001;
|
||||
values [{
|
||||
expression "420.0";
|
||||
field @bound_111;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_1050 "R1 418 kPa" id "21b00d00-0000-4000-8000-00000000041a" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Reply;
|
||||
receiver @bound_1001;
|
||||
reply_to @bound_1040;
|
||||
sender @bound_1002;
|
||||
values [{
|
||||
expression "418.0";
|
||||
field @bound_112;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_1060 "R2 378 kPa" id "21b00d00-0000-4000-8000-000000000424" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Reply;
|
||||
receiver @bound_1001;
|
||||
reply_to @bound_1030;
|
||||
sender @bound_1002;
|
||||
values [{
|
||||
expression "378.0";
|
||||
field @bound_112;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
sa_scenario bound_2000 "SA Nested pressure checks" id "21b00d00-0000-4000-8000-0000000007d0" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "Each reply retains its own requested and measured values";
|
||||
precondition "Two pressure checks are reviewed before the outer reply";
|
||||
steps [@bound_2040, @bound_2030, @bound_2060, @bound_2050];
|
||||
viewpoint BoundaryInterface;
|
||||
}
|
||||
|
||||
sa_lifeline bound_2001 "L1 Console" id "21b00d00-0000-4000-8000-0000000007d1" {
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
represented @bound_200;
|
||||
}
|
||||
|
||||
sa_lifeline bound_2002 "L2 Inspector" id "21b00d00-0000-4000-8000-0000000007d2" {
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
represented @bound_201;
|
||||
}
|
||||
|
||||
sa_occurrence bound_2030 "C2 380 kPa" id "21b00d00-0000-4000-8000-0000000007ee" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_223;
|
||||
message_kind Call;
|
||||
operation {
|
||||
allocation @bound_220;
|
||||
};
|
||||
receiver @bound_2002;
|
||||
reply_to none;
|
||||
sender @bound_2001;
|
||||
values [{
|
||||
expression "380.0";
|
||||
field @bound_211;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
sa_occurrence bound_2040 "C1 420 kPa" id "21b00d00-0000-4000-8000-0000000007f8" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_223;
|
||||
message_kind Call;
|
||||
operation {
|
||||
allocation @bound_220;
|
||||
};
|
||||
receiver @bound_2002;
|
||||
reply_to none;
|
||||
sender @bound_2001;
|
||||
values [{
|
||||
expression "420.0";
|
||||
field @bound_211;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
sa_occurrence bound_2050 "R1 418 kPa" id "21b00d00-0000-4000-8000-000000000802" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_223;
|
||||
message_kind Reply;
|
||||
receiver @bound_2001;
|
||||
reply_to @bound_2040;
|
||||
sender @bound_2002;
|
||||
values [{
|
||||
expression "418.0";
|
||||
field @bound_212;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
sa_occurrence bound_2060 "R2 378 kPa" id "21b00d00-0000-4000-8000-00000000080c" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_223;
|
||||
message_kind Reply;
|
||||
receiver @bound_2001;
|
||||
reply_to @bound_2030;
|
||||
sender @bound_2002;
|
||||
values [{
|
||||
expression "378.0";
|
||||
field @bound_212;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_scenario bound_3000 "OA Reentrant pressure review" id "21b00d00-0000-4000-8000-000000000bb8" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "Each reply retains its own requested and measured values";
|
||||
precondition "Two pressure checks are reviewed before the outer reply";
|
||||
steps [@bound_3040, @bound_3030, @bound_3060, @bound_3050];
|
||||
viewpoint OperationalActivity;
|
||||
}
|
||||
|
||||
oa_lifeline bound_3001 "L1 Console" id "21b00d00-0000-4000-8000-000000000bb9" {
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
represented @bound_100;
|
||||
}
|
||||
|
||||
oa_lifeline bound_3002 "L2 Inspector" id "21b00d00-0000-4000-8000-000000000bba" {
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
represented @bound_101;
|
||||
}
|
||||
|
||||
oa_occurrence bound_3030 "C2 380 kPa" id "21b00d00-0000-4000-8000-000000000bd6" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_121;
|
||||
message_kind Call;
|
||||
receiver @bound_3001;
|
||||
reply_to none;
|
||||
sender @bound_3002;
|
||||
values [{
|
||||
expression "380.0";
|
||||
field @bound_111;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_3040 "C1 420 kPa" id "21b00d00-0000-4000-8000-000000000be0" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Call;
|
||||
receiver @bound_3002;
|
||||
reply_to none;
|
||||
sender @bound_3001;
|
||||
values [{
|
||||
expression "420.0";
|
||||
field @bound_111;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_3050 "R1 418 kPa" id "21b00d00-0000-4000-8000-000000000bea" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Reply;
|
||||
receiver @bound_3001;
|
||||
reply_to @bound_3040;
|
||||
sender @bound_3002;
|
||||
values [{
|
||||
expression "418.0";
|
||||
field @bound_112;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_3060 "R2 378 kPa" id "21b00d00-0000-4000-8000-000000000bf4" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_121;
|
||||
message_kind Reply;
|
||||
receiver @bound_3002;
|
||||
reply_to @bound_3030;
|
||||
sender @bound_3001;
|
||||
values [{
|
||||
expression "378.0";
|
||||
field @bound_112;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
interaction bound_120 "Pressure check" id "21b00d00-0000-4000-8000-000000000078" {
|
||||
description "";
|
||||
items [@bound_110];
|
||||
source @bound_100;
|
||||
target @bound_101;
|
||||
}
|
||||
|
||||
interaction bound_121 "Demand review callback" id "21b00d00-0000-4000-8000-000000000079" {
|
||||
description "";
|
||||
items [@bound_110];
|
||||
source @bound_101;
|
||||
target @bound_100;
|
||||
}
|
||||
|
||||
interface_item_allocation bound_220 "Synchronous pressure check" id "21b00d00-0000-4000-8000-0000000000dc" {
|
||||
acquisition Unspecified;
|
||||
description "";
|
||||
order 0;
|
||||
source @bound_213;
|
||||
target @bound_210;
|
||||
transmission Synchronous;
|
||||
}
|
||||
|
||||
interface_requirement bound_221 "Console requires check" id "21b00d00-0000-4000-8000-0000000000dd" {
|
||||
description "";
|
||||
source @bound_202;
|
||||
target @bound_213;
|
||||
}
|
||||
|
||||
interface_provision bound_222 "Service provides check" id "21b00d00-0000-4000-8000-0000000000de" {
|
||||
description "";
|
||||
source @bound_203;
|
||||
target @bound_213;
|
||||
}
|
||||
|
||||
boundary_exchange bound_223 "Pressure channel" id "21b00d00-0000-4000-8000-0000000000df" {
|
||||
description "";
|
||||
items [@bound_210];
|
||||
oriented false;
|
||||
source @bound_202;
|
||||
target @bound_203;
|
||||
}
|
||||
|
||||
}
|
||||
+24
@@ -0,0 +1,24 @@
|
||||
[
|
||||
Issue {
|
||||
severity: Warning,
|
||||
element: Some(
|
||||
21b00d00-0000-4000-8000-000000000064,
|
||||
),
|
||||
code: "unallocated_leaf",
|
||||
field: Some(
|
||||
"allocation",
|
||||
),
|
||||
message: "Allocate leaf 'Review pressure demand' to a performer.",
|
||||
},
|
||||
Issue {
|
||||
severity: Warning,
|
||||
element: Some(
|
||||
21b00d00-0000-4000-8000-000000000065,
|
||||
),
|
||||
code: "unallocated_leaf",
|
||||
field: Some(
|
||||
"allocation",
|
||||
),
|
||||
message: "Allocate leaf 'Inspect pressure' to a performer.",
|
||||
},
|
||||
]
|
||||
+4
@@ -0,0 +1,4 @@
|
||||
scenario owner L1 L2 C1 C2 R2 R1
|
||||
OA Nested pressure checks 21b00d00-0000-4000-8000-0000000003e8 21b00d00-0000-4000-8000-0000000003e9 21b00d00-0000-4000-8000-0000000003ea 21b00d00-0000-4000-8000-000000000410 21b00d00-0000-4000-8000-000000000406 21b00d00-0000-4000-8000-000000000424 21b00d00-0000-4000-8000-00000000041a
|
||||
SA Nested pressure checks 21b00d00-0000-4000-8000-0000000007d0 21b00d00-0000-4000-8000-0000000007d1 21b00d00-0000-4000-8000-0000000007d2 21b00d00-0000-4000-8000-0000000007f8 21b00d00-0000-4000-8000-0000000007ee 21b00d00-0000-4000-8000-00000000080c 21b00d00-0000-4000-8000-000000000802
|
||||
OA Reentrant pressure review 21b00d00-0000-4000-8000-000000000bb8 21b00d00-0000-4000-8000-000000000bb9 21b00d00-0000-4000-8000-000000000bba 21b00d00-0000-4000-8000-000000000be0 21b00d00-0000-4000-8000-000000000bd6 21b00d00-0000-4000-8000-000000000bf4 21b00d00-0000-4000-8000-000000000bea
|
||||
|
+1
@@ -0,0 +1 @@
|
||||
Open bound-nested-calls.arcadia. In Behavior select OA Nested pressure checks, SA Nested pressure checks, or OA Reentrant pressure review. Each has two lifelines and four rows ordered C1,C2,R2,R1. C1 requests 420.0 kPa and R1 returns 418.0; C2 requests 380.0 and R2 returns 378.0. The SA messages resolve an actual synchronous interface-operation allocation; Replies derive it from their exact Calls. OA uses a bound Interaction carrying an Operation item without SA-only OperationUse. The reentrant case uses an explicit reverse Interaction for C2/R2. Check unselected bars, both reply ends, each bar's selection, Properties values/correlation, source parity and save/reopen. scenario-identities.tsv lists every UI target UUID. diagnostics.txt records completeness warnings. Generator validation and roundtrip are not desktop paint or native acceptance.
|
||||
+486
@@ -0,0 +1,486 @@
|
||||
arcadia 7;
|
||||
project bound_nested_calls "Bound nested pressure checks" id "21b00d00-0000-4000-8000-000000000001" {
|
||||
description "Native activation acceptance. Requested 420/380 kPa, measured 418/378 kPa. Unicode readback: Δ pressure · 戻り値.";
|
||||
|
||||
oa_activity bound_100 "Review pressure demand" id "21b00d00-0000-4000-8000-000000000064" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_activity bound_101 "Inspect pressure" id "21b00d00-0000-4000-8000-000000000065" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_exchange_item bound_110 "Check pressure" id "21b00d00-0000-4000-8000-00000000006e" {
|
||||
description "";
|
||||
kind Information;
|
||||
mechanism Operation;
|
||||
parent none;
|
||||
supertype none;
|
||||
}
|
||||
|
||||
oa_data_field bound_111 "requested_pressure" id "21b00d00-0000-4000-8000-00000000006f" {
|
||||
default none;
|
||||
description "";
|
||||
direction In;
|
||||
maximum 1;
|
||||
minimum 1;
|
||||
parent @bound_110;
|
||||
storage Value;
|
||||
type_ref Real;
|
||||
unit "kPa";
|
||||
}
|
||||
|
||||
oa_data_field bound_112 "measured_pressure" id "21b00d00-0000-4000-8000-000000000070" {
|
||||
default none;
|
||||
description "";
|
||||
direction Return;
|
||||
maximum 1;
|
||||
minimum 1;
|
||||
parent @bound_110;
|
||||
storage Value;
|
||||
type_ref Real;
|
||||
unit "kPa";
|
||||
}
|
||||
|
||||
sa_actor bound_200 "Operator console" id "21b00d00-0000-4000-8000-0000000000c8" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_system bound_201 "Pressure service" id "21b00d00-0000-4000-8000-0000000000c9" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_port bound_202 "Client socket" id "21b00d00-0000-4000-8000-0000000000ca" {
|
||||
contract {
|
||||
Component {
|
||||
kind Standard;
|
||||
orientation Unset;
|
||||
};
|
||||
};
|
||||
description "";
|
||||
legacy none;
|
||||
parent @bound_200;
|
||||
}
|
||||
|
||||
sa_port bound_203 "Service socket" id "21b00d00-0000-4000-8000-0000000000cb" {
|
||||
contract {
|
||||
Component {
|
||||
kind Standard;
|
||||
orientation Unset;
|
||||
};
|
||||
};
|
||||
description "";
|
||||
legacy none;
|
||||
parent @bound_201;
|
||||
}
|
||||
|
||||
sa_exchange_item bound_210 "Check pressure" id "21b00d00-0000-4000-8000-0000000000d2" {
|
||||
description "";
|
||||
kind Information;
|
||||
mechanism Operation;
|
||||
parent none;
|
||||
supertype none;
|
||||
}
|
||||
|
||||
sa_data_field bound_211 "requested_pressure" id "21b00d00-0000-4000-8000-0000000000d3" {
|
||||
default none;
|
||||
description "";
|
||||
direction In;
|
||||
maximum 1;
|
||||
minimum 1;
|
||||
parent @bound_210;
|
||||
storage Value;
|
||||
type_ref Real;
|
||||
unit "kPa";
|
||||
}
|
||||
|
||||
sa_data_field bound_212 "measured_pressure" id "21b00d00-0000-4000-8000-0000000000d4" {
|
||||
default none;
|
||||
description "";
|
||||
direction Return;
|
||||
maximum 1;
|
||||
minimum 1;
|
||||
parent @bound_210;
|
||||
storage Value;
|
||||
type_ref Real;
|
||||
unit "kPa";
|
||||
}
|
||||
|
||||
sa_interface bound_213 "Pressure check API" id "21b00d00-0000-4000-8000-0000000000d5" {
|
||||
description "";
|
||||
parent none;
|
||||
supertype none;
|
||||
}
|
||||
|
||||
oa_scenario bound_1000 "OA Nested pressure checks" id "21b00d00-0000-4000-8000-0000000003e8" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "Each reply retains its own requested and measured values";
|
||||
precondition "Two pressure checks are reviewed before the outer reply";
|
||||
steps [@bound_1040, @bound_1030, @bound_1060, @bound_1050];
|
||||
viewpoint OperationalActivity;
|
||||
}
|
||||
|
||||
oa_lifeline bound_1001 "L1 Console" id "21b00d00-0000-4000-8000-0000000003e9" {
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
represented @bound_100;
|
||||
}
|
||||
|
||||
oa_lifeline bound_1002 "L2 Inspector" id "21b00d00-0000-4000-8000-0000000003ea" {
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
represented @bound_101;
|
||||
}
|
||||
|
||||
oa_occurrence bound_1030 "C2 380 kPa" id "21b00d00-0000-4000-8000-000000000406" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Call;
|
||||
receiver @bound_1002;
|
||||
reply_to none;
|
||||
sender @bound_1001;
|
||||
values [{
|
||||
expression "380.0";
|
||||
field @bound_111;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_1040 "C1 420 kPa" id "21b00d00-0000-4000-8000-000000000410" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Call;
|
||||
receiver @bound_1002;
|
||||
reply_to none;
|
||||
sender @bound_1001;
|
||||
values [{
|
||||
expression "420.0";
|
||||
field @bound_111;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_1050 "R1 418 kPa" id "21b00d00-0000-4000-8000-00000000041a" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Reply;
|
||||
receiver @bound_1001;
|
||||
reply_to @bound_1040;
|
||||
sender @bound_1002;
|
||||
values [{
|
||||
expression "418.0";
|
||||
field @bound_112;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_1060 "R2 378 kPa" id "21b00d00-0000-4000-8000-000000000424" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Reply;
|
||||
receiver @bound_1001;
|
||||
reply_to @bound_1030;
|
||||
sender @bound_1002;
|
||||
values [{
|
||||
expression "378.0";
|
||||
field @bound_112;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
sa_scenario bound_2000 "SA Nested pressure checks" id "21b00d00-0000-4000-8000-0000000007d0" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "Each reply retains its own requested and measured values";
|
||||
precondition "Two pressure checks are reviewed before the outer reply";
|
||||
steps [@bound_2040, @bound_2030, @bound_2060, @bound_2050];
|
||||
viewpoint BoundaryInterface;
|
||||
}
|
||||
|
||||
sa_lifeline bound_2001 "L1 Console" id "21b00d00-0000-4000-8000-0000000007d1" {
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
represented @bound_200;
|
||||
}
|
||||
|
||||
sa_lifeline bound_2002 "L2 Inspector" id "21b00d00-0000-4000-8000-0000000007d2" {
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
represented @bound_201;
|
||||
}
|
||||
|
||||
sa_occurrence bound_2030 "C2 380 kPa" id "21b00d00-0000-4000-8000-0000000007ee" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_223;
|
||||
message_kind Call;
|
||||
operation {
|
||||
allocation @bound_220;
|
||||
};
|
||||
receiver @bound_2002;
|
||||
reply_to none;
|
||||
sender @bound_2001;
|
||||
values [{
|
||||
expression "380.0";
|
||||
field @bound_211;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
sa_occurrence bound_2040 "C1 420 kPa" id "21b00d00-0000-4000-8000-0000000007f8" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_223;
|
||||
message_kind Call;
|
||||
operation {
|
||||
allocation @bound_220;
|
||||
};
|
||||
receiver @bound_2002;
|
||||
reply_to none;
|
||||
sender @bound_2001;
|
||||
values [{
|
||||
expression "420.0";
|
||||
field @bound_211;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
sa_occurrence bound_2050 "R1 418 kPa" id "21b00d00-0000-4000-8000-000000000802" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_223;
|
||||
message_kind Reply;
|
||||
receiver @bound_2001;
|
||||
reply_to @bound_2040;
|
||||
sender @bound_2002;
|
||||
values [{
|
||||
expression "418.0";
|
||||
field @bound_212;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
sa_occurrence bound_2060 "R2 378 kPa" id "21b00d00-0000-4000-8000-00000000080c" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_223;
|
||||
message_kind Reply;
|
||||
receiver @bound_2001;
|
||||
reply_to @bound_2030;
|
||||
sender @bound_2002;
|
||||
values [{
|
||||
expression "378.0";
|
||||
field @bound_212;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_scenario bound_3000 "OA Reentrant pressure review" id "21b00d00-0000-4000-8000-000000000bb8" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "Each reply retains its own requested and measured values";
|
||||
precondition "Two pressure checks are reviewed before the outer reply";
|
||||
steps [@bound_3040, @bound_3030, @bound_3060, @bound_3050];
|
||||
viewpoint OperationalActivity;
|
||||
}
|
||||
|
||||
oa_lifeline bound_3001 "L1 Console" id "21b00d00-0000-4000-8000-000000000bb9" {
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
represented @bound_100;
|
||||
}
|
||||
|
||||
oa_lifeline bound_3002 "L2 Inspector" id "21b00d00-0000-4000-8000-000000000bba" {
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
represented @bound_101;
|
||||
}
|
||||
|
||||
oa_occurrence bound_3030 "C2 380 kPa" id "21b00d00-0000-4000-8000-000000000bd6" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_121;
|
||||
message_kind Call;
|
||||
receiver @bound_3001;
|
||||
reply_to none;
|
||||
sender @bound_3002;
|
||||
values [{
|
||||
expression "380.0";
|
||||
field @bound_111;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_3040 "C1 420 kPa" id "21b00d00-0000-4000-8000-000000000be0" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Call;
|
||||
receiver @bound_3002;
|
||||
reply_to none;
|
||||
sender @bound_3001;
|
||||
values [{
|
||||
expression "420.0";
|
||||
field @bound_111;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_3050 "R1 418 kPa" id "21b00d00-0000-4000-8000-000000000bea" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Reply;
|
||||
receiver @bound_3001;
|
||||
reply_to @bound_3040;
|
||||
sender @bound_3002;
|
||||
values [{
|
||||
expression "418.0";
|
||||
field @bound_112;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_3060 "R2 378 kPa" id "21b00d00-0000-4000-8000-000000000bf4" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_121;
|
||||
message_kind Reply;
|
||||
receiver @bound_3002;
|
||||
reply_to @bound_3030;
|
||||
sender @bound_3001;
|
||||
values [{
|
||||
expression "378.0";
|
||||
field @bound_112;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
interaction bound_120 "Pressure check" id "21b00d00-0000-4000-8000-000000000078" {
|
||||
description "";
|
||||
items [@bound_110];
|
||||
source @bound_100;
|
||||
target @bound_101;
|
||||
}
|
||||
|
||||
interaction bound_121 "Demand review callback" id "21b00d00-0000-4000-8000-000000000079" {
|
||||
description "";
|
||||
items [@bound_110];
|
||||
source @bound_101;
|
||||
target @bound_100;
|
||||
}
|
||||
|
||||
interface_item_allocation bound_220 "Synchronous pressure check" id "21b00d00-0000-4000-8000-0000000000dc" {
|
||||
acquisition Unspecified;
|
||||
description "";
|
||||
order 0;
|
||||
source @bound_213;
|
||||
target @bound_210;
|
||||
transmission Synchronous;
|
||||
}
|
||||
|
||||
interface_requirement bound_221 "Console requires check" id "21b00d00-0000-4000-8000-0000000000dd" {
|
||||
description "";
|
||||
source @bound_202;
|
||||
target @bound_213;
|
||||
}
|
||||
|
||||
interface_provision bound_222 "Service provides check" id "21b00d00-0000-4000-8000-0000000000de" {
|
||||
description "";
|
||||
source @bound_203;
|
||||
target @bound_213;
|
||||
}
|
||||
|
||||
boundary_exchange bound_223 "Pressure channel" id "21b00d00-0000-4000-8000-0000000000df" {
|
||||
description "";
|
||||
items [@bound_210];
|
||||
oriented false;
|
||||
source @bound_202;
|
||||
target @bound_203;
|
||||
}
|
||||
|
||||
}
|
||||
+24
@@ -0,0 +1,24 @@
|
||||
[
|
||||
Issue {
|
||||
severity: Warning,
|
||||
element: Some(
|
||||
21b00d00-0000-4000-8000-000000000064,
|
||||
),
|
||||
code: "unallocated_leaf",
|
||||
field: Some(
|
||||
"allocation",
|
||||
),
|
||||
message: "Allocate leaf 'Review pressure demand' to a performer.",
|
||||
},
|
||||
Issue {
|
||||
severity: Warning,
|
||||
element: Some(
|
||||
21b00d00-0000-4000-8000-000000000065,
|
||||
),
|
||||
code: "unallocated_leaf",
|
||||
field: Some(
|
||||
"allocation",
|
||||
),
|
||||
message: "Allocate leaf 'Inspect pressure' to a performer.",
|
||||
},
|
||||
]
|
||||
+4
@@ -0,0 +1,4 @@
|
||||
scenario owner L1 L2 C1 C2 R2 R1
|
||||
OA Nested pressure checks 21b00d00-0000-4000-8000-0000000003e8 21b00d00-0000-4000-8000-0000000003e9 21b00d00-0000-4000-8000-0000000003ea 21b00d00-0000-4000-8000-000000000410 21b00d00-0000-4000-8000-000000000406 21b00d00-0000-4000-8000-000000000424 21b00d00-0000-4000-8000-00000000041a
|
||||
SA Nested pressure checks 21b00d00-0000-4000-8000-0000000007d0 21b00d00-0000-4000-8000-0000000007d1 21b00d00-0000-4000-8000-0000000007d2 21b00d00-0000-4000-8000-0000000007f8 21b00d00-0000-4000-8000-0000000007ee 21b00d00-0000-4000-8000-00000000080c 21b00d00-0000-4000-8000-000000000802
|
||||
OA Reentrant pressure review 21b00d00-0000-4000-8000-000000000bb8 21b00d00-0000-4000-8000-000000000bb9 21b00d00-0000-4000-8000-000000000bba 21b00d00-0000-4000-8000-000000000be0 21b00d00-0000-4000-8000-000000000bd6 21b00d00-0000-4000-8000-000000000bf4 21b00d00-0000-4000-8000-000000000bea
|
||||
|
@@ -0,0 +1 @@
|
||||
Open bound-nested-calls.arcadia. In Behavior select OA Nested pressure checks, SA Nested pressure checks, or OA Reentrant pressure review. Each has two lifelines and four rows ordered C1,C2,R2,R1. C1 requests 420.0 kPa and R1 returns 418.0; C2 requests 380.0 and R2 returns 378.0. The SA messages resolve an actual synchronous interface-operation allocation; Replies derive it from their exact Calls. OA uses a bound Interaction carrying an Operation item without SA-only OperationUse. The reentrant case uses an explicit reverse Interaction for C2/R2. Check unselected bars, both reply ends, each bar's selection, Properties values/correlation, source parity and save/reopen. scenario-identities.tsv lists every UI target UUID. diagnostics.txt records completeness warnings. Generator validation and roundtrip are not desktop paint or native acceptance.
|
||||
+486
@@ -0,0 +1,486 @@
|
||||
arcadia 7;
|
||||
project bound_nested_calls "Bound nested pressure checks" id "21b00d00-0000-4000-8000-000000000001" {
|
||||
description "Native activation acceptance. Requested 420/380 kPa, measured 418/378 kPa. Unicode readback: Δ pressure · 戻り値.";
|
||||
|
||||
oa_activity bound_100 "Review pressure demand" id "21b00d00-0000-4000-8000-000000000064" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_activity bound_101 "Inspect pressure" id "21b00d00-0000-4000-8000-000000000065" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_exchange_item bound_110 "Check pressure" id "21b00d00-0000-4000-8000-00000000006e" {
|
||||
description "";
|
||||
kind Information;
|
||||
mechanism Operation;
|
||||
parent none;
|
||||
supertype none;
|
||||
}
|
||||
|
||||
oa_data_field bound_111 "requested_pressure" id "21b00d00-0000-4000-8000-00000000006f" {
|
||||
default none;
|
||||
description "";
|
||||
direction In;
|
||||
maximum 1;
|
||||
minimum 1;
|
||||
parent @bound_110;
|
||||
storage Value;
|
||||
type_ref Real;
|
||||
unit "kPa";
|
||||
}
|
||||
|
||||
oa_data_field bound_112 "measured_pressure" id "21b00d00-0000-4000-8000-000000000070" {
|
||||
default none;
|
||||
description "";
|
||||
direction Return;
|
||||
maximum 1;
|
||||
minimum 1;
|
||||
parent @bound_110;
|
||||
storage Value;
|
||||
type_ref Real;
|
||||
unit "kPa";
|
||||
}
|
||||
|
||||
sa_actor bound_200 "Operator console" id "21b00d00-0000-4000-8000-0000000000c8" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_system bound_201 "Pressure service" id "21b00d00-0000-4000-8000-0000000000c9" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_port bound_202 "Client socket" id "21b00d00-0000-4000-8000-0000000000ca" {
|
||||
contract {
|
||||
Component {
|
||||
kind Standard;
|
||||
orientation Unset;
|
||||
};
|
||||
};
|
||||
description "";
|
||||
legacy none;
|
||||
parent @bound_200;
|
||||
}
|
||||
|
||||
sa_port bound_203 "Service socket" id "21b00d00-0000-4000-8000-0000000000cb" {
|
||||
contract {
|
||||
Component {
|
||||
kind Standard;
|
||||
orientation Unset;
|
||||
};
|
||||
};
|
||||
description "";
|
||||
legacy none;
|
||||
parent @bound_201;
|
||||
}
|
||||
|
||||
sa_exchange_item bound_210 "Check pressure" id "21b00d00-0000-4000-8000-0000000000d2" {
|
||||
description "";
|
||||
kind Information;
|
||||
mechanism Operation;
|
||||
parent none;
|
||||
supertype none;
|
||||
}
|
||||
|
||||
sa_data_field bound_211 "requested_pressure" id "21b00d00-0000-4000-8000-0000000000d3" {
|
||||
default none;
|
||||
description "";
|
||||
direction In;
|
||||
maximum 1;
|
||||
minimum 1;
|
||||
parent @bound_210;
|
||||
storage Value;
|
||||
type_ref Real;
|
||||
unit "kPa";
|
||||
}
|
||||
|
||||
sa_data_field bound_212 "measured_pressure" id "21b00d00-0000-4000-8000-0000000000d4" {
|
||||
default none;
|
||||
description "";
|
||||
direction Return;
|
||||
maximum 1;
|
||||
minimum 1;
|
||||
parent @bound_210;
|
||||
storage Value;
|
||||
type_ref Real;
|
||||
unit "kPa";
|
||||
}
|
||||
|
||||
sa_interface bound_213 "Pressure check API" id "21b00d00-0000-4000-8000-0000000000d5" {
|
||||
description "";
|
||||
parent none;
|
||||
supertype none;
|
||||
}
|
||||
|
||||
oa_scenario bound_1000 "OA Nested pressure checks" id "21b00d00-0000-4000-8000-0000000003e8" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "Each reply retains its own requested and measured values";
|
||||
precondition "Two pressure checks are reviewed before the outer reply";
|
||||
steps [@bound_1040, @bound_1030, @bound_1060, @bound_1050];
|
||||
viewpoint OperationalActivity;
|
||||
}
|
||||
|
||||
oa_lifeline bound_1001 "L1 Console" id "21b00d00-0000-4000-8000-0000000003e9" {
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
represented @bound_100;
|
||||
}
|
||||
|
||||
oa_lifeline bound_1002 "L2 Inspector" id "21b00d00-0000-4000-8000-0000000003ea" {
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
represented @bound_101;
|
||||
}
|
||||
|
||||
oa_occurrence bound_1030 "C2 380 kPa" id "21b00d00-0000-4000-8000-000000000406" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Call;
|
||||
receiver @bound_1002;
|
||||
reply_to none;
|
||||
sender @bound_1001;
|
||||
values [{
|
||||
expression "380.0";
|
||||
field @bound_111;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_1040 "C1 420 kPa" id "21b00d00-0000-4000-8000-000000000410" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Call;
|
||||
receiver @bound_1002;
|
||||
reply_to none;
|
||||
sender @bound_1001;
|
||||
values [{
|
||||
expression "420.0";
|
||||
field @bound_111;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_1050 "R1 418 kPa" id "21b00d00-0000-4000-8000-00000000041a" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Reply;
|
||||
receiver @bound_1001;
|
||||
reply_to @bound_1040;
|
||||
sender @bound_1002;
|
||||
values [{
|
||||
expression "418.0";
|
||||
field @bound_112;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_1060 "R2 378 kPa" id "21b00d00-0000-4000-8000-000000000424" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Reply;
|
||||
receiver @bound_1001;
|
||||
reply_to @bound_1030;
|
||||
sender @bound_1002;
|
||||
values [{
|
||||
expression "378.0";
|
||||
field @bound_112;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_1000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
sa_scenario bound_2000 "SA Nested pressure checks" id "21b00d00-0000-4000-8000-0000000007d0" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "Each reply retains its own requested and measured values";
|
||||
precondition "Two pressure checks are reviewed before the outer reply";
|
||||
steps [@bound_2040, @bound_2030, @bound_2060, @bound_2050];
|
||||
viewpoint BoundaryInterface;
|
||||
}
|
||||
|
||||
sa_lifeline bound_2001 "L1 Console" id "21b00d00-0000-4000-8000-0000000007d1" {
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
represented @bound_200;
|
||||
}
|
||||
|
||||
sa_lifeline bound_2002 "L2 Inspector" id "21b00d00-0000-4000-8000-0000000007d2" {
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
represented @bound_201;
|
||||
}
|
||||
|
||||
sa_occurrence bound_2030 "C2 380 kPa" id "21b00d00-0000-4000-8000-0000000007ee" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_223;
|
||||
message_kind Call;
|
||||
operation {
|
||||
allocation @bound_220;
|
||||
};
|
||||
receiver @bound_2002;
|
||||
reply_to none;
|
||||
sender @bound_2001;
|
||||
values [{
|
||||
expression "380.0";
|
||||
field @bound_211;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
sa_occurrence bound_2040 "C1 420 kPa" id "21b00d00-0000-4000-8000-0000000007f8" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_223;
|
||||
message_kind Call;
|
||||
operation {
|
||||
allocation @bound_220;
|
||||
};
|
||||
receiver @bound_2002;
|
||||
reply_to none;
|
||||
sender @bound_2001;
|
||||
values [{
|
||||
expression "420.0";
|
||||
field @bound_211;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
sa_occurrence bound_2050 "R1 418 kPa" id "21b00d00-0000-4000-8000-000000000802" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_223;
|
||||
message_kind Reply;
|
||||
receiver @bound_2001;
|
||||
reply_to @bound_2040;
|
||||
sender @bound_2002;
|
||||
values [{
|
||||
expression "418.0";
|
||||
field @bound_212;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
sa_occurrence bound_2060 "R2 378 kPa" id "21b00d00-0000-4000-8000-00000000080c" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_223;
|
||||
message_kind Reply;
|
||||
receiver @bound_2001;
|
||||
reply_to @bound_2030;
|
||||
sender @bound_2002;
|
||||
values [{
|
||||
expression "378.0";
|
||||
field @bound_212;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_2000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_scenario bound_3000 "OA Reentrant pressure review" id "21b00d00-0000-4000-8000-000000000bb8" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "Each reply retains its own requested and measured values";
|
||||
precondition "Two pressure checks are reviewed before the outer reply";
|
||||
steps [@bound_3040, @bound_3030, @bound_3060, @bound_3050];
|
||||
viewpoint OperationalActivity;
|
||||
}
|
||||
|
||||
oa_lifeline bound_3001 "L1 Console" id "21b00d00-0000-4000-8000-000000000bb9" {
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
represented @bound_100;
|
||||
}
|
||||
|
||||
oa_lifeline bound_3002 "L2 Inspector" id "21b00d00-0000-4000-8000-000000000bba" {
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
represented @bound_101;
|
||||
}
|
||||
|
||||
oa_occurrence bound_3030 "C2 380 kPa" id "21b00d00-0000-4000-8000-000000000bd6" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_121;
|
||||
message_kind Call;
|
||||
receiver @bound_3001;
|
||||
reply_to none;
|
||||
sender @bound_3002;
|
||||
values [{
|
||||
expression "380.0";
|
||||
field @bound_111;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_3040 "C1 420 kPa" id "21b00d00-0000-4000-8000-000000000be0" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Call;
|
||||
receiver @bound_3002;
|
||||
reply_to none;
|
||||
sender @bound_3001;
|
||||
values [{
|
||||
expression "420.0";
|
||||
field @bound_111;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_3050 "R1 418 kPa" id "21b00d00-0000-4000-8000-000000000bea" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_120;
|
||||
message_kind Reply;
|
||||
receiver @bound_3001;
|
||||
reply_to @bound_3040;
|
||||
sender @bound_3002;
|
||||
values [{
|
||||
expression "418.0";
|
||||
field @bound_112;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
oa_occurrence bound_3060 "R2 378 kPa" id "21b00d00-0000-4000-8000-000000000bf4" {
|
||||
body {
|
||||
Exchange {
|
||||
exchange @bound_121;
|
||||
message_kind Reply;
|
||||
receiver @bound_3002;
|
||||
reply_to @bound_3030;
|
||||
sender @bound_3001;
|
||||
values [{
|
||||
expression "378.0";
|
||||
field @bound_112;
|
||||
path [];
|
||||
}];
|
||||
};
|
||||
};
|
||||
description "";
|
||||
parent @bound_3000;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
}
|
||||
|
||||
interaction bound_120 "Pressure check" id "21b00d00-0000-4000-8000-000000000078" {
|
||||
description "";
|
||||
items [@bound_110];
|
||||
source @bound_100;
|
||||
target @bound_101;
|
||||
}
|
||||
|
||||
interaction bound_121 "Demand review callback" id "21b00d00-0000-4000-8000-000000000079" {
|
||||
description "";
|
||||
items [@bound_110];
|
||||
source @bound_101;
|
||||
target @bound_100;
|
||||
}
|
||||
|
||||
interface_item_allocation bound_220 "Synchronous pressure check" id "21b00d00-0000-4000-8000-0000000000dc" {
|
||||
acquisition Unspecified;
|
||||
description "";
|
||||
order 0;
|
||||
source @bound_213;
|
||||
target @bound_210;
|
||||
transmission Synchronous;
|
||||
}
|
||||
|
||||
interface_requirement bound_221 "Console requires check" id "21b00d00-0000-4000-8000-0000000000dd" {
|
||||
description "";
|
||||
source @bound_202;
|
||||
target @bound_213;
|
||||
}
|
||||
|
||||
interface_provision bound_222 "Service provides check" id "21b00d00-0000-4000-8000-0000000000de" {
|
||||
description "";
|
||||
source @bound_203;
|
||||
target @bound_213;
|
||||
}
|
||||
|
||||
boundary_exchange bound_223 "Pressure channel" id "21b00d00-0000-4000-8000-0000000000df" {
|
||||
description "";
|
||||
items [@bound_210];
|
||||
oriented false;
|
||||
source @bound_202;
|
||||
target @bound_203;
|
||||
}
|
||||
|
||||
}
|
||||
+24
@@ -0,0 +1,24 @@
|
||||
[
|
||||
Issue {
|
||||
severity: Warning,
|
||||
element: Some(
|
||||
21b00d00-0000-4000-8000-000000000064,
|
||||
),
|
||||
code: "unallocated_leaf",
|
||||
field: Some(
|
||||
"allocation",
|
||||
),
|
||||
message: "Allocate leaf 'Review pressure demand' to a performer.",
|
||||
},
|
||||
Issue {
|
||||
severity: Warning,
|
||||
element: Some(
|
||||
21b00d00-0000-4000-8000-000000000065,
|
||||
),
|
||||
code: "unallocated_leaf",
|
||||
field: Some(
|
||||
"allocation",
|
||||
),
|
||||
message: "Allocate leaf 'Inspect pressure' to a performer.",
|
||||
},
|
||||
]
|
||||
+4
@@ -0,0 +1,4 @@
|
||||
scenario owner L1 L2 C1 C2 R2 R1
|
||||
OA Nested pressure checks 21b00d00-0000-4000-8000-0000000003e8 21b00d00-0000-4000-8000-0000000003e9 21b00d00-0000-4000-8000-0000000003ea 21b00d00-0000-4000-8000-000000000410 21b00d00-0000-4000-8000-000000000406 21b00d00-0000-4000-8000-000000000424 21b00d00-0000-4000-8000-00000000041a
|
||||
SA Nested pressure checks 21b00d00-0000-4000-8000-0000000007d0 21b00d00-0000-4000-8000-0000000007d1 21b00d00-0000-4000-8000-0000000007d2 21b00d00-0000-4000-8000-0000000007f8 21b00d00-0000-4000-8000-0000000007ee 21b00d00-0000-4000-8000-00000000080c 21b00d00-0000-4000-8000-000000000802
|
||||
OA Reentrant pressure review 21b00d00-0000-4000-8000-000000000bb8 21b00d00-0000-4000-8000-000000000bb9 21b00d00-0000-4000-8000-000000000bba 21b00d00-0000-4000-8000-000000000be0 21b00d00-0000-4000-8000-000000000bd6 21b00d00-0000-4000-8000-000000000bf4 21b00d00-0000-4000-8000-000000000bea
|
||||
|
+2
@@ -0,0 +1,2 @@
|
||||
// Preserve deletion evidence 雨.
|
||||
// Exact bytes matter.
|
||||
+228
@@ -0,0 +1,228 @@
|
||||
arcadia 7;
|
||||
project delete_oracle "Delete oracle" id "de1e7e00-0000-4000-8000-000000000001" {
|
||||
include "notes.arcadia";
|
||||
description "";
|
||||
|
||||
oa_activity delete_10 "Target work" id "de1e7e00-0000-4000-8000-00000000000a" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_activity delete_11 "Untouched work" id "de1e7e00-0000-4000-8000-00000000000b" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_entity delete_12 "OA Dispatch team" id "de1e7e00-0000-4000-8000-00000000000c" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_scenario delete_20 "Reference scenario" id "de1e7e00-0000-4000-8000-000000000014" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
steps [];
|
||||
viewpoint OperationalActivity;
|
||||
}
|
||||
|
||||
oa_lifeline delete_21 "Target reference" id "de1e7e00-0000-4000-8000-000000000015" {
|
||||
description "";
|
||||
parent @delete_20;
|
||||
represented @delete_10;
|
||||
}
|
||||
|
||||
sa_function delete_50 "SA Initialize controller" id "de1e7e00-0000-4000-8000-000000000032" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_state_machine delete_51 "SA Controller modes" id "de1e7e00-0000-4000-8000-000000000033" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_region delete_52 "SA Main region" id "de1e7e00-0000-4000-8000-000000000034" {
|
||||
description "";
|
||||
parent @delete_51;
|
||||
}
|
||||
|
||||
sa_state delete_53 "SA Ready" id "de1e7e00-0000-4000-8000-000000000035" {
|
||||
description "";
|
||||
do_activity "";
|
||||
entry "";
|
||||
exit "";
|
||||
kind State;
|
||||
parent @delete_52;
|
||||
}
|
||||
|
||||
allocation delete_13 "OA performs target work" id "de1e7e00-0000-4000-8000-00000000000d" {
|
||||
description "";
|
||||
source @delete_12;
|
||||
target @delete_10;
|
||||
}
|
||||
|
||||
state_action delete_54 "SA Entry initialize" id "de1e7e00-0000-4000-8000-000000000036" {
|
||||
description "";
|
||||
phase Entry;
|
||||
source @delete_53;
|
||||
target @delete_50;
|
||||
}
|
||||
|
||||
diagram view_30 "Work view 30" id "de1e7e00-0000-4000-8000-00000000001e" {
|
||||
description "";
|
||||
layer Oa;
|
||||
projection Allocation;
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_31 id "de1e7e00-0000-4000-8000-00000000001f" {
|
||||
collapsed false;
|
||||
diagram @view_30;
|
||||
element @delete_10;
|
||||
position {
|
||||
x 80.0;
|
||||
y 80.0;
|
||||
};
|
||||
size {
|
||||
height 90.0;
|
||||
width 180.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_32 id "de1e7e00-0000-4000-8000-000000000020" {
|
||||
collapsed false;
|
||||
diagram @view_30;
|
||||
element @delete_12;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 230.0;
|
||||
width 380.0;
|
||||
};
|
||||
}
|
||||
|
||||
diagram view_40 "Work view 40" id "de1e7e00-0000-4000-8000-000000000028" {
|
||||
description "";
|
||||
layer Oa;
|
||||
projection Allocation;
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_41 id "de1e7e00-0000-4000-8000-000000000029" {
|
||||
collapsed false;
|
||||
diagram @view_40;
|
||||
element @delete_10;
|
||||
position {
|
||||
x 80.0;
|
||||
y 80.0;
|
||||
};
|
||||
size {
|
||||
height 90.0;
|
||||
width 180.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_42 id "de1e7e00-0000-4000-8000-00000000002a" {
|
||||
collapsed false;
|
||||
diagram @view_40;
|
||||
element @delete_12;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 230.0;
|
||||
width 380.0;
|
||||
};
|
||||
}
|
||||
|
||||
diagram sa_modes_view "SA Controller modes view" id "de1e7e00-0000-4000-8000-00000000003c" {
|
||||
description "";
|
||||
layer Sa;
|
||||
projection {
|
||||
StateMachine {
|
||||
machine @delete_51;
|
||||
};
|
||||
};
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_61 id "de1e7e00-0000-4000-8000-00000000003d" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_51;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 460.0;
|
||||
width 620.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_62 id "de1e7e00-0000-4000-8000-00000000003e" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_52;
|
||||
position {
|
||||
x 60.0;
|
||||
y 95.0;
|
||||
};
|
||||
size {
|
||||
height 380.0;
|
||||
width 580.0;
|
||||
};
|
||||
}
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
}
|
||||
+2
@@ -0,0 +1,2 @@
|
||||
// Preserve deletion evidence 雨.
|
||||
// Exact bytes matter.
|
||||
+224
@@ -0,0 +1,224 @@
|
||||
arcadia 7;
|
||||
project delete_oracle "Delete oracle" id "de1e7e00-0000-4000-8000-000000000001" {
|
||||
include "notes.arcadia";
|
||||
description "";
|
||||
|
||||
oa_activity delete_10 "Target work" id "de1e7e00-0000-4000-8000-00000000000a" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_activity delete_11 "Untouched work" id "de1e7e00-0000-4000-8000-00000000000b" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_entity delete_12 "OA Dispatch team" id "de1e7e00-0000-4000-8000-00000000000c" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_scenario delete_20 "Reference scenario" id "de1e7e00-0000-4000-8000-000000000014" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
steps [];
|
||||
viewpoint OperationalActivity;
|
||||
}
|
||||
|
||||
oa_lifeline delete_21 "Target reference" id "de1e7e00-0000-4000-8000-000000000015" {
|
||||
description "";
|
||||
parent @delete_20;
|
||||
represented @delete_10;
|
||||
}
|
||||
|
||||
sa_function delete_50 "SA Initialize controller" id "de1e7e00-0000-4000-8000-000000000032" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_state_machine delete_51 "SA Controller modes" id "de1e7e00-0000-4000-8000-000000000033" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_region delete_52 "SA Main region" id "de1e7e00-0000-4000-8000-000000000034" {
|
||||
description "";
|
||||
parent @delete_51;
|
||||
}
|
||||
|
||||
sa_state delete_53 "SA Ready" id "de1e7e00-0000-4000-8000-000000000035" {
|
||||
description "";
|
||||
do_activity "";
|
||||
entry "";
|
||||
exit "";
|
||||
kind State;
|
||||
parent @delete_52;
|
||||
}
|
||||
|
||||
allocation delete_13 "OA performs target work" id "de1e7e00-0000-4000-8000-00000000000d" {
|
||||
description "";
|
||||
source @delete_12;
|
||||
target @delete_10;
|
||||
}
|
||||
|
||||
state_action delete_54 "SA Entry initialize" id "de1e7e00-0000-4000-8000-000000000036" {
|
||||
description "";
|
||||
phase Entry;
|
||||
source @delete_53;
|
||||
target @delete_50;
|
||||
}
|
||||
|
||||
diagram view_30 "Work view 30" id "de1e7e00-0000-4000-8000-00000000001e" {
|
||||
description "";
|
||||
layer Oa;
|
||||
projection Allocation;
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_31 id "de1e7e00-0000-4000-8000-00000000001f" {
|
||||
collapsed false;
|
||||
diagram @view_30;
|
||||
element @delete_10;
|
||||
position {
|
||||
x 80.0;
|
||||
y 80.0;
|
||||
};
|
||||
size {
|
||||
height 90.0;
|
||||
width 180.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_32 id "de1e7e00-0000-4000-8000-000000000020" {
|
||||
collapsed false;
|
||||
diagram @view_30;
|
||||
element @delete_12;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 230.0;
|
||||
width 380.0;
|
||||
};
|
||||
}
|
||||
|
||||
diagram view_40 "Work view 40" id "de1e7e00-0000-4000-8000-000000000028" {
|
||||
description "";
|
||||
layer Oa;
|
||||
projection Allocation;
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_41 id "de1e7e00-0000-4000-8000-000000000029" {
|
||||
collapsed false;
|
||||
diagram @view_40;
|
||||
element @delete_10;
|
||||
position {
|
||||
x 80.0;
|
||||
y 80.0;
|
||||
};
|
||||
size {
|
||||
height 90.0;
|
||||
width 180.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_42 id "de1e7e00-0000-4000-8000-00000000002a" {
|
||||
collapsed false;
|
||||
diagram @view_40;
|
||||
element @delete_12;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 230.0;
|
||||
width 380.0;
|
||||
};
|
||||
}
|
||||
|
||||
diagram sa_modes_view "SA Controller modes view" id "de1e7e00-0000-4000-8000-00000000003c" {
|
||||
description "";
|
||||
layer Sa;
|
||||
projection {
|
||||
StateMachine {
|
||||
machine @delete_51;
|
||||
};
|
||||
};
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_61 id "de1e7e00-0000-4000-8000-00000000003d" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_51;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 460.0;
|
||||
width 620.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_62 id "de1e7e00-0000-4000-8000-00000000003e" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_52;
|
||||
position {
|
||||
x 60.0;
|
||||
y 95.0;
|
||||
};
|
||||
size {
|
||||
height 380.0;
|
||||
width 580.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_63 id "de1e7e00-0000-4000-8000-00000000003f" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_53;
|
||||
position {
|
||||
x 100.0;
|
||||
y 155.0;
|
||||
};
|
||||
size {
|
||||
height 190.0;
|
||||
width 320.0;
|
||||
};
|
||||
}
|
||||
|
||||
}
|
||||
@@ -0,0 +1,5 @@
|
||||
{
|
||||
"utc": "2026-09-12T22:58:28.728800+00:00",
|
||||
"pid": 4900,
|
||||
"exit": 0
|
||||
}
|
||||
@@ -0,0 +1,2 @@
|
||||
// Preserve deletion evidence 雨.
|
||||
// Exact bytes matter.
|
||||
@@ -0,0 +1,224 @@
|
||||
arcadia 7;
|
||||
project delete_oracle "Delete oracle" id "de1e7e00-0000-4000-8000-000000000001" {
|
||||
include "notes.arcadia";
|
||||
description "";
|
||||
|
||||
oa_activity delete_10 "Target work" id "de1e7e00-0000-4000-8000-00000000000a" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_activity delete_11 "Untouched work" id "de1e7e00-0000-4000-8000-00000000000b" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_entity delete_12 "OA Dispatch team" id "de1e7e00-0000-4000-8000-00000000000c" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
oa_scenario delete_20 "Reference scenario" id "de1e7e00-0000-4000-8000-000000000014" {
|
||||
context none;
|
||||
description "";
|
||||
parent none;
|
||||
postcondition "";
|
||||
precondition "";
|
||||
steps [];
|
||||
viewpoint OperationalActivity;
|
||||
}
|
||||
|
||||
oa_lifeline delete_21 "Target reference" id "de1e7e00-0000-4000-8000-000000000015" {
|
||||
description "";
|
||||
parent @delete_20;
|
||||
represented @delete_10;
|
||||
}
|
||||
|
||||
sa_function delete_50 "SA Initialize controller" id "de1e7e00-0000-4000-8000-000000000032" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_state_machine delete_51 "SA Controller modes" id "de1e7e00-0000-4000-8000-000000000033" {
|
||||
description "";
|
||||
parent none;
|
||||
}
|
||||
|
||||
sa_region delete_52 "SA Main region" id "de1e7e00-0000-4000-8000-000000000034" {
|
||||
description "";
|
||||
parent @delete_51;
|
||||
}
|
||||
|
||||
sa_state delete_53 "SA Ready" id "de1e7e00-0000-4000-8000-000000000035" {
|
||||
description "";
|
||||
do_activity "";
|
||||
entry "";
|
||||
exit "";
|
||||
kind State;
|
||||
parent @delete_52;
|
||||
}
|
||||
|
||||
allocation delete_13 "OA performs target work" id "de1e7e00-0000-4000-8000-00000000000d" {
|
||||
description "";
|
||||
source @delete_12;
|
||||
target @delete_10;
|
||||
}
|
||||
|
||||
state_action delete_54 "SA Entry initialize" id "de1e7e00-0000-4000-8000-000000000036" {
|
||||
description "";
|
||||
phase Entry;
|
||||
source @delete_53;
|
||||
target @delete_50;
|
||||
}
|
||||
|
||||
diagram view_30 "Work view 30" id "de1e7e00-0000-4000-8000-00000000001e" {
|
||||
description "";
|
||||
layer Oa;
|
||||
projection Allocation;
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_31 id "de1e7e00-0000-4000-8000-00000000001f" {
|
||||
collapsed false;
|
||||
diagram @view_30;
|
||||
element @delete_10;
|
||||
position {
|
||||
x 80.0;
|
||||
y 80.0;
|
||||
};
|
||||
size {
|
||||
height 90.0;
|
||||
width 180.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_32 id "de1e7e00-0000-4000-8000-000000000020" {
|
||||
collapsed false;
|
||||
diagram @view_30;
|
||||
element @delete_12;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 230.0;
|
||||
width 380.0;
|
||||
};
|
||||
}
|
||||
|
||||
diagram view_40 "Work view 40" id "de1e7e00-0000-4000-8000-000000000028" {
|
||||
description "";
|
||||
layer Oa;
|
||||
projection Allocation;
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_41 id "de1e7e00-0000-4000-8000-000000000029" {
|
||||
collapsed false;
|
||||
diagram @view_40;
|
||||
element @delete_10;
|
||||
position {
|
||||
x 80.0;
|
||||
y 80.0;
|
||||
};
|
||||
size {
|
||||
height 90.0;
|
||||
width 180.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_42 id "de1e7e00-0000-4000-8000-00000000002a" {
|
||||
collapsed false;
|
||||
diagram @view_40;
|
||||
element @delete_12;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 230.0;
|
||||
width 380.0;
|
||||
};
|
||||
}
|
||||
|
||||
diagram sa_modes_view "SA Controller modes view" id "de1e7e00-0000-4000-8000-00000000003c" {
|
||||
description "";
|
||||
layer Sa;
|
||||
projection {
|
||||
StateMachine {
|
||||
machine @delete_51;
|
||||
};
|
||||
};
|
||||
routes [];
|
||||
view_options {
|
||||
coverage "All";
|
||||
exchange_labels "Name";
|
||||
hidden_edges [];
|
||||
participant_categories "All";
|
||||
relation_kinds "All";
|
||||
work_categories "All";
|
||||
work_contexts "All";
|
||||
};
|
||||
}
|
||||
|
||||
node node_61 id "de1e7e00-0000-4000-8000-00000000003d" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_51;
|
||||
position {
|
||||
x 40.0;
|
||||
y 40.0;
|
||||
};
|
||||
size {
|
||||
height 460.0;
|
||||
width 620.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_62 id "de1e7e00-0000-4000-8000-00000000003e" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_52;
|
||||
position {
|
||||
x 60.0;
|
||||
y 95.0;
|
||||
};
|
||||
size {
|
||||
height 380.0;
|
||||
width 580.0;
|
||||
};
|
||||
}
|
||||
|
||||
node node_63 id "de1e7e00-0000-4000-8000-00000000003f" {
|
||||
collapsed false;
|
||||
diagram @sa_modes_view;
|
||||
element @delete_53;
|
||||
position {
|
||||
x 100.0;
|
||||
y 155.0;
|
||||
};
|
||||
size {
|
||||
height 190.0;
|
||||
width 320.0;
|
||||
};
|
||||
}
|
||||
|
||||
}
|
||||
Binary file not shown.
|
After Width: | Height: | Size: 107 KiB |
@@ -0,0 +1,25 @@
|
||||
{
|
||||
"utc": "2026-09-12T22:45:16.119605+00:00",
|
||||
"snapshot": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\arch-delete-save",
|
||||
"command": [
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\delete-oracle-warning-fix-42511f0\\delete-oracle-warning-fix-42511f0.exe",
|
||||
"removed",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\compact-baseline\\project.arcadia",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\arch-delete-save\\project.arcadia",
|
||||
"de1e7e00-0000-4000-8000-00000000001f"
|
||||
],
|
||||
"checker_sha256": "9796aa73544c6414003e6230a668a6cf1435978a310187ef2560af67e35f3466",
|
||||
"exit": 0,
|
||||
"files": [
|
||||
{
|
||||
"path": "notes.arcadia",
|
||||
"bytes": 60,
|
||||
"sha256": "adb1445555f1f47cf2ac92e2271e54df7c5d2eaf1d9363fe5a79d02298670a4e"
|
||||
},
|
||||
{
|
||||
"path": "project.arcadia",
|
||||
"bytes": 5416,
|
||||
"sha256": "9f41161fd7fd014ed0744bb45a223958c6fd2b6e94a76cb6ddb468360f723726"
|
||||
}
|
||||
]
|
||||
}
|
||||
@@ -0,0 +1,21 @@
|
||||
PASS removed de1e7e00-0000-4000-8000-00000000001f: exact baseline-derived Delete candidate and normal source patch
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_system", object_id: Some(de1e7e00-0000-4000-8000-000000000001), field: Some("elements"), line: 2, column: 1, message: "Identify the SA system of interest.", span: Span { start: 11, end: 91 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: Some("allocation"), line: 11, column: 5, message: "Allocate leaf 'Untouched work' to a performer.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "empty_sequence", object_id: Some(de1e7e00-0000-4000-8000-000000000014), field: Some("steps"), line: 27, column: 15, message: "Add ordered occurrences.", span: Span { start: 780, end: 782 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: Some("allocation"), line: 37, column: 5, message: "Allocate leaf 'SA Initialize controller' to a performer.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "machine_owner", object_id: Some(de1e7e00-0000-4000-8000-000000000033), field: Some("parent"), line: 44, column: 16, message: "Assign a state-machine owner.", span: Span { start: 1294, end: 1298 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unreachable_state", object_id: Some(de1e7e00-0000-4000-8000-000000000035), field: Some("body"), line: 52, column: 5, message: "No structural path from a machine entry reaches this vertex; review entry, nesting and transitions (guards are not executed).", span: Span { start: 1454, end: 1663 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_initial", object_id: Some(de1e7e00-0000-4000-8000-000000000034), field: Some("parent"), line: 49, column: 16, message: "Add an Initial default entry or an explicit incoming entry path for this region.", span: Span { start: 1431, end: 1441 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000a), field: None, line: 6, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 147, end: 277 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: None, line: 11, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: None, line: 37, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_system", object_id: Some(de1e7e00-0000-4000-8000-000000000001), field: Some("elements"), line: 2, column: 1, message: "Identify the SA system of interest.", span: Span { start: 11, end: 91 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: Some("allocation"), line: 11, column: 5, message: "Allocate leaf 'Untouched work' to a performer.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "empty_sequence", object_id: Some(de1e7e00-0000-4000-8000-000000000014), field: Some("steps"), line: 27, column: 15, message: "Add ordered occurrences.", span: Span { start: 780, end: 782 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: Some("allocation"), line: 37, column: 5, message: "Allocate leaf 'SA Initialize controller' to a performer.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "machine_owner", object_id: Some(de1e7e00-0000-4000-8000-000000000033), field: Some("parent"), line: 44, column: 16, message: "Assign a state-machine owner.", span: Span { start: 1294, end: 1298 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unreachable_state", object_id: Some(de1e7e00-0000-4000-8000-000000000035), field: Some("body"), line: 52, column: 5, message: "No structural path from a machine entry reaches this vertex; review entry, nesting and transitions (guards are not executed).", span: Span { start: 1454, end: 1663 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_initial", object_id: Some(de1e7e00-0000-4000-8000-000000000034), field: Some("parent"), line: 49, column: 16, message: "Add an Initial default entry or an explicit incoming entry path for this region.", span: Span { start: 1431, end: 1441 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000a), field: None, line: 6, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 147, end: 277 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: None, line: 11, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: None, line: 37, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Binary file not shown.
|
After Width: | Height: | Size: 105 KiB |
@@ -0,0 +1,24 @@
|
||||
{
|
||||
"utc": "2026-09-12T22:47:03.676481+00:00",
|
||||
"snapshot": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\arch-final-restored",
|
||||
"command": [
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\delete-oracle-warning-fix-42511f0\\delete-oracle-warning-fix-42511f0.exe",
|
||||
"same",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\compact-baseline\\project.arcadia",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\arch-final-restored\\project.arcadia"
|
||||
],
|
||||
"checker_sha256": "9796aa73544c6414003e6230a668a6cf1435978a310187ef2560af67e35f3466",
|
||||
"exit": 0,
|
||||
"files": [
|
||||
{
|
||||
"path": "notes.arcadia",
|
||||
"bytes": 60,
|
||||
"sha256": "adb1445555f1f47cf2ac92e2271e54df7c5d2eaf1d9363fe5a79d02298670a4e"
|
||||
},
|
||||
{
|
||||
"path": "project.arcadia",
|
||||
"bytes": 5566,
|
||||
"sha256": "246e7316f3932df2bc64c70459352ecef2a7fe2b5d8ead03d1f5664587c813bf"
|
||||
}
|
||||
]
|
||||
}
|
||||
@@ -0,0 +1,21 @@
|
||||
PASS same: complete Project and exact SourceBundle restored
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_system", object_id: Some(de1e7e00-0000-4000-8000-000000000001), field: Some("elements"), line: 2, column: 1, message: "Identify the SA system of interest.", span: Span { start: 11, end: 91 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: Some("allocation"), line: 11, column: 5, message: "Allocate leaf 'Untouched work' to a performer.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "empty_sequence", object_id: Some(de1e7e00-0000-4000-8000-000000000014), field: Some("steps"), line: 27, column: 15, message: "Add ordered occurrences.", span: Span { start: 780, end: 782 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: Some("allocation"), line: 37, column: 5, message: "Allocate leaf 'SA Initialize controller' to a performer.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "machine_owner", object_id: Some(de1e7e00-0000-4000-8000-000000000033), field: Some("parent"), line: 44, column: 16, message: "Assign a state-machine owner.", span: Span { start: 1294, end: 1298 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unreachable_state", object_id: Some(de1e7e00-0000-4000-8000-000000000035), field: Some("body"), line: 52, column: 5, message: "No structural path from a machine entry reaches this vertex; review entry, nesting and transitions (guards are not executed).", span: Span { start: 1454, end: 1663 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_initial", object_id: Some(de1e7e00-0000-4000-8000-000000000034), field: Some("parent"), line: 49, column: 16, message: "Add an Initial default entry or an explicit incoming entry path for this region.", span: Span { start: 1431, end: 1441 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000a), field: None, line: 6, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 147, end: 277 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: None, line: 11, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: None, line: 37, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-final-restored\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_system", object_id: Some(de1e7e00-0000-4000-8000-000000000001), field: Some("elements"), line: 2, column: 1, message: "Identify the SA system of interest.", span: Span { start: 11, end: 91 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-final-restored\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: Some("allocation"), line: 11, column: 5, message: "Allocate leaf 'Untouched work' to a performer.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-final-restored\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "empty_sequence", object_id: Some(de1e7e00-0000-4000-8000-000000000014), field: Some("steps"), line: 27, column: 15, message: "Add ordered occurrences.", span: Span { start: 780, end: 782 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-final-restored\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: Some("allocation"), line: 37, column: 5, message: "Allocate leaf 'SA Initialize controller' to a performer.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-final-restored\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "machine_owner", object_id: Some(de1e7e00-0000-4000-8000-000000000033), field: Some("parent"), line: 44, column: 16, message: "Assign a state-machine owner.", span: Span { start: 1294, end: 1298 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-final-restored\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unreachable_state", object_id: Some(de1e7e00-0000-4000-8000-000000000035), field: Some("body"), line: 52, column: 5, message: "No structural path from a machine entry reaches this vertex; review entry, nesting and transitions (guards are not executed).", span: Span { start: 1454, end: 1663 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-final-restored\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_initial", object_id: Some(de1e7e00-0000-4000-8000-000000000034), field: Some("parent"), line: 49, column: 16, message: "Add an Initial default entry or an explicit incoming entry path for this region.", span: Span { start: 1431, end: 1441 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-final-restored\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000a), field: None, line: 6, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 147, end: 277 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-final-restored\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: None, line: 11, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-final-restored\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: None, line: 37, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
@@ -0,0 +1,25 @@
|
||||
{
|
||||
"utc": "2026-09-12T22:46:16.599067+00:00",
|
||||
"snapshot": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\arch-redo-save",
|
||||
"command": [
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\delete-oracle-warning-fix-42511f0\\delete-oracle-warning-fix-42511f0.exe",
|
||||
"removed",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\compact-baseline\\project.arcadia",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\arch-redo-save\\project.arcadia",
|
||||
"de1e7e00-0000-4000-8000-00000000001f"
|
||||
],
|
||||
"checker_sha256": "9796aa73544c6414003e6230a668a6cf1435978a310187ef2560af67e35f3466",
|
||||
"exit": 0,
|
||||
"files": [
|
||||
{
|
||||
"path": "notes.arcadia",
|
||||
"bytes": 60,
|
||||
"sha256": "adb1445555f1f47cf2ac92e2271e54df7c5d2eaf1d9363fe5a79d02298670a4e"
|
||||
},
|
||||
{
|
||||
"path": "project.arcadia",
|
||||
"bytes": 5416,
|
||||
"sha256": "9f41161fd7fd014ed0744bb45a223958c6fd2b6e94a76cb6ddb468360f723726"
|
||||
}
|
||||
]
|
||||
}
|
||||
@@ -0,0 +1,21 @@
|
||||
PASS removed de1e7e00-0000-4000-8000-00000000001f: exact baseline-derived Delete candidate and normal source patch
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_system", object_id: Some(de1e7e00-0000-4000-8000-000000000001), field: Some("elements"), line: 2, column: 1, message: "Identify the SA system of interest.", span: Span { start: 11, end: 91 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: Some("allocation"), line: 11, column: 5, message: "Allocate leaf 'Untouched work' to a performer.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "empty_sequence", object_id: Some(de1e7e00-0000-4000-8000-000000000014), field: Some("steps"), line: 27, column: 15, message: "Add ordered occurrences.", span: Span { start: 780, end: 782 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: Some("allocation"), line: 37, column: 5, message: "Allocate leaf 'SA Initialize controller' to a performer.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "machine_owner", object_id: Some(de1e7e00-0000-4000-8000-000000000033), field: Some("parent"), line: 44, column: 16, message: "Assign a state-machine owner.", span: Span { start: 1294, end: 1298 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unreachable_state", object_id: Some(de1e7e00-0000-4000-8000-000000000035), field: Some("body"), line: 52, column: 5, message: "No structural path from a machine entry reaches this vertex; review entry, nesting and transitions (guards are not executed).", span: Span { start: 1454, end: 1663 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_initial", object_id: Some(de1e7e00-0000-4000-8000-000000000034), field: Some("parent"), line: 49, column: 16, message: "Add an Initial default entry or an explicit incoming entry path for this region.", span: Span { start: 1431, end: 1441 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000a), field: None, line: 6, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 147, end: 277 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: None, line: 11, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: None, line: 37, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-redo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_system", object_id: Some(de1e7e00-0000-4000-8000-000000000001), field: Some("elements"), line: 2, column: 1, message: "Identify the SA system of interest.", span: Span { start: 11, end: 91 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-redo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: Some("allocation"), line: 11, column: 5, message: "Allocate leaf 'Untouched work' to a performer.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-redo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "empty_sequence", object_id: Some(de1e7e00-0000-4000-8000-000000000014), field: Some("steps"), line: 27, column: 15, message: "Add ordered occurrences.", span: Span { start: 780, end: 782 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-redo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: Some("allocation"), line: 37, column: 5, message: "Allocate leaf 'SA Initialize controller' to a performer.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-redo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "machine_owner", object_id: Some(de1e7e00-0000-4000-8000-000000000033), field: Some("parent"), line: 44, column: 16, message: "Assign a state-machine owner.", span: Span { start: 1294, end: 1298 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-redo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unreachable_state", object_id: Some(de1e7e00-0000-4000-8000-000000000035), field: Some("body"), line: 52, column: 5, message: "No structural path from a machine entry reaches this vertex; review entry, nesting and transitions (guards are not executed).", span: Span { start: 1454, end: 1663 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-redo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_initial", object_id: Some(de1e7e00-0000-4000-8000-000000000034), field: Some("parent"), line: 49, column: 16, message: "Add an Initial default entry or an explicit incoming entry path for this region.", span: Span { start: 1431, end: 1441 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-redo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000a), field: None, line: 6, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 147, end: 277 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-redo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: None, line: 11, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-redo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: None, line: 37, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Binary file not shown.
|
After Width: | Height: | Size: 105 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 110 KiB |
@@ -0,0 +1,24 @@
|
||||
{
|
||||
"utc": "2026-09-12T22:45:45.063927+00:00",
|
||||
"snapshot": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\arch-undo-save",
|
||||
"command": [
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\delete-oracle-warning-fix-42511f0\\delete-oracle-warning-fix-42511f0.exe",
|
||||
"same",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\compact-baseline\\project.arcadia",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\arch-undo-save\\project.arcadia"
|
||||
],
|
||||
"checker_sha256": "9796aa73544c6414003e6230a668a6cf1435978a310187ef2560af67e35f3466",
|
||||
"exit": 0,
|
||||
"files": [
|
||||
{
|
||||
"path": "notes.arcadia",
|
||||
"bytes": 60,
|
||||
"sha256": "adb1445555f1f47cf2ac92e2271e54df7c5d2eaf1d9363fe5a79d02298670a4e"
|
||||
},
|
||||
{
|
||||
"path": "project.arcadia",
|
||||
"bytes": 5566,
|
||||
"sha256": "246e7316f3932df2bc64c70459352ecef2a7fe2b5d8ead03d1f5664587c813bf"
|
||||
}
|
||||
]
|
||||
}
|
||||
@@ -0,0 +1,21 @@
|
||||
PASS same: complete Project and exact SourceBundle restored
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_system", object_id: Some(de1e7e00-0000-4000-8000-000000000001), field: Some("elements"), line: 2, column: 1, message: "Identify the SA system of interest.", span: Span { start: 11, end: 91 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: Some("allocation"), line: 11, column: 5, message: "Allocate leaf 'Untouched work' to a performer.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "empty_sequence", object_id: Some(de1e7e00-0000-4000-8000-000000000014), field: Some("steps"), line: 27, column: 15, message: "Add ordered occurrences.", span: Span { start: 780, end: 782 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: Some("allocation"), line: 37, column: 5, message: "Allocate leaf 'SA Initialize controller' to a performer.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "machine_owner", object_id: Some(de1e7e00-0000-4000-8000-000000000033), field: Some("parent"), line: 44, column: 16, message: "Assign a state-machine owner.", span: Span { start: 1294, end: 1298 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unreachable_state", object_id: Some(de1e7e00-0000-4000-8000-000000000035), field: Some("body"), line: 52, column: 5, message: "No structural path from a machine entry reaches this vertex; review entry, nesting and transitions (guards are not executed).", span: Span { start: 1454, end: 1663 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_initial", object_id: Some(de1e7e00-0000-4000-8000-000000000034), field: Some("parent"), line: 49, column: 16, message: "Add an Initial default entry or an explicit incoming entry path for this region.", span: Span { start: 1431, end: 1441 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000a), field: None, line: 6, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 147, end: 277 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: None, line: 11, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: None, line: 37, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_system", object_id: Some(de1e7e00-0000-4000-8000-000000000001), field: Some("elements"), line: 2, column: 1, message: "Identify the SA system of interest.", span: Span { start: 11, end: 91 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: Some("allocation"), line: 11, column: 5, message: "Allocate leaf 'Untouched work' to a performer.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "empty_sequence", object_id: Some(de1e7e00-0000-4000-8000-000000000014), field: Some("steps"), line: 27, column: 15, message: "Add ordered occurrences.", span: Span { start: 780, end: 782 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: Some("allocation"), line: 37, column: 5, message: "Allocate leaf 'SA Initialize controller' to a performer.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "machine_owner", object_id: Some(de1e7e00-0000-4000-8000-000000000033), field: Some("parent"), line: 44, column: 16, message: "Assign a state-machine owner.", span: Span { start: 1294, end: 1298 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unreachable_state", object_id: Some(de1e7e00-0000-4000-8000-000000000035), field: Some("body"), line: 52, column: 5, message: "No structural path from a machine entry reaches this vertex; review entry, nesting and transitions (guards are not executed).", span: Span { start: 1454, end: 1663 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_initial", object_id: Some(de1e7e00-0000-4000-8000-000000000034), field: Some("parent"), line: 49, column: 16, message: "Add an Initial default entry or an explicit incoming entry path for this region.", span: Span { start: 1431, end: 1441 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000a), field: None, line: 6, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 147, end: 277 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: None, line: 11, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\arch-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: None, line: 37, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Binary file not shown.
|
After Width: | Height: | Size: 110 KiB |
@@ -0,0 +1,24 @@
|
||||
{
|
||||
"utc": "2026-09-12T22:03:22.260588+00:00",
|
||||
"snapshot": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\baseline-preflight",
|
||||
"command": [
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\delete-oracle-warning-fix-42511f0\\delete-oracle-warning-fix-42511f0.exe",
|
||||
"same",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\compact-baseline\\project.arcadia",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\baseline-preflight\\project.arcadia"
|
||||
],
|
||||
"checker_sha256": "9796aa73544c6414003e6230a668a6cf1435978a310187ef2560af67e35f3466",
|
||||
"exit": 0,
|
||||
"files": [
|
||||
{
|
||||
"path": "notes.arcadia",
|
||||
"bytes": 60,
|
||||
"sha256": "adb1445555f1f47cf2ac92e2271e54df7c5d2eaf1d9363fe5a79d02298670a4e"
|
||||
},
|
||||
{
|
||||
"path": "project.arcadia",
|
||||
"bytes": 5566,
|
||||
"sha256": "246e7316f3932df2bc64c70459352ecef2a7fe2b5d8ead03d1f5664587c813bf"
|
||||
}
|
||||
]
|
||||
}
|
||||
@@ -0,0 +1,21 @@
|
||||
PASS same: complete Project and exact SourceBundle restored
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_system", object_id: Some(de1e7e00-0000-4000-8000-000000000001), field: Some("elements"), line: 2, column: 1, message: "Identify the SA system of interest.", span: Span { start: 11, end: 91 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: Some("allocation"), line: 11, column: 5, message: "Allocate leaf 'Untouched work' to a performer.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "empty_sequence", object_id: Some(de1e7e00-0000-4000-8000-000000000014), field: Some("steps"), line: 27, column: 15, message: "Add ordered occurrences.", span: Span { start: 780, end: 782 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: Some("allocation"), line: 37, column: 5, message: "Allocate leaf 'SA Initialize controller' to a performer.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "machine_owner", object_id: Some(de1e7e00-0000-4000-8000-000000000033), field: Some("parent"), line: 44, column: 16, message: "Assign a state-machine owner.", span: Span { start: 1294, end: 1298 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unreachable_state", object_id: Some(de1e7e00-0000-4000-8000-000000000035), field: Some("body"), line: 52, column: 5, message: "No structural path from a machine entry reaches this vertex; review entry, nesting and transitions (guards are not executed).", span: Span { start: 1454, end: 1663 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_initial", object_id: Some(de1e7e00-0000-4000-8000-000000000034), field: Some("parent"), line: 49, column: 16, message: "Add an Initial default entry or an explicit incoming entry path for this region.", span: Span { start: 1431, end: 1441 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000a), field: None, line: 6, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 147, end: 277 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: None, line: 11, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: None, line: 37, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\baseline-preflight\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_system", object_id: Some(de1e7e00-0000-4000-8000-000000000001), field: Some("elements"), line: 2, column: 1, message: "Identify the SA system of interest.", span: Span { start: 11, end: 91 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\baseline-preflight\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: Some("allocation"), line: 11, column: 5, message: "Allocate leaf 'Untouched work' to a performer.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\baseline-preflight\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "empty_sequence", object_id: Some(de1e7e00-0000-4000-8000-000000000014), field: Some("steps"), line: 27, column: 15, message: "Add ordered occurrences.", span: Span { start: 780, end: 782 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\baseline-preflight\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: Some("allocation"), line: 37, column: 5, message: "Allocate leaf 'SA Initialize controller' to a performer.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\baseline-preflight\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "machine_owner", object_id: Some(de1e7e00-0000-4000-8000-000000000033), field: Some("parent"), line: 44, column: 16, message: "Assign a state-machine owner.", span: Span { start: 1294, end: 1298 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\baseline-preflight\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unreachable_state", object_id: Some(de1e7e00-0000-4000-8000-000000000035), field: Some("body"), line: 52, column: 5, message: "No structural path from a machine entry reaches this vertex; review entry, nesting and transitions (guards are not executed).", span: Span { start: 1454, end: 1663 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\baseline-preflight\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_initial", object_id: Some(de1e7e00-0000-4000-8000-000000000034), field: Some("parent"), line: 49, column: 16, message: "Add an Initial default entry or an explicit incoming entry path for this region.", span: Span { start: 1431, end: 1441 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\baseline-preflight\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000a), field: None, line: 6, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 147, end: 277 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\baseline-preflight\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: None, line: 11, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\baseline-preflight\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: None, line: 37, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Binary file not shown.
|
After Width: | Height: | Size: 99 KiB |
@@ -0,0 +1,34 @@
|
||||
{
|
||||
"utc": "2026-09-12T22:03:23.717149+00:00",
|
||||
"snapshot": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\bound-preflight",
|
||||
"command": [
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\delete-oracle-warning-fix-42511f0\\delete-oracle-warning-fix-42511f0.exe",
|
||||
"same",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\bound-baseline\\bound-nested-calls.arcadia",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\bound-preflight\\bound-nested-calls.arcadia"
|
||||
],
|
||||
"checker_sha256": "9796aa73544c6414003e6230a668a6cf1435978a310187ef2560af67e35f3466",
|
||||
"exit": 0,
|
||||
"files": [
|
||||
{
|
||||
"path": "bound-nested-calls.arcadia",
|
||||
"bytes": 14219,
|
||||
"sha256": "7531ec264ad3f4b343997e3c0b0ac3b539163908b117e32197876decf3dee3dd"
|
||||
},
|
||||
{
|
||||
"path": "diagnostics.txt",
|
||||
"bytes": 592,
|
||||
"sha256": "e2df3656e0fe6185465aced67f6649fc02bd6e584e7cb38b51ad226c9624da00"
|
||||
},
|
||||
{
|
||||
"path": "README.md",
|
||||
"bytes": 855,
|
||||
"sha256": "f5b4e5090ecf28b230bb96f24c58c0566542aae1032c32bbba058aa4eaf79ac5"
|
||||
},
|
||||
{
|
||||
"path": "scenario-identities.tsv",
|
||||
"bytes": 891,
|
||||
"sha256": "fa9cd8bd17a0d16d70e72e76a670e060e64d92ca3bd4a5bd6b92a363393108b0"
|
||||
}
|
||||
]
|
||||
}
|
||||
@@ -0,0 +1,5 @@
|
||||
PASS same: complete Project and exact SourceBundle restored
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\bound-baseline\bound-nested-calls.arcadia: SourceDiagnostic { path: "bound-nested-calls.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(21b00d00-0000-4000-8000-000000000064), field: Some("allocation"), line: 5, column: 5, message: "Allocate leaf 'Review pressure demand' to a performer.", span: Span { start: 256, end: 397 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\bound-baseline\bound-nested-calls.arcadia: SourceDiagnostic { path: "bound-nested-calls.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(21b00d00-0000-4000-8000-000000000065), field: Some("allocation"), line: 10, column: 5, message: "Allocate leaf 'Inspect pressure' to a performer.", span: Span { start: 403, end: 538 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\bound-preflight\bound-nested-calls.arcadia: SourceDiagnostic { path: "bound-nested-calls.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(21b00d00-0000-4000-8000-000000000064), field: Some("allocation"), line: 5, column: 5, message: "Allocate leaf 'Review pressure demand' to a performer.", span: Span { start: 256, end: 397 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\bound-preflight\bound-nested-calls.arcadia: SourceDiagnostic { path: "bound-nested-calls.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(21b00d00-0000-4000-8000-000000000065), field: Some("allocation"), line: 10, column: 5, message: "Allocate leaf 'Inspect pressure' to a performer.", span: Span { start: 403, end: 538 } }, related: [] }
|
||||
@@ -0,0 +1,34 @@
|
||||
{
|
||||
"utc": "2026-09-12T22:58:26.515219+00:00",
|
||||
"snapshot": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\bound-reopen-save",
|
||||
"command": [
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\delete-oracle-warning-fix-42511f0\\delete-oracle-warning-fix-42511f0.exe",
|
||||
"same",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\bound-baseline\\bound-nested-calls.arcadia",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\bound-reopen-save\\bound-nested-calls.arcadia"
|
||||
],
|
||||
"checker_sha256": "9796aa73544c6414003e6230a668a6cf1435978a310187ef2560af67e35f3466",
|
||||
"exit": 0,
|
||||
"files": [
|
||||
{
|
||||
"path": "bound-nested-calls.arcadia",
|
||||
"bytes": 14219,
|
||||
"sha256": "7531ec264ad3f4b343997e3c0b0ac3b539163908b117e32197876decf3dee3dd"
|
||||
},
|
||||
{
|
||||
"path": "diagnostics.txt",
|
||||
"bytes": 592,
|
||||
"sha256": "e2df3656e0fe6185465aced67f6649fc02bd6e584e7cb38b51ad226c9624da00"
|
||||
},
|
||||
{
|
||||
"path": "README.md",
|
||||
"bytes": 855,
|
||||
"sha256": "f5b4e5090ecf28b230bb96f24c58c0566542aae1032c32bbba058aa4eaf79ac5"
|
||||
},
|
||||
{
|
||||
"path": "scenario-identities.tsv",
|
||||
"bytes": 891,
|
||||
"sha256": "fa9cd8bd17a0d16d70e72e76a670e060e64d92ca3bd4a5bd6b92a363393108b0"
|
||||
}
|
||||
]
|
||||
}
|
||||
@@ -0,0 +1,5 @@
|
||||
PASS same: complete Project and exact SourceBundle restored
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\bound-baseline\bound-nested-calls.arcadia: SourceDiagnostic { path: "bound-nested-calls.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(21b00d00-0000-4000-8000-000000000064), field: Some("allocation"), line: 5, column: 5, message: "Allocate leaf 'Review pressure demand' to a performer.", span: Span { start: 256, end: 397 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\bound-baseline\bound-nested-calls.arcadia: SourceDiagnostic { path: "bound-nested-calls.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(21b00d00-0000-4000-8000-000000000065), field: Some("allocation"), line: 10, column: 5, message: "Allocate leaf 'Inspect pressure' to a performer.", span: Span { start: 403, end: 538 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\bound-reopen-save\bound-nested-calls.arcadia: SourceDiagnostic { path: "bound-nested-calls.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(21b00d00-0000-4000-8000-000000000064), field: Some("allocation"), line: 5, column: 5, message: "Allocate leaf 'Review pressure demand' to a performer.", span: Span { start: 256, end: 397 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\bound-reopen-save\bound-nested-calls.arcadia: SourceDiagnostic { path: "bound-nested-calls.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(21b00d00-0000-4000-8000-000000000065), field: Some("allocation"), line: 10, column: 5, message: "Allocate leaf 'Inspect pressure' to a performer.", span: Span { start: 403, end: 538 } }, related: [] }
|
||||
Binary file not shown.
|
After Width: | Height: | Size: 86 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 96 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 97 KiB |
@@ -0,0 +1,34 @@
|
||||
{
|
||||
"utc": "2026-09-12T22:57:01.901404+00:00",
|
||||
"snapshot": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\bound-save",
|
||||
"command": [
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\delete-oracle-warning-fix-42511f0\\delete-oracle-warning-fix-42511f0.exe",
|
||||
"same",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\bound-baseline\\bound-nested-calls.arcadia",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\bound-save\\bound-nested-calls.arcadia"
|
||||
],
|
||||
"checker_sha256": "9796aa73544c6414003e6230a668a6cf1435978a310187ef2560af67e35f3466",
|
||||
"exit": 0,
|
||||
"files": [
|
||||
{
|
||||
"path": "bound-nested-calls.arcadia",
|
||||
"bytes": 14219,
|
||||
"sha256": "7531ec264ad3f4b343997e3c0b0ac3b539163908b117e32197876decf3dee3dd"
|
||||
},
|
||||
{
|
||||
"path": "diagnostics.txt",
|
||||
"bytes": 592,
|
||||
"sha256": "e2df3656e0fe6185465aced67f6649fc02bd6e584e7cb38b51ad226c9624da00"
|
||||
},
|
||||
{
|
||||
"path": "README.md",
|
||||
"bytes": 855,
|
||||
"sha256": "f5b4e5090ecf28b230bb96f24c58c0566542aae1032c32bbba058aa4eaf79ac5"
|
||||
},
|
||||
{
|
||||
"path": "scenario-identities.tsv",
|
||||
"bytes": 891,
|
||||
"sha256": "fa9cd8bd17a0d16d70e72e76a670e060e64d92ca3bd4a5bd6b92a363393108b0"
|
||||
}
|
||||
]
|
||||
}
|
||||
@@ -0,0 +1,5 @@
|
||||
PASS same: complete Project and exact SourceBundle restored
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\bound-baseline\bound-nested-calls.arcadia: SourceDiagnostic { path: "bound-nested-calls.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(21b00d00-0000-4000-8000-000000000064), field: Some("allocation"), line: 5, column: 5, message: "Allocate leaf 'Review pressure demand' to a performer.", span: Span { start: 256, end: 397 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\bound-baseline\bound-nested-calls.arcadia: SourceDiagnostic { path: "bound-nested-calls.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(21b00d00-0000-4000-8000-000000000065), field: Some("allocation"), line: 10, column: 5, message: "Allocate leaf 'Inspect pressure' to a performer.", span: Span { start: 403, end: 538 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\bound-save\bound-nested-calls.arcadia: SourceDiagnostic { path: "bound-nested-calls.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(21b00d00-0000-4000-8000-000000000064), field: Some("allocation"), line: 5, column: 5, message: "Allocate leaf 'Review pressure demand' to a performer.", span: Span { start: 256, end: 397 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\bound-save\bound-nested-calls.arcadia: SourceDiagnostic { path: "bound-nested-calls.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(21b00d00-0000-4000-8000-000000000065), field: Some("allocation"), line: 10, column: 5, message: "Allocate leaf 'Inspect pressure' to a performer.", span: Span { start: 403, end: 538 } }, related: [] }
|
||||
Binary file not shown.
|
After Width: | Height: | Size: 95 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 103 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 124 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 124 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 128 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 125 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 116 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 126 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 127 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 125 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 124 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 125 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 132 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 128 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 124 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 99 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 110 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 126 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 97 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 127 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 126 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 132 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 132 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 132 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 126 KiB |
@@ -0,0 +1,25 @@
|
||||
{
|
||||
"utc": "2026-09-12T22:47:43.803902+00:00",
|
||||
"snapshot": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\state-delete-save",
|
||||
"command": [
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\delete-oracle-warning-fix-42511f0\\delete-oracle-warning-fix-42511f0.exe",
|
||||
"removed",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\compact-baseline\\project.arcadia",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\state-delete-save\\project.arcadia",
|
||||
"de1e7e00-0000-4000-8000-00000000003f"
|
||||
],
|
||||
"checker_sha256": "9796aa73544c6414003e6230a668a6cf1435978a310187ef2560af67e35f3466",
|
||||
"exit": 0,
|
||||
"files": [
|
||||
{
|
||||
"path": "notes.arcadia",
|
||||
"bytes": 60,
|
||||
"sha256": "adb1445555f1f47cf2ac92e2271e54df7c5d2eaf1d9363fe5a79d02298670a4e"
|
||||
},
|
||||
{
|
||||
"path": "project.arcadia",
|
||||
"bytes": 5407,
|
||||
"sha256": "46452525c1a4bc118b4818f394853e016777fc0c7ad262ebcf50f4d76fc547ec"
|
||||
}
|
||||
]
|
||||
}
|
||||
@@ -0,0 +1,21 @@
|
||||
PASS removed de1e7e00-0000-4000-8000-00000000003f: exact baseline-derived Delete candidate and normal source patch
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_system", object_id: Some(de1e7e00-0000-4000-8000-000000000001), field: Some("elements"), line: 2, column: 1, message: "Identify the SA system of interest.", span: Span { start: 11, end: 91 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: Some("allocation"), line: 11, column: 5, message: "Allocate leaf 'Untouched work' to a performer.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "empty_sequence", object_id: Some(de1e7e00-0000-4000-8000-000000000014), field: Some("steps"), line: 27, column: 15, message: "Add ordered occurrences.", span: Span { start: 780, end: 782 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: Some("allocation"), line: 37, column: 5, message: "Allocate leaf 'SA Initialize controller' to a performer.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "machine_owner", object_id: Some(de1e7e00-0000-4000-8000-000000000033), field: Some("parent"), line: 44, column: 16, message: "Assign a state-machine owner.", span: Span { start: 1294, end: 1298 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unreachable_state", object_id: Some(de1e7e00-0000-4000-8000-000000000035), field: Some("body"), line: 52, column: 5, message: "No structural path from a machine entry reaches this vertex; review entry, nesting and transitions (guards are not executed).", span: Span { start: 1454, end: 1663 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_initial", object_id: Some(de1e7e00-0000-4000-8000-000000000034), field: Some("parent"), line: 49, column: 16, message: "Add an Initial default entry or an explicit incoming entry path for this region.", span: Span { start: 1431, end: 1441 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000a), field: None, line: 6, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 147, end: 277 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: None, line: 11, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: None, line: 37, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_system", object_id: Some(de1e7e00-0000-4000-8000-000000000001), field: Some("elements"), line: 2, column: 1, message: "Identify the SA system of interest.", span: Span { start: 11, end: 91 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: Some("allocation"), line: 11, column: 5, message: "Allocate leaf 'Untouched work' to a performer.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "empty_sequence", object_id: Some(de1e7e00-0000-4000-8000-000000000014), field: Some("steps"), line: 27, column: 15, message: "Add ordered occurrences.", span: Span { start: 780, end: 782 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: Some("allocation"), line: 37, column: 5, message: "Allocate leaf 'SA Initialize controller' to a performer.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "machine_owner", object_id: Some(de1e7e00-0000-4000-8000-000000000033), field: Some("parent"), line: 44, column: 16, message: "Assign a state-machine owner.", span: Span { start: 1294, end: 1298 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unreachable_state", object_id: Some(de1e7e00-0000-4000-8000-000000000035), field: Some("body"), line: 52, column: 5, message: "No structural path from a machine entry reaches this vertex; review entry, nesting and transitions (guards are not executed).", span: Span { start: 1454, end: 1663 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_initial", object_id: Some(de1e7e00-0000-4000-8000-000000000034), field: Some("parent"), line: 49, column: 16, message: "Add an Initial default entry or an explicit incoming entry path for this region.", span: Span { start: 1431, end: 1441 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000a), field: None, line: 6, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 147, end: 277 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: None, line: 11, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-delete-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: None, line: 37, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Binary file not shown.
|
After Width: | Height: | Size: 123 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 125 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 124 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 125 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 121 KiB |
BIN
Binary file not shown.
|
After Width: | Height: | Size: 125 KiB |
@@ -0,0 +1,24 @@
|
||||
{
|
||||
"utc": "2026-09-12T22:48:52.751588+00:00",
|
||||
"snapshot": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\state-undo-save",
|
||||
"command": [
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\delete-oracle-warning-fix-42511f0\\delete-oracle-warning-fix-42511f0.exe",
|
||||
"same",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\compact-baseline\\project.arcadia",
|
||||
"C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\canvas-followup-20260912-01\\checkpoints\\state-undo-save\\project.arcadia"
|
||||
],
|
||||
"checker_sha256": "9796aa73544c6414003e6230a668a6cf1435978a310187ef2560af67e35f3466",
|
||||
"exit": 0,
|
||||
"files": [
|
||||
{
|
||||
"path": "notes.arcadia",
|
||||
"bytes": 60,
|
||||
"sha256": "adb1445555f1f47cf2ac92e2271e54df7c5d2eaf1d9363fe5a79d02298670a4e"
|
||||
},
|
||||
{
|
||||
"path": "project.arcadia",
|
||||
"bytes": 5566,
|
||||
"sha256": "246e7316f3932df2bc64c70459352ecef2a7fe2b5d8ead03d1f5664587c813bf"
|
||||
}
|
||||
]
|
||||
}
|
||||
@@ -0,0 +1,21 @@
|
||||
PASS same: complete Project and exact SourceBundle restored
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_system", object_id: Some(de1e7e00-0000-4000-8000-000000000001), field: Some("elements"), line: 2, column: 1, message: "Identify the SA system of interest.", span: Span { start: 11, end: 91 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: Some("allocation"), line: 11, column: 5, message: "Allocate leaf 'Untouched work' to a performer.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "empty_sequence", object_id: Some(de1e7e00-0000-4000-8000-000000000014), field: Some("steps"), line: 27, column: 15, message: "Add ordered occurrences.", span: Span { start: 780, end: 782 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: Some("allocation"), line: 37, column: 5, message: "Allocate leaf 'SA Initialize controller' to a performer.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "machine_owner", object_id: Some(de1e7e00-0000-4000-8000-000000000033), field: Some("parent"), line: 44, column: 16, message: "Assign a state-machine owner.", span: Span { start: 1294, end: 1298 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unreachable_state", object_id: Some(de1e7e00-0000-4000-8000-000000000035), field: Some("body"), line: 52, column: 5, message: "No structural path from a machine entry reaches this vertex; review entry, nesting and transitions (guards are not executed).", span: Span { start: 1454, end: 1663 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_initial", object_id: Some(de1e7e00-0000-4000-8000-000000000034), field: Some("parent"), line: 49, column: 16, message: "Add an Initial default entry or an explicit incoming entry path for this region.", span: Span { start: 1431, end: 1441 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000a), field: None, line: 6, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 147, end: 277 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: None, line: 11, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\compact-baseline\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: None, line: 37, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_system", object_id: Some(de1e7e00-0000-4000-8000-000000000001), field: Some("elements"), line: 2, column: 1, message: "Identify the SA system of interest.", span: Span { start: 11, end: 91 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: Some("allocation"), line: 11, column: 5, message: "Allocate leaf 'Untouched work' to a performer.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "empty_sequence", object_id: Some(de1e7e00-0000-4000-8000-000000000014), field: Some("steps"), line: 27, column: 15, message: "Add ordered occurrences.", span: Span { start: 780, end: 782 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unallocated_leaf", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: Some("allocation"), line: 37, column: 5, message: "Allocate leaf 'SA Initialize controller' to a performer.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "machine_owner", object_id: Some(de1e7e00-0000-4000-8000-000000000033), field: Some("parent"), line: 44, column: 16, message: "Assign a state-machine owner.", span: Span { start: 1294, end: 1298 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "unreachable_state", object_id: Some(de1e7e00-0000-4000-8000-000000000035), field: Some("body"), line: 52, column: 5, message: "No structural path from a machine entry reaches this vertex; review entry, nesting and transitions (guards are not executed).", span: Span { start: 1454, end: 1663 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "missing_initial", object_id: Some(de1e7e00-0000-4000-8000-000000000034), field: Some("parent"), line: 49, column: 16, message: "Add an Initial default entry or an explicit incoming entry path for this region.", span: Span { start: 1431, end: 1441 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000a), field: None, line: 6, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 147, end: 277 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-00000000000b), field: None, line: 11, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 283, end: 416 } }, related: [] }
|
||||
Permitted non-error diagnostic in C:\Users\User\Documents\Git\ARCADIA-Studio\.local\native-qa\canvas-followup-20260912-01\checkpoints\state-undo-save\project.arcadia: SourceDiagnostic { path: "project.arcadia", diagnostic: Diagnostic { severity: Warning, code: "work_without_behavior_context", object_id: Some(de1e7e00-0000-4000-8000-000000000032), field: None, line: 37, column: 5, message: "Include this leaf activity/function in a process/chain or scenario through a work action or exchange occurrence.", span: Span { start: 1013, end: 1156 } }, related: [] }
|
||||
Some files were not shown because too many files have changed in this diff Show More
Reference in New Issue
Block a user