@clowder-ai/plugin-contract 0.1.0-beta.7 → 0.1.0-beta.9

package/dist/validation/manifest.js.map

@@ -1 +1 @@
-{"version":3,"file":"manifest.js","sourceRoot":"","sources":["../../src/validation/manifest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAI5C,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/C,MAAM,OAAO,GAGO,OAAO,CAAC,eAAe,CAAC,CAAC;AAC7C,MAAM,UAAU,GAA+B,OAAO,CAAC,aAAa,CAAC,CAAC;AACtE,MAAM,cAAc,GAAG,OAAO,CAAC,8CAA8C,CAG5E,CAAC;AAoCF,MAAM,GAAG,GAAG,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;AAC5D,UAAU,CAAC,GAAG,CAAC,CAAC;AAChB,MAAM,cAAc,GAAG,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;AAEnD;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC7C,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,KAAuB;YACjC,MAAM,EAAE,EAAE;SACX,CAAC;IACJ,CAAC;IAED,OAAO;QACL,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,CAAC,cAAc,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACpD,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,4BAA4B;SACvD,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"manifest.js","sourceRoot":"","sources":["../../src/validation/manifest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAI5C,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/C,MAAM,OAAO,GAGO,OAAO,CAAC,eAAe,CAAC,CAAC;AAC7C,MAAM,UAAU,GAA+B,OAAO,CAAC,aAAa,CAAC,CAAC;AACtE,MAAM,cAAc,GAAG,OAAO,CAAC,8CAA8C,CAG5E,CAAC;AACF,MAAM,YAAY,GAAG,OAAO,CAAC,6CAA6C,CAGzE,CAAC;AAqCF,MAAM,GAAG,GAAG,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;AAC5D,UAAU,CAAC,GAAG,CAAC,CAAC;AAChB,GAAG,CAAC,SAAS,CAAC,YAAY,EAAE,YAAY,CAAC,KAAK,CAAW,CAAC,CAAC;AAC3D,MAAM,cAAc,GAAG,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;AAEnD;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC7C,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,KAAuB,CAAC;QACzC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;QACxC,KAAK,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;YAChF,IAAI,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,OAAO;oBACL,KAAK,EAAE,KAAK;oBACZ,MAAM,EAAE;wBACN;4BACE,YAAY,EAAE,qBAAqB,KAAK,OAAO;4BAC/C,UAAU,EAAE,8CAA8C;4BAC1D,OAAO,EAAE,mBAAmB;4BAC5B,OAAO,EAAE,wDAAwD;yBAClE;qBACF;iBACF,CAAC;YACJ,CAAC;YACD,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC;QACD,OAAO;YACL,KAAK,EAAE,IAAI;YACX,QAAQ;YACR,MAAM,EAAE,EAAE;SACX,CAAC;IACJ,CAAC;IAED,OAAO;QACL,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,CAAC,cAAc,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACpD,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,4BAA4B;SACvD,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC"}

package/dist/validation/signals.d.ts

@@ -0,0 +1,26 @@
+import type { EventsPublishInput, EventsPublishResult, SignalDeclaration } from '../generated/contract.generated.js';
+export interface SignalValidationError {
+    readonly instancePath: string;
+    readonly schemaPath: string;
+    readonly keyword: string;
+    readonly message: string;
+}
+export type SignalValidationResult<Value> = {
+    readonly valid: true;
+    readonly value: Value;
+    readonly errors: readonly [];
+} | {
+    readonly valid: false;
+    readonly errors: readonly SignalValidationError[];
+};
+export declare const SIGNAL_PAYLOAD_MAX_ENCODED_BYTES: 65536;
+export type SignalSchemaCatalog = Readonly<Record<string, Readonly<Record<string, unknown>>>>;
+export declare function validateSignalDeclaration(value: unknown): SignalValidationResult<SignalDeclaration>;
+export declare function validateEventsPublishInput(value: unknown): SignalValidationResult<EventsPublishInput>;
+/**
+ * Cross-document admission: a structurally legal publish is still forbidden
+ * unless its signalType appears in this plugin manifest's declared provides.
+ */
+export declare function validateDeclaredEventsPublishInput(declarations: readonly unknown[], signalSchemas: SignalSchemaCatalog, value: unknown): SignalValidationResult<EventsPublishInput>;
+export declare function validateEventsPublishResult(value: unknown): SignalValidationResult<EventsPublishResult>;
+//# sourceMappingURL=signals.d.ts.map

package/dist/validation/signals.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"signals.d.ts","sourceRoot":"","sources":["../../src/validation/signals.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,EAClB,MAAM,oCAAoC,CAAC;AA+B5C,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,MAAM,sBAAsB,CAAC,KAAK,IACpC;IAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,CAAA;CAAE,GAC7E;IAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,qBAAqB,EAAE,CAAA;CAAE,CAAC;AAEjF,eAAO,MAAM,gCAAgC,EAAG,KAAe,CAAC;AAEhE,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CACxC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAClD,CAAC;AAyDF,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,OAAO,GACb,sBAAsB,CAAC,iBAAiB,CAAC,CAE3C;AAED,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,OAAO,GACb,sBAAsB,CAAC,kBAAkB,CAAC,CAuD5C;AAED;;;GAGG;AACH,wBAAgB,kCAAkC,CAChD,YAAY,EAAE,SAAS,OAAO,EAAE,EAChC,aAAa,EAAE,mBAAmB,EAClC,KAAK,EAAE,OAAO,GACb,sBAAsB,CAAC,kBAAkB,CAAC,CA4F5C;AAED,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,OAAO,GACb,sBAAsB,CAAC,mBAAmB,CAAC,CAE7C"}

package/dist/validation/signals.js

@@ -0,0 +1,206 @@
+import { createRequire } from 'node:module';
+const require = createRequire(import.meta.url);
+const Ajv2020 = require('ajv/dist/2020');
+const addFormats = require('ajv-formats');
+const signalSchema = require('@clowder-ai/plugin-contract/schemas/signals');
+export const SIGNAL_PAYLOAD_MAX_ENCODED_BYTES = 65_536;
+const ajv = new Ajv2020({ allErrors: true, strict: false });
+addFormats(ajv);
+ajv.addSchema(signalSchema, signalSchema['$id']);
+function validator(definition) {
+    const validate = ajv.getSchema(`${String(signalSchema['$id'])}#/$defs/${definition}`);
+    if (!validate)
+        throw new Error(`missing signal schema definition: ${definition}`);
+    return validate;
+}
+const validateDeclarationSchema = validator('SignalDeclaration');
+const validatePublishInputSchema = validator('EventsPublishInput');
+const validatePublishResultSchema = validator('EventsPublishResult');
+const resolvedSchemaValidators = new WeakMap();
+function errorsOf(validate) {
+    return (validate.errors ?? []).map((error) => ({
+        instancePath: error.instancePath,
+        schemaPath: error.schemaPath,
+        keyword: error.keyword,
+        message: error.message ?? 'signal validation failed',
+    }));
+}
+function validateWith(validate, value) {
+    if (!validate(value))
+        return { valid: false, errors: errorsOf(validate) };
+    return { valid: true, value: value, errors: [] };
+}
+function isJsonValue(value, ancestors = new Set()) {
+    if (value === null ||
+        typeof value === 'string' ||
+        typeof value === 'boolean') {
+        return true;
+    }
+    if (typeof value === 'number')
+        return Number.isFinite(value);
+    if (typeof value !== 'object')
+        return false;
+    if (ancestors.has(value))
+        return false;
+    ancestors.add(value);
+    const valid = Array.isArray(value)
+        ? value.every((item) => isJsonValue(item, ancestors))
+        : Object.values(value).every((item) => isJsonValue(item, ancestors));
+    ancestors.delete(value);
+    return valid;
+}
+export function validateSignalDeclaration(value) {
+    return validateWith(validateDeclarationSchema, value);
+}
+export function validateEventsPublishInput(value) {
+    const structural = validateWith(validatePublishInputSchema, value);
+    if (!structural.valid)
+        return structural;
+    let validJsonValue = false;
+    try {
+        validJsonValue = isJsonValue(structural.value.payload);
+    }
+    catch {
+        validJsonValue = false;
+    }
+    if (!validJsonValue) {
+        return {
+            valid: false,
+            errors: [
+                {
+                    instancePath: '/payload',
+                    schemaPath: '#/$defs/EventsPublishInput/properties/payload',
+                    keyword: 'jsonValue',
+                    message: 'payload must contain only finite JSON values without cycles',
+                },
+            ],
+        };
+    }
+    let encodedPayloadBytes;
+    try {
+        encodedPayloadBytes = Buffer.byteLength(JSON.stringify(structural.value.payload), 'utf8');
+    }
+    catch {
+        return {
+            valid: false,
+            errors: [
+                {
+                    instancePath: '/payload',
+                    schemaPath: '#/$defs/EventsPublishInput/properties/payload',
+                    keyword: 'jsonValue',
+                    message: 'payload could not be safely serialized as JSON',
+                },
+            ],
+        };
+    }
+    if (encodedPayloadBytes > SIGNAL_PAYLOAD_MAX_ENCODED_BYTES) {
+        return {
+            valid: false,
+            errors: [
+                {
+                    instancePath: '/payload',
+                    schemaPath: '#/x-clowder-payload-max-encoded-bytes',
+                    keyword: 'maxEncodedBytes',
+                    message: `payload exceeds ${SIGNAL_PAYLOAD_MAX_ENCODED_BYTES} encoded bytes`,
+                },
+            ],
+        };
+    }
+    return structural;
+}
+/**
+ * Cross-document admission: a structurally legal publish is still forbidden
+ * unless its signalType appears in this plugin manifest's declared provides.
+ */
+export function validateDeclaredEventsPublishInput(declarations, signalSchemas, value) {
+    const input = validateEventsPublishInput(value);
+    if (!input.valid)
+        return input;
+    let matchingDeclaration;
+    for (const candidate of declarations) {
+        const declaration = validateSignalDeclaration(candidate);
+        if (!declaration.valid) {
+            return {
+                valid: false,
+                errors: [
+                    {
+                        instancePath: '/signals/provides',
+                        schemaPath: '#/$defs/SignalContribution/properties/provides',
+                        keyword: 'signalDeclaration',
+                        message: 'declared signal metadata is invalid',
+                    },
+                ],
+            };
+        }
+        if (declaration.value.type === input.value.signalType) {
+            matchingDeclaration = declaration.value;
+        }
+    }
+    if (matchingDeclaration === undefined) {
+        return {
+            valid: false,
+            errors: [
+                {
+                    instancePath: '/signalType',
+                    schemaPath: '#/$defs/SignalContribution/properties/provides',
+                    keyword: 'declaredSignalType',
+                    message: 'signalType is not declared by the plugin manifest',
+                },
+            ],
+        };
+    }
+    const resolvedSchema = signalSchemas[matchingDeclaration.schemaRef];
+    if (typeof resolvedSchema !== 'object' ||
+        resolvedSchema === null ||
+        Array.isArray(resolvedSchema)) {
+        return {
+            valid: false,
+            errors: [
+                {
+                    instancePath: '/signalType',
+                    schemaPath: matchingDeclaration.schemaRef,
+                    keyword: 'signalSchemaUnresolved',
+                    message: 'declared signal schema is not resolved from the installed package',
+                },
+            ],
+        };
+    }
+    let validateResolved = resolvedSchemaValidators.get(resolvedSchema);
+    if (validateResolved === undefined) {
+        try {
+            const schemaAjv = new Ajv2020({ allErrors: true, strict: false });
+            addFormats(schemaAjv);
+            validateResolved = schemaAjv.compile(resolvedSchema);
+            resolvedSchemaValidators.set(resolvedSchema, validateResolved);
+        }
+        catch {
+            resolvedSchemaValidators.set(resolvedSchema, null);
+            validateResolved = null;
+        }
+    }
+    if (validateResolved === null) {
+        return {
+            valid: false,
+            errors: [
+                {
+                    instancePath: '/signalType',
+                    schemaPath: matchingDeclaration.schemaRef,
+                    keyword: 'signalSchemaInvalid',
+                    message: 'declared signal schema could not be compiled safely',
+                },
+            ],
+        };
+    }
+    const content = {
+        payload: input.value.payload,
+        source: input.value.source,
+    };
+    if (!validateResolved(content)) {
+        return { valid: false, errors: errorsOf(validateResolved) };
+    }
+    return input;
+}
+export function validateEventsPublishResult(value) {
+    return validateWith(validatePublishResultSchema, value);
+}
+//# sourceMappingURL=signals.js.map

package/dist/validation/signals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"signals.js","sourceRoot":"","sources":["../../src/validation/signals.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAQ5C,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/C,MAAM,OAAO,GAGO,OAAO,CAAC,eAAe,CAAC,CAAC;AAC7C,MAAM,UAAU,GAA+B,OAAO,CAAC,aAAa,CAAC,CAAC;AACtE,MAAM,YAAY,GAAG,OAAO,CAAC,6CAA6C,CAGzE,CAAC;AA+BF,MAAM,CAAC,MAAM,gCAAgC,GAAG,MAAe,CAAC;AAMhE,MAAM,GAAG,GAAG,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;AAC5D,UAAU,CAAC,GAAG,CAAC,CAAC;AAChB,GAAG,CAAC,SAAS,CAAC,YAAY,EAAE,YAAY,CAAC,KAAK,CAAW,CAAC,CAAC;AAE3D,SAAS,SAAS,CAAC,UAAkB;IACnC,MAAM,QAAQ,GAAG,GAAG,CAAC,SAAS,CAC5B,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,WAAW,UAAU,EAAE,CACtD,CAAC;IACF,IAAI,CAAC,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,UAAU,EAAE,CAAC,CAAC;IAClF,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,yBAAyB,GAAG,SAAS,CAAC,mBAAmB,CAAC,CAAC;AACjE,MAAM,0BAA0B,GAAG,SAAS,CAAC,oBAAoB,CAAC,CAAC;AACnE,MAAM,2BAA2B,GAAG,SAAS,CAAC,qBAAqB,CAAC,CAAC;AACrE,MAAM,wBAAwB,GAAG,IAAI,OAAO,EAAsC,CAAC;AAEnF,SAAS,QAAQ,CAAC,QAA6B;IAC7C,OAAO,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC7C,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,0BAA0B;KACrD,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,YAAY,CACnB,QAA6B,EAC7B,KAAc;IAEd,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC1E,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAc,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;AAC5D,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,YAAY,IAAI,GAAG,EAAU;IAChE,IACE,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,SAAS,EAC1B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC7D,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACrB,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAChC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACrD,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAgC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAC7D,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAC7B,CAAC;IACN,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACxB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,KAAc;IAEd,OAAO,YAAY,CAAC,yBAAyB,EAAE,KAAK,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,KAAc;IAEd,MAAM,UAAU,GAAG,YAAY,CAAqB,0BAA0B,EAAE,KAAK,CAAC,CAAC;IACvF,IAAI,CAAC,UAAU,CAAC,KAAK;QAAE,OAAO,UAAU,CAAC;IACzC,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,IAAI,CAAC;QACH,cAAc,GAAG,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,cAAc,GAAG,KAAK,CAAC;IACzB,CAAC;IACD,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE;gBACN;oBACE,YAAY,EAAE,UAAU;oBACxB,UAAU,EAAE,+CAA+C;oBAC3D,OAAO,EAAE,WAAW;oBACpB,OAAO,EAAE,6DAA6D;iBACvE;aACF;SACF,CAAC;IACJ,CAAC;IACD,IAAI,mBAA2B,CAAC;IAChC,IAAI,CAAC;QACH,mBAAmB,GAAG,MAAM,CAAC,UAAU,CACrC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,EACxC,MAAM,CACP,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE;gBACN;oBACE,YAAY,EAAE,UAAU;oBACxB,UAAU,EAAE,+CAA+C;oBAC3D,OAAO,EAAE,WAAW;oBACpB,OAAO,EAAE,gDAAgD;iBAC1D;aACF;SACF,CAAC;IACJ,CAAC;IACD,IAAI,mBAAmB,GAAG,gCAAgC,EAAE,CAAC;QAC3D,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE;gBACN;oBACE,YAAY,EAAE,UAAU;oBACxB,UAAU,EAAE,uCAAuC;oBACnD,OAAO,EAAE,iBAAiB;oBAC1B,OAAO,EAAE,mBAAmB,gCAAgC,gBAAgB;iBAC7E;aACF;SACF,CAAC;IACJ,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kCAAkC,CAChD,YAAgC,EAChC,aAAkC,EAClC,KAAc;IAEd,MAAM,KAAK,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,CAAC,KAAK,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IAE/B,IAAI,mBAAkD,CAAC;IACvD,KAAK,MAAM,SAAS,IAAI,YAAY,EAAE,CAAC;QACrC,MAAM,WAAW,GAAG,yBAAyB,CAAC,SAAS,CAAC,CAAC;QACzD,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;YACvB,OAAO;gBACL,KAAK,EAAE,KAAK;gBACZ,MAAM,EAAE;oBACN;wBACE,YAAY,EAAE,mBAAmB;wBACjC,UAAU,EAAE,gDAAgD;wBAC5D,OAAO,EAAE,mBAAmB;wBAC5B,OAAO,EAAE,qCAAqC;qBAC/C;iBACF;aACF,CAAC;QACJ,CAAC;QACD,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;YACtD,mBAAmB,GAAG,WAAW,CAAC,KAAK,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;QACtC,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE;gBACN;oBACE,YAAY,EAAE,aAAa;oBAC3B,UAAU,EAAE,gDAAgD;oBAC5D,OAAO,EAAE,oBAAoB;oBAC7B,OAAO,EAAE,mDAAmD;iBAC7D;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,aAAa,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;IACpE,IACE,OAAO,cAAc,KAAK,QAAQ;QAClC,cAAc,KAAK,IAAI;QACvB,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,EAC7B,CAAC;QACD,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE;gBACN;oBACE,YAAY,EAAE,aAAa;oBAC3B,UAAU,EAAE,mBAAmB,CAAC,SAAS;oBACzC,OAAO,EAAE,wBAAwB;oBACjC,OAAO,EAAE,mEAAmE;iBAC7E;aACF;SACF,CAAC;IACJ,CAAC;IAED,IAAI,gBAAgB,GAAG,wBAAwB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IACpE,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACnC,IAAI,CAAC;YACH,MAAM,SAAS,GAAG,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;YAClE,UAAU,CAAC,SAAS,CAAC,CAAC;YACtB,gBAAgB,GAAG,SAAS,CAAC,OAAO,CAAC,cAAyC,CAAC,CAAC;YAChF,wBAAwB,CAAC,GAAG,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;QACjE,CAAC;QAAC,MAAM,CAAC;YACP,wBAAwB,CAAC,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;YACnD,gBAAgB,GAAG,IAAI,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;QAC9B,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE;gBACN;oBACE,YAAY,EAAE,aAAa;oBAC3B,UAAU,EAAE,mBAAmB,CAAC,SAAS;oBACzC,OAAO,EAAE,qBAAqB;oBAC9B,OAAO,EAAE,qDAAqD;iBAC/D;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG;QACd,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO;QAC5B,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;KAC3B,CAAC;IACF,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC;IAC9D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,KAAc;IAEd,OAAO,YAAY,CAAC,2BAA2B,EAAE,KAAK,CAAC,CAAC;AAC1D,CAAC"}

package/dist/wire/disposition-fixtures.d.ts

@@ -1,6 +1,6 @@
 /**
  * Disposition conformance fixture vectors — machine-readable test data
- * for the pre-dispatch disposition table (T-A through T-L).
+ * for the pre-dispatch disposition table (T-A through T-M).
  *
  * Mechanized VERBATIM from §3.8-1 of the #1165 frozen plan (rev11,
  * SHA 7e26e5af). Each vector carries:
@@ -19,7 +19,7 @@
  *   - 7 notification-partition sub-cases (NOTIFICATION_PARTITION_CASES)
  *     "your correction #4's five, the idless-envelope fixture,
  *      and the R8 row-10 value-failure fixture"
- *   - All 12 T-classes have ≥1 vector
+ *   - All 13 T-classes have ≥1 vector
  *   - Pre-state mutual-exclusivity proof pairs:
  *       ping nonce (T-H-3 / T-L-2), row-9 deliveryId (T-H-9 / T-L-4)
  *
@@ -30,6 +30,7 @@
  * Tests verify both existence AND class correctness per key.
  */
 import type { DispositionClass, DispositionOutcome } from './disposition.js';
+import type { CandidateHello } from './handshake.js';
 import type { WireMethodName } from './registry.js';
 export declare const CLOSED_ERROR_ARM_NAMES: readonly ["ParseErrorEnvelope", "InvalidRequestNullIdEnvelope", "InvalidRequestValidIdEnvelope", "MethodNotFoundEnvelope", "InvalidParamsEnvelope", "InternalErrorEnvelope", "HandshakeRejectedEnvelope", "DeliveryRejectedEnvelope", "DomainErrorEnvelope", "DeadlineExpiredEnvelope", "SnapshotUnavailableEnvelope"];
 export type ClosedErrorArmName = (typeof CLOSED_ERROR_ARM_NAMES)[number];
@@ -42,6 +43,8 @@ export interface RequestSnapshot {
     readonly nonce?: string;
     /** Row 9 deliver: the deliveryId that must match byte-equal in the ack. */
     readonly deliveryId?: string;
+    /** Row 1 hello: the candidate claims that SessionBinding must echo byte-equal. */
+    readonly candidateHello?: CandidateHello;
 }
 /**
  * A single in-flight request record for pre-state correlation.
@@ -71,6 +74,8 @@ export interface DispositionFixtureVector {
     readonly expectedErrorArm: ClosedErrorArmName | null;
     readonly expectedErrorCode: number | null;
     readonly expectedResponseFrame: string | null;
+    /** This vector must not allocate state, enqueue work, or activate. */
+    readonly zeroSideEffects?: true;
     readonly description: string;
 }
 /**
@@ -96,4 +101,8 @@ export declare const RESPONSE_CANDIDATE_CASES: Readonly<Record<string, Partition
  */
 export declare const NOTIFICATION_PARTITION_CASES: Readonly<Record<string, PartitionCase>>;
 export declare const DISPOSITION_FIXTURE_VECTORS: readonly DispositionFixtureVector[];
+/** Complete beta.8 handshake safety surface exported for downstream runners. */
+export declare const BETA8_HANDSHAKE_VECTOR_IDS: readonly ["T-C-2", "T-M-1", "T-M-2", "T-M-3", "T-M-4", "T-M-5", "T-M-6", "T-M-7", "T-M-8", "T-G-2", "T-G-3", "T-G-4", "T-G-5", "T-G-6", "T-G-7", "T-G-8", "T-G-9", "T-G-10", "T-G-11", "T-G-12", "T-G-13", "T-G-14", "T-H-10", "T-H-11", "T-L-5", "T-L-6"];
+/** Complete beta.9 C-2 publish safety surface exported for downstream runners. */
+export declare const BETA9_EVENTS_PUBLISH_VECTOR_IDS: readonly ["T-M-9", "T-G-15", "T-H-12", "T-L-7"];
 //# sourceMappingURL=disposition-fixtures.d.ts.map

package/dist/wire/disposition-fixtures.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"disposition-fixtures.d.ts","sourceRoot":"","sources":["../../src/wire/disposition-fixtures.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAE7E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAmBpD,eAAO,MAAM,sBAAsB,wTAYzB,CAAC;AAEX,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;AAkDzE;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,2EAA2E;IAC3E,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,+DAA+D;IAC/D,QAAQ,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC;CAC5C;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,gBAAgB,EAAE,SAAS,cAAc,EAAE,CAAC;CACtD;AAMD,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,KAAK,CAAC;IAC1C,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,aAAa,EAAE,gBAAgB,CAAC;IACzC,QAAQ,CAAC,eAAe,EAAE,kBAAkB,CAAC;IAC7C,QAAQ,CAAC,gBAAgB,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACrD,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAUD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,gBAAgB,CAAC;CAC1C;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAmB5E,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAehF,CAAC;AAMF,eAAO,MAAM,2BAA2B,EAAE,SAAS,wBAAwB,EA2hB1E,CAAC"}
+{"version":3,"file":"disposition-fixtures.d.ts","sourceRoot":"","sources":["../../src/wire/disposition-fixtures.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAK7E,OAAO,KAAK,EAAE,cAAc,EAAkB,MAAM,gBAAgB,CAAC;AAErE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAqBpD,eAAO,MAAM,sBAAsB,wTAYzB,CAAC;AAEX,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;AAkHzE;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,2EAA2E;IAC3E,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,kFAAkF;IAClF,QAAQ,CAAC,cAAc,CAAC,EAAE,cAAc,CAAC;CAC1C;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,+DAA+D;IAC/D,QAAQ,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC;CAC5C;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,gBAAgB,EAAE,SAAS,cAAc,EAAE,CAAC;CACtD;AAMD,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,KAAK,CAAC;IAC1C,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,aAAa,EAAE,gBAAgB,CAAC;IACzC,QAAQ,CAAC,eAAe,EAAE,kBAAkB,CAAC;IAC7C,QAAQ,CAAC,gBAAgB,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACrD,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9C,sEAAsE;IACtE,QAAQ,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAUD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,gBAAgB,CAAC;CAC1C;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAmB5E,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAehF,CAAC;AAMF,eAAO,MAAM,2BAA2B,EAAE,SAAS,wBAAwB,EA68B1E,CAAC;AAEF,gFAAgF;AAChF,eAAO,MAAM,0BAA0B,4PAO7B,CAAC;AAEX,kFAAkF;AAClF,eAAO,MAAM,+BAA+B,iDAKlC,CAAC"}