Refresh numeric CLI gates, combined source, canvas leases and Linux availability

2026-09-11 13:41:28 +00:00
parent 657a80ccee
commit ccebf12f98
+20 -15
@@ -1,31 +1,36 @@
# Behavior authoring and analysis integration — 2026-09-11
Codex-956atf /root, local Windows checkout. Full OA/SA release remains incomplete. Separate teams Codex-9e8r6t and Codex-ytr83r retain their own source/build/native evidence and ownership.
Codex-956atf /root, local Windows checkout. The full OA/SA release remains incomplete. See the common Home page for published milestone downloads; separate teams Codex-9e8r6t and Codex-ytr83r retain their own source/build/native evidence.
## Direct source publication
## Current source and gates
Branch `codex/release1-956atf` now points to `a34558d3befd536b0f67b475d971242a006ba4b7`. Authenticated Git push and remote readback passed using the existing MCP credential programmatically, without printing or committing it, under user issue1#178. Updated AGENTS blob `d93cddac` is incorporated exactly. Other hosts can fetch directly; no bundle needed for this checkpoint.
Local branch `codex/behavior-authoring-20260910` is at `c0e66f94e3412b5c3495e96f7934ae94116505c9`: declared numeric foundation7d14bd0, imported source CLIbc311bc, exact corrected evidence dc0f2e1, scoped reference chooser/workspace7f081ad, and external contextual prerequisite df6f595 imported as c0e66f9. Four merge conflicts preserved the root lifecycle module, exact attributes, parent-only form session/focus/reveal and current direct gesture guidance. The combined desktop is compiling, not accepted. Independent integration review is checking source-child return and shared focus ordering; a parent-focus return gap is being investigated.
This includes local creation integration1516949 (external4bb4aaf), isolated chooser c4e1580, complete baseline/library fixtures2cc4d11, refined independent review, ratified decisions, OA native history/reopen and current ledgers. Working workspace fixes, production chooser and undeclared numeric files are not in this commit. Do not replay the already equivalent Sensor correction d114a27.
Direct authenticated Git push/readback works using existing MCP credentials programmatically under user #1/178, without printing or committing secrets. No extra push credentials are needed. The last root publication was dc0f2e1; the owner then updated the remote to cab01c3. That ancestry and exact AGENTS4b8465c8 are incorporated locally (c7ed894). Uploaded PROJECT_GOAL remains byte-exact; the incoming goal diff was formatting only. No force push is needed.
Historical c6d296a bundle remains exact on `codex/behavior-transfer-20260910`, file `harness/transfers/behavior-c6d296a.bundle.b64`,334830 decoded bytes, SHA256 `526A80E2D32ED0E57A7B2372B5F02D4652E8751DFEBA81953C4F045225D6AACB`, prerequisite1797516. Both other hosts received it. Never merge bundle-transfer branches.
- **Numeric26/26 PASS**, zero failed/ignored, 0.29s execution after6m25s build. `cargo test --locked -p oa-core --lib analysis_numeric::tests -- --test-threads=1`. Strict core all-target Clippy with `-D warnings` also passes11m49s. Exact162-input/binary/log evidence: `harness/release-analysis-numeric-gate-20260911.md`. No actual schema8 evaluator/parity claim.
- **CLI12/12 PASS locally**, 3.00s execution after42.86s compile, `cargo test --locked -p oa-cli -- --test-threads=1`. The earlier `--bin arcadia` invocation ran zero unit tests and is only a compile result. Separate-host packaging/runtime releases remain separately attributed.
- **Desktop676/676 PASS at2cc4d11**, strict Clippy and formatting passed. This is the preceding immutable test checkpoint, not acceptance of7f081ad/c0e66f9. Current combined compile log: `.local/logs/desktop-chooser-contextual-first-20260911.log`.
- **Docs/schema PASS afterdc0f2e1**: strict Docutils language/API HTML exactly match tracked artifacts;72 source7 fixtures,204 schemas,14 families/90 scalar leaves. This does not establish schema8.
## Verified local gates
## Native and user workflow
At source2cc4d11, full desktop676/676 passes with zero failures/ignored,611.24s execution and warning-free10m47s compilation. `cargo fmt --all -- --check` and strict all-target desktop Clippy pass. Immutable test executable SHA256 `8D7FB35071F155B3BD07CE1885A1136B2D2EF71C4FF8C704665202499C86A721`, with256-input manifest and final logs in `.local/creation-chooser-20260911/tests-2cc4d11/`. Thirteen mounted chooser tests are included; that implementation is still test-only at this commit.
Native GUI remains immutable80cf197, SHA256 `A5ED6DF334B1BFB620425AFDF3E863F0B522990E6FB47C6C401A71CF4443954A`. Complete OA Action/State/Reuse/ALT-fragment creation, each exact Save/Undo/Redo, and final reopen pass against the independent whole-Project/two-source oracle. Separate SA Action/history passes; SA State/Reuse/Fragment/reopen are still in progress. Root is currently entering SA State in the prescribed inner operand; that draft is not a saved acceptance checkpoint. Full scope: `harness/release-scenario-native-20260911.md` and `harness/fixtures/scenario-authoring/README.md`.
Actual native GUI remains80cf197, SHA256 `A5ED6DF334B1BFB620425AFDF3E863F0B522990E6FB47C6C401A71CF4443954A`. Both OA A→B caller occurrences and nested B→C return preserve identity/scroll; navigation/Save preserves the complete model and source. At1100x700, OA root Action, nested State, nested Reuse with explicit bindings, and root ALT fragment each pass complete independent Project/two-source prediction plus one-step Undo/Redo exact UUID comparisons. Final native file-picker reopen/Save matches the whole final snapshot. Report `harness/release-scenario-native-20260911.md` records all hashes and limitations. SA, recovery/blocked paths, detailed-list navigation, B4 and newer GUI acceptance remain open.
User issue2 requires process/scenario to be actual canvases like architecture/state. Existing pointer edits in scrollable projections and tool shelves do not close it. `harness/release-unified-behavior-canvas-design-20260911.md` selects a shared Fill viewport/camera/palette with domain constraints, rejecting unrestricted scenario geometry and a controls-only reskin. Passive camera has no model history. Persistent process placement/lane arrangement and full semantic gestures remain explicit later contracts.
Native uncovered retained scroll hiding a new form's Name and reduced canvas height hiding the clicked marker. Root owns fresh form-session/guarded Name-focus/one-time marker-reveal fixes and three mounted/App regressions; these are written but uncompiled. Production inspector/review bounded chooser is owned by local behavior_audit and must revalidate exact editor row/facet/group/attachment context.
## Active leases and next steps
## Ratified architecture and remaining implementation
Root is the sole Cargo/native operator on this host. requirements_delta implements actual local-definition schema8 core in isolated `.local/analysis-core-worktree-20260911` (base7d14bd0); it remains uncompiled and does not include source8/evaluator parity. behavior_audit implements the first shared canvas shell for both behaviors in isolated `.local/behavior-canvas-worktree-20260911` (basec0e66f9), preserving incoming prerequisites. Neither worker edits the compiling root source.
Root ratified property-owned bases, explicit ModelBaseline/Case evaluation, effective-case formula dependencies, shared checks, pure parameterized definitions, R6 closed quantity algebra and R7 canonical exact boundaries. Full reproducible freeze captures the entire accepted PortableDocument/source/private definitions/package bytes, not an ambient cache or shallow case. Eleven complete proposed baseline fixtures are transport evidence, not parser/evaluator admission.
semantics_critic completed numeric and decoder reviews and now independently checks combined chooser/contextual integration. `harness/release-analysis-decoder-review-20260911.md` keeps default recursion rejection for staging; full128-depth transport needs bounded token/allocation, typed original-byte decoding, lifecycle and output gates. A compact904,810-byte expression can pretty-print to67,336,988bytes, so pretty output is not bounded by input size alone. This is measured byte-count evidence, not Rust/RSS acceptance.
Libraries retain exact pins/reference/history identity alongside verified same-origin nominal typed compatibility, scoped expected/actual field and operation correspondence, exact three-way edits, and explicit portable source preparation/acceptance. OA/SA mounts require a pinned target-layer export or explicitly independent editable derivative. Final finite library experiment passes120 assertions, separate-process reopen,11 complete expected/reopened file comparisons and81 manifest hashes. Preliminary generated output is labeled superseded. Full production archive/consumer contract/source/history integration remains open.
After compiled/focused/full/Clippy gates, root will stage a matching immutable GUI and exercise actual chooser, workspace and prerequisite workflows. Integrate ytr83r B4 only after its coherent handoff. All remaining analysis/source/REST/GUI/library, cross-platform and fresh end-state review criteria remain open.
Independent refined review passes292 fixture checks and exposes C1:333 stored AST nodes can expand to over2billion calls. Request-local deterministic dynamic/numeric work accounting is mandatory, including terminal nonexhaustive cause reporting. The C2 finite prototype misses a threshold-unit negative path; production must type every operand. Local requirements_delta owns undeclared exact numeric/unit/work-meter code; semantics_critic reviews it independently. Root owns dependencies/module admission and all Cargo/native gates. Work ceilings are provisional pending measurement; approximate engineering calculation is still required.
## Linux availability on this account
## Coordination and next milestones
Fresh read-only check after the user's reboot question: WSL2.7.13/kernel6.18.33.2-2 installed, default version2; no registered distributions, no Ubuntu Appx package. WMI reports VirtualMachinePlatform enabled, optional WSL1 component disabled, hypervisor present; ordinary servicing/update reboot flags are absent. Elevated optional-feature detail is unavailable to this process. `wsl --system --exec uname -sr` also reports no installed distribution. These facts do not prove a reboot is required or that nested Linux startup already works. No reboot, install or machine configuration change was performed. Linux runtime acceptance remains open.
Codex-9e8r6t owns staged prerequisite authoring, source CLI and the next runnable Windows named-authoring prerelease. Its coherent CLI/evidence branch01b76a1 is fetched but not integrated here. Codex-ytr83r owns B4 production Scene rendering, its independent native oracle and Linux route. Root956 owns local workspace/chooser/numeric integration; no duplicate prerelease. Updated AGENTS requires runnable, notice-complete milestone prereleases with explicit limits. Full analysis/library/source/API/GUI parity, current Windows/Linux runtime, complete text-only engineering workflows, distribution and independent end-state gates remain open.
## Decisions and historical evidence
Ratified baseline/shared-check/full private capture, R6/R7 nominal numeric types, exact-pin/verified same-origin library compatibility and explicit source preparation/three-way updates remain in `harness/DECISIONS.md`. Their finite fixture/prototype passes do not substitute for production implementation. The earlier ledger is preserved under `harness/history/2026-09-10-ledgers-before-continuation-refresh/`; current entrypoints are STATE/PLAN/TASK_LEDGER. Existing bundles remain reproducible history; transfer branches must not be merged.