tigrbl-kernel 0.4.4.dev1__tar.gz → 0.4.4.dev8__tar.gz

{tigrbl_kernel-0.4.4.dev1 → tigrbl_kernel-0.4.4.dev8}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: tigrbl-kernel
-Version: 0.4.4.dev1
+Version: 0.4.4.dev8
 Summary: Kernel orchestration for composing Tigrbl runtime plans, bindings, operation dispatch, and optimized ASGI execution.
 License: Apache License
                                     Version 2.0, January 2004
@@ -318,7 +318,6 @@ Package catalog:
 - `tigrbl_kernel/protocol_bindings.py`, `tigrbl_kernel/protocol_phase_tree.py`, `tigrbl_kernel/protocol_chains/`, `tigrbl_kernel/protocol_completion.py`, `tigrbl_kernel/protocol_fusion.py`, and `tigrbl_kernel/protocol_legality_matrix.py`: transport-specific plan compilation, phase tree construction, chain definitions, completion semantics, fusion, and legality checks.
 - `tigrbl_kernel/eventkey.py`, `tigrbl_kernel/events.py`, `tigrbl_kernel/transport_events.py`, `tigrbl_kernel/webtransport_events.py`, `tigrbl_kernel/subevent_taxonomy.py`, and `tigrbl_kernel/subevent_handlers.py`: event-key construction, subevent taxonomy, and protocol subevent handler mapping.
 - `tigrbl_kernel/opchannel_capabilities.py`, `tigrbl_kernel/loop_modes.py`, `tigrbl_kernel/loop_regions.py`, `tigrbl_kernel/segment_fusion.py`, and `tigrbl_kernel/contract_classification.py`: channel capability checks, loop planning, segment grouping, and contract classification.
-- `tigrbl_kernel/rust_plan.py`, `tigrbl_kernel/rust_compile.py`, and `tigrbl_kernel/rust_spec.py`: deprecated compatibility shims; kernel planning is Python-only.
 
 ## Public API and Import Surface
 
@@ -354,9 +353,9 @@ Protocol planning keeps binding kind, family, framing, exchange, lane, subevent
 | `http.stream` / `https.stream` | stream | stream | handler invoke, transport emit, stream close. |
 | `http.sse` / `https.sse` | stream | SSE | encode event, emit event, close stream. |
 | `ws` / `wss` / `websocket` | message | text or negotiated JSON-RPC | accept, decode, dispatch, handler, emit/close. |
-| `webtransport` | session, stream, or datagram | WebTransport outer framing | lane-specific session, stream, or datagram rows with inner-framing validation. |
+| `webtransport` | session, stream, or datagram | no top-level app framing | lane-specific session, stream, or datagram rows with lane-local framing validation. |
 
-Unsupported or ambiguous bindings raise planning errors. For example, WebSocket bindings do not accept HTTP methods, HTTP JSON-RPC requires an RPC method, WebTransport request/response exchange is unsupported, and WebTransport outer framing must remain `webtransport`.
+Unsupported or ambiguous bindings raise planning errors. For example, WebSocket bindings do not accept HTTP methods, HTTP JSON-RPC requires an RPC method, WebTransport request/response exchange is unsupported, and WebTransport app framing must be declared on the relevant control stream, stream, or datagram lane.
 
 ## Hook Ordering and Labels
 

{tigrbl_kernel-0.4.4.dev1 → tigrbl_kernel-0.4.4.dev8}/README.md

@@ -81,7 +81,6 @@ Package catalog:
 - `tigrbl_kernel/protocol_bindings.py`, `tigrbl_kernel/protocol_phase_tree.py`, `tigrbl_kernel/protocol_chains/`, `tigrbl_kernel/protocol_completion.py`, `tigrbl_kernel/protocol_fusion.py`, and `tigrbl_kernel/protocol_legality_matrix.py`: transport-specific plan compilation, phase tree construction, chain definitions, completion semantics, fusion, and legality checks.
 - `tigrbl_kernel/eventkey.py`, `tigrbl_kernel/events.py`, `tigrbl_kernel/transport_events.py`, `tigrbl_kernel/webtransport_events.py`, `tigrbl_kernel/subevent_taxonomy.py`, and `tigrbl_kernel/subevent_handlers.py`: event-key construction, subevent taxonomy, and protocol subevent handler mapping.
 - `tigrbl_kernel/opchannel_capabilities.py`, `tigrbl_kernel/loop_modes.py`, `tigrbl_kernel/loop_regions.py`, `tigrbl_kernel/segment_fusion.py`, and `tigrbl_kernel/contract_classification.py`: channel capability checks, loop planning, segment grouping, and contract classification.
-- `tigrbl_kernel/rust_plan.py`, `tigrbl_kernel/rust_compile.py`, and `tigrbl_kernel/rust_spec.py`: deprecated compatibility shims; kernel planning is Python-only.
 
 ## Public API and Import Surface
 
@@ -117,9 +116,9 @@ Protocol planning keeps binding kind, family, framing, exchange, lane, subevent
 | `http.stream` / `https.stream` | stream | stream | handler invoke, transport emit, stream close. |
 | `http.sse` / `https.sse` | stream | SSE | encode event, emit event, close stream. |
 | `ws` / `wss` / `websocket` | message | text or negotiated JSON-RPC | accept, decode, dispatch, handler, emit/close. |
-| `webtransport` | session, stream, or datagram | WebTransport outer framing | lane-specific session, stream, or datagram rows with inner-framing validation. |
+| `webtransport` | session, stream, or datagram | no top-level app framing | lane-specific session, stream, or datagram rows with lane-local framing validation. |
 
-Unsupported or ambiguous bindings raise planning errors. For example, WebSocket bindings do not accept HTTP methods, HTTP JSON-RPC requires an RPC method, WebTransport request/response exchange is unsupported, and WebTransport outer framing must remain `webtransport`.
+Unsupported or ambiguous bindings raise planning errors. For example, WebSocket bindings do not accept HTTP methods, HTTP JSON-RPC requires an RPC method, WebTransport request/response exchange is unsupported, and WebTransport app framing must be declared on the relevant control stream, stream, or datagram lane.
 
 ## Hook Ordering and Labels
 

{tigrbl_kernel-0.4.4.dev1 → tigrbl_kernel-0.4.4.dev8}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "tigrbl-kernel"
-version = "0.4.4.dev1"
+version = "0.4.4.dev8"
 description = "Kernel orchestration for composing Tigrbl runtime plans, bindings, operation dispatch, and optimized ASGI execution."
 readme = "README.md"
 license = { file = "LICENSE" }

{tigrbl_kernel-0.4.4.dev1 → tigrbl_kernel-0.4.4.dev8}/tigrbl_kernel/_compile.py

@@ -5,7 +5,17 @@ from types import SimpleNamespace
 from typing import Any, Mapping
 
 from tigrbl_atoms import StepFn
-from tigrbl_core._spec.binding_spec import HttpRestBindingSpec
+from tigrbl_core._spec.binding_spec import (
+    HttpJsonRpcProtocolBindingSpec,
+    HttpRestBindingSpec,
+    HttpRestProtocolBindingSpec,
+    WebSocketProtocolBindingSpec,
+    WebTransportProtocolBindingSpec,
+    derive_websocket_subprotocol_for_framing,
+    derive_session_metadata_for_framing,
+    framing_kind,
+    framing_spec_name,
+)
 from tigrbl_core.config.constants import __JSONRPC_DEFAULT_ENDPOINT__
 from tigrbl_core._spec.op_spec import OpSpec
 from tigrbl_core._spec.well_known_spec import well_known_op_alias
@@ -28,6 +38,69 @@ from .utils import (
 DEFAULT_PHASE_ORDER = tuple(getattr(_ev, "PHASES", ())) or _DEFAULT_PHASE_ORDER
 
 
+def _route_metadata_for_binding(binding: Any) -> dict[str, Any]:
+    framing_obj = getattr(binding, "framing", None)
+    framing = framing_kind(framing_obj)
+    metadata: dict[str, Any] = {
+        "framing": framing,
+        "framing_kind": framing,
+        "framing_spec": framing_spec_name(framing_obj),
+    }
+    proto = str(getattr(binding, "proto", "") or "")
+    if isinstance(binding, WebSocketProtocolBindingSpec):
+        derived_subprotocol = derive_websocket_subprotocol_for_framing(framing_obj)
+        if derived_subprotocol is not None:
+            metadata["websocket_subprotocol"] = derived_subprotocol
+    elif proto in {"ws", "wss"}:
+        metadata.update(
+            derive_session_metadata_for_framing(
+                binding_kind=proto,
+                framing=framing_obj,
+                subprotocols=tuple(getattr(binding, "subprotocols", ()) or ()),
+            )
+        )
+    if isinstance(binding, WebTransportProtocolBindingSpec):
+        if binding.control_stream is not None:
+            control = binding.control_stream
+            metadata["control_stream"] = {
+                "name": control.name,
+                "kind": control.kind,
+                "opens": control.opens,
+                "purpose": control.purpose,
+                "framing": framing_kind(control.framing),
+                "framing_spec": framing_spec_name(control.framing),
+            }
+        metadata["streams"] = tuple(
+            {
+                "name": stream.name,
+                "kind": stream.kind,
+                "purpose": stream.purpose,
+                "framing": framing_kind(stream.framing),
+                "framing_spec": framing_spec_name(stream.framing),
+            }
+            for stream in binding.streams
+        )
+        metadata["datagrams"] = tuple(
+            {
+                "name": datagram.name,
+                "purpose": datagram.purpose,
+                "framing": framing_kind(datagram.framing),
+                "framing_spec": framing_spec_name(datagram.framing),
+            }
+            for datagram in binding.datagrams
+        )
+    elif proto == "webtransport":
+        lane = getattr(binding, "lane", None) or getattr(binding, "profile", None)
+        inner_framing = getattr(binding, "inner_framing", None)
+        metadata["lane"] = lane
+        metadata["inner_framing"] = framing_kind(inner_framing)
+        metadata["inner_framing_spec"] = framing_spec_name(inner_framing)
+        if inner_framing is not None:
+            metadata["inner_framing_kind"] = str(inner_framing)
+            metadata["inner_framing_spec"] = framing_spec_name(inner_framing)
+    return metadata
+
+
 def _pathspec_iter(app: Any) -> tuple[Any, ...]:
     collected: list[Any] = []
     collected.extend(tuple(getattr(app, "_tigrbl_path_specs", ()) or ()))
@@ -133,9 +206,13 @@ def _compile_plan(self: Any, app: Any) -> KernelPlan:
     from tigrbl_core._spec.binding_spec import (
         HttpJsonRpcBindingSpec,
         HttpRestBindingSpec,
+        HttpJsonRpcProtocolBindingSpec,
+        HttpRestProtocolBindingSpec,
         HttpStreamBindingSpec,
         SseBindingSpec,
+        WebSocketProtocolBindingSpec,
         WebTransportBindingSpec,
+        WebTransportProtocolBindingSpec,
         WsBindingSpec,
     )
 
@@ -169,7 +246,12 @@ def _compile_plan(self: Any, app: Any) -> KernelPlan:
             for binding in getattr(sp, "bindings", ()) or ():
                 if isinstance(
                     binding,
-                    (HttpRestBindingSpec, HttpStreamBindingSpec, SseBindingSpec),
+                    (
+                        HttpRestBindingSpec,
+                        HttpRestProtocolBindingSpec,
+                        HttpStreamBindingSpec,
+                        SseBindingSpec,
+                    ),
                 ):
                     bucket = route_data.setdefault(
                         binding.proto, {"exact": {}, "templated": []}
@@ -199,34 +281,53 @@ def _compile_plan(self: Any, app: Any) -> KernelPlan:
                                     meta_index
                                 )
 
-                elif isinstance(binding, HttpJsonRpcBindingSpec):
-                    endpoint = str(
-                        getattr(binding, "endpoint", __JSONRPC_DEFAULT_ENDPOINT__)
+                elif isinstance(binding, (HttpJsonRpcBindingSpec, HttpJsonRpcProtocolBindingSpec)):
+                    rpc_path = str(
+                        getattr(
+                            binding,
+                            "path",
+                            getattr(binding, "endpoint", __JSONRPC_DEFAULT_ENDPOINT__),
+                        )
                         or __JSONRPC_DEFAULT_ENDPOINT__
                     )
-                    selector = f"{endpoint}:{binding.rpc_method}"
+                    rpc_method = getattr(
+                        binding,
+                        "method",
+                        getattr(binding, "rpc_method", None),
+                    )
+                    selector = f"{rpc_path}:{rpc_method}"
                     opkey_to_meta[OpKey(proto=binding.proto, selector=selector)] = (
                         meta_index
                     )
                     proto_bucket = route_data.setdefault(
-                        binding.proto, {"endpoints": {}}
-                    )
-                    endpoint_bucket = proto_bucket.setdefault("endpoints", {}).setdefault(
-                        endpoint, {}
+                        binding.proto, {"paths": {}, "endpoints": {}}
                     )
-                    proto_bucket[binding.rpc_method] = meta_index
-                    endpoint_bucket[binding.rpc_method] = {
+                    path_bucket = proto_bucket.setdefault("paths", {}).setdefault(rpc_path, {})
+                    endpoint_bucket = proto_bucket.setdefault("endpoints", {}).setdefault(rpc_path, {})
+                    proto_bucket[rpc_method] = meta_index
+                    row = {
                         "meta_index": meta_index,
                         "selector": selector,
-                        "rpc_method": binding.rpc_method,
-                        "endpoint": endpoint,
+                        "method": rpc_method,
+                        "path": rpc_path,
                     }
+                    path_bucket[rpc_method] = row
+                    endpoint_bucket[rpc_method] = row
 
-                elif isinstance(binding, (WsBindingSpec, WebTransportBindingSpec)):
+                elif isinstance(
+                    binding,
+                    (
+                        WsBindingSpec,
+                        WebSocketProtocolBindingSpec,
+                        WebTransportBindingSpec,
+                        WebTransportProtocolBindingSpec,
+                    ),
+                ):
                     bucket = route_data.setdefault(
                         binding.proto, {"exact": {}, "templated": []}
                     )
                     selector = binding.path
+                    route_metadata = _route_metadata_for_binding(binding)
                     opkey_to_meta[OpKey(proto=binding.proto, selector=selector)] = (
                         meta_index
                     )
@@ -240,13 +341,17 @@ def _compile_plan(self: Any, app: Any) -> KernelPlan:
                                 "names": names,
                                 "meta_index": meta_index,
                                 "selector": selector,
-                                "subprotocols": tuple(
-                                    getattr(binding, "subprotocols", ()) or ()
-                                ),
+                                **route_metadata,
                             }
                         )
                     else:
                         bucket["exact"][selector] = meta_index
+                        bucket.setdefault("exact_metadata", {})[selector] = {
+                            "path": binding.path,
+                            "meta_index": meta_index,
+                            "selector": selector,
+                            **route_metadata,
+                        }
 
     semantic = KernelPlan(
         proto_indices=route_data,

{tigrbl_kernel-0.4.4.dev1 → tigrbl_kernel-0.4.4.dev8}/tigrbl_kernel/contract_classification.py

@@ -61,6 +61,9 @@ CANONICAL_CONTRACT_EVENTS: tuple[str, ...] = (
     "webtransport.stream.stop_sending",
     "webtransport.datagram.receive",
     "webtransport.datagram.send",
+    "stream.resume.request",
+    "stream.resume.accept",
+    "stream.resume.reject",
     "webtransport.disconnect",
     "webtransport.close",
     "transport.emit.complete",
@@ -71,6 +74,7 @@ _EVENT_SCOPE_PREFIXES: dict[str, str] = {
     "http.": "http",
     "websocket.": "websocket",
     "webtransport.": "webtransport",
+    "stream.resume.": "webtransport",
     "transport.emit.": "webtransport",
 }
 

{tigrbl_kernel-0.4.4.dev1 → tigrbl_kernel-0.4.4.dev8}/tigrbl_kernel/core.py

@@ -24,7 +24,6 @@ from .cache import _SpecsOnceCache, _WeakMaybeDict
 from .models import KernelPlan, OpView
 from .opview_compiler import compile_opview_from_specs
 from .types import DEFAULT_PHASE_ORDER as _DEFAULT_PHASE_ORDER
-from .rust_compile import build_rust_kernel as _build_rust_kernel
 from .utils import (
     _opspecs,
     _table_iter,
@@ -155,9 +154,6 @@ class Kernel:
             return payload
         return {}
 
-    def compile_rust_plan(self, app: Any):
-        return _build_rust_kernel(app)
-
     def invalidate_kernelz_payload(self, app: Optional[Any] = None) -> None:
         with self._lock:
             if app is None:

{tigrbl_kernel-0.4.4.dev1 → tigrbl_kernel-0.4.4.dev8}/tigrbl_kernel/cross_transport.py

@@ -27,7 +27,7 @@ TRANSPORT_ENVELOPE_KEYS = frozenset(
 class EquivalenceCase:
     op_id: str
     category: str
-    bindings: tuple[Mapping[str, Any], ...]
+    bindings: tuple[Any, ...]
 
 
 def canonical_operation_id(op_id: str) -> str:
@@ -42,7 +42,7 @@ def canonical_operation_id(op_id: str) -> str:
 
 def compile_equivalence_manifest(
     op_id: str,
-    bindings: Iterable[Mapping[str, Any]],
+    bindings: Iterable[Any],
     *,
     schema_identity: str = "schema:v1",
     runtime_plan_identity: str = "runtime-plan:v1",
@@ -80,7 +80,7 @@ def equivalent_transport_results(*results: Mapping[str, Any]) -> bool:
     return all(normalized_transport_result(result) == first for result in results[1:])
 
 
-def equivalent_binding_group(op_id: str, bindings: Iterable[Mapping[str, Any]]) -> bool:
+def equivalent_binding_group(op_id: str, bindings: Iterable[Any]) -> bool:
     manifest = compile_equivalence_manifest(op_id, bindings)
     families = {binding["family"] for binding in manifest["bindings"]}
     return bool(families) and len({manifest["op_id"]}) == 1

{tigrbl_kernel-0.4.4.dev1 → tigrbl_kernel-0.4.4.dev8}/tigrbl_kernel/protocol_anchors.py

@@ -1,7 +1,6 @@
 from __future__ import annotations
 
 from typing import Any
-import warnings
 
 
 def canonical_protocol_anchor_order(
@@ -32,18 +31,7 @@ def python_protocol_anchor_trace(case: dict[str, Any]) -> tuple[str, ...]:
     )
 
 
-def rust_protocol_anchor_trace(case: dict[str, Any]) -> tuple[str, ...]:
-    del case
-    warnings.warn(
-        "rust_protocol_anchor_trace is deprecated; protocol anchors are Python-only.",
-        DeprecationWarning,
-        stacklevel=2,
-    )
-    raise RuntimeError("rust_protocol_anchor_trace is unavailable.")
-
-
 __all__ = [
     "canonical_protocol_anchor_order",
     "python_protocol_anchor_trace",
-    "rust_protocol_anchor_trace",
 ]