feat(java): leg 3b — the query surface for Java, addressing through interprocedural flow - #358

Merged

rahlk merged 49 commits into

release/2.0from

feat/issue-311-java-query-surface

Sep 7, 2026

Commits on Sep 7, 2026

ci(release): bundle the pinned codeanalyzer-java jar, not releases/latest (#337)
rahlk
committed
ce71e5f
docs: spec leg 3 — Java to Python's leg-1.6 maturity (#338)
rahlk
committed
b9a1da9
docs(java): implementation plan for leg 3a — Java on schema v2
rahlk
committed
22ab47c
test(java): codeanalyzer-java 3.0.1 fixtures for daytrader8 at L1 and L4
rahlk
committed
d765aa3
test(java): point the Java suites at the 3.0.1 fixtures, retire the 2.3.7 ones
rahlk
committed
d9c8768
test(java): store the 3.0.1 fixtures gzip-compressed
rahlk
committed
f8dbe0a
feat(java): v2 models mirroring codeanalyzer-java 3.0.1, v1 field names kept as views
rahlk
committed
9542a9f
fix(java): address Task 1 review
rahlk
committed
3129af5
feat(java): inherit the generic backend ABC, drive codeanalyzer-java 3.0.1, string call-graph keys, source_code removed
rahlk
committed
fe11692
feat(java): Neo4j backend on the codeanalyzer-java 3.0.1 vocabulary, scoped by can:// prefix, with a schema probe
rahlk
committed
758e127
fix(java): qualify local-class names by their declaring callable, honest span sentinels, and review corrections
rahlk
committed
b03354e
docs(java): record the schema-v2 migration, the 3.0.1 floor and the sanctioned shifts
rahlk
committed
781684c
feat(java): drive the analyzer through the codeanalyzer-java wheel and drop the bundled jar and JDK download
rahlk
committed
cb9001e
fix(java): report the analyzer's own L3/L4 degradation instead of returning a declared-only graph silently
rahlk
committed
ce141f4
fix(java): answer get_test_methods off the graph, repair the changelog, and close the leg review
rahlk
committed
f800805
docs: one release-notes block for the three legs
rahlk
committed
49b4199
docs(java): implementation plan for leg 3b — the query surface
rahlk
committed
155887f
feat(java): the addressing vocabulary — package-derived dotted names and signature-aware resolution
rahlk
committed
e394f81
docs(java): record how the shared resolver reconciles with leg 2.5b
rahlk
committed
67a55a5
fix(java): "supplied none" is not "derive it", and an ambiguity advice must be followable
rahlk
committed
345b673
docs(java): record that a4's signature spellings are a pruning artifact
rahlk
committed
be32b7f
feat(java): addressing — locate, resolve, source, describe
rahlk
committed
af7efd4
feat(java): per-callable graphs, slices, reachability and flow predicates
rahlk
committed
655c596
feat(java): entrypoints, artifacts and leaf accessors; record the query surface
rahlk
committed
275aec1
fix(java): a located call site says what it resolves to over Neo4j too
rahlk
committed
368452a
test(java): the fake Cypher engine binds a WHERE to the OPTIONAL MATCH it follows
rahlk
committed
8493b6c
fix(java): J-6's implicit callables refuse a graph and a value, not answer empty
rahlk
committed
3389637
fix(java): scope the interior of the two variable-length SDG walks
rahlk
committed
16bbbdf
fix(java): a formal_in ref is answered from the parameter list, not the body map
rahlk
committed
d654e0b
fix(java): a graph that homed no external answers {}, not 'never asked'
rahlk
committed
982bd57
fix(java): the port probe counts only an edge whose target is a node
rahlk
committed
6482232
fix(commons): a bodyless locate() result is refused in its own words
rahlk
committed
5de1df3
fix(commons): 'Narrow it with by naming ...' is not a sentence
rahlk
committed
eddae40
fix(commons): reaches(x, x) answers the cycle question it is advertised for
rahlk
committed
369a3e3
docs(java): a signature's parameter tail is not erased, in the models either
rahlk
committed
92476bd
docs: name the real helper and the real body-node count
rahlk
committed
d69fc28
docs(java): get_method_bodies returns 1,117, and omits only implicit callables
rahlk
committed
eb954f7
docs(java): the a4 caveat's evidence was measured with the walk J-8 retracted
rahlk
committed
6fd1fcd
docs(java): three "arrives in 3b" forward references, shipped inside 3b
rahlk
committed
eab53f7
docs(commons): the ambiguity advice changed for all three languages
rahlk
committed
19d7822
docs(java): say that get_config_readers is [] for every key
rahlk
committed
7eaff2f
docs(java): three statements to four is an extra round trip
rahlk
committed
5eff68b
docs(java): J-3 erratum — the tail separates overloads, not types
rahlk
committed
d07ad8d
docs(java): two facts this leg established and did not write down
rahlk
committed
90f9a4d
docs: cite TypeScript's own measurement for the port-lattice claim
rahlk
committed
aac9ea3
docs: rewrap the paragraph the raiser note ran into
rahlk
committed
8e04705
docs(java): name the label a JBodyNode actually carries beside its own
rahlk
committed
72aa9d2
test(python): compare the same analysis, then tolerate only what the graph loses
rahlk
committed
9885042
Merge remote-tracking branch 'origin/release/2.0' into feat/issue-311-java-query-surface
rahlk
committed
8bb93ed