wingfoil 0.2.2 → 0.3.0

package/dist/core/workflow-next.js

@@ -0,0 +1,503 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ASSIGNED_TO_ME = exports.noApproverMessage = exports.W_APPROVAL_ROLE_WITHOUT_AUTHORITY = exports.noNextStepMessage = exports.NO_OPEN_WORKFLOWS = void 0;
+exports.membersHoldingRole = membersHoldingRole;
+exports.routeApproval = routeApproval;
+exports.approvalDiagnostics = approvalDiagnostics;
+exports.buildStep = buildStep;
+exports.assigneeRoles = assigneeRoles;
+exports.unresolvedRef = unresolvedRef;
+exports.emptyFrontierMessage = emptyFrontierMessage;
+exports.nextWorkflow = nextWorkflow;
+exports.readNextInputs = readNextInputs;
+exports.workflowNextAtHead = workflowNextAtHead;
+exports.describeMembers = describeMembers;
+exports.approvalLine = approvalLine;
+exports.humanNeededLine = humanNeededLine;
+exports.stepLines = stepLines;
+exports.renderNextConsole = renderNextConsole;
+const state_machine_1 = require("../memory/state-machine");
+const warning_1 = require("../validation/warning");
+const bindings_1 = require("../workflow/bindings");
+const deduce_1 = require("../workflow/deduce");
+const approval_authority_1 = require("./approval-authority");
+const context_1 = require("./context");
+const git_identity_1 = require("./git-identity");
+const loaders_1 = require("./loaders");
+const types_1 = require("./types");
+const workflow_list_show_1 = require("./workflow-list-show");
+const workflow_deduction_1 = require("./workflow-deduction");
+/** `NextResult.message` when no instance is open (`spec-017` §7.3). */
+exports.NO_OPEN_WORKFLOWS = 'no open workflows';
+/** `NextResult.message` when the selected instance's frontier is empty and it is complete (BDD P4.4 sc. 3). */
+const noNextStepMessage = (workflow) => `no next step: workflow '${workflow}' is complete`;
+exports.noNextStepMessage = noNextStepMessage;
+/** `W_APPROVAL_ROLE_WITHOUT_AUTHORITY` (`spec-017` §2, §5.1): an approval is routed to a member without the `approver` role. */
+exports.W_APPROVAL_ROLE_WITHOUT_AUTHORITY = 'W_APPROVAL_ROLE_WITHOUT_AUTHORITY';
+/** The `dna.yaml` path every member reference of a routing warning is reported against (repository-relative). */
+const DNA_FILE = '.wingfoil/dna.yaml';
+/** `routingError` when no member holds the approval's role (`spec-017` §5.1, BDD P4.14 sc. 3). */
+const noApproverMessage = (role) => `no approver found for role '${role}' in dna.yaml`;
+exports.noApproverMessage = noApproverMessage;
+/** The `<who>` of `--assigned-to` that stands for the git identity (`spec-017` §7.3, BDD P4.4 sc. 2). */
+exports.ASSIGNED_TO_ME = 'me';
+/** Code-unit order, as a comparator. */
+function compareText(a, b) {
+    return Number(a > b) - Number(a < b);
+}
+/** The modes a phase allows (`spec-017` §6.3): `fresh` always, plus the declared non-fresh one. */
+function allowedModes(mode) {
+    return mode === undefined || mode === 'fresh' ? ['fresh'] : ['fresh', mode];
+}
+/** The members of `dna.yaml` holding `role`, ascending `(name, email)` (`spec-017` §1.3, §5.1). */
+function membersHoldingRole(dnaYaml, role) {
+    return (dnaYaml?.team?.members ?? [])
+        .filter((member) => member.roles.includes(role))
+        .map((member) => ({ name: member.name, email: member.email ?? '' }))
+        .sort((a, b) => compareText(a.name, b.name) || compareText(a.email, b.email));
+}
+/** The `name: value` arguments of a token's parentheses, unquoted (`git.merge(from: main)` → `{ from: 'main' }`). */
+function tokenArguments(text) {
+    const args = new Map();
+    const open = text.indexOf('(');
+    if (open === -1 || !text.endsWith(')'))
+        return args;
+    for (const match of text.slice(open + 1, -1).matchAll(/([A-Za-z_][\w-]*)\s*:\s*("[^"]*"|'[^']*'|[^,\s)]+)/g)) {
+        args.set(match[1], match[2].replace(/^["']|["']$/g, ''));
+    }
+    return args;
+}
+/** The first argument of `….set_state(s)` / `….set_release(v)`, unquoted, or `null`. */
+function firstArgument(text) {
+    const match = /\(\s*["']?([^"'()]+?)["']?\s*\)\s*$/.exec(text);
+    return match ? match[1].trim() : null;
+}
+/**
+ * `wf(<type>): <verb> <ids> [<bracket>]` per group of entries with the same type, verb and bracket, ids joined
+ * by `, `, one subject per line; `assign release <v>` reads `wf(<type>): assign release <v> to <ids>`
+ * (`spec-003` verb table). `undefined` when there is no entry.
+ */
+function renderSubjects(entries) {
+    const groups = new Map();
+    for (const entry of entries) {
+        const key = `${entry.type}\u0000${entry.verb}\u0000${entry.bracket}`;
+        groups.set(key, [...(groups.get(key) ?? []), entry]);
+    }
+    if (groups.size === 0)
+        return undefined;
+    return [...groups.values()]
+        .map((group) => {
+        const { type, verb, bracket } = group[0];
+        const ids = group.map((entry) => entry.id).join(', ');
+        return bracket === '' ? `wf(${type}): ${verb} to ${ids}` : `wf(${type}): ${verb} ${ids} [${bracket}]`;
+    })
+        .join('\n');
+}
+/**
+ * The commit subject(s) a built-in `manual` Memory action is expected to produce (`spec-003` § "Action
+ * expressions", the verb table and the rule under it; `spec-017` §6.1), or `undefined` when it produces none.
+ * A target not known yet is written `<id>` (and its type `<type>`, its state `<from>`):
+ * - `set_state(s)`: `approve` when the phase declares `approval:`, else `finalize` when `s` is the last state
+ *   of the type's `sequence`, else `start`; bracket `[<from> → s]`, `<from>` the bound element's state before
+ *   the action (§4.4) or each other target's status at `HEAD`;
+ * - `<T>.sync_state(for_each: <S>.<field>)`: `sync`, each named element moved to the state of the same name
+ *   as the source's, or to its own last state when the source's is its type's last; the bracket chains the
+ *   states passed forward. An element already there needs no commit;
+ * - `set_release(v)`: `assign release <v> to <ids>`, one subject per type.
+ */
+function expectedCommit(action, phase, memoryYaml) {
+    const name = (0, bindings_1.tokenName)(action.token);
+    const machineOf = (type) => (Object.prototype.hasOwnProperty.call(memoryYaml.types, type) ? (0, state_machine_1.resolveStateMachine)(memoryYaml, type) : null);
+    const lastOf = (machine) => machine.sequence[machine.sequence.length - 1];
+    const targets = action.targets.length > 0 ? action.targets : [{ type: action.targetType ?? '<type>', id: '<id>', status: action.target === 'bound' && action.boundFrom !== null ? action.boundFrom : '<from>' }];
+    const argument = firstArgument(action.text) ?? '';
+    if (name === 'element.set_release')
+        return renderSubjects(targets.map((target) => ({ type: target.type, verb: `assign release ${argument}`, bracket: '', id: target.id })));
+    if (name.endsWith('.set_state')) {
+        return renderSubjects(targets.map((target) => {
+            const machine = machineOf(target.type);
+            const verb = phase.approval !== undefined ? 'approve' : machine !== null && lastOf(machine) === argument ? 'finalize' : 'start';
+            const from = action.target === 'bound' && action.boundFrom !== null ? action.boundFrom : target.status;
+            return { type: target.type, verb, bracket: `${from} → ${argument}`, id: target.id };
+        }));
+    }
+    // `<T>.sync_state(for_each: <S>.<field>)`; a sync whose source is not known yet expects nothing.
+    const source = action.source;
+    if (!name.endsWith('.sync_state') || source === undefined || source.state === null)
+        return undefined;
+    const sourceMachine = machineOf(source.type);
+    const sourceLast = sourceMachine !== null && lastOf(sourceMachine) === source.state;
+    // The aggregate rule (task-225, W3 B4 handover): a forward move waits until every other source naming the target
+    // has reached the source's state — its last state when the source is in its last (a bug passes `in-review` once
+    // every task naming it is `done`). A move back is never held.
+    // A state the source's machine does not place (`-1`) holds nothing back.
+    const rank = (state) => sourceMachine?.sequence.indexOf(state) ?? -1;
+    const required = rank(sourceLast ? lastOf(sourceMachine) : source.state);
+    // The deduction lists the peers of every target it names (`DeducedAction.source.peers`).
+    const peersReached = (id) => source.peers.find((entry) => entry.id === id).sources.every((peer) => rank(peer.status) >= required);
+    const entries = [];
+    for (const target of action.targets) {
+        const machine = machineOf(target.type); // a target was found as a Memory element of its type
+        const to = machine.sequence.includes(source.state) ? source.state : sourceLast ? lastOf(machine) : null;
+        if (to === null || target.status === to)
+            continue;
+        const from = machine.sequence.indexOf(target.status);
+        const toIndex = machine.sequence.indexOf(to);
+        const forward = from !== -1 && toIndex > from;
+        if (forward && !peersReached(target.id))
+            continue;
+        const chain = forward ? machine.sequence.slice(from, toIndex + 1) : [target.status, to];
+        entries.push({ type: target.type, verb: 'sync', bracket: chain.join(' → '), id: target.id });
+    }
+    return renderSubjects(entries);
+}
+/** Replace each `{name}` element of a project `run` argv with the token's `name:` argument, when it has one. */
+function interpolateRun(run, text) {
+    const args = tokenArguments(text);
+    return run.map((element) => element.replace(/^\{([^{}]+)\}$/, (whole, name) => args.get(name) ?? whole));
+}
+/** The binding of one action, with the step's operands filled (`spec-017` §6.1). */
+function actionBinding(action, step, phase, inputs) {
+    const binding = (0, bindings_1.resolveToken)(action.token, 'action', inputs.bindings);
+    const name = (0, bindings_1.tokenName)(action.token);
+    switch (binding.kind) {
+        case 'wingfoil': {
+            // A whole command (review fix 2): the operands the verb requires, as placeholders where only the user
+            // can give them. `--workflow` / `--step` link the added element to the step (spec-017 §7.10, task-227).
+            const argv = [...binding.argv]; // a built-in `wingfoil` binding always names its command (`bindings.ts`)
+            if (name === 'memory.add')
+                argv.push('--title', '<title>', '--workflow', step.instance, '--step', step.key);
+            else if (name.startsWith('memory.')) {
+                argv.push(...(action.targets.length > 0 ? action.targets.map((target) => target.id) : ['<id>']));
+                if (name === 'memory.approve' || name === 'memory.reject')
+                    argv.push('--reason', '<reason>');
+            }
+            return { kind: 'wingfoil', argv };
+        }
+        case 'agent':
+            return { kind: 'agent', argv: ['wingfoil', 'agent', 'execute', '--workflow', step.instance, '--step', step.key] };
+        case 'run':
+            return { kind: 'run', argv: interpolateRun(binding.argv, action.text) }; // a `run` binding is its argv
+        case 'manual': {
+            // A step exists only for an open plan, a Memory element: `memory.yaml` is present.
+            const commit = binding.source === 'built-in' ? expectedCommit(action, phase, inputs.memoryYaml) : undefined;
+            return commit === undefined ? { kind: 'manual' } : { kind: 'manual', expectedCommit: commit };
+        }
+        default:
+            return { kind: 'unbound' };
+    }
+}
+/** A check token with its binding, never evaluated (`spec-017` §6.1). */
+function checkView(token, bindings) {
+    const binding = (0, bindings_1.resolveToken)(token, 'check', bindings);
+    return { token, binding: binding.kind === 'run' ? { kind: 'run', argv: interpolateRun(binding.argv, token) } : { kind: binding.kind }, evaluated: false };
+}
+/** The role's directives (`spec-017` §6.2): ids and titles, ascending by id, and the resolution's warnings. */
+function roleDirectives(role, inputs) {
+    if (role === null)
+        return { directives: [], directiveWarnings: [] };
+    if (inputs.rolesYaml === null)
+        return { directives: [], directiveWarnings: [`roles.yaml is absent: no directive resolved for role '${role}'`] };
+    const resolution = (0, context_1.resolveRoleDirectives)(inputs.directiveFiles, inputs.rolesYaml, role);
+    return {
+        directives: resolution.directives
+            .map((file) => ({ id: file.frontmatter.id, title: file.frontmatter.title }))
+            .sort((a, b) => compareText(a.id, b.id)),
+        directiveWarnings: resolution.warnings,
+    };
+}
+/**
+ * Who an approval is routed to (`spec-017` §5.1, BDD P4.14, `dl-033`): `by_role: R` → every member holding `R`,
+ * ascending `(name, email)`, or `routedTo: []` with `routingError` when none does; `by_person: P` → the member whose
+ * name or email is `P` (the registry refuses one naming nobody, `E_PHASE_APPROVER_UNKNOWN`). Reported only.
+ */
+function routeApproval(approval, dnaYaml) {
+    if ('by_role' in approval) {
+        const routedTo = membersHoldingRole(dnaYaml, approval.by_role);
+        return routedTo.length > 0 ? { byRole: approval.by_role, routedTo } : { byRole: approval.by_role, routedTo, routingError: (0, exports.noApproverMessage)(approval.by_role) };
+    }
+    const person = approval.by_person;
+    const member = (dnaYaml?.team?.members ?? []).find((candidate) => candidate.name === person || candidate.email === person);
+    return member === undefined
+        ? { byPerson: person, routedTo: [], routingError: `no member '${person}' found in dna.yaml` }
+        : { byPerson: person, routedTo: [{ name: member.name, email: member.email ?? '' }] };
+}
+/**
+ * `W_APPROVAL_ROLE_WITHOUT_AUTHORITY` for every member a step's approval is routed to who does not hold the
+ * `approver` role (`spec-017` §2, §5.1; REQ-SEC-03: routing never changes who may decide), in step order then
+ * routing order (§1.3), each against the member's `dna.yaml` entry.
+ */
+function approvalDiagnostics(steps, dnaYaml) {
+    const members = dnaYaml?.team?.members ?? [];
+    const out = [];
+    for (const step of steps) {
+        if (step.awaiting?.kind !== 'approval')
+            continue;
+        for (const routed of step.awaiting.routedTo) {
+            const index = members.findIndex((member) => member.name === routed.name && (member.email ?? '') === routed.email);
+            if (index === -1 || members[index].roles.includes(approval_authority_1.APPROVER_ROLE))
+                continue;
+            out.push({
+                code: exports.W_APPROVAL_ROLE_WITHOUT_AUTHORITY,
+                severity: 'warning',
+                file: DNA_FILE,
+                path: `team.members[${index}].roles`,
+                message: `approval of ${step.key} is routed to ${routed.name} <${routed.email}>, who does not hold the '${approval_authority_1.APPROVER_ROLE}' role: only an approver may decide it`,
+            });
+        }
+    }
+    return out;
+}
+/**
+ * Build the reported step from a deduced frontier step (`spec-017` §6, §8 `Step`). Pure: it reads the
+ * deduced step and `inputs` only.
+ */
+function buildStep(step, inputs) {
+    // The step's workflow and phase are loaded: deduction puts only loaded workflows' phases on a frontier.
+    const workflow = inputs.workflows.find((candidate) => candidate.name === step.workflow);
+    const phase = workflow.phases.find((candidate) => candidate.name === step.phase);
+    const scope = step.scope;
+    const role = step.role;
+    const agentRole = role !== null && (inputs.dnaYaml?.team?.agents ?? []).some((agent) => agent.executes_as.includes(role));
+    const otherMissing = step.evidence.missing.filter((kind) => kind !== 'awaits' && kind !== 'record');
+    const approval = step.approval;
+    // §5.1: a carried element awaits, or the phase holds no gate and only its record is missing.
+    const approvalPending = approval !== null && phase.approval !== undefined && (approval.elements.length > 0 || (approval.recordNeeded && otherMissing.length === 0 && step.evidence.missing.includes('record')));
+    const awaiting = approvalPending
+        ? { kind: 'approval', ...routeApproval(phase.approval, inputs.dnaYaml), elements: approval.elements, recordNeeded: approval.elements.length === 0 }
+        : phase.awaits !== undefined && otherMissing.length === 0
+            ? { kind: 'party', party: phase.awaits.party, evidence: checkView(phase.awaits.evidence, inputs.bindings) }
+            : null;
+    return {
+        key: step.key,
+        instance: step.instance,
+        trail: step.trail,
+        workflow: step.workflow,
+        phase: step.phase,
+        scope,
+        role,
+        agentRole,
+        members: role === null ? [] : membersHoldingRole(inputs.dnaYaml, role),
+        ...roleDirectives(role, inputs),
+        actions: step.actions.map((action) => ({
+            token: action.token,
+            text: action.text,
+            unresolved: action.unresolved,
+            target: action.target,
+            binding: actionBinding(action, step, phase, inputs),
+        })),
+        checks: {
+            pre: (phase.checks?.pre ?? []).map((token) => checkView(token, inputs.bindings)),
+            post: (phase.checks?.post ?? []).map((token) => checkView(token, inputs.bindings)),
+        },
+        produces: step.produces,
+        created: step.created,
+        evidence: step.evidence,
+        optional: step.optional,
+        awaiting,
+        // A re-entered step reports the fallback that re-entered it (§5.2); any other step its phase's own.
+        fallback: step.reentered && step.reentryFallback !== null
+            ? step.reentryFallback
+            : phase.fallback === undefined
+                ? null
+                : { step: phase.fallback.step, setState: phase.fallback.set_state ?? null },
+        reentered: step.reentered,
+        reentryCommit: step.reentryCommit,
+        mode: 'fresh',
+        allowedModes: allowedModes(phase.mode),
+        distinctFrom: phase.distinct_from ?? [],
+        cadence: phase.cadence === 'once' ? null : { recurring: phase.cadence.recurring, lastRun: 'not-recorded' },
+    };
+}
+/**
+ * The roles `who` stands for (`spec-017` §7.3, BDD P4.4 sc. 2): `me` — the members whose email is the git
+ * identity's; otherwise the member whose name or email is `who`; otherwise the role named `who`. Emails
+ * compare case-insensitively. An empty set keeps no step.
+ */
+function assigneeRoles(dnaYaml, who, identityEmail) {
+    const members = dnaYaml?.team?.members ?? [];
+    const sameEmail = (a, b) => a !== undefined && a !== '' && a.toLowerCase() === b.toLowerCase();
+    const matched = who === exports.ASSIGNED_TO_ME
+        ? members.filter((member) => identityEmail !== '' && sameEmail(member.email, identityEmail))
+        : members.filter((member) => member.name === who || sameEmail(member.email, who));
+    if (matched.length > 0)
+        return new Set(matched.flatMap((member) => member.roles));
+    return who === exports.ASSIGNED_TO_ME ? new Set() : new Set([who]);
+}
+/**
+ * Warn when `--assigned-to <who>` names nobody (review fix 5): `me` whose email is no member's, or a `<who>`
+ * that is no member's name or email and no `team.roles` role. The filter still runs; it keeps no step.
+ */
+function warnUnknownAssignee(dnaYaml, who, identityEmail) {
+    const members = dnaYaml?.team?.members ?? [];
+    const sameEmail = (email, other) => email !== undefined && email !== '' && email.toLowerCase() === other.toLowerCase();
+    if (who === exports.ASSIGNED_TO_ME) {
+        if (!members.some((member) => identityEmail !== '' && sameEmail(member.email, identityEmail))) {
+            (0, warning_1.reportWarning)(`--assigned-to me: the git identity's email '${identityEmail}' is no team.members[] entry's`);
+        }
+        return;
+    }
+    const known = members.some((member) => member.name === who || sameEmail(member.email, who)) || (dnaYaml?.team?.roles ?? []).some((role) => role.name === who);
+    if (!known)
+        (0, warning_1.reportWarning)(`--assigned-to '${who}' names no team.members[] entry (name or email) and no team.roles role in dna.yaml`);
+}
+/**
+ * The refusal of a `<ref>` that selects no open instance (`spec-017` §10, task-216 review fix 1, task-281
+ * `bug-326`): a loaded workflow with no open instance, or an instance plan that is not open, is
+ * `workflow is not open: <ref>`; any other `<ref>` — a phase plan's id included (approver ruling D4) — names
+ * nothing, `unknown workflow: <ref>`. Both `NOT_FOUND`. The one answer of `next`, `status`, `finalize`, `end`
+ * and `memory add --workflow`.
+ */
+function unresolvedRef(known, ref) {
+    const named = known.workflows.some((workflow) => workflow.name === ref) || (known.plans ?? []).includes(ref);
+    if (named)
+        return (0, types_1.coreErr)({ code: 'NOT_FOUND', message: `workflow is not open: ${ref}`, details: { ref } });
+    return (0, types_1.coreErr)({ code: 'NOT_FOUND', message: (0, workflow_list_show_1.unknownWorkflowMessage)(ref), details: { ref } });
+}
+/**
+ * Why an instance whose frontier is empty has no next step (`spec-017` §7.3): complete, abandoned (§4.11)
+ * or its workflow not loaded. Shared by `next` and `finalize` (task-226).
+ */
+function emptyFrontierMessage(selected) {
+    const { instance, complete } = selected;
+    if (complete)
+        return (0, exports.noNextStepMessage)(instance.workflow);
+    if (instance.abandoned)
+        return `no next step: workflow '${instance.workflow}' is abandoned: its element ${instance.element.type}:${instance.element.id} is ${instance.element.status}`;
+    return `no next step: workflow '${instance.workflow}' is not loaded`;
+}
+/**
+ * `workflow next`'s answer from one deduction (`spec-017` §7.3, §10). Pure. Exit `0` in every deduced
+ * case — `no open workflows`; `no next step: workflow '<name>' is complete`; a filter that keeps nothing — and
+ * `NOT_FOUND` for a `ref` naming no open instance — `workflow is not open: <ref>` or `unknown workflow: <ref>`
+ * ({@link unresolvedRef}).
+ */
+function nextWorkflow(inputs, deduction, options) {
+    const { ref, assignedTo } = options;
+    const base = { baseline: deduction.baseline, diagnostics: deduction.diagnostics };
+    const selected = (0, deduce_1.resolveInstanceRef)(deduction, ref);
+    if (selected === null) {
+        if (ref !== undefined)
+            return unresolvedRef(inputs, ref);
+        return (0, types_1.coreOk)({ ...base, instance: null, complete: false, next: null, more: [], message: exports.NO_OPEN_WORKFLOWS });
+    }
+    const { instance, complete, frontier } = selected;
+    if (frontier.length === 0)
+        return (0, types_1.coreOk)({ ...base, instance, complete, next: null, more: [], message: emptyFrontierMessage(selected) });
+    if (assignedTo !== undefined)
+        warnUnknownAssignee(inputs.dnaYaml, assignedTo, options.identityEmail ?? '');
+    const roles = assignedTo === undefined ? null : assigneeRoles(inputs.dnaYaml, assignedTo, options.identityEmail ?? '');
+    const kept = roles === null ? frontier : frontier.filter((step) => step.role !== null && roles.has(step.role));
+    if (kept.length === 0) {
+        return (0, types_1.coreOk)({ ...base, instance, complete, next: null, more: [], message: `no next step of workflow '${instance.workflow}' is assigned to '${assignedTo}'` });
+    }
+    const steps = kept.map((step) => buildStep(step, inputs));
+    const diagnostics = [...deduction.diagnostics, ...approvalDiagnostics(steps, inputs.dnaYaml)];
+    return (0, types_1.coreOk)({ ...base, diagnostics, instance, complete, next: steps[0], more: steps.slice(1) });
+}
+/**
+ * What building steps reads besides the deduction (`spec-017` §6), all at the snapshot's commit: the
+ * snapshot's workflows, `memory.yaml`, `dna.yaml` and `bindings.yaml`, and — only when some instance has a
+ * frontier step to report — `roles.yaml` and the directive files.
+ *
+ * @throws a `ValidationError` for an invalid `roles.yaml` or directive file at the snapshot's commit.
+ */
+function readNextInputs(root, snapshot, deduction) {
+    const hasSteps = deduction.instances.some((entry) => entry.frontier.length > 0);
+    return {
+        workflows: snapshot.workflows,
+        memoryYaml: snapshot.memoryYaml,
+        dnaYaml: snapshot.dnaYaml ?? null,
+        bindings: snapshot.bindings ?? null,
+        rolesYaml: hasSteps ? (0, loaders_1.loadRolesYamlAtCommit)(root, snapshot.commit) : null,
+        directiveFiles: hasSteps ? (0, loaders_1.loadDirectivesAtCommit)(root, snapshot.commit) : [],
+        plans: (0, workflow_deduction_1.instancePlanIds)(snapshot.documents),
+    };
+}
+/**
+ * `workflow next [<ref>] [--assigned-to <who>]` at `HEAD` (`spec-017` §7.3): the deduction snapshot (with
+ * `bindings.yaml` and `dna.yaml`), then `roles.yaml` and the directive files at the snapshot's commit — read
+ * only when a step is reported — and, for `--assigned-to me`, the git identity.
+ *
+ * @throws `DiagnosticsError` (`VALIDATION`) when the registry at `HEAD` has a `spec-003` error; a
+ *   `ValidationError` for an invalid `roles.yaml` or directive file at `HEAD`; `StorageError` when git
+ *   cannot answer.
+ */
+function workflowNextAtHead(root, ref, assignedTo) {
+    const snapshot = (0, workflow_deduction_1.readDeductionSnapshotAtHead)(root);
+    const deduction = (0, deduce_1.deduceWorkflowState)(snapshot);
+    const inputs = readNextInputs(root, snapshot, deduction);
+    const identityEmail = assignedTo === exports.ASSIGNED_TO_ME ? (0, git_identity_1.readGitIdentity)(root).email : '';
+    return nextWorkflow(inputs, deduction, { ...(ref === undefined ? {} : { ref }), ...(assignedTo === undefined ? {} : { assignedTo }), identityEmail });
+}
+// --- console --------------------------------------------------------------------------------------
+/** One scope as `<type>:<id> (<status>)` or `<collection>#<key>`. */
+function describeScope(scope) {
+    if (scope === null)
+        return '(none)';
+    if ('item' in scope)
+        return `${scope.item.collection}#${scope.item.key}`;
+    return `${scope.element.type}:${scope.element.id} (${scope.element.status})`;
+}
+/** Members as `Name <email>, …`, or `fallback` when there is none. */
+function describeMembers(members, fallback) {
+    return members.length > 0 ? members.map((member) => `${member.name} <${member.email}>`).join(', ') : fallback;
+}
+/**
+ * The "human needed" line of a pending approval (`spec-017` §5.3, X1.1, X1.2): the action (`approve or reject`, or
+ * `finalize` for an approval record), the element ids or, for a record, the step key, and the routed members.
+ */
+function approvalLine(awaiting, stepKey) {
+    const action = awaiting.recordNeeded ? 'finalize' : 'approve or reject';
+    const what = awaiting.elements.length > 0 ? awaiting.elements.map((element) => element.id).join(', ') : stepKey;
+    return `human needed: ${action} ${what} — routed to ${describeMembers(awaiting.routedTo, awaiting.routingError ?? 'nobody')}`;
+}
+/** The "human needed" line of a step that awaits a decision (`spec-017` §5.3), or `null`. */
+function humanNeededLine(step) {
+    const awaiting = step.awaiting;
+    if (awaiting === null)
+        return null;
+    // `workflow finalize` writes the record (spec-017 §7.9, §5.4; task-226): the whole command for this step.
+    if (awaiting.kind === 'party')
+        return `waiting for ${awaiting.party}: ${awaiting.evidence.token} (a phase record completes it: wingfoil workflow finalize ${step.instance} --step ${step.key})`;
+    return approvalLine(awaiting, step.key);
+}
+/** The console lines of one step (`spec-017` §8: key, trail, role, scope, actions with bindings, directive ids, human needed). */
+function stepLines(step, heading) {
+    const lines = [`${heading}: ${step.key}`];
+    lines.push(`  trail: ${step.trail.map((entry) => `${entry.workflow}.${entry.phase}`).join(' > ')}`);
+    lines.push(`  scope: ${describeScope(step.scope)}`);
+    const holders = step.members.map((member) => member.name).join(', ');
+    lines.push(`  role: ${step.role ?? '(none)'}${step.agentRole ? ' (an agent role)' : ''}${holders === '' ? '' : ` — held by ${holders}`}`);
+    lines.push(`  directives: ${step.directives.length === 0 ? '(none)' : step.directives.map((directive) => directive.id).join(', ')}`);
+    if (step.actions.length > 0)
+        lines.push('  actions:');
+    for (const action of step.actions) {
+        const { binding } = action;
+        const detail = binding.argv !== undefined ? `: ${binding.argv.join(' ')}` : binding.expectedCommit !== undefined ? `: expects ${binding.expectedCommit.split('\n').join(' | ')}` : '';
+        lines.push(`    - ${action.text} [${binding.kind}${detail}]`);
+    }
+    lines.push(`  evidence missing: ${step.evidence.missing.length === 0 ? '(none)' : step.evidence.missing.join(', ')}${step.evidence.finalizable ? ' (finalizable)' : ''}`);
+    if (step.reentered)
+        lines.push(`  re-entered after ${step.reentryCommit}`);
+    const human = humanNeededLine(step);
+    if (human !== null)
+        lines.push(`  ${human}`);
+    return lines;
+}
+/** `workflow next`'s `--format console` rendering (`spec-017` §8). Pure. */
+function renderNextConsole(result) {
+    const lines = [];
+    if (result.instance !== null)
+        lines.push(`workflow: ${result.instance.workflow} (${result.instance.id})`);
+    if (result.message !== undefined)
+        lines.push(result.message);
+    if (result.next !== null)
+        lines.push(...stepLines(result.next, 'next step'));
+    for (const step of result.more)
+        lines.push(...stepLines(step, 'also ready'));
+    if (result.diagnostics.length > 0)
+        lines.push(`${result.diagnostics.length} diagnostic(s): --format json lists them`);
+    return `${lines.join('\n')}\n`;
+}
+//# sourceMappingURL=workflow-next.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-next.js","sourceRoot":"","sources":["../../src/core/workflow-next.ts"],"names":[],"mappings":";;;AAqNA,gDAKC;AAwKD,sCAaC;AAOD,kDAkBC;AAMD,8BA0DC;AAOD,sCASC;AAiCD,sCAIC;AAMD,oDAKC;AAQD,oCAmBC;AASD,wCAWC;AAWD,gDAMC;AAYD,0CAEC;AAMD,oCAIC;AAGD,0CAMC;AAGD,8BAkBC;AAGD,8CAQC;AA7oBD,2DAA8D;AAE9D,mDAAsD;AACtD,mDAAqG;AACrG,+CAe4B;AAG5B,6DAAqD;AACrD,uCAAkD;AAClD,iDAAiD;AACjD,uCAA8F;AAC9F,mCAA2D;AAC3D,6DAA8D;AAC9D,6DAAoF;AAEpF,uEAAuE;AAC1D,QAAA,iBAAiB,GAAG,mBAAmB,CAAC;AAErD,+GAA+G;AACxG,MAAM,iBAAiB,GAAG,CAAC,QAAgB,EAAU,EAAE,CAAC,2BAA2B,QAAQ,eAAe,CAAC;AAArG,QAAA,iBAAiB,qBAAoF;AAElH,gIAAgI;AACnH,QAAA,iCAAiC,GAAG,mCAAmC,CAAC;AAErF,iHAAiH;AACjH,MAAM,QAAQ,GAAG,oBAAoB,CAAC;AAEtC,kGAAkG;AAC3F,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,+BAA+B,IAAI,eAAe,CAAC;AAAjG,QAAA,iBAAiB,qBAAgF;AAE9G,yGAAyG;AAC5F,QAAA,cAAc,GAAG,IAAI,CAAC;AAgInC,wCAAwC;AACxC,SAAS,WAAW,CAAC,CAAS,EAAE,CAAS;IACvC,OAAO,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACvC,CAAC;AAED,mGAAmG;AACnG,SAAS,YAAY,CAAC,IAA2B;IAC/C,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AAC9E,CAAC;AAED,mGAAmG;AACnG,SAAgB,kBAAkB,CAAC,OAAuB,EAAE,IAAY;IACtE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,IAAI,EAAE,CAAC;SAClC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;SAC/C,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,CAAC;SACnE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,qHAAqH;AACrH,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC/B,IAAI,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,qDAAqD,CAAC,EAAE,CAAC;QAC7G,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,wFAAwF;AACxF,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,KAAK,GAAG,qCAAqC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACzC,CAAC;AAWD;;;;GAIG;AACH,SAAS,cAAc,CAAC,OAAgC;IACtD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0B,CAAC;IACjD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,OAAO,EAAE,CAAC;QACrE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACxC,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;SACxB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACb,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,OAAO,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,MAAM,IAAI,OAAO,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,MAAM,IAAI,IAAI,GAAG,KAAK,OAAO,GAAG,CAAC;IACxG,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,cAAc,CAAC,MAAqB,EAAE,KAAY,EAAE,UAAsB;IACjF,MAAM,IAAI,GAAG,IAAA,oBAAS,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,CAAC,IAAY,EAAuB,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAA,mCAAmB,EAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACvK,MAAM,MAAM,GAAG,CAAC,OAAqB,EAAU,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;IACjG,MAAM,OAAO,GACX,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,UAAU,IAAI,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,KAAK,OAAO,IAAI,MAAM,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IACnM,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IAElD,IAAI,IAAI,KAAK,qBAAqB;QAAE,OAAO,cAAc,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,kBAAkB,QAAQ,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5K,IAAI,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAChC,OAAO,cAAc,CACnB,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;YACrB,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACvC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC;YAChI,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,KAAK,OAAO,IAAI,MAAM,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YACvG,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,IAAI,MAAM,QAAQ,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC;QACtF,CAAC,CAAC,CACH,CAAC;IACJ,CAAC;IACD,iGAAiG;IACjG,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACrG,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAG,aAAa,KAAK,IAAI,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC;IACpF,iHAAiH;IACjH,gHAAgH;IAChH,8DAA8D;IAC9D,yEAAyE;IACzE,MAAM,IAAI,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,aAAa,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,aAAc,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1E,yFAAyF;IACzF,MAAM,YAAY,GAAG,CAAC,EAAU,EAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,CAAC;IACpJ,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,CAAE,CAAC,CAAC,qDAAqD;QAC9F,MAAM,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACxG,IAAI,EAAE,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,KAAK,EAAE;YAAE,SAAS;QAClD,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7C,MAAM,OAAO,GAAG,IAAI,KAAK,CAAC,CAAC,IAAI,OAAO,GAAG,IAAI,CAAC;QAC9C,IAAI,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YAAE,SAAS;QAClD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACxF,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/F,CAAC;IACD,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC;AACjC,CAAC;AAED,gHAAgH;AAChH,SAAS,cAAc,CAAC,GAAsB,EAAE,IAAY;IAC1D,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAClC,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,gBAAgB,EAAE,CAAC,KAAK,EAAE,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;AACnH,CAAC;AAED,oFAAoF;AACpF,SAAS,aAAa,CAAC,MAAqB,EAAE,IAAiB,EAAE,KAAY,EAAE,MAAkB;IAC/F,MAAM,OAAO,GAAG,IAAA,uBAAY,EAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,IAAA,oBAAS,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrC,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,sGAAsG;YACtG,wGAAwG;YACxG,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,IAAK,CAAC,CAAC,CAAC,yEAAyE;YAC1G,IAAI,IAAI,KAAK,YAAY;gBAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;iBACvG,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;gBACpC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBACjG,IAAI,IAAI,KAAK,gBAAgB,IAAI,IAAI,KAAK,eAAe;oBAAE,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;YAC/F,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QACpC,CAAC;QACD,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACpH,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,CAAC,OAAO,CAAC,IAAK,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,8BAA8B;QAC1G,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,mFAAmF;YACnF,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,UAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC7G,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC;QAChG,CAAC;QACD;YACE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAC/B,CAAC;AACH,CAAC;AAED,yEAAyE;AACzE,SAAS,SAAS,CAAC,KAAa,EAAE,QAA6B;IAC7D,MAAM,OAAO,GAAG,IAAA,uBAAY,EAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACvD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,CAAC,OAAO,CAAC,IAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAC7J,CAAC;AAED,+GAA+G;AAC/G,SAAS,cAAc,CAAC,IAAmB,EAAE,MAAkB;IAC7D,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,CAAC;IACpE,IAAI,MAAM,CAAC,SAAS,KAAK,IAAI;QAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,iBAAiB,EAAE,CAAC,yDAAyD,IAAI,GAAG,CAAC,EAAE,CAAC;IAChJ,MAAM,UAAU,GAAG,IAAA,+BAAqB,EAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IACxF,OAAO;QACL,UAAU,EAAE,UAAU,CAAC,UAAU;aAC9B,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;aAC3E,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1C,iBAAiB,EAAE,UAAU,CAAC,QAAQ;KACvC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAgB,aAAa,CAC3B,QAAwC,EACxC,OAAuB;IAEvB,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC/D,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAA,yBAAiB,EAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;IAClK,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC;IAClC,MAAM,MAAM,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC;IAC3H,OAAO,MAAM,KAAK,SAAS;QACzB,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,YAAY,EAAE,cAAc,MAAM,qBAAqB,EAAE;QAC7F,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;AACzF,CAAC;AAED;;;;GAIG;AACH,SAAgB,mBAAmB,CAAC,KAAsB,EAAE,OAAuB;IACjF,MAAM,OAAO,GAAG,OAAO,EAAE,IAAI,EAAE,OAAO,IAAI,EAAE,CAAC;IAC7C,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,QAAQ,EAAE,IAAI,KAAK,UAAU;YAAE,SAAS;QACjD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;YAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC;YAClH,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,CAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,kCAAa,CAAC;gBAAE,SAAS;YAC5E,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI,EAAE,yCAAiC;gBACvC,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,gBAAgB,KAAK,SAAS;gBACpC,OAAO,EAAE,eAAe,IAAI,CAAC,GAAG,iBAAiB,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,6BAA6B,kCAAa,wCAAwC;aAChK,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,SAAgB,SAAS,CAAC,IAAiB,EAAE,MAAkB;IAC7D,wGAAwG;IACxG,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,QAAQ,CAAE,CAAC;IACzF,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,CAAE,CAAC;IAClF,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,MAAM,SAAS,GAAG,IAAI,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1H,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,CAAC,CAAC;IACpG,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC/B,6FAA6F;IAC7F,MAAM,eAAe,GACnB,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC1L,MAAM,QAAQ,GAAoB,eAAe;QAC/C,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,QAAS,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,YAAY,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE;QACpJ,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;YACvD,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE;YAC3G,CAAC,CAAC,IAAI,CAAC;IACX,OAAO;QACL,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,KAAK;QACL,IAAI;QACJ,SAAS;QACT,OAAO,EAAE,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC;QACtE,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC;QAC/B,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACrC,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,OAAO,EAAE,aAAa,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,EAAE;YACN,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;YAChF,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;SACnF;QACD,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,QAAQ;QACR,oGAAoG;QACpG,QAAQ,EACN,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,eAAe,KAAK,IAAI;YAC7C,CAAC,CAAC,IAAI,CAAC,eAAe;YACtB,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS;gBAC5B,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,SAAS,IAAI,IAAI,EAAE;QACjF,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,IAAI,EAAE,OAAO;QACb,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC;QACtC,YAAY,EAAE,KAAK,CAAC,aAAa,IAAI,EAAE;QACvC,OAAO,EAAE,KAAK,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,cAAc,EAAE;KAC3G,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAgB,aAAa,CAAC,OAAuB,EAAE,GAAW,EAAE,aAAqB;IACvF,MAAM,OAAO,GAAG,OAAO,EAAE,IAAI,EAAE,OAAO,IAAI,EAAE,CAAC;IAC7C,MAAM,SAAS,GAAG,CAAC,CAAqB,EAAE,CAAS,EAAW,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;IACpI,MAAM,OAAO,GACX,GAAG,KAAK,sBAAc;QACpB,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,KAAK,EAAE,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QAC5F,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,GAAG,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACtF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAClF,OAAO,GAAG,KAAK,sBAAc,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED;;;GAGG;AACH,SAAS,mBAAmB,CAAC,OAAuB,EAAE,GAAW,EAAE,aAAqB;IACtF,MAAM,OAAO,GAAG,OAAO,EAAE,IAAI,EAAE,OAAO,IAAI,EAAE,CAAC;IAC7C,MAAM,SAAS,GAAG,CAAC,KAAyB,EAAE,KAAa,EAAW,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE,IAAI,KAAK,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,WAAW,EAAE,CAAC;IAC5J,IAAI,GAAG,KAAK,sBAAc,EAAE,CAAC;QAC3B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,KAAK,EAAE,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC;YAC9F,IAAA,uBAAa,EAAC,+CAA+C,aAAa,gCAAgC,CAAC,CAAC;QAC9G,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,GAAG,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;IAC9J,IAAI,CAAC,KAAK;QAAE,IAAA,uBAAa,EAAC,kBAAkB,GAAG,oFAAoF,CAAC,CAAC;AACvI,CAAC;AASD;;;;;;GAMG;AACH,SAAgB,aAAa,CAAI,KAAgB,EAAE,GAAW;IAC5D,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC7G,IAAI,KAAK;QAAE,OAAO,IAAA,eAAO,EAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,yBAAyB,GAAG,EAAE,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IAC5G,OAAO,IAAA,eAAO,EAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,IAAA,2CAAsB,EAAC,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;AAChG,CAAC;AAED;;;GAGG;AACH,SAAgB,oBAAoB,CAAC,QAA2B;IAC9D,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC;IACxC,IAAI,QAAQ;QAAE,OAAO,IAAA,yBAAiB,EAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAC1D,IAAI,QAAQ,CAAC,SAAS;QAAE,OAAO,2BAA2B,QAAQ,CAAC,QAAQ,+BAA+B,QAAQ,CAAC,OAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,OAAQ,CAAC,EAAE,OAAO,QAAQ,CAAC,OAAQ,CAAC,MAAM,EAAE,CAAC;IAC1L,OAAO,2BAA2B,QAAQ,CAAC,QAAQ,iBAAiB,CAAC;AACvE,CAAC;AAED;;;;;GAKG;AACH,SAAgB,YAAY,CAAC,MAAkB,EAAE,SAAoB,EAAE,OAAoB;IACzF,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IACpC,MAAM,IAAI,GAAG,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE,CAAC;IAClF,MAAM,QAAQ,GAAG,IAAA,2BAAkB,EAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACpD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,aAAa,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACzD,OAAO,IAAA,cAAM,EAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,yBAAiB,EAAE,CAAC,CAAC;IAChH,CAAC;IACD,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC;IAClD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAA,cAAM,EAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACzI,IAAI,UAAU,KAAK,SAAS;QAAE,mBAAmB,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;IAC3G,MAAM,KAAK,GAAG,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;IACvH,MAAM,IAAI,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/G,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,IAAA,cAAM,EAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,6BAA6B,QAAQ,CAAC,QAAQ,qBAAqB,UAAU,GAAG,EAAE,CAAC,CAAC;IAClK,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,CAAC,GAAG,SAAS,CAAC,WAAW,EAAE,GAAG,mBAAmB,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9F,OAAO,IAAA,cAAM,EAAC,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACrG,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,cAAc,CAAC,IAAY,EAAE,QAA2B,EAAE,SAAoB;IAC5F,MAAM,QAAQ,GAAG,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAChF,OAAO;QACL,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,OAAO,EAAE,QAAQ,CAAC,OAAO,IAAI,IAAI;QACjC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,IAAI,IAAI;QACnC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAA,+BAAqB,EAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI;QACzE,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAA,gCAAsB,EAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;QAC7E,KAAK,EAAE,IAAA,oCAAe,EAAC,QAAQ,CAAC,SAAS,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,SAAgB,kBAAkB,CAAC,IAAY,EAAE,GAAY,EAAE,UAAmB;IAChF,MAAM,QAAQ,GAAG,IAAA,gDAA2B,EAAC,IAAI,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,IAAA,4BAAmB,EAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IACzD,MAAM,aAAa,GAAG,UAAU,KAAK,sBAAc,CAAC,CAAC,CAAC,IAAA,8BAAe,EAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACvF,OAAO,YAAY,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC;AACxJ,CAAC;AAED,qGAAqG;AAErG,qEAAqE;AACrE,SAAS,aAAa,CAAC,KAAsB;IAC3C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,QAAQ,CAAC;IACpC,IAAI,MAAM,IAAI,KAAK;QAAE,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;IACzE,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;AAC/E,CAAC;AAED,sEAAsE;AACtE,SAAgB,eAAe,CAAC,OAA0B,EAAE,QAAgB;IAC1E,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;AAChH,CAAC;AAED;;;GAGG;AACH,SAAgB,YAAY,CAAC,QAAiD,EAAE,OAAe;IAC7F,MAAM,MAAM,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,mBAAmB,CAAC;IACxE,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IAChH,OAAO,iBAAiB,MAAM,IAAI,IAAI,gBAAgB,eAAe,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,YAAY,IAAI,QAAQ,CAAC,EAAE,CAAC;AAChI,CAAC;AAED,6FAA6F;AAC7F,SAAgB,eAAe,CAAC,IAAU;IACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC/B,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnC,0GAA0G;IAC1G,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,eAAe,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC,QAAQ,CAAC,KAAK,6DAA6D,IAAI,CAAC,QAAQ,WAAW,IAAI,CAAC,GAAG,GAAG,CAAC;IAChM,OAAO,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;AAC1C,CAAC;AAED,kIAAkI;AAClI,SAAgB,SAAS,CAAC,IAAU,EAAE,OAAe;IACnD,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpG,KAAK,CAAC,IAAI,CAAC,YAAY,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,IAAI,IAAI,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,OAAO,EAAE,EAAE,CAAC,CAAC;IAC1I,KAAK,CAAC,IAAI,CAAC,iBAAiB,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrI,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACtD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;QAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtL,KAAK,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,GAAG,MAAM,GAAG,CAAC,CAAC;IAChE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,uBAAuB,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1K,IAAI,IAAI,CAAC,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,sBAAsB,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,KAAK,KAAK,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC;IAC7C,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAC5E,SAAgB,iBAAiB,CAAC,MAAkB;IAClD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,QAAQ,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC;IAC1G,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC7D,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;IAC7E,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;IAC7E,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,0CAA0C,CAAC,CAAC;IACtH,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC"}

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

@@ -0,0 +1,52 @@
+import type { DnaYaml } from '../dna/schema';
+import type { MemoryYaml } from '../memory/schema';
+import { type WorkflowsLoadResult } from './loaders';
+/**
+ * The `memory.yaml` and `dna.yaml` a caller has already loaded at the registry's commit, handed to the
+ * core checks so that one snapshot reads and parses each once (task-283, `bug-309`). Each is called at
+ * most once, at the point the checks would have read the file, so the order of reads and errors is the
+ * one {@link loadWorkflowRegistryAtRev} has.
+ */
+export interface RegistryPillars {
+    /** `memory.yaml` at the registry's commit, `null` when that commit does not hold it. */
+    readonly memoryYaml: () => MemoryYaml | null;
+    /** `dna.yaml` at the registry's commit, `null` when that commit does not hold it. */
+    readonly dnaYaml: () => DnaYaml | null;
+}
+/**
+ * The workflow registry from the **working tree**: the loader's result and the core checks, every
+ * input read from disk. `workflow list` read it until task-204 moved that command to `HEAD`.
+ *
+ * @throws `DiagnosticsError` (`VALIDATION`) when the loader or a core check reports an error.
+ */
+export declare function loadWorkflowRegistry(root: string): WorkflowsLoadResult;
+/**
+ * The workflow registry **as commit `rev` holds it** (`spec-017` §1.1): `rev` is resolved once, and the
+ * workflow files, `bindings.yaml`, `memory.yaml`, `dna.yaml` and the Memory templates are all read at
+ * that commit, so a dirty working tree changes nothing (the `command-baseline` directive).
+ *
+ * @param overlay - Workflow files (the manifest, an included file) that replace the commit's own, keyed by
+ *   repository-relative path, `null` for absent: the registry a commit about to be made would leave
+ *   (`workflow create` / `remove`, task-211). `memory.yaml`, `dna.yaml` and the templates stay the commit's.
+ * @throws `RevisionError` for a malformed rev or one naming no commit; `DiagnosticsError`
+ *   (`VALIDATION`) when the loader or a core check reports an error.
+ */
+export declare function loadWorkflowRegistryAtRev(root: string, rev: string, overlay?: ReadonlyMap<string, string | null>): WorkflowsLoadResult;
+/**
+ * {@link loadWorkflowRegistryAtRev} for a `sha` already resolved to a commit, read without resolving it
+ * again (task-283, `bug-309`): the workflow deduction's snapshot resolves `HEAD` once and reads every
+ * pillar at that sha. The Memory templates the core checks read are fetched in one batch.
+ *
+ * @param sha - The full sha of a commit, as `resolveRevision` returned it.
+ * @param overlay - As {@link loadWorkflowRegistryAtRev}'s.
+ * @param pillars - `memory.yaml` and `dna.yaml` as the caller already loads them at `sha`
+ *   ({@link RegistryPillars}); absent, the checks load them at `sha` themselves.
+ * @throws `DiagnosticsError` (`VALIDATION`) when the loader or a core check reports an error.
+ */
+export declare function loadWorkflowRegistryAtCommit(root: string, sha: string, overlay?: ReadonlyMap<string, string | null>, pillars?: RegistryPillars): WorkflowsLoadResult;
+/**
+ * {@link loadWorkflowRegistryAtRev} at `HEAD`; a repository with no commit yet (or no repository)
+ * holds no committed manifest, so its registry is empty.
+ */
+export declare function loadWorkflowRegistryAtHead(root: string): WorkflowsLoadResult;
+//# sourceMappingURL=workflow-registry.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-registry.d.ts","sourceRoot":"","sources":["../../src/core/workflow-registry.ts"],"names":[],"mappings":"AAsBA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAInD,OAAO,EAQL,KAAK,mBAAmB,EACzB,MAAM,WAAW,CAAC;AAmBnB;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,wFAAwF;IACxF,QAAQ,CAAC,UAAU,EAAE,MAAM,UAAU,GAAG,IAAI,CAAC;IAC7C,qFAAqF;IACrF,QAAQ,CAAC,OAAO,EAAE,MAAM,OAAO,GAAG,IAAI,CAAC;CACxC;AA8DD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,mBAAmB,CActE;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,mBAAmB,CAEtI;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,MAAM,EACX,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,EAC5C,OAAO,CAAC,EAAE,eAAe,GACxB,mBAAmB,CAWrB;AAED;;;GAGG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,mBAAmB,CAE5E"}