From 5960563b23b3f28f83343c283b7c156bf248994a Mon Sep 17 00:00:00 2001 From: "sorokin.oleg.edu" Date: Wed, 23 Sep 2026 00:12:59 -0700 Subject: [PATCH] Refresh verified editor and private analysis checkpoint --- harness/STATE.md | 43 ++++++++++++++++++++++++++++++++++++++----- 1 file changed, 38 insertions(+), 5 deletions(-) diff --git a/harness/STATE.md b/harness/STATE.md index 9f174c59..5d03a8c9 100644 --- a/harness/STATE.md +++ b/harness/STATE.md @@ -1,4 +1,4 @@ -# Verified branch checkpoint — 2026-09-22 UTC +# Verified branch checkpoint — 2026-09-23 UTC This describes Codex-956atf's contribution, not a combined release. [PROJECT_GOAL.md](../PROJECT_GOAL.md) remains authoritative. The complete OA/SA @@ -11,7 +11,23 @@ active. The VPN remains untouched. ## Current integrated candidate and evidence Branch `codex/behavior-authoring-20260910`, published as `codex/release1-956atf`. -Integrated code checkpoint **8abc144cf233c64e43c6bee5033c22ee818e2d14** preserves +Integrated code checkpoint **4ffff0d9d94bd1875e6b316b84ac11e5c5c9657c** combines +the reviewed ordinary/Text contribution **3f9e6a18af96b5cd10940da4093be8da28b9c835** +with source-editor Tab/Shift+Tab indentation. Windows desktop verification passes +1,188 tests with six existing ignores; all 1,194 names and nine targeted +indentation cases are accounted for. Strict desktop Clippy and matching GUI +build pass on 711 unchanged inputs. The closed native trials cover caret and +forward/reverse block indentation, text undo/redo, empty drafts, continued caret +typing and Apply/Save/reopen. The saved 577 bytes exactly preserve the baseline's +mixed line endings and Unicode while indenting its 13 physical lines. The first +trial restored the baseline and is not a save oracle. Find's Tab does not advance +focus; this inherited limitation is distinct from the verified editor boundary. +This is Windows contribution acceptance, not complete editor accessibility, +public source8, a combined peer union, or a packaged release. +[Exact gates, original native captures and independent review](experiments/text-indentation-4ffff0d-20260923/README.md) +retain both the failed initial compilation and the interrupted first trial. + +Earlier code checkpoint **8abc144cf233c64e43c6bee5033c22ee818e2d14** preserves the production inputs of **feab2020d8e5b6bfdb59c86ab4aee161617b8b6f**. Its Windows desktop suite passes 1,096 tests with three existing manual ignores; all 1,099 names are admitted. Targeted navigation/rename checks, strict desktop Clippy and @@ -106,9 +122,26 @@ production. Its private staged typed parser/lowerer has142 listed tests, on531 unchanged inputs. The complete library run remains126 passed/16 failed, with all16 failures at the unsupported public source8 header. The original fixture error and its test-only correction remain in [exact S2b evidence](release-analysis-source-s2b-20260913.md). -Published private writer **f1d79df4979121335ed7b4ce4da84b2fca8a9ef4** extends that -isolated contribution but is not runtime-verified here; public source8 parser, -writer, source-update and persistence composition remain incomplete. +Published private writer **f1d79df4979121335ed7b4ce4da84b2fca8a9ef4** has +[portable S2c evidence](experiments/analysis-source-s2c-windows-20260913/README.md): +152 listed, 44 typed and one token test passed, strict Clippy passed; the full +library result remains 136 passed / 16 failed at unsupported public source8. +Published source **1b1c3e3abb6fc3d0934c9dbfbd21fddc8ae4f594** adds a private +qualified source index/rename plan and the independently reviewed cleanup for +the demonstrated depth129 rejected-tree stack overflow. Its +[S3 evidence](experiments/analysis-source-s3-windows-20260922/README.md), published +at **345a42e4658f6e0e8e01ef64a2df8f4e28a8945a**, records 167 listed tests, +59 typed passes (nine index/five update), one token pass, three clean stack +controls and strict Clippy on 538 unchanged inputs. The original overflow and +dirty diagnostic/probe results are retained. No current full-core pass is +claimed. Public source8 parser, writer, source-update and persistence composition +remain incomplete; these branches are not integrated production analysis. + +The [reviewed S1/S7 assessment](issue28-s1-s7-assessment-956atf-20260923.md) +distinguishes static analysis/case overlays from contextual inheritance, +fixed/default bindings and executable trade studies with durable result +provenance. Strengthened fixture and parity criteria remain proposals, not +implemented evaluation or a replacement metamodel decision. Earlier [S2a evidence](release-analysis-source-s2a-20260913.md) retains its 129-test113/16 library result and separate7/9 language integration result, including the old V2 oracle that omitted the empty definitions catalog.