Skip to content

Reconcile native composition with NAV8 for source-bound qualification - #63

Draft
ThorFuchs wants to merge 17 commits into
mainfrom
codex/composition-nav8-r3
Draft

ThorFuchs wants to merge 17 commits into
mainfrom
codex/composition-nav8-r3

Conversation

@ThorFuchs

@ThorFuchs ThorFuchs commented Oct 18, 2026 •

Copy link
Copy Markdown
Owner

Frozen reconciliation

Combines immutable NAV8 main 0cb8ca40 with native composition R2 1bf49535 in 12b39e01c15bd20c19554a34530acd9ebea6e4b7, tree 03339ebaec7e446fff47362f801e4e1bab8c9dc8. Four hard conflicts retain both provenance and qualification contracts; two auto-merges were checked semantically. CLI identity was regenerated by the unchanged generator. Composition scope/meter source is unchanged from R2; NAV8 APIs and canonical Developer Kit files are preserved. The shared README retains the accepted NAV8 update.

Actual qualification

All nine hosted product contexts passed on synthetic execution dc30d467c46dc25e969481383f051b14787037ff, whose tree exactly equals the freeze: Native, Linux ARM64/x86_64. All seven local lanes passed, including full safety and Git-free Native reproduction of43 commands. Native781/Linux765/WASI677 functions; parameters325/325/288;51/50 sharing functions; all49 caps and126 restored identities preserved. Both original local storage-blocked attempts and their single unchanged-source replays are retained separately.

Public compiler graphs exactly match the union of both parents. Nine DocC catalogs cover1,173 authored declarations. Independent exact-revision public consumer passed Debug/Release;29 proof functions/configuration,14 ordinary diagnostic rejections, both causal mutants and restored29-function pass. Native completion remains50 work/424 logical bytes, per-document577+152 admission reports729 cumulative bytes, and the authored adapter trace is197/664. Logical bytes are not RSS or arbitrary callback instruction caps.

Holds and current-main observation

This remains a draft, provisional engineering candidate; acceptedSHA=null. Automatic performance attempt39125403412 failed the unchanged90% immediate post-idle rule at64.10% after the first candidate process. Zero admitted candidate comparisons/full ABBA results; no timing ratio or waiver. A separately scheduled source-matched quiet-host run remains necessary. Supported explicit-borrow synchronous syntax passed; universal U02 remains unqualified, with the historical compiler aborts preserved separately.

Main independently advanced to 1a0306d076a08c8c43281f91412a11cd744ff3f6 via PR62's two documentation-only download-guidance paths. That exact delta is preserved for explicit follow-up; it was not silently adopted into this freeze. No ready conversion, protected merge, tag, release, deployment, PR40 integration or downstream pin change is part of this PR's commission. Maintainer/control-tower review remains pending.

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant