Skip to content

Qualify opt-in JSONNavigation public product candidate - #37

Closed
ThorFuchs wants to merge 2 commits into
codex/structural-navigation-n0-n1from
codex/structural-navigation-n1p-n2a
Closed

ThorFuchs wants to merge 2 commits into
codex/structural-navigation-n0-n1from
codex/structural-navigation-n1p-n2a

Conversation

@ThorFuchs

@ThorFuchs ThorFuchs commented Oct 15, 2026 •

Copy link
Copy Markdown
Owner

The exact many-node traversal target in #34 could not be consumed as a SwiftPM product. This successor proposes the opt-in JSONNavigation library product, preserving all56 public declarations and the original traversal executor. It adds a real external SwiftPM dependency consumer, public DocC/site integration and two regressions that preserve source-admission-first error precedence.

This is stacked on the unchanged draft #34 at4403b9a. Root dependencies remain empty; there are eight candidate products (seven libraries plus CLI). Private core scopes/meters remain inaccessible. The only CLI-source change refreshes its required Package.swift/Sources digest; CLI semantics and version are unchanged. Sibling #31/#35 source, protection and all49 metrics/profiles remain untouched.

Final source 5cf78972b279f398894dd4afcbc09dd058889371 is technically qualified:

  • Native38804020874: native/safety/docs/archive jobs pass; full585 functions/325 parameters, ASan585/325, TSan42, strict-memory build. Git-free reproduction repeats all33 native commands and rebuilds the exact archive byte for byte.
  • Linux38804020861: both ARM64/x86_64 full+safety pass;569 functions/325 parameters, TSan41 per architecture.
  • Final-source WASI:77 backend commands pass; Node Debug/Release481 functions/288 parameters, all49 caps/independent policies. Supplemental true external SwiftPM product consumer18 checks passes on Node/WasmKit in each configuration.
  • Public product consumer18 checks/configuration, three executed guide fences/configuration and eight intended public compiler rejections pass. iPhoneOS/Simulator27.2 external consumer release builds pass, separate from runtime/device qualification.
  • Public DocC1002/1002 authored declarations, seven catalogues/3487 verified files and static routes pass. Fresh symbol comparison preserves all56 N1 declaration paths/fragments with no private type leaks.
  • All eight actual provider artifacts have verified digests. Nine source-bound lane receipts and337 log/hash references match1075 source files. Archive SHA256 7bf2e223705b49b245d2d3670eeae3341a15ecc2c003b4e9803737ed041f2bfd,1650140 bytes/1076 entries. Original large outputs stay under ignored Artifacts; a compact manifest-backed return supplies actual source/receipt/log/code evidence.

Product promotion awaits human review. This is an author/API audit, not independent human approval. Documentation deployment is expected to skip for this draft.

N2 was stopped at A0 as required. A separate local borrowing spike e11f93f passes46 runtime functions/configuration and meter parity/boundary/terminal/cancellation witnesses. However, Apple Swift6.4 (swiftlang6.4.0.34.1) accepts an illegal escaping borrowed-context capture at type checking, then crashes with exit-6 in SILGenCleanup during full compilation. Both Debug and Release reproduce the abort; the complete matrix has two positive compiles, six ordinary rejections and two compiler crashes. A compiler crash is not a passing negative proof. That spike, borrowed API and JSONInspection target are absent from this PR. The return preserves the reproducible failing source, commands and diagnostics. No semantic workaround or second resource ledger is introduced.

Read Documentation/Architecture/StructuralIntelligence/N1Promotion.md, N1PublicAudit.json and SourceReconciliation.md. Known exact linear overlap/dedup and deep path-copy costs remain documented; no EngineBench speed/RSS claim. Existing test/corpus/parameter/cap inventories are retained, with two additional functions. This remains draft. No PR-ready transition, merge, tag, version release or publication is authorized.

ThorFuchs added a commit that referenced this pull request Oct 15, 2026
Reconcile original Navigation #34 (4403b9a) and incremental public-product promotion #37 (5cf7897) over #35. Preserve core/composition semantics and all existing tests; qualify the combined eight-product source on native, both Linux architectures, WASI, external consumers, SDKs and Git-free reproduction. Source mapping: Documentation/Architecture/StructuralIntelligence/Integration.md. A0/inspection experiments remain separate. No version release.
@ThorFuchs

Copy link
Copy Markdown
Owner Author

Superseded by the qualified protected-main merge of #38 at 7d72c8825982550f0ee87218136fda12d8bae13b.

This original head 5cf78972b279f398894dd4afcbc09dd058889371 is preserved as source/evidence provenance; it was not merged as this PR head. The fresh-main integration replayed #34 and only #37's incremental promotion while retaining #35 composition, all 56 Navigation declarations and all existing tests. Exact replay mapping.

Native qualification and both Linux architectures passed on the integration source. The owner received source-bound full WASI, SDK, consumer and archive receipts. The merge tree is byte-identical to qualified 621f58d; the external public SwiftPM consumer passed all 18 cases again on protected main. Source archive SHA-256: b38b2954cd54f06ed6fbec9c3fa1032652b398f02bc388a4e04d66c74eb49588.

Closing as superseded under the owner's bounded authorization. Original refs/worktrees remain retained pending dependency-safe archival cleanup. A0/JSONInspection experiments remain separate; no tag or version release was created.

@ThorFuchs ThorFuchs closed this Oct 15, 2026
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