tigrbl-kernel 0.4.2.dev4__tar.gz → 0.4.3__tar.gz

{tigrbl_kernel-0.4.2.dev4 → tigrbl_kernel-0.4.3}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: tigrbl-kernel
-Version: 0.4.2.dev4
+Version: 0.4.3
 Summary: Kernel orchestration for composing Tigrbl runtime plans, bindings, operation dispatch, and optimized ASGI execution.
 License: Apache License
                                     Version 2.0, January 2004
@@ -244,7 +244,7 @@ Description-Content-Type: text/markdown
 <a href="https://discord.gg/K4YTAPapjR"><img src="https://img.shields.io/badge/Discord-Join%20chat-5865F2?logo=discord&logoColor=white" alt="Discord community for tigrbl-kernel"/></a>
 <a href="https://github.com/tigrbl/tigrbl/blob/master/pkgs/core/tigrbl_kernel/README.md"><img src="https://hits.sh/github.com/tigrbl/tigrbl/blob/master/pkgs/core/tigrbl_kernel/README.md.svg?label=hits" alt="Repository hits for tigrbl-kernel README"/></a>
 <a href="LICENSE"><img src="https://img.shields.io/badge/license-Apache%202.0-525252" alt="Apache 2.0 license"/></a>
-<a href="pyproject.toml"><img src="https://img.shields.io/badge/python-3.10%20%7C%203.11%20%7C%203.12%20%7C%203.13%20%7C%203.14-3776ab" alt="Python versions 3.10 | 3.11 | 3.12 | 3.13 | 3.14 for tigrbl-kernel"/></a>
+<a href="pyproject.toml"><img src="https://img.shields.io/badge/python-3.10%2C%203.11%2C%203.12%2C%203.13%2C%203.14-3776ab" alt="Python versions 3.10 | 3.11 | 3.12 | 3.13 | 3.14 for tigrbl-kernel"/></a>
 <a href="https://github.com/tigrbl/tigrbl/blob/master/docs/README.md"><img src="https://img.shields.io/badge/workspace-core-1f6feb" alt="Workspace group for tigrbl-kernel"/></a>
 </div>
 
@@ -301,7 +301,7 @@ pip install tigrbl-kernel
 | Entry points | none declared |
 | Optional extras | none declared |
 | Legal files | `LICENSE`, `NOTICE` |
-| Supported Python | `3.10 | 3.11 | 3.12 | 3.13 | 3.14` |
+| Supported Python | `3.10, 3.11, 3.12, 3.13, 3.14` |
 
 ## What It Owns
 
@@ -310,13 +310,80 @@ pip install tigrbl-kernel
 Implementation orientation:
 - `tigrbl_kernel`: _build, _compile, atoms, cache, callbacks, contract_classification, core, eventkey, eventkey_hooks, events, helpers, hook_types
 
+Package catalog:
+- `tigrbl_kernel/core.py`, `tigrbl_kernel/_build.py`, `tigrbl_kernel/_compile.py`, `tigrbl_kernel/models.py`, `tigrbl_kernel/types.py`, and `tigrbl_kernel/payload.py`: kernel objects, operation views, packed plans, build/compile helpers, and payload contracts.
+- `tigrbl_kernel/ordering.py`, `tigrbl_kernel/labels.py`, `tigrbl_kernel/hook_types.py`, `tigrbl_kernel/callbacks.py`, and `tigrbl_kernel/eventkey_hooks.py`: hook ordering, diagnostic labels, callback shape, and event-key-aware hook plumbing.
+- `tigrbl_kernel/cache.py`, `tigrbl_kernel/trace.py`, and `tigrbl_kernel/measure.py`: cached plans, execution trace support, and measurement views.
+- `tigrbl_kernel/atoms.py`, `tigrbl_kernel/transport_atoms.py`, and `tigrbl_kernel/transaction_units.py`: atom references and transaction/transport plan units.
+- `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
 
 - Import roots: `tigrbl_kernel`.
-- Public symbols: `BatchOpPlan`, `ExecutionBackend`, `Kernel`, `OpView`, `PackedKernel`, `RustBackendConfig`, `RustPlan`, `SchemaIn`, `SchemaOut`, `build_kernel_plan`, `build_packed_kernel`, `build_packed_kernel_measurement_view`.
+- Public symbols: `BatchOpPlan`, `Kernel`, `OpView`, `PackedKernel`, `SchemaIn`, `SchemaOut`, `build_kernel_plan`, `build_packed_kernel`, `build_packed_kernel_measurement_view`.
 - Workspace dependencies: [`tigrbl-typing`](https://pypi.org/project/tigrbl-typing/), [`tigrbl-atoms`](https://pypi.org/project/tigrbl-atoms/), [`tigrbl-core`](https://pypi.org/project/tigrbl-core/).
 - External runtime dependencies: none declared.
 
+## Kernel Semantics
+
+The kernel turns specs, operation inventories, hooks, atoms, and protocol bindings into executable plans. It does not own app authoring syntax, persistence engines, or concrete ASGI classes. Its job is to compile the behavior that runtime-owned routing will execute.
+
+The basic flow is:
+
+```text
+specs + model metadata + bindings + hooks
+-> operation views
+-> ordered phase plan
+-> packed kernel
+-> runtime execution and diagnostics
+```
+
+`Kernel` and `PackedKernel` are the planning surfaces; `OpView` is the operation-level view of schemas, handlers, hooks, bindings, and labels. `build_kernel_plan(...)` and `build_packed_kernel(...)` are useful for tests and framework packages that need to verify the compiled plan without driving a full ASGI request.
+
+## Protocol Planning
+
+Protocol planning keeps binding kind, family, framing, exchange, lane, subevent rows, and atom anchors separate. The current planner handles:
+
+| Binding kind | Runtime family | Default framing | Plan shape |
+|---|---|---|---|
+| `http.rest` / `https.rest` | request | JSON | request received, handler invoke, response emit. |
+| `http.jsonrpc` / `https.jsonrpc` | request | JSON-RPC | framing decode, dispatch, handler invoke, framing encode. |
+| `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. |
+
+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`.
+
+## Hook Ordering and Labels
+
+The kernel orders security dependencies, dependencies, system hooks, user hooks, atoms, and handlers into phase plans. Labels are part of the diagnostics contract:
+
+```text
+PRE_HANDLER:secdep:myapp.auth.require_user
+PRE_HANDLER:dep:myapp.context.load_tenant
+HANDLER:hook:sys:handler:create@HANDLER
+EGRESS_SHAPE:atom:wire:dump
+```
+
+Use labels to debug and test ordering. Do not use them as application APIs; use specs, decorators, dependencies, and hooks for configuration.
+
+## Diagnostics and Traceability
+
+Kernel plans feed `/system/kernelz` in concrete applications. Trace and measurement helpers make it possible to assert plan shape, count phase work, and inspect compiled execution without relying on a live server. This is especially important for transport work, where a route can look correct while the protocol chain is missing required event rows or capability masks.
+
+## Best Practices
+
+- Compile plans from explicit specs and bindings; do not guess transport behavior from URL strings alone.
+- Keep protocol support checks fail-closed and close to planning.
+- Preserve separate event rows for request, stream, message, session, and datagram families.
+- Add tests at the kernel layer when changing hook order, labels, phase rows, protocol legality, or capability masks.
+- Use measurement views for plan review instead of parsing private object internals.
+- Keep runtime side effects out of kernel code; the kernel should plan, classify, and label, not perform IO.
+
 ## Usage Examples
 
 ### Verify the installed package
@@ -376,6 +443,8 @@ Choose `tigrbl-kernel` when the quick-answer table matches your use case. Choose
 - [Package layout](https://github.com/tigrbl/tigrbl/blob/master/docs/developer/PACKAGE_LAYOUT.md)
 - [Current target](https://github.com/tigrbl/tigrbl/blob/master/docs/conformance/CURRENT_TARGET.md)
 - [Current state](https://github.com/tigrbl/tigrbl/blob/master/docs/conformance/CURRENT_STATE.md)
+- [Next steps](https://github.com/tigrbl/tigrbl/blob/master/docs/conformance/NEXT_STEPS.md)
+- [Documentation pointers](https://github.com/tigrbl/tigrbl/blob/master/docs/governance/DOC_POINTERS.md)
 - [SSOT registry](https://github.com/tigrbl/tigrbl/blob/master/.ssot/registry.json)
 - [Release workflow](https://github.com/tigrbl/tigrbl/actions/workflows/publish.yml)
 
@@ -387,7 +456,7 @@ Choose `tigrbl-kernel` when the quick-answer table matches your use case. Choose
 
 ## Package-local Boundary
 
-This README is the package-local distribution entry point for `tigrbl-kernel`. It answers install, usage, API, ownership, and certification-orientation questions for this package. Broader architectural decisions, release status, and cross-package proof chains remain in the repository-level docs and SSOT registry.
+This file is a package-local distribution entry point. This README is the package-local distribution entry point for `tigrbl-kernel`. It answers install, usage, API, ownership, and certification-orientation questions for this package. Broader architectural decisions, release status, and cross-package proof chains remain in the repository-level docs and SSOT registry.
 
 ## License
 

{tigrbl_kernel-0.4.2.dev4 → tigrbl_kernel-0.4.3}/README.md

@@ -7,7 +7,7 @@
 <a href="https://discord.gg/K4YTAPapjR"><img src="https://img.shields.io/badge/Discord-Join%20chat-5865F2?logo=discord&logoColor=white" alt="Discord community for tigrbl-kernel"/></a>
 <a href="https://github.com/tigrbl/tigrbl/blob/master/pkgs/core/tigrbl_kernel/README.md"><img src="https://hits.sh/github.com/tigrbl/tigrbl/blob/master/pkgs/core/tigrbl_kernel/README.md.svg?label=hits" alt="Repository hits for tigrbl-kernel README"/></a>
 <a href="LICENSE"><img src="https://img.shields.io/badge/license-Apache%202.0-525252" alt="Apache 2.0 license"/></a>
-<a href="pyproject.toml"><img src="https://img.shields.io/badge/python-3.10%20%7C%203.11%20%7C%203.12%20%7C%203.13%20%7C%203.14-3776ab" alt="Python versions 3.10 | 3.11 | 3.12 | 3.13 | 3.14 for tigrbl-kernel"/></a>
+<a href="pyproject.toml"><img src="https://img.shields.io/badge/python-3.10%2C%203.11%2C%203.12%2C%203.13%2C%203.14-3776ab" alt="Python versions 3.10 | 3.11 | 3.12 | 3.13 | 3.14 for tigrbl-kernel"/></a>
 <a href="https://github.com/tigrbl/tigrbl/blob/master/docs/README.md"><img src="https://img.shields.io/badge/workspace-core-1f6feb" alt="Workspace group for tigrbl-kernel"/></a>
 </div>
 
@@ -64,7 +64,7 @@ pip install tigrbl-kernel
 | Entry points | none declared |
 | Optional extras | none declared |
 | Legal files | `LICENSE`, `NOTICE` |
-| Supported Python | `3.10 | 3.11 | 3.12 | 3.13 | 3.14` |
+| Supported Python | `3.10, 3.11, 3.12, 3.13, 3.14` |
 
 ## What It Owns
 
@@ -73,13 +73,80 @@ pip install tigrbl-kernel
 Implementation orientation:
 - `tigrbl_kernel`: _build, _compile, atoms, cache, callbacks, contract_classification, core, eventkey, eventkey_hooks, events, helpers, hook_types
 
+Package catalog:
+- `tigrbl_kernel/core.py`, `tigrbl_kernel/_build.py`, `tigrbl_kernel/_compile.py`, `tigrbl_kernel/models.py`, `tigrbl_kernel/types.py`, and `tigrbl_kernel/payload.py`: kernel objects, operation views, packed plans, build/compile helpers, and payload contracts.
+- `tigrbl_kernel/ordering.py`, `tigrbl_kernel/labels.py`, `tigrbl_kernel/hook_types.py`, `tigrbl_kernel/callbacks.py`, and `tigrbl_kernel/eventkey_hooks.py`: hook ordering, diagnostic labels, callback shape, and event-key-aware hook plumbing.
+- `tigrbl_kernel/cache.py`, `tigrbl_kernel/trace.py`, and `tigrbl_kernel/measure.py`: cached plans, execution trace support, and measurement views.
+- `tigrbl_kernel/atoms.py`, `tigrbl_kernel/transport_atoms.py`, and `tigrbl_kernel/transaction_units.py`: atom references and transaction/transport plan units.
+- `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
 
 - Import roots: `tigrbl_kernel`.
-- Public symbols: `BatchOpPlan`, `ExecutionBackend`, `Kernel`, `OpView`, `PackedKernel`, `RustBackendConfig`, `RustPlan`, `SchemaIn`, `SchemaOut`, `build_kernel_plan`, `build_packed_kernel`, `build_packed_kernel_measurement_view`.
+- Public symbols: `BatchOpPlan`, `Kernel`, `OpView`, `PackedKernel`, `SchemaIn`, `SchemaOut`, `build_kernel_plan`, `build_packed_kernel`, `build_packed_kernel_measurement_view`.
 - Workspace dependencies: [`tigrbl-typing`](https://pypi.org/project/tigrbl-typing/), [`tigrbl-atoms`](https://pypi.org/project/tigrbl-atoms/), [`tigrbl-core`](https://pypi.org/project/tigrbl-core/).
 - External runtime dependencies: none declared.
 
+## Kernel Semantics
+
+The kernel turns specs, operation inventories, hooks, atoms, and protocol bindings into executable plans. It does not own app authoring syntax, persistence engines, or concrete ASGI classes. Its job is to compile the behavior that runtime-owned routing will execute.
+
+The basic flow is:
+
+```text
+specs + model metadata + bindings + hooks
+-> operation views
+-> ordered phase plan
+-> packed kernel
+-> runtime execution and diagnostics
+```
+
+`Kernel` and `PackedKernel` are the planning surfaces; `OpView` is the operation-level view of schemas, handlers, hooks, bindings, and labels. `build_kernel_plan(...)` and `build_packed_kernel(...)` are useful for tests and framework packages that need to verify the compiled plan without driving a full ASGI request.
+
+## Protocol Planning
+
+Protocol planning keeps binding kind, family, framing, exchange, lane, subevent rows, and atom anchors separate. The current planner handles:
+
+| Binding kind | Runtime family | Default framing | Plan shape |
+|---|---|---|---|
+| `http.rest` / `https.rest` | request | JSON | request received, handler invoke, response emit. |
+| `http.jsonrpc` / `https.jsonrpc` | request | JSON-RPC | framing decode, dispatch, handler invoke, framing encode. |
+| `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. |
+
+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`.
+
+## Hook Ordering and Labels
+
+The kernel orders security dependencies, dependencies, system hooks, user hooks, atoms, and handlers into phase plans. Labels are part of the diagnostics contract:
+
+```text
+PRE_HANDLER:secdep:myapp.auth.require_user
+PRE_HANDLER:dep:myapp.context.load_tenant
+HANDLER:hook:sys:handler:create@HANDLER
+EGRESS_SHAPE:atom:wire:dump
+```
+
+Use labels to debug and test ordering. Do not use them as application APIs; use specs, decorators, dependencies, and hooks for configuration.
+
+## Diagnostics and Traceability
+
+Kernel plans feed `/system/kernelz` in concrete applications. Trace and measurement helpers make it possible to assert plan shape, count phase work, and inspect compiled execution without relying on a live server. This is especially important for transport work, where a route can look correct while the protocol chain is missing required event rows or capability masks.
+
+## Best Practices
+
+- Compile plans from explicit specs and bindings; do not guess transport behavior from URL strings alone.
+- Keep protocol support checks fail-closed and close to planning.
+- Preserve separate event rows for request, stream, message, session, and datagram families.
+- Add tests at the kernel layer when changing hook order, labels, phase rows, protocol legality, or capability masks.
+- Use measurement views for plan review instead of parsing private object internals.
+- Keep runtime side effects out of kernel code; the kernel should plan, classify, and label, not perform IO.
+
 ## Usage Examples
 
 ### Verify the installed package
@@ -139,6 +206,8 @@ Choose `tigrbl-kernel` when the quick-answer table matches your use case. Choose
 - [Package layout](https://github.com/tigrbl/tigrbl/blob/master/docs/developer/PACKAGE_LAYOUT.md)
 - [Current target](https://github.com/tigrbl/tigrbl/blob/master/docs/conformance/CURRENT_TARGET.md)
 - [Current state](https://github.com/tigrbl/tigrbl/blob/master/docs/conformance/CURRENT_STATE.md)
+- [Next steps](https://github.com/tigrbl/tigrbl/blob/master/docs/conformance/NEXT_STEPS.md)
+- [Documentation pointers](https://github.com/tigrbl/tigrbl/blob/master/docs/governance/DOC_POINTERS.md)
 - [SSOT registry](https://github.com/tigrbl/tigrbl/blob/master/.ssot/registry.json)
 - [Release workflow](https://github.com/tigrbl/tigrbl/actions/workflows/publish.yml)
 
@@ -150,7 +219,7 @@ Choose `tigrbl-kernel` when the quick-answer table matches your use case. Choose
 
 ## Package-local Boundary
 
-This README is the package-local distribution entry point for `tigrbl-kernel`. It answers install, usage, API, ownership, and certification-orientation questions for this package. Broader architectural decisions, release status, and cross-package proof chains remain in the repository-level docs and SSOT registry.
+This file is a package-local distribution entry point. This README is the package-local distribution entry point for `tigrbl-kernel`. It answers install, usage, API, ownership, and certification-orientation questions for this package. Broader architectural decisions, release status, and cross-package proof chains remain in the repository-level docs and SSOT registry.
 
 ## License
 

{tigrbl_kernel-0.4.2.dev4 → tigrbl_kernel-0.4.3}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "tigrbl-kernel"
-version = "0.4.2.dev4"
+version = "0.4.3"
 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.2.dev4 → tigrbl_kernel-0.4.3}/tigrbl_kernel/__init__.py

@@ -3,19 +3,6 @@ from __future__ import annotations
 from importlib import import_module
 from typing import Any, Dict, List, Mapping
 
-try:  # pragma: no cover - additive optional integration
-    _runtime_rust = import_module("tigrbl_runtime.rust")
-    ExecutionBackend = _runtime_rust.ExecutionBackend
-    RustBackendConfig = _runtime_rust.RustBackendConfig
-except Exception:  # pragma: no cover
-    ExecutionBackend = RustBackendConfig = None
-
-from .rust_compile import (
-    build_rust_kernel,
-    build_rust_parity_snapshot,
-    normalize_rust_spec,
-)
-from .rust_plan import RustPlan
 from .measure import (
     build_packed_kernel_measurement_view,
     load_packed_kernel_hot_block,
@@ -80,18 +67,13 @@ def plan_labels(model: type, alias: str) -> list[str]:
 
 
 __all__ = [
-    "ExecutionBackend",
     "Kernel",
-    "RustBackendConfig",
-    "RustPlan",
     "BatchOpPlan",
     "OpView",
     "PackedKernel",
     "SchemaIn",
     "SchemaOut",
     "build_kernel_plan",
-    "build_rust_kernel",
-    "build_rust_parity_snapshot",
     "build_packed_kernel",
     "build_packed_kernel_measurement_view",
     "get_cached_specs",
@@ -99,9 +81,9 @@ __all__ = [
     "load_packed_kernel_hot_block",
     "load_packed_kernel_hot_sections",
     "measure_packed_kernel",
-    "normalize_rust_spec",
     "packed_kernel_measurement",
     "plan_labels",
+    "protocol_streams",
     "serialize_packed_kernel_measurement_view",
     "segment_fusion",
     "transport_atoms",

{tigrbl_kernel-0.4.2.dev4 → tigrbl_kernel-0.4.3}/tigrbl_kernel/_build.py

@@ -15,7 +15,7 @@ from tigrbl_atoms.atoms.sys.phase_db import run as _bind_phase_db
 from tigrbl_atoms.phases import phase_info
 from tigrbl_atoms.types import EdgeTarget, PhaseTreeEdge, PhaseTreeNode, error_phase_for
 from tigrbl_core.config.resolver import resolve_cfg
-from tigrbl_typing.phases import normalize_phase
+from tigrbl_typing.phases import canonicalize_phase_input as normalize_phase
 
 from . import events as _ev
 from .atoms import (

{tigrbl_kernel-0.4.2.dev4 → tigrbl_kernel-0.4.3}/tigrbl_kernel/_compile.py

@@ -1,10 +1,14 @@
 from __future__ import annotations
 
 from dataclasses import replace
+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.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
 
 from . import events as _ev
 from .models import KernelPlan, OpKey, OpMeta, OpView
@@ -24,6 +28,101 @@ from .utils import (
 DEFAULT_PHASE_ORDER = tuple(getattr(_ev, "PHASES", ())) or _DEFAULT_PHASE_ORDER
 
 
+def _pathspec_iter(app: Any) -> tuple[Any, ...]:
+    collected: list[Any] = []
+    collected.extend(tuple(getattr(app, "_tigrbl_path_specs", ()) or ()))
+    routers = getattr(app, "routers", None)
+    if isinstance(routers, Mapping):
+        router_values = tuple(routers.values())
+    elif isinstance(routers, (list, tuple)):
+        router_values = tuple(routers)
+    else:
+        router_values = ()
+    for router in router_values:
+        collected.extend(tuple(getattr(router, "_tigrbl_path_specs", ()) or ()))
+
+    seen: set[tuple[str, str, str]] = set()
+    deduped: list[Any] = []
+    for path in collected:
+        resource = getattr(path, "well_known", None)
+        key = (
+            str(getattr(path, "kind", "")),
+            str(getattr(path, "path", "")),
+            str(getattr(resource, "name", "")),
+        )
+        if key in seen:
+            continue
+        seen.add(key)
+        deduped.append(path)
+    return tuple(deduped)
+
+
+def _well_known_path_model(app: Any) -> type | None:
+    pathspecs = tuple(
+        path
+        for path in _pathspec_iter(app)
+        if getattr(path, "kind", None) == "well-known"
+        and getattr(path, "well_known", None) is not None
+    )
+    if not pathspecs:
+        return None
+
+    ops: list[Any] = []
+    resources: dict[str, dict[str, Any]] = {}
+    for path in pathspecs:
+        resource = path.well_known
+        alias = well_known_op_alias(resource.name)
+        resources[alias] = {
+            "name": resource.name,
+            "payload": resource.payload,
+            "media_type": resource.media_type,
+            "status_code": resource.status_code,
+            "headers": dict(resource.headers or {}),
+        }
+        ops.append(
+            OpSpec(
+                alias=alias,
+                target="well_known",
+                arity="collection",
+                persist="skip",
+                expose_routes=False,
+                expose_rpc=False,
+                bindings=(
+                    HttpRestBindingSpec(
+                        proto="http.rest",
+                        path=str(path.path),
+                        methods=("GET",),
+                    ),
+                ),
+                status_code=resource.status_code,
+                exchange="request_response",
+                tx_scope="none",
+            )
+        )
+
+    ops_tuple = tuple(ops)
+    model = type("TigrblWellKnownPathOps", (), {})
+    model.resource_name = "well_known"
+    model.__tigrbl_well_known_resources__ = resources
+    model.__tigrbl_ops__ = ops_tuple
+    model.ops = SimpleNamespace(
+        all=ops_tuple,
+        by_alias={op.alias: (op,) for op in ops_tuple},
+        by_key={(op.alias, op.target): op for op in ops_tuple},
+    )
+    model.opspecs = model.ops
+    setattr(app, "_tigrbl_kernel_well_known_model", model)
+    return model
+
+
+def _compile_models(app: Any) -> tuple[Any, ...]:
+    models = list(_table_iter(app))
+    well_known_model = _well_known_path_model(app)
+    if well_known_model is not None:
+        models.append(well_known_model)
+    return tuple(models)
+
+
 def _compile_opview_from_specs(self: Any, specs: Mapping[str, Any], sp: Any) -> OpView:
     return compile_opview_from_specs(specs, sp)
 
@@ -50,7 +149,7 @@ def _compile_plan(self: Any, app: Any) -> KernelPlan:
     egress_chain = self._build_egress(app)
     phases, mainline_phases, error_phases = _phase_info_map(DEFAULT_PHASE_ORDER)
 
-    for model in _table_iter(app):
+    for model in _compile_models(app):
         for sp in _opspecs(model):
             meta_index = len(opmeta)
             target = (getattr(sp, "target", sp.alias) or sp.alias).lower()

tigrbl_kernel-0.4.3/tigrbl_kernel/channel_taxonomy.py

@@ -0,0 +1,142 @@
+from __future__ import annotations
+
+from collections.abc import Iterable, Mapping
+from typing import Any
+
+from tigrbl_core._spec.hook_spec import matches_hook_selector
+
+from .webtransport_events import validate_webtransport_event_payload
+
+WEBTRANSPORT_SUBEVENTS = {
+    "webtransport.connect": "session.open",
+    "webtransport.accept": "session.accept",
+    "webtransport.disconnect": "session.close",
+    "webtransport.close": "session.close",
+    "webtransport.stream.receive": "stream.chunk.received",
+    "webtransport.stream.send": "stream.chunk.emit",
+    "webtransport.stream.close": "stream.close",
+    "webtransport.stream.reset": "stream.close",
+    "webtransport.stream.stop_sending": "stream.close",
+    "webtransport.datagram.receive": "datagram.received",
+    "webtransport.datagram.send": "datagram.emit",
+}
+
+
+def normalize_exchange(exchange: str | None) -> str:
+    token = str(exchange or "request_response")
+    if token == "bidirectional":
+        return "bidirectional_stream"
+    return token
+
+
+def channel_family(scope_type: str, exchange: str) -> str:
+    exchange = normalize_exchange(exchange)
+    if scope_type == "websocket":
+        return "socket"
+    if scope_type == "webtransport":
+        return "session"
+    if exchange in {"server_stream", "client_stream", "bidirectional_stream"}:
+        return "stream"
+    if exchange == "fire_and_forget":
+        return "request"
+    return "response"
+
+
+def channel_kind(scope_type: str, exchange: str) -> str:
+    exchange = normalize_exchange(exchange)
+    if scope_type == "websocket":
+        return "websocket"
+    if scope_type == "webtransport":
+        return "webtransport"
+    if exchange in {"server_stream", "client_stream", "bidirectional_stream"}:
+        return "stream"
+    if exchange == "event_stream":
+        return "sse"
+    return "http"
+
+
+def channel_subevents(scope_type: str, exchange: str) -> tuple[str, ...]:
+    exchange = normalize_exchange(exchange)
+    if scope_type in {"websocket", "webtransport"}:
+        return ("connect", "receive", "emit", "complete", "disconnect")
+    if exchange in {"server_stream", "client_stream", "bidirectional_stream", "event_stream"}:
+        return ("receive", "emit", "complete")
+    return ("receive", "emit", "complete")
+
+
+def webtransport_event_metadata(
+    *,
+    direction: str,
+    message: Mapping[str, Any],
+) -> dict[str, Any]:
+    event_type = str(message.get("type") or "")
+    metadata: dict[str, Any] = {
+        "binding": "webtransport",
+        "event_type": event_type,
+        "type": event_type,
+        "subevent": WEBTRANSPORT_SUBEVENTS.get(event_type, event_type),
+        "framing": message.get("framing"),
+    }
+    try:
+        projection = validate_webtransport_event_payload(
+            event=event_type,
+            channel=direction,
+            payload=dict(message),
+        )
+    except ValueError:
+        projection = {}
+    for key in (
+        "family",
+        "lane",
+        "exchange",
+        "stream_initiator",
+        "stream_direction",
+        "direction",
+        "lane_id",
+        "stream_ordinal",
+        "stream_id_width",
+    ):
+        if projection.get(key) is not None:
+            metadata[key] = projection[key]
+    if "family" not in metadata:
+        if ".stream." in event_type:
+            metadata["family"] = "stream"
+        elif ".datagram." in event_type:
+            metadata["family"] = "datagram"
+        else:
+            metadata["family"] = "session"
+    if "lane" not in metadata:
+        metadata["lane"] = metadata["family"]
+    if "exchange" not in metadata:
+        metadata["exchange"] = "request_response"
+    return metadata
+
+
+def select_webtransport_hooks(
+    hooks: Iterable[Any],
+    *,
+    direction: str,
+    metadata: Mapping[str, Any],
+) -> tuple[Any, ...]:
+    allowed_phases = (
+        {"PRE_HANDLER", "HANDLER"}
+        if direction == "receive"
+        else {"POST_HANDLER", "POST_RESPONSE"}
+    )
+    return tuple(
+        hook
+        for hook in hooks
+        if str(getattr(hook.phase, "value", hook.phase)) in allowed_phases
+        if matches_hook_selector(hook, metadata)
+    )
+
+
+__all__ = [
+    "WEBTRANSPORT_SUBEVENTS",
+    "channel_family",
+    "channel_kind",
+    "channel_subevents",
+    "normalize_exchange",
+    "select_webtransport_hooks",
+    "webtransport_event_metadata",
+]