docassert 0.11.0__tar.gz → 0.12.1__tar.gz

{docassert-0.11.0/docassert.egg-info → docassert-0.12.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: docassert
-Version: 0.11.0
+Version: 0.12.1
 Summary: Unit testing for business documents — validate structured Markdown docs against a configurable audit standard.
 Author: C4G Enterprises Inc.
 License: Apache-2.0

{docassert-0.11.0 → docassert-0.12.1}/docassert/__init__.py

@@ -5,4 +5,4 @@ standard: deterministic structural checks that gate a merge, plus optional
 AI-graded semantic checks that advise.
 """
 
-__version__ = "0.11.0"
+__version__ = "0.12.1"

{docassert-0.11.0 → docassert-0.12.1}/docassert/_data/consistency.yaml

@@ -39,7 +39,25 @@ coverage:
 # (0 = no cap).
 alignment_limit: 25
 
+# Rules match in order; the first matching rule grades a link. Typed rules
+# (child_type/parent_type) come before the generic ones.
 alignment:
+  - relation: traces
+    child_type: PR
+    parent_type: BR
+    prompt: >
+      The PARENT is a business outcome or KPI; the CHILD is a product
+      mechanism tracing to it. Judge whether delivering the child would
+      plausibly and materially contribute to achieving the parent outcome.
+      The child need not restate the metric; penalise only mechanisms that
+      would not meaningfully move the parent outcome, or that contradict it.
+  - relation: traces
+    child_type: US
+    prompt: >
+      The CHILD is a user story implementing the PARENT requirement. A story
+      may deliver one slice of the requirement, with sibling stories covering
+      the rest, so do not penalise a story for partial coverage. Penalise
+      stories that implement nothing the parent states or contradict it.
   - relation: traces
     prompt: >
       Judge whether the CHILD requirement genuinely refines or implements the
@@ -47,8 +65,11 @@ alignment:
       related. Penalise links that don't actually follow from the parent.
   - relation: verifies
     prompt: >
-      Judge whether the acceptance criterion actually verifies the requirement
-      it targets: testable, and covering the requirement's intent.
+      Judge whether the acceptance criterion concretely and testably verifies
+      some aspect of the requirement it targets. Several criteria may share
+      one requirement, each covering a slice, so do not penalise a criterion
+      for leaving other clauses to its siblings. Penalise criteria that are
+      untestable, verify nothing the requirement states, or contradict it.
   - relation: tests
     prompt: >
       Judge whether the test case actually exercises the acceptance criterion

{docassert-0.11.0 → docassert-0.12.1}/docassert/consistency.py

@@ -143,13 +143,29 @@ DEFAULT_ALIGNMENT_LIMIT = 25
 
 def run_alignment_checks(graph, config) -> list[CheckResult]:
     edges = []  # (prompt, parent, child, relation)
+    seen: set[tuple[str, str, str]] = set()
+    # Rules match in order and the first matching rule grades a link, so a
+    # typed rule (child_type/parent_type) placed before the generic one can
+    # give e.g. PR->BR traces a contribution rubric while other traces keep
+    # the refinement rubric.
     for rule in config.get("alignment", []):
         relation, prompt = rule["relation"], rule.get("prompt", "").strip()
+        child_type = rule.get("child_type")
+        parent_type = rule.get("parent_type")
         for child in graph.all_items():
+            if child_type and child.type != child_type:
+                continue
             for target in child.targets(relation):
                 parent = graph.canonical(target)
-                if parent is not None:
-                    edges.append((prompt, parent, child, relation))
+                if parent is None:
+                    continue
+                if parent_type and parent.type != parent_type:
+                    continue
+                key = (child.id, relation, parent.id)
+                if key in seen:
+                    continue
+                seen.add(key)
+                edges.append((prompt, parent, child, relation))
 
     if not edges:
         return []

{docassert-0.11.0 → docassert-0.12.1/docassert.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: docassert
-Version: 0.11.0
+Version: 0.12.1
 Summary: Unit testing for business documents — validate structured Markdown docs against a configurable audit standard.
 Author: C4G Enterprises Inc.
 License: Apache-2.0

{docassert-0.11.0 → docassert-0.12.1}/tests/test_semantic.py

@@ -120,3 +120,62 @@ def test_alignment_limit_zero_grades_everything(tmp_path, monkeypatch):
               "alignment_limit": 0}
     consistency.run_alignment_checks(graph, config)
     assert len(calls) == 4
+
+
+# ── typed rules: first match grades the link ─────────────────────────────────
+def _typed_graph():
+    from docassert.graph import Graph
+    g = Graph()
+    g.add(Item("TST-BR-001", "TST", "BR", "the business outcome", {},
+               "d.md", "brd", "approved", "S"))
+    g.add(Item("TST-PR-001", "TST", "PR", "the product mechanism",
+               {"traces": ["TST-BR-001"]}, "d.md", "prd", "approved", "S"))
+    g.add(Item("TST-US-001", "TST", "US", "the story",
+               {"traces": ["TST-PR-001"]}, "d.md", "user-story",
+               "approved", "S"))
+    return g
+
+
+TYPED_CONFIG = {"alignment": [
+    {"relation": "traces", "child_type": "PR", "parent_type": "BR",
+     "prompt": "contribution rubric"},
+    {"relation": "traces", "prompt": "refinement rubric"},
+], "alignment_limit": 0}
+
+
+def test_typed_rule_grades_matching_links_first(tmp_path, monkeypatch):
+    _use_tmp_cache(tmp_path, monkeypatch)
+    prompts = []
+    monkeypatch.setattr(semantic, "_grade", lambda p, c, m: (
+        prompts.append(p) or {"score": 1.0, "pass": True, "rationale": "ok"}))
+    results = consistency.run_alignment_checks(_typed_graph(), TYPED_CONFIG)
+    graded = {r.check_id for r in results if r.check_id.startswith("align:")}
+    assert graded == {"align:TST-PR-001-traces-TST-BR-001",
+                      "align:TST-US-001-traces-TST-PR-001"}
+    assert sorted(prompts) == ["contribution rubric", "refinement rubric"]
+
+
+def test_typed_rule_does_not_double_grade(tmp_path, monkeypatch):
+    _use_tmp_cache(tmp_path, monkeypatch)
+    calls = []
+    monkeypatch.setattr(semantic, "_grade", lambda p, c, m: (
+        calls.append((p, c)) or {"score": 1.0, "pass": True, "rationale": "ok"}))
+    consistency.run_alignment_checks(_typed_graph(), TYPED_CONFIG)
+    assert len(calls) == 2  # one grade per link, despite two matching relations
+
+
+def test_packaged_defaults_carry_typed_rules():
+    from docassert import config as config_mod
+    cfg = config_mod.read_consistency_config()
+    rules = cfg.get("alignment", [])
+    typed = [r for r in rules if r.get("child_type") == "PR"
+             and r.get("parent_type") == "BR"]
+    assert typed and rules.index(typed[0]) < len(rules) - 1
+    assert "contribute" in typed[0]["prompt"]
+    verifies = [r for r in rules if r["relation"] == "verifies"][0]
+    assert "slice" in verifies["prompt"]
+    story = [r for r in rules if r.get("child_type") == "US"][0]
+    assert "slice" in story["prompt"]
+    assert rules.index(story) < rules.index(
+        [r for r in rules if r["relation"] == "traces"
+         and not r.get("child_type") and not r.get("parent_type")][0])