Record native scalar review and integrated constructor verification
This commit is contained in:
+74
-134
@@ -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.
|
||||
|
||||
@@ -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.
|
||||
|
||||
@@ -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.
|
||||
|
||||
Reference in New Issue
Block a user