@accordproject/template-engine 4.0.0 → 4.2.1

package/lib/TemplateArchiveProcessor.d.ts

@@ -1,13 +1,19 @@
 import { Template } from '@accordproject/cicero-core';
 import { TwoSlashReturn } from '@typescript/twoslash';
+import { LLMExecutorConfig } from './llm/LLMConfig';
+/** The contract state. */
 export type State = object;
+/** A response/result returned by the contract logic. */
 export type Response = object;
+/** An event emitted by the contract logic. */
 export type Event = object;
+/** The result of triggering a template: the response, updated state, and events. */
 export type TriggerResponse = {
     result: Response;
     state: State;
     events: Event[];
 };
+/** The result of initializing a template: the initial state. */
 export type InitResponse = {
     state: State;
 };
@@ -16,13 +22,20 @@ export type InitResponse = {
  * templatemark for the archive and trigger the logic of the archive
  */
 export declare class TemplateArchiveProcessor {
+    /** The template used by the processor. */
     template: Template;
+    /** Cache of compiled logic, keyed by script identifier. */
     private compiledLogicCache?;
+    /** Optional LLM fallback configuration. */
+    llmConfig?: LLMExecutorConfig;
+    /** Lazily-created LLM executor reused across debug/init/trigger calls. */
+    private llmExecutor?;
     /**
      * Creates a template archive processor
      * @param {Template} template - the template to be used by the processor
+     * @param {LLMExecutorConfig} [llmConfig] - optional LLM fallback configuration
      */
-    constructor(template: Template);
+    constructor(template: Template, llmConfig?: LLMExecutorConfig);
     /**
      * Drafts a template by merging it with data
      * @param {any} data the data to merge with the template
@@ -38,17 +51,94 @@ export declare class TemplateArchiveProcessor {
      * @returns {Promise<Record<string, TwoSlashReturn>>} the compiled code for each typescript file
      */
     compileLogic(enableCompiledLogicCache?: boolean): Promise<Record<string, TwoSlashReturn>>;
+    /**
+     * Asserts that a runtime payload's declared type is, or extends, the given runtime
+     * base type. This enforces the runtime class hierarchy nominally (by `$class`), which
+     * the type system cannot: request is a bivariant `trigger` parameter, and State's
+     * generated interface is structurally satisfied by any identified concept. Using the
+     * model's own assignability, the bare base type and any subclass are accepted while a
+     * plain concept that does not extend the base is rejected.
+     * @param {any} payload - a serialized Concerto object (has a `$class`), or undefined
+     * @param {string} baseFqn - the fully-qualified name of the runtime base type
+     * @param {string} role - the payload's role, used in the error message
+     * @throws {Error} if the payload's type is not the base type or a subclass of it
+     */
+    private assertRuntimeHierarchy;
+    /**
+     * Populates the `contract` back-reference that `org.accordproject.runtime.Obligation`
+     * (and therefore any event that extends it, e.g. a template's `PaymentObligationEvent`)
+     * requires, so that template logic never has to set it explicitly.
+     *
+     * Only events whose `contract` field is not already set are touched, so template logic
+     * that deliberately points an obligation at a different contract is left alone. Filling
+     * the field in is only meaningful when the template's own data model is itself a
+     * `Contract` (or a subtype of it) - that's the only instance in scope at `trigger()` time
+     * that the relationship is allowed to point to. The `Serializer` this class uses is
+     * constructed with `acceptResourcesForRelationships: true`, so handing it the full `data`
+     * resource is enough for it to resolve the relationship from that resource's own
+     * `$class`/identifier.
+     * @param {Event[]} events - the events returned by the template logic, mutated in place
+     * @param {any} data - the contract/clause data instance passed into trigger()
+     * @throws {Error} if an Obligation-derived event is missing `contract` and the template's
+     * data model does not extend Contract, so there is nothing valid to auto-populate with
+     */
+    private populateObligationBackReferences;
+    private assertTemplateLogicSubclass;
+    /**
+     * Determines whether LLM fallback is enabled.
+     * @returns {boolean} true if an LLM config is present and not disabled
+     */
+    private shouldUseLLM;
+    /**
+     * Constructs an LLM executor for this template.
+     * @returns {LLMExecutor} the LLM executor
+     * @throws {Error} if no LLM config is present
+     */
+    private makeLLMExecutor;
+    /**
+     * Executes the template's compiled TypeScript trigger logic.
+     * @param {any} data - the data for the template
+     * @param {any} request - the request to send to the template logic
+     * @param {any} [priorState] - the state produced by init() (or a previous
+     * trigger()); required for stateful templates, ignored for stateless ones
+     * @param {string} [currentTime] - the current time, defaults to now
+     * @param {number} [utcOffset] - the UTC offset, defaults to zero
+     * @returns {Promise<TriggerResponse>} the response and any events
+     */
+    private executeTypeScriptTrigger;
+    /**
+     * Executes the template's compiled TypeScript init logic. Returns an empty
+     * state when the compiled logic defines no `init` method (stateless template).
+     * @param {any} data - the data for the template
+     * @param {string} [currentTime] - the current time, defaults to now
+     * @param {number} [utcOffset] - the UTC offset, defaults to zero
+     * @returns {Promise<InitResponse>} the new state
+     */
+    private executeTypeScriptInit;
     /**
      * Trigger the logic of a template.
+     *
+     * Stateful templates (`this.template.isStateful()`) carry state across
+     * executions, so they must always be seeded with `priorState` — the state
+     * returned by a prior call to {@link init} (or by a prior call to
+     * `trigger`) — before a request can be evaluated. There is no implicit
+     * "empty" state for a template that declares custom State fields; calling
+     * `trigger` without `priorState` for such a template throws. Stateless
+     * templates ignore `priorState` entirely.
      * @param {object} data - the data for the template
      * @param {object} request - the request to send to the template logic
-     * @param {object} state - the current state of the template
+     * @param {object} priorState - the state to evaluate the request against.
+     * For stateful templates this is required and must be the state produced
+     * by init() or a previous trigger(); for stateless templates it is ignored.
      * @param {[string]} currentTime - the current time, defaults to now
      * @param {[number]} utcOffset - the UTC offset, defaults to zero
      * @param {boolean} [enableCompiledLogicCache] - whether to use the compiled logic cache
      * @returns {Promise<TriggerResponse>} the response and any events
+     * @throws {Error} if the template is stateful and no priorState is supplied, or if an
+     * emitted event extends `org.accordproject.runtime.Obligation` and its `contract`
+     * back-reference can't be auto-populated (see {@link populateObligationBackReferences})
      */
-    trigger(data: any, request: any, state?: any, currentTime?: string, utcOffset?: number, enableCompiledLogicCache?: boolean): Promise<TriggerResponse>;
+    trigger(data: any, request: any, priorState?: any, currentTime?: string, utcOffset?: number, enableCompiledLogicCache?: boolean): Promise<TriggerResponse>;
     /**
      * Init the logic of a template.
      * @param {object} data - the data for the template

package/lib/TemplateArchiveProcessor.js

@@ -12,14 +12,49 @@
  * See the License for the specific language governing permissions and
  * limitations under the License.
  */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.TemplateArchiveProcessor = void 0;
+const concerto_core_1 = require("@accordproject/concerto-core");
 const TemplateMarkInterpreter_1 = require("./TemplateMarkInterpreter");
 const markdown_template_1 = require("@accordproject/markdown-template");
 const markdown_transform_1 = require("@accordproject/markdown-transform");
 const TypeScriptToJavaScriptCompiler_1 = require("./TypeScriptToJavaScriptCompiler");
 const JavaScriptEvaluator_1 = require("./JavaScriptEvaluator");
-const declarations_1 = require("./runtime/declarations");
+const LLMExecutor_1 = require("./llm/LLMExecutor");
+const utils_1 = require("./utils");
 /**
  * A template archive processor: can draft content using the
  * templatemark for the archive and trigger the logic of the archive
@@ -28,9 +63,11 @@ class TemplateArchiveProcessor {
     /**
      * Creates a template archive processor
      * @param {Template} template - the template to be used by the processor
+     * @param {LLMExecutorConfig} [llmConfig] - optional LLM fallback configuration
      */
-    constructor(template) {
+    constructor(template, llmConfig) {
         this.template = template;
+        this.llmConfig = llmConfig;
     }
     /**
      * Drafts a template by merging it with data
@@ -50,11 +87,8 @@ class TemplateArchiveProcessor {
         const templateMarkTransformer = new markdown_template_1.TemplateMarkTransformer();
         const templateMarkDom = templateMarkTransformer.fromMarkdownTemplate({ content: this.template.getTemplate() }, modelManager, templateKind);
         const now = currentTime ? currentTime : new Date().toISOString();
-        // console.log(JSON.stringify(templateMarkDom, null, 2));
         const ciceroMark = await engine.generate(templateMarkDom, data, { now });
-        // console.log(JSON.stringify(ciceroMark));
         const result = (0, markdown_transform_1.transform)(ciceroMark.toJSON(), 'ciceromark', ['ciceromark_unquoted', format], null, options);
-        // console.log(result);
         return result;
     }
     /**
@@ -70,14 +104,37 @@ class TemplateArchiveProcessor {
         if (logicManager.getLanguage() === 'typescript') {
             const compiledCode = {};
             const tsFiles = logicManager.getScriptManager().getScriptsForTarget('typescript');
+            const logicScript = tsFiles.find((tsFile) => tsFile.getIdentifier() === 'logic/logic.ts');
+            await this.assertTemplateLogicSubclass(logicScript);
             for (let n = 0; n < tsFiles.length; n++) {
                 const tsFile = tsFiles[n];
                 const compiler = new TypeScriptToJavaScriptCompiler_1.TypeScriptToJavaScriptCompiler(this.template.getModelManager(), this.template.getTemplateModel().getFullyQualifiedName());
                 await compiler.initialize();
-                // add the runtime type definitions to all ts files??
-                const code = `${Buffer.from(declarations_1.SMART_LEGAL_CONTRACT_BASE64, 'base64').toString()}
-                ${tsFile.getContents()}`;
-                const result = compiler.compile(code);
+                // The runtime type declarations (IConcept, TemplateLogic, etc.) are
+                // provided by the compilation context, with the State / Request / Response /
+                // Event type positions bound to the model-derived Runtime* unions (the
+                // concrete base plus its subclasses).
+                const result = compiler.compile(tsFile.getContents());
+                // Surface the runtime-hierarchy constraint violation (TS2344) as a hard
+                // error. The state type argument must satisfy the RuntimeState union; a type
+                // that is structurally incompatible with the base (e.g. a concept with no
+                // $identifier used as state, or an emit that is not assignable to the base
+                // Event) fails the constraint. Structural matches to the bare base are
+                // allowed here and are instead checked nominally at runtime
+                // (assertRuntimeHierarchy). Scoped to the logic entry point and to TS2344 so
+                // that unrelated diagnostics (and non-logic scripts such as README.md) do
+                // not turn into hard failures.
+                const isLogicEntry = tsFile.getIdentifier().endsWith('logic.ts');
+                if (isLogicEntry) {
+                    const hierarchyErrors = (result.errors || [])
+                        .filter(e => e.category === 1 && e.code === 2344);
+                    if (hierarchyErrors.length > 0) {
+                        const message = hierarchyErrors.map(e => e.renderedMessage).join('\n');
+                        throw new Error('Invalid template: State, Request, Response and Event declarations must ' +
+                            'be, or extend, their runtime base types (org.accordproject.runtime ' +
+                            `State / Request / Response and the Concerto Event).\n${message}`);
+                    }
+                }
                 compiledCode[tsFile.getIdentifier()] = result;
             }
             if (enableCompiledLogicCache) {
@@ -90,17 +147,131 @@ class TemplateArchiveProcessor {
         }
     }
     /**
-     * Trigger the logic of a template.
-     * @param {object} data - the data for the template
-     * @param {object} request - the request to send to the template logic
-     * @param {object} state - the current state of the template
-     * @param {[string]} currentTime - the current time, defaults to now
-     * @param {[number]} utcOffset - the UTC offset, defaults to zero
-     * @param {boolean} [enableCompiledLogicCache] - whether to use the compiled logic cache
+     * Asserts that a runtime payload's declared type is, or extends, the given runtime
+     * base type. This enforces the runtime class hierarchy nominally (by `$class`), which
+     * the type system cannot: request is a bivariant `trigger` parameter, and State's
+     * generated interface is structurally satisfied by any identified concept. Using the
+     * model's own assignability, the bare base type and any subclass are accepted while a
+     * plain concept that does not extend the base is rejected.
+     * @param {any} payload - a serialized Concerto object (has a `$class`), or undefined
+     * @param {string} baseFqn - the fully-qualified name of the runtime base type
+     * @param {string} role - the payload's role, used in the error message
+     * @throws {Error} if the payload's type is not the base type or a subclass of it
+     */
+    assertRuntimeHierarchy(payload, baseFqn, role) {
+        if (!payload || !payload.$class) {
+            return;
+        }
+        if (!(0, utils_1.isAssignableTo)(this.template.getModelManager(), payload.$class, baseFqn)) {
+            throw new Error(`Invalid ${role}: '${payload.$class}' must be, or extend, the runtime ` +
+                `${role} type (${baseFqn}).`);
+        }
+    }
+    /**
+     * Populates the `contract` back-reference that `org.accordproject.runtime.Obligation`
+     * (and therefore any event that extends it, e.g. a template's `PaymentObligationEvent`)
+     * requires, so that template logic never has to set it explicitly.
+     *
+     * Only events whose `contract` field is not already set are touched, so template logic
+     * that deliberately points an obligation at a different contract is left alone. Filling
+     * the field in is only meaningful when the template's own data model is itself a
+     * `Contract` (or a subtype of it) - that's the only instance in scope at `trigger()` time
+     * that the relationship is allowed to point to. The `Serializer` this class uses is
+     * constructed with `acceptResourcesForRelationships: true`, so handing it the full `data`
+     * resource is enough for it to resolve the relationship from that resource's own
+     * `$class`/identifier.
+     * @param {Event[]} events - the events returned by the template logic, mutated in place
+     * @param {any} data - the contract/clause data instance passed into trigger()
+     * @throws {Error} if an Obligation-derived event is missing `contract` and the template's
+     * data model does not extend Contract, so there is nothing valid to auto-populate with
+     */
+    populateObligationBackReferences(events, data) {
+        const modelManager = this.template.getModelManager();
+        events.forEach((event) => {
+            if (!event || !event.$class || event.contract) {
+                return;
+            }
+            if (!(0, utils_1.isAssignableTo)(modelManager, event.$class, utils_1.RUNTIME_OBLIGATION_FQN)) {
+                return;
+            }
+            if (data && data.$class && (0, utils_1.isAssignableTo)(modelManager, data.$class, utils_1.RUNTIME_CONTRACT_FQN)) {
+                // Relationship fields must be a "<fq-class>#<id>" string, not the full resource.
+                // Assigning `data` directly (as before) satisfies acceptResourcesForRelationships
+                // during population, but validate() then rejects it: that flag only relaxes what
+                // the populator will accept as *input*, it doesn't change what a relationship field
+                // is allowed to *hold* afterward - it still must be a Relationship, not a Resource.
+                const classDecl = modelManager.getType(data.$class);
+                const idField = classDecl.getIdentifierFieldName();
+                const idValue = idField ? data[idField] : undefined;
+                if (!idField || idValue === undefined) {
+                    throw new Error(`Cannot populate the required 'contract' back-reference on event '${event.$class}': ` +
+                        `the data model '${data.$class}' has no resolvable identifier value for field '${idField}'.`);
+                }
+                event.contract = `${idValue}`;
+                return;
+            }
+            throw new Error(`Cannot populate the required 'contract' back-reference on event '${event.$class}': ` +
+                `it extends ${utils_1.RUNTIME_OBLIGATION_FQN}, but this template's data model ` +
+                `('${data?.$class ?? 'undefined'}') does not extend ${utils_1.RUNTIME_CONTRACT_FQN}. Either ` +
+                "change the template model to extend Contract, or have the template logic set " +
+                "'contract' explicitly on the event before returning it.");
+        });
+    }
+    async assertTemplateLogicSubclass(tsFile) {
+        if (!tsFile) {
+            throw new Error('Template logic compilation requires a logic/logic.ts file.');
+        }
+        const tsImport = await Promise.resolve().then(() => __importStar(require('typescript')));
+        const tsModule = ('default' in tsImport && tsImport.default ? tsImport.default : tsImport);
+        const sourceFile = tsModule.createSourceFile(tsFile.getIdentifier(), tsFile.getContents(), tsModule.ScriptTarget.Latest, true, tsModule.ScriptKind.TS);
+        const hasTemplateLogicSubclass = sourceFile.statements.some((statement) => {
+            if (!tsModule.isClassDeclaration(statement) || !statement.heritageClauses) {
+                return false;
+            }
+            return statement.heritageClauses.some((clause) => clause.token === tsModule.SyntaxKind.ExtendsKeyword &&
+                clause.types.some((heritageType) => {
+                    const expression = heritageType.expression;
+                    return (tsModule.isIdentifier(expression) && expression.text === 'TemplateLogic') ||
+                        (tsModule.isPropertyAccessExpression(expression) && expression.name.text === 'TemplateLogic');
+                }));
+        });
+        if (!hasTemplateLogicSubclass) {
+            throw new Error(`Template logic compilation requires ${tsFile.getIdentifier()} to define a class extending TemplateLogic.`);
+        }
+    }
+    /**
+     * Determines whether LLM fallback is enabled.
+     * @returns {boolean} true if an LLM config is present and not disabled
+     */
+    shouldUseLLM() {
+        return !!this.llmConfig && this.llmConfig.mode !== 'disabled';
+    }
+    /**
+     * Constructs an LLM executor for this template.
+     * @returns {LLMExecutor} the LLM executor
+     * @throws {Error} if no LLM config is present
+     */
+    makeLLMExecutor() {
+        if (!this.llmConfig) {
+            throw new Error('LLM fallback requested but llmConfig is missing');
+        }
+        if (!this.llmExecutor) {
+            this.llmExecutor = new LLMExecutor_1.LLMExecutor(this.template, this.llmConfig);
+        }
+        return this.llmExecutor;
+    }
+    /**
+     * Executes the template's compiled TypeScript trigger logic.
+     * @param {any} data - the data for the template
+     * @param {any} request - the request to send to the template logic
+     * @param {any} [priorState] - the state produced by init() (or a previous
+     * trigger()); required for stateful templates, ignored for stateless ones
+     * @param {string} [currentTime] - the current time, defaults to now
+     * @param {number} [utcOffset] - the UTC offset, defaults to zero
      * @returns {Promise<TriggerResponse>} the response and any events
      */
-    async trigger(data, request, state, currentTime, utcOffset, enableCompiledLogicCache) {
-        const compiledCode = await this.compileLogic(enableCompiledLogicCache);
+    async executeTypeScriptTrigger(data, request, priorState, currentTime, utcOffset) {
+        const compiledCode = await this.compileLogic();
         const resolvedTime = currentTime ?? new Date().toISOString();
         const resolvedOffset = utcOffset ?? 0;
         const evaluator = new JavaScriptEvaluator_1.JavaScriptEvaluator();
@@ -110,7 +281,7 @@ class TemplateArchiveProcessor {
             functionName: 'trigger',
             code: compiledCode['logic/logic.ts'].code, // TODO DCS - how to find the code to run?
             argumentNames: ['data', 'request', 'state'],
-            arguments: [data, request, state, resolvedTime, resolvedOffset]
+            arguments: [data, request, priorState, resolvedTime, resolvedOffset]
         });
         if (evalResponse.result) {
             return evalResponse.result;
@@ -120,15 +291,21 @@ class TemplateArchiveProcessor {
         }
     }
     /**
-     * Init the logic of a template.
-     * @param {object} data - the data for the template
-     * @param {[string]} currentTime - the current time, defaults to now
-     * @param {[number]} utcOffset - the UTC offset, defaults to zero
-     * @param {boolean} [enableCompiledLogicCache] - whether to use the compiled logic cache
+     * Executes the template's compiled TypeScript init logic. Returns an empty
+     * state when the compiled logic defines no `init` method (stateless template).
+     * @param {any} data - the data for the template
+     * @param {string} [currentTime] - the current time, defaults to now
+     * @param {number} [utcOffset] - the UTC offset, defaults to zero
      * @returns {Promise<InitResponse>} the new state
      */
-    async init(data, currentTime, utcOffset, enableCompiledLogicCache) {
-        const compiledCode = await this.compileLogic(enableCompiledLogicCache);
+    async executeTypeScriptInit(data, currentTime, utcOffset) {
+        const compiledCode = await this.compileLogic();
+        const logicCode = compiledCode['logic/logic.ts']?.code;
+        // Check if the compiled code even contains an `init` method before calling it
+        if (!logicCode || (!logicCode.includes('init(') && !logicCode.includes('init ('))) {
+            // Stateless template — no init method defined, return empty state
+            return { state: {} };
+        }
         const resolvedTime = currentTime ?? new Date().toISOString();
         const resolvedOffset = utcOffset ?? 0;
         const evaluator = new JavaScriptEvaluator_1.JavaScriptEvaluator();
@@ -136,7 +313,7 @@ class TemplateArchiveProcessor {
             templateLogic: true,
             verbose: false,
             functionName: 'init',
-            code: compiledCode['logic/logic.ts'].code, // TODO DCS - how to find the code to run?
+            code: logicCode, // TODO DCS - how to find the code to run?
             argumentNames: ['data'],
             arguments: [data, resolvedTime, resolvedOffset]
         });
@@ -147,6 +324,124 @@ class TemplateArchiveProcessor {
             throw new Error('Init failed with message: ' + evalResponse.message);
         }
     }
+    /**
+     * Trigger the logic of a template.
+     *
+     * Stateful templates (`this.template.isStateful()`) carry state across
+     * executions, so they must always be seeded with `priorState` — the state
+     * returned by a prior call to {@link init} (or by a prior call to
+     * `trigger`) — before a request can be evaluated. There is no implicit
+     * "empty" state for a template that declares custom State fields; calling
+     * `trigger` without `priorState` for such a template throws. Stateless
+     * templates ignore `priorState` entirely.
+     * @param {object} data - the data for the template
+     * @param {object} request - the request to send to the template logic
+     * @param {object} priorState - the state to evaluate the request against.
+     * For stateful templates this is required and must be the state produced
+     * by init() or a previous trigger(); for stateless templates it is ignored.
+     * @param {[string]} currentTime - the current time, defaults to now
+     * @param {[number]} utcOffset - the UTC offset, defaults to zero
+     * @param {boolean} [enableCompiledLogicCache] - whether to use the compiled logic cache
+     * @returns {Promise<TriggerResponse>} the response and any events
+     * @throws {Error} if the template is stateful and no priorState is supplied, or if an
+     * emitted event extends `org.accordproject.runtime.Obligation` and its `contract`
+     * back-reference can't be auto-populated (see {@link populateObligationBackReferences})
+     */
+    async trigger(data, request, priorState, currentTime, utcOffset, enableCompiledLogicCache) {
+        const factory = new concerto_core_1.Factory(this.template.getModelManager());
+        const serializer = new concerto_core_1.Serializer(factory, this.template.getModelManager(), { validate: true });
+        // Stateful templates must always be triggered against the state produced by
+        // init() (or a previous trigger()) — there is no implicit "empty" state for
+        // a template that declares custom State fields. Stateless templates have no
+        // persistent state, so priorState is not required for them.
+        if (this.template.isStateful() && (!priorState || Object.keys(priorState).length === 0)) {
+            throw new Error('Stateful templates require priorState: call init() first and pass its ' +
+                'returned state (or the state returned by a previous trigger()) as priorState.');
+        }
+        // validate inputs before execution. A stateless template's init returns an empty
+        // placeholder state ({}); skip only that. Any other state - including a non-empty
+        // object with no $class - is validated normally (and fails if malformed).
+        if (data)
+            serializer.fromJSON(data);
+        if (request)
+            serializer.fromJSON(request);
+        if (priorState && Object.keys(priorState).length > 0)
+            serializer.fromJSON(priorState);
+        // enforce the runtime class hierarchy on the inputs
+        this.assertRuntimeHierarchy(request, utils_1.RUNTIME_REQUEST_FQN, 'request');
+        this.assertRuntimeHierarchy(priorState, utils_1.RUNTIME_STATE_FQN, 'state');
+        let triggerResponse;
+        const forceLLM = this.llmConfig?.mode === 'force';
+        // Run the template's TypeScript logic unless the caller forces the LLM path.
+        if (!forceLLM && this.template.hasLogic()) {
+            if (enableCompiledLogicCache) {
+                await this.compileLogic(true);
+            }
+            triggerResponse = await this.executeTypeScriptTrigger(data, request, priorState, currentTime, utcOffset);
+        }
+        else if (forceLLM || this.shouldUseLLM()) {
+            // Otherwise use the LLM executor
+            triggerResponse = await this.makeLLMExecutor().trigger(data, request, priorState, currentTime, utcOffset);
+        }
+        else {
+            throw new Error('No executable logic found and LLM fallback is disabled');
+        }
+        // validate outputs after execution (skip only the empty {} placeholder state)
+        if (triggerResponse.state && Object.keys(triggerResponse.state).length > 0)
+            serializer.fromJSON(triggerResponse.state);
+        if (triggerResponse.result)
+            serializer.fromJSON(triggerResponse.result);
+        if (triggerResponse.events && Array.isArray(triggerResponse.events)) {
+            this.populateObligationBackReferences(triggerResponse.events, data);
+            triggerResponse.events.forEach(e => serializer.fromJSON(e));
+        }
+        // enforce the runtime class hierarchy on the outputs
+        this.assertRuntimeHierarchy(triggerResponse.state, utils_1.RUNTIME_STATE_FQN, 'state');
+        this.assertRuntimeHierarchy(triggerResponse.result, utils_1.RUNTIME_RESPONSE_FQN, 'response');
+        if (triggerResponse.events && Array.isArray(triggerResponse.events)) {
+            triggerResponse.events.forEach(e => this.assertRuntimeHierarchy(e, utils_1.BASE_EVENT_FQN, 'event'));
+        }
+        return triggerResponse;
+    }
+    /**
+     * Init the logic of a template.
+     * @param {object} data - the data for the template
+     * @param {[string]} currentTime - the current time, defaults to now
+     * @param {[number]} utcOffset - the UTC offset, defaults to zero
+     * @param {boolean} [enableCompiledLogicCache] - whether to use the compiled logic cache
+     * @returns {Promise<InitResponse>} the new state
+     */
+    async init(data, currentTime, utcOffset, enableCompiledLogicCache) {
+        const factory = new concerto_core_1.Factory(this.template.getModelManager());
+        const serializer = new concerto_core_1.Serializer(factory, this.template.getModelManager(), { validate: true });
+        // validate inputs before execution
+        if (data)
+            serializer.fromJSON(data);
+        let initResponse;
+        const forceLLM = this.llmConfig?.mode === 'force';
+        // Run the template's TypeScript logic unless the caller forces the LLM path.
+        if (!forceLLM && this.template.hasLogic()) {
+            if (enableCompiledLogicCache) {
+                await this.compileLogic(true);
+            }
+            initResponse = await this.executeTypeScriptInit(data, currentTime, utcOffset);
+        }
+        else if (forceLLM || this.shouldUseLLM()) {
+            // Otherwise use the LLM executor
+            initResponse = await this.makeLLMExecutor().init(data, currentTime, utcOffset);
+        }
+        else {
+            throw new Error('No executable logic found and LLM fallback is disabled');
+        }
+        // validate outputs after execution. A stateless template returns an empty
+        // placeholder state ({}); skip only that - any other state is validated normally.
+        if (initResponse.state && Object.keys(initResponse.state).length > 0)
+            serializer.fromJSON(initResponse.state);
+        // enforce the runtime class hierarchy on the output state (skipped for the empty
+        // state of a stateless template, which has no $class)
+        this.assertRuntimeHierarchy(initResponse.state, utils_1.RUNTIME_STATE_FQN, 'state');
+        return initResponse;
+    }
 }
 exports.TemplateArchiveProcessor = TemplateArchiveProcessor;
 //# sourceMappingURL=TemplateArchiveProcessor.js.map

package/lib/TemplateArchiveProcessor.js.map

@@ -1 +1 @@
-{"version":3,"file":"TemplateArchiveProcessor.js","sourceRoot":"","sources":["../src/TemplateArchiveProcessor.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;;AAKH,uEAAoE;AACpE,wEAA2E;AAC3E,0EAA8D;AAC9D,qFAAkF;AAGlF,+DAA4D;AAC5D,yDAAqE;AAgBrE;;;GAGG;AACH,MAAa,wBAAwB;IAIjC;;;OAGG;IACH,YAAY,QAAkB;QAC1B,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC7B,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,KAAK,CAAC,IAAS,EAAE,MAAc,EAAE,OAAY,EAAE,WAAoB;QACrE,QAAQ;QACR,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC7C,MAAM,YAAY,GAAG,QAAQ,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC;QAE9E,eAAe;QACf,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC;QACrD,MAAM,MAAM,GAAG,IAAI,iDAAuB,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;QAC7D,MAAM,uBAAuB,GAAG,IAAI,2CAAuB,EAAE,CAAC;QAC9D,MAAM,eAAe,GAAG,uBAAuB,CAAC,oBAAoB,CAChE,EAAE,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,EAAE,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;QAC1E,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACjE,yDAAyD;QACzD,MAAM,UAAU,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,eAAe,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QACzE,2CAA2C;QAC3C,MAAM,MAAM,GAAG,IAAA,8BAAS,EAAC,UAAU,CAAC,MAAM,EAAE,EAAE,YAAY,EAAE,CAAC,qBAAqB,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5G,uBAAuB;QACvB,OAAO,MAAM,CAAC;IAElB,CAAC;IAGD;;;;OAIG;IACH,KAAK,CAAC,YAAY,CAAC,2BAAoC,KAAK;QACxD,IAAI,wBAAwB,IAAI,IAAI,CAAC,kBAAkB,EAAE,CAAC;YACtD,OAAO,IAAI,CAAC,kBAAkB,CAAC;QACnC,CAAC;QAED,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC;QACrD,IAAG,YAAY,CAAC,WAAW,EAAE,KAAK,YAAY,EAAE,CAAC;YAC7C,MAAM,YAAY,GAAkC,EAAE,CAAC;YACvD,MAAM,OAAO,GAAiB,YAAY,CAAC,gBAAgB,EAAE,CAAC,mBAAmB,CAAC,YAAY,CAAC,CAAC;YAChG,KAAI,IAAI,CAAC,GAAC,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACnC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;gBAE1B,MAAM,QAAQ,GAAG,IAAI,+DAA8B,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,EAC/E,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC,qBAAqB,EAAE,CAAC,CAAC;gBAE9D,MAAM,QAAQ,CAAC,UAAU,EAAE,CAAC;gBAE5B,qDAAqD;gBACrD,MAAM,IAAI,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,0CAA2B,EAAE,QAAQ,CAAC,CAAC,QAAQ,EAAE;kBAC3E,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC;gBAEzB,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBACtC,YAAY,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,GAAG,MAAM,CAAC;YAClD,CAAC;YACD,IAAI,wBAAwB,EAAE,CAAC;gBAC3B,IAAI,CAAC,kBAAkB,GAAG,YAAY,CAAC;YAC3C,CAAC;YACD,OAAO,YAAY,CAAC;QACxB,CAAC;aACI,CAAC;YACF,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QACjE,CAAC;IACL,CAAC;IAED;;;;;;;;;OASG;IACH,KAAK,CAAC,OAAO,CAAC,IAAS,EAAE,OAAY,EAAE,KAAW,EAAE,WAAoB,EAAE,SAAkB,EAAE,wBAAkC;QAC5H,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,wBAAwB,CAAC,CAAC;QACvE,MAAM,YAAY,GAAG,WAAW,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC7D,MAAM,cAAc,GAAG,SAAS,IAAI,CAAC,CAAC;QACtC,MAAM,SAAS,GAAG,IAAI,yCAAmB,EAAE,CAAC;QAC5C,MAAM,YAAY,GAAG,MAAM,SAAS,CAAC,eAAe,CAAE;YAClD,aAAa,EAAE,IAAI;YACnB,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,SAAS;YACvB,IAAI,EAAE,YAAY,CAAC,gBAAgB,CAAC,CAAC,IAAI,EAAE,0CAA0C;YACrF,aAAa,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC;YAC3C,SAAS,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,cAAc,CAAC;SAClE,CAAC,CAAC;QACH,IAAG,YAAY,CAAC,MAAM,EAAE,CAAC;YACrB,OAAO,YAAY,CAAC,MAAyB,CAAC;QAClD,CAAC;aACI,CAAC;YACF,MAAM,IAAI,KAAK,CAAC,+BAA+B,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QAC5E,CAAC;IACL,CAAC;IAGD;;;;;;;OAOG;IACH,KAAK,CAAC,IAAI,CAAC,IAAS,EAAE,WAAoB,EAAE,SAAkB,EAAE,wBAAkC;QAC9F,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,wBAAwB,CAAC,CAAC;QACvE,MAAM,YAAY,GAAG,WAAW,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC7D,MAAM,cAAc,GAAG,SAAS,IAAI,CAAC,CAAC;QACtC,MAAM,SAAS,GAAG,IAAI,yCAAmB,EAAE,CAAC;QAC5C,MAAM,YAAY,GAAG,MAAM,SAAS,CAAC,eAAe,CAAE;YAClD,aAAa,EAAE,IAAI;YACnB,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;YACpB,IAAI,EAAE,YAAY,CAAC,gBAAgB,CAAC,CAAC,IAAI,EAAE,0CAA0C;YACrF,aAAa,EAAE,CAAC,MAAM,CAAC;YACvB,SAAS,EAAE,CAAC,IAAI,EAAE,YAAY,EAAE,cAAc,CAAC;SAClD,CAAC,CAAC;QACH,IAAG,YAAY,CAAC,MAAM,EAAE,CAAC;YACrB,OAAO,YAAY,CAAC,MAAsB,CAAC;QAC/C,CAAC;aACI,CAAC;YACF,MAAM,IAAI,KAAK,CAAC,4BAA4B,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACzE,CAAC;IACL,CAAC;CACJ;AA7ID,4DA6IC"}
+{"version":3,"file":"TemplateArchiveProcessor.js","sourceRoot":"","sources":["../src/TemplateArchiveProcessor.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAKH,gEAAmE;AACnE,uEAAoE;AACpE,wEAA2E;AAC3E,0EAA8D;AAC9D,qFAAkF;AAIlF,+DAA4D;AAC5D,mDAAgD;AAEhD,mCAQiB;AAqBjB;;;GAGG;AACH,MAAa,wBAAwB;IAajC;;;;OAIG;IACH,YAAY,QAAkB,EAAE,SAA6B;QACzD,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;IAC/B,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,KAAK,CAAC,IAAS,EAAE,MAAc,EAAE,OAAY,EAAE,WAAoB;QACrE,QAAQ;QACR,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC7C,MAAM,YAAY,GAAG,QAAQ,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC;QAE9E,eAAe;QACf,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC;QACrD,MAAM,MAAM,GAAG,IAAI,iDAAuB,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;QAC7D,MAAM,uBAAuB,GAAG,IAAI,2CAAuB,EAAE,CAAC;QAC9D,MAAM,eAAe,GAAG,uBAAuB,CAAC,oBAAoB,CAChE,EAAE,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,EAAE,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;QAC1E,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACjE,MAAM,UAAU,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,eAAe,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QACzE,MAAM,MAAM,GAAG,IAAA,8BAAS,EAAC,UAAU,CAAC,MAAM,EAAE,EAAE,YAAY,EAAE,CAAC,qBAAqB,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5G,OAAO,MAAM,CAAC;IAClB,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,YAAY,CAAC,2BAAoC,KAAK;QACxD,IAAI,wBAAwB,IAAI,IAAI,CAAC,kBAAkB,EAAE,CAAC;YACtD,OAAO,IAAI,CAAC,kBAAkB,CAAC;QACnC,CAAC;QAED,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC;QACrD,IAAI,YAAY,CAAC,WAAW,EAAE,KAAK,YAAY,EAAE,CAAC;YAC9C,MAAM,YAAY,GAAmC,EAAE,CAAC;YACxD,MAAM,OAAO,GAAkB,YAAY,CAAC,gBAAgB,EAAE,CAAC,mBAAmB,CAAC,YAAY,CAAC,CAAC;YACjG,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,EAAE,KAAK,gBAAgB,CAAC,CAAC;YAC1F,MAAM,IAAI,CAAC,2BAA2B,CAAC,WAAW,CAAC,CAAC;YACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;gBAE1B,MAAM,QAAQ,GAAG,IAAI,+DAA8B,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,EAC/E,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC,qBAAqB,EAAE,CAAC,CAAC;gBAE9D,MAAM,QAAQ,CAAC,UAAU,EAAE,CAAC;gBAE5B,oEAAoE;gBACpE,6EAA6E;gBAC7E,uEAAuE;gBACvE,sCAAsC;gBACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;gBAEtD,wEAAwE;gBACxE,6EAA6E;gBAC7E,0EAA0E;gBAC1E,2EAA2E;gBAC3E,uEAAuE;gBACvE,4DAA4D;gBAC5D,6EAA6E;gBAC7E,0EAA0E;gBAC1E,+BAA+B;gBAC/B,MAAM,YAAY,GAAG,MAAM,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;gBACjE,IAAI,YAAY,EAAE,CAAC;oBACf,MAAM,eAAe,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;yBACxC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;oBACtD,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBAC7B,MAAM,OAAO,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;wBACvE,MAAM,IAAI,KAAK,CACX,yEAAyE;4BACzE,qEAAqE;4BACrE,wDAAwD,OAAO,EAAE,CAAC,CAAC;oBAC3E,CAAC;gBACL,CAAC;gBAED,YAAY,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,GAAG,MAAM,CAAC;YAClD,CAAC;YACD,IAAI,wBAAwB,EAAE,CAAC;gBAC3B,IAAI,CAAC,kBAAkB,GAAG,YAAY,CAAC;YAC3C,CAAC;YACD,OAAO,YAAY,CAAC;QACxB,CAAC;aAAM,CAAC;YACJ,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QACjE,CAAC;IACL,CAAC;IAED;;;;;;;;;;;OAWG;IACK,sBAAsB,CAAC,OAAY,EAAE,OAAe,EAAE,IAAY;QACtE,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YAC9B,OAAO;QACX,CAAC;QACD,IAAI,CAAC,IAAA,sBAAc,EAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;YAC5E,MAAM,IAAI,KAAK,CACX,WAAW,IAAI,MAAM,OAAO,CAAC,MAAM,oCAAoC;gBACvE,GAAG,IAAI,UAAU,OAAO,IAAI,CAAC,CAAC;QACtC,CAAC;IACL,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACK,gCAAgC,CAAC,MAAe,EAAE,IAAS;QAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC;QACrD,MAAM,CAAC,OAAO,CAAC,CAAC,KAAU,EAAE,EAAE;YAC1B,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAC5C,OAAO;YACX,CAAC;YACD,IAAI,CAAC,IAAA,sBAAc,EAAC,YAAY,EAAE,KAAK,CAAC,MAAM,EAAE,8BAAsB,CAAC,EAAE,CAAC;gBACtE,OAAO;YACX,CAAC;YACD,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,IAAI,IAAA,sBAAc,EAAC,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE,4BAAoB,CAAC,EAAE,CAAC;gBACzF,iFAAiF;gBACjF,kFAAkF;gBAClF,iFAAiF;gBACjF,oFAAoF;gBACpF,oFAAoF;gBACpF,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACpD,MAAM,OAAO,GAAG,SAAS,CAAC,sBAAsB,EAAE,CAAC;gBACnD,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACpD,IAAI,CAAC,OAAO,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBACpC,MAAM,IAAI,KAAK,CACX,oEAAoE,KAAK,CAAC,MAAM,KAAK;wBACrF,mBAAmB,IAAI,CAAC,MAAM,mDAAmD,OAAO,IAAI,CAC/F,CAAC;gBACN,CAAC;gBACD,KAAK,CAAC,QAAQ,GAAG,GAAG,OAAO,EAAE,CAAC;gBAC9B,OAAO;YACX,CAAC;YACD,MAAM,IAAI,KAAK,CACX,oEAAoE,KAAK,CAAC,MAAM,KAAK;gBACrF,cAAc,8BAAsB,mCAAmC;gBACvE,KAAK,IAAI,EAAE,MAAM,IAAI,WAAW,sBAAsB,4BAAoB,WAAW;gBACrF,+EAA+E;gBAC/E,yDAAyD,CAC5D,CAAC;QACN,CAAC,CAAC,CAAC;IACP,CAAC;IAEO,KAAK,CAAC,2BAA2B,CAAC,MAAe;QACrD,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;QAClF,CAAC;QAED,MAAM,QAAQ,GAAG,wDAAa,YAAY,GAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,CAAC,SAAS,IAAI,QAAQ,IAAI,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAE3F,MAAM,UAAU,GAAG,QAAQ,CAAC,gBAAgB,CACxC,MAAM,CAAC,aAAa,EAAE,EACtB,MAAM,CAAC,WAAW,EAAE,EACpB,QAAQ,CAAC,YAAY,CAAC,MAAM,EAC5B,IAAI,EACJ,QAAQ,CAAC,UAAU,CAAC,EAAE,CACzB,CAAC;QAEF,MAAM,wBAAwB,GAAG,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;YACtE,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,eAAe,EAAE,CAAC;gBACxE,OAAO,KAAK,CAAC;YACjB,CAAC;YAED,OAAO,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7C,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,UAAU,CAAC,cAAc;gBACnD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,EAAE;oBAC/B,MAAM,UAAU,GAAG,YAAY,CAAC,UAAU,CAAC;oBAC3C,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,KAAK,eAAe,CAAC;wBAC7E,CAAC,QAAQ,CAAC,0BAA0B,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;gBACtG,CAAC,CAAC,CACL,CAAC;QACN,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,wBAAwB,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,uCAAuC,MAAM,CAAC,aAAa,EAAE,6CAA6C,CAAC,CAAC;QAChI,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,YAAY;QAChB,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC;IAClE,CAAC;IAED;;;;OAIG;IACK,eAAe;QACnB,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;YAClB,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;QACvE,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACpB,IAAI,CAAC,WAAW,GAAG,IAAI,yBAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,IAAI,CAAC,WAAW,CAAC;IAC5B,CAAC;IAED;;;;;;;;;OASG;IACK,KAAK,CAAC,wBAAwB,CAAC,IAAS,EAAE,OAAY,EAAE,UAAgB,EAAE,WAAoB,EAAE,SAAkB;QACtH,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,YAAY,EAAE,CAAC;QAC/C,MAAM,YAAY,GAAG,WAAW,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC7D,MAAM,cAAc,GAAG,SAAS,IAAI,CAAC,CAAC;QACtC,MAAM,SAAS,GAAG,IAAI,yCAAmB,EAAE,CAAC;QAC5C,MAAM,YAAY,GAAG,MAAM,SAAS,CAAC,eAAe,CAAC;YACjD,aAAa,EAAE,IAAI;YACnB,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,SAAS;YACvB,IAAI,EAAE,YAAY,CAAC,gBAAgB,CAAC,CAAC,IAAI,EAAE,0CAA0C;YACrF,aAAa,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC;YAC3C,SAAS,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,cAAc,CAAC;SACvE,CAAC,CAAC;QACH,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC;YACtB,OAAO,YAAY,CAAC,MAAyB,CAAC;QAClD,CAAC;aAAM,CAAC;YACJ,MAAM,IAAI,KAAK,CAAC,+BAA+B,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QAC5E,CAAC;IACL,CAAC;IAED;;;;;;;OAOG;IACK,KAAK,CAAC,qBAAqB,CAAC,IAAS,EAAE,WAAoB,EAAE,SAAkB;QACnF,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,YAAY,EAAE,CAAC;QAC/C,MAAM,SAAS,GAAG,YAAY,CAAC,gBAAgB,CAAC,EAAE,IAAI,CAAC;QAEvD,8EAA8E;QAC9E,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YAChF,kEAAkE;YAClE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QACzB,CAAC;QAED,MAAM,YAAY,GAAG,WAAW,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC7D,MAAM,cAAc,GAAG,SAAS,IAAI,CAAC,CAAC;QACtC,MAAM,SAAS,GAAG,IAAI,yCAAmB,EAAE,CAAC;QAC5C,MAAM,YAAY,GAAG,MAAM,SAAS,CAAC,eAAe,CAAC;YACjD,aAAa,EAAE,IAAI;YACnB,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;YACpB,IAAI,EAAE,SAAS,EAAE,0CAA0C;YAC3D,aAAa,EAAE,CAAC,MAAM,CAAC;YACvB,SAAS,EAAE,CAAC,IAAI,EAAE,YAAY,EAAE,cAAc,CAAC;SAClD,CAAC,CAAC;QACH,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC;YACtB,OAAO,YAAY,CAAC,MAAsB,CAAC;QAC/C,CAAC;aAAM,CAAC;YACJ,MAAM,IAAI,KAAK,CAAC,4BAA4B,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACzE,CAAC;IACL,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,KAAK,CAAC,OAAO,CAAC,IAAS,EAAE,OAAY,EAAE,UAAgB,EAAE,WAAoB,EAAE,SAAkB,EAAE,wBAAkC;QACjI,MAAM,OAAO,GAAG,IAAI,uBAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC,CAAC;QAC7D,MAAM,UAAU,GAAG,IAAI,0BAAU,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAC,CAAC,CAAC;QAE/F,4EAA4E;QAC5E,4EAA4E;QAC5E,4EAA4E;QAC5E,4DAA4D;QAC5D,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;YACtF,MAAM,IAAI,KAAK,CACX,wEAAwE;gBACxE,+EAA+E,CAClF,CAAC;QACN,CAAC;QAED,iFAAiF;QACjF,kFAAkF;QAClF,0EAA0E;QAC1E,IAAI,IAAI;YAAE,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,OAAO;YAAE,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAEtF,oDAAoD;QACpD,IAAI,CAAC,sBAAsB,CAAC,OAAO,EAAE,2BAAmB,EAAE,SAAS,CAAC,CAAC;QACrE,IAAI,CAAC,sBAAsB,CAAC,UAAU,EAAE,yBAAiB,EAAE,OAAO,CAAC,CAAC;QAEpE,IAAI,eAAgC,CAAC;QACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,KAAK,OAAO,CAAC;QAElD,6EAA6E;QAC7E,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC;YACxC,IAAI,wBAAwB,EAAE,CAAC;gBAC3B,MAAM,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YAClC,CAAC;YACD,eAAe,GAAG,MAAM,IAAI,CAAC,wBAAwB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;QAC7G,CAAC;aAAM,IAAI,QAAQ,IAAI,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;YACzC,iCAAiC;YACjC,eAAe,GAAG,MAAM,IAAI,CAAC,eAAe,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;QAC9G,CAAC;aAAM,CAAC;YACJ,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;QAC9E,CAAC;QAED,8EAA8E;QAC9E,IAAI,eAAe,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,UAAU,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;QACvH,IAAI,eAAe,CAAC,MAAM;YAAE,UAAU,CAAC,QAAQ,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;QACxE,IAAI,eAAe,CAAC,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;YAClE,IAAI,CAAC,gCAAgC,CAAC,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YACpE,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,CAAC;QAED,qDAAqD;QACrD,IAAI,CAAC,sBAAsB,CAAC,eAAe,CAAC,KAAK,EAAE,yBAAiB,EAAE,OAAO,CAAC,CAAC;QAC/E,IAAI,CAAC,sBAAsB,CAAC,eAAe,CAAC,MAAM,EAAE,4BAAoB,EAAE,UAAU,CAAC,CAAC;QACtF,IAAI,eAAe,CAAC,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;YAClE,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,EAAE,sBAAc,EAAE,OAAO,CAAC,CAAC,CAAC;QACjG,CAAC;QAED,OAAO,eAAe,CAAC;IAC3B,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,IAAI,CAAC,IAAS,EAAE,WAAoB,EAAE,SAAkB,EAAE,wBAAkC;QAC9F,MAAM,OAAO,GAAG,IAAI,uBAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC,CAAC;QAC7D,MAAM,UAAU,GAAG,IAAI,0BAAU,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAC,CAAC,CAAC;QAE/F,mCAAmC;QACnC,IAAI,IAAI;YAAE,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAEpC,IAAI,YAA0B,CAAC;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,KAAK,OAAO,CAAC;QAElD,6EAA6E;QAC7E,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC;YACxC,IAAI,wBAAwB,EAAE,CAAC;gBAC3B,MAAM,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YAClC,CAAC;YACD,YAAY,GAAG,MAAM,IAAI,CAAC,qBAAqB,CAAC,IAAI,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;QAClF,CAAC;aAAM,IAAI,QAAQ,IAAI,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;YACzC,iCAAiC;YACjC,YAAY,GAAG,MAAM,IAAI,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;QACnF,CAAC;aAAM,CAAC;YACJ,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;QAC9E,CAAC;QAED,0EAA0E;QAC1E,kFAAkF;QAClF,IAAI,YAAY,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,UAAU,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAE9G,iFAAiF;QACjF,sDAAsD;QACtD,IAAI,CAAC,sBAAsB,CAAC,YAAY,CAAC,KAAK,EAAE,yBAAiB,EAAE,OAAO,CAAC,CAAC;QAE5E,OAAO,YAAY,CAAC;IACxB,CAAC;CACJ;AAtbD,4DAsbC"}

package/lib/TypeScriptCompilationContext.d.ts

@@ -11,5 +11,32 @@ export declare class TypeScriptCompilationContext {
     templateClass: ClassDeclaration;
     constructor(modelManager: ModelManager, templateConceptFqn?: string);
     getTypeScriptFiles(): Record<string, string>;
+    /**
+     * Builds a TypeScript union type over the concrete types assignable to a runtime
+     * base type (the base itself, when concrete, plus its subclasses), along with the
+     * imports required to reference them. Because the base is included, using the bare
+     * base type or any subclass type-checks. A plain concept that does not extend the
+     * base is still rejected structurally where the base carries a distinguishing member
+     * (Response/Event require `$timestamp`); State carries only `$identifier`, so a
+     * concept-shaped state is admitted here and instead enforced nominally at runtime
+     * (see TemplateArchiveProcessor.assertRuntimeHierarchy). When the base type is absent
+     * the union is `never`.
+     * @param {string} baseFqn the fully-qualified name of the runtime base type
+     * @param {string} aliasPrefix a unique prefix for the imported type aliases
+     * @returns {{imports: string, union: string}} the import statements and union type
+     */
+    private buildRuntimeUnion;
+    /**
+     * Emits the runtime SmartLegalContract declarations (IConcept, TemplateLogic, etc.)
+     * with the State / Request / Response / Event type positions bound to the model-derived
+     * Runtime* unions (the concrete base type plus its subclasses; see buildRuntimeUnion).
+     * Because the concrete base is included, using the bare base type or a subclass
+     * type-checks. Types that are structurally incompatible with the base still fail here
+     * (Response/Event require `$timestamp`); State carries only `$identifier`, so a
+     * concept-shaped state type-checks and is instead enforced nominally at runtime (see
+     * TemplateArchiveProcessor.assertRuntimeHierarchy).
+     * @returns {string} the runtime declarations, as a TypeScript source string
+     */
+    private getRuntimeDeclarations;
     getCompilationContext(): string;
 }