@spine-event-engine/proto-tools 2.0.0-snapshot.10 → 2.0.0-snapshot.11

package/README.md

@@ -80,6 +80,8 @@ the generated handler registry for decorated application classes. Its emitted
 source imports the Server handler-registry contract as a type from
 `@spine-event-engine/server/spi/handler-registry`; the CLI itself has no Server
 runtime dependency. Run both after the related model or handler changes.
+The handler analyzer records `@Throws(...)` declarations as rejection outcomes;
+the generated rejection companion supplies the schema used by that metadata.
 
 The public CLI is `spine-proto`. Programmatic config and manifest readers are
 for build tooling that needs the same validated package contracts; application

package/dist/src/generation/build-time-handler-analyzer.d.ts

@@ -100,24 +100,46 @@ export interface BuildHandlerRecord {
     /**
      * Generated schema accepted by the first handler parameter.
      */
-    readonly signalSchema: SchemaReference;
+    readonly input: BuildHandlerInput;
     /**
-     * Generated schemas emitted by the handler return type.
+     * Generated schemas returned normally or declared as thrown rejections.
      */
-    readonly emittedSchemas: readonly SchemaReference[];
+    readonly outcomes: BuildHandlerOutcomes;
     /**
      * Public method arity: `handler(signal)` or `handler(signal, context)`.
      */
     readonly parameterCount: GeneratedHandlerParameterCount;
+}
+/**
+ * Input metadata for one generated handler.
+ */
+export interface BuildHandlerInput {
     /**
-     * Origin declared on the first receptor parameter.
+     * Generated schema accepted by the handler.
+     */
+    readonly schema: SchemaReference;
+    /**
+     * Origin required for an Event input.
      */
     readonly origin: "domestic" | "external";
     /**
-     * Optional statically declared Event field filter.
+     * Optional generated Event field filter.
      */
     readonly where?: BuildWhereOptions;
 }
+/**
+ * Normal and declared rejection outcomes for one generated handler.
+ */
+export interface BuildHandlerOutcomes {
+    /**
+     * Generated schemas returned normally by the handler.
+     */
+    readonly returned: readonly SchemaReference[];
+    /**
+     * Generated rejection schemas that the handler may throw.
+     */
+    readonly thrown: readonly SchemaReference[];
+}
 /**
  * Build-time representation of one `@Where` declaration.
  */
@@ -134,7 +156,7 @@ export interface BuildWhereOptions {
 /**
  * Stable diagnostic codes emitted by build-time handler analysis.
  */
-export type BuildHandlerDiagnosticCode = "APPLY_DECORATOR" | "FRAMEWORK_ENVELOPE_RETURN" | "INVALID_EMITTED_SCHEMA" | "INVALID_HANDLER_NAME" | "INVALID_HANDLER_CONTEXT" | "INVALID_HANDLER_VISIBILITY" | "INVALID_PARAMETER_COUNT" | "INVALID_SIGNAL_TYPE" | "INVALID_EXTERNAL_ORIGIN" | "EXTERNAL_COMMAND_RECEIVER" | "INVALID_SUBSCRIBE_RETURN" | "INVALID_WHERE" | "MISSING_EMITTED_SCHEMAS" | "MISSING_ENTITY_STATE_SCHEMA" | "MISSING_RETURN_TYPE" | "MISSING_SIGNAL_TYPE" | "NON_EXPORTED_RECEIVER_CLASS" | "SCHEMA_BEARING_DECORATOR" | "TYPESCRIPT_SYNTAX_ERROR" | "UNSUPPORTED_COMMAND_HANDLER" | "UNSUPPORTED_RETURN_TYPE";
+export type BuildHandlerDiagnosticCode = "APPLY_DECORATOR" | "FRAMEWORK_ENVELOPE_RETURN" | "INVALID_EMITTED_SCHEMA" | "INVALID_HANDLER_NAME" | "INVALID_HANDLER_CONTEXT" | "INVALID_HANDLER_VISIBILITY" | "INVALID_PARAMETER_COUNT" | "INVALID_SIGNAL_TYPE" | "INVALID_EXTERNAL_ORIGIN" | "EXTERNAL_COMMAND_RECEIVER" | "INVALID_SUBSCRIBE_RETURN" | "INVALID_THROWS" | "INVALID_WHERE" | "MISSING_EMITTED_SCHEMAS" | "MISSING_ENTITY_STATE_SCHEMA" | "MISSING_RETURN_TYPE" | "MISSING_SIGNAL_TYPE" | "NON_EXPORTED_RECEIVER_CLASS" | "SCHEMA_BEARING_DECORATOR" | "TYPESCRIPT_SYNTAX_ERROR" | "UNSUPPORTED_ASSIGN_HANDLER" | "UNSUPPORTED_COMMAND_HANDLER" | "UNSUPPORTED_RETURN_TYPE";
 /**
  * One build-time analyzer diagnostic.
  */

package/dist/src/generation/build-time-handler-analyzer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"build-time-handler-analyzer.d.ts","sourceRoot":"","sources":["../../../src/generation/build-time-handler-analyzer.ts"],"names":[],"mappings":"AAqBA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,KAAK,oBAAoB,GACrB,oBAAoB,GACpB,sBAAsB,GACtB,kBAAkB,GAClB,oBAAoB,GACpB,oBAAoB,GACpB,gBAAgB,CAAC;AACrB,KAAK,8BAA8B,GAAG,CAAC,GAAG,CAAC,CAAC;AAE5C;;GAEG;AACH,MAAM,WAAW,oBAAoB;IAGnC;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAErD;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACzD;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAGlC;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAE3B;;OAEG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IAEjC;;OAEG;IACH,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC;IAEhC;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC;IAEtC;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAClD;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IAGtC;;OAEG;IACH,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IAEpC;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAE3B;;OAEG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IAEjC;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAClD;AAED;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,mBAAmB,GAAG,uBAAuB,CAAC;AAElF;;GAEG;AACH,MAAM,WAAW,eAAe;IAG9B;;OAEG;IACH,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IAEjC;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IAGjC;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IAEpC;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B;;OAEG;IACH,QAAQ,CAAC,YAAY,EAAE,eAAe,CAAC;IAEvC;;OAEG;IACH,QAAQ,CAAC,cAAc,EAAE,SAAS,eAAe,EAAE,CAAC;IAEpD;;OAEG;IACH,QAAQ,CAAC,cAAc,EAAE,8BAA8B,CAAC;IAExD;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,UAAU,CAAC;IAEzC;;OAEG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,iBAAiB,CAAC;CACpC;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAGhC;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,MAAM,0BAA0B,GAClC,iBAAiB,GACjB,2BAA2B,GAC3B,wBAAwB,GACxB,sBAAsB,GACtB,yBAAyB,GACzB,4BAA4B,GAC5B,yBAAyB,GACzB,qBAAqB,GACrB,yBAAyB,GACzB,2BAA2B,GAC3B,0BAA0B,GAC1B,eAAe,GACf,yBAAyB,GACzB,6BAA6B,GAC7B,qBAAqB,GACrB,qBAAqB,GACrB,6BAA6B,GAC7B,0BAA0B,GAC1B,yBAAyB,GACzB,6BAA6B,GAC7B,yBAAyB,CAAC;AAE9B;;GAEG;AACH,MAAM,WAAW,sBAAsB;IAGrC;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,0BAA0B,CAAC;IAE1C;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAEtB;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAExB;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAEzB;;OAEG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAE5B;;OAEG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IAGnC;;;;;;OAMG;IACH,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,GAAG,oBAAoB,CAAC;CAC5F;AAED;;GAEG;AACH,eAAO,MAAM,oBAAoB,EAAE,oBAyCjC,CAAC;AAw1DH;;GAEG;AACH,eAAO,MAAM,eAAe,EAAE,QAAQ,CAAC;IAAE,OAAO,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;CAAE,CAkBtF,CAAC"}
+{"version":3,"file":"build-time-handler-analyzer.d.ts","sourceRoot":"","sources":["../../../src/generation/build-time-handler-analyzer.ts"],"names":[],"mappings":"AAqBA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,KAAK,oBAAoB,GACrB,oBAAoB,GACpB,sBAAsB,GACtB,kBAAkB,GAClB,oBAAoB,GACpB,oBAAoB,GACpB,gBAAgB,CAAC;AACrB,KAAK,8BAA8B,GAAG,CAAC,GAAG,CAAC,CAAC;AAE5C;;GAEG;AACH,MAAM,WAAW,oBAAoB;IAGnC;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAErD;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACzD;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAGlC;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAE3B;;OAEG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IAEjC;;OAEG;IACH,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC;IAEhC;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC;IAEtC;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAClD;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IAGtC;;OAEG;IACH,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IAEpC;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAE3B;;OAEG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IAEjC;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAClD;AAED;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,mBAAmB,GAAG,uBAAuB,CAAC;AAElF;;GAEG;AACH,MAAM,WAAW,eAAe;IAG9B;;OAEG;IACH,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IAEjC;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IAGjC;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IAEpC;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC;IAElC;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;IAExC;;OAEG;IACH,QAAQ,CAAC,cAAc,EAAE,8BAA8B,CAAC;CACzD;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAGhC;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IAEjC;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,UAAU,CAAC;IAEzC;;OAEG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,iBAAiB,CAAC;CACpC;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IAGnC;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAC;IAE9C;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAC;CAC7C;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAGhC;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAYD;;GAEG;AACH,MAAM,MAAM,0BAA0B,GAClC,iBAAiB,GACjB,2BAA2B,GAC3B,wBAAwB,GACxB,sBAAsB,GACtB,yBAAyB,GACzB,4BAA4B,GAC5B,yBAAyB,GACzB,qBAAqB,GACrB,yBAAyB,GACzB,2BAA2B,GAC3B,0BAA0B,GAC1B,gBAAgB,GAChB,eAAe,GACf,yBAAyB,GACzB,6BAA6B,GAC7B,qBAAqB,GACrB,qBAAqB,GACrB,6BAA6B,GAC7B,0BAA0B,GAC1B,yBAAyB,GACzB,4BAA4B,GAC5B,6BAA6B,GAC7B,yBAAyB,CAAC;AAE9B;;GAEG;AACH,MAAM,WAAW,sBAAsB;IAGrC;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,0BAA0B,CAAC;IAE1C;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAEtB;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAExB;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAEzB;;OAEG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAE5B;;OAEG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IAGnC;;;;;;OAMG;IACH,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,GAAG,oBAAoB,CAAC;CAC5F;AAED;;GAEG;AACH,eAAO,MAAM,oBAAoB,EAAE,oBAyCjC,CAAC;AAouEH;;GAEG;AACH,eAAO,MAAM,eAAe,EAAE,QAAQ,CAAC;IAAE,OAAO,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;CAAE,CAkBtF,CAAC"}

package/dist/src/generation/build-time-handler-analyzer.js

@@ -89,23 +89,26 @@ const HandlerSources = Object.freeze({
             return undefined;
         }
         const lineage = HandlerSources.receiverLineage(node, scope);
-        const entityBase = lineage?.base;
-        const stateSchema = lineage?.stateSchema;
+        const handlers = HandlerSources.analyzeMethods(node, className, lineage, scope);
+        if (lineage === undefined || handlers.length === 0) {
+            return undefined;
+        }
+        return HandlerSources.receiverRecord(node, className, lineage, handlers, scope.source.fileName);
+    },
+    analyzeMethods(node, className, lineage, scope) {
         const handlers = [];
         for (const member of node.members) {
-            if (!ts.isMethodDeclaration(member)) {
+            if (!ts.isMethodDeclaration(member))
                 continue;
-            }
-            const handler = HandlerSources.analyzeMethod(member, className, entityBase, stateSchema, lineage?.receiverKind, scope);
-            if (handler !== undefined) {
+            const handler = HandlerSources.analyzeMethod(member, className, lineage?.base, lineage?.stateSchema, lineage?.receiverKind, scope);
+            if (handler !== undefined)
                 handlers.push(handler);
-            }
-        }
-        if (lineage === undefined || handlers.length === 0) {
-            return undefined;
         }
+        return handlers;
+    },
+    receiverRecord(node, className, lineage, handlers, sourceFile) {
         return lineage.receiverKind === "entity"
-            ? stateSchema === undefined
+            ? lineage.stateSchema === undefined
                 ? undefined
                 : {
                     receiverKind: "entity",
@@ -113,8 +116,8 @@ const HandlerSources = Object.freeze({
                     ...(HandlerTypes.hasModifier(node, ts.SyntaxKind.DefaultKeyword)
                         ? { defaultExport: true }
                         : {}),
-                    sourceFile: scope.source.fileName,
-                    stateSchema,
+                    sourceFile,
+                    stateSchema: lineage.stateSchema,
                     handlers,
                 }
             : {
@@ -123,7 +126,7 @@ const HandlerSources = Object.freeze({
                 ...(HandlerTypes.hasModifier(node, ts.SyntaxKind.DefaultKeyword)
                     ? { defaultExport: true }
                     : {}),
-                sourceFile: scope.source.fileName,
+                sourceFile,
                 handlers,
             };
     },
@@ -132,58 +135,171 @@ const HandlerSources = Object.freeze({
         const apply = decorators.find((decorator) => decorator.name === "Apply");
         const handler = decorators.find(HandlerSources.isHandlerUse);
         const whereUses = decorators.filter((decorator) => decorator.name === "Where");
-        if (apply !== undefined) {
-            HandlerTypes.pushDiagnostic(scope, "APPLY_DECORATOR", apply.node, "Generated registries do not support @Apply.", className, HandlerTypes.methodName(node));
-        }
-        if (handler === undefined) {
-            if (whereUses.length > 0) {
-                HandlerTypes.pushDiagnostic(scope, "INVALID_WHERE", whereUses[0]?.node ?? node, "@Where requires an Event-consuming @Subscribe, @React, or @Command handler.", className, HandlerTypes.methodName(node));
-            }
-            return undefined;
-        }
+        const throwsUses = decorators.filter((decorator) => decorator.name === "Throws");
         const method = HandlerTypes.methodName(node);
-        if ((entityBase === "Aggregate" || entityBase === "Projection") && handler.name === "Command") {
-            HandlerTypes.pushDiagnostic(scope, "UNSUPPORTED_COMMAND_HANDLER", handler.node, "Only Process Managers support @Command handlers.", className, method);
-            return undefined;
-        }
-        if (receiverKind === "standalone" &&
-            !HandlerSources.allowsStandaloneDecorator(entityBase, handler.name)) {
-            HandlerTypes.pushDiagnostic(scope, "UNSUPPORTED_COMMAND_HANDLER", handler.node, `@${handler.name} is not legal for standalone ${entityBase ?? "receiver"}.`, className, method);
-            return undefined;
-        }
-        const invalid = HandlerSources.validateHandlerNode(node, handler.name, receiverKind === "entity" ? stateSchema : undefined, receiverKind !== "standalone", scope, className, method);
-        if (handler.hasArguments) {
-            HandlerTypes.pushDiagnostic(scope, "SCHEMA_BEARING_DECORATOR", handler.node, `@${handler.name}(...) is not supported in analyzed app source.`, className, method);
-            return undefined;
-        }
-        if (invalid) {
+        const use = {
+            node,
+            apply,
+            handler,
+            whereUses,
+            throwsUses,
+            className,
+            entityBase,
+            stateSchema,
+            receiverKind,
+            scope,
+            method,
+        };
+        if (!HandlerSources.validMethodUse(use))
             return undefined;
-        }
-        const origin = HandlerSources.externalOrigin(node.parameters, scope, className, method);
+        return HandlerSources.analyzeValidMethod(use);
+    },
+    analyzeValidMethod(input) {
+        const { className, handler, method, node, scope } = input;
+        const parameters = node.parameters;
+        const origin = HandlerSources.externalOrigin(parameters, scope, className, method);
         if (origin === undefined)
             return undefined;
-        const signal = HandlerSources.schemaUseFromType(origin.type, scope.imports);
-        const emittedSchemas = HandlerSources.emittedSchemaUses(node.type === undefined ? undefined : HandlerSources.unwrapOuterPromise(node.type, scope), handler.name, scope.imports)?.map((schema) => schema.reference);
-        if (signal === undefined || emittedSchemas === undefined || method === undefined) {
+        const schemas = HandlerSources.methodSchemaUses(node, handler, origin.type, scope);
+        if (schemas === undefined || method === undefined)
             return undefined;
-        }
-        if (!HandlerSources.validContextParameter(node.parameters, signal.kind, scope, className, method)) {
+        const { signal, returnedSchemas } = schemas;
+        if (!HandlerSources.validContextParameter(parameters, signal.kind, scope, className, method))
             return undefined;
-        }
-        const where = HandlerSources.whereDeclaration(whereUses, handler, signal.kind, scope, className, method);
-        if (whereUses.length > 0 && where === undefined) {
+        const declarations = HandlerSources.methodDeclarations(input, signal.kind, method);
+        if (declarations === undefined)
             return undefined;
-        }
+        return HandlerSources.buildHandlerRecord(node, handler, signal, method, returnedSchemas, declarations.thrown, origin.value, declarations.where);
+    },
+    methodDeclarations(input, signalKind, methodName) {
+        const { className, handler, scope, throwsUses, whereUses } = input;
+        const where = HandlerSources.whereDeclaration(whereUses, handler, signalKind, scope, className, methodName);
+        if (whereUses.length > 0 && where === undefined)
+            return undefined;
+        const thrown = HandlerSources.throwsDeclaration(throwsUses, handler, signalKind, scope, className, methodName);
+        return throwsUses.length > 0 && thrown === undefined
+            ? undefined
+            : { where, thrown: thrown ?? [] };
+    },
+    methodSchemaUses(node, handler, signalType, scope) {
+        const signal = HandlerSources.schemaUseFromType(signalType, scope.imports);
+        const returned = HandlerSources.emittedSchemaUses(node.type === undefined ? undefined : HandlerSources.unwrapOuterPromise(node.type, scope), handler.name, scope.imports);
+        return signal === undefined || returned === undefined
+            ? undefined
+            : { signal, returnedSchemas: returned.map((schema) => schema.reference) };
+    },
+    buildHandlerRecord(node, handler, signal, method, returnedSchemas, thrownSchemas, origin, where) {
         return {
             kind: HandlerSources.handlerKind(handler.name, signal.kind),
             methodName: method,
-            signalSchema: signal.reference,
-            emittedSchemas,
+            input: { schema: signal.reference, origin, ...(where === undefined ? {} : { where }) },
+            outcomes: { returned: returnedSchemas, thrown: thrownSchemas },
             parameterCount: node.parameters.length,
-            origin: origin.value,
-            ...(where === undefined ? {} : { where }),
         };
     },
+    validMethodUse(input) {
+        HandlerSources.reportUnsupportedApply(input);
+        if (input.handler === undefined)
+            return HandlerSources.reportMissingHandler(input);
+        const { className, handler, method, node, scope } = input;
+        if (!HandlerSources.validHandlerKind({ ...input, handler }))
+            return false;
+        if (!HandlerSources.validBareHandlerDecorator(handler, scope, className, method))
+            return false;
+        return !HandlerSources.validateHandlerNode(node, handler.name, input.receiverKind === "entity" ? input.stateSchema : undefined, input.receiverKind !== "standalone", scope, className, method);
+    },
+    throwsDeclaration(uses, handler, signalKind, scope, className, methodName) {
+        if (uses.length === 0)
+            return [];
+        const expression = HandlerSources.throwsCall(uses, handler, signalKind, scope, className, methodName);
+        if (expression === undefined)
+            return undefined;
+        return HandlerSources.thrownSchemas(expression, scope, className, methodName);
+    },
+    throwsCall(uses, handler, signalKind, scope, className, methodName) {
+        const use = uses[0];
+        const commandReceptor = handler.name === "Assign" || (handler.name === "Command" && signalKind === "command");
+        if (uses.length !== 1 || !commandReceptor || use === undefined) {
+            HandlerSources.invalidThrows(scope, use?.node ?? handler.node, "@Throws is allowed once on a command-accepting @Assign or @Command handler.", className, methodName);
+            return undefined;
+        }
+        const expression = use.node.expression;
+        if (ts.isCallExpression(expression) && expression.arguments.length > 0)
+            return expression;
+        HandlerSources.invalidThrows(scope, use.node, "@Throws requires at least one generated rejection companion.", className, methodName);
+        return undefined;
+    },
+    thrownSchemas(expression, scope, className, methodName) {
+        const schemas = expression.arguments.map((argument) => HandlerSources.rejectionSchemaFromExpression(argument, scope.imports));
+        if (schemas.some((schema) => schema === undefined)) {
+            HandlerSources.invalidThrows(scope, expression, "@Throws accepts only generated rejection companions.", className, methodName);
+            return undefined;
+        }
+        const resolved = schemas;
+        const keys = resolved.map((schema) => `${schema.moduleSpecifier}\u0000${schema.exportName}`);
+        if (new Set(keys).size !== keys.length) {
+            HandlerSources.invalidThrows(scope, expression, "@Throws cannot declare the same rejection more than once.", className, methodName);
+            return undefined;
+        }
+        return resolved;
+    },
+    invalidThrows(scope, node, message, className, methodName) {
+        HandlerTypes.pushDiagnostic(scope, "INVALID_THROWS", node, message, className, methodName);
+        return undefined;
+    },
+    rejectionSchemaFromExpression(expression, imports) {
+        const unwrapped = HandlerSources.unwrapExpression(expression);
+        if (ts.isIdentifier(unwrapped))
+            return imports.rejectionSymbols.get(unwrapped.text);
+        if (!ts.isPropertyAccessExpression(unwrapped) || !ts.isIdentifier(unwrapped.expression)) {
+            return undefined;
+        }
+        const namespace = imports.rejectionNamespaces.get(unwrapped.expression.text);
+        const schemaName = `${unwrapped.name.text}Schema`;
+        return namespace?.exports.schemaRoles.get(schemaName) !== "rejection"
+            ? undefined
+            : { moduleSpecifier: namespace.moduleSpecifier, exportName: schemaName };
+    },
+    reportUnsupportedApply(input) {
+        if (input.apply === undefined)
+            return;
+        HandlerTypes.pushDiagnostic(input.scope, "APPLY_DECORATOR", input.apply.node, "Generated registries do not support @Apply.", input.className, input.method);
+    },
+    reportMissingHandler(input) {
+        if (input.whereUses.length > 0)
+            HandlerTypes.pushDiagnostic(input.scope, "INVALID_WHERE", input.whereUses[0]?.node ?? input.node, "@Where requires an Event-consuming @Subscribe, @React, or @Command handler.", input.className, input.method);
+        if (input.throwsUses.length > 0)
+            HandlerTypes.pushDiagnostic(input.scope, "INVALID_THROWS", input.throwsUses[0]?.node ?? input.node, "@Throws requires an @Assign handler.", input.className, input.method);
+        return false;
+    },
+    validBareHandlerDecorator(handler, scope, className, method) {
+        if (!handler.hasArguments)
+            return true;
+        HandlerTypes.pushDiagnostic(scope, "SCHEMA_BEARING_DECORATOR", handler.node, `@${handler.name}(...) is not supported in analyzed app source.`, className, method);
+        return false;
+    },
+    validHandlerKind(input) {
+        return (HandlerSources.validEntityHandlerKind(input) &&
+            HandlerSources.validStandaloneHandlerKind(input));
+    },
+    validEntityHandlerKind(input) {
+        const { className, entityBase, handler, method, scope } = input;
+        if (entityBase === "Projection" && handler.name === "Assign")
+            return HandlerSources.unsupported(scope, "UNSUPPORTED_ASSIGN_HANDLER", handler.node, "Projection handlers cannot use @Assign.", className, method);
+        return ((entityBase !== "Aggregate" && entityBase !== "Projection") ||
+            handler.name !== "Command" ||
+            HandlerSources.unsupported(scope, "UNSUPPORTED_COMMAND_HANDLER", handler.node, "Only Process Managers support @Command handlers.", className, method));
+    },
+    validStandaloneHandlerKind(input) {
+        const { className, entityBase, handler, method, receiverKind, scope } = input;
+        return (receiverKind !== "standalone" ||
+            HandlerSources.allowsStandaloneDecorator(entityBase, handler.name) ||
+            HandlerSources.unsupported(scope, "UNSUPPORTED_COMMAND_HANDLER", handler.node, `@${handler.name} is not legal for standalone ${entityBase ?? "receiver"}.`, className, method));
+    },
+    unsupported(scope, code, node, message, className, method) {
+        HandlerTypes.pushDiagnostic(scope, code, node, message, className, method);
+        return false;
+    },
     whereDeclaration(uses, handler, signalKind, scope, className, methodName) {
         if (uses.length === 0)
             return undefined;
@@ -839,6 +955,8 @@ const HandlerSources = Object.freeze({
         const state = {
             generatedNamespaces: new Map(),
             generatedSymbols: new Map(),
+            rejectionNamespaces: new Map(),
+            rejectionSymbols: new Map(),
             localTypeAliases: new Map(),
             serverNamespaces: new Set(),
             serverSymbols: new Map(),
@@ -861,18 +979,64 @@ const HandlerSources = Object.freeze({
     },
     recordImportDeclaration(statement, moduleSpecifier, source, program, state) {
         const bindings = statement.importClause?.namedBindings;
-        if (bindings === undefined) {
+        if (bindings === undefined)
             return;
+        HandlerSources.recordFrameworkImport(bindings, moduleSpecifier, state);
+        if (HandlerSources.isGeneratedModule(moduleSpecifier)) {
+            HandlerSources.recordGeneratedImport(bindings, moduleSpecifier, statement.importClause?.phaseModifier !== ts.SyntaxKind.TypeKeyword, source, program, state);
         }
+        if (!HandlerSources.isRejectionCompanion(moduleSpecifier))
+            return;
+        HandlerSources.recordRejectionCompanionImport(bindings, moduleSpecifier, source, program, state);
+    },
+    recordFrameworkImport(bindings, moduleSpecifier, state) {
         if (moduleSpecifier === "@spine-event-engine/server") {
             HandlerSources.recordServerImport(bindings, state);
         }
         if (moduleSpecifier === "@spine-event-engine/proto") {
             HandlerSources.recordProtoImport(bindings, state);
         }
-        if (HandlerSources.isGeneratedModule(moduleSpecifier)) {
-            HandlerSources.recordGeneratedImport(bindings, moduleSpecifier, statement.importClause?.phaseModifier !== ts.SyntaxKind.TypeKeyword, source, program, state);
+    },
+    recordRejectionCompanionImport(bindings, moduleSpecifier, source, program, state) {
+        const schemaModule = HandlerSources.rejectionSchemaModule(moduleSpecifier);
+        const companion = HandlerSources.generatedModuleSource(source, moduleSpecifier, program);
+        const companionSchemaModule = companion === undefined ? undefined : HandlerSources.rejectionSchemaImport(companion);
+        const exported = HandlerSources.generatedModuleExports(companion ?? source, companionSchemaModule ?? schemaModule, program);
+        if (exported === undefined)
+            return;
+        if (ts.isNamespaceImport(bindings)) {
+            state.rejectionNamespaces.set(bindings.name.text, {
+                exports: exported,
+                moduleSpecifier: schemaModule,
+            });
+            return;
+        }
+        for (const element of bindings.elements) {
+            if (element.isTypeOnly)
+                continue;
+            const exportName = element.propertyName?.text ?? element.name.text;
+            const schemaName = `${exportName}Schema`;
+            if (exported.schemaRoles.get(schemaName) !== "rejection")
+                continue;
+            state.rejectionSymbols.set(element.name.text, {
+                moduleSpecifier: schemaModule,
+                exportName: schemaName,
+            });
+        }
+    },
+    rejectionSchemaImport(source) {
+        for (const statement of source.statements) {
+            if (!ts.isImportDeclaration(statement) || !ts.isStringLiteral(statement.moduleSpecifier)) {
+                continue;
+            }
+            const bindings = statement.importClause?.namedBindings;
+            if (bindings !== undefined &&
+                !ts.isNamespaceImport(bindings) &&
+                bindings.elements.some((element) => (element.propertyName?.text ?? element.name.text).endsWith("Schema"))) {
+                return statement.moduleSpecifier.text;
+            }
         }
+        return undefined;
     },
     recordServerImport(bindings, state) {
         if (ts.isNamespaceImport(bindings)) {
@@ -926,6 +1090,14 @@ const HandlerSources = Object.freeze({
     isGeneratedModule(moduleSpecifier) {
         return /(^|\/)generated\/.+_pb(\.js)?$/.test(moduleSpecifier);
     },
+    isRejectionCompanion(moduleSpecifier) {
+        return /(^|\/)generated\/(?:.+\/)?(?:[^/]+_)?rejections(\.js)?$/u.test(moduleSpecifier);
+    },
+    rejectionSchemaModule(moduleSpecifier) {
+        return moduleSpecifier.endsWith(".js")
+            ? moduleSpecifier.replace(/\.js$/u, "_pb.js")
+            : `${moduleSpecifier}_pb`;
+    },
     generatedModuleExports(source, moduleSpecifier, program) {
         const module = HandlerSources.generatedModuleSource(source, moduleSpecifier, program);
         if (module === undefined)
@@ -1255,7 +1427,8 @@ const HandlerTypes = Object.freeze({
             name === "React" ||
             name === "Subscribe" ||
             name === "Apply" ||
-            name === "Where"
+            name === "Where" ||
+            name === "Throws"
             ? name
             : undefined;
     },