imperal-sdk 5.7.2__tar.gz → 5.7.3__tar.gz

{imperal_sdk-5.7.2 → imperal_sdk-5.7.3}/CHANGELOG.md

@@ -2,6 +2,13 @@
 
 All notable changes to `imperal-sdk` are documented here.
 
+## 5.7.3 — 2026-06-21 — Fix: validate_step is now binding-DSL-aware
+
+Patch — declarative validation; no API change.
+
+### Fixed
+- **`validate_step` accepts a whole-match binding-DSL value (`{{ path }}`) in any typed field.** A binding resolves at runtime to the raw referenced object (any type), so its static type is unknowable. E.g. `store.update`'s `ids: "{{steps.s1.ids}}"` (resolves to a list) previously failed with `ids: expected array, got str`, blocking every declarative flow that binds a prior step's list into an array field. Whole-match `{{...}}` now skips the static type-check; interpolated strings (`"...{{x}}..."`) still type-check as `str` (they always resolve to a string). The interpreter already handled bindings at runtime — this aligns the validator (`ir/actions.py`).
+
 ## 5.7.2 — 2026-06-21 — Fix: store.create schema required `set`, interpreter reads `data`
 
 Patch — declarative action-schema ↔ interpreter alignment; no API change.

{imperal_sdk-5.7.2 → imperal_sdk-5.7.3}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: imperal-sdk
-Version: 5.7.2
+Version: 5.7.3
 Summary: SDK for building Imperal Cloud extensions
 Author: Valentin Scerbacov, Imperal, Inc.
 License-Expression: Apache-2.0

{imperal_sdk-5.7.2 → imperal_sdk-5.7.3}/sdk-reference.json

@@ -1,5 +1,5 @@
 {
-  "sdk_version": "5.7.2",
+  "sdk_version": "5.7.3",
   "symbols": {
     "ActionResult": {
       "action_vocab_safe": false,

{imperal_sdk-5.7.2 → imperal_sdk-5.7.3}/sdk_claims.json

@@ -1,5 +1,5 @@
 {
-  "_sdk_version": "5.7.2",
+  "_sdk_version": "5.7.3",
   "constants": {
     "max_call_depth": {
       "counts_root": true,

{imperal_sdk-5.7.2 → imperal_sdk-5.7.3}/src/imperal_sdk/__init__.py

@@ -1,7 +1,7 @@
 """Imperal Cloud SDK — build extensions for the Imperal platform."""
 from typing import TYPE_CHECKING
 
-__version__ = "5.7.2"
+__version__ = "5.7.3"
 
 # 5.2.2 (2026-06-11): the package root resolves its public surface lazily
 # (PEP 562). The eager imports pulled the HTTP transport (Context / client

{imperal_sdk-5.7.2 → imperal_sdk-5.7.3}/src/imperal_sdk/ir/actions.py

@@ -16,6 +16,7 @@ Design note — no jsonschema at runtime:
 from __future__ import annotations
 
 import json
+import re
 from functools import lru_cache
 from importlib import resources
 from typing import Any
@@ -87,6 +88,13 @@ def _type_ok(value: Any, type_name: str) -> bool:
     return isinstance(value, py_type)
 
 
+# A whole-match binding-DSL token ({{ path.to.value }}) resolves at runtime to
+# the raw referenced object (any type), so its static type is unknowable here.
+# Mirrors runtime/template.py:_WHOLE. Interpolated strings ("...{{x}}...") are
+# NOT whole-match — they always resolve to str and still type-check as string.
+_WHOLE_BINDING = re.compile(r"^\s*\{\{\s*[\w.]+\s*\}\}\s*$")
+
+
 def _validate_object(value: Any, schema: dict) -> list[str]:
     """Validate *value* against a ``type:object`` schema fragment.
 
@@ -105,11 +113,15 @@ def _validate_object(value: Any, schema: dict) -> list[str]:
     for prop_name, prop_schema in schema.get("properties", {}).items():
         if prop_name not in value:
             continue
+        val = value[prop_name]
+        # Deferred binding-DSL value — type resolved at runtime; accept statically.
+        if isinstance(val, str) and _WHOLE_BINDING.match(val):
+            continue
         prop_type = prop_schema.get("type")
-        if prop_type is not None and not _type_ok(value[prop_name], prop_type):
+        if prop_type is not None and not _type_ok(val, prop_type):
             errors.append(
                 f"'{prop_name}': expected {prop_type}, "
-                f"got {type(value[prop_name]).__name__}"
+                f"got {type(val).__name__}"
             )
 
     return errors

imperal_sdk-5.7.3/tests/fixtures/ir/README.md

@@ -0,0 +1,26 @@
+# L1 declarative app fixtures + smoke-run contract
+
+Committed, validator-clean `impl=declarative` apps used as (a) conformance fixtures and
+(b) few-shot exemplars for the L1 compose loop.
+
+- `link_saver.ir.json` — CRUD: `save_link` (store.create), `list_links` (store.list),
+  `delete_link` (store.delete).
+- `archive_ended.ir.json` — conditional flow: store.list → conditional(count>0) →
+  store.update → send (exercises the binding-DSL + conditional).
+
+Together they cover the full non-Turing vocabulary.
+
+## Smoke-run contract
+
+A composed app **passes smoke-run** iff, for the probed function, `HostedEngine.run_function`
+returns without error AND — for a `write` function — a follow-up `read` in the **same isolated
+store** reflects the write (e.g. after `save_link`, `list_links` count increases). Smoke-run
+writes go to an isolated store namespace (a fresh per-run `MockContext` tenant), **never real
+data**.
+
+## Compose loop (intent → IR → validate → repair → deploy → smoke)
+
+The composer is handed the enriched catalog (`sdk-reference.json`), the IR JSON Schema, these
+exemplars, and the validator as a tool. It emits IR, validates, repairs on `ValidationIssue`s
+(bounded cycles), deploys via the registration API, and smoke-runs — **declarative-only** (the
+generated artifact is non-Turing, validated, executes no arbitrary code).

imperal_sdk-5.7.3/tests/fixtures/ir/archive_ended.ir.json

@@ -0,0 +1,20 @@
+{
+  "ir_version": "1.0",
+  "app": {
+    "id": "campaign-archiver",
+    "version": "1.0.0",
+    "title": "Campaign Archiver",
+    "description": "Archive ended ad campaigns and report how many.",
+    "capabilities": ["store:write"],
+    "functions": [
+      {"name": "archive_ended", "description": "Archive all ended campaigns", "action_type": "write",
+       "params_schema": {"type": "object", "properties": {}},
+       "impl": {"kind": "declarative", "steps": [
+         {"id": "s1", "op": "store.list", "args": {"kind": "campaign", "where": {"status": "ended"}}},
+         {"id": "s2", "op": "conditional", "if": {"field": "{{steps.s1.count}}", "gt": 0}, "then": "s3"},
+         {"id": "s3", "op": "store.update", "args": {"kind": "campaign", "ids": "{{steps.s1.ids}}", "set": {"archived": true}}},
+         {"id": "s4", "op": "send", "args": {"message": "Archived {{steps.s3.count}} ended campaign(s)."}}
+       ]}}
+    ]
+  }
+}

imperal_sdk-5.7.3/tests/fixtures/ir/link_saver.ir.json

@@ -0,0 +1,24 @@
+{
+  "ir_version": "1.0",
+  "app": {
+    "id": "link-saver",
+    "version": "1.0.0",
+    "title": "Link Saver",
+    "description": "Save, list, and delete links.",
+    "capabilities": ["store:write"],
+    "functions": [
+      {"name": "save_link", "description": "Save a link", "action_type": "write",
+       "params_schema": {"type": "object", "properties": {"url": {"type": "string"}, "title": {"type": "string"}}, "required": ["url"]},
+       "impl": {"kind": "declarative", "steps": [
+         {"id": "s1", "op": "store.create", "args": {"kind": "link", "data": {"url": "{{event.url}}", "title": "{{event.title}}"}}}]}},
+      {"name": "list_links", "description": "List saved links", "action_type": "read",
+       "params_schema": {"type": "object", "properties": {}},
+       "impl": {"kind": "declarative", "steps": [
+         {"id": "s1", "op": "store.list", "args": {"kind": "link"}}]}},
+      {"name": "delete_link", "description": "Delete a link by id", "action_type": "destructive",
+       "params_schema": {"type": "object", "properties": {"id": {"type": "string"}}, "required": ["id"]},
+       "impl": {"kind": "declarative", "steps": [
+         {"id": "s1", "op": "store.delete", "args": {"kind": "link", "id": "{{event.id}}"}}]}}
+    ]
+  }
+}

imperal_sdk-5.7.3/tests/fixtures/ir/test_fixtures_valid.py

@@ -0,0 +1,19 @@
+import json
+import pathlib
+
+import pytest
+
+from imperal_sdk.ir.validator import validate_ir_dict
+from imperal_sdk.ir.actions import validate_step
+
+FIX = pathlib.Path(__file__).parent
+
+
+@pytest.mark.parametrize("name", ["link_saver", "archive_ended"])
+def test_fixture_is_valid_declarative(name):
+    ir = json.loads((FIX / f"{name}.ir.json").read_text())
+    assert validate_ir_dict(ir) == [], f"{name}: envelope invalid"
+    for fn in ir["app"]["functions"]:
+        assert fn["impl"]["kind"] == "declarative", f"{name}/{fn['name']}: not declarative"
+        for step in fn["impl"].get("steps", []):
+            assert validate_step(step) == [], (name, fn["name"], step.get("op"), validate_step(step))

{imperal_sdk-5.7.2 → imperal_sdk-5.7.3}/tests/runtime/test_verb_store.py

@@ -101,3 +101,16 @@ def test_store_create_schema_agrees_with_interpreter():
     assert validate_step(good) == []
     missing_data = {"id": "s1", "op": "store.create", "args": {"kind": "c"}}
     assert validate_step(missing_data)  # non-empty: missing required 'data'
+
+
+def test_validate_step_accepts_whole_binding_in_typed_field():
+    """A whole-match {{binding}} resolves to a runtime value of unknown type, so
+    validate_step must accept it in any typed field (e.g. ids: array). An
+    interpolated string still type-checks as str."""
+    from imperal_sdk.ir.actions import validate_step
+    bound = {"id": "s3", "op": "store.update",
+             "args": {"kind": "c", "ids": "{{steps.s1.ids}}", "set": {"archived": True}}}
+    assert validate_step(bound) == []
+    interpolated = {"id": "s3", "op": "store.update",
+                    "args": {"kind": "c", "ids": "x{{steps.s1.ids}}", "set": {}}}
+    assert validate_step(interpolated)  # ids interpolated -> str -> expected array -> error