Skip to content

fix: level-gate the call-graph solve at -a 1#39

Open
rahlk wants to merge 1 commit into
feat/issue-29-analyzer-manifestfrom
fix/issue-31-level-gate-callgraph
Open

fix: level-gate the call-graph solve at -a 1#39
rahlk wants to merge 1 commit into
feat/issue-29-analyzer-manifestfrom
fix/issue-31-level-gate-callgraph

Conversation

@rahlk

@rahlk rahlk commented Jul 7, 2026

Copy link
Copy Markdown
Contributor

Closes #31. Part of epic #26 (contract-correctness cluster).

Stacked PR 5 of 7 — base: feat/issue-30-format-flag; review this PR's diff in isolation. Merge the stack bottom-up into feat/issue-2-program-graphs.

Verified: full suite 99 pass / 0 fail, typecheck clean, schema.neo4j.json in lockstep. Reviewed (task-scoped + final whole-branch review: READY TO MERGE).

…discarded

The v2 emitter only reads external_symbols/synthesized_callables and
populates call_graph at level >= 2 (homeExternals/homeSynthesized in
src/schema/v2/emit.ts), so running the full provider solve — including
the heavier Jelly leg — at -a 1 computed a result that was thrown away.
Gate provider.build to analysisLevel >= 2; levels 3/4 already require
>= 2 for callee resolution, so this is safe.
@rahlk rahlk force-pushed the fix/issue-31-level-gate-callgraph branch from 730e73d to a109a77 Compare July 7, 2026 10:38
@rahlk rahlk changed the base branch from feat/issue-30-format-flag to feat/issue-29-analyzer-manifest July 7, 2026 10:38
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