behavior-contracts 0.8.2__tar.gz → 0.8.4__tar.gz

{behavior_contracts-0.8.2 → behavior_contracts-0.8.4}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: behavior-contracts
-Version: 0.8.2
+Version: 0.8.4
 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.8.2 → behavior_contracts-0.8.4}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "behavior-contracts"
-version = "0.8.2"
+version = "0.8.4"
 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.8.2 → behavior_contracts-0.8.4}/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": 4,  # v4（#128/A6・SCP-only）: provenance token + 全ノード型確定を serialized-IR 不変条件へ格上げ（released 3=fanout を retire）。v1–v3 意味論は不変だが旧 runtime（behavior≤3）は新 IR を loud reject する（機構 = 生成モジュールの baked-spec-skew ゲート[EXPECTED_SPEC_VERSIONS.behavior vs runtime] + conformance pre-flight version fail-closed。validate_envelope は envelope の specVersion「major.minor」文字列を見るのであって behaviorVersion 整数ではない）
+    "behavior": 5,  # v5: an OMITTED input key for a port DECLARED optional (inputPorts[name].required === false — the opt portable-type constructor) binds to null; the runner reads the component's own inputPorts declaration when building the entry scope. A required port / an undeclared name is unaffected (still UNKNOWN_BINDING). An old runtime (behavior<=4) raises UNKNOWN_BINDING where a v5 vector expects the bound null, so v5 vectors are fail-closed against it by the conformance pre-flight version gate. ｜ 旧 v4 # v4（#128/A6・SCP-only）: provenance token + 全ノード型確定を serialized-IR 不変条件へ格上げ（released 3=fanout を retire）。v1–v3 意味論は不変だが旧 runtime（behavior≤3）は新 IR を loud reject する（機構 = 生成モジュールの baked-spec-skew ゲート[EXPECTED_SPEC_VERSIONS.behavior vs runtime] + conformance pre-flight version fail-closed。validate_envelope は envelope の specVersion「major.minor」文字列を見るのであって behaviorVersion 整数ではない）
     "guard": 2,  # v2（#128/A6）: assert_compiled + UNTYPED_NODE + operator 型シグネチャ SSoT の accept/reject を vector-pin（v1 は bc#25 の可搬性 pin のみ）
     "c2": 1,  # 初版（bc#28: c2-catalog-swap — catalog-swap 実行 + IR 構造一致の 5 言語 pin）
     "provenance": 1,  # 初版（#128/A6）: シリアライズ境界の canonical fingerprint 照合（改竄/stale の 5 言語 loud reject）+ 非空虚性（CONFORMANCE_MUTATE）

{behavior_contracts-0.8.2 → behavior_contracts-0.8.4}/src/behavior_contracts/behavior.py

@@ -159,6 +159,14 @@ def run_behavior(
     if comp is None:
         _bfail("UNKNOWN_ENTRY", f"component '{entry if entry is not None else '<first>'}' not found in IR")
 
+    # `{opt:T}` と宣言された input port（PortSchema ``required: False``）は **省略可**で、値域は
+    # ``T | None``。「キーごと省略」と「None を渡す」は同じ「値が無い」の 2 通りの綴りなので、省略
+    # されたキーは None に束縛する（可搬 IR が既に持つ宣言を読むだけ）。required な port と未宣言の
+    # 名前は束縛しない: 未束縛のまま参照されれば ``UNKNOWN_BINDING``（fail-closed はそのまま）。
+    for _p_name, _p_schema in (comp.get("inputPorts") or {}).items():
+        if isinstance(_p_schema, Mapping) and _p_schema.get("required") is False and _p_name not in input:
+            input[_p_name] = None
+
     body: List[Mapping[str, Any]] = list(comp["body"])
     id_to_index = {n["id"]: i for i, n in enumerate(body)}
 

{behavior_contracts-0.8.2 → behavior_contracts-0.8.4}/src/behavior_contracts/conformance.py

@@ -264,6 +264,8 @@ def _build_handlers(spec: Dict[str, Any]):
     v2 の観測用 outcome（PROTOCOL.md §3.5）:
       ``{"echo":"ctx"}``   → ``{ok: {nodeId, component}}``（handler ctx の中身を返す）
       ``{"echo":"items"}`` → ``{ok: ports["items"]}``（batched handler が受け取った items）
+      ``{"echo":"port","port":"<name>"}`` → ``{ok: ports["<name>"]}``（当該 port が受け取った値その
+      ものを結果にして **port 面を可観測**にする。受け取っていない port は null）
     """
     handlers = {}
     for name, raw in spec.items():
@@ -282,10 +284,19 @@ def _build_handlers(spec: Dict[str, Any]):
                 else:
                     with lock:
                         o = queue.pop(0) if len(queue) > 1 else queue[0]
-                if o.get("echo") == "ctx":
+                echo = o.get("echo")
+                if echo == "ctx":
                     return {"ok": {"nodeId": ctx["nodeId"], "component": ctx["component"]}}
-                if o.get("echo") == "items":
+                if echo == "items":
                     return {"ok": ports.get("items")}
+                if echo == "port":
+                    return {"ok": ports.get(o.get("port"))}
+                # 閉集合外の echo は vector 記述ミス — LOUD に落とす（PROTOCOL.md §3.5）。
+                # ok/error 読みへ落として黙って誤判定しない。
+                if echo is not None:
+                    raise ValueError(
+                        f'conformance: unknown echo directive {echo!r} (expected "ctx" | "items" | "port")'
+                    )
                 if "ok" in o:
                     return {"ok": decode_value(o["ok"])}
                 return {"error": o["error"]}

{behavior_contracts-0.8.2 → behavior_contracts-0.8.4}/src/behavior_contracts.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: behavior-contracts
-Version: 0.8.2
+Version: 0.8.4
 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.8.2 → behavior_contracts-0.8.4}/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": 4', '"behavior": 99')
+    skew = code.replace('"behavior": 5', '"behavior": 99')
     assert skew != code
     p = tmp_path / "skew.py"
     p.write_text(skew, encoding="utf-8")

{behavior_contracts-0.8.2 → behavior_contracts-0.8.4}/tests/test_public_api.py

@@ -469,7 +469,7 @@ class TestValidateEnvelope:
             "template": 1,
             "plan": 1,
             "canonical": 2,
-            "behavior": 4,
+            "behavior": 5,
             "guard": 2,
             "c2": 1,
             "provenance": 1,