behavior-contracts 0.7.2__tar.gz → 0.7.3__tar.gz

{behavior_contracts-0.7.2 → behavior_contracts-0.7.3}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: behavior-contracts
-Version: 0.7.2
+Version: 0.7.3
 Summary: Multi-language IR-Runtime common core (Python port). The COMMON 'thin core' primitives from dsl-contracts runtime-boundary.md — validate_envelope / evaluate_expression / render_template / run_plan / canonical_value / canonical_json / py_float_repr / assert_portable — with zero backend (DynamoDB/graphddb) dependencies.
 Author: foo-log
 License: MIT
@@ -60,12 +60,12 @@ string matching the conformance protocol's failure-code set.
 
 ## Conformance
 
-Runs the 7 shared suites (164 vectors) from `../conformance/vectors/*.json`
+Runs the 7 shared suites (165 vectors) from `../conformance/vectors/*.json`
 through this package per [`../conformance/PROTOCOL.md`](../conformance/PROTOCOL.md),
 including the pre-flight version fail-closed sweep.
 
 ```bash
-python -m behavior_contracts.conformance      # → "164 passed, 0 failed / 164 vectors across 7 suites"
+python -m behavior_contracts.conformance      # → "164 passed, 0 failed / 165 vectors across 7 suites"
 # or the console script:
 behavior-contracts-conformance
 ```

{behavior_contracts-0.7.2 → behavior_contracts-0.7.3}/README.md

@@ -48,12 +48,12 @@ string matching the conformance protocol's failure-code set.
 
 ## Conformance
 
-Runs the 7 shared suites (164 vectors) from `../conformance/vectors/*.json`
+Runs the 7 shared suites (165 vectors) from `../conformance/vectors/*.json`
 through this package per [`../conformance/PROTOCOL.md`](../conformance/PROTOCOL.md),
 including the pre-flight version fail-closed sweep.
 
 ```bash
-python -m behavior_contracts.conformance      # → "164 passed, 0 failed / 164 vectors across 7 suites"
+python -m behavior_contracts.conformance      # → "164 passed, 0 failed / 165 vectors across 7 suites"
 # or the console script:
 behavior-contracts-conformance
 ```

{behavior_contracts-0.7.2 → behavior_contracts-0.7.3}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "behavior-contracts"
-version = "0.7.2"
+version = "0.7.3"
 description = "Multi-language IR-Runtime common core (Python port). The COMMON 'thin core' primitives from dsl-contracts runtime-boundary.md — validate_envelope / evaluate_expression / render_template / run_plan / canonical_value / canonical_json / py_float_repr / assert_portable — with zero backend (DynamoDB/graphddb) dependencies."
 readme = "README.md"
 requires-python = ">=3.9"

{behavior_contracts-0.7.2 → behavior_contracts-0.7.3}/src/behavior_contracts/__init__.py

@@ -22,7 +22,7 @@ SPEC_VERSIONS = {
     "template": 1,
     "plan": 1,
     "canonical": 2,  # v2: obj 値の __proto__ own key を FORBIDDEN_KEY に（fail-closed）
-    "behavior": 2,  # v2: map.when / map.into / map.batched / handler ctx（bc#22。v1 IR の意味論は不変）
+    "behavior": 3,  # v3: first-class fanout node kind（deduped connection list-in fan-out）。v1/v2 意味論は不変（additive）
     "guard": 1,  # 初版（bc#25: assert_portable_component_graph の accept/reject を vector-pin）
     "c2": 1,  # 初版（bc#28: c2-catalog-swap — catalog-swap 実行 + IR 構造一致の 5 言語 pin）
 }
@@ -80,6 +80,7 @@ from .guard import (  # noqa: E402
 # ── behavior（component-graph IR + run_behavior） ──────────────────────────────
 from .behavior import (  # noqa: E402
     BehaviorFailure,
+    fanout_dedup_drop,
     run_behavior,
 )
 
@@ -143,6 +144,7 @@ __all__ = [
     "PortabilityError",
     # behavior
     "run_behavior",
+    "fanout_dedup_drop",
     "BehaviorFailure",
     # codec
     "decode_value",

{behavior_contracts-0.7.2 → behavior_contracts-0.7.3}/src/behavior_contracts/behavior.py

@@ -52,16 +52,20 @@ def _bfail(code: str, message: str) -> "None":
 
 
 def _node_kind(n: Mapping[str, Any]) -> str:
+    if "fanout" in n:
+        return "fanout"
     if "map" in n:
         return "map"
     if "cond" in n:
         return "cond"
     if "component" in n:
         return "componentRef"
-    _bfail("UNKNOWN_NODE_KIND", f"body node '{n.get('id', '?')}' is not componentRef/map/cond")
+    _bfail("UNKNOWN_NODE_KIND", f"body node '{n.get('id', '?')}' is not componentRef/map/cond/fanout")
 
 
 def _node_parent(n: Mapping[str, Any]) -> Optional[str]:
+    if "fanout" in n:
+        return n["fanout"].get("parent")
     if "map" in n:
         return n["map"].get("parent")
     if "cond" in n:
@@ -70,12 +74,14 @@ def _node_parent(n: Mapping[str, Any]) -> Optional[str]:
 
 
 def _node_bind_field(n: Mapping[str, Any]) -> Optional[str]:
-    if "map" in n or "cond" in n:
+    if "map" in n or "cond" in n or "fanout" in n:
         return None
     return n.get("bindField")
 
 
 def _node_policy(n: Mapping[str, Any]) -> Optional[str]:
+    if "fanout" in n:
+        return n["fanout"].get("policy")
     if "map" in n:
         return n["map"].get("policy")
     if "cond" in n:
@@ -84,6 +90,8 @@ def _node_policy(n: Mapping[str, Any]) -> Optional[str]:
 
 
 def _node_relation_kind(n: Mapping[str, Any]) -> Optional[str]:
+    if "fanout" in n:
+        return n["fanout"].get("relationKind")
     if "map" in n:
         return n["map"].get("relationKind")
     if "cond" in n:
@@ -91,6 +99,37 @@ def _node_relation_kind(n: Mapping[str, Any]) -> Optional[str]:
     return n.get("relationKind")
 
 
+def fanout_dedup_drop(aligned_bodies: List[Value], dedupe_key: str, drop: str,
+                      implicit_source: Optional[str]) -> List[Value]:
+    """THE ONE dedup/drop definition (behaviorVersion 3) — Python twin of behavior.ts fanoutDedupDrop.
+
+    Applies first-seen dedupe (by the body's ``dedupe_key`` field) + dangling drop (null/non-object/
+    absent-key body when ``drop=='dangling'``) + implicitSource strip to the aligned raw list; returns
+    the connection ``items`` (the wrap is done by the caller). MUST stay byte-equal to the TS/native defs.
+    """
+    items: List[Value] = []
+    seen: set = set()
+    for body in aligned_bodies:
+        rec = body if isinstance(body, dict) else None
+        key_val = rec.get(dedupe_key) if rec is not None else None
+        has_key = key_val is not None
+        if not has_key:
+            if drop == "dangling":
+                continue
+            items.append(body)
+            continue
+        seen_key = ("s:" + key_val) if isinstance(key_val, str) else ("j:" + repr(key_val))
+        if seen_key in seen:
+            continue
+        seen.add(seen_key)
+        if implicit_source is not None and rec is not None and implicit_source in rec:
+            copy = {k: v for k, v in rec.items() if k != implicit_source}
+            items.append(copy)
+        else:
+            items.append(body)
+    return items
+
+
 def _eval_ports(ports: Mapping[str, Any], scope: Dict[str, Value]) -> Dict[str, Value]:
     # key はソートせず宣言順のまま。FORBIDDEN_KEY 等は evaluate が投げる（fail-closed）。
     return {k: evaluate_expression(v, scope) for k, v in ports.items()}
@@ -235,6 +274,35 @@ def run_behavior(
                     augmented.append(el)
             return {"ok": augmented}
 
+        if kind == "fanout":
+            # fanout（v3）: over（id-list）→ dedup 済み 1 回の batched handler → dedupe/drop/strip →
+            # connection {items, cursor:None}。整列制約（MAP_BATCH_RESULT_MISMATCH）は適用されない。
+            f = node["fanout"]
+            over = evaluate_expression(f["over"], base_scope())
+            if not isinstance(over, list):
+                _bfail("FANOUT_OVER_NOT_ARRAY", f"fanout '{op['id']}': 'over' did not evaluate to an array")
+            handler = handlers.get(f["component"])
+            if handler is None:
+                _bfail("UNKNOWN_COMPONENT", f"component '{f['component']}' has no handler (fail-closed)")
+            items_ports: List[Value] = []
+            for el in over:
+                scope = {**base_scope(), f["as"]: el}
+                items_ports.append(_eval_ports(f["ports"], scope))
+            if not items_ports:
+                return {"ok": {"items": [], "cursor": None}}
+            outcome = handler({"items": items_ports}, {"nodeId": op["id"], "component": f["component"]})
+            if "error" in outcome:
+                return outcome
+            r = outcome["ok"]
+            if not isinstance(r, list) or len(r) != len(items_ports):
+                _bfail(
+                    "FANOUT_BATCH_RESULT_MISMATCH",
+                    f"fanout '{op['id']}': batched handler must return a list aligned to the deduped id list "
+                    f"(want {len(items_ports)}, got {len(r) if isinstance(r, list) else type(r).__name__})",
+                )
+            items_out = fanout_dedup_drop(r, f["dedupeKey"], f["drop"], f.get("implicitSource"))
+            return {"ok": {"items": items_out, "cursor": None}}
+
         # componentRef
         handler = handlers.get(node["component"])
         if handler is None:

{behavior_contracts-0.7.2 → behavior_contracts-0.7.3}/src/behavior_contracts.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: behavior-contracts
-Version: 0.7.2
+Version: 0.7.3
 Summary: Multi-language IR-Runtime common core (Python port). The COMMON 'thin core' primitives from dsl-contracts runtime-boundary.md — validate_envelope / evaluate_expression / render_template / run_plan / canonical_value / canonical_json / py_float_repr / assert_portable — with zero backend (DynamoDB/graphddb) dependencies.
 Author: foo-log
 License: MIT
@@ -60,12 +60,12 @@ string matching the conformance protocol's failure-code set.
 
 ## Conformance
 
-Runs the 7 shared suites (164 vectors) from `../conformance/vectors/*.json`
+Runs the 7 shared suites (165 vectors) from `../conformance/vectors/*.json`
 through this package per [`../conformance/PROTOCOL.md`](../conformance/PROTOCOL.md),
 including the pre-flight version fail-closed sweep.
 
 ```bash
-python -m behavior_contracts.conformance      # → "164 passed, 0 failed / 164 vectors across 7 suites"
+python -m behavior_contracts.conformance      # → "164 passed, 0 failed / 165 vectors across 7 suites"
 # or the console script:
 behavior-contracts-conformance
 ```

{behavior_contracts-0.7.2 → behavior_contracts-0.7.3}/tests/test_codegen_generated.py

@@ -110,7 +110,7 @@ def test_tampered_generated_module_is_loudly_rejected(tmp_path):
         code = f.read()
 
     # spec-version skew（焼き込み定数の改変）→ ロード時 RuntimeError。
-    skew = code.replace('"behavior": 2', '"behavior": 99')
+    skew = code.replace('"behavior": 3', '"behavior": 99')
     assert skew != code
     p = tmp_path / "skew.py"
     p.write_text(skew, encoding="utf-8")

{behavior_contracts-0.7.2 → behavior_contracts-0.7.3}/tests/test_conformance.py

@@ -1,4 +1,4 @@
-"""conformance runner を pytest から実行する（164 vectors 全 PASS を要求）。"""
+"""conformance runner を pytest から実行する（165 vectors 全 PASS を要求）。"""
 
 from __future__ import annotations
 

{behavior_contracts-0.7.2 → behavior_contracts-0.7.3}/tests/test_public_api.py

@@ -469,7 +469,7 @@ class TestValidateEnvelope:
             "template": 1,
             "plan": 1,
             "canonical": 2,
-            "behavior": 2,
+            "behavior": 3,
             "guard": 1,
             "c2": 1,
         }