From 1086e54ecc8c3d3310f94b8b996d5d50538070b2 Mon Sep 17 00:00:00 2001 From: "sorokin.oleg.edu" Date: Sun, 6 Sep 2026 06:57:20 +0300 Subject: [PATCH] Record integrated semantics and native authoring verification --- README.md | 2 +- harness/PLAN.md | 13 +- harness/STATE.md | 240 +++++++++++++++------------ harness/TASK_LEDGER.md | 12 ++ harness/release-data-verification.md | 15 ++ harness/release-scenario-editing.md | 11 ++ harness/release-semantic-native.md | 35 ++++ 7 files changed, 213 insertions(+), 115 deletions(-) create mode 100644 harness/release-semantic-native.md diff --git a/README.md b/README.md index d6857ed2..58b5837e 100644 --- a/README.md +++ b/README.md @@ -9,7 +9,7 @@ The normative [language and editing contract](docs/language.rst) defines support Install stable Rust and your platform's native compiler. The workspace declares Rust 1.90; the recorded development builds use Rust 1.98.1. Windows requires Visual Studio Build Tools with **Desktop development with C++**. Ubuntu/Debian development dependencies are: ```sh -sudo apt-get install build-essential pkg-config libxkbcommon-dev libwayland-dev libvulkan-dev libx11-dev libxrandr-dev libxi-dev +sudo apt-get install build-essential pkg-config libxkbcommon-dev libxkbcommon-x11-0 libwayland-dev libvulkan-dev libx11-dev libxrandr-dev libxi-dev ``` From the repository root: diff --git a/harness/PLAN.md b/harness/PLAN.md index 30793f45..75e9182c 100644 --- a/harness/PLAN.md +++ b/harness/PLAN.md @@ -27,12 +27,13 @@ forms, folding, placement and correct camera/tool lifetime. Windows default/mini and Linux native acceptance plus independent reviews are recorded in release-state-editing.md. Direct scenario/process gestures remain required. -R6 data contracts are active in the isolated data integration checkout. Freeze the -full payload/dictionary shape as schema/source4, keep existing typed ports, migrate -older formats explicitly while preserving lexical ownership/comments, then verify -GUI/text/REST parity and real engineering workflows. See release-data-contract.md -and the implementation plan in that checkout. R3 semantic drift/reconciliation -follows the R6 freeze; its current prose-only behavior is insufficient. +R6 data contracts and direct scenario/process gestures are integrated; native +acceptance continues on both platforms. Typed R3 core/source5/REST and scalar review +milestones1–2 are integrated and pass full platform checks. Close independent scalar +fixes and native review, then finish constructor/keyed/order/reset/artifact and +multi-source graphical authoring using the existing shared core planner. Source5 +migration retains lexical ownership/comments; no flat source rewrite is allowed. +See release-data-contract.md, release-semantic-integration.md and release-semantic-gui.md. Continue source authoring improvements only through the production parser/updater. The23-test experiment is evidence, not architecture: independent probes exposed diff --git a/harness/STATE.md b/harness/STATE.md index 9da447ef..b0a96b2e 100644 --- a/harness/STATE.md +++ b/harness/STATE.md @@ -1,128 +1,152 @@ # First release — current engineering state -## Objective and current phase +## Objective and phase -The first-release goal remains active and incomplete: usable Rust/Iced OA/SA, -equivalent graphical/source/REST semantics, artifact traceability, direct behavior -editing, offline guidance, lifecycle/hosted workflows and Windows/Linux evidence. -Authoritative objective reread2026-09-06: attachment10134df9-bea2-4c02-a820-67b53d6b86f7. -PLAN retains full scope. No subsystem checkpoint completes the release. +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. -Main is4101434 (documentation pointer on productiona8f451e). Active integration is -D:/CodexBuilds/Capella2-data-integration, branchcodex/data-contract-integration, -production merge60d162c. Root owns this checkout and native input. Its target is -D:/CodexBuilds/Capella2-data-target. Linux verification checkout is -D:/CodexBuilds/Capella2-data-linux-review at60d162c, targetCapella2-data-linux-target. -Both targets are currently free; frozen native binaries are separate from targets. +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. -## Previously accepted foundations +## Accepted foundations and evidence -- Typed OA/SA core, atomic commands/history and explicit typed port migration: - release-port-{contract,core,migration}.md and release-capella-workflow-benchmark.md. -- Explorer grouping/deep hierarchy, contextual port creation, authored routing, - movable labels/anchors, direct exchange drawing, context menus and source tree: - release-explorer-usability.md, release-routing-{verification,linux}.md, - release-port-drawing.md and release-context-menus.md. -- Modular source/includes with provenance-aware writes, exact source/model history, - retained drafts, recovery and coupled hosted revisions: release-source-integration.md. -- Direct state creation/movement/transitions/reconnect, typed forms, folding and - per-view camera/tool behavior, accepted through316dc55 on Windows/Linux: - release-state-editing.md. Earlier full551/554 workspace and strict checks passed; - final scoped241 desktop tests/Clippy/build passed on both platforms. +- 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. -## Active integrated DATA/scenario/process work +## Integrated semantics and verification -R6 core/source/API contracts and bounded GUI are integrated with direct scenario -and process editors. Data payloads, defaults, inheritance, associations, identified -interface allocations and qualified message-value paths use source/schema4. -Source3 native migration preserves comments/nesting until explicit Save All. -Evidence: release-data-{contract,implementation,verification}.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. -ab661f2 full Windows607/Linux610 workspace tests and strict workspace Clippy passed -(one explicit inheritance benchmark ignored per platform). Actual42 server tests -and OpenAPI/reST checks passed at R6. Later Windows native data editing, invalid -default repair, allocation edits, recursive qualified values, Undo/Redo and clean -reopen passed at1440x900 and1100x700. Bounded one-record property browser b35dede -passed264 desktop tests/Clippy/build on both platforms and Windows native retest. -Linux native R6 acceptance is now underway, not yet passed. +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. -Direct scenarios: middle and ALT-operand Call/Reply creation, qualified values, -valid/invalid reorder, selection, scroll/Escape cancellation, pending-draft guards, -Undo/Redo/save/reopen have Windows native evidence. c6c07cc fixes mode feedback, -occurrence-first labels and pinned Create/Cancel; normal/compact native passed. -ae1602a stabilizes the canvas widget position across palette/form replacement. -Root native lower-operand drag opened a form retaining that viewed guard/call; -Cancel restored the same region and clean model. Logs empty, exec86766 exited0. -Full evidence and outstanding ALT/reuse/resize/save-recovery tasks: -release-scenario-editing.md. A62-object guarded model is saved in the trial copies. +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. -Direct processes: production8bc564b + evidence1a3164b merged into60d162c. Existing -work/exchange/reuse/control contributions, guarded exact-link insertion, reconnect, -peer reorder, bounded pickers and reusable-source navigation are implemented. -Independent Exchange-first continuation defect fixed with explicit Append exchange; -focused recheck closed. Worker305 desktop tests,19 core checks and strict Clippy/ -build passed. Native Windows/Linux process acceptance has not begun. See -release-process-editing.md; cross-reference inner links/disconnected exchange-only -topology remain explicit current-model boundaries, not full Capella parity claims. +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. -Combined60d162c: Windows306 desktop tests, strict all-target Clippy and optimized -build passed (exec44082 exit0); Linux306/Clippy/release passed (exec83320 exit0). -Frozen artifacts under D:/CodexBuilds/Capella2-release1-01a06e2e: -- ui-behavior-windows-60d162c/arcadia-studio.exe SHA256 - 0CC1097701B2D750DBF7E50F5CF02F7F7D8F96476047569D0BD684D60BBF4379 -- ui-behavior-linux-60d162c/arcadia-studio SHA256 - 8CDA9215FBD0B653CD6FB81F3884BF891BF931C659E2B926863134BDD4C43B5A -Both have model/project.arcadia copied from the saved62-object Windows trial. +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. -## Isolated semantic review work and important new finding +## Native behavior evidence and current environment -D:/CodexBuilds/Capella2-semantic-review, branchcodex/semantic-review, checkpoint -d130013. Core346fb24 passed345 core tests (one intentional ignored probe), strict -Clippy and independent nine-finding recheck. Source5 persists finite typed facts, -historical references, mappings/reset, constructor groups, canonical slot agreement -and exact prepared impacts. Normative spec02f99a9 plus clarification29df024 passed -strict generation,7 valid/11 invalid example checks and12 source/migration tests. +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. -User explicitly reconfirmed REST after automatic approval review rejected scope -twice. The retry succeeded. d130013 implements typed query/preview/apply with -source-valid no-write preview, stable generated identities and ETag/base/fingerprint -checks. All48 server tests/strict Clippy pass;184 schemas,19 actual/typed values -against served/local contracts,9 invalid shapes rejected. Independent optional- -input schema mismatch fixed/rechecked. API work is committed; no deployment done. +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. -New GUI design investigation reproduced a core coherence defect: initially equal -never-reviewed constructors cannot be acknowledged, leaving review permanently -Unreviewed after all leaves are accepted. constructor_ack_review now owns a narrow -core/spec fix: first-time equal discriminator acknowledgment only, no descendant -group acknowledgment; true/historical switches retain groups and repeat rejection. -No public schema/request change planned. Core targetsemantic-target is worker-owned. -semantic_gui_design owns desktop milestone1–2 and new release-semantic-gui.md in -SEM, with dedicated semantic-desktop-target: existing-pair grouped review, exact -scalar Keep/Take/Candidate batch and source/history. Structured groups/keyed facts/ -multi-source/reset/artifacts remain milestone3. Root has not integrated source5 yet. +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. -## Runtime, environment and next actions +## Exact next actions -User reauthorized Computer Use; it works on Windows and WSLg. Root exclusively -operates native apps. Current Linux trial exec61870, WSLg window4852212, binary -ui-behavior-linux-60d162c. Initial render and model-path entry work; reobserve before -input. Window title has WSLg COPY MODE warning; app stderr must be checked before -attributing it to application code. Protected old user windows7210312/6228978 were -absent; do not modify them if they return. Original Capella395654 remains available. +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. Complete Linux R6/scenario native tasks and integrated Windows/Linux process - tasks, including compact layouts, source save/reopen, failure and cancellation. -2. Finish/review equal-discriminator correction; finish scalar GUI and structured - GUI milestone3. Integrate source5/core/API/spec into DATA; full platform checks. -3. Complete remaining coverage/filters, Home/recent/recovery, hosted ETag desktop - workflows, offline help and Capella semantic gaps identified in PLAN. -4. Fresh cross-disciplinary end-state review, full Windows/Linux/MSRV/build/runtime - verification and reproducible packaging. Update main only with accepted work. +Use dedicated Cargo targets. Windows: 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. -Meaningful native, implementation and semantic progress continues; no goal blocked -or complete status is justified. No remote push/publication/usage reset authorized. -No broad recursive target deletion. Use distinct targets and frozen runtime copies. -Windows checks: cargo test --locked --offline --workspace; cargo clippy --locked ---offline --workspace --all-targets -- -D warnings; cargo build --locked --offline --p oa-desktop -p oa-server. WSL Ubuntu24.04 uses target/linux-cargo.toml, Rust1.98.1 -in /home/sorokinoleg/.cache/arcadia/rust/bin and Mesa lavapipe for native WSLg. +## 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. diff --git a/harness/TASK_LEDGER.md b/harness/TASK_LEDGER.md index 4310b623..cd8925f5 100644 --- a/harness/TASK_LEDGER.md +++ b/harness/TASK_LEDGER.md @@ -86,3 +86,15 @@ validation and independent review after direct user confirmation resolved approv New constructor-acknowledgment reachability defect was independently reproduced; narrow core fix and separate scalar GUI implementation are active in SEM. These are current unresolved work, not accepted release limitations. See current STATE. + +## Current evidence superseding earlier in-progress notes — 2026-09-06 + +Semantic source5/core/REST and scalar GUI are integrated at d114a5d. Full Windows718/ +Linux721 tests, strict Clippy, optimized builds and live semantic REST contracts pass. +The equal initial discriminator acknowledgment defect is fixed and independently +closed. Three scalar GUI P2 fixes5a51a75 are under fresh recheck/integration; structured +authoring remains required. Basic Linux R6, middle scenario and guarded chain insertion +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. diff --git a/harness/release-data-verification.md b/harness/release-data-verification.md index 72505768..916d95e8 100644 --- a/harness/release-data-verification.md +++ b/harness/release-data-verification.md @@ -135,3 +135,18 @@ launched in WSLg but capture timed out awaiting app access. No Linux native acce The user subsequently stopped Computer Use with Escape on the combined Windows scenario build's initial capture. All native input stopped; code integration/gates continue. R6 is not accepted until Linux native gates close. + +## Root Linux native data trial — 2026-09-06 + +Frozen60d162c, Wayland1440x900, ui-behavior-linux-60d162c/model/project.arcadia. +ELF SHA2568CDA9215FBD0B653CD6FB81F3884BF891BF931C659E2B926863134BDD4C43B5A. +Created Retry budget (7fa58d09-f9b4-4ab9-9114-1cadc67bf6e9), Integer0..4. +Default9 was rejected with invalid_data_default and retained the draft; correction2 +saved to the new included sa/types.arcadia. Undo/Redo restored the entire edit. +Original Navigation request call8888395e retained Origin/Next/Latitude expression +origin.next.latitude +0.5. Destination paging stayed clean and retained its value; +browsed Next coordinate, selected Latitude and saved destination.next.latitude +0.25. +Exact source contains both independent qualified paths. Native reopen loaded clean65 +objects after the scenario additions, including Retry budget and recursive values. +No Linux association/allocation trial or compact layout acceptance is claimed. +Wayland process61870 subsequently closed0 without serious runtime output. diff --git a/harness/release-scenario-editing.md b/harness/release-scenario-editing.md index b926008c..b61d9485 100644 --- a/harness/release-scenario-editing.md +++ b/harness/release-scenario-editing.md @@ -298,3 +298,14 @@ pass306 desktop tests, strict all-target Clippy and optimized build. New frozen ui-behavior-{windows,linux}-60d162c artifacts have copied62-object models. Linux exec61870/window4852212 launched and is now under root native test; acceptance remains pending. Full release scope is unchanged. + +## Root Linux native scenario trial — 2026-09-06 + +Frozen60d162c Wayland1440x900. Native drag in the gap after old reply6 and before +Navigation outcome ALT opened Call+correlated Reply while preserving that region. +Named Validated route and chose existing Navigation request. Create63→65, Undo65→63, +Redo63→65; execution bar ends at its reply. Save All and native reopen passed. +Call ef0ef967-041b-4bf2-86b8-977047a3ca90 and correlated reply +0005a94e-49c1-41e2-82f9-5a6f285dc604 appear before ALT in saved steps. +Model: ui-behavior-linux-60d162c/model/project.arcadia. Linux ALT editing/reuse/ +reorder/cancellation/minimum layout remain required. Wayland61870 closed0 normally. diff --git a/harness/release-semantic-native.md b/harness/release-semantic-native.md new file mode 100644 index 00000000..3e80baab --- /dev/null +++ b/harness/release-semantic-native.md @@ -0,0 +1,35 @@ +# Semantic review native evidence + +This is partial acceptance, not release completion. Windows frozen e7fa061, +SHA2563E46F001711948FB60E3F65C49810DF5C177228D5DFA609ED9DF3F8C96081F34. +Trial exec62786/window2099614; stderr/stdout captured under ui-semantic-windows-e7fa061. +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. + +## Observed Windows workflows + +At1440x900, opened source5,9objects/0links/2 expected pending-prose checks. +Traceability range card shows prior bounds0..100/default10 and current OA0..20/5, +SA1..30/15. Selected Keep System minimum, Take Operational maximum and final default. +Invalid99 rejects with invalid_data_default and disables Apply without losing input +or any decision. Resized actual window to1100x700; complete error/editor/actions fit. +Repair7 restores valid preview. Additional changes reports0. Apply changes SA to +1..20/default7 and preserves OA0..20/default5. Native text inspection shows exact +values and leading comment. One Undo returns All changes saved, Redo returns the +review, and Save All writes source. Disk inspection matches the native result. + +At1100x700, Enabled flag Type Take Operational proposes Boolean over original +System Integer. Default Set final value then Set literal default produces the +Boolean checkbox/false value directly. Validated preview and Apply succeed; Save +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 +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.