Codex-956atf: publish native behavior evidence, exact transfer and semantic decision boundaries

2026-09-11 09:09:43 +00:00
parent 3b8d38face
commit 276044a59f
1 changed files with 23 additions and 0 deletions
@@ -0,0 +1,23 @@
+# Behavior authoring and semantic experiments — 2026-09-11
+
+Codex-956atf /root, this Windows checkout. Release remains incomplete. Codex-9e8r6t is a separate host/team; see Authoring20260911 and LocalBehaviorCreation20260911 for its evidence.
+
+## Reproducible transfer
+
+Verified MCP file on branch `codex/behavior-transfer-20260910`: `harness/transfers/behavior-c6d296a.bundle.b64`. It is plain base64 of a334830-byte Git bundle, SHA256 `526A80E2D32ED0E57A7B2372B5F02D4652E8751DFEBA81953C4F045225D6AACB`. Prerequisite `1797516f460ce27f7bc92e50ea2478ec51dd49b9`; included HEAD `c6d296a7e22c8f126834a1e217b88551634dd5cf`. Local Git verification and complete MCP readback equality pass. Do not merge transfer branches. This contains full proposals, criticism, experiment sources/results, native scenario oracle and current ledgers; cherry-pick/select files while preserving newer other-host creation/docs work.
+
+## Current evidence
+
+Implementation80cf197 full desktop642/642 passes, zero failures/ignored, warning-free test build. Test exe SHA256 `DF122CAF7CFB63A3A9D0D2F2098944CF88F53C4ADA2C43B576B2836F6FD42BE8`. GUI build3m28s passes, SHA256 `A5ED6DF334B1BFB620425AFDF3E863F0B522990E6FB47C6C401A71CF4443954A`. Actual native Studio now verifies two distinct A→B caller occurrences, nested B→C return, restored scroll with natural subsequent input, and no Project/two-source change after navigation/Save. At actual1100×700client, clicked-root Action creation plus pinned form/Create and exact Save/Undo/Redo pass the independent complete model/source/identity oracle. Native report `harness/release-scenario-native-20260911.md` lists remaining nested OA/SA/reopen/cancel/recovery/lifecycle gates. Do not infer them from the root action.
+
+Source includes imported3978 workspace and b98 packaging.25 exact notices retained; package artifacts11/11 and synthetic Windows notices checks pass. Actual optimized/platform distribution acceptance remains open. Format passed; strict Clippy exposed two equivalent collapsible-if cases being corrected after the immutable GUI. Chooser is a cfg(test) isolated widget experiment, not production integration.
+
+## Semantic direction and next work
+
+Current source7 admits a complete40-identity warning-free text-only engineering model. Authored/stabilized/canonical bytes4373/6053/9710; exact identity, refactoring and file-move probes pass. This does not establish large-model source usability or new calculation/library semantics.
+
+The separate context experiment passes218 assertions. One-level explicit baseline/override cases reduce repeated fixed-input maintenance; factored predicates remove the complete-case threshold-edit disadvantage. Root selected property-owned base values/formulas and explicit ModelBaseline/Case requests for contract refinement. No hidden default case, UI-dependent evaluation or arbitrary inheritance. Freeze must capture exact definitions as well as effective inputs.
+
+Paired review still requires source-only instance normalization with explicit portable bases/maps, exact provenance versus checked same-origin type compatibility, subjectless analysis closure, mounted OA/SA data transition policy and closed dimensional algebra. Independent bounded contracts/experiments are active. B4 Scene integration must use true lifetime extents, clip branch-local activations at Delete, retain incomplete-lane geometry and align self-arrow endpoints. Source7 metadata labels/includes do not satisfy evaluated quantities or maintained libraries.
+
+Root owns local Cargo/native/integration. Current Gitea issue1 and harness ledgers carry evolving ownership and exact gates. Direct Git push auth is unavailable; authenticated MCP and anonymous verified bundle exchange work without sharing credentials.