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

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

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

@@ -134,10 +134,6 @@ 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.15 → levain_cli-0.1.16}/levain_recipe/validate.py

@@ -6,12 +6,11 @@ validation (PlusCal + Python source + pyproject.toml).
 
 from __future__ import annotations
 
-import json
 import logging
 import os
 import re
 import shutil
-from typing import Any, cast
+from typing import cast
 
 from ._java import resolve_jar
 from .graph import check_graph
@@ -53,53 +52,6 @@ _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(
@@ -178,9 +130,6 @@ 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
@@ -228,7 +177,6 @@ def validate_fast(  # noqa: PLR0911
         routing=routing,
         invariants=invariants,
         constants=constants,
-        lanes=lanes,
     )
 
 

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

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