ADR-047: the unifying decision that dissolves into per-ALPN ops (, ) with a marker on . Each openable ALPN registers its own ops with their own , , , and the marker. The field is replaced by (Sub/Pub). The generic ops (channel/close, channel/control, channel/resources/subscribe) stay, keyed by channel_id. Resolves Gaps A-G from the research findings (Gap B broker named out-of-scope for alkcall; Gap C relay wrapper is consumer concern; Gap D connection-owner allocates; Gap E extension trait; Gap F boolean marker on wire; Gap G ACL/ownership complementary). ADR-037 amended: dissolves; removed; generic ops stay; preview dropped from resources/subscribe. Spec docs updated: channel-operations.md (unified model, opener ledger, ACL flow), operation-registry.md (channel_open marker, ChannelOpenSpec), README.md (ADR-047), open-questions.md (OQ-31..38 resolved). Source changes: - spec.rs: ChannelOpenSpec struct, channel_open field on OperationSpec, with_channel_open builder, 3 tests - discovery.rs: spec_to_json emits channel_open boolean, operation_spec_schema includes channel_open, 2 tests - from_call.rs: rebuild_spec_for parses channel_open marker, derive_alpn_from_op_name helper, 6 tests Channels module (src/channels/, 10 files, ~2400 lines): - wire.rs: 8-byte chunk header (ChunkHeader, parse/write_header, read_header/write_chunk/write_eof async helpers), 12 tests - reassembly.rs: MpscRecvStream (tokio::mpsc::Receiver<Bytes> → AsyncRead), MpscSendStream (AsyncWrite → tokio::mpsc::Sender<Bytes>), REQ-CH-01 shutdown sentinel, REQ-CH-02 sender-drop EOF, 10 tests - mux.rs: MuxHandle (clone-able, register(channel_id)), MuxRunner (per-channel pump tasks, exits when handles drop), OpenerLedger (ADR-047 §7), 4 tests - manager.rs: ChannelManager (channel map, open_channel, install_channel_zero, route_payload, teardown_channel, clear_all), 11 tests - source.rs: ChannelBidiStreamSource (yield-once accept_bi), channel_source helper, 4 tests - adapter.rs: ChannelsAdapter (ProtocolHandler for alknet/channels, demux loop, install_channel_zero hook), 1 test - operations.rs: ChannelOperations (registers channel/close, channel/control, channel/resources/subscribe), ChannelCore (check_open/on_close wrappers), 4 tests - policy.rs: ChannelLifecyclePolicy trait, NoCap, PerIdentityChannelPolicy (default 256, per_identity_caps override), default_policy, 8 tests - env.rs: ChannelOperationEnv extension trait (ADR-047 §4), ChannelsSessionEnv impl, 2 tests - client.rs: ChannelClient (from_connection, call_open_op, take_call_connection), 1 test Verification: 432 tests pass (66 new channels + 10 marker + 356 existing), clippy clean, fmt clean, cargo doc generates. Cargo.toml: +bytes dependency.
37 lines
1.8 KiB
Rust
37 lines
1.8 KiB
Rust
//! alkcall: Call + channels RPC — operations, streaming, service discovery,
|
|
//! and N-channel multiplexing over one transport stream.
|
|
//!
|
|
//! This crate is the unification of the call protocol (structured JSON RPC:
|
|
//! operations, streaming subscriptions, service discovery) and the channels
|
|
//! protocol (multiplexing proxy: N logical channels over one transport
|
|
//! stream, channel 0 pre-negotiated as `alknet/call`). Both halves share
|
|
//! the vendored core types and the call protocol's `OperationRegistry` —
|
|
//! channel lifecycle is orchestrated by call operations on channel 0
|
|
//! (ADR-047: openable ALPNs are operations).
|
|
//!
|
|
//! ## Architecture
|
|
//!
|
|
//! - **Vendored core types** ([`core`]): `Connection`, `ProtocolHandler`,
|
|
//! `BiStream`, `BidiStreamSource`, `AuthContext`, `IdentityProvider`,
|
|
//! `Capabilities`, `OwnershipProvider` — the home for these types
|
|
//! going forward.
|
|
//! - **Registry** ([`registry`]): operation specs, context, dispatch, and
|
|
//! the operation registry — the call half's dispatch core.
|
|
//! - **Protocol** ([`protocol`]): wire format, streams, adapter, dispatch
|
|
//! loop, pending requests, abort cascade — the call half's wire layer.
|
|
//! - **Client** ([`client`]): `CallClient`, `from_call`, `OperationAdapter`
|
|
//! — the call half's outbound surface.
|
|
//! - **Channels** ([`channels`]): the channels protocol — 8-byte chunk
|
|
//! wire format, demux/mux, `ChannelManager`, `ChannelsAdapter`,
|
|
//! `ChannelBidiStreamSource`, `ChannelOperations`,
|
|
//! `ChannelLifecyclePolicy`, `ChannelClient`. Channel 0 is
|
|
//! pre-negotiated as `alknet/call`; channels 1..N are opened via
|
|
//! per-ALPN open ops (`channels/<alpn>/sub`, `channels/<alpn>/pub`)
|
|
//! on channel 0 (ADR-047).
|
|
|
|
pub mod channels;
|
|
pub mod client;
|
|
pub mod core;
|
|
pub mod protocol;
|
|
pub mod registry;
|