levain-cli 0.1.20__tar.gz → 0.1.21__tar.gz

{levain_cli-0.1.20 → levain_cli-0.1.21}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: levain-cli
-Version: 0.1.20
+Version: 0.1.21
 Summary: Levain recipe toolchain: PlusCal validator, TLC model checking, and GraphState codegen for agent recipes
 License-Expression: Apache-2.0
 License-File: LICENSE

{levain_cli-0.1.20 → levain_cli-0.1.21}/levain_recipe/__init__.py

@@ -17,4 +17,4 @@ avoid them.
 # or annotation vocabulary changes, independently of tool
 # releases.  The API's toolchain handshake compares this against
 # the server's copy.
-LANGUAGE_VERSION = "1.1"
+LANGUAGE_VERSION = "1.2"

{levain_cli-0.1.20 → levain_cli-0.1.21}/levain_recipe/harness.py

@@ -18,6 +18,7 @@ A harness recipe has no ``graph.tla`` and no node functions.  Its
     [tool.levain.harness.state]
     task = { type = "string", description = "What to work on" }
     summary = "string"                # shorthand: type only
+    result = { type = "dict", file = "out/result.json" }  # read from the workspace
 
 Validation errors are prescriptive in the same ``[stage] message``
 shape as the PlusCal pipeline, so the build agent and the CLI treat
@@ -58,12 +59,13 @@ _KEYS = (
     "permission_mode",
     "state",
 )
-_FIELD_KEYS = ("type", "default", "description", "reducer")
+_FIELD_KEYS = ("type", "default", "description", "reducer", "file")
 _DEFAULTS: dict[str, Any] = {
     "bool": False,
     "string": "",
     "int": 0,
     "list": [],
+    "dict": {},
 }
 
 
@@ -319,6 +321,12 @@ def _state_fields(
                 _err(f"{where}: reducer is only valid on list fields.")
             )
             continue
+        file = spec.get("file")
+        if file is not None:
+            file_error = _file_error(where, file, vtype)
+            if file_error is not None:
+                errors.append(file_error)
+                continue
         default = spec.get("default", _DEFAULTS[vtype])
         if not _default_fits(default, vtype):
             errors.append(
@@ -335,11 +343,28 @@ def _state_fields(
                 description=(
                     str(description) if isinstance(description, str) else None
                 ),
+                file=file,
             )
         )
     return fields, errors
 
 
+def _file_error(where: str, file: Any, vtype: str) -> ValidationError | None:
+    if not isinstance(file, str) or not file.strip():
+        return _err(f"{where}: file must be a path relative to the workspace.")
+    if os.path.isabs(file) or ".." in file.split("/"):
+        return _err(
+            f"{where}: file = {file!r} must stay inside the workspace."
+        )
+    if vtype == "list":
+        return _err(
+            f"{where}: a file holds a whole value, and a list field"
+            " accumulates through its reducer; declare a dict and put"
+            " the list in it."
+        )
+    return None
+
+
 def _default_fits(value: Any, vtype: str) -> bool:
     if vtype == "int":
         return isinstance(value, int) and not isinstance(value, bool)

{levain_cli-0.1.20 → levain_cli-0.1.21}/levain_recipe/models.py

@@ -17,6 +17,9 @@ SPEC_TYPES: dict[str, type] = {
     "string": str,
     "int": int,
     "list": list,
+    # A JSON object of the recipe's own shape.  Harness recipes only:
+    # PlusCal declares no records.
+    "dict": dict,
 }
 
 # Built-in node function name for the langgraph interrupt
@@ -68,6 +71,10 @@ class StateField:
     # and on the API's state-schema endpoint so the FE can render
     # a per-field helper in the State tab.
     description: str | None = None
+    # Harness recipes only: a path in the workspace the engine writes
+    # the value to, read when the turn ends instead of taken through
+    # the ``levain-result`` tool.
+    file: str | None = None
 
 
 @dataclass(frozen=True)

{levain_cli-0.1.20 → levain_cli-0.1.21}/levain_recipe/user_input.py

@@ -40,6 +40,7 @@ FieldKind = Literal[
     "string",
     "int",
     "bool",
+    "dict",
     "messages",
     "string_list",
     "dict_list",
@@ -106,6 +107,7 @@ _SCALAR_KIND: dict[str, FieldKind] = {
     "string": "string",
     "int": "int",
     "bool": "bool",
+    "dict": "dict",
 }
 
 # Every entry maps a blessed reducer name to the FieldKind the
@@ -207,6 +209,10 @@ def _check_bool(key: str, value: Any) -> str | None:
     return None if isinstance(value, bool) else _type_err(key, "bool", value)
 
 
+def _check_dict(key: str, value: Any) -> str | None:
+    return None if isinstance(value, dict) else _type_err(key, "object", value)
+
+
 def _check_string_list(key: str, value: Any) -> str | None:
     if not isinstance(value, list) or not all(
         isinstance(x, str) for x in value
@@ -254,6 +260,7 @@ _KIND_VALIDATORS.update(
         "string": _check_string,
         "int": _check_int,
         "bool": _check_bool,
+        "dict": _check_dict,
         "messages": _validate_messages,
         "string_list": _check_string_list,
         "dict_list": _check_dict_list,

{levain_cli-0.1.20 → levain_cli-0.1.21}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "levain-cli"
-version = "0.1.20"
+version = "0.1.21"
 description = "Levain recipe toolchain: PlusCal validator, TLC model checking, and GraphState codegen for agent recipes"
 readme = "README.md"
 license = "Apache-2.0"