Repository navigation
Code Analysis Language Capabilities
Snapshot: 8 November 2026. In Labs, validated in Draft, and unsupported are distinct states. A Draft result is not approval, merge, release or installation.
Shared Labs: bf0a29e7664f52973d06a8e6a608df2db1ecbd39. Preserved shared baseline: Draft #1252, 93378351dc97768fd7e0882a50f32ecc7a34e2a6. It retains #1250, the original A1/A2 contributor commits and previous language contributions. The collaboration overview records original contributors and separately owned work. Those PRs remain unchanged.
Latest cumulative source/ZIP validation: Draft #1269, 1fa3cd0a097e973d653376721e6b8447f2be12b0, composes #1267 with independent Python #1268, preserving original histories. 26 captures,32 questions,58 CLI commands per distribution and separate CI state. Final-head CI is pending at publication. The earlier #1263 composition remains historical evidence. No capability moves into Labs and no new independent accuracy denominator is inferred.
| Language / capability | In Labs | Validated in Draft | Unsupported / remaining boundary |
|---|---|---|---|
| JavaScript / TypeScript source dependencies, definitions and complexity | Yes, source analysis; one language adapter per run | Runtime/package-condition corrections, lexical direct-call navigation and paired investigation in #1235/#1244/#1252 ancestry | Dynamic/member dispatch, macro-like/generated/runtime identity and complete impact are not established by lexical facts. See call evidence and combined evidence. |
| JS/TS stable default ordinary-function references | No | Draft #1260: relative defaults through same-module function references/local default specifiers, source writes/eval guards, real changed-function callers and source/ZIP parity. Fixed evidence and limits. | Factories, variable-held defaults, re-export chains, dynamic dispatch and complete impact remain unsupported; configured alias calls are a separate dependent Draft in the next row. Historical v1/v2 captures retain their scope. |
| JS/TS configured captured-alias direct calls | No | Draft #1261, dependent on #1260 in native stack #1262: Redux six correct source jumps; eleven new targets independently signature-agreed; source/ZIP parity. Fixed source, configuration, counts and limits. | Re-export/barrel hops remain known-target misses. Runtime alias loading, successful project compilation and complete impact are not established. Historical v1/v2/v3 coverage stays distinct. |
| Python source dependencies and function analysis | Yes | Conservative call evidence and paired definitions; #1252 additionally validates unique preceding function-local from-imports | Decorated/duplicate targets, closure/global/conditional bindings and member/dynamic calls retain unknowns. #1252 does not bind reexports; see the separate bounded Draft row below. Fixed Click/Jinja versions, commands, source/ZIP comparison. |
| Python one explicit API function reexport | No | Draft #1268, independent above #1252: four fixed Jinja/Flask API calls reach their implementation; 35 post-design explicit source chains checked; source/ZIP and historical v1 parity. Pinned evidence and limits. | Longer/conditional/rebound/repeated/wildcard chains, decorated/class/member targets and runtime module initialization remain unsupported. Local full suite retains the separately reproduced baseline TypeScript snapshot failure. |
| Java dependencies and method/constructor analysis | Yes, original Java adapter by CheeseMiao0520 | Unicode/type namespaces, conservative explicit static calls and paired definitions | Overload applicability/compiler attribution, inheritance, virtual/interface dispatch, generated sources and runtime loading remain outside the bounded resolver. Java fixed-source evidence. |
| Java explicit class-qualified static implementation paths | No | Draft #1259: explicit import/same-package/full class paths, exact cross-file navigation and captured foreign callers; source/ZIP verified. Fixed cases, compiler counts and limits. | Overloads, inherited/value-qualified/ambiguous paths, nonpublic targets, varargs, lambda/nested scopes, virtual/interface dispatch, generated code, argument applicability and complete impact remain unsupported. |
| Java unique fixed-arity static source candidates | No | Draft #1267, above #1266 in native stack #1262: two real production source questions recovered; 289 new compiler-agreed targets and three separate source-only reviews; source/ZIP parity. Fixed sources, audit and limits. | Same-arity/varargs applicability, inherited callers, static wildcard value identity, virtual dispatch and full overload resolution remain unsupported. All five original guarded test-call misses remain misses. |
| Go normal CLI, packages/functions, direct source calls and changed-definition callers | No | Draft #1256: root module, build/test scope, exact declaration ranges, ordinary/alias/same-package direct functions and paired known callers; source/ZIP verified. Fixed cases and limits. | External types/full compilation, interfaces/function variables (concrete methods are in the next Draft row), struct/field definitions, workspaces/replace/vendor/nested modules/cgo/generated build output and complete impact remain unsupported. |
| Go concrete receiver methods and changed-method callers | No | Draft #1264, above #1263 in native stack #1262: compiler-selected concrete methods, promotion, expressions, aliases and generic instances; real Chi callers and source/ZIP parity. Fixed sources, attribution and limits. | The original #1264 misses37 compiler-known captured-body calls; the SDK follow-up below resolves that fixed cohort without changing #1264 retrospectively. Interface and function-variable dispatch, complete external typing/builds and unrestricted question output remain unsupported. |
| Go concrete calls with SDK type availability | No | Draft #1266, above #1265 in native stack #1262: official needed SDK export types recover37 source/compiler-known calls; source/ZIP parity and historical readers. Pinned evidence, costs and limits. | Third-party types, full workspace/build semantics and runtime/interface dispatch remain unproved. Fixed full compiler cohort9318/9318 is not whole-project precision/recall. |
| Rust normal CLI, modules/crates, direct calls and changed-definition callers | No | Draft #1258: native crate/use/use-as paths, local workspace boundaries, exact ranges and paired callers; source/ZIP verified. Fixed cases and limits. | The original #1258 does not resolve associated functions; see the bounded #1265 row below. Receiver/trait dispatch, expanded/generated macros, type/field navigation, external crates, complete Cargo target/feature/build semantics and complete impact remain unsupported. |
| Rust explicit nominal inherent-function paths and changed-definition callers | No | Draft #1265, above #1264 in native stack #1262: unique monomorphic inherent source candidates, aliases, same-name module identity and verified references. Fixed source, source/ZIP evidence and limits. | Generic/type-alias/Self/receiver/trait applicability, visibility, argument typing and full compiler/build semantics remain unproved. Two reserved generic Map sites remain known misses. The independent RA audit agrees on 1,250 target observations/1,230 physical sites; this remains definition agreement, not whole-project accuracy or recall. |
Fixed manifest and source excerpts · Baseline commands, outputs and exits · Scope and acceptance queue.
Answers froze at 580b50393 before the eight unchanged CLI runs at b37f67c49. Each source file is hashed. These are selected source cases, not whole-project accuracy or a blind evaluation.
| Language | Fixed real projects | First developer question | Remaining unknown |
|---|---|---|---|
| Go | Cobra 41fd44e1df83ad6acd8e14b304d5f2a2ae1d62f5 → e392f3204db0445f1f4ad47448b04d8c8ad04c2a; Chi 67be7d9cafdaeb4e04e887ff78d09e030ee43b00 → 71307f9b7e4e9527638bc951c42b782cd1560331
|
In Cobra, follow doc_test.ExampleGenMan → doc.GenMan → fillHeader across the real upstream DisableAutoGenTag change. Chi reserves ordinary root-package calls and presenter import aliases. |
Interface calls such as io.Writer.Write and next.ServeHTTP must not pick arbitrary implementations. Build tags, platform, nested modules, test/external-test packages and ignored examples need explicit coverage. |
| Rust | regex f871a8eb1d725a8aaa56e2ceea57c24fce74b5fd → 9870c06e6c772daaad7ab612faab29130753e41c; serde_json d2fce19685bf0e3d493a9d785665137654c79e6d → 4d4f53c3b7de3259b6a8a15ef4d5f4edb47af32f
|
In regex, follow lib.rs → unicode::is_word_character across its implementation change; then test the workspace regex → regex-syntax call and function-local use ... as write in regex-automata. serde_json reserves the changed algorithm::fast_path via a wildcard import. |
The older regex layout lacks the newer root wrapper/alias cases; these are head-only checks. float_roundtrip gates serde_json's lexical module. Trait dispatch, macros, feature/cfg alternatives and build output require separate evidence. |
Chi and serde_json were partly source-inspected to establish answers. Their reserved questions are held out from initial implementation tuning, with this exposure disclosed. Go 1.27.2 and rustc/cargo 1.89.0 are present locally; rust-analyzer is not installed in the selected official toolchain. No extra toolchain was installed for this baseline.
Reproduce the historical #1255 unsupported baseline with node archify/bin/archify.mjs code-analysis check <fixed-checkout> --language go --fail-on never --json --out <output>, substituting rust for Rust. Expect exit 2, not a successful empty analysis. Development proceeds Go first, then Rust, with wrong targets prioritized before deterministic coverage expansion.
Local baseline CLI evidence is recorded above. Implementation tests, full source/ZIP acceptance and new head CI remain pending; #1252's remote run is failed overall despite several passing checks. No PR was approved or merged, and no release/live installation occurred.
Baseline package follow-up: at #1255 head b7338e0b1, all eight extracted-ZIP invocations reproduce the same JSON diagnostics and exit 2 as source. The manifest was regenerated byte-identically. This is verified rejection parity; This historical baseline predates the later Go/Rust Draft implementation acceptance. Existing parser dependencies were installed only in the isolated extracted package; no new toolchain or live installation. New head CI is tracked separately on the Draft.
Go follow-up: Draft validation and source-oracle correction. The initial Chi presenter alias expectation was inconsistent with its nested module declaration and is retained as an explicit oracle correction. A valid real grpc alias is separately supplemental. Baseline #1255 rejection results remain historical; they do not describe #1256. Rust follow-up: Draft #1258 source/ZIP validation and explicit Cargo/cfg/trait limits. Historical baseline rejection does not describe this Draft.