@cleocode/core 2026.6.12 → 2026.6.14

package/dist/lifecycle/tessera-engine.js

@@ -1,249 +0,0 @@
-/**
- * Tessera Instantiation Engine
- *
- * Provides template management and instantiation for parameterized
- * WarpChain workflows. Wraps buildDefaultChain() with template
- * variables and manages the template registry.
- *
- * @task T5409
- */
-import { validateChain } from '../validation/chain-validation.js';
-import { addChain, createInstance, showChain } from './chain-store.js';
-import { buildDefaultChain } from './default-chain.js';
-const DEFAULT_TESSERA_ID = 'tessera-rcasd';
-const TASK_ID_PATTERN = /^T\d+$/;
-const PLACEHOLDER_EXACT = /^\{\{\s*([A-Za-z0-9_]+)\s*\}\}$/;
-const PLACEHOLDER_GLOBAL = /\{\{\s*([A-Za-z0-9_]+)\s*\}\}/g;
-function valueType(value) {
-    if (value === null) {
-        return 'null';
-    }
-    if (Array.isArray(value)) {
-        return 'array';
-    }
-    return typeof value;
-}
-function hasOwn(obj, key) {
-    return Object.hasOwn(obj, key);
-}
-function validateVariableType(name, varDef, value) {
-    switch (varDef.type) {
-        case 'string': {
-            if (typeof value !== 'string') {
-                throw new Error(`Invalid variable type for "${name}": expected string, got ${valueType(value)}`);
-            }
-            return;
-        }
-        case 'number': {
-            if (typeof value !== 'number' || !Number.isFinite(value)) {
-                throw new Error(`Invalid variable type for "${name}": expected finite number, got ${valueType(value)}`);
-            }
-            return;
-        }
-        case 'boolean': {
-            if (typeof value !== 'boolean') {
-                throw new Error(`Invalid variable type for "${name}": expected boolean, got ${valueType(value)}`);
-            }
-            return;
-        }
-        case 'taskId':
-        case 'epicId': {
-            if (typeof value !== 'string') {
-                throw new Error(`Invalid variable type for "${name}": expected ${varDef.type}, got ${valueType(value)}`);
-            }
-            if (!TASK_ID_PATTERN.test(value)) {
-                throw new Error(`Invalid variable format for "${name}": expected ${varDef.type} like "T1234", got "${value}"`);
-            }
-            return;
-        }
-        default: {
-            throw new Error(`Unsupported variable type for "${name}": ${String(varDef.type)}`);
-        }
-    }
-}
-function substituteTemplateValue(value, variables, path) {
-    if (typeof value === 'string') {
-        const exact = value.match(PLACEHOLDER_EXACT);
-        if (exact) {
-            const variableName = exact[1];
-            if (!hasOwn(variables, variableName)) {
-                throw new Error(`Unknown template variable "${variableName}" at ${path}`);
-            }
-            return variables[variableName];
-        }
-        return value.replace(PLACEHOLDER_GLOBAL, (_full, variableName) => {
-            if (!hasOwn(variables, variableName)) {
-                throw new Error(`Unknown template variable "${variableName}" at ${path}`);
-            }
-            return String(variables[variableName]);
-        });
-    }
-    if (Array.isArray(value)) {
-        return value.map((entry, index) => substituteTemplateValue(entry, variables, `${path}[${index}]`));
-    }
-    if (value !== null && typeof value === 'object') {
-        const out = {};
-        for (const [key, nested] of Object.entries(value)) {
-            out[key] = substituteTemplateValue(nested, variables, `${path}.${key}`);
-        }
-        return out;
-    }
-    return value;
-}
-function resolveVariables(template, inputVariables) {
-    const variableKeys = Object.keys(template.variables).sort();
-    const allowedVariables = new Set(variableKeys);
-    for (const key of Object.keys(inputVariables).sort()) {
-        if (!allowedVariables.has(key)) {
-            throw new Error(`Unknown variable: ${key}. Allowed variables: ${variableKeys.join(', ')}`);
-        }
-    }
-    const resolvedVariables = {};
-    for (const key of variableKeys) {
-        const varDef = template.variables[key];
-        const hasInput = hasOwn(inputVariables, key);
-        const inputValue = hasInput ? inputVariables[key] : undefined;
-        if (inputValue === undefined) {
-            if (varDef.required) {
-                throw new Error(`Missing required variable: ${key}`);
-            }
-            if (hasOwn(template.defaultValues, key)) {
-                const defaultValue = template.defaultValues[key];
-                validateVariableType(key, varDef, defaultValue);
-                resolvedVariables[key] = defaultValue;
-            }
-            else if (varDef.default !== undefined) {
-                validateVariableType(key, varDef, varDef.default);
-                resolvedVariables[key] = varDef.default;
-            }
-            continue;
-        }
-        validateVariableType(key, varDef, inputValue);
-        resolvedVariables[key] = inputValue;
-    }
-    return resolvedVariables;
-}
-/**
- * Build the default RCASD Tessera template.
- *
- * Wraps buildDefaultChain() with template variables:
- * - epicId (required, type 'epicId')
- * - projectName (optional, type 'string', default 'unnamed')
- * - skipResearch (optional, type 'boolean', default false)
- *
- * @task T5409
- */
-export function buildDefaultTessera() {
-    const chain = buildDefaultChain();
-    return {
-        ...chain,
-        id: DEFAULT_TESSERA_ID,
-        tessera: DEFAULT_TESSERA_ID,
-        variables: {
-            epicId: {
-                name: 'epicId',
-                type: 'epicId',
-                description: 'The epic task ID to bind this pipeline to',
-                required: true,
-            },
-            projectName: {
-                name: 'projectName',
-                type: 'string',
-                description: 'Name of the project for labeling',
-                required: false,
-                default: 'unnamed',
-            },
-            skipResearch: {
-                name: 'skipResearch',
-                type: 'boolean',
-                description: 'Whether to skip the research stage',
-                required: false,
-                default: false,
-            },
-        },
-        archetypes: ['lifecycle', 'rcasd'],
-        defaultValues: {
-            projectName: 'unnamed',
-            skipResearch: false,
-        },
-        category: 'lifecycle',
-    };
-}
-/** In-memory template registry. */
-const templates = new Map();
-/** Ensure the default template is registered. */
-function ensureDefaults() {
-    if (!templates.has(DEFAULT_TESSERA_ID)) {
-        templates.set(DEFAULT_TESSERA_ID, buildDefaultTessera());
-    }
-}
-/**
- * Instantiate a Tessera template into a concrete WarpChainInstance.
- *
- * Steps:
- * 1. Validate all required variables are provided
- * 2. Apply defaults for missing optional variables
- * 3. Construct concrete WarpChain from template
- * 4. Validate chain via validateChain()
- * 5. Store via createInstance() from chain-store
- * 6. Return instance
- *
- * @task T5409
- */
-export async function instantiateTessera(template, input, projectRoot) {
-    // 1. Resolve and validate input variables
-    const inputVariables = input.variables && typeof input.variables === 'object' ? input.variables : {};
-    const resolvedVariables = resolveVariables(template, inputVariables);
-    // 2. Build chain from template with deep substitution
-    const chainSeed = {
-        id: template.id,
-        name: template.name,
-        version: template.version,
-        description: template.description,
-        shape: template.shape,
-        gates: template.gates,
-        tessera: template.id,
-        metadata: template.metadata,
-    };
-    const substituted = substituteTemplateValue(chainSeed, resolvedVariables, 'chain');
-    const chain = substituted;
-    chain.metadata = {
-        ...(chain.metadata ?? {}),
-        variables: resolvedVariables,
-    };
-    // 3. Validate the chain
-    const validation = validateChain(chain);
-    if (validation.errors.length > 0) {
-        throw new Error(`Tessera chain validation failed: ${validation.errors.join('; ')}`);
-    }
-    // 4. Store chain if not already stored, then create instance
-    const existing = await showChain(chain.id, projectRoot);
-    if (!existing) {
-        await addChain(chain, projectRoot);
-    }
-    // 5. Create and return instance
-    return createInstance({
-        chainId: chain.id,
-        epicId: input.epicId,
-        variables: resolvedVariables,
-    }, projectRoot);
-}
-/**
- * List all registered Tessera templates.
- *
- * @task T5409
- */
-export function listTesseraTemplates() {
-    ensureDefaults();
-    return Array.from(templates.values());
-}
-/**
- * Find a Tessera template by ID.
- *
- * @task T5409
- */
-export function showTessera(id) {
-    ensureDefaults();
-    return templates.get(id) ?? null;
-}
-//# sourceMappingURL=tessera-engine.js.map

package/dist/lifecycle/tessera-engine.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"tessera-engine.js","sourceRoot":"","sources":["../../src/lifecycle/tessera-engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AASH,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAEvD,MAAM,kBAAkB,GAAG,eAAe,CAAC;AAC3C,MAAM,eAAe,GAAG,QAAQ,CAAC;AACjC,MAAM,iBAAiB,GAAG,iCAAiC,CAAC;AAC5D,MAAM,kBAAkB,GAAG,gCAAgC,CAAC;AAE5D,SAAS,SAAS,CAAC,KAAc;IAC/B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,OAAO,KAAK,CAAC;AACtB,CAAC;AAED,SAAS,MAAM,CAAC,GAA4B,EAAE,GAAW;IACvD,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAY,EAAE,MAAuB,EAAE,KAAc;IACjF,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9B,MAAM,IAAI,KAAK,CACb,8BAA8B,IAAI,2BAA2B,SAAS,CAAC,KAAK,CAAC,EAAE,CAChF,CAAC;YACJ,CAAC;YACD,OAAO;QACT,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzD,MAAM,IAAI,KAAK,CACb,8BAA8B,IAAI,kCAAkC,SAAS,CAAC,KAAK,CAAC,EAAE,CACvF,CAAC;YACJ,CAAC;YACD,OAAO;QACT,CAAC;QAED,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC/B,MAAM,IAAI,KAAK,CACb,8BAA8B,IAAI,4BAA4B,SAAS,CAAC,KAAK,CAAC,EAAE,CACjF,CAAC;YACJ,CAAC;YACD,OAAO;QACT,CAAC;QAED,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9B,MAAM,IAAI,KAAK,CACb,8BAA8B,IAAI,eAAe,MAAM,CAAC,IAAI,SAAS,SAAS,CAAC,KAAK,CAAC,EAAE,CACxF,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjC,MAAM,IAAI,KAAK,CACb,gCAAgC,IAAI,eAAe,MAAM,CAAC,IAAI,uBAAuB,KAAK,GAAG,CAC9F,CAAC;YACJ,CAAC;YACD,OAAO;QACT,CAAC;QAED,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,IAAI,KAAK,CAAC,kCAAkC,IAAI,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrF,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAc,EACd,SAAkC,EAClC,IAAY;IAEZ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QAC7C,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,CAAC;gBACrC,MAAM,IAAI,KAAK,CAAC,8BAA8B,YAAY,QAAQ,IAAI,EAAE,CAAC,CAAC;YAC5E,CAAC;YACD,OAAO,SAAS,CAAC,YAAY,CAAC,CAAC;QACjC,CAAC;QAED,OAAO,KAAK,CAAC,OAAO,CAAC,kBAAkB,EAAE,CAAC,KAAK,EAAE,YAAoB,EAAE,EAAE;YACvE,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,CAAC;gBACrC,MAAM,IAAI,KAAK,CAAC,8BAA8B,YAAY,QAAQ,IAAI,EAAE,CAAC,CAAC;YAC5E,CAAC;YACD,OAAO,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAChC,uBAAuB,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,CAC/D,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAClD,GAAG,CAAC,GAAG,CAAC,GAAG,uBAAuB,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CACvB,QAAyB,EACzB,cAAuC;IAEvC,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5D,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC;IAE/C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACrD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,qBAAqB,GAAG,wBAAwB,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IAED,MAAM,iBAAiB,GAA4B,EAAE,CAAC;IAEtD,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;QAC7C,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAE9D,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACpB,MAAM,IAAI,KAAK,CAAC,8BAA8B,GAAG,EAAE,CAAC,CAAC;YACvD,CAAC;YAED,IAAI,MAAM,CAAC,QAAQ,CAAC,aAAa,EAAE,GAAG,CAAC,EAAE,CAAC;gBACxC,MAAM,YAAY,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;gBACjD,oBAAoB,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;gBAChD,iBAAiB,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC;YACxC,CAAC;iBAAM,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBACxC,oBAAoB,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;gBAClD,iBAAiB,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC;YAC1C,CAAC;YACD,SAAS;QACX,CAAC;QAED,oBAAoB,CAAC,GAAG,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;QAC9C,iBAAiB,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC;IACtC,CAAC;IAED,OAAO,iBAAiB,CAAC;AAC3B,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,mBAAmB;IACjC,MAAM,KAAK,GAAG,iBAAiB,EAAE,CAAC;IAElC,OAAO;QACL,GAAG,KAAK;QACR,EAAE,EAAE,kBAAkB;QACtB,OAAO,EAAE,kBAAkB;QAC3B,SAAS,EAAE;YACT,MAAM,EAAE;gBACN,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,2CAA2C;gBACxD,QAAQ,EAAE,IAAI;aACf;YACD,WAAW,EAAE;gBACX,IAAI,EAAE,aAAa;gBACnB,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,kCAAkC;gBAC/C,QAAQ,EAAE,KAAK;gBACf,OAAO,EAAE,SAAS;aACnB;YACD,YAAY,EAAE;gBACZ,IAAI,EAAE,cAAc;gBACpB,IAAI,EAAE,SAAS;gBACf,WAAW,EAAE,oCAAoC;gBACjD,QAAQ,EAAE,KAAK;gBACf,OAAO,EAAE,KAAK;aACf;SACF;QACD,UAAU,EAAE,CAAC,WAAW,EAAE,OAAO,CAAC;QAClC,aAAa,EAAE;YACb,WAAW,EAAE,SAAS;YACtB,YAAY,EAAE,KAAK;SACpB;QACD,QAAQ,EAAE,WAAW;KACtB,CAAC;AACJ,CAAC;AAED,mCAAmC;AACnC,MAAM,SAAS,GAAiC,IAAI,GAAG,EAAE,CAAC;AAE1D,iDAAiD;AACjD,SAAS,cAAc;IACrB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC;QACvC,SAAS,CAAC,GAAG,CAAC,kBAAkB,EAAE,mBAAmB,EAAE,CAAC,CAAC;IAC3D,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,QAAyB,EACzB,KAAgC,EAChC,WAAmB;IAEnB,0CAA0C;IAC1C,MAAM,cAAc,GAClB,KAAK,CAAC,SAAS,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAChF,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAErE,sDAAsD;IACtD,MAAM,SAAS,GAAc;QAC3B,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,OAAO,EAAE,QAAQ,CAAC,EAAE;QACpB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;KAC5B,CAAC;IACF,MAAM,WAAW,GAAG,uBAAuB,CAAC,SAAS,EAAE,iBAAiB,EAAE,OAAO,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,WAAwB,CAAC;IACvC,KAAK,CAAC,QAAQ,GAAG;QACf,GAAG,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC;QACzB,SAAS,EAAE,iBAAiB;KAC7B,CAAC;IAEF,wBAAwB;IACxB,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,oCAAoC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtF,CAAC;IAED,6DAA6D;IAC7D,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;IACxD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IACrC,CAAC;IAED,gCAAgC;IAChC,OAAO,cAAc,CACnB;QACE,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,SAAS,EAAE,iBAAiB;KAC7B,EACD,WAAW,CACZ,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB;IAClC,cAAc,EAAE,CAAC;IACjB,OAAO,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;AACxC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,EAAU;IACpC,cAAc,EAAE,CAAC;IACjB,OAAO,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC;AACnC,CAAC"}

package/dist/validation/chain-validation.d.ts

@@ -1,43 +0,0 @@
-/**
- * Chain Validation Engine
- *
- * Validates WarpChain definitions for structural correctness (shape)
- * and gate satisfiability (gates reference valid stages/gate names).
- *
- * @task T5401
- */
-import type { ChainShape, ChainValidation, WarpChain } from '@cleocode/contracts';
-/**
- * Validate the topology/DAG of a chain shape.
- *
- * Checks:
- * - All link source/target IDs reference existing stages
- * - entryPoint references an existing stage
- * - All exitPoints reference existing stages
- * - No cycles (topological sort)
- * - All stages are reachable from the entry point
- *
- * @task T5401
- */
-export declare function validateChainShape(shape: ChainShape): string[];
-/**
- * Validate that all gates in a chain reference valid stages and gate names.
- *
- * Checks:
- * - Every gate's stageId references an existing stage
- * - Every stage_complete check references an existing stage
- * - Every verification_gate check references a valid GateName
- *
- * @task T5401
- */
-export declare function validateGateSatisfiability(chain: WarpChain): string[];
-/**
- * Validate a complete WarpChain definition.
- *
- * Orchestrates shape validation and gate satisfiability checks,
- * returning a unified ChainValidation result.
- *
- * @task T5401
- */
-export declare function validateChain(chain: WarpChain): ChainValidation;
-//# sourceMappingURL=chain-validation.d.ts.map

package/dist/validation/chain-validation.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"chain-validation.d.ts","sourceRoot":"","sources":["../../src/validation/chain-validation.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAGlF;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,EAAE,CAmF9D;AAED;;;;;;;;;GASG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,EAAE,CA4BrE;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,SAAS,GAAG,eAAe,CAa/D"}

package/dist/validation/chain-validation.js

@@ -1,146 +0,0 @@
-/**
- * Chain Validation Engine
- *
- * Validates WarpChain definitions for structural correctness (shape)
- * and gate satisfiability (gates reference valid stages/gate names).
- *
- * @task T5401
- */
-import { VERIFICATION_GATE_ORDER } from './verification.js';
-/**
- * Validate the topology/DAG of a chain shape.
- *
- * Checks:
- * - All link source/target IDs reference existing stages
- * - entryPoint references an existing stage
- * - All exitPoints reference existing stages
- * - No cycles (topological sort)
- * - All stages are reachable from the entry point
- *
- * @task T5401
- */
-export function validateChainShape(shape) {
-    const errors = [];
-    const stageIds = new Set(shape.stages.map((s) => s.id));
-    if (!stageIds.has(shape.entryPoint)) {
-        errors.push(`entryPoint "${shape.entryPoint}" does not reference an existing stage`);
-    }
-    for (const exit of shape.exitPoints) {
-        if (!stageIds.has(exit)) {
-            errors.push(`exitPoint "${exit}" does not reference an existing stage`);
-        }
-    }
-    for (const link of shape.links) {
-        if (!stageIds.has(link.from)) {
-            errors.push(`Link source "${link.from}" does not reference an existing stage`);
-        }
-        if (!stageIds.has(link.to)) {
-            errors.push(`Link target "${link.to}" does not reference an existing stage`);
-        }
-    }
-    // Cycle detection via topological sort (Kahn's algorithm)
-    const inDegree = new Map();
-    const adjacency = new Map();
-    for (const id of stageIds) {
-        inDegree.set(id, 0);
-        adjacency.set(id, []);
-    }
-    for (const link of shape.links) {
-        if (stageIds.has(link.from) && stageIds.has(link.to)) {
-            adjacency.get(link.from).push(link.to);
-            inDegree.set(link.to, (inDegree.get(link.to) ?? 0) + 1);
-        }
-    }
-    const queue = [];
-    for (const [id, deg] of inDegree) {
-        if (deg === 0)
-            queue.push(id);
-    }
-    let sorted = 0;
-    while (queue.length > 0) {
-        const node = queue.shift();
-        sorted++;
-        for (const neighbor of adjacency.get(node) ?? []) {
-            const newDeg = (inDegree.get(neighbor) ?? 1) - 1;
-            inDegree.set(neighbor, newDeg);
-            if (newDeg === 0)
-                queue.push(neighbor);
-        }
-    }
-    if (sorted < stageIds.size) {
-        errors.push('Chain contains a cycle — topological sort could not complete');
-    }
-    // Reachability from entry point (BFS)
-    if (stageIds.has(shape.entryPoint)) {
-        const visited = new Set();
-        const bfsQueue = [shape.entryPoint];
-        visited.add(shape.entryPoint);
-        while (bfsQueue.length > 0) {
-            const current = bfsQueue.shift();
-            for (const neighbor of adjacency.get(current) ?? []) {
-                if (!visited.has(neighbor)) {
-                    visited.add(neighbor);
-                    bfsQueue.push(neighbor);
-                }
-            }
-        }
-        for (const id of stageIds) {
-            if (!visited.has(id)) {
-                errors.push(`Stage "${id}" is not reachable from entry point "${shape.entryPoint}"`);
-            }
-        }
-    }
-    return errors;
-}
-/**
- * Validate that all gates in a chain reference valid stages and gate names.
- *
- * Checks:
- * - Every gate's stageId references an existing stage
- * - Every stage_complete check references an existing stage
- * - Every verification_gate check references a valid GateName
- *
- * @task T5401
- */
-export function validateGateSatisfiability(chain) {
-    const errors = [];
-    const stageIds = new Set(chain.shape.stages.map((s) => s.id));
-    const validGateNames = new Set(VERIFICATION_GATE_ORDER);
-    for (const gate of chain.gates) {
-        if (!stageIds.has(gate.stageId)) {
-            errors.push(`Gate "${gate.id}" references non-existent stage "${gate.stageId}"`);
-        }
-        if (gate.check.type === 'stage_complete') {
-            if (!stageIds.has(gate.check.stageId)) {
-                errors.push(`Gate "${gate.id}" stage_complete check references non-existent stage "${gate.check.stageId}"`);
-            }
-        }
-        if (gate.check.type === 'verification_gate') {
-            if (!validGateNames.has(gate.check.gateName)) {
-                errors.push(`Gate "${gate.id}" references invalid verification gate name "${gate.check.gateName}"`);
-            }
-        }
-    }
-    return errors;
-}
-/**
- * Validate a complete WarpChain definition.
- *
- * Orchestrates shape validation and gate satisfiability checks,
- * returning a unified ChainValidation result.
- *
- * @task T5401
- */
-export function validateChain(chain) {
-    const shapeErrors = validateChainShape(chain.shape);
-    const gateErrors = validateGateSatisfiability(chain);
-    const allErrors = [...shapeErrors, ...gateErrors];
-    return {
-        wellFormed: shapeErrors.length === 0,
-        gateSatisfiable: gateErrors.length === 0,
-        artifactComplete: true,
-        errors: allErrors,
-        warnings: [],
-    };
-}
-//# sourceMappingURL=chain-validation.js.map

package/dist/validation/chain-validation.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"chain-validation.js","sourceRoot":"","sources":["../../src/validation/chain-validation.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAE5D;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAiB;IAClD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAExD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,MAAM,CAAC,IAAI,CAAC,eAAe,KAAK,CAAC,UAAU,wCAAwC,CAAC,CAAC;IACvF,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACpC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,cAAc,IAAI,wCAAwC,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,IAAI,wCAAwC,CAAC,CAAC;QACjF,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,EAAE,wCAAwC,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IAED,0DAA0D;IAC1D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE9C,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACpB,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACxB,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACrD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACxC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;QACjC,IAAI,GAAG,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC5B,MAAM,EAAE,CAAC;QACT,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACjD,MAAM,MAAM,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACjD,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAC/B,IAAI,MAAM,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,IAAI,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,8DAA8D,CAAC,CAAC;IAC9E,CAAC;IAED,sCAAsC;IACtC,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,QAAQ,GAAa,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC9C,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAE9B,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,EAAG,CAAC;YAClC,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;gBACpD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC3B,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBACtB,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC1B,CAAC;YACH,CAAC;QACH,CAAC;QAED,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;YAC1B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACrB,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,wCAAwC,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC;YACvF,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAAgB;IACzD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9D,MAAM,cAAc,GAAG,IAAI,GAAG,CAAS,uBAA4C,CAAC,CAAC;IAErF,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,oCAAoC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;QACnF,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACzC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;gBACtC,MAAM,CAAC,IAAI,CACT,SAAS,IAAI,CAAC,EAAE,yDAAyD,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,CAC/F,CAAC;YACJ,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC5C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7C,MAAM,CAAC,IAAI,CACT,SAAS,IAAI,CAAC,EAAE,gDAAgD,IAAI,CAAC,KAAK,CAAC,QAAkB,GAAG,CACjG,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,KAAgB;IAC5C,MAAM,WAAW,GAAG,kBAAkB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;IAErD,MAAM,SAAS,GAAG,CAAC,GAAG,WAAW,EAAE,GAAG,UAAU,CAAC,CAAC;IAElD,OAAO;QACL,UAAU,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC;QACpC,eAAe,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;QACxC,gBAAgB,EAAE,IAAI;QACtB,MAAM,EAAE,SAAS;QACjB,QAAQ,EAAE,EAAE;KACb,CAAC;AACJ,CAAC"}