behavior-contracts 0.9.2__tar.gz → 0.9.3__tar.gz

{behavior_contracts-0.9.2 → behavior_contracts-0.9.3}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: behavior-contracts
-Version: 0.9.2
+Version: 0.9.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

{behavior_contracts-0.9.2 → behavior_contracts-0.9.3}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "behavior-contracts"
-version = "0.9.2"
+version = "0.9.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.9.2 → behavior_contracts-0.9.3}/src/behavior_contracts/behavior.py

@@ -31,7 +31,7 @@ import threading
 from typing import Any, Callable, Dict, List, Mapping, Optional
 
 from .expr_eval import ExprFailure, evaluate as evaluate_expression
-from .plan import ELEMENT_POLICY_KINDS, run_plan
+from .plan import ELEMENT_POLICY_KINDS, run_plan, _unproduced_value
 
 Value = Any
 
@@ -509,20 +509,27 @@ def run_behavior(
             if into is None and "into" not in m:
                 return {"ok": collected}
 
-            # into（v2）: over と同じ長さ・順序の augment 済みリスト（skip 要素は無変更）。
+            # into（v2）: over と同じ長さ・順序の augment 済みリスト。guard-skip 要素は無変更で pass
+            # through するが、connection 型 into（#182）は空 connection（_unproduced_value）で埋める
+            # ＝writeUnproduced の whole-node skip と同一 SSoT。
+            node_rk = _node_relation_kind(node)
             augmented: List[Value] = []
             k = 0
             for i, el in enumerate(over):
                 if k < len(kept_idx) and kept_idx[k] == i:
-                    if not isinstance(el, dict):
-                        _bfail(
-                            "MAP_INTO_ELEMENT_NOT_OBJECT",
-                            f"map '{op['id']}': 'into' requires object elements (element {i} is not an object)",
-                        )
-                    augmented.append({**el, into: collected[k]})
+                    into_val: Value = collected[k]
                     k += 1
+                elif node_rk == "connection":
+                    into_val = _unproduced_value(node_rk)
                 else:
                     augmented.append(el)
+                    continue
+                if not isinstance(el, dict):
+                    _bfail(
+                        "MAP_INTO_ELEMENT_NOT_OBJECT",
+                        f"map '{op['id']}': 'into' requires object elements (element {i} is not an object)",
+                    )
+                augmented.append({**el, into: into_val})
             return {"ok": augmented}
 
         if kind == "fanout":
@@ -581,7 +588,6 @@ def run_behavior(
 
     for i, s in enumerate(run["states"]):
         if s is not None and s.get("status") == "skipped":
-            rk = _node_relation_kind(body[i])
-            results[ops[i]["id"]] = {"items": [], "cursor": None} if rk == "connection" else None
+            results[ops[i]["id"]] = _unproduced_value(_node_relation_kind(body[i]))
 
     return evaluate_expression(comp["output"], base_scope())

{behavior_contracts-0.9.2 → behavior_contracts-0.9.3}/src/behavior_contracts/primitives.py

@@ -21,7 +21,7 @@ from concurrent.futures import ThreadPoolExecutor
 from typing import Any, Callable, List, Mapping, Optional, Sequence, TypeVar
 
 from .expr_eval import Scope, Value, evaluate
-from .plan import run_plan  # re-export（SSoT）
+from .plan import run_plan, _unproduced_value  # re-export（SSoT）
 
 Expr = Any  # 未評価の Expression IR ノード（primitive の被演算子）
 T = TypeVar("T")
@@ -200,18 +200,18 @@ def map_with_concurrency(
 
 # ── (d) skip / unproduced-value helper ────────────────────────────────────────
 def unproduced_value(kind: Optional[str]) -> Value:
-    """未生成 Port（Skip）の表現値。single→None / connection→空 connection。"""
-    return {"items": [], "cursor": None} if kind == "connection" else None
+    """未生成 Port（Skip）の表現値。single→None / connection→空 connection。判定 SSoT は plan._unproduced_value。"""
+    return _unproduced_value(kind)
 
 
 def skip_single() -> Value:
-    """single relation の未生成 = None。"""
-    return None
+    """single relation の未生成 = None（unproduced_value("single") の明示版）。"""
+    return _unproduced_value("single")
 
 
 def skip_connection() -> Value:
-    """connection relation の未生成 = {items:[],cursor:None}。"""
-    return {"items": [], "cursor": None}
+    """connection relation の未生成 = {items:[],cursor:None}（unproduced_value("connection") の明示版）。"""
+    return _unproduced_value("connection")
 
 
 # ── (e) hydration / relation helper ───────────────────────────────────────────

{behavior_contracts-0.9.2 → behavior_contracts-0.9.3}/src/behavior_contracts.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: behavior-contracts
-Version: 0.9.2
+Version: 0.9.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