wingfoil 0.2.1 → 0.3.0

package/dist/core/types.js

@@ -11,9 +11,18 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.coreOk = coreOk;
 exports.coreErr = coreErr;
-/** Build a success {@link CoreResult}, optionally carrying the git commit the operation produced. */
-function coreOk(value, commit) {
-    return commit ? { ok: true, value, commit } : { ok: true, value };
+/**
+ * Build a success {@link CoreResult}, optionally carrying the git commit the operation produced and
+ * the warnings to show the operator (task-169). An empty `warnings` list is the same as none: the
+ * result then has no `warnings` key, the shape every success had before the channel existed.
+ */
+function coreOk(value, commit, warnings) {
+    return {
+        ok: true,
+        value,
+        ...(commit ? { commit } : {}),
+        ...(warnings !== undefined && warnings.length > 0 ? { warnings: [...warnings] } : {}),
+    };
 }
 /** Build a failure {@link CoreResult} from a {@link CoreError}. */
 function coreErr(error) {

package/dist/core/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/core/types.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;AA8BH,wBAEC;AAGD,0BAEC;AARD,qGAAqG;AACrG,SAAgB,MAAM,CAAI,KAAQ,EAAE,MAAyC;IAC3E,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACpE,CAAC;AAED,mEAAmE;AACnE,SAAgB,OAAO,CAAY,KAAgB;IACjD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC9B,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/core/types.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;AAwDH,wBAWC;AAGD,0BAEC;AArBD;;;;GAIG;AACH,SAAgB,MAAM,CACpB,KAAQ,EACR,MAAyC,EACzC,QAA4B;IAE5B,OAAO;QACL,EAAE,EAAE,IAAI;QACR,KAAK;QACL,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7B,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtF,CAAC;AACJ,CAAC;AAED,mEAAmE;AACnE,SAAgB,OAAO,CAAY,KAAgB;IACjD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC9B,CAAC"}

package/dist/core/workflow-core-checks.d.ts

@@ -0,0 +1,34 @@
+import type { DnaYaml } from '../dna/schema';
+import type { MemoryYaml } from '../memory/schema';
+import type { Diagnostic } from '../validation';
+import { type BindingsYaml } from '../workflow/bindings';
+import { type Workflow } from '../workflow/schema';
+/** What the core checks read besides the workflow files: the other pillars, from one baseline. */
+export interface WorkflowCoreInputs {
+    /** `memory.yaml`, or `null` when the project has none. */
+    readonly memoryYaml: MemoryYaml | null;
+    /** `dna.yaml`, or `null` when the project has none. */
+    readonly dnaYaml: DnaYaml | null;
+    /**
+     * The frontmatter fields the template of `type` declares, or `null` when the type has no template or
+     * it cannot be read (the field half of `W_PHASE_TOKEN_OUT_OF_SCOPE` is then not decided).
+     */
+    readonly templateFields: (type: string) => ReadonlySet<string> | null;
+}
+/** The registry the checks run on: the loader's accepted result. */
+export interface CheckedRegistry {
+    /** The manifest's `include` list — the diagnostics' `file`, one per workflow. */
+    readonly include: readonly string[];
+    /** The workflows, in `include` order. */
+    readonly workflows: readonly Workflow[];
+    /** `workflows/bindings.yaml`, or `null` when the project has none. */
+    readonly bindings: BindingsYaml | null;
+}
+/** `W_WORKFLOW_CHECKS_NOT_RUN` (`bug-281`, spec-003 "Where each check runs"): a core check skipped for want of its input. */
+export declare const W_WORKFLOW_CHECKS_NOT_RUN = "W_WORKFLOW_CHECKS_NOT_RUN";
+/**
+ * Every core diagnostic of `registry` (spec-003 § "Diagnostics", `core` rows), in spec-003's order.
+ * Pure: it reads only its arguments.
+ */
+export declare function workflowCoreDiagnostics(registry: CheckedRegistry, inputs: WorkflowCoreInputs): Diagnostic[];
+//# sourceMappingURL=workflow-core-checks.d.ts.map

package/dist/core/workflow-core-checks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-core-checks.d.ts","sourceRoot":"","sources":["../../src/core/workflow-core-checks.ts"],"names":[],"mappings":"AA0BA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAiE,KAAK,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACxH,OAAO,EAAiB,KAAK,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAIlE,kGAAkG;AAClG,MAAM,WAAW,kBAAkB;IACjC,0DAA0D;IAC1D,QAAQ,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;IACvC,uDAAuD;IACvD,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAAC;IACjC;;;OAGG;IACH,QAAQ,CAAC,cAAc,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;CACvE;AAED,oEAAoE;AACpE,MAAM,WAAW,eAAe;IAC9B,iFAAiF;IACjF,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,yCAAyC;IACzC,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,EAAE,CAAC;IACxC,sEAAsE;IACtE,QAAQ,CAAC,QAAQ,EAAE,YAAY,GAAG,IAAI,CAAC;CACxC;AA6DD,6HAA6H;AAC7H,eAAO,MAAM,yBAAyB,8BAA8B,CAAC;AAErE;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,kBAAkB,GAAG,UAAU,EAAE,CAK3G"}

package/dist/core/workflow-core-checks.js

@@ -0,0 +1,403 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.W_WORKFLOW_CHECKS_NOT_RUN = void 0;
+exports.workflowCoreDiagnostics = workflowCoreDiagnostics;
+/**
+ * The Workflow pillar's **core** checks (spec-003-workflows-yaml-schema § "Diagnostics", rows whose
+ * "Runs in" is `core`; `spec-017` §2; task-194, `bug-150`): the checks that need `memory.yaml` or
+ * `dna.yaml` as well as the loaded workflow files, and therefore cannot run in the pillar-isolated
+ * loader (`./loaders.ts`, REQ-SYS-02). They run on a registry the loader has already accepted — a load
+ * with an error throws before they are reached, so the error the user must fix first is the one
+ * reported (spec-003).
+ *
+ * Rows, in table order: `E_PHASE_ROLE_UNKNOWN`, `E_PHASE_APPROVER_UNKNOWN`,
+ * `E_WORKFLOW_ELEMENT_TYPE_UNKNOWN`, `E_WORKFLOW_COLLECTION_UNRESOLVED`, `E_PHASE_CADENCE_EVENT_UNKNOWN`
+ * (spec-003 open question 3: an event that can never fire), then the warnings
+ * `W_PHASE_TOKEN_OUT_OF_SCOPE`, `W_PHASE_EXIT_STATE_UNDETERMINED`, `W_PHASE_FALLBACK_STATE_MISMATCH`,
+ * `W_PHASE_FALLBACK_NOT_REENTRANT`.
+ *
+ * Order (REQ-SYS-07): files in manifest `include` order; within a file the workflow-level row before
+ * the phases, phases in declared order, and per phase the rows in table order; within one row, the
+ * fields in the order each check visits them. The caller appends the result after the loader's own
+ * diagnostics.
+ *
+ * A check is not decided when its input is missing (spec-003's rule for loader checks, applied here):
+ * without `dna.yaml` no role, approver or `dna:` collection is checked; without `memory.yaml` no type,
+ * cadence event, token, exit state or fallback; without a type's template its fields are not checked.
+ * The first two skips are reported, each as one `W_WORKFLOW_CHECKS_NOT_RUN` warning ahead of the per-file
+ * rows (`bug-281`, task-204), so an empty result means the checks ran and found nothing.
+ */
+const path_1 = require("../dna/path");
+const state_machine_1 = require("../memory/state-machine");
+const bindings_1 = require("../workflow/bindings");
+const schema_1 = require("../workflow/schema");
+const workflow_exit_state_1 = require("./workflow-exit-state");
+/** The core rows, in spec-003's table order — the order the diagnostics of one phase come out in. */
+const ROWS = [
+    'E_PHASE_ROLE_UNKNOWN',
+    'E_PHASE_APPROVER_UNKNOWN',
+    'E_WORKFLOW_ELEMENT_TYPE_UNKNOWN',
+    'E_WORKFLOW_COLLECTION_UNRESOLVED',
+    'E_PHASE_CADENCE_EVENT_UNKNOWN',
+    'W_PHASE_TOKEN_OUT_OF_SCOPE',
+    'W_PHASE_EXIT_STATE_UNDETERMINED',
+    'W_PHASE_FALLBACK_STATE_MISMATCH',
+    'W_PHASE_FALLBACK_NOT_REENTRANT',
+];
+/** A `{<type>.<field>}` token. `{item…}` (a collection entry) is not a Memory element and is skipped. */
+const TYPED_TOKEN_RE = /\{([a-z][a-z0-9-]*)\.([A-Za-z0-9_-]+)\}/g;
+const DNA_COLLECTION = 'dna:';
+const BINDINGS_COLLECTION = 'bindings:';
+/** A list read from a frontmatter field of the bound element (spec-003 § "Collections", task-230). */
+const ELEMENT_COLLECTION = 'element:';
+/** The frontmatter field name an `element:` reference may name. */
+const ELEMENT_FIELD_RE = /^[a-z][a-z0-9_-]*$/;
+/** Collects diagnostics by position, dedupes them by `(file, path, code)`, and emits them in order. */
+class Collector {
+    include;
+    entries = [];
+    seen = new Set();
+    constructor(include) {
+        this.include = include;
+    }
+    /**
+     * @param problem - What tells two problems of one row at one path apart (review F1): the token for
+     *   `W_PHASE_TOKEN_OUT_OF_SCOPE`, the message for `E_WORKFLOW_COLLECTION_UNRESOLVED`; empty for the
+     *   rows that report at most one problem per path. The same problem raised again on another include
+     *   path is reported once, with the first path's message (deterministic traversal).
+     */
+    add(file, phase, row, path, message, problem = '') {
+        const code = row;
+        const key = `${file}\u0000${path}\u0000${code}\u0000${problem}`;
+        if (this.seen.has(key))
+            return;
+        this.seen.add(key);
+        const severity = code.startsWith('E_') ? 'error' : 'warning';
+        this.entries.push({
+            file,
+            phase,
+            row: ROWS.indexOf(row),
+            seq: this.entries.length,
+            diagnostic: { code, severity, file: this.include[file], path, message },
+        });
+    }
+    ordered() {
+        return [...this.entries]
+            .sort((a, b) => a.file - b.file || a.phase - b.phase || a.row - b.row || a.seq - b.seq)
+            .map((entry) => entry.diagnostic);
+    }
+}
+/** `W_WORKFLOW_CHECKS_NOT_RUN` (`bug-281`, spec-003 "Where each check runs"): a core check skipped for want of its input. */
+exports.W_WORKFLOW_CHECKS_NOT_RUN = 'W_WORKFLOW_CHECKS_NOT_RUN';
+/**
+ * Every core diagnostic of `registry` (spec-003 § "Diagnostics", `core` rows), in spec-003's order.
+ * Pure: it reads only its arguments.
+ */
+function workflowCoreDiagnostics(registry, inputs) {
+    const out = new Collector(registry.include);
+    registry.workflows.forEach((workflow, i) => staticChecks(out, i, workflow, registry.bindings, inputs));
+    if (inputs.memoryYaml)
+        contextChecks(out, registry, inputs.memoryYaml, inputs);
+    return [...notRunDiagnostics(registry, inputs), ...out.ordered()];
+}
+/**
+ * One `W_WORKFLOW_CHECKS_NOT_RUN` warning per missing input of the core checks, `dna.yaml` first, naming the
+ * checks that did not run (`bug-281`): the skip itself is spec-003's rule, but without a trace an empty
+ * `diagnostics` could not tell "checked and clean" from "not checked". `file` is the missing file relative to
+ * `.wingfoil/`, as the other diagnostics' `file`; `path` is empty. None for a registry with no workflow, which
+ * no check would have read.
+ */
+function notRunDiagnostics(registry, inputs) {
+    if (registry.workflows.length === 0)
+        return [];
+    const missing = [];
+    const notRun = (file, checks) => {
+        missing.push({ code: exports.W_WORKFLOW_CHECKS_NOT_RUN, severity: 'warning', file, path: '', message: `${file} is absent: the ${checks} checks were not run` });
+    };
+    if (inputs.dnaYaml === null)
+        notRun('dna.yaml', 'role, approver and dna: collection');
+    if (inputs.memoryYaml === null)
+        notRun('memory.yaml', 'type, cadence event, token, exit state and fallback');
+    return missing;
+}
+// ---- the rows that read one workflow and the other pillars, with no include context ---------------
+function staticChecks(out, i, workflow, bindings, inputs) {
+    const { memoryYaml, dnaYaml } = inputs;
+    const knownType = (type) => memoryYaml !== null && Object.prototype.hasOwnProperty.call(memoryYaml.types, type);
+    const unknownType = (type) => `unknown memory type '${type}' (not defined in memory.yaml)`;
+    if (memoryYaml && workflow.element !== undefined && !knownType(workflow.element)) {
+        out.add(i, -1, 'E_WORKFLOW_ELEMENT_TYPE_UNKNOWN', 'element', unknownType(workflow.element));
+    }
+    const roles = new Set((dnaYaml?.team.roles ?? []).map((role) => role.name));
+    workflow.phases.forEach((phase, p) => {
+        const at = (field) => `phases[${p}].${field}`;
+        if (dnaYaml) {
+            const unknownRole = (role) => `unknown role '${role}' (not defined in dna.yaml)`;
+            if (phase.role !== undefined && !roles.has(phase.role))
+                out.add(i, p, 'E_PHASE_ROLE_UNKNOWN', at('role'), unknownRole(phase.role));
+            const approval = phase.approval; // one of the two (schema union)
+            if (approval?.by_role !== undefined && !roles.has(approval.by_role)) {
+                out.add(i, p, 'E_PHASE_ROLE_UNKNOWN', at('approval.by_role'), unknownRole(approval.by_role));
+            }
+            const person = approval?.by_person;
+            if (person !== undefined && !dnaYaml.team.members.some((member) => member.name === person || member.email === person)) {
+                out.add(i, p, 'E_PHASE_APPROVER_UNKNOWN', at('approval.by_person'), `unknown approver '${person}' (no team.members[] name or email in dna.yaml)`);
+            }
+        }
+        const over = phase.iterate_over;
+        const isCollection = over !== undefined && [DNA_COLLECTION, BINDINGS_COLLECTION, ELEMENT_COLLECTION].some((prefix) => over.startsWith(prefix));
+        if (memoryYaml) {
+            if (over !== undefined && !isCollection && !knownType(over))
+                out.add(i, p, 'E_WORKFLOW_ELEMENT_TYPE_UNKNOWN', at('iterate_over'), unknownType(over));
+            // A selection's `where.type` (`bug-282`): only without `iterate_over` (with it, `where` filters the
+            // iteration and `type` may be a collection entry's field); a value with a `{…}` token is not decided.
+            const selected = over === undefined ? phase.where?.['type'] : undefined;
+            if (selected !== undefined) {
+                const values = Array.isArray(selected)
+                    ? selected.map((value, k) => [String(value), at(`where.type[${k}]`)])
+                    : [[String(selected), at('where.type')]];
+                for (const [type, path] of values) {
+                    if (!type.includes('{') && !knownType(type))
+                        out.add(i, p, 'E_WORKFLOW_ELEMENT_TYPE_UNKNOWN', path, unknownType(type));
+                }
+            }
+            (phase.actions ?? []).forEach((action, a) => {
+                // `memory.add(type: T)`, and the `T` of a typed `<T>.set_state` / `<T>.sync_state` (`bug-282`).
+                const type = (0, bindings_1.memoryAddType)(action) ?? (0, bindings_1.typedStateType)(action);
+                if (type !== null && !knownType(type))
+                    out.add(i, p, 'E_WORKFLOW_ELEMENT_TYPE_UNKNOWN', at(`actions[${a}]`), unknownType(type));
+            });
+            (phase.produces ?? []).forEach((entry, k) => {
+                if (typeof entry !== 'string' && !knownType(entry.type))
+                    out.add(i, p, 'E_WORKFLOW_ELEMENT_TYPE_UNKNOWN', at(`produces[${k}].type`), unknownType(entry.type));
+            });
+        }
+        if (over !== undefined && isCollection) {
+            for (const message of collectionProblems(over, dnaYaml, bindings, workflow))
+                out.add(i, p, 'E_WORKFLOW_COLLECTION_UNRESOLVED', at('iterate_over'), message, message);
+        }
+        const cadence = phase.cadence;
+        const event = typeof cadence === 'object' && cadence !== null ? cadence.recurring?.on : undefined;
+        if (memoryYaml && event !== undefined && !eventFires(memoryYaml, event)) {
+            out.add(i, p, 'E_PHASE_CADENCE_EVENT_UNKNOWN', at('cadence.recurring.on'), `cadence event '${event}' names no memory.yaml type and state (<memory-type>-<state>)`);
+        }
+    });
+}
+/**
+ * `E_WORKFLOW_COLLECTION_UNRESOLVED`'s messages for a collection reference (`spec-003` § "Collections"):
+ * a `dna:` path that names no list, a `bindings:` name that names no collection, and the key problems
+ * of a `dna.yaml` list's entries (a `bindings.yaml` collection's keys are the loader's
+ * `E_BINDING_COLLECTION_KEY`). A `dna:` reference without `dna.yaml` is not decided. An `element:<field>`
+ * reference (task-230) needs a field name and an including workflow bound to an element; its entries are
+ * Memory content, checked when deduction reads them (`spec-017` §4.6).
+ */
+function collectionProblems(reference, dnaYaml, bindings, workflow) {
+    if (reference.startsWith(ELEMENT_COLLECTION)) {
+        const field = reference.slice(ELEMENT_COLLECTION.length);
+        if (!ELEMENT_FIELD_RE.test(field))
+            return [`collection '${reference}' names no frontmatter field (expected [a-z][a-z0-9_-]*)`];
+        if (workflow.element === undefined) {
+            return [`collection '${reference}' reads a field of the bound element, but workflow '${workflow.name}' declares no element`];
+        }
+        return [];
+    }
+    if (reference.startsWith(BINDINGS_COLLECTION)) {
+        const name = reference.slice(BINDINGS_COLLECTION.length);
+        const collections = bindings?.collections ?? {};
+        return Object.prototype.hasOwnProperty.call(collections, name) ? [] : [`collection '${reference}' names no collection in bindings.yaml`];
+    }
+    if (!dnaYaml)
+        return [];
+    const resolved = (0, path_1.resolveDnaPath)(dnaYaml, reference.slice(DNA_COLLECTION.length));
+    const listed = resolved.ok && (resolved.target.kind === 'collection' || resolved.target.kind === 'string-list') && Array.isArray(resolved.target.value);
+    if (!listed)
+        return [`collection '${reference}' names no list in dna.yaml`];
+    const entries = resolved.target.value;
+    return (0, bindings_1.collectionKeyIssues)(entries).map((issue) => `collection '${reference}' entry ${issue.index}: ${issue.message}`);
+}
+/**
+ * Whether a cadence event `<memory-type>-<state>` can fire (`spec-003` § "Recurring phases", open
+ * question 3): some split at a `-` gives a type `memory.yaml` registers and a state an element of that
+ * type can enter — a `sequence` state, a reject or return target, or `deprecated`.
+ */
+function eventFires(memoryYaml, event) {
+    for (let cut = event.indexOf('-'); cut !== -1; cut = event.indexOf('-', cut + 1)) {
+        const type = event.slice(0, cut);
+        if (!Object.prototype.hasOwnProperty.call(memoryYaml.types, type))
+            continue;
+        if ((0, workflow_exit_state_1.machineStates)((0, state_machine_1.resolveStateMachine)(memoryYaml, type)).has(event.slice(cut + 1)))
+            return true;
+    }
+    return false;
+}
+function contextChecks(out, registry, memoryYaml, inputs) {
+    const byName = new Map();
+    // Names are unique and every phase include resolves: the loader refuses a registry where either
+    // fails (E_WORKFLOW_DUPLICATE_NAME, E_WORKFLOW_INCLUDE_UNRESOLVED), and the core checks run only on
+    // an accepted one.
+    registry.workflows.forEach((workflow, i) => byName.set(workflow.name, i));
+    const workflowsByName = new Map(registry.workflows.map((workflow) => [workflow.name, workflow]));
+    const done = new Set();
+    const reached = new Set();
+    // Termination: a position is visited once (`done`), and a position is a finite combination (scope
+    // types are deduplicated, states are a machine's), so even an include cycle — which the loader
+    // refuses anyway (E_WORKFLOW_INCLUDE_CYCLE) — could not loop.
+    const visit = (i, context, tokens) => {
+        const key = `${i}|${context.scope.join(',')}|${context.start.boundType}|${context.start.state}|${context.start.instance}|${tokens}`;
+        if (done.has(key))
+            return;
+        done.add(key);
+        reached.add(i);
+        const workflow = registry.workflows[i];
+        const states = (0, workflow_exit_state_1.workflowExitStates)(workflow, memoryYaml, context.start, workflowsByName);
+        stateDiagnostics(out, i, workflow, states, memoryYaml);
+        // A self-creating instance's element is in scope for all of its phases (its `{id}` before the
+        // element exists is not reported, spec-003).
+        const selfType = states.find((state) => state.boundType !== null)?.boundType ?? null;
+        const own = workflow.element ?? (context.start.instance ? selfType : null);
+        const scope = own === null || context.scope.includes(own) ? context.scope : [...context.scope, own];
+        if (tokens)
+            tokenDiagnostics(out, i, workflow, scope, inputs);
+        workflow.phases.forEach((phase, p) => {
+            if (phase.include === undefined)
+                return;
+            const target = byName.get(phase.include);
+            const sub = registry.workflows[target];
+            const over = phase.iterate_over;
+            let start;
+            let subScope = scope;
+            if (over !== undefined && over.includes(':')) {
+                start = { boundType: null, state: null, instance: false };
+            }
+            else if (over !== undefined) {
+                start = { boundType: over, state: (0, workflow_exit_state_1.iterationStartState)(memoryYaml, over, phase.where), instance: false };
+                if (!subScope.includes(over))
+                    subScope = [...subScope, over];
+            }
+            else {
+                const type = sub.element ?? states[p].boundType;
+                const same = type !== null && type === states[p].boundType;
+                start = { boundType: type, state: same ? states[p].entry : null, instance: false };
+            }
+            visit(target, { scope: subScope, start }, tokens);
+        });
+    };
+    registry.workflows.forEach((workflow, i) => {
+        if ((0, schema_1.workflowFacts)(workflow).startable) {
+            const element = workflow.element ?? null;
+            const start = {
+                boundType: element,
+                state: element === null ? null : (0, workflow_exit_state_1.iterationStartState)(memoryYaml, element, undefined),
+                instance: true,
+            };
+            visit(i, { scope: [], start }, true);
+        }
+    });
+    // A workflow no startable one reaches still gets its exit states checked, from its type's first
+    // state (`spec-017` §4.4 "otherwise"); its tokens have no include path to be out of scope on.
+    registry.workflows.forEach((workflow, i) => {
+        if (reached.has(i))
+            return;
+        const element = workflow.element ?? null;
+        visit(i, { scope: [], start: { boundType: element, state: element === null ? null : (0, workflow_exit_state_1.iterationStartState)(memoryYaml, element, undefined), instance: false } }, false);
+    });
+}
+/** `W_PHASE_EXIT_STATE_UNDETERMINED`, `W_PHASE_FALLBACK_STATE_MISMATCH`, `W_PHASE_FALLBACK_NOT_REENTRANT`. */
+function stateDiagnostics(out, i, workflow, states, memoryYaml) {
+    workflow.phases.forEach((phase, p) => {
+        const state = states[p];
+        const at = (field) => `phases[${p}].${field}`;
+        const undetermined = state.undetermined;
+        if (undetermined) {
+            const action = phase.actions[undetermined.action]; // an undetermined action is one of them
+            const message = undetermined.from === null
+                ? `cannot apply '${action}' to ${undetermined.type}: ${undetermined.reason}`
+                : `cannot apply '${action}' to ${undetermined.type} from state '${undetermined.from}': ${undetermined.reason}`;
+            out.add(i, p, 'W_PHASE_EXIT_STATE_UNDETERMINED', at(`actions[${undetermined.action}]`), message);
+        }
+        const fallback = phase.fallback;
+        if (!fallback)
+            return;
+        const setState = fallback.set_state;
+        if (setState !== undefined) {
+            const differing = state.held.find((held) => held.reject !== setState);
+            if (differing) {
+                out.add(i, p, 'W_PHASE_FALLBACK_STATE_MISMATCH', at('fallback.set_state'), `fallback set_state '${setState}' differs from the reject target '${differing.reject}' of ${differing.type} gate '${differing.gate}'`);
+            }
+        }
+        const stepIndex = workflow.phases.findIndex((candidate) => candidate.name === fallback.step);
+        if (stepIndex !== -1 && stepIndex < p) {
+            const forward = state.held.find((held) => {
+                const sequence = (0, state_machine_1.resolveStateMachine)(memoryYaml, held.type).sequence;
+                const gate = sequence.indexOf(held.gate);
+                const reject = sequence.indexOf(held.reject);
+                return gate !== -1 && reject !== -1 && reject > gate;
+            });
+            if (forward) {
+                out.add(i, p, 'W_PHASE_FALLBACK_NOT_REENTRANT', at('fallback.step'), `fallback step '${fallback.step}' is an earlier phase, but a reject from ${forward.type} gate '${forward.gate}' goes forward to '${forward.reject}': the reject completes this phase`);
+            }
+        }
+    });
+}
+/**
+ * The types a phase's **selection** names (`spec-003` § "Selections": `where` without `iterate_over`; its
+ * `type` key, a scalar or a list), in declared order, minus those already in `scope`. Empty for any other
+ * phase: an iterating phase's `where` filters candidates and binds the iterated type in the sub instead.
+ */
+function selectedTypes(phase, scope) {
+    if (phase.where === undefined || phase.iterate_over !== undefined)
+        return [];
+    const declared = phase.where['type'];
+    const types = (Array.isArray(declared) ? declared : declared === undefined ? [] : [declared]).map(String);
+    return types.filter((type, k) => !scope.includes(type) && types.indexOf(type) === k);
+}
+/**
+ * `W_PHASE_TOKEN_OUT_OF_SCOPE` for one workflow on one include path: every `{<type>.<field>}` token in
+ * a `where` value, a `produces` pattern or an action argument, visited in that order. `{element.<f>}`
+ * names the innermost scope; inside a `{ type: T, path }` entry, `T` is in scope (`dl-104` D3); in an
+ * action argument of a phase that declares a selection, each type it selects is in scope too — the
+ * token names each selected element of that type (`spec-017` §4.1, task-199) — while `{element.<f>}`
+ * still names the innermost bound element.
+ */
+function tokenDiagnostics(out, i, workflow, scope, inputs) {
+    workflow.phases.forEach((phase, p) => {
+        const at = (field) => `phases[${p}].${field}`;
+        const check = (text, path, extra, selected = []) => {
+            const local = extra === null || scope.includes(extra) ? scope : [...scope, extra];
+            for (const match of text.matchAll(TYPED_TOKEN_RE)) {
+                const [token, named, field] = match;
+                if (named === 'item')
+                    continue;
+                const type = named === 'element' ? (local[local.length - 1] ?? null) : local.includes(named) || selected.includes(named) ? named : null;
+                if (type === null) {
+                    const inScope = local.length > 0 ? local.join(', ') : 'none';
+                    const where = selected.length > 0 ? `${inScope}; selected: ${selected.join(', ')}` : inScope;
+                    out.add(i, p, 'W_PHASE_TOKEN_OUT_OF_SCOPE', path, `token '${token}' names no enclosing element (in scope: ${where})`, token);
+                    continue;
+                }
+                const fields = inputs.templateFields(type);
+                if (fields !== null && !fields.has(field)) {
+                    out.add(i, p, 'W_PHASE_TOKEN_OUT_OF_SCOPE', path, `token '${token}': the ${type} template declares no field '${field}'`, token);
+                }
+            }
+        };
+        for (const [key, value] of Object.entries(phase.where ?? {})) {
+            if (Array.isArray(value))
+                value.forEach((item, k) => check(String(item), at(`where.${key}[${k}]`), null));
+            else
+                check(String(value), at(`where.${key}`), null);
+        }
+        (phase.produces ?? []).forEach((entry, k) => {
+            if (typeof entry === 'string')
+                check(entry, at(`produces[${k}]`), null);
+            else
+                check(entry.path, at(`produces[${k}].path`), entry.type);
+        });
+        const selected = selectedTypes(phase, scope);
+        (phase.actions ?? []).forEach((action, a) => {
+            if ((0, bindings_1.tokenName)(action) !== action)
+                check(action, at(`actions[${a}]`), null, selected);
+        });
+    });
+}
+//# sourceMappingURL=workflow-core-checks.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-core-checks.js","sourceRoot":"","sources":["../../src/core/workflow-core-checks.ts"],"names":[],"mappings":";;;AA4HA,0DAKC;AAjID;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,sCAA6C;AAG7C,2DAA8D;AAE9D,mDAAwH;AACxH,+CAAkE;AAElE,+DAAoI;AAyBpI,qGAAqG;AACrG,MAAM,IAAI,GAAG;IACX,sBAAsB;IACtB,0BAA0B;IAC1B,iCAAiC;IACjC,kCAAkC;IAClC,+BAA+B;IAC/B,4BAA4B;IAC5B,iCAAiC;IACjC,iCAAiC;IACjC,gCAAgC;CACxB,CAAC;AAGX,yGAAyG;AACzG,MAAM,cAAc,GAAG,0CAA0C,CAAC;AAElE,MAAM,cAAc,GAAG,MAAM,CAAC;AAC9B,MAAM,mBAAmB,GAAG,WAAW,CAAC;AACxC,sGAAsG;AACtG,MAAM,kBAAkB,GAAG,UAAU,CAAC;AACtC,mEAAmE;AACnE,MAAM,gBAAgB,GAAG,oBAAoB,CAAC;AAE9C,uGAAuG;AACvG,MAAM,SAAS;IAIgB;IAHZ,OAAO,GAAwF,EAAE,CAAC;IAClG,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE1C,YAA6B,OAA0B;QAA1B,YAAO,GAAP,OAAO,CAAmB;IAAG,CAAC;IAE3D;;;;;OAKG;IACH,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,GAAQ,EAAE,IAAY,EAAE,OAAe,EAAE,OAAO,GAAG,EAAE;QACpF,MAAM,IAAI,GAAG,GAAG,CAAC;QACjB,MAAM,GAAG,GAAG,GAAG,IAAI,SAAS,IAAI,SAAS,IAAI,SAAS,OAAO,EAAE,CAAC;QAChE,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAC/B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnB,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;YAChB,IAAI;YACJ,KAAK;YACL,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;YACtB,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM;YACxB,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAE,EAAE,IAAI,EAAE,OAAO,EAAE;SACzE,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;aACrB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;aACtF,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACtC,CAAC;CACF;AAED,6HAA6H;AAChH,QAAA,yBAAyB,GAAG,2BAA2B,CAAC;AAErE;;;GAGG;AACH,SAAgB,uBAAuB,CAAC,QAAyB,EAAE,MAA0B;IAC3F,MAAM,GAAG,GAAG,IAAI,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC5C,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IACvG,IAAI,MAAM,CAAC,UAAU;QAAE,aAAa,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC/E,OAAO,CAAC,GAAG,iBAAiB,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;AACpE,CAAC;AAED;;;;;;GAMG;AACH,SAAS,iBAAiB,CAAC,QAAyB,EAAE,MAA0B;IAC9E,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC/C,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,MAAc,EAAQ,EAAE;QACpD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,iCAAyB,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,IAAI,mBAAmB,MAAM,sBAAsB,EAAE,CAAC,CAAC;IAC1J,CAAC,CAAC;IACF,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI;QAAE,MAAM,CAAC,UAAU,EAAE,oCAAoC,CAAC,CAAC;IACtF,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;QAAE,MAAM,CAAC,aAAa,EAAE,qDAAqD,CAAC,CAAC;IAC7G,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,sGAAsG;AAEtG,SAAS,YAAY,CAAC,GAAc,EAAE,CAAS,EAAE,QAAkB,EAAE,QAA6B,EAAE,MAA0B;IAC5H,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IACvC,MAAM,SAAS,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,UAAU,KAAK,IAAI,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjI,MAAM,WAAW,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,wBAAwB,IAAI,gCAAgC,CAAC;IAE3G,IAAI,UAAU,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACjF,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,iCAAiC,EAAE,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9F,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5E,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;QAE9D,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,WAAW,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,iBAAiB,IAAI,6BAA6B,CAAC;YACjG,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,sBAAsB,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YACnI,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAgE,CAAC,CAAC,gCAAgC;YACzH,IAAI,QAAQ,EAAE,OAAO,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,sBAAsB,EAAE,EAAE,CAAC,kBAAkB,CAAC,EAAE,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;YAC/F,CAAC;YACD,MAAM,MAAM,GAAG,QAAQ,EAAE,SAAS,CAAC;YACnC,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,EAAE,CAAC;gBACtH,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,0BAA0B,EAAE,EAAE,CAAC,oBAAoB,CAAC,EAAE,qBAAqB,MAAM,iDAAiD,CAAC,CAAC;YACpJ,CAAC;QACH,CAAC;QAED,MAAM,IAAI,GAAG,KAAK,CAAC,YAAY,CAAC;QAChC,MAAM,YAAY,GAAG,IAAI,KAAK,SAAS,IAAI,CAAC,cAAc,EAAE,mBAAmB,EAAE,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/I,IAAI,UAAU,EAAE,CAAC;YACf,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,iCAAiC,EAAE,EAAE,CAAC,cAAc,CAAC,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;YACrJ,oGAAoG;YACpG,sGAAsG;YACtG,MAAM,QAAQ,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACxE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;oBACpC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAU,CAAC;oBAC9E,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAU,CAAC,CAAC;gBACpD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC;oBAClC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;wBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,iCAAiC,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;gBACzH,CAAC;YACH,CAAC;YACD,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBAC1C,gGAAgG;gBAChG,MAAM,IAAI,GAAG,IAAA,wBAAa,EAAC,MAAM,CAAC,IAAI,IAAA,yBAAc,EAAC,MAAM,CAAC,CAAC;gBAC7D,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;oBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,iCAAiC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;YAClI,CAAC,CAAC,CAAC;YACH,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;gBAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,iCAAiC,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YAChK,CAAC,CAAC,CAAC;QACL,CAAC;QAED,IAAI,IAAI,KAAK,SAAS,IAAI,YAAY,EAAE,CAAC;YACvC,KAAK,MAAM,OAAO,IAAI,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,kCAAkC,EAAE,EAAE,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QACvK,CAAC;QAED,MAAM,OAAO,GAAG,KAAK,CAAC,OAAkB,CAAC;QACzC,MAAM,KAAK,GAAG,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,CAAC,CAAC,CAAE,OAA2C,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACvI,IAAI,UAAU,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC;YACxE,GAAG,CAAC,GAAG,CACL,CAAC,EACD,CAAC,EACD,+BAA+B,EAC/B,EAAE,CAAC,sBAAsB,CAAC,EAC1B,kBAAkB,KAAK,+DAA+D,CACvF,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,kBAAkB,CAAC,SAAiB,EAAE,OAAuB,EAAE,QAA6B,EAAE,QAAkB;IACvH,IAAI,SAAS,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;QACzD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,eAAe,SAAS,0DAA0D,CAAC,CAAC;QAC/H,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YACnC,OAAO,CAAC,eAAe,SAAS,uDAAuD,QAAQ,CAAC,IAAI,uBAAuB,CAAC,CAAC;QAC/H,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,SAAS,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;QACzD,MAAM,WAAW,GAAG,QAAQ,EAAE,WAAW,IAAI,EAAE,CAAC;QAChD,OAAO,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,eAAe,SAAS,wCAAwC,CAAC,CAAC;IAC3I,CAAC;IACD,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,MAAM,QAAQ,GAAG,IAAA,qBAAc,EAAC,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;IACjF,MAAM,MAAM,GAAG,QAAQ,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,aAAa,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACxJ,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,eAAe,SAAS,6BAA6B,CAAC,CAAC;IAC5E,MAAM,OAAO,GAAI,QAA6C,CAAC,MAAM,CAAC,KAAkD,CAAC;IACzH,OAAO,IAAA,8BAAmB,EAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,SAAS,WAAW,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;AACzH,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAAC,UAAsB,EAAE,KAAa;IACvD,KAAK,IAAI,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QACjF,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC;YAAE,SAAS;QAC5E,IAAI,IAAA,mCAAa,EAAC,IAAA,mCAAmB,EAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IAClG,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAWD,SAAS,aAAa,CAAC,GAAc,EAAE,QAAyB,EAAE,UAAsB,EAAE,MAA0B;IAClH,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,gGAAgG;IAChG,oGAAoG;IACpG,mBAAmB;IACnB,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1E,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAU,CAAC,CAAC,CAAC;IAC1G,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,kGAAkG;IAClG,+FAA+F;IAC/F,8DAA8D;IAC9D,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,OAAgB,EAAE,MAAe,EAAQ,EAAE;QACnE,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,SAAS,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,QAAQ,IAAI,MAAM,EAAE,CAAC;QACpI,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACf,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;QACxC,MAAM,MAAM,GAAG,IAAA,wCAAkB,EAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QACxF,gBAAgB,CAAC,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;QAEvD,8FAA8F;QAC9F,6CAA6C;QAC7C,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,EAAE,SAAS,IAAI,IAAI,CAAC;QACrF,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3E,MAAM,KAAK,GAAG,GAAG,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACpG,IAAI,MAAM;YAAE,gBAAgB,CAAC,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAE9D,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;YACnC,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;gBAAE,OAAO;YACxC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAE,CAAC;YAC1C,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAE,CAAC;YACxC,MAAM,IAAI,GAAG,KAAK,CAAC,YAAY,CAAC;YAChC,IAAI,KAAgB,CAAC;YACrB,IAAI,QAAQ,GAAG,KAAK,CAAC;YACrB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7C,KAAK,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;YAC5D,CAAC;iBAAM,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC9B,KAAK,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAA,yCAAmB,EAAC,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;gBACxG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAAE,QAAQ,GAAG,CAAC,GAAG,QAAQ,EAAE,IAAI,CAAC,CAAC;YAC/D,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,IAAI,MAAM,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC;gBACjD,MAAM,IAAI,GAAG,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,MAAM,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC;gBAC5D,KAAK,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;YACtF,CAAC;YACD,KAAK,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,MAAM,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE;QACzC,IAAI,IAAA,sBAAa,EAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,CAAC;YACtC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,IAAI,IAAI,CAAC;YACzC,MAAM,KAAK,GAAc;gBACvB,SAAS,EAAE,OAAO;gBAClB,KAAK,EAAE,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAA,yCAAmB,EAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;gBACpF,QAAQ,EAAE,IAAI;aACf,CAAC;YACF,KAAK,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,gGAAgG;IAChG,8FAA8F;IAC9F,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE;QACzC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO;QAC3B,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,IAAI,IAAI,CAAC;QACzC,KAAK,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAA,yCAAmB,EAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IACvK,CAAC,CAAC,CAAC;AACL,CAAC;AAED,8GAA8G;AAC9G,SAAS,gBAAgB,CAAC,GAAc,EAAE,CAAS,EAAE,QAAkB,EAAE,MAAiC,EAAE,UAAsB;IAChI,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QACnC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,EAAE,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,UAAU,CAAC,KAAK,KAAK,EAAE,CAAC;QAC9D,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC;QACxC,IAAI,YAAY,EAAE,CAAC;YACjB,MAAM,MAAM,GAAG,KAAK,CAAC,OAAQ,CAAC,YAAY,CAAC,MAAM,CAAE,CAAC,CAAC,wCAAwC;YAC7F,MAAM,OAAO,GACX,YAAY,CAAC,IAAI,KAAK,IAAI;gBACxB,CAAC,CAAC,iBAAiB,MAAM,QAAQ,YAAY,CAAC,IAAI,KAAK,YAAY,CAAC,MAAM,EAAE;gBAC5E,CAAC,CAAC,iBAAiB,MAAM,QAAQ,YAAY,CAAC,IAAI,gBAAgB,YAAY,CAAC,IAAI,MAAM,YAAY,CAAC,MAAM,EAAE,CAAC;YACnH,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,iCAAiC,EAAE,EAAE,CAAC,WAAW,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;QACnG,CAAC;QACD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;QAChC,IAAI,CAAC,QAAQ;YAAE,OAAO;QACtB,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC;QACpC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;YACtE,IAAI,SAAS,EAAE,CAAC;gBACd,GAAG,CAAC,GAAG,CACL,CAAC,EACD,CAAC,EACD,iCAAiC,EACjC,EAAE,CAAC,oBAAoB,CAAC,EACxB,uBAAuB,QAAQ,qCAAqC,SAAS,CAAC,MAAM,QAAQ,SAAS,CAAC,IAAI,UAAU,SAAS,CAAC,IAAI,GAAG,CACtI,CAAC;YACJ,CAAC;QACH,CAAC;QACD,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC7F,IAAI,SAAS,KAAK,CAAC,CAAC,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;YACtC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;gBACvC,MAAM,QAAQ,GAAG,IAAA,mCAAmB,EAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC;gBACrE,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACzC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC7C,OAAO,IAAI,KAAK,CAAC,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC,IAAI,MAAM,GAAG,IAAI,CAAC;YACvD,CAAC,CAAC,CAAC;YACH,IAAI,OAAO,EAAE,CAAC;gBACZ,GAAG,CAAC,GAAG,CACL,CAAC,EACD,CAAC,EACD,gCAAgC,EAChC,EAAE,CAAC,eAAe,CAAC,EACnB,kBAAkB,QAAQ,CAAC,IAAI,4CAA4C,OAAO,CAAC,IAAI,UAAU,OAAO,CAAC,IAAI,sBAAsB,OAAO,CAAC,MAAM,oCAAoC,CACtL,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,KAAiC,EAAE,KAAwB;IAChF,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAC7E,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1G,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AACvF,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,gBAAgB,CAAC,GAAc,EAAE,CAAS,EAAE,QAAkB,EAAE,KAAwB,EAAE,MAA0B;IAC3H,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,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,KAAoB,EAAE,WAA8B,EAAE,EAAQ,EAAE;YACzG,MAAM,KAAK,GAAG,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,KAAK,CAAC,CAAC;YAClF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;gBAClD,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,KAA4C,CAAC;gBAC3E,IAAI,KAAK,KAAK,MAAM;oBAAE,SAAS;gBAC/B,MAAM,IAAI,GACR,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC7H,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;oBAClB,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;oBAC7D,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,eAAe,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;oBAC7F,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,4BAA4B,EAAE,IAAI,EAAE,UAAU,KAAK,2CAA2C,KAAK,GAAG,EAAE,KAAK,CAAC,CAAC;oBAC7H,SAAS;gBACX,CAAC;gBACD,MAAM,MAAM,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;gBAC3C,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC1C,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,4BAA4B,EAAE,IAAI,EAAE,UAAU,KAAK,UAAU,IAAI,gCAAgC,KAAK,GAAG,EAAE,KAAK,CAAC,CAAC;gBAClI,CAAC;YACH,CAAC;QACH,CAAC,CAAC;QACF,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;YAC7D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;;gBACrG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,SAAS,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACtD,CAAC;QACD,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;YAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;;gBACnE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC7C,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YAC1C,IAAI,IAAA,oBAAS,EAAC,MAAM,CAAC,KAAK,MAAM;gBAAE,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QACvF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/core/workflow-create-remove.d.ts

@@ -0,0 +1,65 @@
+import { type Baseline } from '../workflow/deduce';
+import { type CoreResult } from './types';
+/** The manifest both commands edit, repository-relative. */
+export declare const WORKFLOWS_MANIFEST_PATH = ".wingfoil/workflows.yaml";
+/** `--kind` with a boolean (exit 2; `spec-003`'s `E_WORKFLOW_KIND_CONFLICT`, as an argument error). */
+export declare const KIND_CONFLICT_MESSAGE = "--kind cannot be combined with --startable or --includable (declare one or the other)";
+/** Neither `--kind` nor a boolean (exit 2; `spec-003`'s `E_WORKFLOW_NEITHER_STARTABLE_NOR_INCLUDABLE`). */
+export declare const NO_DECLARATION_MESSAGE = "missing required argument: --kind, --startable or --includable";
+/** `spec-017` §10's refusal of a duplicate name (BDD P4.8 sc. 3). */
+export declare const workflowExistsMessage: (name: string) => string;
+/** `wingfoil workflow create <name> …` params: the name rides the positional, `--kind` / `--element` / `--description` the options. */
+export interface WorkflowCreateParams {
+    readonly root: string;
+    readonly positional?: string;
+    readonly options?: Readonly<Record<string, string | readonly string[]>>;
+    readonly startable?: boolean;
+    readonly includable?: boolean;
+}
+/** `wingfoil workflow remove <ref>` params. */
+export interface WorkflowRemoveParams {
+    readonly root: string;
+    readonly positional?: string;
+}
+/** `workflow create`'s result (`spec-017` §8, task-211): the workflow written and the commit. */
+export interface CreateResult {
+    readonly baseline: Baseline;
+    readonly name: string;
+    readonly file: string;
+    readonly startable: boolean;
+    readonly includable: boolean;
+    readonly commit: string;
+}
+/** `workflow remove`'s result (`spec-017` §8, task-211): the workflow deleted and the commit. */
+export interface RemoveResult {
+    readonly baseline: Baseline;
+    readonly name: string;
+    readonly file: string;
+    readonly commit: string;
+}
+/**
+ * `workflow create <name>` (`spec-017` §7.7, BDD P4.8). Refusal order: usage → identity (REQ-SEC-01) →
+ * initialized project → the registry at `HEAD` (a `spec-003` error is `VALIDATION`) → a workflow of that name
+ * loaded at `HEAD` (`CONFLICT`) → confinement → the target on disk (`dl-086`, `CONFLICT`) → the write guard on
+ * the target and on `workflows.yaml` → the in-place manifest edit → the prospective load → the commit.
+ *
+ * @throws `UsageError` (exit 2) for the argument errors; `DiagnosticsError` for a `spec-003` error at `HEAD`.
+ */
+export declare function workflowCreate(params: WorkflowCreateParams): Promise<CoreResult<CreateResult>>;
+/**
+ * `workflow remove <ref>` (`spec-017` §7.8, BDD P4.9, REQ-SEC-07). `<ref>` is a workflow name, or an open
+ * instance id standing for its workflow (as `show` resolves it). Refusal order: usage → identity →
+ * initialized project → the registry and the deduction at `HEAD` → `<ref>` (`NOT_FOUND`) → a file under
+ * `workflows/built-in/` (REQ-SEC-07 clause (a), `VALIDATION`) → included by another workflow (clause (b),
+ * `dl-030`; `CONFLICT`, every referrer in `details.referrers`) → an open instance (`CONFLICT`, every id in
+ * `details.instances`; each also a `details.issues` line, which the surfaces print) → confinement → the write guard on the file and on `workflows.yaml` → the in-place
+ * manifest edit → the prospective load → the commit.
+ *
+ * @throws `UsageError` (exit 2) without `<ref>`; `DiagnosticsError` for a `spec-003` error at `HEAD`.
+ */
+export declare function workflowRemove(params: WorkflowRemoveParams): Promise<CoreResult<RemoveResult>>;
+/** `workflow create`'s `--format console` rendering: the workflow, its file and the commit. Pure. */
+export declare function renderCreateConsole(value: CreateResult): string;
+/** `workflow remove`'s `--format console` rendering: the workflow, its file and the commit. Pure. */
+export declare function renderRemoveConsole(value: RemoveResult): string;
+//# sourceMappingURL=workflow-create-remove.d.ts.map

package/dist/core/workflow-create-remove.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-create-remove.d.ts","sourceRoot":"","sources":["../../src/core/workflow-create-remove.ts"],"names":[],"mappings":"AA0BA,OAAO,EAAuB,KAAK,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAUxE,OAAO,EAAmB,KAAK,UAAU,EAAE,MAAM,SAAS,CAAC;AAO3D,4DAA4D;AAC5D,eAAO,MAAM,uBAAuB,6BAA6B,CAAC;AAKlE,uGAAuG;AACvG,eAAO,MAAM,qBAAqB,0FAA0F,CAAC;AAE7H,2GAA2G;AAC3G,eAAO,MAAM,sBAAsB,mEAAmE,CAAC;AAEvG,qEAAqE;AACrE,eAAO,MAAM,qBAAqB,GAAI,MAAM,MAAM,KAAG,MAA4C,CAAC;AAElG,uIAAuI;AACvI,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;IACxE,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;CAC/B;AAED,+CAA+C;AAC/C,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,iGAAiG;AACjG,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,iGAAiG;AACjG,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAgED;;;;;;;GAOG;AACH,wBAAsB,cAAc,CAAC,MAAM,EAAE,oBAAoB,GAAG,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CA6CpG;AAUD;;;;;;;;;;GAUG;AACH,wBAAsB,cAAc,CAAC,MAAM,EAAE,oBAAoB,GAAG,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAyDpG;AAOD,qGAAqG;AACrG,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAG/D;AAED,qGAAqG;AACrG,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAG/D"}