Files
ARCADIA-Studio/harness/TASK_LEDGER.md
T

129 lines
8.1 KiB
Markdown

# Task Ledger — first release
Authoritative objective: attachment10134df9-bea2-4c02-a820-67b53d6b86f7/
goal-objective.md, read fully2026-09-06. STATE.md records execution; PLAN.md retains
scope; DECISIONS.md and linked contracts preserve rationale.
## Goal and success criteria
System engineers develop and iteratively reconcile OA/SA models through equivalent
graphical, textual and REST workflows. Rust/Iced Windows/Linux, strict reST,
traceability, navigable offline guidance and reproducible deployment. Acceptance
requires native workflows, semantic evaluators and fresh independent review.
## Given facts
- User prioritizes Capella domain fidelity, hierarchy, typed ports and intuitive
transitions in both directions, without its clutter and navigation friction.
- Direct exchange drawing must avoid large endpoint dropdowns; ports must move
between sides; contextual menus should replace persistent action clutter.
- Modular source must be practical for humans/AI and Git. Text/graph/API parity is
required. Behavior canvases must support editing and preserve drag selection.
- Git/worktrees are authorized. Remote publication is not requested.
## Verified facts
- Original Capella SAB creates FE function input/output endpoints; component ports
are separately Standard/Flow with explicit allocation. Native observations are in
release-capella-workflow-benchmark.md; adopted contracts preserve that distinction.
- Explorer/port discovery, editable routing, nested modular source and coupled REST
bundles have scoped Windows/Linux acceptance. Evidence links are in STATE.md.
- Direct palette connections, four-side port anchors, context menus and source
folders passed real Windows/Linux operation. Passive stacked Canvas fixes native
tooltip overprint; separate Frames did not. See release-port-drawing.md.
- Persisted state editing now passes Windows/Linux native and independent review:
creation, movement, direct transitions, typed forms, reconnection, fold/reopen.
See release-state-editing.md. Scenario/process canvases still need direct editing.
- Ordinary Document commands atomically synchronize source/model; failed writes
retain drafts. Source comments require occurrence/provenance-aware edits, not
whole-model equality or flat reformatting. Independent counterexamples were fixed.
- Accepted-main R3 existing-target reconciliation remains name/description only;
isolated typed core/source/API are implemented, with desktop integration active. R6 data shape
expansion is active implementation, not accepted functionality.
- R6 ab661f2 full suites passed Windows607/Linux610; f5467e5 desktop263 and
strict Clippy/release passed on both platforms. Native Windows data editing,
typed defaults, allocations, recursive qualified Call/Reply values, history and
saved reopening passed. Source3 migration now preserves comments and nesting.
Native found flat property browsing still ambiguous; one-record browsing with
bounded pages passes264 desktop tests/Clippy/release on both platforms and native
Windows compact/normal browsing, expression retention and saved reopen.
Linux native R6 acceptance remains outstanding.
## Assumptions and open questions
- Nested aggregate files reduce cognitive load; any additional port/exchange/step
shorthand must justify grammar complexity through real authoring tasks.
- State placements proved viable without a second geometry system. Scenario/chain
gestures still need their own occurrence/order semantics and task verification.
- Routing offers a usable initial path plus manual pins; arbitrary dense diagrams
are not guaranteed crossing-free. Measured dense full solve119ms remains a limit.
- R3 selected design C uses finite self-tagged typed facets, separate membership
and order acknowledgements, and transient constructor groups. Source5 historical
references are implemented in the isolated semantic checkout. Independent review
found narrow-acknowledgement/canonical-agreement/rollup defects; the worker has
added regressions and fixes. Full catalog, GUI/API/spec and acceptance remain.
## Decisions and current strategy
Preserve one typed core and validated command boundary. Retain current typed ports;
R6 uses schema/source4 with explicit1/2/3 migration and no intermediate public4
shape. Freeze payload, defaults, inheritance, associations and identified interface
allocations together. Preserve lexical includes/comments during migration.
Finish and independently verify R6, then semantic R3 reconciliation and direct
scenario/process gestures. Complete lifecycle/recovery, hosted editing, guidance
and fresh cross-disciplinary Windows/Linux acceptance. No subsystem checkpoint
completes the first release. Current work is making measured implementation,
review and runtime progress. User reauthorized Computer Use. Root resumed combined Windows scenario tests;
middle insertion, history, save, reorder and scroll/Escape cancellation passed.
Three native UI findings are being refined; Linux acceptance remains pending.
Latest verified facts: integrated60d162c passes306 desktop tests/strict Clippy/build
on Windows and Linux. Windows ALT/pinned-actions/viewport retention native passed;
Linux native is active. RESTd130013 passed48 server tests plus served/local schema
validation and independent review after direct user confirmation resolved approval.
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.
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.
## Hosted/native and constructor checkpoint — 2026-09-06
Verified: optional hosted desktop is integrated; native publish, exact authored
bundle preservation, graphical/text Save, invalid-source rejection, API artifact
review/reload/Undo/Redo and competing-revision local retention passed on Windows.
Minimum hosted dialog controls remain reachable. Offline/reopen/local Save As and
Linux native hosted acceptance continue. No external server was deployed.
Independent core review closed43370de/8a75294 with31 semantic tests, optional
Binding/Annotation both-direction probes,3 reverse Port boundary and13 port
regressions. Full owner core suite359 passes. Semantics preserve target-local keyed
members without resurrecting source removals, mandatory reset and OA Legacy rules.
Remaining constructor GUIc149f2f passes299 SEM tests; fresh review is active.
Native process camera/owner fix acceptance passed. New compact form finding was
fixed and passed real Iced layout+360 desktop tests; native fix acceptance pending.
Strategy remains measured release completion, not treating these slices as full
source/UI/API parity. Keyed/order/reset, artifacts/multi-source, remaining advanced
native cases, Home/recovery/help/coverage and final acceptance are still required.