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

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: behavior-contracts
-Version: 0.7.2
+Version: 0.8.0
 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 8 shared suites (173 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      # → "173 passed, 0 failed / 173 vectors across 8 suites"
 # or the console script:
 behavior-contracts-conformance
 ```

{behavior_contracts-0.7.2 → behavior_contracts-0.8.0}/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 8 shared suites (173 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      # → "173 passed, 0 failed / 173 vectors across 8 suites"
 # or the console script:
 behavior-contracts-conformance
 ```

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

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "behavior-contracts"
-version = "0.7.2"
+version = "0.8.0"
 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.8.0}/src/behavior_contracts/__init__.py

@@ -22,9 +22,10 @@ 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 の意味論は不変）
-    "guard": 1,  # 初版（bc#25: assert_portable_component_graph の accept/reject を vector-pin）
+    "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 整数ではない）
+    "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）
 }
 
 # validate_envelope に渡す graphddb 形式の既定 supported 版（``"<major>.<minor>"``）。
@@ -80,6 +81,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 +145,7 @@ __all__ = [
     "PortabilityError",
     # behavior
     "run_behavior",
+    "fanout_dedup_drop",
     "BehaviorFailure",
     # codec
     "decode_value",

{behavior_contracts-0.7.2 → behavior_contracts-0.8.0}/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.8.0}/src/behavior_contracts/conformance.py

@@ -39,6 +39,7 @@ from . import (
     encode_value,
     evaluate_expression,
     final_tree,
+    fingerprint_component_graph,
     py_float_repr,
     render_template,
     run_behavior,
@@ -93,6 +94,7 @@ def _preflight(vectors_dir: Path) -> Dict[str, Any]:
         ("behavior.json", "behavior", "behaviorVersion", SPEC_VERSIONS["behavior"]),
         ("guard.json", "guard", "guardVersion", SPEC_VERSIONS["guard"]),
         ("c2-catalog-swap.json", "c2", "c2Version", SPEC_VERSIONS["c2"]),
+        ("provenance.json", "provenance", "provenanceVersion", SPEC_VERSIONS["provenance"]),
     ]
     loaded = [(f, suite, vk, want, _load_json(vectors_dir, f)) for (f, suite, vk, want) in specs]
     mismatches = [(suite, doc.get(vk), want) for (_, suite, vk, want, doc) in loaded if doc.get(vk) != want]
@@ -356,6 +358,43 @@ def _run_guard(t: _Tally, doc: Any) -> None:
         _bump(t, ok)
 
 
+# ── provenance suite（シリアライズ境界の canonical fingerprint 照合, #128/A6）──────
+def _run_provenance(t: _Tally, doc: Any) -> None:
+    """シリアライズ境界の provenance ゲート（PROTOCOL.md §3.8 / scp-only-authoring-contract §3 SA3・§5）。
+
+    token はプロセス内 capability ゆえ JSON 境界を越えない。境界のゲートは canonical fingerprint:
+    runner は `ir`（RAW JSON）から `fingerprint_component_graph` を **再計算** し、宣言 `fingerprint` と
+    照合する。一致 = accept、不一致（改竄/stale）= 固定コード ``NON_COMPILED_IR`` で reject。
+    key 順・int/整数 float の綴りは fingerprint を変えない（canonical 不変性）。非空虚性
+    （CONFORMANCE_MUTATE）: 1 nibble 崩した fingerprint の vector が必ず reject になることで、
+    runner が実際に再計算+照合していることを証明する。
+    """
+    print(f"\nprovenance.json (v{doc['provenanceVersion']}) — {len(doc['vectors'])} vectors")
+    for v in doc["vectors"]:
+        ok = False
+        detail = ""
+        recomputed = fingerprint_component_graph(v["ir"])
+        matched = recomputed == v["fingerprint"]
+        if matched:
+            if "ok" in v["expect"]:
+                ok = True
+            else:
+                detail = f"expected Failure({v['expect']['failure']}), fingerprint matched"
+        else:
+            # 不一致 = 境界 loader の NON_COMPILED_IR reject に相当。
+            if "failure" in v["expect"]:
+                ok = v["expect"]["failure"] == "NON_COMPILED_IR"
+                if not ok:
+                    detail = f"expected Failure({v['expect']['failure']}), got NON_COMPILED_IR"
+            else:
+                detail = (
+                    f"expected accept, got NON_COMPILED_IR "
+                    f"(declared {v['fingerprint']}, recomputed {recomputed})"
+                )
+        _line(ok, v["name"], detail)
+        _bump(t, ok)
+
+
 # ── c2 suite（c2-catalog-swap: catalog-swap 実行 + IR 構造一致, bc#28）──────────
 def _c2_normalize(decoded_ir: Any, role_by_name: Dict[str, str]) -> Any:
     """component leaf 名を role に置換（構造は不変）。unmapped は ValueError。"""
@@ -453,9 +492,10 @@ def run(vectors_dir: Optional[Path] = None) -> int:
     _run_behavior(t, docs["behavior"])
     _run_guard(t, docs["guard"])
     _run_c2(t, docs["c2"])
+    _run_provenance(t, docs["provenance"])
 
     total = t.passed + t.failed
-    print(f"\n{t.passed} passed, {t.failed} failed / {total} vectors across 7 suites")
+    print(f"\n{t.passed} passed, {t.failed} failed / {total} vectors across 8 suites")
     return t.failed
 
 

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: behavior-contracts
-Version: 0.7.2
+Version: 0.8.0
 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 8 shared suites (173 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      # → "173 passed, 0 failed / 173 vectors across 8 suites"
 # or the console script:
 behavior-contracts-conformance
 ```

{behavior_contracts-0.7.2 → behavior_contracts-0.8.0}/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": 4', '"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.8.0}/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.8.0}/tests/test_public_api.py

@@ -469,9 +469,10 @@ class TestValidateEnvelope:
             "template": 1,
             "plan": 1,
             "canonical": 2,
-            "behavior": 2,
-            "guard": 1,
+            "behavior": 4,
+            "guard": 2,
             "c2": 1,
+            "provenance": 1,
         }