Skip to content

Prototype exact source-backed graph projection and bounded BFS - #67

Draft
ThorFuchs wants to merge 7 commits into
mainfrom
feature/json-graph-v1
Draft

ThorFuchs wants to merge 7 commits into
mainfrom
feature/json-graph-v1

Conversation

@ThorFuchs

@ThorFuchs ThorFuchs commented Oct 18, 2026 •

Copy link
Copy Markdown
Owner

This package-only JSONInspection experiment constructs a deterministic directed simple graph from two explicit physical array locations and exact direct-member string IDs. Typed missing/null/type/duplicate/dangling refusals, source-ordered adjacency and bounded complete-reachable BFS use the original Navigation ledger and one source handoff. No new JSON model, path grammar, dependency or NAV10 dependency is introduced.

All graph declarations stay package-only. Actual compiler graphs preserve every1172existing public declaration, Navigation56 and Inspection95; product/dependency graph is unchanged. The NAV11 GraphADR, APICandidate and SourceAuthority records state finite defaults, exact precedence, resource costs and the later public-review boundary.

Final head81485930f859131d0802691ca6370f482ba62911/treeb832f6554a0277ac1776ad84d81ba3296d2048f8 is qualified by all8Native/Linux jobs (Native39167973594, Linux39167973444). Native Debug/Release/ASan811functions+325parameters/TSan52; both Linux architectures795+325/TSan51. All49core cap probes and126maintenance identities remain required. All32G-cases and27independent graph fixtures are evaluated, with depth/width/exact-quota/cancellation/lifecycle/concurrency proofs and genuine Debug/Release ownership/private-boundary codegen.

Full Node WASI78commands passes707functions+288parameters per config. Ten supplementary commands name exact108Inspection WasmKit and public consumer scopes. Strict9-library iPhoneOS/iPhoneSimulator SDK compile/link and a real remote-revision16-case public SwiftPM consumer pass; SDK success is not device runtime. Actual DocC9indexes/1787routes/8924local links, Git-free full-native reproduction and source archives are verified. Source tar SHA256: fb2995921372e0d18103435cd69ba1011308c61827de20fc829a7eb74f8716eb (1,984,388bytes/1311entries).

Failed/superseded attempts and fixes remain in the local manifest-backed return: profile-key admission, checked diagnostic ownership, meaningful payload assertions, WASI fixture lookup/portable overflow and storage/tooling failures. Controlled performance G4 remains HOLD, zero accepted samples; no speed/RSS claim. This PR stays draft. No public graph promotion, merge, tag or release is authorized. Sibling trains and protections are preserved.

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