Record combined behavior checks and current native evidence

harness/TASK_LEDGER.md

@@ -37,7 +37,8 @@ requires native workflows, semantic evaluators and fresh independent review.
 - 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.
-- R3 existing-target reconciliation remains name/description only. R6 data shape
+- 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,
@@ -76,3 +77,12 @@ 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.