jharness-kernel 0.1.2__tar.gz → 0.2.2__tar.gz

{jharness_kernel-0.1.2 → jharness_kernel-0.2.2}/.gitignore

@@ -4,15 +4,12 @@ Thumbs.db
 *.swp
 *.swo
 
-# Local AI assistant/workspace state
+# Local assistant state
 .codex/
 .claude/
 .gemini/
 .aider*
 
-# Pinned specification snapshot generated by scripts/sync_spec.py
-.jharness-spec/
-
 # Python
 __pycache__/
 *.py[cod]
@@ -21,12 +18,13 @@ __pycache__/
 venv/
 ENV/
 
-# Python tooling caches
+# Python tooling caches and reports
 .pytest_cache/
 .ruff_cache/
 .pyright/
 .mypy_cache/
 .coverage
+coverage/
 htmlcov/
 
 # Packaging/build artifacts
@@ -34,12 +32,5 @@ dist/
 build/
 *.egg-info/
 
-# Node/TypeScript SDK artifacts
-node_modules/
-coverage/
-.turbo/
-.next/
-*.tsbuildinfo
-
 # Logs
 *.log

{jharness_kernel-0.1.2 → jharness_kernel-0.2.2}/LICENSE

@@ -1,4 +1,4 @@
-+MIT License
+MIT License
 
 Copyright (c) 2026 JHarness contributors
 

jharness_kernel-0.2.2/PKG-INFO

@@ -0,0 +1,36 @@
+Metadata-Version: 2.4
+Name: jharness-kernel
+Version: 0.2.2
+Summary: Durable model and tool execution kernel for JHarness
+Project-URL: Documentation, https://github.com/Ezio2000/jharness/tree/main/docs
+Project-URL: Repository, https://github.com/Ezio2000/jharness.git
+Author: JHarness contributors
+License-Expression: MIT
+License-File: LICENSE
+Classifier: Development Status :: 3 - Alpha
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Programming Language :: Python :: 3.14
+Classifier: Typing :: Typed
+Requires-Python: >=3.11
+Description-Content-Type: text/markdown
+
+# jharness-kernel
+
+The dependency-free JHarness runtime kernel, including lifecycle values, execution,
+checkpoints, diagnostics, extension ports, and portable wire codecs.
+
+```bash
+pip install jharness-kernel
+```
+
+```python
+from jharness.kernel import Message, Runtime
+```
+
+The source, contracts, and release process are maintained in the
+[JHarness repository](https://github.com/Ezio2000/jharness).

jharness_kernel-0.2.2/README.md

@@ -0,0 +1,15 @@
+# jharness-kernel
+
+The dependency-free JHarness runtime kernel, including lifecycle values, execution,
+checkpoints, diagnostics, extension ports, and portable wire codecs.
+
+```bash
+pip install jharness-kernel
+```
+
+```python
+from jharness.kernel import Message, Runtime
+```
+
+The source, contracts, and release process are maintained in the
+[JHarness repository](https://github.com/Ezio2000/jharness).

{jharness_kernel-0.1.2 → jharness_kernel-0.2.2}/pyproject.toml

@@ -1,18 +1,16 @@
 [project]
 name = "jharness-kernel"
-version = "0.1.2"
-description = "JHarness model-neutral immutable runtime kernel"
+version = "0.2.2"
+description = "Durable model and tool execution kernel for JHarness"
 readme = "README.md"
 requires-python = ">=3.11"
 license = "MIT"
 license-files = ["LICENSE"]
 authors = [{ name = "JHarness contributors" }]
-keywords = ["ai", "agent", "model", "runtime", "tools"]
 classifiers = [
   "Development Status :: 3 - Alpha",
   "License :: OSI Approved :: MIT License",
   "Operating System :: OS Independent",
-  "Programming Language :: Python :: 3",
   "Programming Language :: Python :: 3 :: Only",
   "Programming Language :: Python :: 3.11",
   "Programming Language :: Python :: 3.12",
@@ -23,14 +21,15 @@ classifiers = [
 dependencies = []
 
 [project.urls]
-Documentation = "https://github.com/Ezio2000/jharness-python/tree/main/docs"
-Homepage = "https://github.com/Ezio2000/jharness-python"
-Issues = "https://github.com/Ezio2000/jharness-python/issues"
-Repository = "https://github.com/Ezio2000/jharness-python.git"
-
-[tool.hatch.build.targets.wheel]
-packages = ["src/jharness"]
+Documentation = "https://github.com/Ezio2000/jharness/tree/main/docs"
+Repository = "https://github.com/Ezio2000/jharness.git"
 
 [build-system]
 requires = ["hatchling"]
 build-backend = "hatchling.build"
+
+[tool.hatch.build.targets.wheel]
+packages = ["src/jharness"]
+
+[tool.hatch.build.targets.sdist]
+include = ["src/jharness/kernel", "LICENSE", "README.md", "pyproject.toml"]

{jharness_kernel-0.1.2 → jharness_kernel-0.2.2}/src/jharness/kernel/__init__.py

@@ -34,6 +34,7 @@ from jharness.kernel.errors import (
     ModelErrorInfo,
     ProtocolError,
     RepositoryError,
+    RequestError,
     RevisionConflict,
     ToolError,
 )
@@ -41,6 +42,7 @@ from jharness.kernel.events import Event, EventKind
 from jharness.kernel.history import HistoryReducer, HistoryRewrite
 from jharness.kernel.invocation import Invocation
 from jharness.kernel.json_values import (
+    MAX_JSON_NESTING_DEPTH,
     JsonScalar,
     JsonValue,
     freeze_json_value,
@@ -102,6 +104,7 @@ from jharness.kernel.tools import (
 )
 
 __all__ = [
+    "MAX_JSON_NESTING_DEPTH",
     "ActiveState",
     "ApprovalAllow",
     "ApprovalDecision",
@@ -154,6 +157,7 @@ __all__ = [
     "Planning",
     "ProtocolError",
     "RepositoryError",
+    "RequestError",
     "ResponseFormat",
     "ResumedFact",
     "RevisionConflict",

{jharness_kernel-0.1.2 → jharness_kernel-0.2.2}/src/jharness/kernel/_engine/deadline.py

@@ -4,9 +4,10 @@ from __future__ import annotations
 
 import asyncio
 from collections.abc import Awaitable, Callable
+from contextlib import suppress
 from dataclasses import dataclass
 from time import time
-from typing import Any, TypeVar, cast
+from typing import Any, TypeVar
 
 from jharness.kernel.control import CancelTool, Control, ControlInbox, Insert
 
@@ -101,8 +102,20 @@ def _consume_non_interrupting(
 
 
 async def _settle(task: asyncio.Future[Any]) -> None:
-    try:
-        async with asyncio.timeout(0.1):
-            await cast(Awaitable[object], task)
-    except (asyncio.CancelledError, Exception):
-        pass
+    done, _ = await asyncio.wait({task}, timeout=0.1)
+    if task in done:
+        _consume(task)
+        return
+    task.cancel()
+    asyncio.get_running_loop().call_exception_handler(
+        {
+            "message": "JHarness abandoned a port task that ignored cancellation",
+            "future": task,
+        }
+    )
+    task.add_done_callback(_consume)
+
+
+def _consume(task: asyncio.Future[Any]) -> None:
+    with suppress(asyncio.CancelledError, Exception):
+        task.exception()

{jharness_kernel-0.1.2 → jharness_kernel-0.2.2}/src/jharness/kernel/_engine/tooling.py

@@ -460,6 +460,12 @@ async def _cancel_and_settle(tasks: set[asyncio.Task[Any]]) -> None:
     _, pending = await asyncio.wait(tasks, timeout=0.1)
     for task in pending:
         task.cancel()
+        asyncio.get_running_loop().call_exception_handler(
+            {
+                "message": "JHarness abandoned a tool task that ignored cancellation",
+                "task": task,
+            }
+        )
         task.add_done_callback(_consume)
 
 

{jharness_kernel-0.1.2 → jharness_kernel-0.2.2}/src/jharness/kernel/commands.py

@@ -15,6 +15,7 @@ from jharness.kernel._validation import (
 )
 from jharness.kernel.checkpoint import Checkpoint
 from jharness.kernel.context import RunContext
+from jharness.kernel.errors import RequestError
 from jharness.kernel.messages import Message
 from jharness.kernel.state import Planning, Suspended, ToolsPending
 
@@ -102,10 +103,16 @@ class ResumeRequest:
         if self.selector is not None:
             expect_instance(self.selector, SuspensionSelector, "resume selector")
             if not self.selector.matches(state):
-                raise ValueError("suspension_mismatch: selector does not match checkpoint")
+                raise RequestError(
+                    "suspension_mismatch",
+                    "resume selector does not match the suspended checkpoint",
+                )
         messages = expect_instance_tuple(self.append_messages, Message, "resume append_messages")
         if messages and isinstance(state.resume_to, ToolsPending):
-            raise ValueError("resume messages require a planning continuation")
+            raise RequestError(
+                "messages_require_planning",
+                "resume messages require a planning continuation",
+            )
         if any(message.role not in {"system", "user", "external"} for message in messages):
             raise ValueError("resume messages must use a regular role")
         object.__setattr__(self, "append_messages", messages)

{jharness_kernel-0.1.2 → jharness_kernel-0.2.2}/src/jharness/kernel/errors.py

@@ -27,6 +27,22 @@ class KernelError(Exception):
 class ProtocolError(KernelError):
     """A value or extension violated a kernel protocol invariant."""
 
+    __slots__ = ("code",)
+
+    def __init__(self, message: str, *, code: str = "protocol_error") -> None:
+        super().__init__(expect_non_empty_str(message, "protocol error message"))
+        self.code = expect_non_empty_str(code, "protocol error code")
+
+
+class RequestError(KernelError):
+    """A runtime request violated a stable request-level invariant."""
+
+    __slots__ = ("code",)
+
+    def __init__(self, code: str, message: str) -> None:
+        super().__init__(expect_non_empty_str(message, "request error message"))
+        self.code = expect_non_empty_str(code, "request error code")
+
 
 class ToolError(KernelError):
     """A tool catalog, binding, or progress boundary failed."""

{jharness_kernel-0.1.2 → jharness_kernel-0.2.2}/src/jharness/kernel/json_values.py

@@ -10,6 +10,7 @@ from typing import Any, NoReturn, SupportsIndex, TypeAlias, cast
 
 JsonScalar: TypeAlias = None | bool | int | float | str
 JsonValue: TypeAlias = JsonScalar | list["JsonValue"] | dict[str, "JsonValue"]
+MAX_JSON_NESTING_DEPTH = 128
 
 
 class FrozenJsonList(Sequence[Any]):
@@ -205,6 +206,10 @@ class _JsonCopier:
             self.active_containers.remove(identity)
 
     def _enter_container(self, value: object, path: str) -> int:
+        if len(self.active_containers) >= MAX_JSON_NESTING_DEPTH:
+            raise ValueError(
+                f"{path} exceeds the maximum JSON nesting depth of {MAX_JSON_NESTING_DEPTH}"
+            )
         identity = id(value)
         if identity in self.active_containers:
             raise ValueError(f"{path} must not contain a reference cycle")

jharness_kernel-0.2.2/src/jharness/kernel/py.typed

@@ -0,0 +1 @@
+

{jharness_kernel-0.1.2 → jharness_kernel-0.2.2}/src/jharness/kernel/wire/_helpers.py

@@ -7,7 +7,7 @@ from math import isfinite
 from typing import Any, TypeVar, cast
 
 from jharness.kernel.errors import ProtocolError
-from jharness.kernel.json_values import thaw_json_value
+from jharness.kernel.json_values import MAX_JSON_NESTING_DEPTH, thaw_json_value
 
 T = TypeVar("T")
 
@@ -20,7 +20,7 @@ def decode_document(value: object, label: str, decoder: Callable[[object], T]) -
         return decoder(value)
     except ProtocolError:
         raise
-    except (KeyError, TypeError, ValueError) as exc:
+    except (KeyError, OverflowError, RecursionError, TypeError, ValueError) as exc:
         raise ProtocolError(f"invalid {label}: {exc}") from exc
 
 
@@ -80,7 +80,12 @@ def optional_integer(value: object, label: str, *, minimum: int | None = None) -
 def number(value: object, label: str, *, minimum: float | None = None) -> float:
     if not isinstance(value, int | float) or isinstance(value, bool):
         raise ProtocolError(f"{label} must be a number")
-    result = float(value)
+    if isinstance(value, int) and abs(value) > (2**53 - 1):
+        raise ProtocolError(f"{label} integer must be within the safe JSON number range")
+    try:
+        result = float(value)
+    except OverflowError as exc:
+        raise ProtocolError(f"{label} must be representable as a finite number") from exc
     if not isfinite(result):
         raise ProtocolError(f"{label} must be finite")
     if minimum is not None and result < minimum:
@@ -169,6 +174,10 @@ def _validate_json(value: object, label: str, active: set[int]) -> None:
 
 
 def _validate_container(value: object, label: str, active: set[int]) -> None:
+    if len(active) >= MAX_JSON_NESTING_DEPTH:
+        raise ProtocolError(
+            f"{label} exceeds the maximum JSON nesting depth of {MAX_JSON_NESTING_DEPTH}"
+        )
     identity = id(value)
     if identity in active:
         raise ProtocolError(f"{label} contains a cycle")

{jharness_kernel-0.1.2 → jharness_kernel-0.2.2}/src/jharness/kernel/wire/messages.py

@@ -83,11 +83,17 @@ def decode_message_value(value: object) -> Message:
             "assistant message",
             {"role", "parts", "tool_calls", "metadata"},
         )
+        calls = tuple(
+            decode_tool_call_value(item) for item in array(fields["tool_calls"], "tool calls")
+        )
+        if len({call.id for call in calls}) != len(calls):
+            raise ProtocolError(
+                "assistant tool call ids must be unique",
+                code="duplicate_tool_call_id",
+            )
         return Message.assistant(
             _decode_parts(fields["parts"], "assistant parts"),
-            tool_calls=tuple(
-                decode_tool_call_value(item) for item in array(fields["tool_calls"], "tool calls")
-            ),
+            tool_calls=calls,
             metadata=json_object(fields["metadata"], "message metadata"),
         )
     if role == "tool":
@@ -170,6 +176,11 @@ def decode_content_part_value(value: object) -> ContentPart:
         {"type", "metadata"},
         {"text", "uri", "media_type", "name", "data"},
     )
+    opaque_data: Mapping[str, Any] = (
+        {} if "data" not in fields else json_object(fields["data"], "opaque part data")
+    )
+    if "data" in fields and not opaque_data:
+        raise ProtocolError("opaque part data must not be empty when present")
     return ContentPart(
         type=part_type,
         text=_present_string(fields, "text", "opaque part text"),
@@ -181,7 +192,7 @@ def decode_content_part_value(value: object) -> ContentPart:
             non_empty=True,
         ),
         name=_present_string(fields, "name", "opaque part name", non_empty=True),
-        data=({} if "data" not in fields else json_object(fields["data"], "opaque part data")),
+        data=opaque_data,
         metadata=json_object(fields["metadata"], "content metadata"),
     )