@exactjs/core 0.5.0

package/dist/server/component-contract/contract-validation.js

@@ -0,0 +1,331 @@
+import { componentContractVersion } from '../component/contract-versions.js';
+import { hasConsistentStatelessServerExecution, isExactServerExecutionMetadata } from './server-execution-validation.js';
+import { isExactComponentBoundaryContract } from './boundary-validation.js';
+import { isExactContinuationDependency, isExactContinuationInvocation, isExactContinuationStatePath } from './continuation-validation.js';
+import { hasOnlyContractKeys, isContractRecord, isContractString, isSafeContractStringList } from './metadata-validation.js';
+import { allCompiledComponentABI } from '../component/compiled-abi.js';
+import { isExactValueSerializationSchema } from '../component-abi/value-serialization.js';
+/** Validates all required metadata before a generated artifact gains runtime authority. */
+export function isExactComponentContract(value, componentId) {
+    if (!isContractRecord(value))
+        return false;
+    return (hasOnlyContractKeys(value, [
+        'version',
+        'placement',
+        'role',
+        'implementations',
+        'continuations',
+        'executors',
+        'boundaries',
+        'resumption',
+        'execution',
+        'artifact'
+    ]) &&
+        value.version === componentContractVersion &&
+        (value.placement === 'client' ||
+            value.placement === 'server' ||
+            value.placement === 'isomorphic' ||
+            value.placement === 'unknown') &&
+        (value.role === 'client' || value.role === 'render' || value.role === 'executor') &&
+        Array.isArray(value.implementations) &&
+        value.implementations.every(isImplementation) &&
+        Array.isArray(value.continuations) &&
+        value.continuations.every((continuation) => isContinuation(continuation) && continuation.componentId === componentId) &&
+        Array.isArray(value.executors) &&
+        value.executors.every((executor) => isExecutor(executor) && executor.componentId === componentId) &&
+        Array.isArray(value.boundaries) &&
+        value.boundaries.every((boundary) => isExactComponentBoundaryContract(boundary) && boundary.ownerComponentId === componentId) &&
+        (value.resumption === undefined ||
+            (isResumption(value.resumption) && value.resumption.componentId === componentId)) &&
+        (value.execution === undefined || isExecution(value.execution)) &&
+        isExecutableArtifact(value.artifact, componentId, value.role) &&
+        hasConsistentServerPublication(value));
+}
+function hasConsistentServerPublication(value) {
+    if (!isContractRecord(value.artifact) || !isContractRecord(value.artifact.execution))
+        return true;
+    const resumable = value.resumption !== undefined &&
+        Array.isArray(value.continuations) &&
+        value.continuations.length !== 0;
+    return (value.artifact.execution.publication !== undefined) === resumable;
+}
+function isExecutableArtifact(value, componentId, role) {
+    if (!isContractRecord(value) || value.version !== 1 || value.id !== componentId)
+        return false;
+    if (!hasCommonArtifactFields(value))
+        return false;
+    if (value.target === 'client')
+        return role === 'client' && isClientArtifact(value);
+    if (value.target === 'server')
+        return (role === 'render' || role === 'executor') && isServerArtifact(value);
+    return false;
+}
+function hasCommonArtifactFields(value) {
+    return (typeof value.instantiate === 'function' &&
+        typeof value.construct === 'function' &&
+        typeof value.abi === 'number' &&
+        Number.isSafeInteger(value.abi) &&
+        value.abi >= 0 &&
+        (value.abi & ~allCompiledComponentABI) === 0 &&
+        isSafeContractStringList(value.state) &&
+        isSafeContractStringList(value.props) &&
+        (value.opaqueProps === undefined || isSafeContractStringList(value.opaqueProps)) &&
+        (value.identityProps === undefined || isSafeContractStringList(value.identityProps)) &&
+        (value.serialization === undefined || isExactValueSerializationSchema(value.serialization)) &&
+        (value.tasks === undefined || isSafeContractStringList(value.tasks)) &&
+        (value.reactive === undefined ||
+            (Array.isArray(value.reactive) && value.reactive.every(isReactiveAllocation))) &&
+        (value.render === undefined || value.render === 'returned-function') &&
+        Array.isArray(value.capabilities) &&
+        value.capabilities.every(isCapability));
+}
+function isClientArtifact(value) {
+    return (hasOnlyContractKeys(value, [
+        'version',
+        'target',
+        'id',
+        'template',
+        'construct',
+        'attach',
+        'receive',
+        'dispose',
+        'instantiate',
+        'abi',
+        'updates',
+        'state',
+        'props',
+        'serialization',
+        'opaqueProps',
+        'identityProps',
+        'tasks',
+        'reactive',
+        'render',
+        'capabilities'
+    ]) &&
+        (value.template === undefined || isContractRecord(value.template)) &&
+        typeof value.attach === 'function' &&
+        typeof value.receive === 'function' &&
+        typeof value.dispose === 'function' &&
+        (value.updates === undefined || isComponentUpdates(value.updates)));
+}
+function isServerArtifact(value) {
+    return (hasOnlyContractKeys(value, [
+        'version',
+        'target',
+        'id',
+        'issue',
+        'write',
+        'dispose',
+        'execute',
+        'instantiate',
+        'construct',
+        'abi',
+        'state',
+        'props',
+        'serialization',
+        'opaqueProps',
+        'tasks',
+        'reactive',
+        'render',
+        'capabilities',
+        'execution',
+        'selection'
+    ]) &&
+        typeof value.issue === 'function' &&
+        typeof value.write === 'function' &&
+        typeof value.dispose === 'function' &&
+        (value.execute === undefined || typeof value.execute === 'function') &&
+        (value.selection === undefined || isServerSelection(value.selection)) &&
+        isServerExecution(value.execution, value.selection !== undefined) &&
+        hasConsistentStatelessServerExecution(value));
+}
+/** Validates the finite registry resolver retained by a lazy server facade. */
+function isServerSelection(value) {
+    return (isContractRecord(value) &&
+        hasOnlyContractKeys(value, ['key', 'resolve']) &&
+        isContractString(value.key) &&
+        typeof value.resolve === 'function');
+}
+function isCapability(value) {
+    return (typeof value === 'string' &&
+        [
+            'tasks',
+            'continuations',
+            'resumption',
+            'inspection',
+            'registry',
+            'enhancements',
+            'interactions',
+            'compatibility',
+            'dynamic-components',
+            'collections',
+            'contexts',
+            'targets'
+        ].includes(value));
+}
+/** Validates the closed server projection without accepting executable data from foreign input. */
+function isServerExecution(value, selection = false) {
+    return isExactServerExecutionMetadata(value, selection);
+}
+function isComponentUpdates(value) {
+    if (!isContractRecord(value) ||
+        !hasOnlyContractKeys(value, ['bindings', 'props', 'words', 'apply']))
+        return false;
+    const words = value.words === undefined ? 2 : value.words;
+    return (typeof words === 'number' &&
+        Number.isSafeInteger(words) &&
+        words >= 2 &&
+        (value.words === undefined || words >= 3) &&
+        Array.isArray(value.bindings) &&
+        (value.props === undefined ||
+            (typeof value.props === 'number' &&
+                Number.isSafeInteger(value.props) &&
+                value.props > 0 &&
+                value.props <= value.bindings.length)) &&
+        value.bindings.every((binding) => Array.isArray(binding) &&
+            binding.length === words + 1 &&
+            Number.isSafeInteger(binding[0]) &&
+            binding[0] >= 0 &&
+            binding
+                .slice(1)
+                .every((mask) => Number.isSafeInteger(mask) && mask >= 0 && mask <= 0xffff_ffff)) &&
+        typeof value.apply === 'function');
+}
+function isImplementation(value) {
+    if (!isContractRecord(value))
+        return false;
+    return (hasOnlyContractKeys(value, ['id', 'name', 'role', 'implementation']) &&
+        isContractString(value.id) &&
+        isContractString(value.name) &&
+        (value.role === 'root' || value.role === 'client-island' || value.role === 'server-part') &&
+        typeof value.implementation === 'function');
+}
+function isContinuation(value) {
+    if (!isContractRecord(value))
+        return false;
+    return (hasOnlyContractKeys(value, [
+        'id',
+        'kind',
+        'componentId',
+        'readiness',
+        'concurrency',
+        'dependencies',
+        'stateReads',
+        'stateWrites',
+        'publicContexts',
+        'serverContexts',
+        'contextWrites',
+        'serverContextWrites',
+        'boundaries',
+        'invocation'
+    ]) &&
+        isContractString(value.id) &&
+        value.kind === 'task' &&
+        isContractString(value.componentId) &&
+        (value.readiness === 'blocking' || value.readiness === 'nonblocking') &&
+        (value.concurrency === undefined || isConcurrency(value.concurrency)) &&
+        Array.isArray(value.dependencies) &&
+        value.dependencies.every(isExactContinuationDependency) &&
+        Array.isArray(value.stateReads) &&
+        value.stateReads.every(isExactContinuationStatePath) &&
+        Array.isArray(value.stateWrites) &&
+        value.stateWrites.every(isExactContinuationStatePath) &&
+        isSafeContractStringList(value.publicContexts) &&
+        isSafeContractStringList(value.serverContexts) &&
+        isSafeContractStringList(value.contextWrites) &&
+        (value.serverContextWrites === undefined ||
+            isSafeContractStringList(value.serverContextWrites)) &&
+        isSafeContractStringList(value.boundaries) &&
+        (value.invocation === undefined || isExactContinuationInvocation(value.invocation)));
+}
+function isExecutor(value) {
+    return (isContractRecord(value) &&
+        hasOnlyContractKeys(value, ['id', 'componentId', 'execute']) &&
+        isContractString(value.id) &&
+        isContractString(value.componentId) &&
+        typeof value.execute === 'function');
+}
+function isResumption(value) {
+    return (isContractRecord(value) &&
+        hasOnlyContractKeys(value, [
+            'componentId',
+            'statePaths',
+            'stateInputs',
+            'stateDefaults',
+            'continuations',
+            'valueCaptures',
+            'contexts',
+            'boundaries'
+        ]) &&
+        isContractString(value.componentId) &&
+        isSafeContractStringList(value.statePaths) &&
+        Array.isArray(value.stateInputs) &&
+        value.stateInputs.every((input) => Array.isArray(input) &&
+            input.length === 2 &&
+            isContractString(input[0]) &&
+            isContractString(input[1])) &&
+        (value.continuations === undefined || isSafeContractStringList(value.continuations)) &&
+        (value.stateDefaults === undefined ||
+            (Array.isArray(value.stateDefaults) &&
+                value.stateDefaults.every((input) => Array.isArray(input) &&
+                    input.length === 2 &&
+                    isContractString(input[0]) &&
+                    (input[1] === null ||
+                        typeof input[1] === 'string' ||
+                        typeof input[1] === 'boolean' ||
+                        (typeof input[1] === 'number' && Number.isFinite(input[1])))))) &&
+        isSafeContractStringList(value.valueCaptures) &&
+        isSafeContractStringList(value.contexts) &&
+        isSafeContractStringList(value.boundaries));
+}
+function isExecution(value) {
+    if (!isContractRecord(value) || !Array.isArray(value.ports))
+        return false;
+    const ports = value.ports;
+    return (hasOnlyContractKeys(value, ['version', 'ports', 'transitions', 'reactive']) &&
+        value.version === 1 &&
+        ports.every(isExecutionPort) &&
+        Array.isArray(value.transitions) &&
+        value.transitions.every((transition) => isExecutionTransition(transition, ports.length)) &&
+        (value.reactive === undefined ||
+            (Array.isArray(value.reactive) && value.reactive.every(isReactiveAllocation))));
+}
+function isExecutionPort(value) {
+    return (Array.isArray(value) &&
+        value.length === 3 &&
+        typeof value[0] === 'string' &&
+        ['state', 'props', 'context', 'derived', 'argument'].includes(value[0]) &&
+        isContractString(value[1]) &&
+        typeof value[2] === 'string' &&
+        ['input', 'output', 'inout'].includes(value[2]));
+}
+function isExecutionTransition(value, portCount) {
+    return (Array.isArray(value) &&
+        value.length === 8 &&
+        isContractString(value[0]) &&
+        isContractString(value[1]) &&
+        (value[2] === 'setup' || value[2] === 'interaction') &&
+        (value[3] === 'client' || value[3] === 'server' || value[3] === 'isomorphic') &&
+        (value[4] === 'blocking' || value[4] === 'nonblocking') &&
+        isConcurrency(value[5]) &&
+        isPortIndexList(value[6], portCount) &&
+        isPortIndexList(value[7], portCount));
+}
+function isReactiveAllocation(value) {
+    return (isContractRecord(value) &&
+        hasOnlyContractKeys(value, ['name', 'provenance', 'allocation', 'dependencies']) &&
+        isContractString(value.name) &&
+        typeof value.provenance === 'string' &&
+        ['state', 'props', 'context', 'derived', 'cell', 'snapshot', 'unknown'].includes(value.provenance) &&
+        typeof value.allocation === 'string' &&
+        ['constant', 'live-slot', 'inline', 'computed', 'snapshot', 'structural'].includes(value.allocation) &&
+        isSafeContractStringList(value.dependencies));
+}
+function isConcurrency(value) {
+    return value === 'parallel' || value === 'latest' || value === 'queue';
+}
+function isPortIndexList(value, portCount) {
+    return (Array.isArray(value) &&
+        value.every((index) => Number.isSafeInteger(index) && index >= 0 && index < portCount));
+}
+//# sourceMappingURL=contract-validation.js.map

package/dist/server/component-contract/contract-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-validation.js","sourceRoot":"","sources":["../../../src/component-contract/contract-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAQ7E,OAAO,EACN,qCAAqC,EACrC,8BAA8B,EAC9B,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,gCAAgC,EAAE,MAAM,0BAA0B,CAAC;AAC5E,OAAO,EACN,6BAA6B,EAC7B,6BAA6B,EAC7B,4BAA4B,EAC5B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACN,mBAAmB,EACnB,gBAAgB,EAChB,gBAAgB,EAChB,wBAAwB,EACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,+BAA+B,EAAE,MAAM,yCAAyC,CAAC;AAE1F,2FAA2F;AAC3F,MAAM,UAAU,wBAAwB,CACvC,KAAc,EACd,WAAmB;IAEnB,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3C,OAAO,CACN,mBAAmB,CAAC,KAAK,EAAE;QAC1B,SAAS;QACT,WAAW;QACX,MAAM;QACN,iBAAiB;QACjB,eAAe;QACf,WAAW;QACX,YAAY;QACZ,YAAY;QACZ,WAAW;QACX,UAAU;KACV,CAAC;QACF,KAAK,CAAC,OAAO,KAAK,wBAAwB;QAC1C,CAAC,KAAK,CAAC,SAAS,KAAK,QAAQ;YAC5B,KAAK,CAAC,SAAS,KAAK,QAAQ;YAC5B,KAAK,CAAC,SAAS,KAAK,YAAY;YAChC,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC;QAC/B,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC;QACjF,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC;QACpC,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,gBAAgB,CAAC;QAC7C,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC;QAClC,KAAK,CAAC,aAAa,CAAC,KAAK,CACxB,CAAC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC,WAAW,KAAK,WAAW,CAC1F;QACD,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC;QAC9B,KAAK,CAAC,SAAS,CAAC,KAAK,CACpB,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,WAAW,KAAK,WAAW,CAC1E;QACD,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC;QAC/B,KAAK,CAAC,UAAU,CAAC,KAAK,CACrB,CAAC,QAAQ,EAAE,EAAE,CACZ,gCAAgC,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,gBAAgB,KAAK,WAAW,CACxF;QACD,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS;YAC9B,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC;QAClF,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,WAAW,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC/D,oBAAoB,CAAC,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC;QAC7D,8BAA8B,CAAC,KAAK,CAAC,CACrC,CAAC;AACH,CAAC;AAED,SAAS,8BAA8B,CAAC,KAAmC;IAC1E,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAClG,MAAM,SAAS,GACd,KAAK,CAAC,UAAU,KAAK,SAAS;QAC9B,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC;QAClC,KAAK,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC;IAClC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,WAAW,KAAK,SAAS,CAAC,KAAK,SAAS,CAAC;AAC3E,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc,EAAE,WAAmB,EAAE,IAAa;IAC/E,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC;IAC9F,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAClD,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,IAAI,KAAK,QAAQ,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACnF,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ;QAC5B,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,UAAU,CAAC,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAC9E,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAmC;IACnE,OAAO,CACN,OAAO,KAAK,CAAC,WAAW,KAAK,UAAU;QACvC,OAAO,KAAK,CAAC,SAAS,KAAK,UAAU;QACrC,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ;QAC7B,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC;QAC/B,KAAK,CAAC,GAAG,IAAI,CAAC;QACd,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,uBAAuB,CAAC,KAAK,CAAC;QAC5C,wBAAwB,CAAC,KAAK,CAAC,KAAK,CAAC;QACrC,wBAAwB,CAAC,KAAK,CAAC,KAAK,CAAC;QACrC,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,wBAAwB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAChF,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS,IAAI,wBAAwB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QACpF,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS,IAAI,+BAA+B,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAC3F,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,wBAAwB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpE,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS;YAC5B,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC;QAC/E,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,mBAAmB,CAAC;QACpE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC;QACjC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC,CACtC,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAmC;IAC5D,OAAO,CACN,mBAAmB,CAAC,KAAK,EAAE;QAC1B,SAAS;QACT,QAAQ;QACR,IAAI;QACJ,UAAU;QACV,WAAW;QACX,QAAQ;QACR,SAAS;QACT,SAAS;QACT,aAAa;QACb,KAAK;QACL,SAAS;QACT,OAAO;QACP,OAAO;QACP,eAAe;QACf,aAAa;QACb,eAAe;QACf,OAAO;QACP,UAAU;QACV,QAAQ;QACR,cAAc;KACd,CAAC;QACF,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAClE,OAAO,KAAK,CAAC,MAAM,KAAK,UAAU;QAClC,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU;QACnC,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU;QACnC,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAClE,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAmC;IAC5D,OAAO,CACN,mBAAmB,CAAC,KAAK,EAAE;QAC1B,SAAS;QACT,QAAQ;QACR,IAAI;QACJ,OAAO;QACP,OAAO;QACP,SAAS;QACT,SAAS;QACT,aAAa;QACb,WAAW;QACX,KAAK;QACL,OAAO;QACP,OAAO;QACP,eAAe;QACf,aAAa;QACb,OAAO;QACP,UAAU;QACV,QAAQ;QACR,cAAc;QACd,WAAW;QACX,WAAW;KACX,CAAC;QACF,OAAO,KAAK,CAAC,KAAK,KAAK,UAAU;QACjC,OAAO,KAAK,CAAC,KAAK,KAAK,UAAU;QACjC,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU;QACnC,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU,CAAC;QACpE,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,iBAAiB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACrE,iBAAiB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC;QACjE,qCAAqC,CAAC,KAAK,CAAC,CAC5C,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,SAAS,iBAAiB,CAAC,KAAc;IACxC,OAAO,CACN,gBAAgB,CAAC,KAAK,CAAC;QACvB,mBAAmB,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC9C,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC;QAC3B,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU,CACnC,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IACnC,OAAO,CACN,OAAO,KAAK,KAAK,QAAQ;QACzB;YACC,OAAO;YACP,eAAe;YACf,YAAY;YACZ,YAAY;YACZ,UAAU;YACV,cAAc;YACd,cAAc;YACd,eAAe;YACf,oBAAoB;YACpB,aAAa;YACb,UAAU;YACV,SAAS;SACT,CAAC,QAAQ,CAAC,KAAK,CAAC,CACjB,CAAC;AACH,CAAC;AAED,mGAAmG;AACnG,SAAS,iBAAiB,CAAC,KAAc,EAAE,SAAS,GAAG,KAAK;IAC3D,OAAO,8BAA8B,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACzC,IACC,CAAC,gBAAgB,CAAC,KAAK,CAAC;QACxB,CAAC,mBAAmB,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAEpE,OAAO,KAAK,CAAC;IACd,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;IAC1D,OAAO,CACN,OAAO,KAAK,KAAK,QAAQ;QACzB,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;QAC3B,KAAK,IAAI,CAAC;QACV,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,IAAI,CAAC,CAAC;QACzC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC7B,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS;YACzB,CAAC,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;gBAC/B,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC;gBACjC,KAAK,CAAC,KAAK,GAAG,CAAC;gBACf,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACxC,KAAK,CAAC,QAAQ,CAAC,KAAK,CACnB,CAAC,OAAO,EAAE,EAAE,CACX,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YACtB,OAAO,CAAC,MAAM,KAAK,KAAK,GAAG,CAAC;YAC5B,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAChC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;YACf,OAAO;iBACL,KAAK,CAAC,CAAC,CAAC;iBACR,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,WAAW,CAAC,CAClF;QACD,OAAO,KAAK,CAAC,KAAK,KAAK,UAAU,CACjC,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACvC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3C,OAAO,CACN,mBAAmB,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC;QACpE,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC;QAC5B,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC;QACzF,OAAO,KAAK,CAAC,cAAc,KAAK,UAAU,CAC1C,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACrC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3C,OAAO,CACN,mBAAmB,CAAC,KAAK,EAAE;QAC1B,IAAI;QACJ,MAAM;QACN,aAAa;QACb,WAAW;QACX,aAAa;QACb,cAAc;QACd,YAAY;QACZ,aAAa;QACb,gBAAgB;QAChB,gBAAgB;QAChB,eAAe;QACf,qBAAqB;QACrB,YAAY;QACZ,YAAY;KACZ,CAAC;QACF,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,KAAK,MAAM;QACrB,gBAAgB,CAAC,KAAK,CAAC,WAAW,CAAC;QACnC,CAAC,KAAK,CAAC,SAAS,KAAK,UAAU,IAAI,KAAK,CAAC,SAAS,KAAK,aAAa,CAAC;QACrE,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACrE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC;QACjC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,6BAA6B,CAAC;QACvD,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC;QAC/B,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,4BAA4B,CAAC;QACpD,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC;QAChC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,4BAA4B,CAAC;QACrD,wBAAwB,CAAC,KAAK,CAAC,cAAc,CAAC;QAC9C,wBAAwB,CAAC,KAAK,CAAC,cAAc,CAAC;QAC9C,wBAAwB,CAAC,KAAK,CAAC,aAAa,CAAC;QAC7C,CAAC,KAAK,CAAC,mBAAmB,KAAK,SAAS;YACvC,wBAAwB,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QACrD,wBAAwB,CAAC,KAAK,CAAC,UAAU,CAAC;QAC1C,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,6BAA6B,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CACnF,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IACjC,OAAO,CACN,gBAAgB,CAAC,KAAK,CAAC;QACvB,mBAAmB,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC;QAC5D,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,gBAAgB,CAAC,KAAK,CAAC,WAAW,CAAC;QACnC,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU,CACnC,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IACnC,OAAO,CACN,gBAAgB,CAAC,KAAK,CAAC;QACvB,mBAAmB,CAAC,KAAK,EAAE;YAC1B,aAAa;YACb,YAAY;YACZ,aAAa;YACb,eAAe;YACf,eAAe;YACf,eAAe;YACf,UAAU;YACV,YAAY;SACZ,CAAC;QACF,gBAAgB,CAAC,KAAK,CAAC,WAAW,CAAC;QACnC,wBAAwB,CAAC,KAAK,CAAC,UAAU,CAAC;QAC1C,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC;QAChC,KAAK,CAAC,WAAW,CAAC,KAAK,CACtB,CAAC,KAAK,EAAE,EAAE,CACT,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YACpB,KAAK,CAAC,MAAM,KAAK,CAAC;YAClB,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC1B,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAC3B;QACD,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS,IAAI,wBAAwB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QACpF,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS;YACjC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC;gBAClC,KAAK,CAAC,aAAa,CAAC,KAAK,CACxB,CAAC,KAAK,EAAE,EAAE,CACT,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;oBACpB,KAAK,CAAC,MAAM,KAAK,CAAC;oBAClB,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBAC1B,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI;wBACjB,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ;wBAC5B,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS;wBAC7B,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC9D,CAAC,CAAC;QACL,wBAAwB,CAAC,KAAK,CAAC,aAAa,CAAC;QAC7C,wBAAwB,CAAC,KAAK,CAAC,QAAQ,CAAC;QACxC,wBAAwB,CAAC,KAAK,CAAC,UAAU,CAAC,CAC1C,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IAClC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1E,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,OAAO,CACN,mBAAmB,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;QAC3E,KAAK,CAAC,OAAO,KAAK,CAAC;QACnB,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC;QAC5B,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC;QAChC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,qBAAqB,CAAC,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACxF,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS;YAC5B,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAC/E,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACtC,OAAO,CACN,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACpB,KAAK,CAAC,MAAM,KAAK,CAAC;QAClB,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ;QAC5B,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACvE,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC1B,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ;QAC5B,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAC/C,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAc,EAAE,SAAiB;IAC/D,OAAO,CACN,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACpB,KAAK,CAAC,MAAM,KAAK,CAAC;QAClB,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC1B,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC1B,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,aAAa,CAAC;QACpD,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,YAAY,CAAC;QAC7E,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,UAAU,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,aAAa,CAAC;QACvD,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC;QACpC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CACpC,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC3C,OAAO,CACN,gBAAgB,CAAC,KAAK,CAAC;QACvB,mBAAmB,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC;QAChF,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC;QAC5B,OAAO,KAAK,CAAC,UAAU,KAAK,QAAQ;QACpC,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,QAAQ,CAC/E,KAAK,CAAC,UAAU,CAChB;QACD,OAAO,KAAK,CAAC,UAAU,KAAK,QAAQ;QACpC,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC,QAAQ,CACjF,KAAK,CAAC,UAAU,CAChB;QACD,wBAAwB,CAAC,KAAK,CAAC,YAAY,CAAC,CAC5C,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACpC,OAAO,KAAK,KAAK,UAAU,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,OAAO,CAAC;AACxE,CAAC;AAED,SAAS,eAAe,CAAC,KAAc,EAAE,SAAiB;IACzD,OAAO,CACN,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACpB,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,GAAG,SAAS,CAAC,CACtF,CAAC;AACH,CAAC"}

package/dist/server/component-contract/metadata-validation.d.ts

@@ -0,0 +1,9 @@
+/** Validates non-empty generated names without prototype-bearing dictionary keys. */
+export declare function isSafeContractStringList(value: unknown): value is string[];
+/** Narrows generated metadata to a non-array record. */
+export declare function isContractRecord(value: unknown): value is Record<string, unknown>;
+/** Requires a stable generated contract name to be non-empty. */
+export declare function isContractString(value: unknown): value is string;
+/** Rejects unexpected fields in versioned generated metadata. */
+export declare function hasOnlyContractKeys(value: Record<string, unknown>, allowed: readonly string[]): boolean;
+//# sourceMappingURL=metadata-validation.d.ts.map

package/dist/server/component-contract/metadata-validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"metadata-validation.d.ts","sourceRoot":"","sources":["../../../src/component-contract/metadata-validation.ts"],"names":[],"mappings":"AAAA,qFAAqF;AACrF,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,EAAE,CAW1E;AAED,wDAAwD;AACxD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAEjF;AAED,iEAAiE;AACjE,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAEhE;AAED,iEAAiE;AACjE,wBAAgB,mBAAmB,CAClC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,OAAO,EAAE,SAAS,MAAM,EAAE,GACxB,OAAO,CAET"}

package/dist/server/component-contract/metadata-validation.js

@@ -0,0 +1,21 @@
+/** Validates non-empty generated names without prototype-bearing dictionary keys. */
+export function isSafeContractStringList(value) {
+    return (Array.isArray(value) &&
+        value.every((item) => isContractString(item) &&
+            item !== '__proto__' &&
+            item !== 'prototype' &&
+            item !== 'constructor'));
+}
+/** Narrows generated metadata to a non-array record. */
+export function isContractRecord(value) {
+    return !!value && typeof value === 'object' && !Array.isArray(value);
+}
+/** Requires a stable generated contract name to be non-empty. */
+export function isContractString(value) {
+    return typeof value === 'string' && value.length > 0;
+}
+/** Rejects unexpected fields in versioned generated metadata. */
+export function hasOnlyContractKeys(value, allowed) {
+    return Object.keys(value).every((key) => allowed.includes(key));
+}
+//# sourceMappingURL=metadata-validation.js.map

package/dist/server/component-contract/metadata-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"metadata-validation.js","sourceRoot":"","sources":["../../../src/component-contract/metadata-validation.ts"],"names":[],"mappings":"AAAA,qFAAqF;AACrF,MAAM,UAAU,wBAAwB,CAAC,KAAc;IACtD,OAAO,CACN,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACpB,KAAK,CAAC,KAAK,CACV,CAAC,IAAI,EAAE,EAAE,CACR,gBAAgB,CAAC,IAAI,CAAC;YACtB,IAAI,KAAK,WAAW;YACpB,IAAI,KAAK,WAAW;YACpB,IAAI,KAAK,aAAa,CACvB,CACD,CAAC;AACH,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC9C,OAAO,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACtE,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC9C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;AACtD,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,mBAAmB,CAClC,KAA8B,EAC9B,OAA0B;IAE1B,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;AACjE,CAAC"}

package/dist/server/component-contract/server-execution-validation.d.ts

@@ -0,0 +1,5 @@
+/** Validates target-local server execution metadata without evaluating attached functions. */
+export declare function isExactServerExecutionMetadata(value: unknown, selection?: boolean): boolean;
+/** Ensures a stateless executor cannot smuggle request-owned component surfaces into its artifact. */
+export declare function hasConsistentStatelessServerExecution(value: Record<PropertyKey, unknown>): boolean;
+//# sourceMappingURL=server-execution-validation.d.ts.map

package/dist/server/component-contract/server-execution-validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"server-execution-validation.d.ts","sourceRoot":"","sources":["../../../src/component-contract/server-execution-validation.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,wBAAgB,8BAA8B,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,UAAQ,GAAG,OAAO,CA2CzF;AAED,sGAAsG;AACtG,wBAAgB,qCAAqC,CACpD,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,GACjC,OAAO,CAWT"}

package/dist/server/component-contract/server-execution-validation.js

@@ -0,0 +1,80 @@
+/** Validates target-local server execution metadata without evaluating attached functions. */
+export function isExactServerExecutionMetadata(value, selection = false) {
+    if (!record(value))
+        return false;
+    const allowed = new Set([
+        'version',
+        'classification',
+        'lane',
+        'documentRoot',
+        'streamingDocument',
+        'deferredTaskProps',
+        'render',
+        'mode',
+        'frame',
+        'lifecycle',
+        'publication'
+    ]);
+    if (Object.keys(value).some((key) => !allowed.has(key)))
+        return false;
+    const lane = value.lane;
+    const direct = lane === 'direct';
+    return (value.version === 1 &&
+        (value.classification === 'synchronous' ||
+            value.classification === 'scheduled' ||
+            value.classification === 'dynamic') &&
+        (direct || lane === 'generic' || lane === 'compatibility') &&
+        (value.documentRoot === undefined || (value.documentRoot === true && direct && !selection)) &&
+        (value.streamingDocument === undefined ||
+            (value.streamingDocument === true &&
+                value.documentRoot === true &&
+                value.classification === 'scheduled')) &&
+        (value.deferredTaskProps === undefined || stringList(value.deferredTaskProps)) &&
+        (value.mode === undefined ||
+            ((value.mode === 'direct' || value.mode === 'stateless') &&
+                direct &&
+                value.classification === 'synchronous' &&
+                !selection)) &&
+        (value.frame === undefined || (direct && typeof value.frame === 'function')) &&
+        (value.lifecycle === undefined || validLifecycle(value.lifecycle, direct)) &&
+        (value.publication === undefined || validPublication(value.publication)) &&
+        (direct
+            ? value.classification !== 'dynamic' &&
+                (selection ? value.render === undefined : typeof value.render === 'function')
+            : value.render === undefined));
+}
+/** Ensures a stateless executor cannot smuggle request-owned component surfaces into its artifact. */
+export function hasConsistentStatelessServerExecution(value) {
+    if (!record(value.execution) || value.execution.mode !== 'stateless')
+        return true;
+    return (Array.isArray(value.state) &&
+        value.state.length === 0 &&
+        Array.isArray(value.capabilities) &&
+        value.capabilities.every((capability) => capability === 'registry') &&
+        value.execution.frame === undefined &&
+        value.execution.lifecycle === undefined &&
+        value.execution.publication === undefined);
+}
+function validLifecycle(value, direct) {
+    return (direct &&
+        record(value) &&
+        Object.keys(value).every((key) => key === 'rendered' || key === 'dispose') &&
+        typeof value.rendered === 'function' &&
+        typeof value.dispose === 'function');
+}
+function validPublication(value) {
+    return (record(value) &&
+        Object.keys(value).every((key) => key === 'kind' || key === 'name') &&
+        value.kind === 'resumption' &&
+        typeof value.name === 'string' &&
+        value.name.length > 0 &&
+        !value.name.includes('\0'));
+}
+function stringList(value) {
+    return (Array.isArray(value) &&
+        value.every((entry) => typeof entry === 'string' && !entry.includes('\0')));
+}
+function record(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+//# sourceMappingURL=server-execution-validation.js.map

package/dist/server/component-contract/server-execution-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"server-execution-validation.js","sourceRoot":"","sources":["../../../src/component-contract/server-execution-validation.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,MAAM,UAAU,8BAA8B,CAAC,KAAc,EAAE,SAAS,GAAG,KAAK;IAC/E,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACjC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC;QACvB,SAAS;QACT,gBAAgB;QAChB,MAAM;QACN,cAAc;QACd,mBAAmB;QACnB,mBAAmB;QACnB,QAAQ;QACR,MAAM;QACN,OAAO;QACP,WAAW;QACX,aAAa;KACb,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACtE,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,MAAM,MAAM,GAAG,IAAI,KAAK,QAAQ,CAAC;IACjC,OAAO,CACN,KAAK,CAAC,OAAO,KAAK,CAAC;QACnB,CAAC,KAAK,CAAC,cAAc,KAAK,aAAa;YACtC,KAAK,CAAC,cAAc,KAAK,WAAW;YACpC,KAAK,CAAC,cAAc,KAAK,SAAS,CAAC;QACpC,CAAC,MAAM,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,eAAe,CAAC;QAC1D,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,YAAY,KAAK,IAAI,IAAI,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3F,CAAC,KAAK,CAAC,iBAAiB,KAAK,SAAS;YACrC,CAAC,KAAK,CAAC,iBAAiB,KAAK,IAAI;gBAChC,KAAK,CAAC,YAAY,KAAK,IAAI;gBAC3B,KAAK,CAAC,cAAc,KAAK,WAAW,CAAC,CAAC;QACxC,CAAC,KAAK,CAAC,iBAAiB,KAAK,SAAS,IAAI,UAAU,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QAC9E,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YACxB,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC;gBACvD,MAAM;gBACN,KAAK,CAAC,cAAc,KAAK,aAAa;gBACtC,CAAC,SAAS,CAAC,CAAC;QACd,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,MAAM,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC;QAC5E,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,cAAc,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAC1E,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,gBAAgB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACxE,CAAC,MAAM;YACN,CAAC,CAAC,KAAK,CAAC,cAAc,KAAK,SAAS;gBACnC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC;YAC9E,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAC9B,CAAC;AACH,CAAC;AAED,sGAAsG;AACtG,MAAM,UAAU,qCAAqC,CACpD,KAAmC;IAEnC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAClF,OAAO,CACN,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;QAC1B,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QACxB,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC;QACjC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,KAAK,UAAU,CAAC;QACnE,KAAK,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS;QACnC,KAAK,CAAC,SAAS,CAAC,SAAS,KAAK,SAAS;QACvC,KAAK,CAAC,SAAS,CAAC,WAAW,KAAK,SAAS,CACzC,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,MAAe;IACtD,OAAO,CACN,MAAM;QACN,MAAM,CAAC,KAAK,CAAC;QACb,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,UAAU,IAAI,GAAG,KAAK,SAAS,CAAC;QAC1E,OAAO,KAAK,CAAC,QAAQ,KAAK,UAAU;QACpC,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU,CACnC,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACvC,OAAO,CACN,MAAM,CAAC,KAAK,CAAC;QACb,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,MAAM,CAAC;QACnE,KAAK,CAAC,IAAI,KAAK,YAAY;QAC3B,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC9B,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QACrB,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAC1B,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IACjC,OAAO,CACN,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACpB,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAC1E,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC7B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC7E,CAAC"}