test(schema): L1⊆L2 superset gate + conformance for max_level 2

Author: rahlk

test/conftest_v2.py

@@ -43,8 +43,12 @@ def assert_conformant(payload: dict, max_level: int) -> None:
         text = mod["source"].encode("utf-8")[lo:hi].decode("utf-8")
         assert text.lstrip().startswith(("def ", "async def ", "@")), f"{c['id']} span mismatch"
         for node in c.get("body", {}).values():
-            if node.get("kind") == "call" and max_level >= 2:
-                assert node.get("callee") is None or isinstance(node["callee"], str)
+            if node.get("kind") == "call" and "callee" in node:
+                assert isinstance(node["callee"], str), "resolved callee must be a string id"
+    if max_level >= 2:
+        for e in app.get("call_graph", []):
+            assert isinstance(e["source"], str), f"call_graph edge source must be string: {e}"
+            assert isinstance(e["target"], str), f"call_graph edge target must be string: {e}"
     for mod, c in _iter_callables(app):
         node_ids = set(c.get("body", {}).keys())
         for lst in ("cfg", "cdg", "ddg", "summary"):

test/test_v2_superset.py

@@ -0,0 +1,54 @@
+import json
+import subprocess
+import sys
+from pathlib import Path
+
+from conftest_v2 import assert_conformant
+
+
+def _run(proj, level):
+    out = subprocess.run(
+        [sys.executable, "-m", "codeanalyzer", "-i", str(proj), "-a", str(level), "--no-venv"],
+        capture_output=True, text=True, check=True,
+    ).stdout
+    return json.loads(out)
+
+
+def _callables(app):
+    def wc(c):
+        yield c
+        for ic in (c.get("inner_callables") or {}).values():
+            yield from wc(ic)
+        for cl in (c.get("inner_classes") or {}).values():
+            yield from wcl(cl)
+
+    def wcl(cl):
+        for m in (cl.get("methods") or {}).values():
+            yield from wc(m)
+        for ic in (cl.get("inner_classes") or {}).values():
+            yield from wcl(ic)
+
+    for mod in app["symbol_table"].values():
+        for fn in (mod.get("functions") or {}).values():
+            yield from wc(fn)
+        for cl in (mod.get("classes") or {}).values():
+            yield from wcl(cl)
+
+
+def test_l1_subset_of_l2(tmp_path):
+    proj = tmp_path / "proj"
+    proj.mkdir()
+    (proj / "m.py").write_text("def g():\n    return 1\ndef f():\n    return g()\n", encoding="utf-8")
+    l1, l2 = _run(proj, 1), _run(proj, 2)
+    assert_conformant(l1, max_level=1)
+    assert_conformant(l2, max_level=2)
+    a1, a2 = l1["application"], l2["application"]
+    # every module + callable id present at L1 is present at L2
+    ids1 = {c["id"] for c in _callables(a1)}
+    ids2 = {c["id"] for c in _callables(a2)}
+    assert ids1 <= ids2, "L2 dropped a callable present at L1"
+    # every L1 body node key is present at L2 (callee may refine null→id)
+    for c1 in _callables(a1):
+        c2 = next(c for c in _callables(a2) if c["id"] == c1["id"])
+        assert set(c1.get("body", {})) <= set(c2.get("body", {})), \
+            f"L2 dropped a body node from {c1['id']}"