@exactjs/core 0.5.0

package/dist/client/component-contracts.d.ts

@@ -0,0 +1,233 @@
+import type { ContextToken } from './component/contracts.js';
+import type { TaskContext } from './tasks/contracts.js';
+import type { ExactComponentExecutableArtifact } from './component-abi/artifact.js';
+import type { ExactClientComponentArtifact } from './component-abi/client.js';
+import type { ExactServerComponentArtifact } from './component-abi/server.js';
+import type { AnyExactComponentCallable, ExactComponentReactiveAllocation } from './component-abi/executable-fields.js';
+export type { ExactComponentExecutableArtifact } from './component-abi/artifact.js';
+export type { ExactClientComponentArtifact } from './component-abi/client.js';
+export type { ExactServerComponentArtifact, ExactServerComponentExecution } from './component-abi/server.js';
+export type { AnyExactComponentCallable } from './component-abi/executable-fields.js';
+export { decodeExactValueWithSchema, type ExactValueSerializationSchema } from './component-abi/value-serialization.js';
+/** Global property under which compiled artifacts carry their target-local contract. */
+export declare const exactComponentContract: unique symbol;
+/** Global marker distinguishing a native eXact component from compatibility-owned functions. */
+export declare const exactComponentType: unique symbol;
+/** One executable implementation owned by a compiled component artifact. */
+export type ExactComponentImplementationContract = Readonly<{
+    id: string;
+    name: string;
+    role: 'root' | 'client-island' | 'server-part';
+    implementation: AnyExactComponentCallable;
+}>;
+/** Runtime-neutral state path used by a generated continuation contract. */
+export type ExactContinuationStatePathContract = Readonly<{
+    path: string;
+    kind: 'read' | 'write';
+    confidence: 'exact' | 'broad' | 'unknown';
+    operation?: 'value' | 'map' | 'set';
+}>;
+/** One ordered Map or Set mutation returned by a server continuation. */
+export type ExactCollectionMutation = Readonly<{
+    path: string;
+    operation: 'map-set';
+    key: unknown;
+    value: unknown;
+}> | Readonly<{
+    path: string;
+    operation: 'map-delete';
+    key: unknown;
+}> | Readonly<{
+    path: string;
+    operation: 'map-clear';
+}> | Readonly<{
+    path: string;
+    operation: 'set-add';
+    value: unknown;
+}> | Readonly<{
+    path: string;
+    operation: 'set-delete';
+    value: unknown;
+}> | Readonly<{
+    path: string;
+    operation: 'set-clear';
+}>;
+/** Private operation contract attached to the component artifact that owns it. */
+export type ExactComponentContinuationContract = Readonly<{
+    id: string;
+    kind: 'task';
+    componentId: string;
+    readiness: 'blocking' | 'nonblocking';
+    concurrency?: 'parallel' | 'latest' | 'queue';
+    dependencies: readonly Readonly<{
+        index?: number;
+        source: 'state' | 'props' | 'derived' | 'argument';
+        path?: string;
+    }>[];
+    invocation?: Readonly<{
+        arguments: readonly Readonly<{
+            index?: number;
+            source: 'argument';
+            path?: string;
+        }>[];
+        concurrency: 'parallel' | 'latest' | 'queue';
+    }>;
+    stateReads: readonly ExactContinuationStatePathContract[];
+    stateWrites: readonly ExactContinuationStatePathContract[];
+    publicContexts: readonly string[];
+    serverContexts: readonly string[];
+    contextWrites: readonly string[];
+    /** Server-owned context mutations which never enter the client response. */
+    serverContextWrites?: readonly string[];
+    boundaries: readonly string[];
+}>;
+/** Serializable activation record accepted by one generated server continuation. */
+export type ExactComponentContinuationActivation = Readonly<{
+    state: Record<string, unknown>;
+    dependencies: readonly unknown[];
+    publicContext: Readonly<Record<string, unknown>>;
+    generation?: number;
+}>;
+/** Trusted invocation resources available only while a server continuation executes. */
+export type ExactComponentContinuationExecution = Readonly<{
+    task: TaskContext;
+    signal: AbortSignal;
+    getContext<T>(token: ContextToken<T>, authoredName?: string): T;
+    setContext<T>(token: ContextToken<T>, value: T, authoredName?: string): void;
+}>;
+/** State accumulated by a generated continuation before write-contract projection. */
+export type ExactComponentContinuationExecutionResult = Readonly<{
+    state: Record<string, unknown>;
+    contexts?: Readonly<Record<string, unknown>>;
+    value?: unknown;
+}>;
+/** Executable server half paired with one inert continuation descriptor. */
+export type ExactComponentContinuationExecutorContract = Readonly<{
+    id: string;
+    componentId: string;
+    execute(activation: ExactComponentContinuationActivation, execution: ExactComponentContinuationExecution): ExactComponentContinuationExecutionResult | Promise<ExactComponentContinuationExecutionResult>;
+}>;
+/** One compiler-owned DOM boundary and its component ownership. */
+export type ExactComponentBoundaryContract = Readonly<{
+    id: string;
+    componentId: string;
+    ownerComponentId: string;
+    kind: string;
+    planVersion?: number;
+    buildKey?: string;
+    planEdgeId?: string;
+    parentPlanId?: string;
+    fallbackPlanId?: string;
+    patchTargets?: readonly string[];
+    discriminatorKind?: 'single' | 'branch' | 'keyed';
+    discriminatorValues?: readonly string[];
+    generation?: number;
+}>;
+/** Minimum browser-visible values required to resume one SSR component. */
+export type ExactComponentResumptionContract = Readonly<{
+    componentId: string;
+    statePaths: readonly string[];
+    /** State path and root-prop path pairs that client setup can reconstruct. */
+    stateInputs: readonly (readonly [statePath: string, propPath: string])[];
+    /** Compact completion allowlist when a hydration artifact omits its execution catalog. */
+    continuations?: readonly string[];
+    /** Server-only primitive setup values that sparse capture may omit. */
+    stateDefaults?: readonly (readonly [
+        statePath: string,
+        value: string | number | boolean | null
+    ])[];
+    valueCaptures: readonly string[];
+    contexts: readonly string[];
+    boundaries: readonly string[];
+}>;
+/** Compact target-local execution wiring emitted for one semantic component. */
+export type ExactComponentExecutionContract = Readonly<{
+    version: 1;
+    /** Port tuple: kind, authored path, direction. Its array position is its index. */
+    ports: readonly (readonly [
+        kind: 'state' | 'props' | 'context' | 'derived' | 'argument',
+        path: string,
+        direction: 'input' | 'output' | 'inout'
+    ])[];
+    /** Transition tuple: identity, task, activation, placement, readiness, concurrency, inputs, outputs. */
+    transitions: readonly (readonly [
+        id: string,
+        taskId: string,
+        activation: 'setup' | 'interaction',
+        placement: 'client' | 'server' | 'isomorphic',
+        readiness: 'blocking' | 'nonblocking',
+        concurrency: 'parallel' | 'latest' | 'queue',
+        inputs: readonly number[],
+        outputs: readonly number[]
+    ])[];
+    /** Build-inspection inventory omitted from render-mode-projected runtime bundles. */
+    reactive?: readonly ExactComponentReactiveAllocation[];
+}>;
+/** One component-owned direct DOM update program shared by every instance of its definition. */
+export type { ExactCompiledComponentCapability, ExactCompiledComponentInputUpdateContract, ExactCompiledComponentUpdateContract, ExactNarrowComponentUpdateContract, ExactWideComponentUpdateContract } from './component-definition-contracts.js';
+/** Target-local executable contract attached to a public component root. */
+export type ExactComponentContract = Readonly<{
+    /** Target-discriminated component contract for the initial public ABI. */
+    version: 1;
+    placement: 'client' | 'server' | 'isomorphic' | 'unknown';
+    role: 'client' | 'render' | 'executor';
+    implementations: readonly ExactComponentImplementationContract[];
+    continuations: readonly ExactComponentContinuationContract[];
+    executors: readonly ExactComponentContinuationExecutorContract[];
+    boundaries: readonly ExactComponentBoundaryContract[];
+    resumption?: ExactComponentResumptionContract;
+    execution?: ExactComponentExecutionContract;
+    artifact: ExactComponentExecutableArtifact;
+}>;
+/** Build-projected runtime attachment after adapter-owned composition facts are erased. */
+export type ExactPreparedComponentContract = Readonly<Pick<ExactComponentContract, 'artifact'> & Partial<Omit<ExactComponentContract, 'artifact'>>>;
+/** Runtime attachment whose single executable artifact is guaranteed by the current target ABI. */
+export type ExactExecutableComponentContract = ExactPreparedComponentContract;
+/** Prepared attachment whose target-local artifact is always executable. */
+export type ExactPreparedExecutableComponentContract = ExactExecutableComponentContract;
+/** Current executable contract proven to carry the client target ABI. */
+export type ExactClientExecutableComponentContract = ExactExecutableComponentContract & Readonly<{
+    artifact: ExactClientComponentArtifact;
+}>;
+/** Current executable contract proven to carry the server target ABI. */
+export type ExactServerExecutableComponentContract = ExactComponentContract & Readonly<{
+    artifact: ExactServerComponentArtifact;
+}>;
+/** Composed target-local contracts indexed for runtime use. */
+export type ExactComposedComponentContracts = Readonly<{
+    implementations: Record<string, AnyExactComponentCallable>;
+    implementationsById: Record<string, AnyExactComponentCallable>;
+    continuations: Record<string, ExactComponentContinuationContract>;
+    executors: Record<string, ExactComponentContinuationExecutorContract>;
+    boundaries: Record<string, ExactComponentBoundaryContract>;
+    resumptions: Record<string, ExactComponentResumptionContract>;
+    executions: Record<string, ExactComponentExecutionContract>;
+    artifacts: Record<string, ExactComponentExecutableArtifact>;
+}>;
+/** Returns whether a callable carries a valid native eXact component identity. */
+export declare function isExactComponent(component: unknown): component is AnyExactComponentCallable;
+/** Reads and validates compiler-attached metadata from one target-local component export. */
+export declare function readExactComponentContract(component: AnyExactComponentCallable): ExactComponentContract | undefined;
+/** Reads one current executable target artifact and rejects obsolete or identity-only values. */
+export declare function readExactExecutableComponentContract(component: AnyExactComponentCallable): ExactExecutableComponentContract;
+/** Reads and validates one client-target executable component contract. */
+export declare function readExactClientExecutableComponentContract(component: AnyExactComponentCallable): ExactClientExecutableComponentContract;
+/** Reads and validates one server-target executable component contract. */
+export declare function readExactServerExecutableComponentContract(component: AnyExactComponentCallable): ExactServerExecutableComponentContract;
+/** Reads build-validated compiler metadata without repeating recursive runtime validation. */
+export declare const readPreparedExactComponentContract: (component: AnyExactComponentCallable) => ExactPreparedComponentContract | undefined;
+/** Reads a build-validated current executable target artifact. */
+export declare function readPreparedExactExecutableComponentContract(component: AnyExactComponentCallable): ExactPreparedExecutableComponentContract;
+/** Reads one build-validated client-target executable component contract. */
+export declare function readPreparedExactClientExecutableComponentContract(component: AnyExactComponentCallable): ExactPreparedComponentContract & Readonly<{
+    artifact: ExactClientComponentArtifact;
+}>;
+/** Reads one build-validated server-target executable component contract. */
+export declare function readPreparedExactServerExecutableComponentContract(component: AnyExactComponentCallable): ExactServerExecutableComponentContract;
+/** Returns the stable compiler identity used to pair SSR and client component boundaries. */
+export declare function exactComponentIdentity(component: AnyExactComponentCallable): string;
+/** Composes reachable imported component contracts into duplicate-checked runtime indexes. */
+export declare function composeExactComponentContracts(components: readonly AnyExactComponentCallable[], role: ExactComponentContract['role']): ExactComposedComponentContracts;
+/** Composes build-validated compiler metadata without repeating recursive validation. */
+export declare function composePreparedExactComponentContracts(components: readonly AnyExactComponentCallable[], role: ExactComponentContract['role']): ExactComposedComponentContracts;
+//# sourceMappingURL=component-contracts.d.ts.map

package/dist/client/component-contracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"component-contracts.d.ts","sourceRoot":"","sources":["../../src/component-contracts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAOxD,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,6BAA6B,CAAC;AACpF,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AAC9E,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AAC9E,OAAO,KAAK,EACX,yBAAyB,EACzB,gCAAgC,EAChC,MAAM,sCAAsC,CAAC;AAE9C,YAAY,EAAE,gCAAgC,EAAE,MAAM,6BAA6B,CAAC;AACpF,YAAY,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AAC9E,YAAY,EACX,4BAA4B,EAC5B,6BAA6B,EAC7B,MAAM,2BAA2B,CAAC;AACnC,YAAY,EAAE,yBAAyB,EAAE,MAAM,sCAAsC,CAAC;AACtF,OAAO,EACN,0BAA0B,EAC1B,KAAK,6BAA6B,EAClC,MAAM,wCAAwC,CAAC;AAEhD,wFAAwF;AACxF,eAAO,MAAM,sBAAsB,eAA4C,CAAC;AAEhF,gGAAgG;AAChG,eAAO,MAAM,kBAAkB,eAAmC,CAAC;AAEnE,4EAA4E;AAC5E,MAAM,MAAM,oCAAoC,GAAG,QAAQ,CAAC;IAC3D,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,GAAG,eAAe,GAAG,aAAa,CAAC;IAC/C,cAAc,EAAE,yBAAyB,CAAC;CAC1C,CAAC,CAAC;AAEH,4EAA4E;AAC5E,MAAM,MAAM,kCAAkC,GAAG,QAAQ,CAAC;IACzD,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACvB,UAAU,EAAE,OAAO,GAAG,OAAO,GAAG,SAAS,CAAC;IAC1C,SAAS,CAAC,EAAE,OAAO,GAAG,KAAK,GAAG,KAAK,CAAC;CACpC,CAAC,CAAC;AAEH,yEAAyE;AACzE,MAAM,MAAM,uBAAuB,GAChC,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,SAAS,CAAC;IAAC,GAAG,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAC,GAC9E,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,YAAY,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,CAAC,GACjE,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,WAAW,CAAA;CAAE,CAAC,GAClD,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAC,GAChE,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAC,GACnE,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,WAAW,CAAA;CAAE,CAAC,CAAC;AAEtD,kFAAkF;AAClF,MAAM,MAAM,kCAAkC,GAAG,QAAQ,CAAC;IACzD,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,UAAU,GAAG,aAAa,CAAC;IACtC,WAAW,CAAC,EAAE,UAAU,GAAG,QAAQ,GAAG,OAAO,CAAC;IAC9C,YAAY,EAAE,SAAS,QAAQ,CAAC;QAC/B,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,MAAM,EAAE,OAAO,GAAG,OAAO,GAAG,SAAS,GAAG,UAAU,CAAC;QACnD,IAAI,CAAC,EAAE,MAAM,CAAC;KACd,CAAC,EAAE,CAAC;IACL,UAAU,CAAC,EAAE,QAAQ,CAAC;QACrB,SAAS,EAAE,SAAS,QAAQ,CAAC;YAAE,KAAK,CAAC,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,UAAU,CAAC;YAAC,IAAI,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC,EAAE,CAAC;QACtF,WAAW,EAAE,UAAU,GAAG,QAAQ,GAAG,OAAO,CAAC;KAC7C,CAAC,CAAC;IACH,UAAU,EAAE,SAAS,kCAAkC,EAAE,CAAC;IAC1D,WAAW,EAAE,SAAS,kCAAkC,EAAE,CAAC;IAC3D,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,4EAA4E;IAC5E,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9B,CAAC,CAAC;AAEH,oFAAoF;AACpF,MAAM,MAAM,oCAAoC,GAAG,QAAQ,CAAC;IAC3D,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,YAAY,EAAE,SAAS,OAAO,EAAE,CAAC;IACjC,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACjD,UAAU,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC,CAAC;AAEH,wFAAwF;AACxF,MAAM,MAAM,mCAAmC,GAAG,QAAQ,CAAC;IAC1D,IAAI,EAAE,WAAW,CAAC;IAClB,MAAM,EAAE,WAAW,CAAC;IACpB,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC;IAChE,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC7E,CAAC,CAAC;AAEH,sFAAsF;AACtF,MAAM,MAAM,yCAAyC,GAAG,QAAQ,CAAC;IAChE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC7C,KAAK,CAAC,EAAE,OAAO,CAAC;CAChB,CAAC,CAAC;AAEH,4EAA4E;AAC5E,MAAM,MAAM,0CAA0C,GAAG,QAAQ,CAAC;IACjE,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,CACN,UAAU,EAAE,oCAAoC,EAChD,SAAS,EAAE,mCAAmC,GAC5C,yCAAyC,GAAG,OAAO,CAAC,yCAAyC,CAAC,CAAC;CAClG,CAAC,CAAC;AAEH,mEAAmE;AACnE,MAAM,MAAM,8BAA8B,GAAG,QAAQ,CAAC;IACrD,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,gBAAgB,EAAE,MAAM,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,iBAAiB,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,OAAO,CAAC;IAClD,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,UAAU,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC,CAAC;AAEH,2EAA2E;AAC3E,MAAM,MAAM,gCAAgC,GAAG,QAAQ,CAAC;IACvD,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,6EAA6E;IAC7E,WAAW,EAAE,SAAS,CAAC,SAAS,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;IACzE,0FAA0F;IAC1F,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,uEAAuE;IACvE,aAAa,CAAC,EAAE,SAAS,CAAC,SAAS;QAClC,SAAS,EAAE,MAAM;QACjB,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI;KACvC,CAAC,EAAE,CAAC;IACL,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9B,CAAC,CAAC;AAEH,gFAAgF;AAChF,MAAM,MAAM,+BAA+B,GAAG,QAAQ,CAAC;IACtD,OAAO,EAAE,CAAC,CAAC;IACX,mFAAmF;IACnF,KAAK,EAAE,SAAS,CAAC,SAAS;QACzB,IAAI,EAAE,OAAO,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,GAAG,UAAU;QAC5D,IAAI,EAAE,MAAM;QACZ,SAAS,EAAE,OAAO,GAAG,QAAQ,GAAG,OAAO;KACvC,CAAC,EAAE,CAAC;IACL,wGAAwG;IACxG,WAAW,EAAE,SAAS,CAAC,SAAS;QAC/B,EAAE,EAAE,MAAM;QACV,MAAM,EAAE,MAAM;QACd,UAAU,EAAE,OAAO,GAAG,aAAa;QACnC,SAAS,EAAE,QAAQ,GAAG,QAAQ,GAAG,YAAY;QAC7C,SAAS,EAAE,UAAU,GAAG,aAAa;QACrC,WAAW,EAAE,UAAU,GAAG,QAAQ,GAAG,OAAO;QAC5C,MAAM,EAAE,SAAS,MAAM,EAAE;QACzB,OAAO,EAAE,SAAS,MAAM,EAAE;KAC1B,CAAC,EAAE,CAAC;IACL,qFAAqF;IACrF,QAAQ,CAAC,EAAE,SAAS,gCAAgC,EAAE,CAAC;CACvD,CAAC,CAAC;AAEH,gGAAgG;AAChG,YAAY,EACX,gCAAgC,EAChC,yCAAyC,EACzC,oCAAoC,EACpC,kCAAkC,EAClC,gCAAgC,EAChC,MAAM,qCAAqC,CAAC;AAE7C,4EAA4E;AAC5E,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC7C,0EAA0E;IAC1E,OAAO,EAAE,CAAC,CAAC;IACX,SAAS,EAAE,QAAQ,GAAG,QAAQ,GAAG,YAAY,GAAG,SAAS,CAAC;IAC1D,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,UAAU,CAAC;IACvC,eAAe,EAAE,SAAS,oCAAoC,EAAE,CAAC;IACjE,aAAa,EAAE,SAAS,kCAAkC,EAAE,CAAC;IAC7D,SAAS,EAAE,SAAS,0CAA0C,EAAE,CAAC;IACjE,UAAU,EAAE,SAAS,8BAA8B,EAAE,CAAC;IACtD,UAAU,CAAC,EAAE,gCAAgC,CAAC;IAC9C,SAAS,CAAC,EAAE,+BAA+B,CAAC;IAC5C,QAAQ,EAAE,gCAAgC,CAAC;CAC3C,CAAC,CAAC;AAEH,2FAA2F;AAC3F,MAAM,MAAM,8BAA8B,GAAG,QAAQ,CACpD,IAAI,CAAC,sBAAsB,EAAE,UAAU,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,sBAAsB,EAAE,UAAU,CAAC,CAAC,CAC5F,CAAC;AAEF,mGAAmG;AACnG,MAAM,MAAM,gCAAgC,GAAG,8BAA8B,CAAC;AAE9E,4EAA4E;AAC5E,MAAM,MAAM,wCAAwC,GAAG,gCAAgC,CAAC;AAExF,yEAAyE;AACzE,MAAM,MAAM,sCAAsC,GAAG,gCAAgC,GACpF,QAAQ,CAAC;IAAE,QAAQ,EAAE,4BAA4B,CAAA;CAAE,CAAC,CAAC;AAEtD,yEAAyE;AACzE,MAAM,MAAM,sCAAsC,GAAG,sBAAsB,GAC1E,QAAQ,CAAC;IAAE,QAAQ,EAAE,4BAA4B,CAAA;CAAE,CAAC,CAAC;AAEtD,+DAA+D;AAC/D,MAAM,MAAM,+BAA+B,GAAG,QAAQ,CAAC;IACtD,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC;IAC3D,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC;IAC/D,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,kCAAkC,CAAC,CAAC;IAClE,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,0CAA0C,CAAC,CAAC;IACtE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,8BAA8B,CAAC,CAAC;IAC3D,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,gCAAgC,CAAC,CAAC;IAC9D,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,+BAA+B,CAAC,CAAC;IAC5D,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,gCAAgC,CAAC,CAAC;CAC5D,CAAC,CAAC;AAOH,kFAAkF;AAClF,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,OAAO,GAAG,SAAS,IAAI,yBAAyB,CAI3F;AAED,6FAA6F;AAC7F,wBAAgB,0BAA0B,CACzC,SAAS,EAAE,yBAAyB,GAClC,sBAAsB,GAAG,SAAS,CAKpC;AAED,iGAAiG;AACjG,wBAAgB,oCAAoC,CACnD,SAAS,EAAE,yBAAyB,GAClC,gCAAgC,CAKlC;AAED,2EAA2E;AAC3E,wBAAgB,0CAA0C,CACzD,SAAS,EAAE,yBAAyB,GAClC,sCAAsC,CAKxC;AAED,2EAA2E;AAC3E,wBAAgB,0CAA0C,CACzD,SAAS,EAAE,yBAAyB,GAClC,sCAAsC,CAKxC;AAED,8FAA8F;AAC9F,eAAO,MAAM,kCAAkC,GAC9C,WAAW,yBAAyB,KAClC,8BAA8B,GAAG,SACqB,CAAC;AAE1D,kEAAkE;AAClE,wBAAgB,4CAA4C,CAC3D,SAAS,EAAE,yBAAyB,GAClC,wCAAwC,CAO1C;AAED,6EAA6E;AAC7E,wBAAgB,kDAAkD,CACjE,SAAS,EAAE,yBAAyB,GAClC,8BAA8B,GAAG,QAAQ,CAAC;IAAE,QAAQ,EAAE,4BAA4B,CAAA;CAAE,CAAC,CAMvF;AAED,6EAA6E;AAC7E,wBAAgB,kDAAkD,CACjE,SAAS,EAAE,yBAAyB,GAClC,sCAAsC,CAKxC;AAED,6FAA6F;AAC7F,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,yBAAyB,GAAG,MAAM,CAInF;AAED,8FAA8F;AAC9F,wBAAgB,8BAA8B,CAC7C,UAAU,EAAE,SAAS,yBAAyB,EAAE,EAChD,IAAI,EAAE,sBAAsB,CAAC,MAAM,CAAC,GAClC,+BAA+B,CAEjC;AAED,yFAAyF;AACzF,wBAAgB,sCAAsC,CACrD,UAAU,EAAE,SAAS,yBAAyB,EAAE,EAChD,IAAI,EAAE,sBAAsB,CAAC,MAAM,CAAC,GAClC,+BAA+B,CAEjC"}

package/dist/client/component-contracts.js

@@ -0,0 +1,134 @@
+import { validatedComponentContract } from './component-contract/contract-cache.js';
+import { addUniqueExecutor, addUniqueImplementation, addUniqueJson } from './component-contract/composition-support.js';
+export { decodeExactValueWithSchema } from './component-abi/value-serialization.js';
+/** Global property under which compiled artifacts carry their target-local contract. */
+export const exactComponentContract = Symbol.for('@exactjs/component-contract');
+/** Global marker distinguishing a native eXact component from compatibility-owned functions. */
+export const exactComponentType = Symbol.for('@exactjs/component');
+/** Returns whether a callable carries a valid native eXact component identity. */
+export function isExactComponent(component) {
+    if (typeof component !== 'function')
+        return false;
+    const identity = component[exactComponentType];
+    return typeof identity === 'string' && identity.length > 0;
+}
+/** Reads and validates compiler-attached metadata from one target-local component export. */
+export function readExactComponentContract(component) {
+    const contract = component[exactComponentContract];
+    if (!contract)
+        return undefined;
+    const componentId = exactComponentIdentity(component);
+    return validatedComponentContract(component, contract, componentId);
+}
+/** Reads one current executable target artifact and rejects obsolete or identity-only values. */
+export function readExactExecutableComponentContract(component) {
+    const contract = readExactComponentContract(component);
+    if (!contract?.artifact)
+        throw new TypeError('Native eXact component execution requires a compiled component artifact');
+    return contract;
+}
+/** Reads and validates one client-target executable component contract. */
+export function readExactClientExecutableComponentContract(component) {
+    const contract = readExactExecutableComponentContract(component);
+    if (contract.artifact.target !== 'client')
+        throw new TypeError('Client execution requires a current client component artifact');
+    return contract;
+}
+/** Reads and validates one server-target executable component contract. */
+export function readExactServerExecutableComponentContract(component) {
+    const contract = readExactExecutableComponentContract(component);
+    if (contract.artifact.target !== 'server')
+        throw new TypeError('Server execution requires a current server component artifact');
+    return contract;
+}
+/** Reads build-validated compiler metadata without repeating recursive runtime validation. */
+export const readPreparedExactComponentContract = (component) => component[exactComponentContract];
+/** Reads a build-validated current executable target artifact. */
+export function readPreparedExactExecutableComponentContract(component) {
+    const contract = readPreparedExactComponentContract(component);
+    if (!contract?.artifact)
+        throw new TypeError(`Native eXact component execution requires a compiled component artifact: ${component.name || '<anonymous>'}`);
+    return contract;
+}
+/** Reads one build-validated client-target executable component contract. */
+export function readPreparedExactClientExecutableComponentContract(component) {
+    const contract = readPreparedExactExecutableComponentContract(component);
+    if (contract.artifact.target !== 'client')
+        throw new TypeError('Client execution requires a current client component artifact');
+    return contract;
+}
+/** Reads one build-validated server-target executable component contract. */
+export function readPreparedExactServerExecutableComponentContract(component) {
+    const contract = readPreparedExactExecutableComponentContract(component);
+    if (contract.artifact.target !== 'server')
+        throw new TypeError('Server execution requires a current server component artifact');
+    return contract;
+}
+/** Returns the stable compiler identity used to pair SSR and client component boundaries. */
+export function exactComponentIdentity(component) {
+    const identity = component[exactComponentType];
+    if (typeof identity === 'string' && identity)
+        return identity;
+    throw new Error('Native eXact components require compiler-owned identity');
+}
+/** Composes reachable imported component contracts into duplicate-checked runtime indexes. */
+export function composeExactComponentContracts(components, role) {
+    return composeComponentContracts(components, role, readExactComponentContract);
+}
+/** Composes build-validated compiler metadata without repeating recursive validation. */
+export function composePreparedExactComponentContracts(components, role) {
+    return composeComponentContracts(components, role, readPreparedExactComponentContract);
+}
+function composeComponentContracts(components, role, readContract) {
+    const implementations = {};
+    const implementationsById = {};
+    const continuations = {};
+    const executors = {};
+    const boundaries = {};
+    const resumptions = {};
+    const executions = {};
+    const artifacts = {};
+    for (const component of components) {
+        const contract = readContract(component);
+        if (!contract)
+            continue;
+        const componentId = exactComponentIdentity(component);
+        const projectedRole = contract.role ?? (contract.artifact.target === 'client' ? 'client' : 'render');
+        if (projectedRole !== role)
+            throw new Error(`Expected eXact ${role} component contract for ${componentId}, received ${projectedRole}`);
+        const projectedImplementations = contract.implementations ?? [
+            {
+                id: componentId,
+                name: component.name,
+                role: 'root',
+                implementation: component
+            }
+        ];
+        for (const implementation of projectedImplementations) {
+            addUniqueImplementation(implementationsById, implementation.id, implementation.implementation);
+            addUniqueImplementation(implementations, implementation.name, implementation.implementation);
+        }
+        for (const continuation of contract.continuations ?? [])
+            addUniqueJson(continuations, continuation.id, continuation, 'continuation');
+        for (const executor of contract.executors ?? [])
+            addUniqueExecutor(executors, executor);
+        for (const boundary of contract.boundaries ?? [])
+            addUniqueJson(boundaries, boundary.id, boundary, 'boundary');
+        if (contract.resumption)
+            addUniqueJson(resumptions, contract.resumption.componentId, contract.resumption, 'resumption');
+        if (contract.execution)
+            addUniqueJson(executions, componentId, contract.execution, 'execution plan');
+        artifacts[componentId] = contract.artifact;
+    }
+    return Object.freeze({
+        implementations,
+        implementationsById,
+        continuations,
+        executors,
+        boundaries,
+        resumptions,
+        executions,
+        artifacts
+    });
+}
+//# sourceMappingURL=component-contracts.js.map

package/dist/client/component-contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"component-contracts.js","sourceRoot":"","sources":["../../src/component-contracts.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,0BAA0B,EAAE,MAAM,wCAAwC,CAAC;AACpF,OAAO,EACN,iBAAiB,EACjB,uBAAuB,EACvB,aAAa,EACb,MAAM,6CAA6C,CAAC;AAgBrD,OAAO,EACN,0BAA0B,EAE1B,MAAM,wCAAwC,CAAC;AAEhD,wFAAwF;AACxF,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;AAEhF,gGAAgG;AAChG,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;AA6MnE,kFAAkF;AAClF,MAAM,UAAU,gBAAgB,CAAC,SAAkB;IAClD,IAAI,OAAO,SAAS,KAAK,UAAU;QAAE,OAAO,KAAK,CAAC;IAClD,MAAM,QAAQ,GAAI,SAA+B,CAAC,kBAAkB,CAAC,CAAC;IACtE,OAAO,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;AAC5D,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,0BAA0B,CACzC,SAAoC;IAEpC,MAAM,QAAQ,GAAI,SAA+B,CAAC,sBAAsB,CAAC,CAAC;IAC1E,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,MAAM,WAAW,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;IACtD,OAAO,0BAA0B,CAAC,SAAS,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;AACrE,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,oCAAoC,CACnD,SAAoC;IAEpC,MAAM,QAAQ,GAAG,0BAA0B,CAAC,SAAS,CAAC,CAAC;IACvD,IAAI,CAAC,QAAQ,EAAE,QAAQ;QACtB,MAAM,IAAI,SAAS,CAAC,yEAAyE,CAAC,CAAC;IAChG,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,0CAA0C,CACzD,SAAoC;IAEpC,MAAM,QAAQ,GAAG,oCAAoC,CAAC,SAAS,CAAC,CAAC;IACjE,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ;QACxC,MAAM,IAAI,SAAS,CAAC,+DAA+D,CAAC,CAAC;IACtF,OAAO,QAAkD,CAAC;AAC3D,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,0CAA0C,CACzD,SAAoC;IAEpC,MAAM,QAAQ,GAAG,oCAAoC,CAAC,SAAS,CAAC,CAAC;IACjE,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ;QACxC,MAAM,IAAI,SAAS,CAAC,+DAA+D,CAAC,CAAC;IACtF,OAAO,QAAkD,CAAC;AAC3D,CAAC;AAED,8FAA8F;AAC9F,MAAM,CAAC,MAAM,kCAAkC,GAAG,CACjD,SAAoC,EACS,EAAE,CAC9C,SAA+B,CAAC,sBAAsB,CAAC,CAAC;AAE1D,kEAAkE;AAClE,MAAM,UAAU,4CAA4C,CAC3D,SAAoC;IAEpC,MAAM,QAAQ,GAAG,kCAAkC,CAAC,SAAS,CAAC,CAAC;IAC/D,IAAI,CAAC,QAAQ,EAAE,QAAQ;QACtB,MAAM,IAAI,SAAS,CAClB,4EAA4E,SAAS,CAAC,IAAI,IAAI,aAAa,EAAE,CAC7G,CAAC;IACH,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,kDAAkD,CACjE,SAAoC;IAEpC,MAAM,QAAQ,GAAG,4CAA4C,CAAC,SAAS,CAAC,CAAC;IACzE,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ;QACxC,MAAM,IAAI,SAAS,CAAC,+DAA+D,CAAC,CAAC;IACtF,OAAO,QAC8C,CAAC;AACvD,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,kDAAkD,CACjE,SAAoC;IAEpC,MAAM,QAAQ,GAAG,4CAA4C,CAAC,SAAS,CAAC,CAAC;IACzE,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ;QACxC,MAAM,IAAI,SAAS,CAAC,+DAA+D,CAAC,CAAC;IACtF,OAAO,QAAkD,CAAC;AAC3D,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,sBAAsB,CAAC,SAAoC;IAC1E,MAAM,QAAQ,GAAI,SAA+B,CAAC,kBAAkB,CAAC,CAAC;IACtE,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9D,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;AAC5E,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,8BAA8B,CAC7C,UAAgD,EAChD,IAAoC;IAEpC,OAAO,yBAAyB,CAAC,UAAU,EAAE,IAAI,EAAE,0BAA0B,CAAC,CAAC;AAChF,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,sCAAsC,CACrD,UAAgD,EAChD,IAAoC;IAEpC,OAAO,yBAAyB,CAAC,UAAU,EAAE,IAAI,EAAE,kCAAkC,CAAC,CAAC;AACxF,CAAC;AAED,SAAS,yBAAyB,CACjC,UAAgD,EAChD,IAAoC,EACpC,YAAkG;IAElG,MAAM,eAAe,GAA8C,EAAE,CAAC;IACtE,MAAM,mBAAmB,GAA8C,EAAE,CAAC;IAC1E,MAAM,aAAa,GAAuD,EAAE,CAAC;IAC7E,MAAM,SAAS,GAA+D,EAAE,CAAC;IACjF,MAAM,UAAU,GAAmD,EAAE,CAAC;IACtE,MAAM,WAAW,GAAqD,EAAE,CAAC;IACzE,MAAM,UAAU,GAAoD,EAAE,CAAC;IACvE,MAAM,SAAS,GAAqD,EAAE,CAAC;IAEvE,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,WAAW,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;QACtD,MAAM,aAAa,GAClB,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAChF,IAAI,aAAa,KAAK,IAAI;YACzB,MAAM,IAAI,KAAK,CACd,kBAAkB,IAAI,2BAA2B,WAAW,cAAc,aAAa,EAAE,CACzF,CAAC;QACH,MAAM,wBAAwB,GAAG,QAAQ,CAAC,eAAe,IAAI;YAC5D;gBACC,EAAE,EAAE,WAAW;gBACf,IAAI,EAAE,SAAS,CAAC,IAAI;gBACpB,IAAI,EAAE,MAAe;gBACrB,cAAc,EAAE,SAAS;aACzB;SACD,CAAC;QACF,KAAK,MAAM,cAAc,IAAI,wBAAwB,EAAE,CAAC;YACvD,uBAAuB,CACtB,mBAAmB,EACnB,cAAc,CAAC,EAAE,EACjB,cAAc,CAAC,cAAc,CAC7B,CAAC;YACF,uBAAuB,CAAC,eAAe,EAAE,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,cAAc,CAAC,CAAC;QAC9F,CAAC;QACD,KAAK,MAAM,YAAY,IAAI,QAAQ,CAAC,aAAa,IAAI,EAAE;YACtD,aAAa,CAAC,aAAa,EAAE,YAAY,CAAC,EAAE,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC;QAC7E,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,SAAS,IAAI,EAAE;YAAE,iBAAiB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QACxF,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,UAAU,IAAI,EAAE;YAC/C,aAAa,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC9D,IAAI,QAAQ,CAAC,UAAU;YACtB,aAAa,CACZ,WAAW,EACX,QAAQ,CAAC,UAAU,CAAC,WAAW,EAC/B,QAAQ,CAAC,UAAU,EACnB,YAAY,CACZ,CAAC;QACH,IAAI,QAAQ,CAAC,SAAS;YACrB,aAAa,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;QAC9E,SAAS,CAAC,WAAW,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC;IAC5C,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,eAAe;QACf,mBAAmB;QACnB,aAAa;QACb,SAAS;QACT,UAAU;QACV,WAAW;QACX,UAAU;QACV,SAAS;KACT,CAAC,CAAC;AACJ,CAAC"}

package/dist/client/component-definition-contracts.d.ts

@@ -0,0 +1,42 @@
+/** Optional runtime capability made reachable by one compiled component definition. */
+export type ExactCompiledComponentCapability = 'tasks' | 'continuations' | 'resumption' | 'inspection' | 'registry' | 'enhancements' | 'interactions' | 'compatibility' | 'dynamic-components' | 'collections' | 'contexts' | 'targets';
+/** Ordinary component update program whose operations fit in two inline mask words. */
+export type ExactNarrowComponentUpdateContract = Readonly<{
+    /** Stable component storage slot plus its low/high operation masks. */
+    bindings: readonly (readonly [slot: number, dirtyLow: number, dirtyHigh: number])[];
+    /** Number of leading bindings backed by props; absent state-only artifacts import a lean lane. */
+    props?: number;
+    words?: never;
+    /** Applies compiler-selected operations to the currently mounted finite-region targets. */
+    apply(targets: readonly (object | undefined)[], dirtyLow: number, dirtyHigh: number): void;
+}>;
+/** Large component update program with compiler-sized mask storage beyond its inline words. */
+export type ExactWideComponentUpdateContract = Readonly<{
+    /** Stable component storage slot plus every 32-operation mask affected by that field. */
+    bindings: readonly (readonly [
+        slot: number,
+        dirtyLow: number,
+        dirtyHigh: number,
+        dirtyWord0: number,
+        ...dirtyWords: number[]
+    ])[];
+    /** Number of leading bindings backed by props; absent state-only artifacts import a lean lane. */
+    props?: number;
+    /** Total mask words; wide artifacts always contain at least three. */
+    words: number;
+    /** Applies compiler-selected operations to the currently mounted finite-region targets. */
+    apply(targets: readonly (object | undefined)[], dirtyLow: number, dirtyHigh: number, dirtyWords: Uint32Array): void;
+}>;
+/** One component-owned direct DOM update program shared by every instance of its definition. */
+export type ExactCompiledComponentUpdateContract = ExactNarrowComponentUpdateContract | ExactWideComponentUpdateContract;
+/** Receiver-owned prop-to-state operations proven to depend on top-level indexed prop slots. */
+export type ExactCompiledComponentInputUpdateContract = Readonly<{
+    /** Stable prop slot plus its low/high operation masks. */
+    bindings: readonly (readonly [slot: number, dirtyLow: number, dirtyHigh: number])[];
+    /** Applies finalized prop inputs to the receiving durable component state. */
+    apply(instance: Readonly<{
+        state: object;
+        props: object;
+    }>, dirtyLow: number, dirtyHigh: number): void;
+}>;
+//# sourceMappingURL=component-definition-contracts.d.ts.map

package/dist/client/component-definition-contracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"component-definition-contracts.d.ts","sourceRoot":"","sources":["../../src/component-definition-contracts.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,MAAM,MAAM,gCAAgC,GACzC,OAAO,GACP,eAAe,GACf,YAAY,GACZ,YAAY,GACZ,UAAU,GACV,cAAc,GACd,cAAc,GACd,eAAe,GACf,oBAAoB,GACpB,aAAa,GACb,UAAU,GACV,SAAS,CAAC;AAEb,uFAAuF;AACvF,MAAM,MAAM,kCAAkC,GAAG,QAAQ,CAAC;IACzD,uEAAuE;IACvE,QAAQ,EAAE,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;IACpF,kGAAkG;IAClG,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,KAAK,CAAC;IACd,2FAA2F;IAC3F,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3F,CAAC,CAAC;AAEH,+FAA+F;AAC/F,MAAM,MAAM,gCAAgC,GAAG,QAAQ,CAAC;IACvD,yFAAyF;IACzF,QAAQ,EAAE,SAAS,CAAC,SAAS;QAC5B,IAAI,EAAE,MAAM;QACZ,QAAQ,EAAE,MAAM;QAChB,SAAS,EAAE,MAAM;QACjB,UAAU,EAAE,MAAM;QAClB,GAAG,UAAU,EAAE,MAAM,EAAE;KACvB,CAAC,EAAE,CAAC;IACL,kGAAkG;IAClG,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAC;IACd,2FAA2F;IAC3F,KAAK,CACJ,OAAO,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EACxC,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,WAAW,GACrB,IAAI,CAAC;CACR,CAAC,CAAC;AAEH,gGAAgG;AAChG,MAAM,MAAM,oCAAoC,GAC7C,kCAAkC,GAClC,gCAAgC,CAAC;AAEpC,gGAAgG;AAChG,MAAM,MAAM,yCAAyC,GAAG,QAAQ,CAAC;IAChE,0DAA0D;IAC1D,QAAQ,EAAE,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;IACpF,8EAA8E;IAC9E,KAAK,CACJ,QAAQ,EAAE,QAAQ,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,EACpD,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,GACf,IAAI,CAAC;CACR,CAAC,CAAC"}

package/dist/client/component-definition-contracts.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=component-definition-contracts.js.map

package/dist/client/component-definition-contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"component-definition-contracts.js","sourceRoot":"","sources":["../../src/component-definition-contracts.ts"],"names":[],"mappings":""}

package/dist/client/component-registry/contracts.d.ts

@@ -0,0 +1,82 @@
+import type { AnyAuthoredComponentFunction, AnyComponentFunction, AuthoredComponentFunction, ComponentInstance, RenderResult } from '../component/contracts.js';
+/** Private type-level identity carried by a component registry. */
+export declare const componentRegistryBrand: unique symbol;
+/** Private type-level identity carried by a scoped lazy definition entry. */
+export declare const lazyRegistryEntryBrand: unique symbol;
+/**
+ * Declarative lazy component entry accepted only inside a registry definition callback.
+ * A named interface keeps inferred registry declarations nameable when consumers export KeyOf types.
+ */
+export interface LazyRegistryEntry<Component extends AnyAuthoredComponentFunction> {
+    readonly [lazyRegistryEntryBrand]: Component;
+}
+/** One eager or scoped-lazy entry in a declarative component registry definition. */
+export type ComponentRegistryDefinitionEntry = AnyAuthoredComponentFunction | LazyRegistryEntry<AnyAuthoredComponentFunction>;
+/** Finite immutable definition accepted by {@link createComponentRegistry}. */
+export type ComponentRegistryDefinition = Readonly<Record<string, ComponentRegistryDefinitionEntry>>;
+/** Resolves a definition descriptor to the authored component exposed at use sites. */
+export type ResolveRegistryEntry<Entry> = Entry extends LazyRegistryEntry<infer Component> ? Component : Entry extends AnyAuthoredComponentFunction ? Entry : never;
+/** Resolves every definition entry to its public component type. */
+export type ResolveRegistryDefinition<Definition extends ComponentRegistryDefinition> = {
+    readonly [Key in keyof Definition]: ResolveRegistryEntry<Definition[Key]>;
+};
+/** Immutable branded collection of stable registry entry component facades. */
+export type ComponentRegistry<Definition extends ComponentRegistryDefinition> = ResolveRegistryDefinition<Definition> & {
+    readonly [componentRegistryBrand]: Definition;
+};
+/** Existential registry accepted by operations that preserve its branded definition. */
+export type AnyComponentRegistry = ComponentRegistry<any>;
+/** String component keys declared by a registry, excluding compiler-private symbols. */
+export type KeyOf<Registry> = Registry extends ComponentRegistry<infer Definition> ? Extract<keyof Definition, string> : never;
+/** Props accepted by an eXact component function. */
+export type ComponentProps<Component> = Component extends AuthoredComponentFunction<any, infer Props> ? Props : never;
+/** Builder available only while a registry definition callback executes. */
+export type ComponentRegistryBuilder = {
+    /**
+     * Declares a statically analyzable lazy component loader.
+     *
+     * Reading the resulting registry entry does not load it; rendering or explicit preloading does.
+     */
+    lazy<Component extends AnyAuthoredComponentFunction>(load: () => Promise<Component>): LazyRegistryEntry<Component>;
+};
+/** Correlated key and props union derived from a heterogeneous registry. */
+export type ComponentSelection<Registry> = Registry extends ComponentRegistry<infer Definition> ? {
+    [Key in Extract<keyof Definition, string>]: {
+        component: Key;
+        props: ComponentProps<ResolveRegistryEntry<Definition[Key]>>;
+    };
+}[Extract<keyof Definition, string>] : never;
+/** Runtime metadata for one stable target-local registry entry facade. */
+export type ComponentRegistryEntryRuntime = {
+    readonly registry: ComponentRegistryRuntime;
+    readonly key: string;
+    readonly facade: AnyComponentFunction;
+    readonly eager?: AnyComponentFunction;
+    readonly load?: () => Promise<AnyComponentFunction>;
+    resolved?: AnyComponentFunction;
+    pending?: Promise<AnyComponentFunction>;
+    error?: unknown;
+    loadGeneration: number;
+};
+/** Runtime metadata for one immutable registry value. */
+export type ComponentRegistryRuntime = {
+    readonly id: string;
+    readonly name: string;
+    readonly entries: ReadonlyMap<string, ComponentRegistryEntryRuntime>;
+};
+/** Immutable diagnostic view of one compiler-owned component registry. */
+export type ComponentRegistryInspection = Readonly<{
+    id: string;
+    name: string;
+    entries: readonly Readonly<{
+        key: string;
+        mode: 'eager' | 'lazy';
+        status: 'ready' | 'loading' | 'failed' | 'idle';
+        generation: number;
+    }>[];
+}>;
+/** Internal component shape used by generated entry facades. */
+export type RegistryFacadeInstance = ComponentInstance<Record<string, never>>;
+/** Public render result returned by correlated registry selection. */
+export type RegistryRenderResult = RenderResult;
+//# sourceMappingURL=contracts.d.ts.map

package/dist/client/component-registry/contracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.d.ts","sourceRoot":"","sources":["../../../src/component-registry/contracts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACX,4BAA4B,EAC5B,oBAAoB,EACpB,yBAAyB,EACzB,iBAAiB,EACjB,YAAY,EACZ,MAAM,2BAA2B,CAAC;AAEnC,mEAAmE;AACnE,MAAM,CAAC,OAAO,CAAC,MAAM,sBAAsB,EAAE,OAAO,MAAM,CAAC;AAC3D,6EAA6E;AAC7E,MAAM,CAAC,OAAO,CAAC,MAAM,sBAAsB,EAAE,OAAO,MAAM,CAAC;AAE3D;;;GAGG;AACH,MAAM,WAAW,iBAAiB,CAAC,SAAS,SAAS,4BAA4B;IAChF,QAAQ,CAAC,CAAC,sBAAsB,CAAC,EAAE,SAAS,CAAC;CAC7C;AAED,qFAAqF;AACrF,MAAM,MAAM,gCAAgC,GACzC,4BAA4B,GAC5B,iBAAiB,CAAC,4BAA4B,CAAC,CAAC;AAEnD,+EAA+E;AAC/E,MAAM,MAAM,2BAA2B,GAAG,QAAQ,CACjD,MAAM,CAAC,MAAM,EAAE,gCAAgC,CAAC,CAChD,CAAC;AAEF,uFAAuF;AACvF,MAAM,MAAM,oBAAoB,CAAC,KAAK,IACrC,KAAK,SAAS,iBAAiB,CAAC,MAAM,SAAS,CAAC,GAC7C,SAAS,GACT,KAAK,SAAS,4BAA4B,GACzC,KAAK,GACL,KAAK,CAAC;AAEX,oEAAoE;AACpE,MAAM,MAAM,yBAAyB,CAAC,UAAU,SAAS,2BAA2B,IAAI;IACvF,QAAQ,EAAE,GAAG,IAAI,MAAM,UAAU,GAAG,oBAAoB,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;CACzE,CAAC;AAEF,+EAA+E;AAC/E,MAAM,MAAM,iBAAiB,CAAC,UAAU,SAAS,2BAA2B,IAC3E,yBAAyB,CAAC,UAAU,CAAC,GAAG;IACvC,QAAQ,CAAC,CAAC,sBAAsB,CAAC,EAAE,UAAU,CAAC;CAC9C,CAAC;AAEH,wFAAwF;AAExF,MAAM,MAAM,oBAAoB,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;AAE1D,wFAAwF;AACxF,MAAM,MAAM,KAAK,CAAC,QAAQ,IACzB,QAAQ,SAAS,iBAAiB,CAAC,MAAM,UAAU,CAAC,GAAG,OAAO,CAAC,MAAM,UAAU,EAAE,MAAM,CAAC,GAAG,KAAK,CAAC;AAElG,qDAAqD;AACrD,MAAM,MAAM,cAAc,CAAC,SAAS,IAEnC,SAAS,SAAS,yBAAyB,CAAC,GAAG,EAAE,MAAM,KAAK,CAAC,GAAG,KAAK,GAAG,KAAK,CAAC;AAE/E,4EAA4E;AAC5E,MAAM,MAAM,wBAAwB,GAAG;IACtC;;;;OAIG;IACH,IAAI,CAAC,SAAS,SAAS,4BAA4B,EAClD,IAAI,EAAE,MAAM,OAAO,CAAC,SAAS,CAAC,GAC5B,iBAAiB,CAAC,SAAS,CAAC,CAAC;CAChC,CAAC;AAEF,4EAA4E;AAC5E,MAAM,MAAM,kBAAkB,CAAC,QAAQ,IACtC,QAAQ,SAAS,iBAAiB,CAAC,MAAM,UAAU,CAAC,GACjD;KACC,GAAG,IAAI,OAAO,CAAC,MAAM,UAAU,EAAE,MAAM,CAAC,GAAG;QAC3C,SAAS,EAAE,GAAG,CAAC;QACf,KAAK,EAAE,cAAc,CAAC,oBAAoB,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;KAC7D;CACD,CAAC,OAAO,CAAC,MAAM,UAAU,EAAE,MAAM,CAAC,CAAC,GACnC,KAAK,CAAC;AAEV,0EAA0E;AAC1E,MAAM,MAAM,6BAA6B,GAAG;IAC3C,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC;IACtC,QAAQ,CAAC,KAAK,CAAC,EAAE,oBAAoB,CAAC;IACtC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACpD,QAAQ,CAAC,EAAE,oBAAoB,CAAC;IAChC,OAAO,CAAC,EAAE,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACxC,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,cAAc,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,yDAAyD;AACzD,MAAM,MAAM,wBAAwB,GAAG;IACtC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,6BAA6B,CAAC,CAAC;CACrE,CAAC;AAEF,0EAA0E;AAC1E,MAAM,MAAM,2BAA2B,GAAG,QAAQ,CAAC;IAClD,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,SAAS,QAAQ,CAAC;QAC1B,GAAG,EAAE,MAAM,CAAC;QACZ,IAAI,EAAE,OAAO,GAAG,MAAM,CAAC;QACvB,MAAM,EAAE,OAAO,GAAG,SAAS,GAAG,QAAQ,GAAG,MAAM,CAAC;QAChD,UAAU,EAAE,MAAM,CAAC;KACnB,CAAC,EAAE,CAAC;CACL,CAAC,CAAC;AAEH,gEAAgE;AAChE,MAAM,MAAM,sBAAsB,GAAG,iBAAiB,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAE9E,sEAAsE;AACtE,MAAM,MAAM,oBAAoB,GAAG,YAAY,CAAC"}

package/dist/client/component-registry/contracts.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=contracts.js.map

package/dist/client/component-registry/contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../../../src/component-registry/contracts.ts"],"names":[],"mappings":""}

package/dist/client/component-registry/creation.d.ts

@@ -0,0 +1,9 @@
+import type { ComponentRegistry, ComponentRegistryBuilder, ComponentRegistryDefinition } from './contracts.js';
+/**
+ * Creates a registry with compiler-derived identity.
+ *
+ * This is a generated-code primitive. Application source should call
+ * {@link createComponentRegistry}; authored names never become protocol operation IDs.
+ */
+export declare function createCompiledComponentRegistry<const Definition extends ComponentRegistryDefinition>(id: string, name: string, target: 'client' | 'server', define: (builder: ComponentRegistryBuilder) => Definition): ComponentRegistry<Definition>;
+//# sourceMappingURL=creation.d.ts.map

package/dist/client/component-registry/creation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"creation.d.ts","sourceRoot":"","sources":["../../../src/component-registry/creation.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EACX,iBAAiB,EACjB,wBAAwB,EACxB,2BAA2B,EAK3B,MAAM,gBAAgB,CAAC;AAYxB;;;;;GAKG;AACH,wBAAgB,+BAA+B,CAC9C,KAAK,CAAC,UAAU,SAAS,2BAA2B,EAEpD,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,QAAQ,GAAG,QAAQ,EAC3B,MAAM,EAAE,CAAC,OAAO,EAAE,wBAAwB,KAAK,UAAU,GACvD,iBAAiB,CAAC,UAAU,CAAC,CAM/B"}