Skip to content

Integrate opt-in Navigation on composition-enabled main - #38

Merged
ThorFuchs merged 6 commits into
mainfrom
codex/structural-navigation-integrated-20261016
Oct 15, 2026
Merged

ThorFuchs merged 6 commits into
mainfrom
codex/structural-navigation-integrated-20261016

Conversation

@ThorFuchs

@ThorFuchs ThorFuchs commented Oct 15, 2026 •

Copy link
Copy Markdown
Owner

Adds the opt-in JSONNavigation library on composition-enabled main, preserving all 56 authored declarations and traversal behavior. It reconciles #34 (4403b9a) and only the incremental promotion from #37 (5cf7897) onto #35's protected-main source (30631e8). Navigation source/tests/consumer are byte-identical to the promotion candidate; core/schema/composition source and existing tests remain byte-identical to the fresh base. CLI identity is regenerated from the combined source.

Source mapping and conflict decisions. Eight products, no external dependencies, 49 cap probes and all 126 restored maintenance identities are retained.

Validation on 621f58d:

  • Native: Debug/Release/ASan 597 functions and 325 parameter cases; TSan 43; strict safety; 1,017 documented declarations across seven catalogues; full Git-free native reproduction; separate composition consumers and nine-command qualification.
  • Linux: ARM64/x86_64 full runtime and safety, 581 functions/325 parameters, TSan 42, external consumers and reproduction.
  • Source-bound local receipts delivered to the owner: 77-command full WASI lane (493 Node root functions/288 parameters per configuration plus the explicitly supported WasmKit scope); six-command external Navigation product proof under both WASI hosts; all seven-library external iPhoneOS/simulator SDK 27.2 builds and schema resource verification. SDK results make no device-runtime claim.
  • Deterministic source archive: SHA-256 b38b2954cd54f06ed6fbec9c3fa1032652b398f02bc388a4e04d66c74eb49588, 1,673,577 bytes, 1,102 entries. All eight hosted artifact digests, lane source manifests and 364 referenced logs independently checked locally.

The owner specifically authorized this guarded Navigation merge after current-source qualification and protection gates. No borrowed-context or inspector experiment, DSL work, unrelated composition-proof branch, tag or version release is included. #31/#36 remain independent. Superseded #34/#37 will be closed with source/evidence cross-links after protected-main verification.

Replay original 94369e1 from PR #34; retain composition source, lanes, fixtures and accounting. Conflicts resolved additively; CLI identity regenerated.
Replay 6e5e5fa from PR #34; generated source identity refreshed for composition-enabled integration.
Replay 4403b9a from PR #34 without altering source semantics.
Replay only 4403b9a..7ee2712 from stacked PR #37, preserving composition and root test inventory.
Replay 5cf7897 from PR #37. Historical source receipts remain unchanged.
@ThorFuchs
ThorFuchs marked this pull request as ready for review October 15, 2026 22:50
@ThorFuchs
ThorFuchs merged commit 7d72c88 into main Oct 15, 2026
9 checks passed
@ThorFuchs
ThorFuchs deleted the codex/structural-navigation-integrated-20261016 branch October 15, 2026 22:51
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