wingfoil 0.2.1 → 0.3.0

package/dist/core/workflow-deduction.js

@@ -0,0 +1,523 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.readDirtyRunLogs = readDirtyRunLogs;
+exports.readDirtyPaths = readDirtyPaths;
+exports.instancePlanIds = instancePlanIds;
+exports.readDeductionSnapshotAtHead = readDeductionSnapshotAtHead;
+exports.deduceWorkflowStateAtHead = deduceWorkflowStateAtHead;
+exports.selectWorkflowInstance = selectWorkflowInstance;
+/**
+ * The `HEAD` snapshot workflow state deduction reads (task-198, task-203; `spec-017` §1.1–§1.3, §3.3,
+ * §4.8), and the deduction at `HEAD` every workflow consumer calls.
+ *
+ * {@link readDeductionSnapshotAtHead} is the one impure step: it resolves `HEAD` once and reads every
+ * input at that sha — the workflow registry with its core checks (`loadWorkflowRegistryAtCommit`),
+ * `memory.yaml`, `dna.yaml`, every Memory document in sorted path order (tolerant, task-171), the file
+ * list, each open plan's start commit and what each instance's walk holds (phase records, step linkages,
+ * re-entries) — plus, to **explain** and never to decide, the working-tree paths among the inputs that
+ * differ from `HEAD` (`W_UNCOMMITTED_INPUTS`, §1.2; the `command-baseline` directive). The deduction
+ * itself is the pure `deduceWorkflowState` (`src/workflow/deduce.ts`).
+ *
+ * History is read at the cost §4.8 states (REQ-PERF-03): **one** `git log` over the union of the open
+ * instances' walks, bounded by the parents of the starts' octopus merge base (one `git merge-base
+ * --octopus`), from which each instance's own walk is cut in memory through the parent links; plus one
+ * lookup per element a re-entry in the walk names, and one batched read (`git cat-file --batch`) of those
+ * elements' files at the bracketless `add` / `submit` commits that name them (task-281, `bug-300`).
+ *
+ * git is read with `runGitRead` (stderr captured, `bug-093`) and the `git log` walk with
+ * `walkGitLogFields` (NUL-framed, `bug-050`); every `git log` passes `--no-show-signature` and checks the
+ * commit names it parses (`task-268`, `bug-291`), so a `log.showSignature` setting cannot put signature
+ * text among the parsed lines; the `git merge-base` that bounds the walk takes no such flag, and its
+ * output is checked the same way. No clock, no randomness, nothing cached between calls.
+ */
+const path_1 = require("path");
+const run_log_1 = require("../agent/run-log");
+const path_2 = require("../dna/path");
+const audit_1 = require("../memory/audit");
+const git_log_1 = require("../memory/git-log");
+const query_1 = require("../memory/query");
+const state_machine_1 = require("../memory/state-machine");
+const storage_1 = require("../storage");
+const validation_1 = require("../validation");
+const deduce_1 = require("../workflow/deduce");
+const schema_1 = require("../workflow/schema");
+const loaders_1 = require("./loaders");
+const revision_1 = require("./revision");
+const types_1 = require("./types");
+const workflow_registry_1 = require("./workflow-registry");
+/** The trailer that marks a phase record (`spec-003` § "Evidence"). */
+const PHASE_TRAILER = 'WingFoil-Phase';
+const RECORD_SUFFIX = ' completed';
+/** A non-blank string frontmatter value, or `null`. */
+function text(value) {
+    return typeof value === 'string' && value.trim() !== '' ? value : null;
+}
+/** The marker that opens one commit of {@link readStarts}'s `git log` (a byte no path or sha holds). */
+const COMMIT_MARK = String.fromCharCode(1);
+/**
+ * The start commit of each plan at `paths` (§3.3): the latest commit reachable from `sha` that **added**
+ * the file at its current path (`--no-renames`, so a moved plan starts where it arrived). One
+ * `git log --topo-order` over all of them: the commits come out in `git rev-list --topo-order` order,
+ * so a start's position is the index of its commit among them (`0` the most recent).
+ */
+function readStarts(root, sha, paths) {
+    const starts = new Map();
+    if (paths.length === 0)
+        return starts;
+    const args = ['-c', 'core.quotePath=false', 'log', '--no-show-signature', '--topo-order', '--no-renames', '--diff-filter=A', '--name-only', '--format=%x01%H', sha, '--'];
+    const wanted = new Set(paths);
+    let commit = '';
+    let position = -1;
+    for (const line of (0, storage_1.runGitRead)(root, [...args, ...paths.map((path) => `:(literal)${path}`)]).stdout.split('\n')) {
+        if (line.startsWith(COMMIT_MARK)) {
+            commit = (0, storage_1.requireCommitName)(line.slice(1), 'git log --diff-filter=A');
+            position += 1;
+        }
+        else if (wanted.has(line) && !starts.has(line)) {
+            starts.set(line, { commit, position });
+        }
+    }
+    return starts;
+}
+/** The value of each `key: value` line of a trailer block, by key (the last one wins), or `null`. */
+function trailerValue(block, key) {
+    let found = null;
+    for (const line of block.split('\n')) {
+        const colon = line.indexOf(':');
+        if (colon !== -1 && line.slice(0, colon).trim() === key)
+            found = line.slice(colon + 1).trim();
+    }
+    return found;
+}
+/**
+ * The walk's lower bound (§4.8, review F3 ruling (a)): `^@` of the octopus merge base of every start
+ * commit, or none when the starts share no ancestor (unrelated histories; `git merge-base` exits 1). The
+ * base is an ancestor of (or equal to) each start, so whatever its parents reach is reachable from every
+ * start's parents: outside every instance's walk. A commit some instance's walk holds is therefore never
+ * cut off, as it could be by the oldest start alone in a branching history. `merge-base` prints a commit
+ * name and takes no `--no-show-signature` (git refuses the option; `log.showSignature` does not apply to
+ * it); its output is refused unless it is a commit name (`requireCommitName`, task-268).
+ */
+function readWalkBound(root, starts) {
+    const commits = [...new Set(starts.map((entry) => entry.commit))].sort();
+    const run = (0, storage_1.runGitRead)(root, ['merge-base', '--octopus', ...commits], { accepted: [0, 1] });
+    if (run.status === 1)
+        return [];
+    const base = (0, storage_1.requireCommitName)(run.stdout.trim(), 'git merge-base --octopus');
+    return ['--not', `${base}^@`];
+}
+/**
+ * The union of the open instances' walks (§4.8): one `git log --topo-order` of the commits reachable
+ * from `sha` and not from `bound` (`readWalkBound`), newest first, with each commit's parents, subject
+ * and trailers. Every instance's walk lies inside this one.
+ */
+function readWalk(root, sha, bound) {
+    const rows = (0, git_log_1.walkGitLogFields)(root, ['%H', '%P', '%s', '%(trailers:only,unfold)'], [], ['--topo-order', sha, ...bound]);
+    // `walkGitLogFields` returns oldest first; the walk position counts from `HEAD`.
+    return rows.reverse().map(([commit, parents, subject, trailers], position) => ({
+        commit: commit,
+        position,
+        parents: parents.split(' ').filter((parent) => parent !== ''),
+        subject: subject,
+        trailers: trailers,
+    }));
+}
+/**
+ * The commits of one instance's walk (§4.8): those of the union walk not reachable from `start`'s
+ * parents. Reachability is followed through the walk's own parent links: a commit on a path from a
+ * parent of `start` down to a commit of the union walk is itself in the union walk, so nothing outside
+ * it is needed.
+ */
+function instanceWalk(walk, byCommit, start) {
+    const excluded = new Set();
+    // Every start lies in the union walk: it descends from (or is) the merge base, so it is not reachable
+    // from the base's parents.
+    const pending = [...byCommit.get(start).parents];
+    while (pending.length > 0) {
+        const commit = pending.pop();
+        const entry = byCommit.get(commit);
+        if (entry === undefined || excluded.has(commit))
+            continue;
+        excluded.add(commit);
+        pending.push(...entry.parents);
+    }
+    return new Set(walk.filter((entry) => !excluded.has(entry.commit)).map((entry) => entry.commit));
+}
+/** The ids a `wf(<type>): <verb> <ids> [<bracket>]` subject names, in order. */
+function subjectIds(subject) {
+    const rest = subject.replace(/^wf\([^)]*\):\s*\S+\s*/, '').replace(/\[[^[\]]*\]\s*$/, '');
+    return rest
+        .split(',')
+        .map((id) => id.trim())
+        .filter((id) => id !== '');
+}
+/** The scope of a `wf(<scope>): …` subject — the Memory type of a Memory operation. */
+function subjectType(subject) {
+    return /^wf\(([^)]*)\)/.exec(subject)[1];
+}
+/** The verbs whose subject carries no bracket (`spec-008` §2): `add` and `submit`. */
+const BRACKETLESS_VERBS = ['add', 'submit'];
+/**
+ * Read one walk commit. A re-entry is a `reject` or `park` whose bracket ends at an earlier position of
+ * the type's `sequence` than it starts from: a `bug` rejected `open → closed` moves forward, which
+ * decides the phase rather than re-entering it (§5.2).
+ */
+function readFacts(entry, memoryYaml) {
+    const { commit, position, subject, trailers } = entry;
+    const phase = trailerValue(trailers, PHASE_TRAILER);
+    const instance = trailerValue(trailers, 'WingFoil-Instance');
+    const record = phase !== null && phase.endsWith(RECORD_SUFFIX) && instance !== null
+        ? {
+            commit,
+            position,
+            phase: phase.slice(0, -RECORD_SUFFIX.length).trim(),
+            instance,
+            element: trailerValue(trailers, 'WingFoil-Element'),
+            item: trailerValue(trailers, 'WingFoil-Item'),
+        }
+        : null;
+    const facts = { record, links: [], reentries: [], transitions: [], bracketless: [] };
+    const operation = (0, audit_1.parseMemoryOperation)(subject);
+    if (operation === null)
+        return facts;
+    const type = subjectType(subject);
+    const ids = subjectIds(subject);
+    const step = trailerValue(trailers, 'WingFoil-Step');
+    if (operation === 'add' && instance !== null && step !== null) {
+        for (const id of ids)
+            facts.links.push({ commit, position, instance, step, type, id });
+    }
+    const hops = (0, audit_1.parseBracketHops)(subject);
+    if (hops === null) {
+        if (BRACKETLESS_VERBS.includes(operation))
+            for (const id of ids)
+                facts.bracketless.push({ commit, position, type, id });
+        return facts;
+    }
+    const from = hops[0].from;
+    const to = hops[hops.length - 1].to;
+    for (const id of ids)
+        facts.transitions.push({ commit, position, type, id, to });
+    if ((operation === 'reject' || operation === 'park') && memoryYaml !== null && Object.prototype.hasOwnProperty.call(memoryYaml.types, type)) {
+        const sequence = (0, state_machine_1.resolveStateMachine)(memoryYaml, type).sequence;
+        const target = sequence.indexOf(to);
+        if (target !== -1 && target < sequence.indexOf(from)) {
+            for (const id of ids)
+                facts.reentries.push({ commit, position, verb: operation, type, id, from, to });
+        }
+    }
+    return facts;
+}
+/**
+ * The latest commit of the walk that changed the file at `path` — one `git log -1` bounded like the
+ * walk — or `null` when no commit of the walk did.
+ */
+function readLastChange(root, sha, bound, path, byCommit) {
+    const out = (0, storage_1.runGitRead)(root, ['log', '--no-show-signature', '--topo-order', '-1', '--format=%H', sha, ...bound, '--', `:(literal)${path}`]).stdout.trim();
+    if (out === '')
+        return null;
+    const entry = byCommit.get((0, storage_1.requireCommitName)(out, 'git log -1'));
+    return entry === undefined ? null : { commit: entry.commit, position: entry.position };
+}
+/**
+ * Read the history every open instance's deduction needs (§4.8): one walk for the union of the instances'
+ * walks, each instance's records, linkages and re-entries cut from it, the transition commits naming a
+ * re-entered element (a bracketless `add` / `submit` through the status its file holds there, one batched
+ * read), the walk's parent links, and one lookup per re-entered element (its file's latest change in the
+ * walk). With no start, nothing is read.
+ */
+function readHistory(root, sha, starts, memoryYaml, documents) {
+    const read = { history: new Map(), transitions: [], lastChanges: new Map(), parents: new Map() };
+    if (starts.length === 0)
+        return read;
+    const bound = readWalkBound(root, starts);
+    const walk = readWalk(root, sha, bound);
+    const byCommit = new Map(walk.map((entry) => [entry.commit, entry]));
+    for (const entry of walk)
+        read.parents.set(entry.commit, entry.parents);
+    const facts = walk.map((entry) => readFacts(entry, memoryYaml));
+    const reentered = new Set();
+    for (const start of [...new Set(starts.map((entry) => entry.commit))].sort()) {
+        const members = instanceWalk(walk, byCommit, start);
+        const inWalk = facts.filter((_, index) => members.has(walk[index].commit));
+        const history = {
+            records: inWalk.flatMap((fact) => (fact.record === null ? [] : [fact.record])),
+            links: inWalk.flatMap((fact) => fact.links),
+            reentries: inWalk.flatMap((fact) => fact.reentries),
+        };
+        for (const reentry of history.reentries)
+            reentered.add(`${reentry.type}:${reentry.id}`);
+        read.history.set(start, history);
+    }
+    if (reentered.size === 0)
+        return read;
+    const pathOf = new Map();
+    for (const key of [...reentered].sort()) {
+        const document = documents.find(({ frontmatter }) => `${text(frontmatter['type'])}:${text(frontmatter['id'])}` === key);
+        if (document !== undefined)
+            pathOf.set(key, document.path);
+    }
+    const statuses = readBracketlessStatuses(root, facts.flatMap((fact) => fact.bracketless), pathOf);
+    // In walk order (newest first): a bracketed transition as its bracket says, a bracketless `add` / `submit`
+    // as the file it names holds at that commit (task-281, `bug-300`).
+    for (const fact of facts) {
+        read.transitions.push(...fact.transitions.filter((entry) => reentered.has(`${entry.type}:${entry.id}`)));
+        for (const entry of fact.bracketless) {
+            const to = statuses.get(`${entry.commit} ${entry.type}:${entry.id}`);
+            if (to !== undefined)
+                read.transitions.push({ commit: entry.commit, position: entry.position, type: entry.type, id: entry.id, to });
+        }
+    }
+    for (const key of [...reentered].sort()) {
+        const document = documents.find(({ frontmatter }) => `${text(frontmatter['type'])}:${text(frontmatter['id'])}` === key);
+        if (document === undefined)
+            continue;
+        const last = readLastChange(root, sha, bound, document.path, byCommit);
+        if (last !== null)
+            read.lastChanges.set(key, last);
+    }
+    return read;
+}
+/**
+ * The `status` each bracketless `add` / `submit` of a re-entered element left in that element's file
+ * (§4.8, task-281, `bug-300`), by `<commit> <type>:<id>`: one `git cat-file --batch` for all of them, the
+ * file read at its path at `HEAD` (`pathOf`). A commit whose tree does not hold that path, or whose
+ * frontmatter does not parse or has no `status`, gives no entry — the subject is then not counted.
+ */
+function readBracketlessStatuses(root, entries, pathOf) {
+    const requests = entries.flatMap((entry) => {
+        const path = pathOf.get(`${entry.type}:${entry.id}`);
+        return path === undefined ? [] : [{ key: `${entry.commit} ${entry.type}:${entry.id}`, rev: entry.commit, path }];
+    });
+    const statuses = new Map();
+    if (requests.length === 0)
+        return statuses;
+    const contents = (0, storage_1.readRevisionPaths)(root, requests);
+    requests.forEach((request, index) => {
+        const status = frontmatterStatus(contents[index], `${request.rev}:${request.path}`);
+        if (status !== null)
+            statuses.set(request.key, status);
+    });
+    return statuses;
+}
+/** The frontmatter `status` of a document's bytes, or `null` (absent, no frontmatter, unparsable, no string status). */
+function frontmatterStatus(raw, label) {
+    if (raw === null)
+        return null;
+    const { frontmatter } = (0, storage_1.splitFrontmatter)(raw);
+    if (frontmatter === null)
+        return null;
+    try {
+        const data = (0, validation_1.parseYaml)(frontmatter, label);
+        return text(data?.['status']);
+    }
+    catch {
+        return null;
+    }
+}
+/** The static directory (or file) a `produces` pattern names before its first token, or `null` for the whole tree. */
+function staticPrefix(pattern) {
+    const brace = pattern.indexOf('{');
+    if (brace === -1)
+        return pattern;
+    const slash = pattern.lastIndexOf('/', brace);
+    return slash <= 0 ? null : pattern.slice(0, slash + 1);
+}
+/**
+ * The working-tree paths among the deduction's inputs that differ from `HEAD` (§1.2): the Memory scan
+ * roots, the configuration files §1.1 reads at `HEAD` — `.wingfoil/workflows.yaml` and
+ * `.wingfoil/workflows/`, `memory.yaml`, `dna.yaml`, `roles.yaml` and `.wingfoil/directives/` (task-281,
+ * `bug-301`, approver ruling D2) — every `produces` pattern's static part and `paths.runs`; modified,
+ * staged, deleted or untracked, sorted.
+ */
+function readDirty(root, memoryYaml, dnaYaml, workflows) {
+    const specs = new Set(['.wingfoil/workflows.yaml', '.wingfoil/workflows/', loaders_1.MEMORY_YAML_PATH, loaders_1.DNA_YAML_PATH, loaders_1.ROLES_YAML_PATH, `${loaders_1.DIRECTIVES_DIR_PATH}/`]);
+    for (const dir of memoryYaml === null ? [] : (0, query_1.computeMemoryContentRoots)(memoryYaml))
+        specs.add(`${dir}/`);
+    for (const workflow of workflows) {
+        for (const phase of workflow.phases) {
+            for (const entry of phase.produces ?? []) {
+                const prefix = staticPrefix((0, schema_1.producesPath)(entry));
+                if (prefix !== null)
+                    specs.add(prefix);
+            }
+        }
+    }
+    const runLogs = (dnaYaml?.paths?.runs ?? []).flatMap((dir) => readDirtyRunLogs(root, dir));
+    return [...new Set([...readDirtyPaths(root, [...specs]), ...runLogs])].sort();
+}
+/**
+ * The run logs of the directory `dir` (`paths.runs`) that differ from `HEAD`: only the `.jsonl` files
+ * directly inside it, the files a run-log reader reads (`isRunLogPath`, `spec-016` §4.1). A dirty README
+ * there, or a nested file, is no deduction input and no `agent list` input, so it is not reported
+ * (task-240 review F5). Sorted.
+ *
+ * @throws `StorageError` when git cannot answer.
+ */
+function readDirtyRunLogs(root, dir) {
+    const prefix = (0, run_log_1.runLogDirPrefix)(root, dir);
+    return readDirtyPaths(root, [dir]).filter((path) => (0, run_log_1.isRunLogPath)(prefix, path));
+}
+/**
+ * The working-tree paths under `specs` (literal pathspecs: files or directories ending in `/`) that differ
+ * from `HEAD` — modified, staged, deleted or untracked — sorted, each once (`spec-017` §1.2). The deduction's
+ * input check, and `agent list --past`'s for the run log when no deduction runs (`spec-016` §5, task-240).
+ *
+ * @throws `StorageError` when git cannot answer.
+ */
+function readDirtyPaths(root, specs) {
+    const pathspecs = [...new Set(specs)].sort().map((spec) => `:(literal)${spec}`);
+    const status = (0, storage_1.runGitRead)(root, ['status', '--porcelain=v1', '-z', '--no-renames', '--untracked-files=all', '--', ...pathspecs]).stdout;
+    const dirty = status
+        .split('\0')
+        .filter((entry) => entry.length > 3)
+        .map((entry) => entry.slice(3));
+    return [...new Set(dirty)].sort();
+}
+/**
+ * The entries of every collection a loaded workflow iterates over (`spec-003` § "Collections", `dl-104`
+ * D2 (b)), by reference in byte order: `dna:<path>` from `dna.yaml` (the `spec-008` §9 path syntax),
+ * `bindings:<name>` from `workflows/bindings.yaml`'s `collections`, both at the snapshot's commit. A
+ * `dna:` reference with no `dna.yaml` is left out: it has no candidates.
+ */
+function readCollections(workflows, dnaYaml, bindings) {
+    const references = new Set();
+    for (const workflow of workflows) {
+        for (const phase of workflow.phases) {
+            if (phase.iterate_over !== undefined && /^(dna|bindings):/.test(phase.iterate_over))
+                references.add(phase.iterate_over);
+        }
+    }
+    const collections = new Map();
+    for (const reference of [...references].sort()) {
+        // Every reference resolves to a list here: the registry refuses one that does not
+        // (`E_WORKFLOW_COLLECTION_UNRESOLVED`), except a `dna:` reference without `dna.yaml`, which is undecided
+        // there and has no candidates here.
+        if (reference.startsWith('bindings:')) {
+            collections.set(reference, bindings.collections[reference.slice('bindings:'.length)]);
+        }
+        else if (dnaYaml !== null) {
+            collections.set(reference, (0, path_2.resolveDnaPath)(dnaYaml, reference.slice('dna:'.length)).target.value);
+        }
+    }
+    return collections;
+}
+/** `read`, called at most once: later calls answer the first call's value. */
+function once(read) {
+    let done = false;
+    let value;
+    return () => {
+        if (!done) {
+            value = read();
+            done = true;
+        }
+        return value;
+    };
+}
+/** The snapshot of a repository with nothing committed: no instance can be open. */
+function emptySnapshot() {
+    return {
+        commit: '',
+        workflows: [],
+        workflowFiles: [],
+        registryDiagnostics: [],
+        memoryYaml: null,
+        documents: [],
+        scanDiagnostics: [],
+        tree: [],
+        starts: new Map(),
+        history: new Map(),
+        transitions: [],
+        lastChanges: new Map(),
+        parents: new Map(),
+        dirty: [],
+        collections: new Map(),
+        bindings: null,
+        dnaYaml: null,
+    };
+}
+/** Whether a document's frontmatter is a plan of the instance kind (§3.1): type `plan`, `parent` empty. */
+function isInstancePlan(frontmatter) {
+    return text(frontmatter['type']) === deduce_1.PLAN_TYPE && text(frontmatter['parent']) === null;
+}
+/**
+ * The ids of the instance plans among `documents` (§3.1: type `plan`, `parent` empty), in any status, in
+ * document order — what a `<ref>` may name besides a loaded workflow (§10, task-281, `bug-326`).
+ */
+function instancePlanIds(documents) {
+    return documents.flatMap(({ frontmatter }) => {
+        const id = text(frontmatter['id']);
+        return isInstancePlan(frontmatter) && id !== null ? [id] : [];
+    });
+}
+/**
+ * Read everything workflow state deduction needs, as `HEAD` holds it (`spec-017` §1.1), plus the
+ * dirty input paths (§1.2). A repository with no commit gives an empty snapshot.
+ *
+ * @throws `DiagnosticsError` (`VALIDATION`, exit `1`) when the workflow registry has an error
+ *   (`spec-017` §2); `StorageError` `E_GIT_READ_FAILED` when git cannot answer.
+ */
+function readDeductionSnapshotAtHead(root) {
+    const sha = (0, revision_1.atHeadOr)(root, () => (0, revision_1.resolveRevision)(root, 'HEAD'), null);
+    if (sha === null)
+        return emptySnapshot();
+    // `HEAD` is resolved once, above, and every pillar is read at that sha (task-283, `bug-309`): no loader
+    // resolves it again, and `memory.yaml` / `dna.yaml` are read and parsed once, for the registry's core
+    // checks and for the snapshot alike, in the order the registry reads them.
+    const memoryYamlOnce = once(() => (0, loaders_1.loadMemoryYamlAtCommit)(root, sha));
+    const dnaYamlOnce = once(() => (0, loaders_1.loadDnaYamlAtCommit)(root, sha));
+    const registry = (0, workflow_registry_1.loadWorkflowRegistryAtCommit)(root, sha, undefined, { memoryYaml: memoryYamlOnce, dnaYaml: dnaYamlOnce });
+    const memoryYaml = memoryYamlOnce();
+    const dnaYaml = dnaYamlOnce();
+    const scanDiagnostics = [];
+    // The whole scan keeps archived documents: an archived bound element abandons its instance (§4.11), and
+    // the deduction keeps them out of every selection and iteration itself.
+    const documents = memoryYaml === null ? [] : (0, query_1.loadMemoryDocumentsAtCommit)(root, sha, memoryYaml, { onDiagnostic: (diagnostic) => scanDiagnostics.push(diagnostic) });
+    // The plans that may be open instances (§3.2's status and `parent` rules; the workflow rule is the deduction's).
+    const candidates = documents
+        .filter(({ frontmatter }) => isInstancePlan(frontmatter) && deduce_1.OPEN_PLAN_STATUSES.includes(text(frontmatter['status']) ?? ''))
+        .map((document) => document.path);
+    const starts = readStarts(root, sha, candidates);
+    const { history, transitions, lastChanges, parents } = readHistory(root, sha, [...starts.values()], memoryYaml, documents);
+    return {
+        commit: sha,
+        workflows: registry.workflows,
+        workflowFiles: (registry.manifest?.include ?? []).map((file) => path_1.posix.normalize(`.wingfoil/${file}`)),
+        registryDiagnostics: registry.diagnostics,
+        memoryYaml,
+        documents,
+        scanDiagnostics,
+        tree: (0, revision_1.listPathsAtCommit)(root, sha, '').sort(),
+        starts,
+        history,
+        transitions,
+        lastChanges,
+        parents,
+        dirty: readDirty(root, memoryYaml, dnaYaml, registry.workflows),
+        collections: readCollections(registry.workflows, dnaYaml, registry.bindings),
+        bindings: registry.bindings,
+        dnaYaml,
+    };
+}
+/**
+ * Workflow state deduced at `HEAD` (`spec-017` §1–§4): {@link readDeductionSnapshotAtHead}, then the
+ * pure `deduceWorkflowState`. The one function `workflow next|status|list`, the MCP Resources and
+ * `agent execute --next` answer from.
+ *
+ * @throws as {@link readDeductionSnapshotAtHead}.
+ */
+function deduceWorkflowStateAtHead(root) {
+    return (0, deduce_1.deduceWorkflowState)(readDeductionSnapshotAtHead(root));
+}
+/**
+ * The instance `ref` selects (`spec-017` §3.3): a workflow name — its most recently started open
+ * instance — or an open instance id; without `ref`, the active instance (`null` when none is open).
+ * A `ref` that names no open instance is `NOT_FOUND` `workflow is not open: <ref>` (§10).
+ */
+function selectWorkflowInstance(deduction, ref) {
+    const found = (0, deduce_1.resolveInstanceRef)(deduction, ref);
+    if (ref !== undefined && found === null)
+        return (0, types_1.coreErr)({ code: 'NOT_FOUND', message: `workflow is not open: ${ref}`, details: { ref } });
+    return (0, types_1.coreOk)(found);
+}
+//# sourceMappingURL=workflow-deduction.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-deduction.js","sourceRoot":"","sources":["../../src/core/workflow-deduction.ts"],"names":[],"mappings":";;AAkZA,4CAGC;AASD,wCAQC;AA0ED,0CAKC;AASD,kEA0CC;AASD,8DAEC;AAOD,wDAIC;AA9jBD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,+BAA6B;AAE7B,8CAAiE;AACjE,sCAA6C;AAE7C,2CAAyE;AACzE,+CAAqD;AACrD,2CAAqH;AAErH,2DAA8D;AAC9D,wCAAgG;AAChG,8CAA2D;AAC3D,+CAe4B;AAE5B,+CAAiE;AAEjE,uCAA+I;AAC/I,yCAA0E;AAC1E,mCAA2D;AAC3D,2DAAmE;AAEnE,uEAAuE;AACvE,MAAM,aAAa,GAAG,gBAAgB,CAAC;AACvC,MAAM,aAAa,GAAG,YAAY,CAAC;AAEnC,uDAAuD;AACvD,SAAS,IAAI,CAAC,KAAc;IAC1B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACzE,CAAC;AAED,wGAAwG;AACxG,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AAE3C;;;;;GAKG;AACH,SAAS,UAAU,CAAC,IAAY,EAAE,GAAW,EAAE,KAAwB;IACrE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACtC,MAAM,IAAI,GAAG,CAAC,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,qBAAqB,EAAE,cAAc,EAAE,cAAc,EAAE,iBAAiB,EAAE,aAAa,EAAE,iBAAiB,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC1K,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,QAAQ,GAAG,CAAC,CAAC,CAAC;IAClB,KAAK,MAAM,IAAI,IAAI,IAAA,oBAAU,EAAC,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/G,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YACjC,MAAM,GAAG,IAAA,2BAAiB,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,yBAAyB,CAAC,CAAC;YACrE,QAAQ,IAAI,CAAC,CAAC;QAChB,CAAC;aAAM,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,qGAAqG;AACrG,SAAS,YAAY,CAAC,KAAa,EAAE,GAAW;IAC9C,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAChG,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AASD;;;;;;;;GAQG;AACH,SAAS,aAAa,CAAC,IAAY,EAAE,MAA8B;IACjE,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACzE,MAAM,GAAG,GAAG,IAAA,oBAAU,EAAC,IAAI,EAAE,CAAC,YAAY,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5F,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,IAAA,2BAAiB,EAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,0BAA0B,CAAC,CAAC;IAC9E,OAAO,CAAC,OAAO,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC;AAChC,CAAC;AAED;;;;GAIG;AACH,SAAS,QAAQ,CAAC,IAAY,EAAE,GAAW,EAAE,KAAwB;IACnE,MAAM,IAAI,GAAG,IAAA,0BAAgB,EAAC,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,yBAAyB,CAAC,EAAE,EAAE,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC;IACxH,iFAAiF;IACjF,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC7E,MAAM,EAAE,MAAO;QACf,QAAQ;QACR,OAAO,EAAE,OAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC;QAC9D,OAAO,EAAE,OAAQ;QACjB,QAAQ,EAAE,QAAS;KACpB,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,IAA2B,EAAE,QAAyC,EAAE,KAAa;IACzG,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,sGAAsG;IACtG,2BAA2B;IAC3B,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,OAAO,CAAC,CAAC;IAClD,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAG,CAAC;QAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,SAAS;QAC1D,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrB,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;AACnG,CAAC;AAED,gFAAgF;AAChF,SAAS,UAAU,CAAC,OAAe;IACjC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,wBAAwB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;IAC1F,OAAO,IAAI;SACR,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;SACtB,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAC/B,CAAC;AAED,uFAAuF;AACvF,SAAS,WAAW,CAAC,OAAe;IAClC,OAAO,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAE,CAAC,CAAC,CAAE,CAAC;AAC7C,CAAC;AAYD,sFAAsF;AACtF,MAAM,iBAAiB,GAAsB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;AAW/D;;;;GAIG;AACH,SAAS,SAAS,CAAC,KAAiB,EAAE,UAA6B;IACjE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IACtD,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;IAC7D,MAAM,MAAM,GACV,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,QAAQ,KAAK,IAAI;QAClE,CAAC,CAAC;YACE,MAAM;YACN,QAAQ;YACR,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE;YACnD,QAAQ;YACR,OAAO,EAAE,YAAY,CAAC,QAAQ,EAAE,kBAAkB,CAAC;YACnD,IAAI,EAAE,YAAY,CAAC,QAAQ,EAAE,eAAe,CAAC;SAC9C;QACH,CAAC,CAAC,IAAI,CAAC;IACX,MAAM,KAAK,GAAgB,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IAClG,MAAM,SAAS,GAAG,IAAA,4BAAoB,EAAC,OAAO,CAAC,CAAC;IAChD,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;IACrD,IAAI,SAAS,KAAK,KAAK,IAAI,QAAQ,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9D,KAAK,MAAM,EAAE,IAAI,GAAG;YAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,MAAM,IAAI,GAAG,IAAA,wBAAgB,EAAC,OAAO,CAAC,CAAC;IACvC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,IAAI,iBAAiB,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,KAAK,MAAM,EAAE,IAAI,GAAG;gBAAE,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACxH,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;IAC3B,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,EAAE,CAAC;IACrC,KAAK,MAAM,EAAE,IAAI,GAAG;QAAE,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IACjF,IAAI,CAAC,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,MAAM,CAAC,IAAI,UAAU,KAAK,IAAI,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;QAC5I,MAAM,QAAQ,GAAG,IAAA,mCAAmB,EAAC,UAAU,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC;QAChE,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACpC,IAAI,MAAM,KAAK,CAAC,CAAC,IAAI,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACrD,KAAK,MAAM,EAAE,IAAI,GAAG;gBAAE,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACxG,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,SAAS,cAAc,CAAC,IAAY,EAAE,GAAW,EAAE,KAAwB,EAAE,IAAY,EAAE,QAAyC;IAClI,MAAM,GAAG,GAAG,IAAA,oBAAU,EAAC,IAAI,EAAE,CAAC,KAAK,EAAE,qBAAqB,EAAE,cAAc,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC1J,IAAI,GAAG,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAA,2BAAiB,EAAC,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC;IACjE,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;AACzF,CAAC;AAUD;;;;;;GAMG;AACH,SAAS,WAAW,CAClB,IAAY,EACZ,GAAW,EACX,MAA8B,EAC9B,UAA6B,EAC7B,SAA2C;IAE3C,MAAM,IAAI,GAAgB,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAC9G,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACrE,KAAK,MAAM,KAAK,IAAI,IAAI;QAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IACxE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;IAEhE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7E,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5E,MAAM,OAAO,GAAoB;YAC/B,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;YAC9E,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC3C,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;SACpD,CAAC;QACF,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,SAAS;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QACxF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;QACxH,IAAI,QAAQ,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,CAAC;IAClG,2GAA2G;IAC3G,mEAAmE;IACnE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACzG,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrC,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;YACrE,IAAI,EAAE,KAAK,SAAS;gBAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QACtI,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;QACxH,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAS;QACrC,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACvE,IAAI,IAAI,KAAK,IAAI;YAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,uBAAuB,CAAC,IAAY,EAAE,OAAqC,EAAE,MAAmC;IACvH,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACzC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QACrD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACnH,CAAC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC3C,MAAM,QAAQ,GAAG,IAAA,2BAAiB,EAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACnD,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QAClC,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,CAAC,KAAK,CAAE,EAAE,GAAG,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QACrF,IAAI,MAAM,KAAK,IAAI;YAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,wHAAwH;AACxH,SAAS,iBAAiB,CAAC,GAAkB,EAAE,KAAa;IAC1D,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,EAAE,WAAW,EAAE,GAAG,IAAA,0BAAgB,EAAC,GAAG,CAAC,CAAC;IAC9C,IAAI,WAAW,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAA,sBAAS,EAAC,WAAW,EAAE,KAAK,CAAmC,CAAC;QAC7E,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IAChC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,sHAAsH;AACtH,SAAS,YAAY,CAAC,OAAe;IACnC,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACnC,IAAI,KAAK,KAAK,CAAC,CAAC;QAAE,OAAO,OAAO,CAAC;IACjC,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC9C,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;AACzD,CAAC;AAED;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,IAAY,EAAE,UAA6B,EAAE,OAAuB,EAAE,SAA8B;IACrH,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,CAAC,0BAA0B,EAAE,sBAAsB,EAAE,0BAAgB,EAAE,uBAAa,EAAE,yBAAe,EAAE,GAAG,6BAAmB,GAAG,CAAC,CAAC,CAAC;IACjK,KAAK,MAAM,GAAG,IAAI,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAA,iCAAyB,EAAC,UAAU,CAAC;QAAE,KAAK,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;IACzG,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;YACpC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;gBACzC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAA,qBAAY,EAAC,KAAK,CAAC,CAAC,CAAC;gBACjD,IAAI,MAAM,KAAK,IAAI;oBAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3F,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,cAAc,CAAC,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAChF,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,gBAAgB,CAAC,IAAY,EAAE,GAAW;IACxD,MAAM,MAAM,GAAG,IAAA,yBAAe,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC1C,OAAO,cAAc,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAA,sBAAY,EAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AAClF,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,cAAc,CAAC,IAAY,EAAE,KAAwB;IACnE,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;IAChF,MAAM,MAAM,GAAG,IAAA,oBAAU,EAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,gBAAgB,EAAE,IAAI,EAAE,cAAc,EAAE,uBAAuB,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IACxI,MAAM,KAAK,GAAG,MAAM;SACjB,KAAK,CAAC,IAAI,CAAC;SACX,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;SACnC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACpC,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CAAC,SAA8B,EAAE,OAAuB,EAAE,QAA6B;IAC7G,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;YACpC,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,IAAI,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC1H,CAAC;IACH,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAsC,CAAC;IAClE,KAAK,MAAM,SAAS,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC/C,kFAAkF;QAClF,yGAAyG;QACzG,oCAAoC;QACpC,IAAI,SAAS,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YACtC,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE,QAAS,CAAC,WAAY,CAAC,SAAS,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAE,CAAC,CAAC;QAC3F,CAAC;aAAM,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YAC5B,WAAW,CAAC,GAAG,CAAC,SAAS,EAAG,IAAA,qBAAc,EAAC,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAA8C,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACjJ,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,8EAA8E;AAC9E,SAAS,IAAI,CAAI,IAAa;IAC5B,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,KAAQ,CAAC;IACb,OAAO,GAAG,EAAE;QACV,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,KAAK,GAAG,IAAI,EAAE,CAAC;YACf,IAAI,GAAG,IAAI,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;AACJ,CAAC;AAED,oFAAoF;AACpF,SAAS,aAAa;IACpB,OAAO;QACL,MAAM,EAAE,EAAE;QACV,SAAS,EAAE,EAAE;QACb,aAAa,EAAE,EAAE;QACjB,mBAAmB,EAAE,EAAE;QACvB,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,EAAE;QACb,eAAe,EAAE,EAAE;QACnB,IAAI,EAAE,EAAE;QACR,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,WAAW,EAAE,IAAI,GAAG,EAAE;QACtB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,KAAK,EAAE,EAAE;QACT,WAAW,EAAE,IAAI,GAAG,EAAE;QACtB,QAAQ,EAAE,IAAI;QACd,OAAO,EAAE,IAAI;KACd,CAAC;AACJ,CAAC;AAED,2GAA2G;AAC3G,SAAS,cAAc,CAAC,WAA8C;IACpE,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,kBAAS,IAAI,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,KAAK,IAAI,CAAC;AACzF,CAAC;AAED;;;GAGG;AACH,SAAgB,eAAe,CAAC,SAA2C;IACzE,OAAO,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE;QAC3C,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QACnC,OAAO,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,2BAA2B,CAAC,IAAY;IACtD,MAAM,GAAG,GAAG,IAAA,mBAAQ,EAAC,IAAI,EAAE,GAAG,EAAE,CAAC,IAAA,0BAAe,EAAC,IAAI,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;IACtE,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,aAAa,EAAE,CAAC;IACzC,wGAAwG;IACxG,sGAAsG;IACtG,2EAA2E;IAC3E,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,IAAA,gCAAsB,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IACrE,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,IAAA,6BAAmB,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,IAAA,gDAA4B,EAAC,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,UAAU,EAAE,cAAc,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;IAC1H,MAAM,UAAU,GAAG,cAAc,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC;IAC9B,MAAM,eAAe,GAAiB,EAAE,CAAC;IACzC,wGAAwG;IACxG,wEAAwE;IACxE,MAAM,SAAS,GAAG,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAA,mCAA2B,EAAC,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,YAAY,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAEpK,iHAAiH;IACjH,MAAM,UAAU,GAAG,SAAS;SACzB,MAAM,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,WAAW,CAAC,IAAI,2BAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;SAC1H,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;IACjD,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IAE3H,OAAO;QACL,MAAM,EAAE,GAAG;QACX,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,aAAa,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAK,CAAC,SAAS,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;QACrG,mBAAmB,EAAE,QAAQ,CAAC,WAAW;QACzC,UAAU;QACV,SAAS;QACT,eAAe;QACf,IAAI,EAAE,IAAA,4BAAiB,EAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE;QAC7C,MAAM;QACN,OAAO;QACP,WAAW;QACX,WAAW;QACX,OAAO;QACP,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,SAAS,CAAC;QAC/D,WAAW,EAAE,eAAe,CAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC;QAC5E,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,OAAO;KACR,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,yBAAyB,CAAC,IAAY;IACpD,OAAO,IAAA,4BAAmB,EAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC,CAAC;AAChE,CAAC;AAED;;;;GAIG;AACH,SAAgB,sBAAsB,CAAC,SAAoB,EAAE,GAAY;IACvE,MAAM,KAAK,GAAG,IAAA,2BAAkB,EAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACjD,IAAI,GAAG,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAA,eAAO,EAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,yBAAyB,GAAG,EAAE,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IAC1I,OAAO,IAAA,cAAM,EAAC,KAAK,CAAC,CAAC;AACvB,CAAC"}

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

@@ -0,0 +1,83 @@
+/**
+ * The Workflow pillar's **loader** checks (spec-003-workflows-yaml-schema § "Diagnostics", rows whose
+ * "Runs in" is `loader`; task-136): the checks that need the loaded workflow files and nothing from
+ * another pillar, run by `loadWorkflowsYaml` (`./loaders.ts`) as caller-supplied semantic checks
+ * (spec-009-validation-strategy §1). Every check here reads only the files `workflows.yaml` lists, so
+ * the loader keeps its pillar isolation (REQ-SYS-02).
+ *
+ * The output is one ordered array (REQ-SYS-07): within a file, workflow-level before phase-level,
+ * phases in declared order, and per phase the table's rows in table order. The manifest's own
+ * diagnostics and the order of files are the loader's ({@link workflowFileDiagnostics} is called once
+ * per file, in `include` order).
+ */
+import type { Diagnostic } from '../validation';
+import { BindingsYaml } from '../workflow/bindings';
+import { Workflow } from '../workflow/schema';
+/** One included file as the loader saw it, in manifest `include` order. */
+export interface LoadedWorkflowFile {
+    /** The manifest `include` entry, relative to `.wingfoil/` — the diagnostics' `file`. */
+    readonly file: string;
+    /** The validated workflow, or `null` when the file failed its structural pass. */
+    readonly workflow: Workflow | null;
+    /** The raw `name`, when it is a string — kept for a structurally invalid file too. */
+    readonly rawName: string | null;
+}
+/** The registry the cross-file checks resolve names against, built once from every loaded file. */
+export interface WorkflowRegistryIndex {
+    /** Name → index (into the loaded files) of the **first** file declaring it. */
+    readonly byName: ReadonlyMap<string, number>;
+    /**
+     * `false` when some included file is missing or carries no readable `name`: a phase `include` may
+     * then name a workflow the loader could not see, so neither `E_WORKFLOW_INCLUDE_UNRESOLVED` nor
+     * `E_NO_MAIN_WORKFLOW` is decidable and neither is reported (the root error is).
+     */
+    readonly namesComplete: boolean;
+}
+/** Index the loaded files by name; `missing` counts manifest entries whose file does not exist. */
+export declare function indexWorkflowFiles(files: readonly LoadedWorkflowFile[], missing: number): WorkflowRegistryIndex;
+/**
+ * Every loader diagnostic of file `i` (spec-003 § "Diagnostics"), in spec-003's order. A file that
+ * failed its structural pass contributes nothing here — its structural diagnostics are the loader's.
+ */
+export declare function workflowFileDiagnostics(files: readonly LoadedWorkflowFile[], index: WorkflowRegistryIndex, i: number, bindings?: BindingsContext): Diagnostic[];
+/**
+ * `E_NO_MAIN_WORKFLOW` (spec-003 Layer 1; `dl-109` Action 1): a present manifest whose loaded files
+ * hold no startable workflow. Not decided while some file is missing or unreadable (see
+ * {@link WorkflowRegistryIndex.namesComplete}) or failed its structural pass.
+ */
+export declare function noStartableDiagnostic(files: readonly LoadedWorkflowFile[], index: WorkflowRegistryIndex): Diagnostic | null;
+/** What the loader knows about `workflows/bindings.yaml` when it checks the workflow files' tokens. */
+export interface BindingsContext {
+    /** The validated file, or `null` when there is none (or it failed its own checks). */
+    readonly bindings: BindingsYaml | null;
+    /**
+     * `false` when the file exists but failed its YAML or structural pass: a token may be bound by the
+     * part the loader could not read, so `W_WORKFLOW_UNBOUND_TOKEN` is not decided (spec-003: a loader
+     * diagnostic is not decided when its inputs are missing).
+     */
+    readonly decided: boolean;
+}
+/** An absent `bindings.yaml`: no bindings, and that is known (spec-003 Layer 3: "Optional"). */
+export declare const NO_BINDINGS_FILE: BindingsContext;
+/**
+ * The index of a **self-creating** workflow's creating phase (spec-003 Layer 2 `element`): a
+ * startable workflow with no `element` whose phases `memory.add` — the phase holding the first such
+ * action. `-1` for every other workflow.
+ */
+export declare function creatingPhaseIndex(workflow: Workflow): number;
+/**
+ * Whether the string `produces` entry `entry` of phase `p` has an **implicit owner** (`dl-104` D3,
+ * `W_PHASE_PRODUCES_OWNER_IMPLICIT`): a bare `{<field>}` token in a phase that also `memory.add`s,
+ * other than a self-creating workflow's creating phase. The loader warns on it; state deduction
+ * (task-198, `spec-017` §4.3) shows it and does not count it as evidence — one rule for both.
+ */
+export declare function isImplicitOwnerProduces(workflow: Workflow, p: number, entry: string): boolean;
+/**
+ * The loader rows of `workflows/bindings.yaml` (spec-003 Layer 3), on a structurally valid file:
+ * sections in a fixed order (`checks`, then `actions`, then `collections`), entries in declared order,
+ * and per entry the table's rows in table order — `E_BINDING_PARTIAL_INTERPOLATION` (per `run`
+ * element), `E_BINDING_BUILTIN_TOKEN`, `E_BINDING_AGENT_CHECK`; then `E_BINDING_COLLECTION_KEY` per
+ * collection entry (approver ruling D1 (a)).
+ */
+export declare function bindingsFileDiagnostics(bindings: BindingsYaml): Diagnostic[];
+//# sourceMappingURL=workflow-diagnostics.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-diagnostics.d.ts","sourceRoot":"","sources":["../../src/core/workflow-diagnostics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAEL,YAAY,EAQb,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAKL,QAAQ,EAGT,MAAM,oBAAoB,CAAC;AAE5B,2EAA2E;AAC3E,MAAM,WAAW,kBAAkB;IACjC,wFAAwF;IACxF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,kFAAkF;IAClF,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAC;IACnC,sFAAsF;IACtF,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC;AAED,mGAAmG;AACnG,MAAM,WAAW,qBAAqB;IACpC,+EAA+E;IAC/E,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C;;;;OAIG;IACH,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC;AAwBD,mGAAmG;AACnG,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,SAAS,kBAAkB,EAAE,EAAE,OAAO,EAAE,MAAM,GAAG,qBAAqB,CAW/G;AA2ID;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,SAAS,kBAAkB,EAAE,EACpC,KAAK,EAAE,qBAAqB,EAC5B,CAAC,EAAE,MAAM,EACT,QAAQ,GAAE,eAAkC,GAC3C,UAAU,EAAE,CAsFd;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,SAAS,kBAAkB,EAAE,EAAE,KAAK,EAAE,qBAAqB,GAAG,UAAU,GAAG,IAAI,CAS3H;AAID,uGAAuG;AACvG,MAAM,WAAW,eAAe;IAC9B,sFAAsF;IACtF,QAAQ,CAAC,QAAQ,EAAE,YAAY,GAAG,IAAI,CAAC;IACvC;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,gGAAgG;AAChG,eAAO,MAAM,gBAAgB,EAAE,eAAmD,CAAC;AAQnF;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAG7D;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAG7F;AA+ED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,YAAY,GAAG,UAAU,EAAE,CA6B5E"}