Compiler-independent declarations shared by business packages, generated Typert artifacts, the Host Gateway, and Client API. This package owns the Remote Service base, decorators, explicit binding fallback, merge-extensible protocol maps, invocation descriptors, codecs, and provider contracts; it does not run TypeScript analysis or register a concrete Cordis service.

Remote declarations

@Remote marks a public instance method for direct invocation on its registered Cordis Service.
@RemoteScope(key) marks a method whose receiver is selected from a merge-declared scoped Context kind.
TypertRemoteService binds the Cordis key passed to super(ctx, serviceKey, options?) to the same default wire namespace.
bindTypertRemote(this, serviceKey, options?) provides the same visible, frozen binding for a Service that cannot inherit from TypertRemoteService.
remoteMethods(service) returns a detached declaration-order snapshot used by the Gateway's SRC fallback.

A Host method opts into cooperative cancellation by declaring signal: AbortSignal as its final parameter. InvocationDescriptor.cancellation records that reserved injection point; the signal never becomes a JSON parameter or lookup field. SRC recognizes the final parameter name, while strict generation also verifies the global AbortSignal type.

Decorator initializers retain markers in a module-private WeakMap keyed by the Service prototype. They do not add constructor symbols, prototype properties, parameter metadata, or runtime reflection fields. A TypertRemoteService exposes the same public readonly typertRemote binding that the explicit helper returns.

Typert protocol

Business packages extend TypertLookupMap and TypertContextMap to associate Host objects or scoped Contexts with their wire identities. Generated artifacts extend TypertRemoteMap, TypertRemoteScopeMap, and TypertRemoteNamespaceMap so Client imports expose only selected Remote methods. InvocationDescriptor is the shared runtime form consumed by the registry, Gateway, and Client Remote.

The Host assembly extends TypertRemoteEventSelection with the Cordis events it forwards to consumers, which narrows the ctx.remote.$on key face. TypertForwardableEvent accepts unscoped void notifications and scoped async waterfalls whose final next() callback returns the event's result type. TypertClientEventListener derives the Client listener from that same Events member: Host subject types declared under matching TypertLookupMap and TypertContextMap keys become Client Context, while AbortSignal, optional and readonly object fields, arrays, callbacks, and result types are preserved. TypertClientRemote exposes only $mount() and $on(); event transport is private to Gateway.

Lookup and Context packages own both sides of their contract: declaration merging supplies the static association, while runtime providers register identity resolution with ctx.typert. Host and Client Context adapters both map Context -> wire identity and wire identity -> Context; the Host adapter additionally supplies the stable wire declaration, and Host composition may override its synchronous or asynchronous resolver. Policy rejections may use TypertLookupFailure to carry a failure value owned by the boundary adapter. Strict codecs carry generated schemas; src-json codecs identify the weaker source-launch path.

Model Experience

None, as this protocol package declares application reflection and registers nothing model-facing.

KV Cache effect

No direct effect.

Known Limitations and Deferred Work

Decorator markers contain only the method name and direct or Context invocation mode. Parameter, result, lookup, and schema reflection require the Typert build pipeline.
Remote decorators accept only public, non-static instance methods with string names. SRC execution cannot represent overloaded, destructured, defaulted, or rest-parameter signatures.