@deepseek-ai/dsh-client-ui-slots 0.0.1-rc.1

package/lib/types/index.d.ts

@@ -0,0 +1,601 @@
+/**
+ * Slot registry pure core. Owners declare slot
+ * contracts by merging into {@link SlotMap}; one `register` call contributes a
+ * component AND (optionally) declares child slots, a store seat, and the
+ * registrant's business face. Zero runtime dependencies (React types only).
+ *
+ * SlotMap and the standard-kit interfaces live directly in this entry module:
+ * consumer `declare module` augmentation merges with declarations lexically in
+ * the augmented module, not with re-exports.
+ */
+import type { ReactNode } from 'react';
+import type { HostObservable } from './renderer.ts';
+import type { BoundActions, HandleOf, PropsStore, SnapshotSelectorHook, StoreDecl } from './store.ts';
+export * from './store.ts';
+export * from './renderer.ts';
+/** Slot contract table. Owners extend via declaration merging; entries are {@link SlotEntryDef}. */
+export interface SlotMap {
+}
+/**
+ * Locale namespace table. Dictionary owners extend via declaration merging
+ * (exactly like {@link SlotMap}, and declared in this entry module for the
+ * same lexical-merge reason): the key is the namespace string, the value is
+ * the union of its dictionary keys. Register sites declare one of these
+ * namespaces (`locale:`), which puts the typed `t` standard seat on the
+ * component props.
+ */
+export interface LocaleNamespaceMap {
+}
+/**
+ * Translate a dictionary key with optional `{name}` template params.
+ * `K` narrows the accepted keys to the owning namespace's dictionary union
+ * (plus the shared common vocabulary where composed).
+ */
+export type Translate<K extends string = string> = (key: K, params?: Record<string, unknown>) => string;
+/**
+ * The shared `common` vocabulary keys as merged by the locale plugin;
+ * resolves to `never` in programs without the merge (this package's tests),
+ * keeping the union collapse harmless.
+ */
+export type CommonKeyOf = LocaleNamespaceMap extends {
+    common: infer C;
+} ? C & string : never;
+/**
+ * Key domain of a namespace-bound translate: the namespace's own dictionary
+ * union plus the shared common vocabulary (the lookup chain consults common
+ * after the namespace misses).
+ */
+export type LocaleKeysOf<N extends keyof LocaleNamespaceMap & string> = (LocaleNamespaceMap[N] & string) | CommonKeyOf;
+/**
+ * Namespace-addressed translate — the developer-facing alias over
+ * {@link Translate}: `TranslateNS<'model'>` is the translate function of the
+ * `model` namespace (key domain = its dictionary union plus the shared
+ * common vocabulary), the exact type of the framework-injected `t` seat and
+ * of the locale service's typed `bind`.
+ */
+export type TranslateNS<N extends keyof LocaleNamespaceMap & string> = Translate<LocaleKeysOf<N>>;
+/**
+ * Dictionary shape for a declared namespace: exactly the keys the namespace
+ * merged into {@link LocaleNamespaceMap} — a missing or extra key at a typed
+ * registration site is a compile error.
+ */
+export type LocaleDictOf<N extends keyof LocaleNamespaceMap & string> = Record<LocaleNamespaceMap[N] & string, string>;
+/**
+ * Locale share of the composed component props: the framework-injected `t`
+ * seat, present exactly on entries whose registration declares `locale:`.
+ */
+export type PropsLocale<N> = N extends keyof LocaleNamespaceMap & string ? {
+    /** Translate a dictionary key of the declared namespace (or the shared common vocabulary). */
+    t: TranslateNS<N>;
+} : object;
+/** Slot cardinality: single occupant, ordered list, key-dispatched, or selector-routed chain. */
+export type SlotKind = 'single' | 'list' | 'keyed' | 'chain';
+/** Slot data context: global, current-session-optional, or strict session-bound. */
+export type SlotScope = 'root' | 'session-maybe' | 'session';
+/**
+ * One SlotMap entry: kind/scope axes plus the optional owner-supplied props
+ * share (`owner` is what the parent passes at its renderSlot call site; the
+ * framework standard kit and the registrant's injected share never enter this
+ * table — full component props compose at the component as the four-share
+ * intersection, see {@link ComposedProps}).
+ */
+export interface SlotEntryDef {
+    kind: SlotKind;
+    scope: SlotScope;
+    owner?: object;
+    /**
+     * Optional keyed-entry prop table. A keyed registration contributes one
+     * literal key and receives the corresponding prop share; ordinary owner
+     * props remain common to every key.
+     */
+    keyProps?: Record<string, object>;
+    /**
+     * Optional opaque context carried by one renderSlot occurrence. Only
+     * function-valued members of the slot-level injected hooks compartment
+     * receive it; the slot machinery never interprets the value.
+     */
+    hookContext?: unknown;
+    /**
+     * Optional Slot-level inject face supplied by the parent registration's
+     * child declaration. Every registered entry receives its bound component
+     * face; child registrants do not own or replace this common capability.
+     */
+    inject?: object;
+}
+/**
+ * Runtime dispatch spec for one slot, recorded from a register call's
+ * `children` value. The literal is compile-time checked against the SlotMap
+ * entry (`SlotSpec<SlotMap[P]>` in {@link ChildrenDecl}), so kind, scope, and
+ * any common inject face are declared at one point and validate each other.
+ */
+export type SlotSpec<E extends SlotEntryDef> = {
+    kind: E['kind'];
+    scope: E['scope'];
+} & ('inject' extends keyof E ? E extends {
+    inject: infer Injected extends object;
+} ? {
+    inject: Injected;
+} : {
+    inject?: object;
+} : {
+    inject?: never;
+});
+/**
+ * Child-slot declaration table for register(): keys are the declared (and
+ * thereby render-authorized) slot names, values are their runtime dispatch
+ * specs. Declaring is claiming: the registering entry becomes the only entry
+ * allowed to render these keys.
+ */
+export type ChildrenDecl = {
+    [P in keyof SlotMap & string]?: SlotSpec<SlotMap[P]>;
+};
+/** Owner-supplied props share for a slot key ({} for entries declaring no `owner`). */
+export type OwnerOf<K extends keyof SlotMap & string> = SlotMap[K] extends {
+    owner: infer O extends object;
+} ? O : object;
+/** Registration/dispatch key domain of one keyed slot. */
+export type EntryKeyOf<K extends keyof SlotMap & string> = SlotMap[K] extends {
+    kind: 'keyed';
+    keyProps: infer P extends object;
+} ? keyof P & string : string;
+/** Key-dependent props supplied by the owner at one keyed dispatch site. */
+export type KeyPropsOf<K extends keyof SlotMap & string, EntryKey extends EntryKeyOf<K>> = SlotMap[K] extends {
+    kind: 'keyed';
+    keyProps: infer P extends object;
+} ? EntryKey extends keyof P ? P[EntryKey] extends object ? P[EntryKey] : never : never : object;
+/** Opaque per-render occurrence context declared by one slot. */
+export type HookContextOf<K extends keyof SlotMap & string> = SlotMap[K] extends {
+    hookContext: infer Context;
+} ? Context : never;
+/** Common render-occurrence inject face declared by one slot. */
+export type SlotInjectOf<K extends keyof SlotMap & string> = SlotMap[K] extends {
+    inject: infer Injected extends object;
+} ? Injected : object;
+/** Scope axis of a slot key's SlotMap entry. */
+export type ScopeOf<K extends keyof SlotMap & string> = SlotMap[K]['scope'];
+/**
+ * Framework standard kit delivered to every session-scope slot component.
+ * Declared EMPTY here (zero-dependency layer): the runtime package merges the
+ * real members (`useSession` bound to the conversation snapshot and the
+ * framework-supplied `sessionId`) exactly as consumers merge SlotMap keys.
+ */
+export interface SessionStandardProps {
+}
+/**
+ * Framework standard kit delivered to current-session-optional slots. Its
+ * hooks stay callable while no session is selected and return `undefined`
+ * until one becomes current; concrete members merge in at runtime packages.
+ */
+export interface SessionMaybeStandardProps {
+}
+/**
+ * Framework standard kit delivered to EVERY slot component (the global seat).
+ * Declared empty here; the runtime package merges the global object-layer
+ * selector hooks that shared page composition consumes.
+ */
+export interface GlobalStandardProps {
+}
+/**
+ * The session id type as the runtime's SessionStandardProps merge declares it
+ * (branded); falls back to `string` in programs without the merge (this
+ * package's own tests).
+ */
+export type SessionIdOf = SessionStandardProps extends {
+    sessionId: infer S;
+} ? S : string;
+/**
+ * Runtime props share for a slot key: owner share (parent's renderSlot call
+ * site) + session standard kit (session scope only) + the global seat.
+ */
+export type PropsRuntime<K extends keyof SlotMap & string, EntryKey extends EntryKeyOf<K> = EntryKeyOf<K>> = OwnerOf<K> & KeyPropsOf<K, EntryKey> & SlotInjectFace<SlotInjectOf<K>> & (ScopeOf<K> extends 'session' ? SessionStandardProps : ScopeOf<K> extends 'session-maybe' ? SessionMaybeStandardProps : object) & GlobalStandardProps;
+/** renderSlot dispatch options: keyed dispatch key, list filtering, and empty fallback. */
+export interface RenderOpts<EntryKey extends string = string> {
+    entryKey?: EntryKey;
+    only?: string;
+    fallback?: ReactNode;
+    /** Type-erased runtime seat; PropsRenderSlots narrows or removes it per slot declaration. */
+    hookContext?: unknown;
+}
+/** renderSlotChain dispatch options. */
+export interface ChainRenderOpts {
+    /** The owner's fallback body, rendered when every entry's selector declines. */
+    fallback?: ReactNode;
+    /**
+     * Keep the fallback permanently mounted: an election hides it (wrapped,
+     * display:none) instead of unmounting it, and the all-decline case shows it
+     * as-is — fallback-held state (composer drafts, DOM state) survives a
+     * takeover. Chain kind only. Sole consumer today: the
+     * 'conversation.composer' chain.
+     */
+    overlay?: boolean;
+}
+/**
+ * Chain-entry selector: the routing decision of one chain contribution.
+ * Runs at render time in chain order (ascending `priority`, default 0, lower
+ * tries first; ties keep registration = assembly order); the first non-null
+ * return elects its entry
+ * and becomes the component's `matched` prop; `null` passes to the next
+ * entry; all-null falls to the owner's {@link ChainRenderOpts} fallback.
+ * MUST be pure — a function of the owner props only, no external mutable
+ * reads, no side effects (the decline decision lives here, never in a
+ * mounted component probing its own props).
+ */
+export type ChainSelect<O extends object, M> = (owner: O) => M | null;
+/** Keys of a slot-key union whose SlotMap entry is chain-kind (renderSlotChain's dispatch domain). */
+export type ChainKeysOf<S extends keyof SlotMap & string> = S extends unknown ? (SlotMap[S]['kind'] extends 'chain' ? S : never) : never;
+/** Keys in a render share whose dispatch occurrence requires hookContext. */
+type ContextualKeysOf<S extends keyof SlotMap & string> = S extends unknown ? (SlotMap[S] extends {
+    hookContext: unknown;
+} ? S : never) : never;
+/** Keys in a render share with the ordinary optional options bag. */
+type OrdinaryKeysOf<S extends keyof SlotMap & string> = Exclude<S, ContextualKeysOf<S>>;
+/**
+ * Plain and contextual child dispatch signatures. Keeping them as separate
+ * call signatures preserves ordinary renderSlot assignability while making a
+ * declared hookContext mandatory only for the Slot keys that need it.
+ */
+type RenderSlotFn<S extends keyof SlotMap & string> = ([ContextualKeysOf<S>] extends [never] ? object : {
+    <K extends ContextualKeysOf<S>, EntryKey extends EntryKeyOf<K> = EntryKeyOf<K>>(key: K, owner: OwnerOf<K> & KeyPropsOf<K, NoInfer<EntryKey>>, opts: RenderOpts<EntryKey> & {
+        hookContext: HookContextOf<K>;
+    }): ReactNode;
+}) & ([OrdinaryKeysOf<S>] extends [never] ? object : {
+    <K extends OrdinaryKeysOf<S>, EntryKey extends EntryKeyOf<K> = EntryKeyOf<K>>(key: K, owner: OwnerOf<K> & KeyPropsOf<K, NoInfer<EntryKey>>, opts?: Omit<RenderOpts<EntryKey>, 'hookContext'>): ReactNode;
+});
+/**
+ * Chain matched share: a chain-slot component receives its selector's
+ * non-null result as the framework-injected `matched` prop; other kinds add
+ * nothing to the composed constraint.
+ */
+export type MatchedShare<E extends SlotEntryDef, M> = E['kind'] extends 'chain' ? {
+    matched: M;
+} : object;
+/**
+ * Conversation-session selector hook alias for props contracts. Wide by
+ * default at this dependency-inverted layer; the runtime narrows at its
+ * export outlet (`UseSession<ConversationSnapshot>`).
+ */
+export type UseSession<Snap extends object = object> = SnapshotSelectorHook<Snap>;
+/** Props of the standard-kit SessionProvider seat (render-prop form). */
+export interface SessionAreaProps {
+    /** No-session body (also covers a current id whose session cannot be resolved). */
+    empty?: (() => ReactNode) | undefined;
+    /** Session body; the framework remounts it per session (key=sessionId). */
+    children: (sessionId: SessionIdOf) => ReactNode;
+}
+/**
+ * Framework-wired session area component. It subscribes to runtime-owned
+ * session selection and is injected into entries that declare session-scoped
+ * children; business code does not import it directly.
+ */
+export type SessionProviderComponent = (props: SessionAreaProps) => ReactNode;
+/**
+ * Child-slot render share: `renderSlot` statically narrowed to the entry's
+ * declared children keys. Delegation is plain props passing (hand
+ * `props.renderSlot` down); the authorizing identity stays the registering
+ * entry. `__renders` is a phantom variance anchor (never materialized):
+ * generic method signatures compare loosely across differing key unions, so
+ * this contravariant marker is what actually enforces "component key set ⊆
+ * children declaration" at the register call site.
+ */
+export type PropsRenderSlots<S extends keyof SlotMap & string> = {
+    /**
+     * Render a declared non-chain child slot (chain keys dispatch through
+     * `renderSlotChain` — their routing lives in entry selectors).
+     * @param key - declared child key.
+     * @param owner - owner props share for that key (decided at the render site).
+     * @param opts - kind dispatch options.
+     * @returns rendered node(s).
+     */
+    renderSlot: RenderSlotFn<Exclude<S, ChainKeysOf<S>>>;
+    readonly __renders?: ((key: S) => void) | undefined;
+} & ([ChainKeysOf<S>] extends [never] ? object : {
+    /**
+     * Render a declared chain child slot: entry selectors run in chain order
+     * over `owner`; the first non-null match renders its component with the
+     * selector result injected as `matched`; all-null renders `opts.fallback`.
+     * @param key - declared chain child key.
+     * @param owner - owner props share (the selectors' routing input).
+     * @param opts - fallback body for the all-null case.
+     * @returns rendered node(s).
+     */
+    renderSlotChain: <K extends ChainKeysOf<S>>(key: K, owner: OwnerOf<K>, opts?: ChainRenderOpts) => ReactNode;
+}) & ('session' extends ScopeOf<S> ? {
+    SessionProvider: SessionProviderComponent;
+} : object);
+/**
+ * Registration-position component shape: the bare call signature, so composed
+ * constraints check through clean parameter contravariance (FC statics add
+ * covariant noise rejecting legitimate narrowings).
+ */
+export type SlotComponent<P> = (props: P) => ReactNode;
+/**
+ * Registrant hooks compartment: bare observable sources (getSnapshot +
+ * subscribe pairs) supplied under the reserved `hooks` key of an entry's
+ * inject face. These retain the original source-to-selector binding and do
+ * not participate in render-occurrence context.
+ */
+export type HooksSources = Record<string, HostObservable<unknown>>;
+/** Framework-owned props visible while a slot-level contextual Hook is bound. */
+export type StandardPropsOf<K extends keyof SlotMap & string> = (ScopeOf<K> extends 'session' ? SessionStandardProps : ScopeOf<K> extends 'session-maybe' ? SessionMaybeStandardProps : object) & GlobalStandardProps;
+/**
+ * One function-valued slot-level inject.hooks member. The factory is pure and
+ * returns the actual custom Hook; it must not invoke a Hook while being bound.
+ */
+export type SlotHookFactory<K extends keyof SlotMap & string, Hook extends (...args: never[]) => unknown> = (standard: StandardPropsOf<K>, hookContext: HookContextOf<K>) => Hook;
+/** Component-side Hook produced from one slot-level inject.hooks member. */
+type BoundHookOf<Definition> = Definition extends HostObservable<infer Snapshot> ? SnapshotSelectorHook<Snapshot> : Definition extends (...args: never[]) => infer Hook ? Hook extends (...args: never[]) => unknown ? Hook : never : never;
+/**
+ * Selector-hook share synthesized from a hooks compartment: each source
+ * `name` becomes a `use<Name>` selector hook over its snapshot type.
+ */
+export type PropsSlotHooks<HS extends object> = {
+    [N in keyof HS & string as `use${Capitalize<N>}`]: BoundHookOf<HS[N]>;
+};
+/** Component-side view of a slot dispatcher's common inject face. */
+export type SlotInjectFace<I extends object> = I extends {
+    hooks: infer HS extends object;
+} ? Omit<I, 'hooks'> & PropsSlotHooks<HS> : I;
+/** Selector-hook share synthesized from an entry inject hooks compartment. */
+export type PropsHooks<HS extends HooksSources> = {
+    [N in keyof HS & string as `use${Capitalize<N>}`]: SnapshotSelectorHook<HS[N] extends HostObservable<infer T> ? T : never>;
+};
+/**
+ * The component-side view of an inject face: the reserved `hooks`
+ * compartment (when declared) arrives as bound `use<Name>` selector hooks;
+ * every other member passes through verbatim.
+ */
+export type InjectFace<I extends object> = I extends {
+    hooks: infer HS extends HooksSources;
+} ? Omit<I, 'hooks'> & PropsHooks<HS> : I;
+/**
+ * The composed component props intersection: runtime share (SlotMap) +
+ * child-render share (children declaration) + store share (declared handle) +
+ * the registrant's injected business face (its hooks compartment bound, see
+ * {@link InjectFace}) + the locale `t` seat (declared namespace, see
+ * {@link PropsLocale}). Each share derives from its single source of truth;
+ * components reference this composition, never re-type it.
+ */
+export type ComposedProps<K extends keyof SlotMap & string, EntryKey extends EntryKeyOf<K>, S extends keyof SlotMap & string, H, I extends object, M = never, N = undefined> = PropsRuntime<K, EntryKey> & PropsRenderSlots<S> & PropsStore<H> & InjectFace<I> & MatchedShare<SlotMap[K], M> & PropsLocale<N>;
+/**
+ * Inject factory parameter list, derived from the registration's declaration:
+ * strict session slots receive a definite framework-resolved `sessionId`;
+ * session-maybe slots receive the current id or `undefined`; a declared store
+ * appends the baked `actions` (the same callbacks the component receives).
+ * Business data access happens through the apply closure's ctx — no binding
+ * object parameter exists.
+ */
+export type InjectParams<K extends keyof SlotMap & string, H> = ScopeOf<K> extends 'session' ? ([H] extends [StoreDecl] ? [sessionId: SessionIdOf, actions: BoundActions<HandleOf<H>>] : [sessionId: SessionIdOf]) : ScopeOf<K> extends 'session-maybe' ? ([H] extends [StoreDecl] ? [sessionId: SessionIdOf | undefined, actions: BoundActions<HandleOf<H>> | undefined] : [sessionId: SessionIdOf | undefined]) : ([H] extends [StoreDecl] ? [actions: BoundActions<HandleOf<H>>] : []);
+/**
+ * A list-entry display label: a plain string, or a thunk re-evaluated per
+ * read so registration-time text (nav rows, tabs) follows the active locale
+ * without re-registration. Owners resolve through {@link resolveSlotLabel}.
+ */
+export type SlotLabel = string | (() => string);
+/** Kind shape fields carried in register options (keyed dispatch key; list id/order/label; chain select/priority). */
+export type KindOptions<K extends keyof SlotMap & string, EntryKey extends EntryKeyOf<K>, M = never> = SlotMap[K]['kind'] extends 'keyed' ? {
+    key: EntryKey;
+} : SlotMap[K]['kind'] extends 'list' ? {
+    id: string;
+    order?: number;
+    label?: SlotLabel;
+} : SlotMap[K]['kind'] extends 'chain' ? {
+    /** Routing selector, mandatory on chain entries; `M` (the component's `matched` prop) infers from its return. */
+    select: ChainSelect<SlotMap[K] extends {
+        owner: infer O extends object;
+    } ? O : object, M>;
+    /** Explicit chain position (ascending, default 0, lower tries first); ties keep registration = assembly order. */
+    priority?: number;
+} : object;
+/**
+ * Compile-time presence check: an entry declaring children MUST consume
+ * `renderSlot` (or `renderSlotChain` when its only children are chain slots)
+ * — declaring is claiming; an entry that does not render its children should
+ * not declare them. Evaluates to an unsatisfiable intersection member naming
+ * the declared keys when violated.
+ */
+type RendersCheck<C, D> = [
+    keyof D & keyof SlotMap & string
+] extends [never] ? unknown : C extends (props: infer P) => ReactNode ? ('renderSlot' extends keyof P ? unknown : 'renderSlotChain' extends keyof P ? unknown : {
+    'children declared but the component consumes no renderSlot': keyof D & keyof SlotMap & string;
+}) : unknown;
+/** Common register options share (see {@link SlotCore.register} for semantics). */
+type BaseOptions<K extends keyof SlotMap & string, EntryKey extends EntryKeyOf<K>, D extends ChildrenDecl, H, M = never, N = undefined> = {
+    /** Target slot key (the entry contributes INTO this slot). */
+    name: K;
+    /** Child-slot declaration + render authorization + runtime spec, in one table. */
+    children?: D;
+    /** Store seat: a shared handle (apply-constructed) or an exclusive factory (framework-called per entry x scope). */
+    store?: H;
+    /**
+     * Dictionary namespace of this entry's copy. Declaring it puts the
+     * framework-synthesized `t` seat (typed to the namespace's dictionary
+     * union) on the component props; rendering requires an installed locale
+     * face — fails loud otherwise.
+     */
+    locale?: N;
+    /** Registrant identity label for diagnostics (the runtime Service wrapper stamps the caller's fiber name). */
+    registrant?: string;
+} & KindOptions<K, EntryKey, M>;
+/**
+ * One stored registration, as recorded by the core and read by the render
+ * machinery (type-erased at this boundary; the registration contract already proved
+ * the shares against the component).
+ */
+export interface StoredEntry {
+    component: unknown;
+    options: {
+        key?: string;
+        id?: string;
+        order?: number;
+        label?: SlotLabel;
+        priority?: number;
+    };
+    /** Chain routing selector (type-erased like `inject`; present exactly on chain-slot entries). */
+    select?: ((owner: never) => unknown) | undefined;
+    /** Registrant business face; positional params derive from the declaration (sessionId?, actions?). */
+    inject?: ((...args: never[]) => Record<string, unknown>) | undefined;
+    /** Child-slot declaration table (declaration + authorization + runtime spec in one). */
+    children?: Readonly<Record<string, SlotSpec<SlotEntryDef>>> | undefined;
+    /** Declared store seat (instance resolution and lifecycle live with the host machinery). */
+    store?: StoreDecl | undefined;
+    /** Declared dictionary namespace (the render machinery synthesizes the `t` seat from it). */
+    locale?: string | undefined;
+    /** Diagnostics label of who registered. */
+    registrant?: string | undefined;
+}
+/**
+ * Resolve a possibly-thunked list label at read time (thunks follow the
+ * active locale; owners projecting ledger rows call this instead of reading
+ * `options.label` raw).
+ * @param label - the stored label.
+ * @returns the display string, or undefined when the entry declared none.
+ */
+export declare function resolveSlotLabel(label: SlotLabel | undefined): string | undefined;
+/**
+ * Pure slot registry (no cordis; event emission and the renderer installation contract
+ * live in the runtime Service wrapper).
+ *
+ * The 'root' slot is the one a-priori declaration, seeded at construction
+ * (single/root, declared by the framework) — the render tree's root hole.
+ *
+ * Change propagation contract: versions bump and {@link SlotCore.onMutate}
+ * fires synchronously per mutation (registry state is consistent when they
+ * fire); {@link SlotCore.subscribeDeclaration} fires synchronously for each
+ * declaration lifetime boundary; {@link SlotCore.subscribe} notifications
+ * batch per microtask, so N same-tick mutations produce one notification per
+ * touched key.
+ */
+export declare class SlotCore {
+    private records;
+    private mutateListeners;
+    /** Shared-handle scope ledger: handle → the scope it first mounted under + live mount count. */
+    private handleScopes;
+    private dirty;
+    private flushScheduled;
+    constructor();
+    /**
+     * Contribute a component to a declared slot and (optionally) declare child
+     * slots, a store seat, and the registrant's business face.
+     *
+     * Load-time validation (misconfiguration fails loud; the render hot path
+     * re-checks nothing): registering into an undeclared slot throws; declaring
+     * an already-declared child key throws (one declarer per slot — the message
+     * names the first declarer); mounting one shared store handle under slots
+     * of different scopes throws. Kind constraints: single — duplicate
+     * registration throws; keyed — missing/duplicate `key` throws; list —
+     * missing/duplicate `id` throws; chain — missing `select` throws (the
+     * selector is the entry's routing seat, see {@link ChainSelect}).
+     *
+     * Lifecycle: the disposer removes the contribution AND collapses every
+     * declared child slot (child entries clear recursively; their stale
+     * disposers become no-ops) — one lifecycle axis, no dangling state.
+     *
+     * @param options - registration options: target `name`, `children`
+     * declaration table, `store` seat, `inject` business-face factory, kind
+     * shape fields (keyed `key`; list `id`/`order`/`label`).
+     * @param component - component honoring the four-share composed props
+     * contract ({@link ComposedProps}); checked at this call site.
+     * @returns disposer removing the registration and its declarations
+     * (idempotent; stale disposers after a cascade are no-ops).
+     */
+    register<K extends keyof SlotMap & string, const EntryKey extends EntryKeyOf<K> = EntryKeyOf<K>, const D extends ChildrenDecl = Record<never, never>, H extends StoreDecl | undefined = undefined, M = never, N extends (keyof LocaleNamespaceMap & string) | undefined = undefined, C extends SlotComponent<never> = SlotComponent<never>>(options: BaseOptions<K, EntryKey, D, H, M, N> & {
+        inject?: undefined;
+    }, component: C & SlotComponent<ComposedProps<K, NoInfer<EntryKey>, keyof NoInfer<D> & keyof SlotMap & string, HandleOf<NoInfer<H>>, object, NoInfer<M>, NoInfer<N>>> & RendersCheck<C, D>): () => void;
+    /**
+     * Inject-bearing overload: identical semantics to the overload above, plus
+     * the registrant's business face — `I` is inferred from the inject
+     * factory's return and joins the component's composed-props constraint
+     * (factory parameters derive from the declaration, {@link InjectParams}).
+     * @param options - registration options plus the `inject` business-face factory.
+     * @param component - component honoring the four-share composed props
+     * contract including the inject share `I`.
+     * @returns disposer removing the registration and its declarations.
+     */
+    register<K extends keyof SlotMap & string, I extends object, const EntryKey extends EntryKeyOf<K> = EntryKeyOf<K>, const D extends ChildrenDecl = Record<never, never>, H extends StoreDecl | undefined = undefined, M = never, N extends (keyof LocaleNamespaceMap & string) | undefined = undefined, C extends SlotComponent<never> = SlotComponent<never>>(options: BaseOptions<K, EntryKey, D, H, M, N> & {
+        inject: (...args: InjectParams<K, H>) => I;
+    }, component: C & SlotComponent<ComposedProps<K, NoInfer<EntryKey>, keyof NoInfer<D> & keyof SlotMap & string, HandleOf<NoInfer<H>>, I, NoInfer<M>, NoInfer<N>>> & RendersCheck<C, D>): () => void;
+    /**
+     * Whether a previously obtained entry is still registered (the render
+     * machinery's stale-authorization probe: a retained renderSlot binding
+     * whose entry left the ledger must not render).
+     * @param entry - a previously read entry.
+     * @returns false once the entry's registration was disposed.
+     */
+    isLive(entry: StoredEntry): boolean;
+    /**
+     * Snapshot the registered entries for a key. Returns the cached array
+     * reference (stable between mutations — safe as a uSES getSnapshot source);
+     * empty for keys not (or no longer) declared, so renderers may probe ahead
+     * of plugin load order.
+     * @param key - slot key (dynamic: the render machinery holds keys as strings).
+     * @returns entries in registration (list: order) sequence.
+     */
+    entries(key: string): readonly StoredEntry[];
+    /**
+     * Look up a slot's declared spec, narrowed by the SlotMap key.
+     * @param key - SlotMap key.
+     * @returns the spec, or undefined while undeclared.
+     */
+    spec<K extends keyof SlotMap & string>(key: K): SlotSpec<SlotMap[K]> | undefined;
+    /**
+     * Dynamic-key escape hatch for spec lookup — renderers resolving keys they
+     * only hold as strings (generic dispatch) use this wide form; statically
+     * keyed callers use {@link SlotCore.spec}.
+     * @param key - candidate slot key.
+     * @returns the wide-typed spec, or undefined while undeclared.
+     */
+    specDynamic(key: string): SlotSpec<SlotEntryDef> | undefined;
+    /**
+     * Read the declaration lifetime of a key. Entry additions and removals do
+     * not change it; declaration creation and collapse each advance it.
+     * @param key - slot key.
+     * @returns monotonic epoch (0 before the first declaration).
+     */
+    declarationEpoch(key: string): number;
+    /**
+     * Subscribe to registration changes for a key (microtask-batched).
+     * Subscribing ahead of declaration is allowed; the declaration notifies.
+     * @param key - slot key.
+     * @param fn - change callback.
+     * @returns unsubscribe.
+     */
+    subscribe(key: string, fn: () => void): () => void;
+    /**
+     * Subscribe to declaration lifetime boundaries for a key. Notifications
+     * are synchronous so declaration teardown finishes before a subsequent
+     * same-tick registration can observe stale resources. Ordinary entry
+     * mutations do not notify this surface. A children table commits every
+     * sibling declaration before its first notification.
+     * @param key - slot key.
+     * @param fn - declaration or collapse callback.
+     * @returns unsubscribe.
+     */
+    subscribeDeclaration(key: string, fn: () => void): () => void;
+    /**
+     * Monotonic version for a key, bumped synchronously per mutation so a
+     * uSES getSnapshot read is never stale when its batched notification lands.
+     * @param key - slot key.
+     * @returns current version (0 for untouched keys).
+     */
+    getVersion(key: string): number;
+    /**
+     * Hook every mutation (the runtime Service wrapper bridges this to ctx.emit).
+     * Fires synchronously per mutation, unbatched — event semantics need one
+     * emission per change.
+     * @param fn - called with the mutated key.
+     * @returns unsubscribe.
+     */
+    onMutate(fn: (key: string) => void): () => void;
+    /**
+     * Cascade for a removed entry: release its store mount and collapse every
+     * child slot it declared — specs clear, contributions empty (their stale
+     * disposers no-op), recursively down the declaration tree. One lifecycle
+     * axis: ledger rows, slots, contributions, and store mounts die together.
+     */
+    private releaseEntry;
+    private record;
+    private markDirty;
+    private notifyDeclaration;
+    private flush;
+}
+//# sourceMappingURL=index.d.ts.map

package/lib/types/invariant.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Package-owned invariant companion for `@deepseek-ai/dsh-client-ui-slots`.
+ * @module @deepseek-ai/dsh-client-ui-slots/invariant
+ */
+import type { Context } from '@deepseek-ai/cordis';
+/** Cordis companion plugin name. */
+export declare const name = "client-ui-slots-invariant";
+/** Service required before the companion can reserve package ownership. */
+export declare const inject: string[];
+/**
+ * Register this package's invariant companion.
+ * @param ctx - Cordis context carrying the invariant service.
+ * @returns the installed registration's disposer after setup succeeds.
+ */
+export declare const apply: (ctx: Context) => Promise<() => void>;
+//# sourceMappingURL=invariant.d.ts.map