levain-cli 0.1.14__tar.gz → 0.1.15__tar.gz

{levain_cli-0.1.14 → levain_cli-0.1.15}/.gitignore

@@ -18,6 +18,10 @@ build/
 !**/platform_agents/build/
 !**/src/build/
 
+# Maven build output
+services/flink/target/
+services/flink/dependency-reduced-pom.xml
+
 # Binaries
 bin/
 
@@ -136,3 +140,6 @@ assets/video/*/renders/
 # www/public/videos/, the composition that made them does not.
 assets/video/updates-*/
 assets/video/*/snapshots/
+
+# Maven build output (Flink job); the image build compiles from source.
+services/flink/target/

{levain_cli-0.1.14 → levain_cli-0.1.15}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: levain-cli
-Version: 0.1.14
+Version: 0.1.15
 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.14 → levain_cli-0.1.15}/levain_recipe/models.py

@@ -134,6 +134,10 @@ class ValidatedSpec:
     routing: list[RoutingTable]
     invariants: list[str] = field(default_factory=list)
     constants: dict[str, Any] = field(default_factory=dict)
+    # Lanes the recipe splits its turns into (``\* @lanes [...]``):
+    # runs in different lanes may share the agent's workspace at the
+    # same time.  Empty when the recipe runs one turn at a time.
+    lanes: list[str] = field(default_factory=list)
 
 
 @dataclass(frozen=True)

{levain_cli-0.1.14 → levain_cli-0.1.15}/levain_recipe/validate.py

@@ -6,11 +6,12 @@ validation (PlusCal + Python source + pyproject.toml).
 
 from __future__ import annotations
 
+import json
 import logging
 import os
 import re
 import shutil
-from typing import cast
+from typing import Any, cast
 
 from ._java import resolve_jar
 from .graph import check_graph
@@ -52,6 +53,53 @@ _RE_COMMENT_PREFIX = re.compile(r"^\\[*]\s?")
 # excluded from the free-form description so the help text never
 # accidentally includes machine-readable metadata.
 _RE_ANNOTATION = re.compile(r"^\\[*]\s*@\w+")
+# Module-level ``\* @lanes ["people"]``: the lanes whose turns may run
+# at once on the agent's persistent workspace.  ``people`` is the
+# only lane a recipe can split out today; a trigger delivery or a
+# scheduled fire stays in the default lane.
+_RE_LANES = re.compile(r"^\s*\\[*]\s*@lanes\s+(\[.*\])\s*$")
+KNOWN_LANES = frozenset({"people"})
+
+
+def extract_lanes(source: str) -> list[str] | ValidationError:
+    r"""The lanes a ``\* @lanes`` line declares; ``[]`` without one."""
+    found = [
+        (n, m.group(1))
+        for n, line in enumerate(source.splitlines(), start=1)
+        if (m := _RE_LANES.match(line))
+    ]
+    if not found:
+        return []
+    line_no, raw = found[0]
+    lanes: Any = None
+    message: str | None
+    if len(found) > 1:
+        line_no, message = found[1][0], "@lanes may be declared once"
+    else:
+        try:
+            lanes = json.loads(raw)
+        except json.JSONDecodeError as e:
+            message = f"Invalid @lanes JSON: {e}"
+        else:
+            message = _lanes_problem(lanes)
+    if message:
+        return ValidationError(stage="profile", message=message, line=line_no)
+    return cast(list[str], lanes)
+
+
+def _lanes_problem(lanes: Any) -> str | None:
+    if (
+        not isinstance(lanes, list)
+        or not lanes
+        or not all(isinstance(s, str) for s in lanes)
+    ):
+        return "@lanes must be a non-empty JSON list of strings"
+    unknown = sorted(set(lanes) - KNOWN_LANES)
+    if unknown:
+        return f"Unknown lane(s) {unknown}; known: {sorted(KNOWN_LANES)}"
+    if len(set(lanes)) != len(lanes):
+        return "@lanes repeats a lane"
+    return None
 
 
 def validate(
@@ -130,6 +178,9 @@ def validate_fast(  # noqa: PLR0911
 
     constants = extract_constants(algo)
     invariants = [d for d in extract_defines(algo) if d not in constants]
+    lanes = extract_lanes(source)
+    if isinstance(lanes, ValidationError):
+        return [lanes]
 
     # Stage 3: Graph check.  Tell the reachability check that
     # ``interrupt`` nodes count as termination — a chat-shape
@@ -177,6 +228,7 @@ def validate_fast(  # noqa: PLR0911
         routing=routing,
         invariants=invariants,
         constants=constants,
+        lanes=lanes,
     )
 
 

{levain_cli-0.1.14 → levain_cli-0.1.15}/pyproject.toml

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