Skip to content

Experimental: NAV9 exact structural set and matrix proofs - #64

Draft
ThorFuchs wants to merge 4 commits into
mainfrom
codex/nav9-p2-exact-projection-proof
Draft

ThorFuchs wants to merge 4 commits into
mainfrom
codex/nav9-p2-exact-projection-proof

Conversation

@ThorFuchs

@ThorFuchs ThorFuchs commented Oct 18, 2026 •

Copy link
Copy Markdown
Owner

Experimental — not released

Add package-private structural-set and exact numeric-matrix views to existing JSONInspection. Set representatives are original first-occurrence array indices; equality delegates to core JSONComparison under N1's original cumulative ledger. Matrix validation checks every row/cell, retains exact source numbers and uses orientation metadata for transpose, including 2×0 → 0×2.

No public declaration/product/dependency additions, graph/store engines or release actions. Constructors remain fileprivate. Existing Navigation56/Inspection95, ten products, 49 core caps, 126 maintenance identities and original ownership proofs are preserved. Graph/store ADRs and data-premise fixtures are design only. Branch A owns G4; this PR makes no performance claim.

Actual qualification

  • Frozen implementation aad4a35: all eight hosted Native/Linux jobs passed (Native39125856096, Linux39125856156), including Git-free reproduction, full825 native/809 Linux functions,325 parameter invocations, ASan and53/52 sharing functions under TSan.
  • New46 acceptance identities (SSET18/MAT18/CORE10) plus existing76 Inspection functions passed Debug/Release/ASan; strict-memory passed. Original2-positive/20-negative ownership codegen remains; D0 adds2-positive/10-negative and7 runtime cases/configuration. Private P2 consumer6 cases/configuration and12 ordinary isolation/immutability rejections passed.
  • WASI Debug721/Release721 functions with288 parameters passed, with49 caps, Node independent suites and targeted WasmKit122 Inspection functions plus public consumers. Debug is explicitly reused from an unchanged-source attempt whose later Release build hit ENOSPC. Malformed incremental outputs were preserved, discarded and Release rebuilt clean. The original failed full invocation is not relabeled; three runtime benchmark diagnostic samples were not run in this semantic track.
  • Nine-library iPhoneOS/iPhoneSimulator SDK27.2 strict Release compile/link passed; no physical/runtime claim.
  • Compiler public graphs unchanged; all1172 authored declarations documented. Independent20-file fixture oracle and19 rejecting-harness cases passed.

Current-main reconciliation

Current head6aa5fab incorporates already-merged main1a0306d documentation only. All Package/Sources/Tests/Scripts/AGENTS bytes are identical to the fully qualified predecessor; only README and AgentDeveloperKit documentation changed. Fresh current-head DocC/privacy, byte-equal Git-free source reconstruction and compiled public16-case consumer passed. Refreshed Native39129720128/Linux39129720063 passed all eight jobs at head6aa5fab. Their actual artifacts are materialized and audited against the reconciled1305-file source snapshot; all raw failures/retries remain separate. The PR stays draft.

Current actual source archive SHA256: aed956274bd91457180218751fac30ab911023b61f326000948bc6ae4e2e8629. Predecessor59d045... archive/receipts are retained immutably. The private manifest-backed return contains actual source bytes and materialized receipts/logs; large raw provider/cache bytes are separately indexed with digests. Qualification contract: Documentation/Architecture/StructuralIntelligence/NAV9/PrototypeQualification.md.

No merge/ready/tag/publication is authorized by NAV9. Preserve the separate composition/developer-kit/performance worktrees and stable1.6.1.

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