203 lines
14 KiB
Markdown
203 lines
14 KiB
Markdown
# Progress Ledger — first release
|
||
|
||
Updated 2026-09-11, Codex-9e8r6t `/root`, Windows host.
|
||
**Release remains unaccepted; meaningful product and integration work is active.**
|
||
|
||
## Objective and current source
|
||
|
||
Deliver the complete OA/SA first release in [PROJECT_GOAL.md](../PROJECT_GOAL.md).
|
||
The latest authoritative attachment is
|
||
`815ff7b9-73c4-41a2-a809-635ecf8389d6/goal-objective.md`, read in full and preserved
|
||
in that file. It requires constraints/calculations, quantities/units and reusable
|
||
libraries, plus uncluttered human/AI text-only modeling at small and large scale.
|
||
Long homogeneous lists and poor behavior editing remain explicit concerns.
|
||
|
||
Local branch: `codex/release1-9e8r6t`, base `1797516`, committed head `4bb4aaf`.
|
||
Named behavior creation, its guide and independent oracle, concise text-first
|
||
examples and prior integration evidence are committed and remotely transferred.
|
||
Its final ancestry/guide correction passed full653; post-lint history63, strict
|
||
Clippy/fmt and matching GUI build passed. Current uncommitted work corrects the
|
||
oracle's retained-file rule, clarifies source-7 constructor defaults, records
|
||
native creation and implements contextual prerequisite creation. Preserve all
|
||
workers' edits. No open Gitea PRs at the latest read, comments through138.
|
||
|
||
## Completed work and scoped evidence
|
||
|
||
- Palette inline naming and focused Escape: `7d1df4f`, independently published as
|
||
`codex/palette-authoring-20260910`. Candidate 2 focused tests, GUI build and
|
||
strict desktop Clippy passed. Its native F2 rename/Save/Undo/Redo matched exact
|
||
three-file expectations; Entity creation matched the complete independent
|
||
model/source oracle. Candidate3 completed ordinary Activity, existing placement,
|
||
allocation, direct Interaction and F2: complete basic model/four sources PASS.
|
||
Explicit SA actor/destination transition passed complete model/six sources;
|
||
Undo four-source baseline, Redo six-source result and reopen all passed. Six
|
||
physical files are byte-identical across reopen/reuse-preview Cancel/Save.
|
||
Immutable checkpoints/logs: `.local/native-qa/palette-20260910-v3/`.
|
||
- Recovery naming autofocus: `31b7dc3`, 13 focused checkpoint tests passed after
|
||
integrated compilation. Its new autofocus behavior still needs native check.
|
||
- Other-host behavior/topology/scenario/history: original `01bb52a` integrated
|
||
as `057eddd`; constructor cache fix `b6b76ef` integrated as `a70de55`; explicit
|
||
history seed fix `4ecad78` cherry-picked as `81668f9`.
|
||
- Corrected immutable desktop artifact completed **631/631 passed**,408.18s,
|
||
exit0; all three prior618-artifact failures are fixed. Exact artifact/logs in
|
||
`.local/scenario-workspace-20260910/tests-81668f9/`. It covers3978bbe workspace,
|
||
Back/OpenUse guards and both history fixes, but not later Sensor/creation work.
|
||
- A real same-size owner/document Sensor regression led to `d114a27`; affected
|
||
scenario53/53 passed. Current native candidate3 predates that correction.
|
||
Mounted workspace tests cover500×570 and wide geometry; native current-build
|
||
scenario acceptance remains pending.
|
||
- Named local creation passed final21/21 and guide3/3 after ancestry-label
|
||
correction. The matching immutable desktop suite passed **653/653**,362.83s,
|
||
zero failures/ignored; exact artifact864B0F…E86/log/result under
|
||
`.local/behavior-creation-20260911/tests-final`. Independent integration review
|
||
found no additional correctness blocker. StrictClippy/all-targets/-Dwarnings
|
||
and workspacefmt pass after one behavior-equivalent history_fields let-chain
|
||
correction; affected history63/63 and matching GUI rebuild pass. Current native
|
||
GUI is `gui-verified` SHA D4D9C2BD…B20C31. At actual 1100×700 client size,
|
||
named OA Process, explicit ParticipantInteraction Scenario with capability
|
||
context and SA owner-linked State machine plus requested first view passed
|
||
complete independent Project/SourceBundle checks at 7/8/9 files. Each single
|
||
Undo/Redo preserved exact expected semantics, sources and role identities.
|
||
Reopen/Save retained all nine physical source files byte-for-byte. Wide/minimum
|
||
draft cancellations retained the initial six files exactly. Detailed report:
|
||
[native creation](release-behavior-creation-native-20260911.md).
|
||
- Independent creation oracle v2 corrects a harness assumption: Save retains
|
||
known detached source files after Undo. Full Project and reachable source
|
||
equality remain mandatory; the complete physical inventory must equal the
|
||
explicit pre-Undo checkpoint overlaid with expected reachable bytes. Unknown,
|
||
changed or missing retained files fail. No product defect was hidden by this
|
||
correction; see [oracle review](release-behavior-creation-oracle-20260911.md).
|
||
- Fresh source-7 constructor probes passed 54 explicit/omitted comparisons and
|
||
12 required-field refusals across OA/SA, with complete typed models, canonical
|
||
reparse and exact authored no-op/name-edit retention. Constructor and Scenario
|
||
default wording now describes current behavior; strict HTML regeneration
|
||
passed. Other constructor families are explicitly outside this evidence.
|
||
See [default review](release-constructor-defaults-review-20260911.md).
|
||
- Source schema checks passed: 72 fixtures, 204 schemas, 14 families, 90 scalar
|
||
leaves. API/language reST rendered with strict docutils without warnings.
|
||
- Packaging committed `b98f135`: portable Linux adapter, shared package checks,
|
||
Docker input validation and exact upstream notices. Independent review found
|
||
and fixed five concrete defects. Python 11/11 and PowerShell contracts pass.
|
||
Historical Windows-input ZIP has 557 files; real Linux notices close over
|
||
339 packages/681 files. Linux archive adapter used inert ELF fixtures, not
|
||
actual current application binaries. Exact Fira/Cantarell notice Git bytes
|
||
were independently verified. Current-source notices need regeneration.
|
||
- Independent native Capella creation study completed, saved and closed cleanly;
|
||
report `release-capella-creation-study-20260910.md` is complete. Viewpoint-first
|
||
naming and distinct local create/existing selection inform the implementation.
|
||
- Textual usability audit completed three static tasks and example counts. The
|
||
existing grammar already permits omitted initial IDs/defaults; key gaps are
|
||
cross-file reference context, safe alias refactoring and reviewed patches.
|
||
Source7 EBNF/schema documentation and viewpoint omission guidance are corrected;
|
||
generated language HTML passed strict docutils. Both concise snippets passed
|
||
26 real REST requests: identity-only stabilization, exact no-op/name edit,
|
||
stale/invalid nonmutation and restart persistence. All120 current core/server
|
||
files match the preserved source7 binary's documented snapshot. This closes
|
||
the bounded recipe gap, not large-model or native text-editor acceptance. The
|
||
verified recipe is now `examples/text-first` and in the language reference.
|
||
|
||
Detailed evidence: [integrated gates](release-integrated-gates-20260910.md),
|
||
[palette native](release-palette-native-20260910.md),
|
||
[scenario workspace](release-scenario-workspace-20260910.md),
|
||
[creation design](release-local-behavior-creation-20260910.md),
|
||
[packaging implementation](release-packaging-implementation-20260910.md),
|
||
[independent packaging review](release-packaging-independent-review-20260910.md).
|
||
|
||
## Active ownership and execution
|
||
|
||
- Root: integration, common ledgers, source/API checks and exclusive native input.
|
||
Full653 is terminal PASS. V4 creation/Undo/Redo/reopen is complete; actual SA
|
||
pending-draft crash recovery is active on the same verified GUI. The forced
|
||
interruption targeted only isolated QA PID5184 after checkpoint persistence;
|
||
restarted PID1284/window6161106 uses the same private profile and runtime.
|
||
Recovery is now terminal PASS: full draft fields/IDs retained, autofocus,
|
||
first Escape and a fresh Save As preserve the complete nine-file model. The
|
||
current wide GUI is saved on `checkpoint-recovery-cancel/project.arcadia`;
|
||
treat that checkpoint as immutable and reopen a work copy before editing.
|
||
- `release_audit`: prior creation and constructor reports frozen. Now owns the
|
||
staged prerequisite creation implementation for Scenario Lifeline/process Work/
|
||
New machine owner, semantic first-action prompts, relevant App/recovery/guide
|
||
wiring and focused tests. Cargo writer is reserved to this worker when needed;
|
||
freeze source during tests and request independent review before integration.
|
||
- `behavior_audit`: v2 native oracle frozen, warnings-denied compilation and
|
||
falsifiers pass, executable056EEFD…F6A36. Now independently challenges staged
|
||
source semantics and expected behavior; no production/Cargo/native ownership.
|
||
- `palette_finish`: native report/evidence frozen: 13 creation oracle commands
|
||
and 19 separate recovery checks pass. Now owns new `crates/oa-cli` for local
|
||
source check/lint, preview/explicit-write stabilization and alias rename/diff.
|
||
Uses existing source-file diagnostics/expectations/journal writer, no grammar
|
||
or core changes. Root owns workspace/lock integration; serialize Cargo with
|
||
release_audit. Preview UUIDs remain candidates until that invocation writes.
|
||
- Separate host Codex-956atf: standalone scenario lifetime projection, independent
|
||
native scenario oracle, quantity/calculation design and library design. It has
|
||
its own cold toolchain/results. Its source-only reviews are not local passes.
|
||
|
||
Verified bundles for eb5161b and 4ecad78 are retained in
|
||
`.local/integration-20260910`. Local refs `codex/behavior-snapshot-eb5161b` and
|
||
`codex/history-seed-20260910` preserve exact commits. B4 lifetime projection and
|
||
its guide delta are not integrated yet; coordinate shared scene wiring. Review
|
||
found insertion versus lifetime bounds, activation after branch-local Delete and
|
||
unassigned-lane map differences that must be addressed before acceptance.
|
||
|
||
## Unresolved requirements and gates
|
||
|
||
1. Finish native basic supplementary move/camera/focus/minimum matrix and current
|
||
scenario/process/state tasks. Main basic/transition/history/reopen passed at
|
||
wide size. Check raw drafts, recovery, exact source and real task completion.
|
||
2. Implement/review/natively verify contextual
|
||
missing-source and first-action flows. Named creation/history/reopen passed;
|
||
operand-editing and qualified Action allocation remain separate open work.
|
||
3. Constraints/calculations and quantity compatibility are currently descriptive
|
||
metadata; same-project includes are not maintained cross-project libraries.
|
||
Independent semantic designs and falsification are active before broad schema
|
||
changes. See [library review brief](release-library-candidate-review-20260910.md).
|
||
Other-host proposals expose cosmetic package revision/type compatibility,
|
||
subjectless analysis closure and text-only instance normalization decisions;
|
||
full reports and paired criticism are now available from verified c6d296a.
|
||
Its 218-assertion maintenance experiment supports explicit baseline values
|
||
with one-level Case overrides; complete freeze and effective-case evaluation
|
||
are required. Refined baseline/library contracts remain active externally.
|
||
4. Implement and evaluate the source-only CLI baseline, then compare language
|
||
improvements using both local usability and complete other-host proposals.
|
||
Current grammar+tooling, domain syntax, namespaces and portable identity
|
||
modules remain distinct candidates. Concise examples/CLI alone do not prove
|
||
uncluttered modular engineering authoring or safe large-model changes.
|
||
5. Run coherent current desktop/core/server, specification, examples, REST and
|
||
optimized packaging gates after integration. Prior passes remain scoped.
|
||
6. Current Linux runtime requires a viable environment: supported WSL2 import
|
||
failed once with HCS_E_HYPERV_NOT_INSTALLED; no distro registered. The user
|
||
has a pending environment question. No repeated denied QEMU workaround.
|
||
7. Fresh independent cross-disciplinary release review remains required after
|
||
actual workflow and semantic acceptance, with all material findings resolved.
|
||
|
||
## Handoff and publication
|
||
|
||
Use Gitea issue #1 and current Wiki to coordinate as **Codex-9e8r6t**. Read before
|
||
resuming; preserve the other host's work. Direct Git push now fails authentication;
|
||
anonymous fetch and Gitea MCP still work. Integration3978bbe was published and
|
||
independently fetched/hash-verified as a Git bundle on
|
||
`codex/integration-transfer-20260910`; Wiki `Integration3978bbe` and issue#97 own
|
||
exact transfer instructions. Other host has integrated it and an equivalent
|
||
Sensor fix. Creation4bb4aaf was likewise published on
|
||
`codex/integration-transfer-20260911`, file
|
||
`harness/transfers/creation-4bb4aaf.bundle.b64`: decoded105022 bytes,
|
||
SHA256 `0DEFAE91A56430076C432758F923BC0675911DA9FA7588C9961FF15F47EAEBF6`,
|
||
prerequisite3978bbe. Anonymous Git readback, strict base64 length/hash check and
|
||
`git bundle verify` passed; issue#128 gives selective integration instructions.
|
||
Publish subsequent corrected oracle/native/default evidence similarly; preserve
|
||
the other host's later B4/reference chooser/design work and avoid duplicates.
|
||
|
||
Other-host c6d296a transfer is verified and imported as local
|
||
`codex/behavior-snapshot-c6d296a`: 334830 bytes,
|
||
SHA256 `526A80E2D32ED0E57A7B2372B5F02D4652E8751DFEBA81953C4F045225D6AACB`,
|
||
prerequisite1797516, from `codex/behavior-transfer-20260910` file
|
||
`harness/transfers/behavior-c6d296a.bundle.b64`. Selected analysis/library/text
|
||
reports, criticism, experiments and independent scenario oracle are restored;
|
||
51 evidence files compare byte-for-byte with Git blobs. No source/ledger merge.
|
||
Issue#136/#143 and refreshed Wiki Authoring20260911 record the handoff.
|
||
|
||
The old ledgers, including all historical platform and native evidence, were
|
||
archived byte-for-byte before this consolidation in
|
||
[history/2026-09-10-ledgers-before-second-consolidation](history/2026-09-10-ledgers-before-second-consolidation/STATE.md),
|
||
with hashes.json. Their historical-current wording does not supersede this file.
|