simplicio-cli 0.18.6__tar.gz → 0.18.10__tar.gz

{simplicio_cli-0.18.6/simplicio_cli.egg-info → simplicio_cli-0.18.10}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: simplicio-cli
-Version: 0.18.6
+Version: 0.18.10
 Summary: Deterministic task-to-code contract and verification CLI. It never executes or provisions an LLM.
 Author-email: Wesley Simplicio <wesleybob4@gmail.com>
 License: MIT
@@ -28,7 +28,7 @@ Requires-Python: >=3.10
 Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: numpy>=2.1.0
-Requires-Dist: simplicio-mapper<0.27,>=0.26.10
+Requires-Dist: simplicio-mapper<0.27,>=0.26.20
 Requires-Dist: simplicio-prompt>=1.14.1
 Requires-Dist: httpx>=0.28.1
 Requires-Dist: orjson>=3.11.9
@@ -40,7 +40,7 @@ Requires-Dist: sentence-transformers>=5.6.0; extra == "ml"
 Provides-Extra: bench
 Requires-Dist: fpdf2>=2.8.7; extra == "bench"
 Provides-Extra: fast
-Requires-Dist: simplicio-fast<3,>=2.0.22; python_version >= "3.11" and extra == "fast"
+Requires-Dist: simplicio-fast<3,>=2.0.28; python_version >= "3.11" and extra == "fast"
 Provides-Extra: performance
 Requires-Dist: uvloop>=0.21.0; sys_platform != "win32" and extra == "performance"
 Provides-Extra: all

{simplicio_cli-0.18.6 → simplicio_cli-0.18.10}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "simplicio-cli"
-version = "0.18.6"
+version = "0.18.10"
 description = "Deterministic task-to-code contract and verification CLI. It never executes or provisions an LLM."
 readme = "README.md"
 license = { text = "MIT" }
@@ -45,7 +45,7 @@ classifiers = [
 # (generated, `--check`-able) for the full graph and #99 for the audit.
 dependencies = [
   "numpy>=2.1.0",
-  "simplicio-mapper>=0.26.10,<0.27",
+  "simplicio-mapper>=0.26.20,<0.27",
   "simplicio-prompt>=1.14.1",
   "httpx>=0.28.1",
   "orjson>=3.11.9",
@@ -62,7 +62,7 @@ ml = ["sentence-transformers>=5.6.0"]
 bench = ["fpdf2>=2.8.7"]
 # Optional canonical Fast adapter. It remains outside the base install until
 # its release train is formally promoted.
-fast = ["simplicio-fast>=2.0.22,<3; python_version >= '3.11'"]
+fast = ["simplicio-fast>=2.0.28,<3; python_version >= '3.11'"]
 # Opt-in faster asyncio event loop for the structured-concurrency runtime
 # (simplicio.runtime_async, issue #212). Never required: `install_uvloop()`
 # no-ops on Windows or when this extra is absent, falling back to stdlib
@@ -129,6 +129,7 @@ simplicio = [
   # `simplicio-py score-skill` with no --scenario silently fails outside the
   # checkout (#167 AC "Package instalado contem docs/schemas esperados").
   "commands/scenarios/*.json",
+  "contracts/io/v1/*.json",
 ]
 
 [tool.pytest.ini_options]
@@ -268,3 +269,4 @@ module = [
   "simplicio.scratch.cli",
 ]
 ignore_errors = true
+

{simplicio_cli-0.18.6 → simplicio_cli-0.18.10}/simplicio/__init__.py

@@ -1,4 +1,4 @@
-__version__ = "0.18.6"
+__version__ = "0.18.10"
 
 
 def mapper_module():
@@ -16,3 +16,4 @@ def mapper_version():
 
 
 __all__ = ["__version__", "mapper_module", "mapper_version"]
+

{simplicio_cli-0.18.6 → simplicio_cli-0.18.10}/simplicio/cli.py

@@ -344,6 +344,11 @@ def _build_parser() -> argparse.ArgumentParser:
         "--batch-path",
         help="persist the frozen multi-task batch at this path (explicitly mutating)",
     )
+    p_intake.add_argument(
+        "--print-contract-example",
+        action="store_true",
+        help="print a minimal simplicio.task-spec/v2 stdin example and exit",
+    )
     p_intake.add_argument("--json", action="store_true", help="emit stable structured JSON")
 
     p_doctor = sub.add_parser(
@@ -402,6 +407,11 @@ def _build_parser() -> argparse.ArgumentParser:
         ),
     )
     p_versions.add_argument("--json", action="store_true", help="machine-readable output")
+    p_versions.add_argument(
+        "--refresh",
+        action="store_true",
+        help="bypass the 24h PyPI cache when resolving mapper latest_known",
+    )
 
     p_env_export = sub.add_parser(
         "env-export",
@@ -630,14 +640,22 @@ def _build_parser() -> argparse.ArgumentParser:
     p_runtime_capabilities.add_argument("--coordinator-kind")
     p_runtime_capabilities.add_argument("--coordinator-id")
     p_runtime_capabilities.add_argument("--json", action="store_true")
+    p_runtime_acquire = runtime_sub.add_parser(
+        "acquire-coordinator-context",
+        help="acquire or diagnose the integrated coordinator tuple without fabricating a lease",
+    )
+    p_runtime_acquire.add_argument("--root", default=".")
+    p_runtime_acquire.add_argument("--context-snapshot", help="canonical Mapper ContextSnapshot JSON path")
+    p_runtime_acquire.add_argument(
+        "--execution-context", help="Mapper execution-context/v1 provenance JSON path"
+    )
+    p_runtime_acquire.add_argument("--json", action="store_true")
 
     p_prototype = sub.add_parser(
         "prototype", help="Prototype-First plan, scaffold, validate and promotion gate"
     )
     prototype_sub = p_prototype.add_subparsers(dest="prototype_cmd", required=True)
-    p_proto_plan = prototype_sub.add_parser(
-        "plan", help="compile and freeze a prototype plan"
-    )
+    p_proto_plan = prototype_sub.add_parser("plan", help="compile and freeze a prototype plan")
     p_proto_plan.add_argument("--input", help="Loop/Mapper prototype-plan JSON")
     p_proto_plan.add_argument("--goal", default="")
     p_proto_plan.add_argument(

{simplicio_cli-0.18.6 → simplicio_cli-0.18.10}/simplicio/commands/edit.py

@@ -14,7 +14,7 @@ import os
 import shutil
 import subprocess
 import sys
-from pathlib import Path
+from pathlib import Path, PurePosixPath, PureWindowsPath
 from typing import Any
 
 from ..runtime_bridge import delegated_command, record_delegation
@@ -142,12 +142,15 @@ def _run_atomic_native_create_plans(
     runtime: str, native_plans: list[dict], a: argparse.Namespace
 ) -> dict[str, Any]:
     """Apply a translated create-file batch through one Runtime transaction."""
+    from ..mechanical_edit import MechanicalEditError, _safe_path
+
     root = Path(a.root).resolve()
     transaction_files: list[dict[str, Any]] = []
     for native_plan in native_plans:
         relative = str(native_plan["file"])
-        target = (root / relative).resolve()
-        if not target.is_relative_to(root):
+        try:
+            target = _safe_path(root, relative)
+        except MechanicalEditError:
             return {
                 "schema": "simplicio.mechanical-edit-result/v1",
                 "status": "refused",
@@ -185,8 +188,10 @@ def _run_atomic_native_create_plans(
         completed = subprocess.run(
             cmd,
             stdin=subprocess.DEVNULL,
+            cwd=root,
             text=True,
             capture_output=True,
+            shell=False,
             timeout=RUNTIME_EDIT_TIMEOUT_S,
         )
     except (OSError, subprocess.TimeoutExpired) as exc:
@@ -264,8 +269,32 @@ def _run_native_edit_plans(
     plan_context: dict[str, Any] | None = None,
 ) -> dict[str, Any]:
     """Delegate validated plans while retaining exact stdin and causal proof."""
+    from ..mechanical_edit import MechanicalEditError, _safe_path
+
     files: list[dict] = []
     errors: list[dict] = []
+    root = Path(a.root).resolve()
+    for native_plan in native_plans:
+        paths = [native_plan.get("file")] if "file" in native_plan else []
+        for operation in native_plan.get("operations", []):
+            if isinstance(operation, dict):
+                paths.extend(operation.get(key) for key in ("path", "dest") if key in operation)
+        for relative in paths:
+            try:
+                if not isinstance(relative, str):
+                    raise MechanicalEditError("unsafe_path", "native plan path must be a string")
+                _safe_path(root, relative)
+            except MechanicalEditError as exc:
+                return {
+                    "schema": "simplicio.mechanical-edit-result/v1",
+                    "status": "refused",
+                    "applied": False,
+                    "noop": False,
+                    "operation_count": 0,
+                    "files": [],
+                    "errors": [exc.to_dict()],
+                    "mutation_receipt": mutation_receipt("blocked", entrypoint="edit"),
+                }
     if a.apply and len(native_plans) > 1:
         return _run_atomic_native_create_plans(runtime, native_plans, a)
     for _index, native_plan in enumerate(native_plans):
@@ -279,8 +308,10 @@ def _run_native_edit_plans(
             else (json.dumps(native_plan) if current_plan_arg == "-" else None)
         )
         run_kwargs: dict[str, Any] = {
+            "cwd": root,
             "text": True,
             "capture_output": True,
+            "shell": False,
             "timeout": RUNTIME_EDIT_TIMEOUT_S,
         }
         if input_text is None:
@@ -371,11 +402,13 @@ def _invalid_delegated_plan(plan: Any) -> list[dict[str, Any]]:
     if "file" in plan:
         file_name = plan.get("file")
         operations = plan.get("operations")
+        portable_path = PurePosixPath(file_name.replace("\\", "/")) if isinstance(file_name, str) else None
         if (
             not isinstance(file_name, str)
             or not file_name.strip()
             or Path(file_name).is_absolute()
-            or ".." in Path(file_name).parts
+            or PureWindowsPath(file_name).is_absolute()
+            or (portable_path is not None and (portable_path.is_absolute() or ".." in portable_path.parts))
         ):
             return [{"code": "invalid_plan", "message": "Runtime plan file must be a safe relative path"}]
         if not isinstance(operations, list) or not operations:

{simplicio_cli-0.18.6 → simplicio_cli-0.18.10}/simplicio/commands/intake.py

@@ -10,14 +10,43 @@ from urllib.error import HTTPError, URLError
 from urllib.parse import urlparse
 from urllib.request import Request, urlopen
 
-from ..execution_contract import ContractCompilationError, compile_execution_contracts
+from ..execution_contract import (
+    SCHEMA as EXECUTION_CONTRACT_SCHEMA,
+)
+from ..execution_contract import (
+    ContractCompilationError,
+    ExecutionBlockedError,
+    compile_execution_contracts,
+)
 from ..orchestrator.multi_task import BatchBuildError, TaskBatch, build_batch_preview
 from ..plan_discovery import PlanDiscoveryError, build_plan_preview
-from ..task_spec import SourceRef, TaskSpecValidationError, parse_task_document
+from ..task_spec import TASK_SPEC_SCHEMA, SourceRef, TaskSpecValidationError, parse_task_document
 
 CLI_PROG = "simplicio-py"
 _URL_TIMEOUT_SECONDS = 10
 _MAX_URL_BYTES = 2 * 1024 * 1024
+CONTRACT_EXAMPLE = """System: Example
+Feature: Typed contract intake
+Tipo: Evolucao
+
+AS A operator,
+I WANT a valid simplicio.task-spec/v2 card,
+SO THAT unattended intake can compile an execution contract.
+
+## Acceptance criteria
+
+Scenario 1: typed card compiles
+  Given a TaskSpec v2 card with system, feature, type, narrative, and one AC
+  When intake runs with --contract --execution-mode --json
+  Then the result schema is simplicio.intake-result/v1
+"""
+ACCEPTED_SYNTAX = [
+    "System: / Sistema:",
+    "Feature: / Funcionalidade:",
+    "Tipo: / Task type:",
+    "AS A / I WANT / SO THAT or COMO / QUERO / PARA",
+    "Acceptance criteria section with Given/When/Then scenarios",
+]
 
 
 def _decode(raw: bytes) -> tuple[str, str]:
@@ -73,27 +102,58 @@ def _read_input(a: argparse.Namespace) -> tuple[str, SourceRef]:
     return text, SourceRef(kind="stdin", locator=a.source_url, encoding=encoding)
 
 
+def _contract_guidance() -> dict[str, object]:
+    return {
+        "required_schema": TASK_SPEC_SCHEMA,
+        "contract_schema": EXECUTION_CONTRACT_SCHEMA,
+        "accepted_syntax": list(ACCEPTED_SYNTAX),
+        "example": CONTRACT_EXAMPLE,
+        "print_contract_example": f"{CLI_PROG} intake --print-contract-example",
+    }
+
+
+def _emit_rejection(a: argparse.Namespace, schema: str, diagnostics: list[str]) -> None:
+    if a.json:
+        payload = {
+            "schema": schema,
+            "valid": False,
+            "errors": list(diagnostics),
+            **_contract_guidance(),
+        }
+        print(json.dumps(payload, ensure_ascii=False, sort_keys=True))
+        return
+    for diagnostic in diagnostics:
+        print(f"{CLI_PROG} intake: {diagnostic}", file=sys.stderr)
+    print(
+        f"{CLI_PROG} intake: required schema is {TASK_SPEC_SCHEMA} "
+        f"(compile with {EXECUTION_CONTRACT_SCHEMA}); "
+        f"run `{CLI_PROG} intake --print-contract-example`",
+        file=sys.stderr,
+    )
+
+
 def run(a: argparse.Namespace) -> int:
-    try:
-        text, source = _read_input(a)
-        document = parse_task_document(text, source=source)
-    except (TaskSpecValidationError, ContractCompilationError) as exc:
-        diagnostics = getattr(exc, "diagnostics", None) or getattr(exc, "errors", None) or [str(exc)]
+    if getattr(a, "print_contract_example", False):
         if a.json:
             print(
                 json.dumps(
                     {
-                        "schema": "simplicio.task-spec-validation/v1",
-                        "valid": False,
-                        "errors": list(diagnostics),
+                        "schema": "simplicio.intake-contract-example/v1",
+                        **_contract_guidance(),
                     },
                     ensure_ascii=False,
                     sort_keys=True,
                 )
             )
         else:
-            for diagnostic in diagnostics:
-                print(f"{CLI_PROG} intake: {diagnostic}", file=sys.stderr)
+            print(CONTRACT_EXAMPLE, end="")
+        return 0
+    try:
+        text, source = _read_input(a)
+        document = parse_task_document(text, source=source)
+    except (TaskSpecValidationError, ContractCompilationError) as exc:
+        diagnostics = getattr(exc, "diagnostics", None) or getattr(exc, "errors", None) or [str(exc)]
+        _emit_rejection(a, "simplicio.task-spec-validation/v1", list(diagnostics))
         return 2
 
     payload = document.to_dict()
@@ -114,41 +174,18 @@ def run(a: argparse.Namespace) -> int:
                 document, execution_mode=getattr(a, "execution_mode", False)
             )
             batch_preview = build_batch_preview(document)
+        except ExecutionBlockedError as exc:
+            _emit_rejection(
+                a,
+                "simplicio.execution-contract-validation/v1",
+                list(exc.gate_ids) or [str(exc)],
+            )
+            return 2
         except ContractCompilationError as exc:
-            diagnostics = list(exc.errors)
-            if a.json:
-                print(
-                    json.dumps(
-                        {
-                            "schema": "simplicio.execution-contract-validation/v1",
-                            "valid": False,
-                            "errors": diagnostics,
-                        },
-                        ensure_ascii=False,
-                        sort_keys=True,
-                    )
-                )
-            else:
-                for diagnostic in diagnostics:
-                    print(f"{CLI_PROG} intake: {diagnostic}", file=sys.stderr)
+            _emit_rejection(a, "simplicio.execution-contract-validation/v1", list(exc.errors))
             return 2
         except BatchBuildError as exc:
-            diagnostics = list(exc.diagnostics)
-            if a.json:
-                print(
-                    json.dumps(
-                        {
-                            "schema": "simplicio.task-batch-validation/v1",
-                            "valid": False,
-                            "errors": diagnostics,
-                        },
-                        ensure_ascii=False,
-                        sort_keys=True,
-                    )
-                )
-            else:
-                for diagnostic in diagnostics:
-                    print(f"{CLI_PROG} intake: {diagnostic}", file=sys.stderr)
+            _emit_rejection(a, "simplicio.task-batch-validation/v1", list(exc.diagnostics))
             return 2
         contracts_payload = [contract.to_dict() for contract in contracts]
         if getattr(a, "batch_path", None):