codeanalyzer-python 0.3.1__tar.gz → 1.0.1__tar.gz

{codeanalyzer_python-0.3.1 → codeanalyzer_python-1.0.1}/.gitignore

@@ -187,3 +187,11 @@ node_modules/
 
 # Track this repo's CLAUDE.md even though a global gitignore excludes CLAUDE.md
 !CLAUDE.md
+
+# Track AGENTS.md (a symlink to CLAUDE.md) past the same global ignore
+!AGENTS.md
+
+# Track the schema decision log (SDK-model input) past a global .claude ignore
+!.claude/
+.claude/*
+!.claude/SCHEMA_DECISIONS.md

{codeanalyzer_python-0.3.1 → codeanalyzer_python-1.0.1}/PKG-INFO

@@ -1,7 +1,7 @@
 Metadata-Version: 2.4
 Name: codeanalyzer-python
-Version: 0.3.1
-Summary: Static Analysis on Python source code using Jedi, CodeQL and Treesitter — emits analysis.json or a Neo4j property graph.
+Version: 1.0.1
+Summary: Static analysis for Python — canonical schema v2 (symbol table, call graph, and native CFG/PDG/SDG dataflow) as analysis.json or a Neo4j property graph.
 Author-email: Rahul Krishna <i.m.ralk@gmail.com>
 License-File: LICENSE
 License-File: NOTICE
@@ -33,6 +33,8 @@ Requires-Dist: typing-extensions<6.0.0,>=4.5.0; python_version >= '3.11'
 Requires-Dist: uv>=0.5.0
 Provides-Extra: neo4j
 Requires-Dist: neo4j<6.0.0,>=5.0.0; extra == 'neo4j'
+Provides-Extra: scalpel
+Requires-Dist: python-scalpel>=1.0b0; extra == 'scalpel'
 Description-Content-Type: text/markdown
 
 <div align="center">
@@ -41,7 +43,7 @@ Description-Content-Type: text/markdown
 
 # codeanalyzer-python (`canpy`)
 
-**A Python static-analysis toolkit — the CLDK backend that emits a canonical symbol table and call graph, as `analysis.json` or a Neo4j property graph.**
+**A Python static-analysis toolkit — the CLDK backend that emits the canonical schema v2 Code Property Graph, as `analysis.json` or a Neo4j property graph.**
 
 [![PyPI](https://img.shields.io/pypi/v/codeanalyzer-python?style=for-the-badge&logo=pypi&logoColor=white)](https://pypi.org/project/codeanalyzer-python/)
 [![GitHub release](https://img.shields.io/github/v/release/codellm-devkit/codeanalyzer-python?style=for-the-badge&logo=github&label=GitHub&color=2dba4e)](https://github.com/codellm-devkit/codeanalyzer-python/releases/latest)
@@ -52,18 +54,19 @@ Description-Content-Type: text/markdown
 
 ---
 
-`canpy` is a static analyzer for Python built on [Jedi](https://jedi.readthedocs.io/), with optional
-[CodeQL](https://codeql.github.com/)-resolved call edges and
-[Tree-sitter](https://tree-sitter.github.io/) parsing. It produces the canonical CodeLLM-DevKit
-(CLDK) `analysis.json` — a symbol table plus a call graph — and can project that same analysis into a
-**Neo4j property graph**. It is the Python backend behind
-[CLDK](https://github.com/codellm-devkit/python-sdk), mirroring its
+`canpy` is a static analyzer for Python built on [Jedi](https://jedi.readthedocs.io/),
+[PyCG](https://github.com/vitsalis/PyCG), and [Tree-sitter](https://tree-sitter.github.io/). It
+emits the **canonical CodeLLM-DevKit (CLDK) schema v2** — a single, additive Code Property Graph
+tree — either as `analysis.json` or projected into a **Neo4j property graph**. It is the Python
+backend behind [CLDK](https://github.com/codellm-devkit/python-sdk), mirroring its
 [TypeScript](https://github.com/codellm-devkit/codeanalyzer-typescript) (`cants`) and
 [Java](https://github.com/codellm-devkit/codeanalyzer-java) siblings.
 
-Every run produces a symbol table **and** a call graph. Edges come from Jedi's lexical resolution by
-default; `--codeql` resolves additional edges (RPC / third-party / dynamically-dispatched targets)
-and merges them with the Jedi-derived edges, also backfilling callees Jedi could not resolve.
+The payload is **one tree grown one layer at a time** across four analysis levels (`-a 1|2|3|4`): a
+symbol table, a call graph, intraprocedural control- and data-dependence graphs, and a whole-program
+interprocedural system dependence graph. Each level is a strict superset of the one below it
+(`analysis.json(-a 1) ⊆ … ⊆ analysis.json(-a 4)`), so a consumer can request exactly the depth it
+needs.
 
 ## Table of Contents
 
@@ -77,6 +80,9 @@ and merges them with the Jedi-derived edges, also backfilling callees Jedi could
 - [Usage](#usage)
   - [Options](#options)
   - [Examples](#examples)
+- [Analysis levels](#analysis-levels)
+- [Architecture & Tooling](#architecture--tooling)
+- [Output shape (canonical schema v2)](#output-shape-canonical-schema-v2)
 - [Output targets](#output-targets)
   - [`analysis.json` (default)](#analysisjson-default)
   - [Neo4j graph](#neo4j-graph)
@@ -86,15 +92,21 @@ and merges them with the Jedi-derived edges, also backfilling callees Jedi could
 
 ## Features
 
+- **Canonical schema v2** — one additive Code Property Graph tree (`schema_version` `2.0.0`),
+  stamped with `language`, `max_level`, `analyzer{name,version}`, and (at L3+) `k_limit`, rooted
+  at a single `application` node with durable `can://` ids on every callable and above.
 - **Symbol table** — modules, classes, functions, methods, variables, decorators, imports, and
-  docstrings, with precise source spans.
-- **Call graph** — Jedi's lexical resolver by default, with optional **CodeQL**-resolved edges
-  (`--codeql`) for RPC / third-party / dynamically-dispatched targets, merged with the Jedi edges;
-  CodeQL also backfills callees Jedi could not resolve.
+  docstrings, with precise byte-offset source spans; each module carries its `source` once.
+- **Call graph** — Jedi's lexical resolver at level 1, enriched with **PyCG**-resolved edges at
+  level 2 (provenance-tagged, coupling-aware sharding for large apps).
+- **Dataflow graphs** — native, per-callable exceptional **CFG** plus **control-** and
+  **data-dependence** edges (`cfg`/`cdg`/`ddg`) at level 3, stitched into a whole-program
+  **interprocedural SDG** (synthetic parameter vertices, `param_in`/`param_out`/`summary`,
+  alias-aware DDG) at level 4 — all built in-process from the stdlib `ast`.
 - **Neo4j output** — project the analysis into a labeled property graph: a self-contained
   `graph.cypher` snapshot, or an **incremental** push to a live database over Bolt.
 - **Versioned schema** — a machine-readable, version-stamped Neo4j schema contract (`--emit schema`),
-  checked in as `schema.neo4j.json` and shipped with every release.
+  checked in as `schema.neo4j.json` (`2.0.0`) and shipped with every release.
 - **Incremental cache** — per-file results are cached under `.codeanalyzer`; `--lazy` (default)
   reuses them, `--eager` forces a clean rebuild. `--ray` distributes the work across cores.
 - **Compact output** — canonical `analysis.json`, or binary `analysis.msgpack` for smaller artifacts.
@@ -131,6 +143,13 @@ For the optional **live Neo4j push** (`--emit neo4j --neo4j-uri …`), install t
 pip install 'codeanalyzer-python[neo4j]'
 ```
 
+For the **Scalpel-backed points-to oracle** at level 4, install the `scalpel` extra. It is optional:
+when it is absent, level 4 automatically falls back to the built-in type-based oracle.
+
+```sh
+pip install 'codeanalyzer-python[scalpel]'
+```
+
 ### Install via shell script
 
 Install the CLI as an isolated tool with the one-line installer (provisions via uv / pipx / pip):
@@ -184,19 +203,19 @@ $ canpy --help
 │ --version                                                   Show the canpy   │
 │                                                             version and      │
 │                                                             exit.            │
-│ --input            -i                     PATH              Path to the      │
+│ --input            -i                     <path>            Path to the      │
 │                                                             project root     │
 │                                                             directory (not   │
 │                                                             required for     │
 │                                                             --emit schema).  │
-│ --output           -o                     PATH              Output directory │
+│ --output           -o                     <path>            Output directory │
 │                                                             for artifacts.   │
-│ --format           -f                     [json|msgpack]    Output format    │
+│ --format           -f                     <json|msgpack>    Output format    │
 │                                                             for --emit json: │
 │                                                             json or msgpack. │
 │                                                             [default: json]  │
-│ --emit                                    [json|neo4j|sche  Output target:   │
-│                                           ma]               json             │
+│ --emit                                    <json|neo4j|sche  Output target:   │
+│                                           ma>               json             │
 │                                                             (analysis.json,  │
 │                                                             default) | neo4j │
 │                                                             (graph.cypher or │
@@ -206,13 +225,13 @@ $ canpy --help
 │                                                             schema.json      │
 │                                                             contract).       │
 │                                                             [default: json]  │
-│ --app-name                                TEXT              Logical          │
+│ --app-name                                <str>             Logical          │
 │                                                             application name │
 │                                                             for the graph    │
 │                                                             :PyApplication   │
 │                                                             anchor (default: │
 │                                                             input dir name). │
-│ --neo4j-uri                               TEXT              Push the graph   │
+│ --neo4j-uri                               <str>             Push the graph   │
 │                                                             to a live Neo4j  │
 │                                                             over Bolt        │
 │                                                             (incremental);   │
@@ -220,11 +239,11 @@ $ canpy --help
 │                                                             graph.cypher.    │
 │                                                             [env var:        │
 │                                                             NEO4J_URI]       │
-│ --neo4j-user                              TEXT              Neo4j username.  │
+│ --neo4j-user                              <str>             Neo4j username.  │
 │                                                             [env var:        │
 │                                                             NEO4J_USERNAME]  │
 │                                                             [default: neo4j] │
-│ --neo4j-password                          TEXT              Neo4j password.  │
+│ --neo4j-password                          <str>             Neo4j password.  │
 │                                                             Prefer the env   │
 │                                                             var over the     │
 │                                                             flag (the flag   │
@@ -234,17 +253,53 @@ $ canpy --help
 │                                                             [env var:        │
 │                                                             NEO4J_PASSWORD]  │
 │                                                             [default: neo4j] │
-│ --neo4j-database                          TEXT              Neo4j database   │
+│ --neo4j-database                          <str>             Neo4j database   │
 │                                                             name (default:   │
 │                                                             server default). │
 │                                                             [env var:        │
 │                                                             NEO4J_DATABASE]  │
-│ --analysis-level   -a                     INTEGER RANGE     Analysis depth:  │
-│                                           [1<=x<=2]         1=symbol         │
+│ --analysis-level   -a                     <int range>       Analysis depth:  │
+│                                           [1<=x<=4]         1=symbol         │
 │                                                             table+Jedi call  │
 │                                                             graph, 2=+PyCG   │
-│                                                             call graph.      │
+│                                                             call graph,      │
+│                                                             3=+native        │
+│                                                             intraprocedural  │
+│                                                             dataflow         │
+│                                                             (CFG/PDG),       │
+│                                                             4=+interprocedu… │
+│                                                             SDG              │
+│                                                             (param/summary   │
+│                                                             edges,           │
+│                                                             alias-aware      │
+│                                                             DDG).            │
 │                                                             [default: 1]     │
+│ --graphs                                  <str>             Level 3+ only:   │
+│                                                             comma-separated  │
+│                                                             program-graph    │
+│                                                             sections to emit │
+│                                                             (cfg, dfg, pdg,  │
+│                                                             sdg). Default:   │
+│                                                             cfg,dfg,pdg.     │
+│                                                             `dfg` emits the  │
+│                                                             PDG's data edges │
+│                                                             only; `sdg`      │
+│                                                             requires -a 4.   │
+│                                                             [default:        │
+│                                                             cfg,dfg,pdg]     │
+│ --graph-field-de…                         <int range>       Level 3 only:    │
+│                                           [x>=1]            k-limit on       │
+│                                                             access-path      │
+│                                                             depth (x.f.g.h   │
+│                                                             with k=3 becomes │
+│                                                             x.f.g.*).        │
+│                                                             Mandatory bound  │
+│                                                             — it is what     │
+│                                                             guarantees the   │
+│                                                             interprocedural  │
+│                                                             fixpoint         │
+│                                                             terminates.      │
+│                                                             [default: 3]     │
 │ --ray                  --no-ray                             Enable Ray for   │
 │                                                             distributed      │
 │                                                             analysis.        │
@@ -269,12 +324,12 @@ $ canpy --help
 │                                                             environment      │
 │                                                             instead.         │
 │                                                             [default: venv]  │
-│ --file-name                               PATH              Analyze only the │
+│ --file-name                               <path>            Analyze only the │
 │                                                             specified file   │
 │                                                             (relative to     │
 │                                                             input            │
 │                                                             directory).      │
-│ --cache-dir        -c                     PATH              Directory to     │
+│ --cache-dir        -c                     <path>            Directory to     │
 │                                                             store analysis   │
 │                                                             cache. Defaults  │
 │                                                             to               │
@@ -288,7 +343,7 @@ $ canpy --help
 │                                                             retained.        │
 │                                                             [default:        │
 │                                                             keep-cache]      │
-│                    -v                     INTEGER           Increase         │
+│                    -v                     <int>             Increase         │
 │                                                             verbosity: -v,   │
 │                                                             -vv, -vvv        │
 │                                                             [default: 0]     │
@@ -315,7 +370,7 @@ $ canpy --help
 │                                                             Jedi-only edges. │
 │                                                             [default:        │
 │                                                             no-pycg-shard]   │
-│ --pycg-shard-cei…                         INTEGER RANGE     Maximum files    │
+│ --pycg-shard-cei…                         <int range>       Maximum files    │
 │                                           [x>=1]            per shard when   │
 │                                                             --pycg-shard is  │
 │                                                             active (default  │
@@ -337,7 +392,7 @@ $ canpy --help
 │                                                             heavy import     │
 │                                                             graphs.          │
 │                                                             [default: 100]   │
-│ --pycg-shard-tim…                         INTEGER RANGE     Per-shard        │
+│ --pycg-shard-tim…                         <int range>       Per-shard        │
 │                                           [x>=0]            wall-clock       │
 │                                                             timeout in       │
 │                                                             seconds when     │
@@ -365,7 +420,7 @@ $ canpy --help
 │                                                             ignored on       │
 │                                                             Windows.         │
 │                                                             [default: 120]   │
-│ --pycg-shard-str…                         [jedi|package]    How --pycg-shard │
+│ --pycg-shard-str…                         <jedi|package>    How --pycg-shard │
 │                                                             groups files     │
 │                                                             (level 2 only).  │
 │                                                             'jedi' (default) │
@@ -387,7 +442,7 @@ $ canpy --help
 │                                                             one-shard-per-p… │
 │                                                             grouping.        │
 │                                                             [default: jedi]  │
-│ --pycg-max-iter                           INTEGER RANGE     Cap on PyCG's    │
+│ --pycg-max-iter                           <int range>       Cap on PyCG's    │
 │                                           [x>=-1]           fixpoint passes  │
 │                                                             per              │
 │                                                             shard/project    │
@@ -441,14 +496,13 @@ $ canpy --help
    canpy --input ./my-python-project --output ./out --format msgpack   # → ./out/analysis.msgpack
    ```
 
-3. **Resolve extra call edges with CodeQL:**
+3. **Enrich the call graph with PyCG (level 2):**
    ```sh
-   canpy --input ./my-python-project --codeql
+   canpy --input ./my-python-project -a 2
    ```
-   By default, edges come from Jedi's lexical analysis. Adding `--codeql` resolves additional edges
-   (including RPC / third-party / dynamically-dispatched targets) and merges them with the
-   Jedi-derived edges; CodeQL also backfills resolved callees Jedi could not resolve. CodeQL
-   integration is experimental; the CLI is downloaded into `<cache_dir>/codeql/` on first use.
+   Level 1 edges come from Jedi's lexical resolution. `-a 2` runs **PyCG** and merges its
+   flow-sensitive edges in (RPC / third-party / dynamically-dispatched targets), backfilling
+   callees Jedi could not resolve. Every edge is provenance-tagged (e.g. `jedi`, `pycg`).
 
 4. **Emit a Neo4j snapshot, or push to a live database:**
    ```sh
@@ -468,31 +522,163 @@ $ canpy --help
    canpy --input ./my-python-project --eager --cache-dir /path/to/custom-cache
    ```
 
-## Output targets
-
-`canpy` builds one analysis in memory and can emit it three ways (`--emit`):
+7. **Dataflow graphs — intraprocedural (level 3) and interprocedural (level 4):**
+   ```sh
+   canpy --input ./my-python-project -a 3 --output ./out          # per-callable cfg/cdg/ddg
+   canpy --input ./my-python-project -a 4 --output ./out          # + interprocedural SDG
+   canpy --input ./my-python-project -a 3 --graphs cfg,pdg        # scope the emitted sections
+   canpy --input ./my-python-project -a 4 --graphs sdg            # sdg requires -a 4
+   canpy --input ./my-python-project -a 3 --graph-field-depth 2   # tighter access-path k-limit
+   ```
+   Levels 3 and 4 also enrich the Neo4j projection (`--emit neo4j`) with the CPG overlay
+   (`:PyCFGNode` nodes wired by `PY_CFG_NEXT`/`PY_CDG`/`PY_DDG`, plus the level-4
+   `PY_PARAM_IN`/`PY_PARAM_OUT`/`PY_SUMMARY` edges — the cross-language dataflow vocabulary,
+   PY_-namespaced like every other row family so multi-language databases never mingle
+   analyzers' edges).
+
+## Analysis levels
+
+Each level is the same tree grown one layer deeper, plus the edge family over that new layer. The
+levels are cumulative and additive — `analysis.json(-a 1) ⊆ … ⊆ analysis.json(-a 4)`.
+
+| Level | Flag | What it adds | Where it lands |
+| --- | --- | --- | --- |
+| **1** | `-a 1` (default) | Symbol table, Jedi call graph, and `call` nodes in each callable's `body` | `body` calls (`callee: null`) |
+| **2** | `-a 2` | PyCG call-graph enrichment; each call's `callee` backfilled to a `can://` id | `call_graph`, `body` callees |
+| **3** | `-a 3` | Native **intraprocedural** CFG/CDG/DDG (syntactic, name-equality, `prov: ["ssa"]`) | `cfg`, `cdg`, `ddg`, `@entry`/`@exit` on each callable |
+| **4** | `-a 4` | **Interprocedural** SDG: synthetic param vertices, alias-aware DDG (`prov: ["points-to"]`) | `param_in`, `param_out`, `summary`, semantic `ddg` |
+
+`-a 1`/`-a 2` timings and output are unaffected by the heavier levels — nothing at level 3+ runs
+unless requested. Flag gating: `--graphs sdg` requires `-a 4`; `--graphs cfg,dfg,pdg` and
+`--graph-field-depth` require `-a 3`.
+
+## Architecture & Tooling
+
+The dataflow substrate is hand-built from the standard library so every graph node joins back to a
+symbol-table signature by construction
+([#67](https://github.com/codellm-devkit/codeanalyzer-python/issues/67)):
+
+- **CFG source:** a hand-built **exceptional** control-flow graph from the stdlib `ast` module — the
+  same parse the symbol-table builder uses. One synthetic `@entry`/`@exit` per callable,
+  statement-level nodes keyed `line:col` in source order, with exception / `yield` / `await` edges
+  first-class.
+- **Def-use source:** hand-built **reaching definitions** (a classic forward worklist) over
+  k-limited access paths (`--graph-field-depth`, default 3) — there is no usable SSA library for
+  Python. This yields the level-3 syntactic DDG (name-equality, `prov: ["ssa"]`).
+- **Points-to oracle (level 4):** the **Scalpel** may-alias oracle — `ScalpelAliasOracle`
+  (`codeanalyzer/dataflow/scalpel_oracle.py`) — consumes Scalpel's SSA copy/const facts to answer
+  `may_alias(path_a, path_b)`, adding the alias-aware DDG edges (`prov: ["points-to"]`) and the
+  interprocedural summaries. `python-scalpel` is an **optional dependency**
+  (`pip install 'codeanalyzer-python[scalpel]'`); when it is absent or cannot resolve a construct,
+  the analyzer automatically falls back to the built-in `TypeBasedAliasOracle` (Jedi-inferred types;
+  unknown types conservatively alias), keeping the `may_alias` interface total. Call dispatch comes
+  from the merged Jedi(+PyCG) call graph, treated as a frozen oracle.
+- **Summaries:** relational formal-in → formal-out flows composed bottom-up over the Tarjan SCC
+  condensation of the call graph, a monotone fixpoint within SCCs; globals ride as extra formals,
+  closure captures bind at definition sites.
+- **Slicing and taint are the SDK's responsibility.** A backward slicer ships in-process
+  (`codeanalyzer.dataflow.slicing`), but only as an **internal validation utility** for the L3/L4
+  gates — it is not a product surface. Once the SDG is emitted, slicing and taint become
+  language-independent labeled reachability and belong to the CLDK SDK across the provider/client
+  boundary; the analyzer emits the `summary` substrate and **no `taint_flows` section**.
+- **Precision posture:** sound-leaning and over-approximate — prefer false positives to missed
+  flows. **Known unsoundness (documented, not silently absorbed):** `eval`/`exec`, reflection
+  (`getattr`/`setattr` with dynamic names), monkey-patching, C extensions, `import` side effects,
+  and module top-level statements (globals are modeled as formals instead).
+
+## Output shape (canonical schema v2)
+
+Every run produces the same envelope — an `Analysis` document — regardless of level; deeper levels
+just populate more of the same tree:
 
-### `analysis.json` (default)
+```jsonc
+{
+  "schema_version": "2.0.0",
+  "language": "python",
+  "max_level": 4,                 // the level this run was produced at
+  "k_limit": 3,                   // access-path depth bound (--graph-field-depth); L3+ only
+  "analyzer": { "name": "codeanalyzer-python", "version": "1.0.0" },
+  "application": {
+    "id": "can://python/<app>",
+    "kind": "application",
+    "symbol_table": {             // relative POSIX path → module
+      "pkg/mod.py": {
+        "id": "can://python/<app>/pkg/mod.py",
+        "kind": "module",
+        "source": "…full file text, stored once per module…",
+        "types":     { "<Class>": { "id": "…", "kind": "class", "callables": { /* methods */ } } },
+        "functions": { "<sig>":   { /* callable, see below */ } }
+      }
+    },
+    "call_graph": [ { "src": "can://…/main(a)", "dst": "can://…/helper(x)",
+                      "weight": 1, "prov": ["jedi", "pycg"] } ],
+    "external_symbols": {         // imported/builtin call targets, keyed by id
+      "can://python/<app>/@external/os/getcwd":
+        { "id": "can://python/<app>/@external/os/getcwd", "kind": "external",
+          "name": "getcwd", "module": "os" }
+    },
+    "param_in":  [ { "src": "can://…/main(a)@6:4/actual_in:0", "dst": "can://…/helper(x)@formal_in:0" } ],
+    "param_out": [ { "src": "can://…/helper(x)@formal_out",   "dst": "can://…/main(a)@6:4/actual_out" } ]
+  }
+}
+```
 
-A `PyApplication` document — the canonical CLDK contract:
+A **callable** (function or method) carries its own CPG, keyed by node id:
 
 ```jsonc
 {
-  "symbol_table": { /* file path → module (classes, functions, variables, imports, …) */ },
-  "call_graph":   [ /* CALL_DEP edges: { source, target, weight, provenance } keyed by callable signature */ ]
+  "id": "can://…/main(a)", "kind": "function",
+  "span": { "start": [5, 0], "end": [7, 12], "bytes": [43, 86] },  // byte offsets into module.source
+  "body": {                                       // node id → node
+    "@entry": { "kind": "entry" },
+    "6:4":    { "kind": "statement", "span": { … } },
+    "6:8":    { "kind": "call", "span": { … }, "callee": "can://…/helper(x)" },  // callee null until L2
+    "@formal_in:0":    { "kind": "formal_in", "of": "a" },              // L4 param vertices
+    "6:4/actual_in:0": { "kind": "actual_in", "of": "a", "parent": "6:4" },
+    "@exit":  { "kind": "exit" }
+  },
+  "cfg":     [ { "src": "@entry", "dst": "6:4", "kind": "fallthrough" } ],    // L3
+  "cdg":     [ { "src": "@entry", "dst": "6:4" } ],                           // L3
+  "ddg":     [ { "src": "6:4", "dst": "7:4", "var": "h", "prov": ["ssa"] } ], // L3 ssa / L4 points-to
+  "summary": [ { "src": "6:4/actual_in:0", "dst": "6:4/actual_out" } ]        // L4
 }
 ```
 
-By default this is printed to stdout in JSON; with `--output` it is written to `analysis.json` (or
-`analysis.msgpack` with `--format msgpack`, a more compact binary format).
+Notable properties:
+
+- **Durable `can://` ids** identify every node at callable granularity and above
+  (`can://python/<app>/<file>/<callable-sig>`); nodes below a callable use ordinal ids
+  (`@entry`, `@exit`, `line:col`, `@formal_in:N`, `line:col/actual_in:N`).
+- **`source` lives once per module**; every node's text is the `module.source[span.bytes]` slice.
+- **Cross-function edges** — `call_graph`, `param_in`, `param_out` — live at **application** scope;
+  the intraprocedural `cfg`/`cdg`/`ddg` and the `summary` edges live **on the callable**.
+- **No dangling endpoints** — every `call_graph` `src`/`dst` joins the id space: declared
+  callables by their tree id, imported/builtin targets by a `…/@external/<module>/<name>` id
+  homed in `application.external_symbols`.
+- **Breaking change from v1:** there is no more flat top-level `symbol_table`/`call_graph`, and no
+  separate program-graphs section. Everything now hangs off `application`, and the dataflow graphs
+  are inlined on each callable. Read `analysis.application.symbol_table` (was
+  `analysis.symbol_table`) and `analysis.application.call_graph` (was `analysis.call_graph`).
+
+## Output targets
+
+`canpy` builds one analysis in memory and can emit it three ways (`--emit`):
+
+### `analysis.json` (default)
+
+The `Analysis` envelope described above. By default it is printed to stdout as JSON; with `--output`
+it is written to `analysis.json` (or `analysis.msgpack` with `--format msgpack`, a more compact
+binary format).
 
 ### Neo4j graph
 
-`--emit neo4j` projects the same analysis into a labeled property graph. Every node label is
-`Py`-prefixed and every relationship type is `PY_`-prefixed (e.g. `:PyClass`, `PY_CALLS`) so multiple
-language analyzers can share one database without label or relationship-type collisions. Declarations
-are keyed by their signature under a shared `:PySymbol` label; calls, imports, inheritance,
-decorators, and call sites are relationships:
+`--emit neo4j` projects the same schema v2.0.0 analysis into a labeled property graph. Every node
+label is `Py`-prefixed and every relationship type is `PY_`-prefixed (e.g. `:PyClass`, `PY_CALLS`)
+so multiple language analyzers can share one database without label or relationship-type collisions.
+Declarations are keyed by their **`can://` id** under a shared `:PySymbol` label; calls, imports,
+inheritance, decorators, and call sites are relationships. At `-a 3`/`-a 4` the projection gains the
+**CPG overlay** — `:PyCFGNode` nodes (statements, and at level 4 the parameter vertices) wired by
+`PY_CFG_NEXT`/`PY_CDG`/`PY_DDG`, plus the level-4 `PY_PARAM_IN`/`PY_PARAM_OUT`/`PY_SUMMARY` edges:
 
 - **Without `--neo4j-uri`** — writes a self-contained `graph.cypher` (constraints + indexes, a scoped
   wipe, then batched `MERGE`s). Load it with `cypher-shell < graph.cypher`. Needs no extra
@@ -519,10 +705,11 @@ canpy -i ./my-project --emit neo4j     # credentials picked up from the environm
 ### Schema contract
 
 `--emit schema` writes the machine-readable, version-stamped Neo4j schema (`schema.json`: node labels,
-relationships, properties, constraints, and indexes). It needs no project and is checked into the repo
-as `schema.neo4j.json` and bundled in every release as a GitHub Release asset, so a consumer can
-validate producer/consumer compatibility without invoking the tool. The shape of the contract matches
-the [`codeanalyzer-typescript`](https://github.com/codellm-devkit/codeanalyzer-typescript) backend.
+relationships, properties, constraints, and indexes; currently `schema_version` `2.0.0`). It needs no
+project and is checked into the repo as `schema.neo4j.json` and bundled in every release as a GitHub
+Release asset, so a consumer can validate producer/consumer compatibility without invoking the tool.
+The shape of the contract matches the
+[`codeanalyzer-typescript`](https://github.com/codellm-devkit/codeanalyzer-typescript) backend.
 
 A UML of the `analysis.json` schema (the `PyApplication` containment tree) is checked in as
 [`schema-uml.drawio`](./schema-uml.drawio), and the property-graph schema as