Skip to content

Expose exact source-backed set and numeric matrix projections - #66

Draft
ThorFuchs wants to merge 2 commits into
mainfrom
feature/json-inspection-exact-projections-v1
Draft

ThorFuchs wants to merge 2 commits into
mainfrom
feature/json-inspection-exact-projections-v1

Conversation

@ThorFuchs

@ThorFuchs ThorFuchs commented Oct 18, 2026 •

Copy link
Copy Markdown
Owner

This exposes exact first-occurrence structural sets and complete numeric-matrix views in unreleased JSONInspection. Set representatives preserve first original positions/lexemes; matrices preserve exact JSONNumber cells and 2×0 → 0×2 orientation metadata. Construction uses the original traversal ledger and source ownership. Later member/cell reads explicitly admit the captured whole source as separate finite operations.

The branch starts at main 1a0306d076a08c8c43281f91412a11cd744ff3f6. Private checkpoint 0e4635b selectively integrates PR #64 donor 6aa5fab; public head is d566f283f5826cb85fbcbe132e06a179b9589822, tree c8e3e95e91df3ea43c5b851d34fb27ab2906786a. Promotion changes only access/comments in the donor algorithms; all 46 donor test bytes are preserved. Actual compiler graphs retain Navigation56 and Inspection95, adding exactly 33 Inspection declarations. No new product, dependency, core semantic authority, graph/store runtime or stable 1.6.1 change.

Final-source qualification passed:

  • Native CI: native, safety, docs and actual Git-free archive reproduction; existing composition qualification retained.
  • Linux CI: ARM64/x86_64 runtime and safety, including existing composition qualification.
  • Native roots: 833 functions / 325 parameter invocations in each configuration; Linux 817/325; Node WASI 729/288. All 49 cap witnesses, 126 maintenance identities and exact old/new Inspection cases retained. Native ASan 833/325, TSan 54 sharing functions; Linux ASan 817/325 and TSan 53 per architecture.
  • Public external consumer: 20 named cases each Debug/Release/ASan, three executed DocC examples/configuration, 24 ordinary external codegen refusals. Original ownership2/20 and same-meter comparator2/10 full-codegen proofs passed. A separate remote SwiftPM consumer resolved the exact pushed revision and passed 20 cases/configuration without private imports or copied library sources.
  • Full WASI lane: 78 commands; separate 14-command supplement qualifies WasmKit Inspection130, Exact20 and Projection16 in Node/WasmKit, Snapshot14 in Node. No full-root WasmKit or WASI sanitizer claim.
  • iPhoneOS/iPhoneSimulator 27.2 strict Release consumer links, all nine libraries and ten schema resources each; SDK evidence, not device/runtime evidence.
  • Compiler/API/comments and actual uploaded docs: 1,205 authored declarations, nine navigator indexes, 1,824 routes, 9,109 local links. PR documentation deployment is skipped.
  • Actual deterministic source archive: 1,999,902 bytes / 1,318 entries, SHA-256 7e5464c9efeac6857905c8264c7a2a2fdf1179cd975f009e378fa7caa96e7a67. Fresh extraction and main+patch rebuild byte-identically; hosted Git-free native reproduction executes all 47 native commands against the identical archive.

The provider's synthetic PR checkout af1d068 has the exact candidate tree. All 1,317 source input hashes match; Linux receipts retain observed null Git fields and are bound by the complete source digest/provider identity. Initial local signing, new-test expected-code and storage failures are preserved in the return; no failed attempt is relabeled passed and no core behavior was changed to match a test.

Batch B01–B08 is explicitly DEFERRED to NAV13, pending aggregate request/output-alias accounting and coordinate/precedence proofs. Public deterministic counters disclose repeated full-source read cost. G4 remains HOLD with zero accepted timing samples and no performance benchmark claims; the 90%-idle / 10% review policies are unchanged. Generic execution telemetry is not controlled performance evidence.

Review contracts: Documentation/Architecture/StructuralIntelligence/NAV10/PublicAPI.md, Acceptance.md, AccessCostDecision.md, and the compiled ExactProjections DocC guide. A manifest-backed local return includes actual source bytes, materialized provider receipts/logs, API/SDK/consumer/source-reproduction receipts and failures. Original cache-heavy provider ZIPs remain intact locally; transport provenance and explicit cache-omission hashes accompany the compact return.

  • Final-source Native / native, Native / safety, Native / docs and archive green
  • Both Linux architectures and safety qualified
  • WASI Node and separately labeled WasmKit scope, Apple SDK links qualified
  • Actual compiler API diff, external consumer, DocC routes/navigator and Git-free reproduction audited
  • Final source archive/manifest, materialized receipts and failure ledger prepared
  • Separate owner API/merge decision

Draft only. Do not auto-ready, merge, tag or publish. Preserve donor PR #64 and sibling trains. Graph/store engines, arithmetic, set algebra, retrieval, persistence and CLI/HTML adapters remain outside this wave.

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