diff --git a/harness/prerelease-integrated-20260924-release-notes.md b/harness/prerelease-integrated-20260924-release-notes.md new file mode 100644 index 00000000..244e39bd --- /dev/null +++ b/harness/prerelease-integrated-20260924-release-notes.md @@ -0,0 +1,58 @@ +# Integrated modeling and text authoring — Windows development preview + +This preview brings together changes made since the September12 rename preview: + +- Text workspace and preview-state fixes, plus source-preserving Tab/Shift+Tab + indentation with Undo/Redo. +- Saved Scenario arrangements, occurrence-specific Details and editable service + values, with clearer draft recovery and inspector actions. +- Multiple selection in ordinary and State diagrams; supported Process sibling + reordering and exact read-only navigation into reused Process contents. +- Allocation group assignment and explicit Arrange, plus direct OA/SA Allocation + drawing between a performer and compatible unallocated leaf work. +- Ordinary edge attachment controls, State bend editing and semantic port + presentation controls. +- Traceability-view guidance and cross-layer placement, transition review counts + and conflict guidance, and picker-first Escape handling. + +Download the Windows x86-64 (`x86_64-pc-windows-gnullvm`) Studio ZIP and its +SHA256 companion. Verify the ZIP SHA-256, extract the entire folder and run +`arcadia-studio.exe`, keeping `libunwind.dll` beside both executables. +The package includes the optional REST server, examples, offline help and +dependency notices. Read `START-HERE.txt`, `docs/windows-packaging.md` and the +release's `VALIDATION.md`. Copy a complete example folder before editing; Save As +alone is not a copy of every referenced source/evidence file. + +Use `docs/preview-human-checks.md` for feature checks. Supplemental State/ +Traceability and Allocation/Process model kits provide small examples for the +new interactions. Their own README files identify their original fixtures and +expected operations. Report the package version from `package.json`, the model +and reproducible steps. + +Source: **715036e132677dd2bc2fb37ed316d93dc9987aec**. Combined Windows gates +pass 2,200 tests with eight existing ignores and no failures, strict workspace +all-target Clippy and the individual desktop/server builds. All 29 required +regression cases passed. The distributed binaries come from the individual +Cargo build commands recorded in the [reviewed build evidence](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/src/commit/1a6f2e4f9e8e56a0b4eedd19723a0a0001260300/harness/reviews/prerelease37-final04-complete-20260924.md). +The supplemental combined desktop/server build also passed, but produced +different bytes; its binaries were not selected for this package. Individual +dependency events show differing feature sets; a sole cause is not established. + +Verified Studio ZIP: **34,168,661 bytes**, SHA-256 +`5554e32533e3cb2c33fb4143a5a0902733d5a8d47577303cb2842d268e7bc76d`. +Independent downloads verify this exact archive and all packaged files. Reviewed +Windows trials cover State bends and Undo/Redo, picker/tool cancellation, guide +rendering, Save and fresh-process reopen. Packaged REST checks verify conditional +writes, stale-write rejection and acknowledged-write persistence across an +owned forced restart. The attached `VALIDATION.md` links the exact raw evidence +and independent reviews, including a second Windows machine. + +This remains an unfinished development-profile prerelease. Crossed Process +routes and multiline State labels can obscure text or endpoints. Aggregate +model removal, remaining Scenario group adapters, full public source8 support, +complete OA/SA acceptance and broad accessibility/DPI coverage remain unfinished. +Native automation does not cover every held-input gesture. Linux/WSL builds stay +deferred at the user's request. The private analysis-index work and post-freeze Scenario selection increment +are excluded. In State Edit transition, Escape dismisses the dropdown; use +explicit Cancel to close the form. See `VALIDATION.md` for bounded checks and +retained harness failures/recoveries. diff --git a/harness/prerelease-integrated-20260924-validation.md b/harness/prerelease-integrated-20260924-validation.md new file mode 100644 index 00000000..19136d06 --- /dev/null +++ b/harness/prerelease-integrated-20260924-validation.md @@ -0,0 +1,170 @@ +# Integrated Windows preview: validation record + +Release: `v0.2.0-preview.integrated.20260924`. +Source/tag target: `715036e132677dd2bc2fb37ed316d93dc9987aec`. +Platform: Windows x86-64, `x86_64-pc-windows-gnullvm`, development profile. +The application remains unfinished. Linux builds/checks are excluded from this +prerelease at the user's request. + +## Obtain and launch + +Download the Studio ZIP and its SHA256 companion from this release. Verify the +archive hash, extract the whole directory and run `arcadia-studio.exe`, retaining +`libunwind.dll` beside both executables. Read `START-HERE.txt`, +`docs/windows-packaging.md`, `docs/server.md` and `docs/preview-human-checks.md`. +Copy a complete example folder before modifying it; Save As does not copy every +referenced source/evidence file. State/Traceability and Allocation/Process +companion kits are separate optional examples with their own README scope. + +ZIP: `ArcadiaStudio-0.2.0-preview.integrated.20260924-x86_64-pc-windows-gnullvm.zip`. +34,168,661 bytes; SHA-256 +`5554e32533e3cb2c33fb4143a5a0902733d5a8d47577303cb2842d268e7bc76d`. + +| Packaged file | Bytes | SHA-256 | +| --- | ---: | --- | +| arcadia-studio.exe | 119,396,352 | `2c03bd6cc3f1110c219e4f57ab94874a121590f83779239a93289b7170664399` | +| arcadia-server.exe | 40,228,352 | `6cebacc117e46fdab023c6402a5cebd6929fb55993ae8ff6b89cd1c6c1170237` | +| libunwind.dll | 190,464 | `aa282fa47bb2c4e210cea5e470cdbdca58568f0be0bc73e404d86ab9cd95ef6a` | + +## Combined source and product builds + +Toolchain receipts identify rustc/Cargo 1.98.1 and Windows gnullvm. The reviewed +input set contains 3,709 paths whose raw bytes and Git blob IDs match the exact +source above. All before/after source manifests agree. These are recorded build +provenance checks, not a claim of reproducible binary output or an authenticated +build system. + +The complete native inventory has 61 harnesses and 2,208 test names. Actual +workspace execution passes 2,200 with eight existing ignores and no failures; +all 29 specifically required regression cases individually pass. Three additional +doctest harnesses contain no tests. Strict workspace/all-target Clippy passes. + +```text +cargo test --locked --offline --workspace --no-run --message-format=json-render-diagnostics +cargo test --locked --offline --workspace --no-fail-fast -- --test-threads=1 +cargo clippy --locked --offline --workspace --all-targets -- -D warnings +cargo build -p oa-desktop --bin arcadia-studio --locked --offline --message-format=json-render-diagnostics +cargo build -p oa-server --bin arcadia-server --locked --offline --message-format=json-render-diagnostics +``` + +The package uses the preserved outputs of the two individual build commands. +Raw Cargo executable events and preservation receipts identify their exact +bytes. The supplemental literal `cargo build --locked --offline -p oa-desktop +-p oa-server` also passes, but produces different binaries; its products were +not substituted into this package. Individual dependency events show distinct +feature sets, including serde_json/raw_value and Tokio macros/signal. The +comparison does not establish a sole cause for differences or byte equivalence. + +Earlier compile failures, an interrupted inventory attempt and the failed +State-picker fixture run remain recorded. The corrected fixture measures the +actual picker slot instead of using canvas-relative coordinates, retains its +captured-Escape assertion and exact model/source/history checks, and passes both +targeted and combined tests. It does not change production Escape policy. + +- [Complete gate archive](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/src/commit/206f3b969482241e01e2dfc6be955caf31747b89/harness/prerelease37-windows-gates-20260924/final04-complete) +- [Independent complete-gate review](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/src/commit/1a6f2e4f9e8e56a0b4eedd19723a0a0001260300/harness/reviews/prerelease37-final04-complete-20260924.md) +- [Independent test reconciliation](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/src/commit/25b2eeab14b5b513127aaefd58e32607592da7a4/harness/reviews/prerelease37-final04-tests-20260924.md) + +## Download and contents + +Fresh parent downloads verify both Studio ZIP and checksum bytes from draft +assets25/26. All 565 packaged files match the recorded archive fingerprints; +all 564 entries in SHA256SUMS.txt pass (the inventory does not hash itself). Paths have +the expected single root without traversal/duplicates/symlinks, and the selected +product/runtime hashes match the reviewed builds. All 66 previously reviewed +documents/examples match source hashes. Companion kit uploads were independently +downloaded and compared byte-for-byte. These are integrity checks; native behavior +requires the separate trials below. + +- [Download/content review](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/src/commit/2ee740c7/harness/reviews/prerelease37-downloaded-package-20260924.md) +- [Reproducible inspector and captured output](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/src/commit/2ee740c7/harness/experiments/prerelease37-package-integrity-20260924/README.md) + +## Packaged server + +Builder package/server evidence is published at `c82eca1eca204dd28994f5c2e8595d8acd2e148e`: +`harness/prerelease37-windows-gates-20260924/package-server`. The +[independent raw-evidence review](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/src/commit/c599538ce12f0e505d9f222bddf8e8713900fe43/harness/reviews/prerelease37-package-server-20260924.md) +passes. Its admitted scope is 16 server requests covering +full current-schema source/model preservation, comment-only revision2 editing, +stale-write 412 rejection, and exact revision/ETag/source/model persistence across +an owned forced restart. The failed first trial expected schema5 bytes despite +explicit migration; the corrected trial supplies schema7 before its request. +This does not claim graceful shutdown, in-flight crash or power-loss durability. + +Both runs launch the extracted server from an unrelated working directory with +PATH restricted to the package and Windows directories. Pre/post fingerprints +match. Both recorded exit1 outcomes result from deliberate Windows termination +after acknowledged writes. The incomplete REST fixture retains its expected +`sequence_gap` warning; stderr contains expected listening/store messages. + +## Packaged desktop and independent machine + +Builder GUI delivery `8a82c0da1fd7130807878cc74598545ef38b5904` contains the +10,357,627-byte native evidence archive, SHA-256 +`f18c21d262ca78bc9c2d8a339c3389fa31c50a81187cc53cc472f3253cda2815`. +All 351 members and the actual 565-file package binding were independently +checked. Ten whole-Project comparisons establish baseline, Clear bends, +Undo/Redo, source/target attachment-tool cancellation, picker cancellation and +fresh-process reopening. All repeated saved-source inventories match within +their intended states. Original screenshots and operator records support Home, +example, guide, view independence, Show-unplaced dismissal and Add existing +query/filter retention through dropdown Escape/outside click. A separate second +Escape cancels that ordinary Add existing dialog. + +Both actual Studio runs closed after observed Alt+F4, exit0, empty logs and +unchanged package inventories. The intervening run02 attempt refused before +launch because its reused working directory was no longer empty. The original +attempt/cache inventory remains preserved; a reviewed versioned launcher used +a fresh unrelated directory and successfully reopened the same saved models. +No particular cache writer or product crash is inferred from that incident. + +Independent-machine delivery `684061ec0f486825886c077a038f06d17896392e` contains +the 3,425,348-byte QA archive, SHA-256 +`cb084be5f316f1b3be45bc5493fe0cbd6076052198c09f9dbac441b8f2588e63`. +All 190 records were verified, including download/package/build linkage, +process receipts, five complete saved-source snapshots and 11 HTTP exchanges. +The actual downloaded package ran on a separate Windows11 build26200 machine +with system-only PATH, unrelated cwd and its existing user profile. This is +not a clean-OS/profile or physically disconnected-network test. + +That desktop trial loaded the bundled walkthrough, visually exercised State +Add bend/Undo/Redo, and verified exact whole-source movement Undo/Redo, other-view +preservation, explicit Cancel and fresh-process persistence. Only one Activate +waypoint in readiness_view was added; every other source byte remained original. +Both Studio runs exited0 with empty logs and unchanged binaries/runtime. The +Engineering guide and State topic rendered in the packaged app. + +In the State Edit transition form, first Escape closed its dropdown; second +Escape retained the form, and explicit Cancel closed it. Capture26's optimistic +filename is not its outcome. This follows the existing surrounding form policy; +it must not be generalized from the different Add existing dialog behavior. + +The separate packaged-server trial records 23 explicit checks and 11 HTTP +exchanges: version/help, readiness/OpenAPI, exact CRLF/Unicode source import, +conditional name-only revision1→2, stale ETag412 and exact model/source/envelope/ +store readback after an owned forced restart. Exit1 is deliberate termination +after acknowledged writes, not a spontaneous crash or graceful shutdown claim. + +Independent raw-data replayers passed after their code was inspected. They are +offline evidence reconciliation, not additional native runtime trials. Parent +also inspected seven full-window originals. These finite workflows do not +complete every human-checklist case or establish general editing usability. + +- [Builder GUI admission review](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/src/commit/4aee179385aa3fefab22aecca668f3058d41024c/harness/reviews/prerelease37-native-gui-20260924.md) +- [Independent-machine QA admission review](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/src/commit/4aee179385aa3fefab22aecca668f3058d41024c/harness/reviews/prerelease37-independent-qa-20260924.md) +- [Parent visual cross-check](http://217.177.34.108:3000/sorokin.oleg.edu/ARCADIA-Studio/src/commit/4aee179385aa3fefab22aecca668f3058d41024c/harness/reviews/prerelease37-parent-visual-20260924.md) + +## Remaining product limits + +This is an unoptimized development prerelease with debug assertions. Crossed +Process routes and multiline State labels can obscure content. Aggregate model +removal, remaining Scenario group adapters, full public source8, complete OA/SA +acceptance, maintained libraries and broad accessibility/DPI coverage remain +unfinished. Native automation covers finite workflows, not every held-input +gesture. The private analysis-index work and post-freeze Scenario selection +increment are not part of this package. Linux remains untested for this release. + +Raw host clock discontinuities are retained in evidence; durations are not +inferred by subtracting those timestamps. Issue37 is the authoritative live +coordination record. The release tag and this validation identify delivered +scope; they do not redefine the user-owned application specification.