diff --git a/harness/STATE.md b/harness/STATE.md index b0a96b2e..c8c14da8 100644 --- a/harness/STATE.md +++ b/harness/STATE.md @@ -1,152 +1,92 @@ -# First release — current engineering state +# Current release state — 2026-09-06 -## Objective and phase +The first-release goal remains active and incomplete. The authoritative objective +is attachment10134df9-bea2-4c02-a820-67b53d6b86f7/goal-objective.md. PLAN and +TASK_LEDGER retain release scope. Do not equate the accepted0.2 prototype or scoped +verification with complete OA/SA/source/REST/UI parity. -The first-release goal is active and incomplete: usable Rust/Iced OA/SA, -equivalent graphical/source/REST semantics, traceability, direct behavior editing, -offline guidance, lifecycle/hosted workflows and Windows/Linux evidence. -Authoritative objective reread 2026-09-06: attachment10134df9-bea2-4c02-a820-67b53d6b86f7. -PLAN retains full scope; no subsystem checkpoint completes the release. +## Checkouts and ownership -Main remains a documentation pointer on production a8f451e. Current integration is -D:/CodexBuilds/Capella2-data-integration, branch codex/data-contract-integration. -Production merge332e46b + formatc6db9d4 + evidenced114a5d integrate DATA/scenario/ -process60d162c and semantic6ad3cb. Scalar fixes5a51a75 integrated as e7fa061 and evidence767634a; -322 desktop tests/strict checks/build pass on both platforms. That worker owns DATA/Linux indexes and targets; -root owns this file, other native ledgers, README and all native input. +- Main C:/Users/sorok/OneDrive/Documents/ChatGPT/Capella 2 is the continuation pointer + checkout, branch codex/release1-engineering, last pointer04316a7. +- Active integration D:/CodexBuilds/Capella2-data-integration, + codex/data-contract-integration, production67ed8e0. Root owns index and data-target. +- Linux D:/CodexBuilds/Capella2-data-linux-review, codex/data-linux-review, + 43dd566 equivalent source. Root owns index and data-linux-target; currently idle. +- SEM D:/CodexBuilds/Capella2-semantic-review, codex/semantic-review, + f73551f. semantic_gui_design owns remaining constructor families in semantic_review, + minimal forms adapters and its GUI ledger; semantic-desktop-target is exclusive. +- HOST D:/CodexBuilds/Capella2-hosted-desktop, codex/hosted-desktop, base1086e54. + semantic_integration owns hosted client/lifecycle, Cargo/index and exactly three + views.rs header hooks. Its child owns client.rs only. scenario-target is exclusive. +- semantic_http_review closed MessageKind review; Temp target and SEM target released. + Root is sole native operator. No worker may issue native input. -## Accepted foundations and evidence +## Integrated behavior and evidence -- Typed ports and migration: release-port-{contract,core,migration}.md and - release-capella-workflow-benchmark.md. -- Explorer grouping/deep hierarchy, contextual port creation, routing, labels, - anchors, direct exchange drawing, menus and source tree: release-explorer-usability.md, - release-routing-{verification,linux}.md, release-port-drawing.md, - release-context-menus.md. -- Modular source/includes, provenance-aware writes, exact source/model history, - retained drafts and coupled hosted revisions: release-source-integration.md. -- Direct state creation/movement/transitions/reconnect, typed forms, fold and - camera/tool lifetime through316dc55, Windows/Linux native: release-state-editing.md. +R6 data contracts, direct scenario/process editing, source5 typed core reconciliation, +REST typed preview/apply and scalar GUI are integrated. Milestone3 has only the +MessageKind/TimerExpression constructor group complete; other constructor/keyed/order/ +reset/artifact/multi-source graphical decisions remain required. -## Integrated semantics and verification +Full source5 baseline passed Windows718 and Linux721 workspace tests, one intentional +benchmark ignored on each; strict workspace Clippy and optimized desktop/server builds. +Real optimized loopback REST checked184 schemas,19 actual typed values and9 malformed +rejections. Current67ed8e0/43dd566 adds desktop-only changes:335 complete desktop tests, +strict all-target Clippy, whole-workspace fmt and optimized builds pass on both. +Linux sessions/logs are recorded in release-semantic-native.md. -R6 data payloads/defaults/inheritance/associations/interface allocations/qualified -message-value paths are integrated. Source3 migration preserves comments/nesting -until Save All. Typed review now uses source/schema5 with explicit migration. -See release-data-{contract,implementation,verification}.md. +Independent scalar review closed3 P2 findings (scoped invalid buffers, combined +candidate context, historical identity). MessageKind review closed22 tests plus288 +independent differential cases with no material finding. Process camera/form-scroll +fixcf33785 and mounted-owner reset8c60008 passed actual Iced red/green regressions, +327 desktop platform gates and independent26 observer/process checks. Native final +camera/owner verification remains pending; see release-process-scroll-identity.md. -Semantic core supports finite typed facts, historical references, mappings/reset, -constructor groups, canonical agreement and exact prepared impacts. Independent -equal-discriminator review found and fixed first acknowledgment reachability: -initial equal unreviewed discriminators acknowledge only that scalar; true and -historical switches retain grouped rules.353 core tests and independent36 focused/ -8 adversarial probes passed. Normative clarification6ad3cb is integrated. +## Native evidence and environment -REST query/preview/apply is implemented and verified after explicit user approval. -Exact prepared candidates preserve generated identities, conditional ETags and -coupled model/source commits. Fingerprints express consistency, not authentication. -48 server tests pass; optimized live loopback checks validate184 schemas and19 -actual/typed values, reject9 malformed shapes. Strict reST/catalog checks pass. -No deployment was requested or performed. See release-semantic-integration.md. +Windows scalar e7fa061 trial62786 closed0 normally, empty stderr.1440x900 and1100x700: +mixed Keep/Take/Candidate, invalid default99 retention/repair7, exact source/comment, +Undo/Redo/Save; Boolean type+default candidate; missing reference mapping rejection, +explicit named-type pair and valid Integer1 default; distinct deleted UUID headings; +saved reopen; reverse System→OA minimum/default and atomic Undo. See +release-semantic-native.md. Working file windows-scalar.arcadia contains the three +forward reviews; reverse was undone. Linux and scoped raw-bound clearing remain. -d114a5d integration: Windows718 / Linux721 tests pass, one intentional inheritance -benchmark ignored on each. Strict workspace all-target Clippy, formatting and -optimized desktop/server builds pass. Linux exec80687 exited0; logs are -semantic-workspace-test.log, semantic-workspace-clippy.log and -semantic-release-build.log in Capella2-data-linux-target. +Prior Linux Wayland60d162c actual1440x900: numeric constraints/defaults, recursive +qualified value browser, middle Call/Reply scenario and direct SA chain, Undo/Redo, +source/includes/Save. Windows reopened Linux69-object chain, added named Choice and +Two paths at1100x700, Undo/Redo/Save74objects/13links/5 incomplete-model checks. Details +in release-data-verification.md, release-scenario-editing.md, release-process-editing.md. -Scalar GUI milestones1–2 provide existing-trace scoped Keep/Take/Candidate review, -typed forms, exact ordinary Batch, impact review and source/history. Independent -review found three P2 issues: unrelated invalid draft blocking scoped actions, -combined type-decision form context, and hidden historical keyed identities. -Worker5a51a75 fixes all three;277 desktop tests/Clippy/build pass in SEM. Fresh -independent recheck passed280 tests (277 repository +3 independent probes), -closing all three P2 findings; integrated platform verification also passed. Native scalar -acceptance and structured milestone3 are still required; do not claim full parity. +New frozen ui-semantic-groups-{windows,linux}-67ed8e0 include current process fixes +and MessageKind slice. Hashes and source commits in release-semantic-native.md. +Windows freeze/model is an isolated74-object process copy. Neither new binary has +been natively operated yet. Re-inventory windows; scalar2099614 is now closed. +Original Capella395654 remains available. Do not touch protected user windows. -## Native behavior evidence and current environment - -Frozen60d162c binaries live under D:/CodexBuilds/Capella2-release1-01a06e2e: -ui-behavior-windows-60d162c and ui-behavior-linux-60d162c. Hashes in the linked ledgers. -Windows prior scenario native passed middle/ALT insertion, guarded correlated -Call/Reply, qualified values, Undo/Redo, save/reopen, minimum layout and viewport -retention. See release-scenario-editing.md. Remaining advanced tasks are explicit. - -Linux1440x900 Wayland native: numeric Retry budget0..4 rejects default9 without -losing draft; default2 saves, Undo/Redo works. Recursive Destination/Next/Latitude -browser preserves independent Origin expression; save/reopen passed. Created -Validated route Call/Reply in the middle, Undo/Redo and save/reopen passed. Created -SA chain with two existing functions, drew guarded ready link, inserted existing -Navigation request into it, verified guard and original link ID, Undo/Redo and saved -69objects/7links/3expected checks. Final chain reopen and advanced process cases -remain. See release-data-verification.md and release-process-editing.md. - -Wayland exec61870 closed normally, exit0 and no serious runtime output. Current Windows semantic trial is exec62786/window2099614, frozen e7fa061, -1100x700. Root owns input. Re-inventory; never reuse closed window4852212. -Original Capella395654 remains available. Do not modify protected user windows. -Wayland compact resizing is unverified: capture separates frame and client into -bounded surfaces. X11 launch fails in dependency xkbcommon-dl because Ubuntu lacks -libxkbcommon-x11-0. sudo installation requires the user's password; user has been -given `sudo apt-get install libxkbcommon-x11-0`. Windows/Wayland testing continues. -Do not bypass authentication or treat this optional environment issue as goal blocked. +Wayland works with WGPU_BACKEND=vulkan and +VK_DRIVER_FILES=/usr/share/vulkan/icd.d/lvp_icd.x86_64.json. Compact WSLg frame resizing +is unverified. Optional X11 is blocked by missing libxkbcommon-x11-0; sudo requires +user password. User was told to run sudo apt-get install libxkbcommon-x11-0 in Ubuntu. +No authentication bypass; Windows/Wayland/REST progress is not blocked. ## Exact next actions -1. Finish5a51a75 integration/recheck, update immutable binaries/hashes, operate scalar - review in actual Windows/Linux app including reverse, failure and compact forms. -2. Complete native R6/scenario/process cases (both layers, branching/reuse/reconnect, - cancellation, minimum size and source reopen); fix from observed behavior. -3. Complete structured semantic GUI: constructor groups, keyed/order/reset/artifact - operations and multi-source final-candidate review; retain shared core planner. -4. Finish coverage/filter, Home/recent/recovery, hosted desktop ETag and offline help - requirements. Fresh end-state reviews, full platform/MSRV checks and packaging. +1. Launch current frozen native build; verify preserved Fit/manual scale, remote + scroll through forms, owner-to-owner reset, compact branch labels and toolbar. +2. Finish Linux scalar and native MessageKind/TimerExpression acceptance, then + remaining advanced OA/process/scenario cases and pending raw-bound cases. +3. Integrate independently reviewed remaining constructor/keyed/order/reset/artifact/ + multi-source GUI slices; preserve core prepared plans and exact source history. +4. Integrate HOST open/publish/save/conflict lifecycle and operate actual + desktop→loopback API→desktop including offline retention and Save as local. +5. Complete remaining coverage/filter, Home/recent/recovery, offline help and guided + engineering task requirements; fresh final reviews, full platform/MSRV and packaging. -Use dedicated Cargo targets. Windows: cargo test --locked --offline --workspace; +Build workflow: cargo test --locked --offline --workspace; cargo clippy --locked --offline --workspace --all-targets -- -D warnings; cargo build --locked --offline --release -p oa-desktop -p oa-server. -WSL Ubuntu24.04 uses target/linux-cargo.toml, Rust1.98.1 at -/home/sorokinoleg/.cache/arcadia/rust/bin and Mesa software Vulkan. No remote push, -publication, usage reset or broad recursive target deletion is authorized. - -## Latest native and process checkpoint — 2026-09-06 - -Process cf33785 + evidence1b0b072 fixes forced zoom on palette changes and canvas -remount/scroll loss on pending forms, with persistent two-path field labels. -325 desktop tests/strict checks/release pass on each platform. Independent24-test -review closed both original defects but found owner-to-owner Scrollable leakage. -Fix8c60008 resets actual observer child only on (document,owner) changes;25 focused -red/green checks pass. Full platforms and fresh semantic_http_review are active. -semantic_integration owns DATA/Linux indexes and targets for this narrow follow-up. - -Windows60d162c reopened Linux69-object bundle. At1100x700, inserted named Choice -Route available? on the ready path, then Two paths added Choice/two existing-work -occurrences/Merge with ready/else guards. Undo74→70 and Redo70→74; Save All wrote -74objects/13links/5 incomplete-model checks. Original link identity/ready preserved. -Trial3607004 closed; saved bundle remains in ui-behavior-linux-60d162c/model. -Final camera/owner fixes and advanced OA/process native cases remain unverified. - -Scalar Windows e7fa061 actual native: source5 fixture, numeric prior/current -comparison; Keep SA minimum1, Take OA maximum20, candidate default99 rejects and -retains all three decisions; corrected7. Error, editor and Apply fit1100x700. -Additional changes0; Apply atomically changes SA to1..20/default7, OA remains -0..20/default5. Native text verifies comment and values. Undo restores saved state, -Redo restores review; Save All succeeds. Field Type Take OA Boolean + Default -Candidate creates Boolean(false), previews/applies/saves successfully at1100x700. -Current saved working copy: C:/Users/sorok/AppData/Local/Temp/ -capella2-semantic-native-fixture-20260906/windows-scalar.arcadia. Runtime stderr empty. -Reverse, mapping, historical identity, reopen and Linux scalar cases remain. - -semantic_gui_design owns SEM message-kind/TimerExpression constructor slice and -compact Traceability toolbar clipping fix (views.rs), plus its semantic module/forms -adapter/GUI ledger and semantic-desktop-target. Scope is one existing trace and a -complete nested constructor family; no API/core change or full parity claim. -semantic_http_review temporarily owns semantic-desktop-target for isolated process -review; GUI worker must wait for release before builds. Root owns all native input. - -Latest process closure: DATA/Linux f4cb486, production8c60008.327 desktop tests, -strict Clippy/fmt/build pass on both. Independent26 tests (4 actual Iced observer, -22 process) close owner-scroll findings. Both targets are idle and root-owned. -Frozen ui-process-owner-{windows,linux}-8c60008 await root native verification. -semantic_http_review used a separate Temp target and released it; SEM GUI owns -semantic-desktop-target exclusively. Hosted lifecycle mapping is read-only parallel -work by semantic_integration; no shared index or target reservation for that task. +Use dedicated targets. WSL Ubuntu24.04 Rust1.98.1 PATH starts +/home/sorokinoleg/.cache/arcadia/rust/bin; add --config target/linux-cargo.toml. +No remote push/publication, usage reset or broad target deletion is authorized. diff --git a/harness/TASK_LEDGER.md b/harness/TASK_LEDGER.md index cd8925f5..32def4de 100644 --- a/harness/TASK_LEDGER.md +++ b/harness/TASK_LEDGER.md @@ -98,3 +98,11 @@ have actual native evidence in their ledgers; advanced and compact cases remain. X11 lacks libxkbcommon-x11-0, installation requires user's sudo password. User has the exact fix command; Windows/Wayland progress is independent. This environment issue is not evidence of a semantic defect or reason to mark the release blocked. + +2026-09-06: DATA67ed8e0/Linux43dd566 integrates bounded MessageKind/TimerExpression +review.335 desktop tests and strict checks/build pass per platform; independent22 +module tests+288 differential cases close no findings. Windows native scalar now +includes named mapping/default, historical identities, reopen and reverse Undo; +trial closed0/empty stderr. Exact scope and pending native cases: +release-semantic-native.md. Hosted desktop implementation is isolated in +Capella2-hosted-desktop; all release completion claims remain pending. diff --git a/harness/release-semantic-native.md b/harness/release-semantic-native.md index 3e80baab..8fb2cb75 100644 --- a/harness/release-semantic-native.md +++ b/harness/release-semantic-native.md @@ -6,7 +6,7 @@ Trial exec62786/window2099614; stderr/stdout captured under ui-semantic-windows- Source fixture and exact GUI steps: C:/Users/sorok/AppData/Local/Temp/ capella2-semantic-native-fixture-20260906. Original source SHA256 54BA9528F6904428B3DE2E41E3D8CAC6861FA652E5F83F11C1516FB3DB40E937. -Root edits only windows-scalar.arcadia, preserving the generator's starting source. +Root edited windows-scalar.arcadia, preserving the generator's starting source. ## Observed Windows workflows @@ -27,9 +27,55 @@ All persists it. This exercises combined type context through actual controls. ## Remaining checks and findings -Reverse decisions, raw invalid bound scoped clearing, named-type mapping, deleted -historical identities, saved reopen and Linux remain required. Error evidence above +Raw invalid bound scoped clearing and Linux remain required. Error evidence above covers a normal validation message, not arbitrarily large diagnostics. Native found compact Traceability toolbar clips Artifact after the semantic button; semantic_gui_design owns a narrow wrapping correction. No scalar-modal defect found in the tested paths. Structured review is a separate incomplete milestone. + +## Mapping, history, reopen and reverse review — 2026-09-06 + +At1100x700, selected Take Operational Type on OA Selected count → SA Selected count. +Preview rejected the missing explicit OA Count range correspondence and disabled +Apply. Reference pairs OA Count range → SA Count range resolved it. The proposed +named type was @sa_count_range; a candidate literal default initialized to Integer1, +using the destination range minimum. Apply and Save All persisted both atomically. +Disk source confirms Named @sa_count_range and Integer1, with0 model checks. + +Selected the record trace and inspected both historical deleted children. Detail +headings distinguish full UUIDs ending2329 and232a, despite identical former names; +prior OA presence and current absence are retained. Cancel changed nothing. + +Opened the saved windows-scalar.arcadia through the native file dialog. It reopened +with9objects/0links/0checks, original comment, accepted values and reviewed history. +On the range trace, switched to System→Operational and included unchanged facts. +Previously reviewed/current minimum values were OA0/SA1 and defaults OA5/SA7. +Take System minimum and default previewed1/7; Apply selected the OA destination. +Native source showed OA default7. One Undo restored OA default5 and All changes +saved, retaining the earlier three saved reviews. The reverse exercise was left +undone intentionally. The separate windows-reverse.arcadia remains an unused copy. + +Closed trial62786 normally, exit0. Captured stderr was empty. No new scalar defect +was found. This still does not establish complete structured review acceptance. + +## Integrated message-kind group verification — 2026-09-06 + +SEM f73551f integrates as DATA67ed8e0 and Linux43dd566. Both platforms passed335 +complete desktop tests, strict all-target desktop Clippy, workspace formatting and +optimized desktop build. Core/server are unchanged from the full integrated gates. +Independent review on a fresh Temp archive passed22 semantic-review tests and a +288-case differential matrix against core (all6 kinds, both directions, baseline +and no-baseline, Keep/Take with unrelated Header candidate). No material findings. +Temp probe: capella2-message-review-f73551f/semantic_review/message_kind_tests.rs +under the desktop crate. Root native checks of the new group remain required. + +Frozen binaries under D:/CodexBuilds/Capella2-release1-01a06e2e: +- ui-semantic-groups-windows-67ed8e0/arcadia-studio.exe, SHA256 + CC741CC0FE21B7873E545DE7763E74CCF18AB8401D1EEBD8F90DA493B7262DD8. +- ui-semantic-groups-linux-67ed8e0/arcadia-studio, SHA256 + B50BD6462C239C52AEF93FD235FC3652901C519E5289938DD881523357C891D4. + +Windows build/test session97666 and Linux2903 exited0. Linux logs are +message-kind-{test,clippy,build}.log in Capella2-data-linux-target. Frozen manifests +record source/platform/hash. The Windows freeze contains an isolated copy of the +74-object process fixture for native camera, owner-scroll and branch checks.