wingfoil 0.2.2 → 0.3.0

package/dist/core/workflow-diagnostics.js

@@ -0,0 +1,375 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.NO_BINDINGS_FILE = void 0;
+exports.indexWorkflowFiles = indexWorkflowFiles;
+exports.workflowFileDiagnostics = workflowFileDiagnostics;
+exports.noStartableDiagnostic = noStartableDiagnostic;
+exports.creatingPhaseIndex = creatingPhaseIndex;
+exports.isImplicitOwnerProduces = isImplicitOwnerProduces;
+exports.bindingsFileDiagnostics = bindingsFileDiagnostics;
+const bindings_1 = require("../workflow/bindings");
+const schema_1 = require("../workflow/schema");
+/**
+ * A collection reference (`dna:<path>`, `bindings:<name>`, `element:<field>`) rather than a Memory type
+ * (spec-003 § "Collections"; `element:` since task-230).
+ */
+const COLLECTION_REF_RE = /^(dna|bindings|element):/;
+/** The collection reference read from the bound element's frontmatter (spec-003 § "Collections", task-230). */
+const ELEMENT_COLLECTION = 'element:';
+/** A value that reads as a file path rather than a workflow name — the `bug-144` shape. */
+function looksLikePath(value) {
+    return value.includes('/') || /\.ya?ml$/.test(value);
+}
+function error(file, path, code, message) {
+    return { code, severity: 'error', file, path, message };
+}
+function warning(file, path, code, message) {
+    return { code, severity: 'warning', file, path, message };
+}
+/** Index the loaded files by name; `missing` counts manifest entries whose file does not exist. */
+function indexWorkflowFiles(files, missing) {
+    const byName = new Map();
+    let namesComplete = missing === 0;
+    files.forEach((loaded, index) => {
+        if (loaded.rawName === null) {
+            namesComplete = false;
+            return;
+        }
+        if (!byName.has(loaded.rawName))
+            byName.set(loaded.rawName, index);
+    });
+    return { byName, namesComplete };
+}
+/**
+ * The include target of `phaseInclude` as a loaded, structurally valid workflow's file index, or
+ * `null` when it does not resolve to one.
+ */
+function resolveInclude(files, index, phaseInclude) {
+    const target = index.byName.get(phaseInclude);
+    if (target === undefined || files[target]?.workflow === null)
+        return null;
+    return target;
+}
+/**
+ * The include edges of file `i`, in phase order, as target file indices. `i` is always a structurally
+ * valid workflow: the search starts from one, and {@link resolveInclude} only ever yields valid ones.
+ */
+function includeEdges(files, index, i) {
+    const workflow = files[i].workflow;
+    const edges = [];
+    for (const phase of workflow.phases) {
+        if (phase.include === undefined)
+            continue;
+        const target = resolveInclude(files, index, phase.include);
+        if (target !== null)
+            edges.push(target);
+    }
+    return edges;
+}
+/**
+ * The shortest include path from `from` back to `to` (breadth-first, neighbours in phase order, so
+ * the answer is deterministic), as file indices `[from, …, to]`, or `null` if `to` is unreachable.
+ */
+function shortestIncludePath(files, index, from, to) {
+    if (from === to)
+        return [from];
+    const parent = new Map([[from, from]]);
+    const queue = [from];
+    while (queue.length > 0) {
+        const current = queue.shift();
+        for (const next of includeEdges(files, index, current)) {
+            if (parent.has(next))
+                continue;
+            parent.set(next, current);
+            if (next === to) {
+                const path = [to];
+                let step = current;
+                while (step !== from) {
+                    path.unshift(step);
+                    step = parent.get(step);
+                }
+                path.unshift(from);
+                return path;
+            }
+            queue.push(next);
+        }
+    }
+    return null;
+}
+/** `E_WORKFLOW_ELEMENT_MISMATCH`'s message, or `null` when the include binds the element legally. */
+function elementMismatch(including, phase, included) {
+    const element = included.element;
+    const over = phase.iterate_over;
+    if (element === undefined)
+        return null;
+    // An `element:` collection keeps the enclosing bound element (task-230): the iterated workflow may declare
+    // the including workflow's own type, so that it can include a sub bound to it. An including workflow with no
+    // element is the core check's `E_WORKFLOW_COLLECTION_UNRESOLVED`, not a mismatch.
+    if (over !== undefined && over.startsWith(ELEMENT_COLLECTION)) {
+        if (including.element === undefined || element === including.element)
+            return null;
+        return `workflow '${included.name}' declares element '${element}', but collection '${over}' is read from workflow '${including.name}''s element '${including.element}'`;
+    }
+    if (over !== undefined && COLLECTION_REF_RE.test(over)) {
+        return `workflow '${included.name}' declares element '${element}' and cannot be iterated over collection '${over}'`;
+    }
+    if (over !== undefined) {
+        return over === element ? null : `workflow '${included.name}' declares element '${element}', but this phase iterates over '${over}'`;
+    }
+    if (including.element === element)
+        return null;
+    return `workflow '${included.name}' declares element '${element}', but this phase neither iterates over '${element}' nor runs in a workflow bound to '${element}'`;
+}
+// ---- task-185: executor attributes (spec-003 § "Execution independence") ---------------------------
+/**
+ * The executor rows of spec-003 § "Diagnostics" for one phase, in table order:
+ * `E_PHASE_DISTINCT_FROM_UNKNOWN` and `E_PHASE_DISTINCT_FROM_SELF` (`dl-134` §4),
+ * `E_PHASE_MODE_NOT_INDEPENDENT` (`dl-135` point 3) and `E_PHASE_EXECUTOR_WITHOUT_ROLE` (spec-003
+ * open question 4). Every rule reads the raw declaration: the schema gives `mode` no default, so an
+ * absent `mode` is never a declared one. Validation only — no v0.3 command enforces `distinct_from`
+ * at run time (P4.12, v1.0).
+ */
+function executorDiagnostics(file, phase, p, phaseNames) {
+    const out = [];
+    const at = (field) => `phases[${p}].${field}`;
+    const distinct = phase.distinct_from ?? [];
+    distinct.forEach((target, k) => {
+        if (!phaseNames.has(target)) {
+            out.push(error(file, at(`distinct_from[${k}]`), 'E_PHASE_DISTINCT_FROM_UNKNOWN', `distinct_from phase '${target}' not found in workflow`));
+        }
+    });
+    distinct.forEach((target, k) => {
+        if (target === phase.name) {
+            out.push(error(file, at(`distinct_from[${k}]`), 'E_PHASE_DISTINCT_FROM_SELF', `phase '${phase.name}' names itself in distinct_from`));
+        }
+    });
+    if (phase.role !== undefined && schema_1.INDEPENDENT_ROLES.includes(phase.role) && phase.mode !== undefined && phase.mode !== 'fresh') {
+        out.push(error(file, at('mode'), 'E_PHASE_MODE_NOT_INDEPENDENT', `phase '${phase.name}' has role '${phase.role}' and must run fresh (mode '${phase.mode}' is not allowed)`));
+    }
+    if (phase.role === undefined) {
+        for (const field of ['mode', 'distinct_from']) {
+            if (phase[field] === undefined)
+                continue;
+            out.push(error(file, at(field), 'E_PHASE_EXECUTOR_WITHOUT_ROLE', `phase '${phase.name}' declares ${field} but has no role (it has no executor)`));
+        }
+    }
+    return out;
+}
+// ---- end task-185 -----------------------------------------------------------------------------------
+/**
+ * Every loader diagnostic of file `i` (spec-003 § "Diagnostics"), in spec-003's order. A file that
+ * failed its structural pass contributes nothing here — its structural diagnostics are the loader's.
+ */
+function workflowFileDiagnostics(files, index, i, bindings = exports.NO_BINDINGS_FILE) {
+    const { file, workflow } = files[i];
+    if (!workflow)
+        return [];
+    const out = [];
+    const name = workflow.name;
+    // Workflow level, table order.
+    if (!schema_1.WORKFLOW_NAME_RE.test(name)) {
+        out.push(error(file, 'name', 'E_WORKFLOW_NAME_INVALID', `invalid workflow name '${name}' (allowed: [a-z][a-z0-9-]*)`));
+    }
+    const first = index.byName.get(name);
+    if (first !== undefined && first !== i) {
+        out.push(error(file, 'name', 'E_WORKFLOW_DUPLICATE_NAME', `duplicate workflow name '${name}' (already declared in ${files[first].file})`));
+    }
+    const declaresBoolean = workflow.startable !== undefined || workflow.includable !== undefined;
+    if (workflow.kind !== undefined && declaresBoolean) {
+        out.push(error(file, 'kind', 'E_WORKFLOW_KIND_CONFLICT', `workflow '${name}' declares kind together with startable/includable (declare one or the other)`));
+    }
+    else if (workflow.kind === undefined && workflow.startable !== true && workflow.includable !== true) {
+        out.push(error(file, 'startable', 'E_WORKFLOW_NEITHER_STARTABLE_NOR_INCLUDABLE', `workflow '${name}' is neither startable nor includable (set startable: true or includable: true)`));
+    }
+    // Phase level: phases in declared order, rows in table order.
+    const phaseNames = new Set(workflow.phases.map((phase) => phase.name));
+    const seen = new Set();
+    workflow.phases.forEach((phase, p) => {
+        const at = (field) => `phases[${p}].${field}`;
+        if (!schema_1.WORKFLOW_NAME_RE.test(phase.name)) {
+            out.push(error(file, at('name'), 'E_PHASE_NAME_INVALID', `invalid phase name '${phase.name}' (allowed: [a-z][a-z0-9-]*)`));
+        }
+        if (schema_1.RESERVED_PHASE_NAMES.includes(phase.name)) {
+            out.push(error(file, at('name'), 'E_PHASE_NAME_RESERVED', `phase name '${phase.name}' is reserved (a run without a step)`));
+        }
+        if (seen.has(phase.name)) {
+            out.push(error(file, at('name'), 'E_PHASE_DUPLICATE_NAME', `duplicate phase name '${phase.name}' in workflow '${name}'`));
+        }
+        seen.add(phase.name);
+        if (phase.include !== undefined) {
+            const target = index.byName.get(phase.include);
+            if (target === undefined) {
+                if (index.namesComplete) {
+                    const hint = looksLikePath(phase.include) ? ' (a phase include is a workflow name, not a file path)' : '';
+                    out.push(error(file, at('include'), 'E_WORKFLOW_INCLUDE_UNRESOLVED', `include '${phase.include}' names no loaded workflow${hint}`));
+                }
+            }
+            else {
+                const included = files[target].workflow;
+                if (included) {
+                    if (!(0, schema_1.workflowFacts)(included).includable) {
+                        out.push(error(file, at('include'), 'E_WORKFLOW_NOT_INCLUDABLE', `workflow '${included.name}' is not includable`));
+                    }
+                    const mismatch = elementMismatch(workflow, phase, included);
+                    if (mismatch !== null)
+                        out.push(error(file, at('include'), 'E_WORKFLOW_ELEMENT_MISMATCH', mismatch));
+                    // A cycle is reported once, at the phase of its lowest-indexed member that closes it.
+                    const cycle = shortestIncludePath(files, index, target, i);
+                    if (cycle !== null && cycle.every((member) => member >= i)) {
+                        const names = [i, ...cycle].map((member) => files[member].workflow.name);
+                        out.push(error(file, at('include'), 'E_WORKFLOW_INCLUDE_CYCLE', `include cycle: ${names.join(' -> ')}`));
+                    }
+                }
+            }
+        }
+        if (phase.fallback !== undefined && !phaseNames.has(phase.fallback.step)) {
+            out.push(error(file, at('fallback.step'), 'E_PHASE_FALLBACK_STEP_UNKNOWN', `fallback step '${phase.fallback.step}' not found in workflow`));
+        }
+        out.push(...executorDiagnostics(file, phase, p, phaseNames));
+        out.push(...phaseEvidenceDiagnostics(file, workflow, p, bindings));
+    });
+    return out;
+}
+/**
+ * `E_NO_MAIN_WORKFLOW` (spec-003 Layer 1; `dl-109` Action 1): a present manifest whose loaded files
+ * hold no startable workflow. Not decided while some file is missing or unreadable (see
+ * {@link WorkflowRegistryIndex.namesComplete}) or failed its structural pass.
+ */
+function noStartableDiagnostic(files, index) {
+    if (!index.namesComplete || files.some((loaded) => loaded.workflow === null))
+        return null;
+    if (files.some((loaded) => (0, schema_1.workflowFacts)(loaded.workflow).startable))
+        return null;
+    return error('workflows.yaml', 'include', 'E_NO_MAIN_WORKFLOW', 'no startable workflow: at least one included workflow must be startable (startable: true or kind: main)');
+}
+/** An absent `bindings.yaml`: no bindings, and that is known (spec-003 Layer 3: "Optional"). */
+exports.NO_BINDINGS_FILE = { bindings: null, decided: true };
+/** An untyped Memory action: it acts on the workflow's element, a phase's selection, or what the phase added. */
+const UNTYPED_MEMORY_ACTION_RE = /^(memory\.(submit|approve|reject|deprecate)|element\.[a-z_]+)$/;
+/** A bare `{<field>}` token — `{id}`, `{version}` — owned by whichever element the reader assumes. */
+const BARE_TOKEN_RE = /\{[^{}.]+\}/;
+/**
+ * The index of a **self-creating** workflow's creating phase (spec-003 Layer 2 `element`): a
+ * startable workflow with no `element` whose phases `memory.add` — the phase holding the first such
+ * action. `-1` for every other workflow.
+ */
+function creatingPhaseIndex(workflow) {
+    if (workflow.element !== undefined || !(0, schema_1.workflowFacts)(workflow).startable)
+        return -1;
+    return workflow.phases.findIndex((phase) => (phase.actions ?? []).some((action) => (0, bindings_1.tokenName)(action) === 'memory.add'));
+}
+/**
+ * Whether the string `produces` entry `entry` of phase `p` has an **implicit owner** (`dl-104` D3,
+ * `W_PHASE_PRODUCES_OWNER_IMPLICIT`): a bare `{<field>}` token in a phase that also `memory.add`s,
+ * other than a self-creating workflow's creating phase. The loader warns on it; state deduction
+ * (task-198, `spec-017` §4.3) shows it and does not count it as evidence — one rule for both.
+ */
+function isImplicitOwnerProduces(workflow, p, entry) {
+    const adds = (workflow.phases[p]?.actions ?? []).some((action) => (0, bindings_1.tokenName)(action) === 'memory.add');
+    return adds && p !== creatingPhaseIndex(workflow) && BARE_TOKEN_RE.test(entry);
+}
+/**
+ * The evidence and binding rows of one phase (spec-003 § "Diagnostics"), in table order:
+ * `E_PHASE_PRODUCES_NOT_A_PATH`, `E_PHASE_PRODUCES_OWNER_NOT_CREATED`, `E_PHASE_SELECTION_UNTYPED`,
+ * then the warnings `W_WORKFLOW_UNBOUND_TOKEN`, `W_PHASE_PRODUCES_OWNER_IMPLICIT`,
+ * `W_PHASE_ACTION_UNTARGETED`.
+ */
+function phaseEvidenceDiagnostics(file, workflow, p, bindings) {
+    const phase = workflow.phases[p];
+    const at = (field) => `phases[${p}].${field}`;
+    const out = [];
+    const actions = phase.actions ?? [];
+    const produces = phase.produces ?? [];
+    const added = new Set(actions.map(bindings_1.memoryAddType).filter((type) => type !== null));
+    const adds = actions.some((action) => (0, bindings_1.tokenName)(action) === 'memory.add');
+    produces.forEach((entry, k) => {
+        const path = (0, schema_1.producesPath)(entry);
+        if (!schema_1.PATH_PATTERN_RE.test(path)) {
+            const where = typeof entry === 'string' ? at(`produces[${k}]`) : at(`produces[${k}].path`);
+            out.push(error(file, where, 'E_PHASE_PRODUCES_NOT_A_PATH', `produces '${path}' is not a path pattern (allowed: [A-Za-z0-9._/{}-], no whitespace)`));
+        }
+    });
+    produces.forEach((entry, k) => {
+        if (typeof entry !== 'string' && !added.has(entry.type)) {
+            out.push(error(file, at(`produces[${k}].type`), 'E_PHASE_PRODUCES_OWNER_NOT_CREATED', `produces owner '${entry.type}' is not a type this phase creates (no memory.add(type: ${entry.type}))`));
+        }
+    });
+    const selection = phase.where !== undefined && phase.iterate_over === undefined;
+    if (selection && !Object.prototype.hasOwnProperty.call(phase.where, 'type')) {
+        out.push(error(file, at('where'), 'E_PHASE_SELECTION_UNTYPED', 'a selection (where without iterate_over) names the type(s) it selects with a type key'));
+    }
+    if (bindings.decided) {
+        const unbound = (token, where, role) => {
+            if ((0, bindings_1.resolveToken)(token, role, bindings.bindings).kind !== 'unbound')
+                return;
+            out.push(warning(file, where, 'W_WORKFLOW_UNBOUND_TOKEN', `${role} token '${(0, bindings_1.tokenName)(token)}' has no built-in or bindings.yaml binding`));
+        };
+        actions.forEach((action, a) => unbound(action, at(`actions[${a}]`), 'action'));
+        (phase.checks?.pre ?? []).forEach((check, c) => unbound(check, at(`checks.pre[${c}]`), 'check'));
+        (phase.checks?.post ?? []).forEach((check, c) => unbound(check, at(`checks.post[${c}]`), 'check'));
+        if (phase.awaits !== undefined)
+            unbound(phase.awaits.evidence, at('awaits.evidence'), 'check');
+    }
+    const creating = creatingPhaseIndex(workflow);
+    if (adds && p !== creating) {
+        produces.forEach((entry, k) => {
+            if (typeof entry === 'string' && isImplicitOwnerProduces(workflow, p, entry)) {
+                out.push(warning(file, at(`produces[${k}]`), 'W_PHASE_PRODUCES_OWNER_IMPLICIT', `produces '${entry}' in a phase that memory.adds: name its owner as { type, path } (dl-104 D3)`));
+            }
+        });
+    }
+    const bindsElement = workflow.element !== undefined || (creating !== -1 && p > creating);
+    if (!bindsElement && !selection) {
+        let addedBefore = false;
+        actions.forEach((action, a) => {
+            const name = (0, bindings_1.tokenName)(action);
+            if (UNTYPED_MEMORY_ACTION_RE.test(name) && !addedBefore) {
+                out.push(warning(file, at(`actions[${a}]`), 'W_PHASE_ACTION_UNTARGETED', `action '${name}' has no element to act on (the workflow binds none, no memory.add precedes it, no selection)`));
+            }
+            if (name === 'memory.add')
+                addedBefore = true;
+        });
+    }
+    return out;
+}
+/** A `run` vector's diagnostics path: `checks.<token>.run[<i>]`. */
+function runPath(section, token, i) {
+    return `${section}.${token}.run[${i}]`;
+}
+/**
+ * The loader rows of `workflows/bindings.yaml` (spec-003 Layer 3), on a structurally valid file:
+ * sections in a fixed order (`checks`, then `actions`, then `collections`), entries in declared order,
+ * and per entry the table's rows in table order — `E_BINDING_PARTIAL_INTERPOLATION` (per `run`
+ * element), `E_BINDING_BUILTIN_TOKEN`, `E_BINDING_AGENT_CHECK`; then `E_BINDING_COLLECTION_KEY` per
+ * collection entry (approver ruling D1 (a)).
+ */
+function bindingsFileDiagnostics(bindings) {
+    const out = [];
+    const sections = [
+        ['checks', bindings.checks ?? {}],
+        ['actions', bindings.actions ?? {}],
+    ];
+    for (const [section, entries] of sections) {
+        for (const [token, binding] of Object.entries(entries)) {
+            (binding.run ?? []).forEach((element, i) => {
+                if (!(0, bindings_1.isWholeInterpolation)(element)) {
+                    out.push(error(bindings_1.BINDINGS_FILE, runPath(section, token, i), 'E_BINDING_PARTIAL_INTERPOLATION', `'${element}' interpolates part of an argument: a placeholder must be a whole run element`));
+                }
+            });
+            if ((0, bindings_1.isBuiltinToken)(token)) {
+                out.push(error(bindings_1.BINDINGS_FILE, `${section}.${token}`, 'E_BINDING_BUILTIN_TOKEN', `'${token}' is a built-in token and may not be rebound`));
+            }
+            if (section === 'checks' && (0, bindings_1.runsAgentExecute)(binding.run ?? [])) {
+                out.push(error(bindings_1.BINDINGS_FILE, `${section}.${token}.run`, 'E_BINDING_AGENT_CHECK', `check '${token}' is bound to wingfoil agent execute: a check an agent asserts about its own work is not a gate`));
+            }
+        }
+    }
+    for (const [name, entries] of Object.entries(bindings.collections ?? {})) {
+        for (const issue of (0, bindings_1.collectionKeyIssues)(entries)) {
+            out.push(error(bindings_1.BINDINGS_FILE, `collections.${name}[${issue.index}]`, 'E_BINDING_COLLECTION_KEY', issue.message));
+        }
+    }
+    return out;
+}
+// --- end task-175 ---
+//# sourceMappingURL=workflow-diagnostics.js.map

package/dist/core/workflow-diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-diagnostics.js","sourceRoot":"","sources":["../../src/core/workflow-diagnostics.ts"],"names":[],"mappings":";;;AA+EA,gDAWC;AA+ID,0DA2FC;AAOD,sDASC;AA8BD,gDAGC;AAQD,0DAGC;AAsFD,0DA6BC;AAteD,mDAU8B;AAC9B,+CAQ4B;AAwB5B;;;GAGG;AACH,MAAM,iBAAiB,GAAG,0BAA0B,CAAC;AAErD,+GAA+G;AAC/G,MAAM,kBAAkB,GAAG,UAAU,CAAC;AAEtC,2FAA2F;AAC3F,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,KAAK,CAAC,IAAY,EAAE,IAAY,EAAE,IAAY,EAAE,OAAe;IACtE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC1D,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,IAAY,EAAE,IAAY,EAAE,OAAe;IACxE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC5D,CAAC;AAED,mGAAmG;AACnG,SAAgB,kBAAkB,CAAC,KAAoC,EAAE,OAAe;IACtF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,IAAI,aAAa,GAAG,OAAO,KAAK,CAAC,CAAC;IAClC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QAC9B,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YAC5B,aAAa,GAAG,KAAK,CAAC;YACtB,OAAO;QACT,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;AACnC,CAAC;AAED;;;GAGG;AACH,SAAS,cAAc,CACrB,KAAoC,EACpC,KAA4B,EAC5B,YAAoB;IAEpB,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC9C,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC,EAAE,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1E,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,KAAoC,EAAE,KAA4B,EAAE,CAAS;IACjG,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,QAAS,CAAC;IACrC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;YAAE,SAAS;QAC1C,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QAC3D,IAAI,MAAM,KAAK,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,SAAS,mBAAmB,CAC1B,KAAoC,EACpC,KAA4B,EAC5B,IAAY,EACZ,EAAU;IAEV,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAiB,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;IACrB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;YACvD,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC/B,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC1B,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;gBAChB,MAAM,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;gBAClB,IAAI,IAAI,GAAG,OAAO,CAAC;gBACnB,OAAO,IAAI,KAAK,IAAI,EAAE,CAAC;oBACrB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBACnB,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;gBAC3B,CAAC;gBACD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBACnB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,qGAAqG;AACrG,SAAS,eAAe,CAAC,SAAmB,EAAE,KAAiC,EAAE,QAAkB;IACjG,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;IACjC,MAAM,IAAI,GAAG,KAAK,CAAC,YAAY,CAAC;IAChC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvC,2GAA2G;IAC3G,6GAA6G;IAC7G,kFAAkF;IAClF,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,CAAC;QAC9D,IAAI,SAAS,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC;QAClF,OAAO,aAAa,QAAQ,CAAC,IAAI,uBAAuB,OAAO,sBAAsB,IAAI,4BAA4B,SAAS,CAAC,IAAI,gBAAgB,SAAS,CAAC,OAAO,GAAG,CAAC;IAC1K,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACvD,OAAO,aAAa,QAAQ,CAAC,IAAI,uBAAuB,OAAO,6CAA6C,IAAI,GAAG,CAAC;IACtH,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,QAAQ,CAAC,IAAI,uBAAuB,OAAO,oCAAoC,IAAI,GAAG,CAAC;IACvI,CAAC;IACD,IAAI,SAAS,CAAC,OAAO,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC/C,OAAO,aAAa,QAAQ,CAAC,IAAI,uBAAuB,OAAO,4CAA4C,OAAO,sCAAsC,OAAO,GAAG,CAAC;AACrK,CAAC;AAED,uGAAuG;AACvG;;;;;;;GAOG;AACH,SAAS,mBAAmB,CAC1B,IAAY,EACZ,KAAiC,EACjC,CAAS,EACT,UAA+B;IAE/B,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,MAAM,EAAE,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,UAAU,CAAC,KAAK,KAAK,EAAE,CAAC;IAC9D,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC;IAC3C,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QAC7B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,GAAG,CAAC,IAAI,CACN,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,+BAA+B,EAAE,wBAAwB,MAAM,yBAAyB,CAAC,CACjI,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QAC7B,IAAI,MAAM,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;YAC1B,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,4BAA4B,EAAE,UAAU,KAAK,CAAC,IAAI,iCAAiC,CAAC,CAAC,CAAC;QACxI,CAAC;IACH,CAAC,CAAC,CAAC;IACH,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,0BAAiB,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC7H,GAAG,CAAC,IAAI,CACN,KAAK,CACH,IAAI,EACJ,EAAE,CAAC,MAAM,CAAC,EACV,8BAA8B,EAC9B,UAAU,KAAK,CAAC,IAAI,eAAe,KAAK,CAAC,IAAI,+BAA+B,KAAK,CAAC,IAAI,mBAAmB,CAC1G,CACF,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,KAAK,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,eAAe,CAAU,EAAE,CAAC;YACvD,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,SAAS;gBAAE,SAAS;YACzC,GAAG,CAAC,IAAI,CACN,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,+BAA+B,EAAE,UAAU,KAAK,CAAC,IAAI,cAAc,KAAK,uCAAuC,CAAC,CACxI,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AACD,wGAAwG;AAExG;;;GAGG;AACH,SAAgB,uBAAuB,CACrC,KAAoC,EACpC,KAA4B,EAC5B,CAAS,EACT,WAA4B,wBAAgB;IAE5C,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;IACrC,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,CAAC;IACzB,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;IAE3B,+BAA+B;IAC/B,IAAI,CAAC,yBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,yBAAyB,EAAE,0BAA0B,IAAI,8BAA8B,CAAC,CAAC,CAAC;IACzH,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QACvC,GAAG,CAAC,IAAI,CACN,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,2BAA2B,EAAE,4BAA4B,IAAI,0BAA0B,KAAK,CAAC,KAAK,CAAE,CAAC,IAAI,GAAG,CAAC,CAClI,CAAC;IACJ,CAAC;IACD,MAAM,eAAe,GAAG,QAAQ,CAAC,SAAS,KAAK,SAAS,IAAI,QAAQ,CAAC,UAAU,KAAK,SAAS,CAAC;IAC9F,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,eAAe,EAAE,CAAC;QACnD,GAAG,CAAC,IAAI,CACN,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,0BAA0B,EAAE,aAAa,IAAI,+EAA+E,CAAC,CAClJ,CAAC;IACJ,CAAC;SAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,SAAS,KAAK,IAAI,IAAI,QAAQ,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACtG,GAAG,CAAC,IAAI,CACN,KAAK,CACH,IAAI,EACJ,WAAW,EACX,6CAA6C,EAC7C,aAAa,IAAI,iFAAiF,CACnG,CACF,CAAC;IACJ,CAAC;IAED,8DAA8D;IAC9D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QACnC,MAAM,EAAE,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,UAAU,CAAC,KAAK,KAAK,EAAE,CAAC;QAC9D,IAAI,CAAC,yBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,sBAAsB,EAAE,uBAAuB,KAAK,CAAC,IAAI,8BAA8B,CAAC,CAAC,CAAC;QAC7H,CAAC;QACD,IAAI,6BAAoB,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,uBAAuB,EAAE,eAAe,KAAK,CAAC,IAAI,sCAAsC,CAAC,CAAC,CAAC;QAC9H,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,wBAAwB,EAAE,yBAAyB,KAAK,CAAC,IAAI,kBAAkB,IAAI,GAAG,CAAC,CAAC,CAAC;QAC5H,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAErB,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC/C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;oBACxB,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,wDAAwD,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1G,GAAG,CAAC,IAAI,CACN,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,+BAA+B,EAAE,YAAY,KAAK,CAAC,OAAO,6BAA6B,IAAI,EAAE,CAAC,CAC1H,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAE,CAAC,QAAQ,CAAC;gBACzC,IAAI,QAAQ,EAAE,CAAC;oBACb,IAAI,CAAC,IAAA,sBAAa,EAAC,QAAQ,CAAC,CAAC,UAAU,EAAE,CAAC;wBACxC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,2BAA2B,EAAE,aAAa,QAAQ,CAAC,IAAI,qBAAqB,CAAC,CAAC,CAAC;oBACrH,CAAC;oBACD,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;oBAC5D,IAAI,QAAQ,KAAK,IAAI;wBAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,6BAA6B,EAAE,QAAQ,CAAC,CAAC,CAAC;oBACrG,sFAAsF;oBACtF,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;oBAC3D,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC;wBAC3D,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAE,CAAC,QAAS,CAAC,IAAI,CAAC,CAAC;wBAC3E,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,0BAA0B,EAAE,kBAAkB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;oBAC3G,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACzE,GAAG,CAAC,IAAI,CACN,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,+BAA+B,EAAE,kBAAkB,KAAK,CAAC,QAAQ,CAAC,IAAI,yBAAyB,CAAC,CAClI,CAAC;QACJ,CAAC;QAED,GAAG,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;QAC7D,GAAG,CAAC,IAAI,CAAC,GAAG,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAgB,qBAAqB,CAAC,KAAoC,EAAE,KAA4B;IACtG,IAAI,CAAC,KAAK,CAAC,aAAa,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1F,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAA,sBAAa,EAAC,MAAM,CAAC,QAAS,CAAC,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IACnF,OAAO,KAAK,CACV,gBAAgB,EAChB,SAAS,EACT,oBAAoB,EACpB,yGAAyG,CAC1G,CAAC;AACJ,CAAC;AAgBD,gGAAgG;AACnF,QAAA,gBAAgB,GAAoB,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAEnF,iHAAiH;AACjH,MAAM,wBAAwB,GAAG,gEAAgE,CAAC;AAElG,sGAAsG;AACtG,MAAM,aAAa,GAAG,aAAa,CAAC;AAEpC;;;;GAIG;AACH,SAAgB,kBAAkB,CAAC,QAAkB;IACnD,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,IAAA,sBAAa,EAAC,QAAQ,CAAC,CAAC,SAAS;QAAE,OAAO,CAAC,CAAC,CAAC;IACpF,OAAO,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAA,oBAAS,EAAC,MAAM,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC;AAC1H,CAAC;AAED;;;;;GAKG;AACH,SAAgB,uBAAuB,CAAC,QAAkB,EAAE,CAAS,EAAE,KAAa;IAClF,MAAM,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAA,oBAAS,EAAC,MAAM,CAAC,KAAK,YAAY,CAAC,CAAC;IACtG,OAAO,IAAI,IAAI,CAAC,KAAK,kBAAkB,CAAC,QAAQ,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACjF,CAAC;AAED;;;;;GAKG;AACH,SAAS,wBAAwB,CAAC,IAAY,EAAE,QAAkB,EAAE,CAAS,EAAE,QAAyB;IACtG,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;IAClC,MAAM,EAAE,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,UAAU,CAAC,KAAK,KAAK,EAAE,CAAC;IAC9D,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC;IACpC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,wBAAa,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC;IAClG,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAA,oBAAS,EAAC,MAAM,CAAC,KAAK,YAAY,CAAC,CAAC;IAE1E,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAC5B,MAAM,IAAI,GAAG,IAAA,qBAAY,EAAC,KAAK,CAAC,CAAC;QACjC,IAAI,CAAC,wBAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;YAC3F,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,6BAA6B,EAAE,aAAa,IAAI,qEAAqE,CAAC,CAAC,CAAC;QACtJ,CAAC;IACH,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAC5B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACxD,GAAG,CAAC,IAAI,CACN,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,oCAAoC,EAAE,mBAAmB,KAAK,CAAC,IAAI,2DAA2D,KAAK,CAAC,IAAI,IAAI,CAAC,CACrL,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC;IAChF,IAAI,SAAS,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;QAC5E,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,2BAA2B,EAAE,uFAAuF,CAAC,CAAC,CAAC;IAC3J,CAAC;IAED,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrB,MAAM,OAAO,GAAG,CAAC,KAAa,EAAE,KAAa,EAAE,IAAwB,EAAQ,EAAE;YAC/E,IAAI,IAAA,uBAAY,EAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO;YAC5E,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,0BAA0B,EAAE,GAAG,IAAI,WAAW,IAAA,oBAAS,EAAC,KAAK,CAAC,4CAA4C,CAAC,CAAC,CAAC;QAC7I,CAAC,CAAC;QACF,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC/E,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACjG,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACnG,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC,CAAC;IACjG,CAAC;IAED,MAAM,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC9C,IAAI,IAAI,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC3B,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;YAC5B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,uBAAuB,CAAC,QAAQ,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;gBAC7E,GAAG,CAAC,IAAI,CACN,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,iCAAiC,EAAE,aAAa,KAAK,6EAA6E,CAAC,CACxK,CAAC;YACJ,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,QAAQ,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;IACzF,IAAI,CAAC,YAAY,IAAI,CAAC,SAAS,EAAE,CAAC;QAChC,IAAI,WAAW,GAAG,KAAK,CAAC;QACxB,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YAC5B,MAAM,IAAI,GAAG,IAAA,oBAAS,EAAC,MAAM,CAAC,CAAC;YAC/B,IAAI,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;gBACxD,GAAG,CAAC,IAAI,CACN,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,2BAA2B,EAAE,WAAW,IAAI,+FAA+F,CAAC,CAChL,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,KAAK,YAAY;gBAAE,WAAW,GAAG,IAAI,CAAC;QAChD,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oEAAoE;AACpE,SAAS,OAAO,CAAC,OAAe,EAAE,KAAa,EAAE,CAAS;IACxD,OAAO,GAAG,OAAO,IAAI,KAAK,QAAQ,CAAC,GAAG,CAAC;AACzC,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,uBAAuB,CAAC,QAAsB;IAC5D,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAA+E;QAC3F,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC;QACjC,CAAC,SAAS,EAAE,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC;KACpC,CAAC;IACF,KAAK,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,QAAQ,EAAE,CAAC;QAC1C,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACvD,CAAC,OAAO,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE;gBACzC,IAAI,CAAC,IAAA,+BAAoB,EAAC,OAAO,CAAC,EAAE,CAAC;oBACnC,GAAG,CAAC,IAAI,CACN,KAAK,CAAC,wBAAa,EAAE,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,iCAAiC,EAAE,IAAI,OAAO,+EAA+E,CAAC,CAChL,CAAC;gBACJ,CAAC;YACH,CAAC,CAAC,CAAC;YACH,IAAI,IAAA,yBAAc,EAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAa,EAAE,GAAG,OAAO,IAAI,KAAK,EAAE,EAAE,yBAAyB,EAAE,IAAI,KAAK,8CAA8C,CAAC,CAAC,CAAC;YAC5I,CAAC;YACD,IAAI,OAAO,KAAK,QAAQ,IAAI,IAAA,2BAAgB,EAAC,OAAO,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,CAAC;gBAChE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAa,EAAE,GAAG,OAAO,IAAI,KAAK,MAAM,EAAE,uBAAuB,EAAE,UAAU,KAAK,iGAAiG,CAAC,CAAC,CAAC;YACvM,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,CAAC;QACzE,KAAK,MAAM,KAAK,IAAI,IAAA,8BAAmB,EAAC,OAAO,CAAC,EAAE,CAAC;YACjD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAa,EAAE,eAAe,IAAI,IAAI,KAAK,CAAC,KAAK,GAAG,EAAE,0BAA0B,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QACnH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,uBAAuB"}

package/dist/core/workflow-exit-state.d.ts

@@ -0,0 +1,125 @@
+/**
+ * The exit-state computation of `spec-017` §4.4 (task-194): a phase's exit state for the element a
+ * workflow is bound to, computed **statically** by applying the phase's state-changing actions, in
+ * order, along the element's machine (`spec-001`), from the state the previous phase leaves it in.
+ * The same computation, applied from a type's first state at a `memory.add`, gives the state the
+ * elements a phase **creates** are left in (§4.3 `created`).
+ *
+ * Pure: it reads the workflow and `memory.yaml` it is handed and nothing else — no filesystem, no git,
+ * no clock (REQ-SYS-07). The core checks (`./workflow-core-checks.ts`) run it at load time for
+ * `W_PHASE_EXIT_STATE_UNDETERMINED`, `W_PHASE_FALLBACK_STATE_MISMATCH` and
+ * `W_PHASE_FALLBACK_NOT_REENTRANT`; state deduction (task-198) reuses it for `state` and `created`
+ * evidence.
+ *
+ * What an action targets is `spec-017` §4.2's table:
+ * - `memory.add(type: T)` creates an element of `T` in `T`'s first state; in a self-creating
+ *   workflow's creating phase the first one created **is** the bound element (§3.4);
+ * - the untyped `memory.submit|approve|reject|deprecate` and `element.set_state(s)` act on the element
+ *   the latest `memory.add` of the phase created; before any `memory.add`, on the phase's selection
+ *   (which this function does not move: a selection's elements have no single state) or else on the
+ *   bound element;
+ * - `<T>.set_state(s)` acts on the bound element when `T` is its type, otherwise on the elements of
+ *   `T` an earlier phase of the same workflow pass created (its **run** elements), otherwise on the
+ *   phase's selection when it selects `T` (not moved either; it holds each selected gate state whose
+ *   approve target is `s`, §5.1), otherwise on nothing;
+ * - every other token (`<T>.sync_state`, `element.set_release`, `agent.*`, `git.*`, …) changes no
+ *   state.
+ *
+ * The verbs: `memory.submit|approve|reject|deprecate` take the edge `resolveTransitionTarget`
+ * (`src/memory/state-machine.ts`) gives — the one engine every Memory verb uses, so a phase is never
+ * judged by a rule the CLI does not apply. `set_state(s)` yields `s` (`spec-003`'s verb rule), when `s`
+ * is a state of the type and lies **after** the current state in its `sequence`: a workflow action
+ * moves an element forward along its machine, and only a reject (or `memory park`) moves it back.
+ */
+import type { MemoryYaml } from '../memory/schema';
+import type { StateMachine } from '../memory/schema';
+import { type Workflow } from '../workflow/schema';
+/** Where the computation starts: the bound element's type and state when the first phase begins. */
+export interface ExitStart {
+    /** The Memory type the workflow is bound to, or `null` when it is bound to none (yet). */
+    readonly boundType: string | null;
+    /** The bound element's state at the first phase, or `null` when it is not known. */
+    readonly state: string | null;
+    /**
+     * `true` when the workflow runs as an **instance** (started on its own): a startable workflow that
+     * declares no `element` then binds the first element its creating phase adds (`spec-017` §3.4). An
+     * included workflow never self-binds.
+     */
+    readonly instance: boolean;
+}
+/** One element a phase created, or moved as a run element: its type, the creating action, its state. */
+export interface InstanceState {
+    /** The element's Memory type. */
+    readonly type: string;
+    /** The index, in the **creating** phase's `actions`, of the `memory.add` that created it. */
+    readonly action: number;
+    /** The state the phase leaves it in, or `null` when it cannot be computed. */
+    readonly state: string | null;
+}
+/** A gate state a phase holds an element in (`spec-017` §5.1): approving or rejecting it is the phase's decision. */
+export interface HeldGate {
+    /** The element's Memory type. */
+    readonly type: string;
+    /** The `gates` state the element sits in while the phase awaits its decision. */
+    readonly gate: string;
+    /** The state `memory.yaml` sends the element to on a reject from that gate. */
+    readonly reject: string;
+}
+/** The first state-changing action of a phase that its machine cannot apply (`W_PHASE_EXIT_STATE_UNDETERMINED`). */
+export interface UndeterminedAction {
+    /** The action's index in the phase's `actions`. */
+    readonly action: number;
+    /** The type of the element it acts on. */
+    readonly type: string;
+    /** The state the action starts from, or `null` when that state is itself unknown. */
+    readonly from: string | null;
+    /** Why it cannot be applied: the state engine's refusal, or the `set_state` rule's. */
+    readonly reason: string;
+}
+/** The exit-state computation's result for one phase. */
+export interface PhaseExitState {
+    /** The phase's name. */
+    readonly phase: string;
+    /** The type the workflow is bound to while the phase runs (`null`: none yet). */
+    readonly boundType: string | null;
+    /** The bound element's state when the phase starts, or `null` (unknown, or no bound element). */
+    readonly entry: string | null;
+    /** The bound element's state when the phase ends — its **exit state** — or `null` (unknown, or none). */
+    readonly exit: string | null;
+    /** The first action the machine cannot apply, or `null`. */
+    readonly undetermined: UndeterminedAction | null;
+    /** The elements the phase creates, in action order, with the state the phase leaves each in. */
+    readonly created: readonly InstanceState[];
+    /** The elements an earlier phase of this pass created that a `<T>.set_state` here moves, after the move. */
+    readonly run: readonly InstanceState[];
+    /** The gate states the phase holds an element in, in action order, each listed once. */
+    readonly held: readonly HeldGate[];
+    /**
+     * The bound element's state just before each of the phase's actions, index-aligned with `actions`
+     * (`null`: unknown, or no bound element); empty for an `include` phase. `workflow next` reads the
+     * `<from>` of a `set_state`'s expected commit subject here (task-216, `spec-017` §6.1).
+     */
+    readonly actionStates: readonly (string | null)[];
+}
+/** Every state an element of a type can be in: its `sequence`, its reject and return targets, and `deprecated`. */
+export declare function machineStates(machine: StateMachine): ReadonlySet<string>;
+/**
+ * The state an element enters a workflow run under `iterate_over` in (`spec-017` §4.4): the
+ * lowest-`sequence` value of the governing `where.status`, otherwise the type's first state. `null`
+ * when `memory.yaml` does not register `type`.
+ */
+export declare function iterationStartState(memoryYaml: MemoryYaml, type: string, where: Readonly<Record<string, unknown>> | undefined): string | null;
+/**
+ * The exit states of every phase of `workflow` (`spec-017` §4.4), in declared order.
+ *
+ * A plain `include:` phase runs the included workflow on the same element (§4.5) — found by name in
+ * `workflows` — and leaves the element in the state the included workflow's last phase leaves it in.
+ * An `iterate_over` phase runs its sub on other elements: the bound element's state is unchanged.
+ *
+ * @param workflow - The workflow whose phases are computed.
+ * @param memoryYaml - The `memory.yaml` the machines come from.
+ * @param start - The bound element's type and state at the first phase.
+ * @param workflows - The registry, by name, a plain `include:` is resolved in (default: none).
+ */
+export declare function workflowExitStates(workflow: Workflow, memoryYaml: MemoryYaml, start: ExitStart, workflows?: ReadonlyMap<string, Workflow>): PhaseExitState[];
+//# sourceMappingURL=workflow-exit-state.d.ts.map

package/dist/core/workflow-exit-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-exit-state.d.ts","sourceRoot":"","sources":["../../src/core/workflow-exit-state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAGrD,OAAO,EAAiB,KAAK,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAElE,oGAAoG;AACpG,MAAM,WAAW,SAAS;IACxB,0FAA0F;IAC1F,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,oFAAoF;IACpF,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED,wGAAwG;AACxG,MAAM,WAAW,aAAa;IAC5B,iCAAiC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6FAA6F;IAC7F,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,8EAA8E;IAC9E,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/B;AAED,qHAAqH;AACrH,MAAM,WAAW,QAAQ;IACvB,iCAAiC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,iFAAiF;IACjF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,+EAA+E;IAC/E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,oHAAoH;AACpH,MAAM,WAAW,kBAAkB;IACjC,mDAAmD;IACnD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,0CAA0C;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,qFAAqF;IACrF,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,uFAAuF;IACvF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,yDAAyD;AACzD,MAAM,WAAW,cAAc;IAC7B,wBAAwB;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,iFAAiF;IACjF,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,iGAAiG;IACjG,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,yGAAyG;IACzG,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,4DAA4D;IAC5D,QAAQ,CAAC,YAAY,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACjD,gGAAgG;IAChG,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,CAAC;IAC3C,4GAA4G;IAC5G,QAAQ,CAAC,GAAG,EAAE,SAAS,aAAa,EAAE,CAAC;IACvC,wFAAwF;IACxF,QAAQ,CAAC,IAAI,EAAE,SAAS,QAAQ,EAAE,CAAC;IACnC;;;;OAIG;IACH,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;CACnD;AAcD,mHAAmH;AACnH,wBAAgB,aAAa,CAAC,OAAO,EAAE,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAMxE;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,GAAG,MAAM,GAAG,IAAI,CAO7I;AA2BD;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,QAAQ,EAClB,UAAU,EAAE,UAAU,EACtB,KAAK,EAAE,SAAS,EAChB,SAAS,GAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAa,GACnD,cAAc,EAAE,CAElB"}