@aid-framework/generator-ts-vercel 0.0.0 → 0.1.39

package/dist/emit/business.js

@@ -0,0 +1,414 @@
+/**
+ * `generated/evals/*` and `generated/business/*`.
+ *
+ * An eval module is generated, not constructed at run time: the dataset, the metrics and
+ * the gate thresholds are all IR inputs, so the harness a failure points at is reviewable
+ * in the diff that changed it.
+ *
+ * A business module is the opposite: generated exactly once and then owned by the
+ * application. `planRegeneration` never overwrites it, which is why the seed has to
+ * compile and fail loudly rather than compile and return a plausible lie.
+ */
+import { className, literal, propertyKey, toSnakeCase } from '../names.js';
+import { business, businessToolPath, evalModulePath, generated, paths, } from './file.js';
+import { arrayLiteral, exportStatement, fits, importStatement, moduleText, objectLiteral, seedText, sortStatements, } from './text.js';
+function metricExpression(metric, indent = '') {
+    switch (metric.kind) {
+        case 'exact':
+            return `new ExactMatch({ name: ${literal('exact')} })`;
+        case 'contains':
+            return `new NormalizedContains({ name: ${literal('contains')} })`;
+        case 'json-schema':
+            return `new JsonSchemaValid({ name: ${literal('json-schema')} })`;
+        case 'assert': {
+            // The parsed predicate lives in a module-level `ASSERT_EXPR` constant, so it
+            // travels as data and the generated eval needs no parser of its own and cannot
+            // disagree with the one that validated the spec. Hoisting it also keeps the
+            // emission one short line whatever the expression's depth.
+            const entries = [
+                ['name', literal('assert')],
+                ['expr', 'ASSERT_EXPR'],
+                ['message', literal(metric.message)],
+            ];
+            const inline = `new AssertMetric(${objectLiteral(entries, '')})`;
+            // The declared message is prose of unbounded length, so the element is the one
+            // thing in `metrics()` that can exceed the width on its own; the object spreads
+            // over lines exactly as `biome` spreads it when that happens.
+            return fits(indent, inline) ? inline : `new AssertMetric(${objectLiteral(entries, indent)})`;
+        }
+        default:
+            return 'unsupportedMetric';
+    }
+}
+/**
+ * A JSON literal that breaks across lines when it does not fit.
+ *
+ * `literal` renders one line always, and a predicate AST nests three or four objects
+ * deep, so reusing it here would emit lines past the formatter's width. Rendered at
+ * indent `''` from a `const`, the continuation lines land exactly where `biome` puts
+ * them, which is what keeps the generated file format-clean in CI.
+ */
+function jsonLiteral(value, indent) {
+    if (Array.isArray(value)) {
+        return arrayLiteral(value.map((item) => jsonLiteral(item, `${indent}  `)), indent);
+    }
+    if (value !== null && typeof value === 'object') {
+        const entries = Object.entries(value)
+            .sort(([a], [b]) => (a < b ? -1 : a > b ? 1 : 0))
+            .map(([key, item]) => [propertyKey(key), jsonLiteral(item, `${indent}  `)]);
+        return objectLiteral(entries, indent);
+    }
+    return literal(value);
+}
+/** The retriever a retrieval eval samples: the eval's own pipeline, else the only one. */
+export function evalRetriever(ir, evalShape) {
+    if (evalShape.target.kind === 'pipeline') {
+        const pipeline = ir.pipelines.find((candidate) => candidate.id === evalShape.target.id);
+        const step = pipeline?.steps.find((candidate) => candidate.kind === 'retrieve');
+        if (step !== undefined && step.kind === 'retrieve')
+            return step.retriever;
+    }
+    return ir.retrievers.length === 1 ? ir.retrievers[0]?.id : undefined;
+}
+function loadDataset(evalShape) {
+    const uri = evalShape.dataset.uri;
+    if (uri === undefined) {
+        return [
+            '  // The spec declares no dataset file, so the suite cannot be loaded from the',
+            '  // repository. Supply cases with Dataset.fromRecords before running it.',
+            `  throw new ConfigurationError(${literal(`eval ${evalShape.id} declares no dataset file`)});`,
+        ];
+    }
+    return [`  return Dataset.fromPath(new URL(${literal(`../../${uri}`)}, import.meta.url));`];
+}
+function datasetBody(evalShape) {
+    return [
+        '/**',
+        ` * Load the dataset the \`${evalShape.id}\` eval declares.`,
+        ' *',
+        ' * Read lazily rather than at import time: the dataset is a file, and importing a',
+        ' * module should not be able to throw because of the working directory.',
+        ' */',
+        'export function dataset(): Dataset {',
+        ...loadDataset(evalShape),
+        '}',
+    ];
+}
+function gateBody(evalShape, metrics) {
+    const maxRegression = literal(evalShape.gate.maxRegression);
+    // A floor belongs to the metric it floors. An `assert` metric is only meaningful when
+    // every case passes, so it carries the declared floor and the runtime checks that floor
+    // before it looks at the regression delta -- a tolerance cannot excuse a false assertion.
+    const floor = evalShape.gate.minMean;
+    const extra = floor === undefined ? '' : ', minMean: floors[metric]';
+    const list = arrayLiteral(metrics.map((metric) => literal(metric)), '  ');
+    const inline = `  const thresholds = ${list}.map((metric) => new Threshold({ metric, maxRegression: ${maxRegression}${extra} }));`;
+    return [
+        '/**',
+        // A spec with no declared floor emits the prose it always emitted, so the shipped
+        // example stays byte for byte what it was.
+        ...(floor === undefined
+            ? [
+                ' * The gate the spec asks for: one absolute-free threshold per emitted metric, each',
+                ' * allowing the declared regression. `minMean` stays unset because the spec carries no',
+                ' * floor, and a floor the spec did not ask for would fail a run for the wrong reason.',
+            ]
+            : [
+                ' * The gate the spec asks for: one threshold per emitted metric, each allowing the',
+                ' * declared regression. `minMean` is set only for the metric the spec floored, and a',
+                ' * floor the spec did not ask for would fail a run for the wrong reason.',
+            ]),
+        ' */',
+        'export function gate(): BaselineGate {',
+        ...(floor === undefined
+            ? []
+            : [`  const floors: Record<string, number> = { assert: ${literal(floor)} };`]),
+        ...(fits('', inline)
+            ? [inline]
+            : [
+                `  const thresholds = ${list}.map(`,
+                `    (metric) => new Threshold({ metric, maxRegression: ${maxRegression}${extra} }),`,
+                '  );',
+            ]),
+        '  return new BaselineGate(thresholds, { metrics: metrics() });',
+        '}',
+    ];
+}
+/**
+ * The `@aid-framework/runtime` names a plain eval module needs: only the metrics the spec
+ * actually asks for, because the emitted module has no other way to use one.
+ */
+function plainEvalImports(evalShape, metrics) {
+    const names = metrics.map((metric) => metric.kind);
+    return [
+        ...(names.includes('assert') ? [{ name: 'AssertMetric', type: false }] : []),
+        { name: 'BaselineGate', type: false },
+        ...(evalShape.dataset.uri === undefined ? [{ name: 'ConfigurationError', type: false }] : []),
+        { name: 'Dataset', type: false },
+        ...(names.includes('exact') ? [{ name: 'ExactMatch', type: false }] : []),
+        { name: 'GatewayRunner', type: false },
+        ...(names.includes('json-schema') ? [{ name: 'JsonSchemaValid', type: false }] : []),
+        ...(names.includes('contains') ? [{ name: 'NormalizedContains', type: false }] : []),
+        { name: 'Threshold', type: false },
+        { name: 'runEvaluation', type: false },
+        { name: 'EvalBaseline', type: true },
+        { name: 'EvalRun', type: true },
+        { name: 'GateResult', type: true },
+        { name: 'Metric', type: true },
+    ];
+}
+function plainEvalModule(evalShape) {
+    const metrics = evalShape.metrics.filter((metric) => metric.kind !== 'retrieval');
+    const names = metrics.map((metric) => metric.kind);
+    const asserted = metrics.find((metric) => metric.kind === 'assert');
+    const header = [
+        importStatement('@aid-framework/runtime', plainEvalImports(evalShape, metrics)),
+        importStatement('../gateway/index.js', [{ name: 'buildGateway', type: false }]),
+    ].join('\n');
+    const body = [
+        ...datasetBody(evalShape),
+        '',
+        ...(asserted === undefined || asserted.kind !== 'assert'
+            ? []
+            : [
+                '/**',
+                ' * The asserted predicate. The IR parsed and checked it, so the generated eval',
+                ' * carries it as data: no expression string is ever evaluated here.',
+                ' */',
+                `const ASSERT_EXPR = ${jsonLiteral(asserted.expr, '')};`,
+                '',
+            ]),
+        '/** The metrics the spec asks for, in declaration order. */',
+        'export function metrics(): readonly Metric[] {',
+        ...(() => {
+            const items = metrics.map((metric) => metricExpression(metric, '    '));
+            const inline = `  return [${items.join(', ')}];`;
+            return fits('', inline)
+                ? [inline]
+                : ['  return [', ...items.map((item) => `    ${item},`), '  ];'];
+        })(),
+        '}',
+        '',
+        ...gateBody(evalShape, names),
+        '',
+        '/** Sample the suite and return the run a baseline gate compares against. */',
+        'export async function sample(options: { readonly runs?: number } = {}): Promise<EvalRun> {',
+        '  const gateway = buildGateway();',
+        `  const runner = new GatewayRunner(gateway, ${literal('default')}, {});`,
+        '  return await runEvaluation(dataset(), (entry) => runner.run(entry), metrics(), {',
+        `    runs: options.runs ?? ${literal(evalShape.gate.samples)},`,
+        '  });',
+        '}',
+        '',
+        '/** Decide whether a run regressed against its baseline. */',
+        'export function evaluate(run: EvalRun, baseline: EvalBaseline): GateResult {',
+        '  return gate().evaluate(run, baseline);',
+        '}',
+    ].join('\n');
+    return moduleText(header, body);
+}
+function retrievalEvalModule(ir, evalShape, metric) {
+    const retriever = evalRetriever(ir, evalShape);
+    const expectDocs = metric.kind === 'retrieval' ? [...metric.expectDocs] : [];
+    const k = metric.kind === 'retrieval' ? metric.k : 5;
+    const header = [
+        importStatement('@aid-framework/runtime', [
+            { name: 'ConfigurationError', type: false },
+            { name: 'Dataset', type: false },
+            { name: 'RetrievalCase', type: false },
+            { name: 'RetrievalGate', type: false },
+            { name: 'RetrievalMetricSpec', type: false },
+            { name: 'Threshold', type: false },
+            { name: 'retrievalMetrics', type: false },
+            { name: 'EvalBaseline', type: true },
+            { name: 'EvalRun', type: true },
+            { name: 'GateResult', type: true },
+        ]),
+        importStatement('../retrieval/index.js', [{ name: 'buildRetrievers', type: false }]),
+    ].join('\n');
+    const body = [
+        "// The expected documents and `k` are the IR's `retrieval` metric node, so every case",
+        '// in this dataset asks the same question of the same pages: the IR carries the',
+        '// expectation on the metric, not per case, and inventing a per-case split here would',
+        '// be an expectation no spec declared.',
+        `const EXPECT_DOCS: readonly string[] = ${arrayLiteral(expectDocs.map((doc) => literal(doc)), '')};`,
+        `const TOP_K = ${literal(k)};`,
+        `const RETRIEVER = ${literal(retriever ?? '')};`,
+        '',
+        ...datasetBody(evalShape),
+        '',
+        '/** One ranked, cited result per case, scored by the metrics retrieval ships. */',
+        'export function cases(data: Dataset): readonly RetrievalCase[] {',
+        '  const spec = new RetrievalMetricSpec({ expectDocs: [...EXPECT_DOCS], k: TOP_K });',
+        '  return data.cases.map((entry) =>',
+        '    RetrievalCase.fromSpec({ caseId: entry.id, query: entry.input, spec }),',
+        '  );',
+        '}',
+        '',
+        '/**',
+        ' * The retrieval gate. Thresholds come from the metrics the runtime produces rather',
+        ' * than from names repeated here, so no threshold can name a metric that no longer',
+        ' * exists.',
+        ' */',
+        'export function gate(): RetrievalGate {',
+        `  const maxRegression = ${literal(evalShape.gate.maxRegression)};`,
+        '  const metrics = retrievalMetrics();',
+        ...(() => {
+            const inline = `  const thresholds = metrics.map((metric) => new Threshold({ metric: metric.name, maxRegression }));`;
+            return fits('', inline)
+                ? [inline]
+                : [
+                    '  const thresholds = metrics.map(',
+                    '    (metric) => new Threshold({ metric: metric.name, maxRegression }),',
+                    '  );',
+                ];
+        })(),
+        '  return new RetrievalGate(thresholds, { metrics });',
+        '}',
+        '',
+        '/** Sample the suite and return the run a baseline gate compares against. */',
+        'export async function sample(options: { readonly runs?: number } = {}): Promise<EvalRun> {',
+        '  const retriever = buildRetrievers().get(RETRIEVER);',
+        '  if (retriever === undefined) {',
+        `    throw new ConfigurationError(\`retriever \${RETRIEVER} is not built\`);`,
+        '  }',
+        '  const data = dataset();',
+        '  return await gate().sample(cases(data), retriever, {',
+        `    runs: options.runs ?? ${literal(evalShape.gate.samples)},`,
+        '    dataset: data.name,',
+        '    datasetVersion: data.version,',
+        '  });',
+        '}',
+        '',
+        '/** Decide whether a run regressed against its baseline. */',
+        'export function evaluate(run: EvalRun, baseline: EvalBaseline): GateResult {',
+        '  return gate().evaluate(run, baseline);',
+        '}',
+    ].join('\n');
+    return moduleText(header, body);
+}
+function evalModule(ir, evalShape) {
+    const retrieval = evalShape.metrics.find((metric) => metric.kind === 'retrieval');
+    if (retrieval !== undefined)
+        return retrievalEvalModule(ir, evalShape, retrieval);
+    return plainEvalModule(evalShape);
+}
+export function emitEvalModules(ir) {
+    return ir.evals.map((evalShape) => generated(evalModulePath(toSnakeCase(evalShape.id)), evalModule(ir, evalShape)));
+}
+export function emitEvalsIndex(ir) {
+    const lines = ir.evals.length === 0
+        ? ['// This project declares no evals.']
+        : ir.evals.map((evalShape) => {
+            const pascal = className(evalShape.id);
+            const stem = toSnakeCase(evalShape.id);
+            return exportStatement(`./${stem}.js`, [
+                ['dataset', `${camelId(evalShape.id)}Dataset`],
+                ['evaluate', `evaluate${pascal}`],
+                ['gate', `${camelId(evalShape.id)}Gate`],
+                ['sample', `sample${pascal}`],
+            ]);
+        });
+    return generated(paths.evalsIndex, moduleText(...lines));
+}
+function camelId(id) {
+    const pascal = className(id);
+    return `${pascal.charAt(0).toLowerCase()}${pascal.slice(1)}`;
+}
+function businessToolSeed(tool) {
+    const handler = `${className(tool.id)}Handler`;
+    const header = [
+        importStatement('@aid-framework/runtime', [{ name: 'ConfigurationError', type: false }]),
+        importStatement(`../../generated/contracts/${tool.id}.js`, [{ name: handler, type: true }]),
+    ].join('\n');
+    const body = [
+        '/**',
+        ` * The business implementation of \`${tool.id}\`.`,
+        ' *',
+        ' * Created once and never overwritten: edit this file freely. Replace the throw with',
+        ' * the real lookup; the handler signature is the contract the pipeline calls through.',
+        ' */',
+        `export const ${camelId(tool.id)}: ${handler} = async (context, request) => {`,
+        '  void request;',
+        '  throw new ConfigurationError(',
+        `    \`\${context.name} has no business implementation yet: fill in ${paths.businessToolsIndex.replace('index.ts', `${tool.id}.ts`)}\`,`,
+        '  );',
+        '};',
+    ].join('\n');
+    return seedText(header, body);
+}
+export function emitBusinessToolSeeds(ir) {
+    return ir.tools.map((tool) => business(businessToolPath(tool.id), businessToolSeed(tool)));
+}
+export function emitBusinessToolsIndex(ir) {
+    const imports = [...ir.tools]
+        .sort((a, b) => (a.id < b.id ? -1 : a.id > b.id ? 1 : 0))
+        .map((tool) => importStatement(`./${tool.id}.js`, [{ name: camelId(tool.id), type: false }]));
+    const entries = ir.tools.map((tool) => `  ${propertyKey(tool.id)}: ${camelId(tool.id)},`);
+    return business(paths.businessToolsIndex, seedText(imports.join('\n'), [
+        '/**',
+        ' * Every hand-written tool implementation, keyed by the IR tool id.',
+        ' *',
+        ' * The generated executor reads this map, so a new tool is added here and nowhere',
+        ' * else. The `unknown` value type is deliberate: the generated adapter is what',
+        ' * pins each entry to its declared handler type.',
+        ' */',
+        'export const IMPLEMENTATIONS: Readonly<Record<string, unknown>> = {',
+        ...entries,
+        '};',
+    ].join('\n')));
+}
+export function emitBusinessPromptsIndex(ir) {
+    void ir;
+    return business(paths.businessPromptsIndex, seedText(`import type { PromptTemplate } from '@aid-framework/runtime';`, [
+        '/**',
+        ' * Prompt overrides, layered over the generated templates at build time.',
+        ' *',
+        ' * Register a template with the same name and version as a generated one to replace',
+        ' * its wording without touching generated code. Empty by default.',
+        ' */',
+        'export const OVERRIDES: readonly PromptTemplate[] = [];',
+    ].join('\n')));
+}
+export function emitBusinessIndex(ir) {
+    void ir;
+    return business(paths.businessIndex, seedText('// The hand-written tier: implementations, prompt overrides, and the rest.', sortStatements([
+        {
+            from: './prompts/index.js',
+            text: exportStatement('./prompts/index.js', [['OVERRIDES', 'OVERRIDES']]),
+        },
+        {
+            from: './tools/index.js',
+            text: exportStatement('./tools/index.js', [['IMPLEMENTATIONS', 'IMPLEMENTATIONS']]),
+        },
+    ]).join('\n')));
+}
+export function emitGeneratedIndex(ir) {
+    void ir;
+    const statements = [
+        { from: './deps.js', names: ['buildDeps', 'Deps', 'getDeps', 'setDeps'] },
+        {
+            from: './gateway/index.js',
+            names: ['ALIASES', 'FALLBACKS', 'buildGateway', 'defaultProviders'],
+        },
+        { from: './observability.js', names: ['generatedCapabilities'] },
+        { from: './pipelines/index.js', names: undefined },
+        { from: './prompts/index.js', names: ['buildPrompts'] },
+        { from: './requests.js', names: undefined },
+        { from: './routes/index.js', names: undefined },
+        { from: './schemas.js', names: undefined },
+        { from: './tools/index.js', names: ['buildExecutor', 'buildTools'] },
+    ];
+    const lines = [
+        '/** The generated surface of this application, as one import. */',
+        '',
+        ...sortStatements(statements.map((statement) => ({
+            from: statement.from,
+            text: statement.names === undefined
+                ? `export * from '${statement.from}';`
+                : exportStatement(statement.from, statement.names.map((name) => [name, name])),
+        }))),
+    ];
+    return generated(paths.generatedIndex, moduleText(lines.join('\n')));
+}
+//# sourceMappingURL=business.js.map

package/dist/emit/business.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"business.js","sourceRoot":"","sources":["../../src/emit/business.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC3E,OAAO,EACL,QAAQ,EACR,gBAAgB,EAEhB,cAAc,EACd,SAAS,EACT,KAAK,GACN,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,YAAY,EAEZ,eAAe,EACf,IAAI,EACJ,eAAe,EACf,UAAU,EACV,aAAa,EACb,QAAQ,EACR,cAAc,GACf,MAAM,WAAW,CAAC;AAEnB,SAAS,gBAAgB,CAAC,MAAmB,EAAE,MAAM,GAAG,EAAE;IACxD,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,OAAO;YACV,OAAO,0BAA0B,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC;QACzD,KAAK,UAAU;YACb,OAAO,kCAAkC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC;QACpE,KAAK,aAAa;YAChB,OAAO,+BAA+B,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC;QACpE,KAAK,QAAQ,EAAE,CAAC;YACd,6EAA6E;YAC7E,+EAA+E;YAC/E,4EAA4E;YAC5E,2DAA2D;YAC3D,MAAM,OAAO,GAAY;gBACvB,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;gBAC3B,CAAC,MAAM,EAAE,aAAa,CAAC;gBACvB,CAAC,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;aACrC,CAAC;YACF,MAAM,MAAM,GAAG,oBAAoB,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,CAAC;YACjE,+EAA+E;YAC/E,gFAAgF;YAChF,8DAA8D;YAC9D,OAAO,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,oBAAoB,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC;QAC/F,CAAC;QACD;YACE,OAAO,mBAAmB,CAAC;IAC/B,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,WAAW,CAAC,KAAc,EAAE,MAAc;IACjD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,YAAY,CACjB,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,CAAC,EACrD,MAAM,CACP,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC;aAC7D,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aAChD,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAoB,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC;QAChG,OAAO,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,aAAa,CAAC,EAAM,EAAE,SAAoB;IACxD,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACzC,MAAM,QAAQ,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACxF,MAAM,IAAI,GAAG,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QAChF,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC;IAC5E,CAAC;IACD,OAAO,EAAE,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACvE,CAAC;AAED,SAAS,WAAW,CAAC,SAAoB;IACvC,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC;IAClC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO;YACL,gFAAgF;YAChF,2EAA2E;YAC3E,kCAAkC,OAAO,CAAC,QAAQ,SAAS,CAAC,EAAE,2BAA2B,CAAC,IAAI;SAC/F,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,qCAAqC,OAAO,CAAC,SAAS,GAAG,EAAE,CAAC,sBAAsB,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,WAAW,CAAC,SAAoB;IACvC,OAAO;QACL,KAAK;QACL,6BAA6B,SAAS,CAAC,EAAE,mBAAmB;QAC5D,IAAI;QACJ,mFAAmF;QACnF,yEAAyE;QACzE,KAAK;QACL,sCAAsC;QACtC,GAAG,WAAW,CAAC,SAAS,CAAC;QACzB,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,SAAoB,EAAE,OAA0B;IAChE,MAAM,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC5D,sFAAsF;IACtF,wFAAwF;IACxF,0FAA0F;IAC1F,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC;IACrC,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,2BAA2B,CAAC;IACrE,MAAM,IAAI,GAAG,YAAY,CACvB,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EACxC,IAAI,CACL,CAAC;IACF,MAAM,MAAM,GAAG,wBAAwB,IAAI,2DAA2D,aAAa,GAAG,KAAK,OAAO,CAAC;IACnI,OAAO;QACL,KAAK;QACL,kFAAkF;QAClF,2CAA2C;QAC3C,GAAG,CAAC,KAAK,KAAK,SAAS;YACrB,CAAC,CAAC;gBACE,qFAAqF;gBACrF,wFAAwF;gBACxF,uFAAuF;aACxF;YACH,CAAC,CAAC;gBACE,oFAAoF;gBACpF,sFAAsF;gBACtF,0EAA0E;aAC3E,CAAC;QACN,KAAK;QACL,wCAAwC;QACxC,GAAG,CAAC,KAAK,KAAK,SAAS;YACrB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,sDAAsD,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAChF,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC;YAClB,CAAC,CAAC,CAAC,MAAM,CAAC;YACV,CAAC,CAAC;gBACE,wBAAwB,IAAI,OAAO;gBACnC,0DAA0D,aAAa,GAAG,KAAK,MAAM;gBACrF,MAAM;aACP,CAAC;QACN,gEAAgE;QAChE,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CACvB,SAAoB,EACpB,OAA+B;IAE/B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACnD,OAAO;QACL,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,KAAK,EAAE;QACrC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7F,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE;QAChC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;QACtC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE;QAClC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;QACtC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,IAAI,EAAE;QACpC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE;QAC/B,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE;QAClC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE;KAC/B,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,SAAoB;IAC3C,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IAClF,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG;QACb,eAAe,CAAC,wBAAwB,EAAE,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC/E,eAAe,CAAC,qBAAqB,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;KAChF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,IAAI,GAAG;QACX,GAAG,WAAW,CAAC,SAAS,CAAC;QACzB,EAAE;QACF,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ;YACtD,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,KAAK;gBACL,gFAAgF;gBAChF,qEAAqE;gBACrE,KAAK;gBACL,uBAAuB,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG;gBACxD,EAAE;aACH,CAAC;QACN,6DAA6D;QAC7D,gDAAgD;QAChD,GAAG,CAAC,GAAG,EAAE;YACP,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YACxE,MAAM,MAAM,GAAG,aAAa,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YACjD,OAAO,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC;gBACrB,CAAC,CAAC,CAAC,MAAM,CAAC;gBACV,CAAC,CAAC,CAAC,YAAY,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QACrE,CAAC,CAAC,EAAE;QACJ,GAAG;QACH,EAAE;QACF,GAAG,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC;QAC7B,EAAE;QACF,8EAA8E;QAC9E,4FAA4F;QAC5F,mCAAmC;QACnC,+CAA+C,OAAO,CAAC,SAAS,CAAC,QAAQ;QACzE,oFAAoF;QACpF,6BAA6B,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG;QAC/D,OAAO;QACP,GAAG;QACH,EAAE;QACF,6DAA6D;QAC7D,8EAA8E;QAC9E,0CAA0C;QAC1C,GAAG;KACJ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,OAAO,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,mBAAmB,CAAC,EAAM,EAAE,SAAoB,EAAE,MAAmB;IAC5E,MAAM,SAAS,GAAG,aAAa,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;IAC/C,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7E,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG;QACb,eAAe,CAAC,wBAAwB,EAAE;YACxC,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,KAAK,EAAE;YAC3C,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE;YAChC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;YACtC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;YACtC,EAAE,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,KAAK,EAAE;YAC5C,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE;YAClC,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,KAAK,EAAE;YACzC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,IAAI,EAAE;YACpC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE;YAC/B,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE;SACnC,CAAC;QACF,eAAe,CAAC,uBAAuB,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;KACrF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,IAAI,GAAG;QACX,uFAAuF;QACvF,iFAAiF;QACjF,uFAAuF;QACvF,wCAAwC;QACxC,0CAA0C,YAAY,CACpD,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EACrC,EAAE,CACH,GAAG;QACJ,iBAAiB,OAAO,CAAC,CAAC,CAAC,GAAG;QAC9B,qBAAqB,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC,GAAG;QAChD,EAAE;QACF,GAAG,WAAW,CAAC,SAAS,CAAC;QACzB,EAAE;QACF,kFAAkF;QAClF,kEAAkE;QAClE,qFAAqF;QACrF,oCAAoC;QACpC,6EAA6E;QAC7E,MAAM;QACN,GAAG;QACH,EAAE;QACF,KAAK;QACL,qFAAqF;QACrF,oFAAoF;QACpF,YAAY;QACZ,KAAK;QACL,yCAAyC;QACzC,2BAA2B,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG;QACnE,uCAAuC;QACvC,GAAG,CAAC,GAAG,EAAE;YACP,MAAM,MAAM,GAAG,sGAAsG,CAAC;YACtH,OAAO,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC;gBACrB,CAAC,CAAC,CAAC,MAAM,CAAC;gBACV,CAAC,CAAC;oBACE,mCAAmC;oBACnC,wEAAwE;oBACxE,MAAM;iBACP,CAAC;QACR,CAAC,CAAC,EAAE;QACJ,sDAAsD;QACtD,GAAG;QACH,EAAE;QACF,8EAA8E;QAC9E,4FAA4F;QAC5F,uDAAuD;QACvD,kCAAkC;QAClC,6EAA6E;QAC7E,KAAK;QACL,2BAA2B;QAC3B,wDAAwD;QACxD,6BAA6B,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG;QAC/D,yBAAyB;QACzB,mCAAmC;QACnC,OAAO;QACP,GAAG;QACH,EAAE;QACF,6DAA6D;QAC7D,8EAA8E;QAC9E,0CAA0C;QAC1C,GAAG;KACJ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,OAAO,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,UAAU,CAAC,EAAM,EAAE,SAAoB;IAC9C,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IAClF,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,mBAAmB,CAAC,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IAClF,OAAO,eAAe,CAAC,SAAS,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,EAAM;IACpC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAChC,SAAS,CAAC,cAAc,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,CAChF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,EAAM;IACnC,MAAM,KAAK,GACT,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QACnB,CAAC,CAAC,CAAC,oCAAoC,CAAC;QACxC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;YACzB,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACvC,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACvC,OAAO,eAAe,CAAC,KAAK,IAAI,KAAK,EAAE;gBACrC,CAAC,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC;gBAC9C,CAAC,UAAU,EAAE,WAAW,MAAM,EAAE,CAAC;gBACjC,CAAC,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC;gBACxC,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;aAC9B,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACT,OAAO,SAAS,CAAC,KAAK,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,OAAO,CAAC,EAAU;IACzB,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IAC7B,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAC/D,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAe;IACvC,MAAM,OAAO,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC;IAC/C,MAAM,MAAM,GAAG;QACb,eAAe,CAAC,wBAAwB,EAAE,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACxF,eAAe,CAAC,6BAA6B,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;KAC5F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,IAAI,GAAG;QACX,KAAK;QACL,uCAAuC,IAAI,CAAC,EAAE,KAAK;QACnD,IAAI;QACJ,sFAAsF;QACtF,uFAAuF;QACvF,KAAK;QACL,gBAAgB,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,OAAO,kCAAkC;QAC9E,iBAAiB;QACjB,iCAAiC;QACjC,sEAAsE,KAAK,CAAC,kBAAkB,CAAC,OAAO,CACpG,UAAU,EACV,GAAG,IAAI,CAAC,EAAE,KAAK,CAChB,KAAK;QACN,MAAM;QACN,IAAI;KACL,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,OAAO,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,EAAM;IAC1C,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,EAAM;IAC3C,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC;SAC1B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACxD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IAChG,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IAC1F,OAAO,QAAQ,CACb,KAAK,CAAC,kBAAkB,EACxB,QAAQ,CACN,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAClB;QACE,KAAK;QACL,qEAAqE;QACrE,IAAI;QACJ,mFAAmF;QACnF,gFAAgF;QAChF,kDAAkD;QAClD,KAAK;QACL,qEAAqE;QACrE,GAAG,OAAO;QACV,IAAI;KACL,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,EAAM;IAC7C,KAAK,EAAE,CAAC;IACR,OAAO,QAAQ,CACb,KAAK,CAAC,oBAAoB,EAC1B,QAAQ,CACN,+DAA+D,EAC/D;QACE,KAAK;QACL,0EAA0E;QAC1E,IAAI;QACJ,qFAAqF;QACrF,mEAAmE;QACnE,KAAK;QACL,yDAAyD;KAC1D,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,EAAM;IACtC,KAAK,EAAE,CAAC;IACR,OAAO,QAAQ,CACb,KAAK,CAAC,aAAa,EACnB,QAAQ,CACN,4EAA4E,EAC5E,cAAc,CAAC;QACb;YACE,IAAI,EAAE,oBAAoB;YAC1B,IAAI,EAAE,eAAe,CAAC,oBAAoB,EAAE,CAAC,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;SAC1E;QACD;YACE,IAAI,EAAE,kBAAkB;YACxB,IAAI,EAAE,eAAe,CAAC,kBAAkB,EAAE,CAAC,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC,CAAC;SACpF;KACF,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACd,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,EAAM;IACvC,KAAK,EAAE,CAAC;IACR,MAAM,UAAU,GAAG;QACjB,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE;QACzE;YACE,IAAI,EAAE,oBAAoB;YAC1B,KAAK,EAAE,CAAC,SAAS,EAAE,WAAW,EAAE,cAAc,EAAE,kBAAkB,CAAC;SACpE;QACD,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,uBAAuB,CAAC,EAAE;QAChE,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,SAAS,EAAE;QAClD,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,cAAc,CAAC,EAAE;QACvD,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,SAAS,EAAE;QAC3C,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,SAAS,EAAE;QAC/C,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,EAAE;QAC1C,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC,eAAe,EAAE,YAAY,CAAC,EAAE;KACrE,CAAC;IACF,MAAM,KAAK,GAAG;QACZ,kEAAkE;QAClE,EAAE;QACF,GAAG,cAAc,CACf,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAC7B,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,IAAI,EACF,SAAS,CAAC,KAAK,KAAK,SAAS;gBAC3B,CAAC,CAAC,kBAAkB,SAAS,CAAC,IAAI,IAAI;gBACtC,CAAC,CAAC,eAAe,CACb,SAAS,CAAC,IAAI,EACd,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAU,CAAC,CACrD;SACR,CAAC,CAAC,CACJ;KACF,CAAC;IACF,OAAO,SAAS,CAAC,KAAK,CAAC,cAAc,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACvE,CAAC"}

package/dist/emit/control.d.ts

@@ -0,0 +1,40 @@
+/**
+ * `generated/control.ts`.
+ *
+ * Emitted for every plan, because every emitted route seeds its pipeline from it: the
+ * values here are what a run starts from, and a route that skipped them would run
+ * differently from one that did. Only the composite steps depend on the two constants,
+ * but the seeding is uniform so there is one code path rather than two.
+ *
+ * The split matters and is not cosmetic. The runtime's `branch`/`parallel`/`map`/
+ * `reduce` take their concurrency limiter from the *context*, not from an option: each
+ * one calls `limiterFor(context, …)`, which reads `LIMITER_KEY` and refuses to run when
+ * it does not hold a `ConcurrencyLimiter`. So the cap is not something a step can pass
+ * down — it has to be seeded into the `PipelineContext` before the first step runs,
+ * which is why it lands here rather than in a step module. `deps.ts` cannot hold it
+ * either: `Deps` is what a step reaches for, and by the time a step runs the composite
+ * has already read the context.
+ *
+ * The principal is seeded for the same reason and one more: `branch`'s `when` is
+ * evaluated against the principal and nothing else, and an app with no auth layer has
+ * no other source for one. `Principal`'s defaults are the anonymous-but-authenticated
+ * caller, so `isAuthenticated()` is true and both role and scope sets are empty — a
+ * predicate is answered rather than left undefined.
+ */
+import type { IR } from '@aid-framework/ir';
+import { type EmittedFile } from './file.js';
+/**
+ * The smallest `concurrency` any declared deployment asks for.
+ *
+ * The spec layer refuses a composite step in a document that declares no
+ * `deployments.concurrency`, so a pipeline that reaches this emitter always has one to
+ * read. The *smallest* wins rather than the first or the largest: a deployment is a
+ * capacity promise, and a fan-out that drew from a larger one would run wider than the
+ * narrowest platform that hosts the same app.
+ */
+export declare function concurrencyLimit(ir: IR): number;
+/** The module body. */
+export declare function controlModule(ir: IR): string;
+/** `generated/control.ts`. */
+export declare function emitControl(ir: IR): EmittedFile;
+//# sourceMappingURL=control.d.ts.map

package/dist/emit/control.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"control.d.ts","sourceRoot":"","sources":["../../src/emit/control.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,mBAAmB,CAAC;AAC5C,OAAO,EAAE,KAAK,WAAW,EAAoB,MAAM,WAAW,CAAC;AAG/D;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,EAAE,GAAG,MAAM,CAK/C;AAED,uBAAuB;AACvB,wBAAgB,aAAa,CAAC,EAAE,EAAE,EAAE,GAAG,MAAM,CA6D5C;AAED,8BAA8B;AAC9B,wBAAgB,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,WAAW,CAE/C"}

package/dist/emit/control.js

@@ -0,0 +1,108 @@
+/**
+ * `generated/control.ts`.
+ *
+ * Emitted for every plan, because every emitted route seeds its pipeline from it: the
+ * values here are what a run starts from, and a route that skipped them would run
+ * differently from one that did. Only the composite steps depend on the two constants,
+ * but the seeding is uniform so there is one code path rather than two.
+ *
+ * The split matters and is not cosmetic. The runtime's `branch`/`parallel`/`map`/
+ * `reduce` take their concurrency limiter from the *context*, not from an option: each
+ * one calls `limiterFor(context, …)`, which reads `LIMITER_KEY` and refuses to run when
+ * it does not hold a `ConcurrencyLimiter`. So the cap is not something a step can pass
+ * down — it has to be seeded into the `PipelineContext` before the first step runs,
+ * which is why it lands here rather than in a step module. `deps.ts` cannot hold it
+ * either: `Deps` is what a step reaches for, and by the time a step runs the composite
+ * has already read the context.
+ *
+ * The principal is seeded for the same reason and one more: `branch`'s `when` is
+ * evaluated against the principal and nothing else, and an app with no auth layer has
+ * no other source for one. `Principal`'s defaults are the anonymous-but-authenticated
+ * caller, so `isAuthenticated()` is true and both role and scope sets are empty — a
+ * predicate is answered rather than left undefined.
+ */
+import { generated, paths } from './file.js';
+import { importStatement, moduleText } from './text.js';
+/**
+ * The smallest `concurrency` any declared deployment asks for.
+ *
+ * The spec layer refuses a composite step in a document that declares no
+ * `deployments.concurrency`, so a pipeline that reaches this emitter always has one to
+ * read. The *smallest* wins rather than the first or the largest: a deployment is a
+ * capacity promise, and a fan-out that drew from a larger one would run wider than the
+ * narrowest platform that hosts the same app.
+ */
+export function concurrencyLimit(ir) {
+    const declared = ir.deployments
+        .map((deployment) => deployment.concurrency)
+        .filter((value) => value !== undefined);
+    return declared.length === 0 ? 1 : Math.min(...declared);
+}
+/** The module body. */
+export function controlModule(ir) {
+    const imports = importStatement('@aid-framework/runtime', [
+        { name: 'ConcurrencyLimiter', type: false },
+        { name: 'LIMITER_KEY', type: false },
+        { name: 'PipelineContext', type: true },
+        { name: 'PRINCIPAL_KEY', type: false },
+        { name: 'Principal', type: false },
+    ]);
+    const limit = [
+        '/**',
+        ' * The smallest `concurrency` any deployment in this spec declares.',
+        ' *',
+        ' * Every composite step draws its fan-out from this one cap, so `parallel`, `map` and',
+        ' * `reduce` cannot between them run wider than the narrowest platform the app runs on.',
+        ' */',
+        `export const CONCURRENCY_LIMIT = ${concurrencyLimit(ir)};`,
+    ].join('\n');
+    const principal = [
+        '/**',
+        ' * The caller a request runs as.',
+        ' *',
+        " * There is no auth layer, so the principal is `Principal`'s default: authenticated,",
+        ' * with no roles and no scopes. A `branch` predicate is answered from this rather than',
+        ' * left undefined, which is what makes `isAuthenticated()` true and `hasRole(...)`',
+        ' * false instead of unanswered -- both are answers a spec may branch on.',
+        ' */',
+        'const PRINCIPAL = new Principal();',
+        '',
+        '/**',
+        ' * The principal this run is seeded with.',
+        ' *',
+        ' * An `agent` step passes this to the agent loop, so an agent sees the same caller the',
+        ' * pipeline around it branched on: its guardrails, its `humanInTheLoop` predicate and',
+        ' * its memory key all price against one principal rather than two that happen to agree',
+        ' * today. Falls back to the seeded default when a caller replaced the context, which is',
+        ' * the same fallback the loop applies to an absent `principal`.',
+        ' */',
+        'export function principalOf(context: PipelineContext): Principal {',
+        '  const found = context.get(PRINCIPAL_KEY);',
+        '  return found instanceof Principal ? found : PRINCIPAL;',
+        '}',
+    ].join('\n');
+    const seeded = [
+        '/**',
+        ' * The values a pipeline run starts from.',
+        ' *',
+        ' * `event` is the request the route parsed. The other two are seeded here, before',
+        " * `Pipeline.run`, because the runtime's composites read them from the context:",
+        ' * `branch`/`parallel`/`map`/`reduce` raise a configuration error when `LIMITER_KEY`',
+        ' * holds no limiter, and `branch` evaluates its `when` against `PRINCIPAL_KEY` and',
+        ' * nothing else. Neither is an option a step can pass down.',
+        ' */',
+        'export function seeded(event: unknown): Record<string, unknown> {',
+        '  return {',
+        '    event,',
+        '    [LIMITER_KEY]: new ConcurrencyLimiter(CONCURRENCY_LIMIT),',
+        '    [PRINCIPAL_KEY]: PRINCIPAL,',
+        '  };',
+        '}',
+    ].join('\n');
+    return moduleText(imports, limit, principal, seeded);
+}
+/** `generated/control.ts`. */
+export function emitControl(ir) {
+    return generated(paths.control, controlModule(ir));
+}
+//# sourceMappingURL=control.js.map

package/dist/emit/control.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"control.js","sourceRoot":"","sources":["../../src/emit/control.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAGH,OAAO,EAAoB,SAAS,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAC/D,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAExD;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAM;IACrC,MAAM,QAAQ,GAAG,EAAE,CAAC,WAAW;SAC5B,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;SAC3C,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IAC3D,OAAO,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;AAC3D,CAAC;AAED,uBAAuB;AACvB,MAAM,UAAU,aAAa,CAAC,EAAM;IAClC,MAAM,OAAO,GAAG,eAAe,CAAC,wBAAwB,EAAE;QACxD,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,KAAK,EAAE;QAC3C,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,EAAE;QACpC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE;QACvC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;QACtC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE;KACnC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG;QACZ,KAAK;QACL,qEAAqE;QACrE,IAAI;QACJ,uFAAuF;QACvF,wFAAwF;QACxF,KAAK;QACL,oCAAoC,gBAAgB,CAAC,EAAE,CAAC,GAAG;KAC5D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,SAAS,GAAG;QAChB,KAAK;QACL,kCAAkC;QAClC,IAAI;QACJ,sFAAsF;QACtF,wFAAwF;QACxF,oFAAoF;QACpF,0EAA0E;QAC1E,KAAK;QACL,oCAAoC;QACpC,EAAE;QACF,KAAK;QACL,2CAA2C;QAC3C,IAAI;QACJ,wFAAwF;QACxF,uFAAuF;QACvF,wFAAwF;QACxF,yFAAyF;QACzF,iEAAiE;QACjE,KAAK;QACL,oEAAoE;QACpE,6CAA6C;QAC7C,0DAA0D;QAC1D,GAAG;KACJ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,MAAM,GAAG;QACb,KAAK;QACL,2CAA2C;QAC3C,IAAI;QACJ,mFAAmF;QACnF,iFAAiF;QACjF,sFAAsF;QACtF,oFAAoF;QACpF,6DAA6D;QAC7D,KAAK;QACL,mEAAmE;QACnE,YAAY;QACZ,YAAY;QACZ,+DAA+D;QAC/D,iCAAiC;QACjC,MAAM;QACN,GAAG;KACJ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,OAAO,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;AACvD,CAAC;AAED,8BAA8B;AAC9B,MAAM,UAAU,WAAW,CAAC,EAAM;IAChC,OAAO,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC;AACrD,CAAC"}