codmap 0.0.14__tar.gz → 0.0.15__tar.gz

{codmap-0.0.14 → codmap-0.0.15}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: codmap
-Version: 0.0.14
+Version: 0.0.15
 Summary: Static analyzer that turns a package's source into a queryable code graph.
 Author-email: kogriv <kogriv@gmail.com>
 License-Expression: MIT

{codmap-0.0.14 → codmap-0.0.15}/codemap/serve/check.py

@@ -104,6 +104,10 @@ def render_check(query, contract: ArchitectureContract, violations: list[Violati
                 "and this exits 0. Use `--require-contract` to make a missing contract a "
                 "failure, or `--root DIR` if the file lives elsewhere._\n")
     if not violations:
+        # R1-C49-f1 (consumer, issue #18): every enforced rule must name itself here. A
+        # rule that ran and stayed silent is the R1-C30-f2 defect from the other side —
+        # there the reader concluded more than was checked, here less. `tests/
+        # test_r1c49_type_only_cycles.py` fails if a new rule is added and not listed.
         rules = []
         if contract.layers:
             rules.append(f"layered ({len(contract.layers)})")
@@ -115,6 +119,8 @@ def render_check(query, contract: ArchitectureContract, violations: list[Violati
             rules.append("no_cycles")
         if contract.no_lazy_cycles:
             rules.append("no_lazy_cycles")
+        if contract.no_type_only_cycles:
+            rules.append("no_type_only_cycles")
         if contract.exhaustive:
             rules.append("exhaustive")
         return (f"# Architecture check — `{target}`\n\n"

{codmap-0.0.14 → codmap-0.0.15}/codmap.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: codmap
-Version: 0.0.14
+Version: 0.0.15
 Summary: Static analyzer that turns a package's source into a queryable code graph.
 Author-email: kogriv <kogriv@gmail.com>
 License-Expression: MIT

{codmap-0.0.14 → codmap-0.0.15}/pyproject.toml

@@ -9,7 +9,7 @@ build-backend = "setuptools.build_meta"
 # version. README says this plainly, since `pip install codmap` / `import codemap` is a
 # seam a reader will otherwise hit by surprise.
 name = "codmap"
-version = "0.0.14"
+version = "0.0.15"
 description = "Static analyzer that turns a package's source into a queryable code graph."
 readme = "README.md"
 # M20/D1: measured, not assumed. Each release of the declared range runs the full suite in

{codmap-0.0.14 → codmap-0.0.15}/tests/test_r1c49_type_only_cycles.py

@@ -204,3 +204,30 @@ def test_the_reports_carry_both_kinds_and_say_zero(both, tmp_path):
     quiet = Query(extract(str(_pkg(tmp_path, {"a": "from .b import x\n", "b": "x = 1\n"}))))
     assert build_architecture(quiet)["type_only_cycles"] == []
     assert "and 0 through an import under `if TYPE_CHECKING:`" in render_dependencies(quiet)
+
+
+# -- f1: a rule that ran must name itself ---------------------------------------------------
+
+def test_every_enforced_rule_names_itself_in_the_passing_line(tmp_path):
+    """Reported by the consumer the day they took 0.0.14: `no_type_only_cycles` was
+    enforced and absent from "Rules enforced", and a contract holding only that rule
+    printed "Rules enforced: ." — the R1-C30-f2 defect from the other side. The loop is
+    over the contract's own fields, so a rule added later without a line here fails."""
+    import dataclasses
+    quiet = Query(extract(str(_pkg(tmp_path, {"a": "from .b import x\n", "b": "x = 1\n"}))))
+    skip = {"error", "path"}
+    names = [f.name for f in dataclasses.fields(arch.ArchitectureContract) if f.name not in skip]
+    assert "no_type_only_cycles" in names
+    for name in names:
+        value = {"layers": ("core",), "independent": (("core", "data"),),
+                 "forbidden": (("core", "data"),)}.get(name, True)
+        contract = arch.ArchitectureContract(**{name: value})
+        assert not contract.is_empty(), f"{name} alone must be a contract"
+        md = render_check(quiet, contract, arch.check_contract(quiet, contract))
+        assert "Contract satisfied" in md, f"{name} alone should pass on a two-module tree"
+        listed = md.split("Rules enforced:")[1].split(".\n")[0]
+        assert listed.strip(), f"{name} ran and the line named nothing"
+        stem = {"layers": "layered", "independent": "independent",
+                "forbidden": "forbidden"}.get(name, name)
+        assert stem in listed, f"{name} was enforced but is missing from {listed!r}"
+