wingfoil 0.2.2 → 0.3.0

package/dist/core/workflow-create-remove.js

@@ -0,0 +1,277 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.workflowExistsMessage = exports.NO_DECLARATION_MESSAGE = exports.KIND_CONFLICT_MESSAGE = exports.WORKFLOWS_MANIFEST_PATH = void 0;
+exports.workflowCreate = workflowCreate;
+exports.workflowRemove = workflowRemove;
+exports.renderCreateConsole = renderCreateConsole;
+exports.renderRemoveConsole = renderRemoveConsole;
+/**
+ * `wingfoil workflow create <name>` and `wingfoil workflow remove <ref>` (task-211; `spec-017` §7.7, §7.8, §10,
+ * §11; BDD P4.8, P4.9; REQ-SEC-07, `dl-030`, `dl-066` option 1, `dl-086`).
+ *
+ * **Baseline.** Both decide at `HEAD` (`spec-017` §11): `create` reads the registry for the name's uniqueness,
+ * `remove` the registry, the referrers and the open instances (the deduction). The one filesystem read is
+ * `create`'s check that its target file is not already on disk (`dl-086`: a read predicting where a write
+ * lands resolves on the filesystem). Every written path is guarded first: confinement (REQ-SEC-06) and
+ * `requireUnmodifiedTarget` (`dl-080` (B)), so a modified `workflows.yaml` is refused, never swept in.
+ *
+ * **The registry the commit would leave is loaded before writing** (task-211 design decision 2): `HEAD`'s
+ * workflow files with the new file and the edited manifest overlaid (or the removed file absent), through the
+ * same loader and core checks every workflow command reads (`loadWorkflowRegistryAtRev`, task-194). A `spec-003`
+ * error refuses the command, so neither can leave a repository whose `workflow list` fails — the created file
+ * loads with zero errors by construction (AC 3).
+ *
+ * **One commit, both files**, written through `writeAndCommit` (so `--dry-run` plans it, task-210):
+ * `wf(workflow): create <name>` / `wf(workflow): remove <name>` — scopes the audit reader skips as non-Memory
+ * (`src/memory/audit.ts`, task-126).
+ */
+const path_1 = require("path");
+const storage_1 = require("../storage");
+const validation_1 = require("../validation");
+const warning_1 = require("../validation/warning");
+const create_1 = require("../workflow/create");
+const deduce_1 = require("../workflow/deduce");
+const manifest_edit_1 = require("../workflow/manifest-edit");
+const schema_1 = require("../workflow/schema");
+const builtin_asset_1 = require("./builtin-asset");
+const confinement_1 = require("./confinement");
+const git_identity_1 = require("./git-identity");
+const init_1 = require("./init");
+const registry_1 = require("./registry");
+const revision_1 = require("./revision");
+const types_1 = require("./types");
+const usage_error_1 = require("./usage-error");
+const write_guard_1 = require("./write-guard");
+const workflow_deduction_1 = require("./workflow-deduction");
+const workflow_list_show_1 = require("./workflow-list-show");
+const workflow_registry_1 = require("./workflow-registry");
+/** The manifest both commands edit, repository-relative. */
+exports.WORKFLOWS_MANIFEST_PATH = '.wingfoil/workflows.yaml';
+/** `.wingfoil/`'s prefix on a repository-relative path; a manifest `include` entry is relative to it. */
+const CONFIG_PREFIX = '.wingfoil/';
+/** `--kind` with a boolean (exit 2; `spec-003`'s `E_WORKFLOW_KIND_CONFLICT`, as an argument error). */
+exports.KIND_CONFLICT_MESSAGE = '--kind cannot be combined with --startable or --includable (declare one or the other)';
+/** Neither `--kind` nor a boolean (exit 2; `spec-003`'s `E_WORKFLOW_NEITHER_STARTABLE_NOR_INCLUDABLE`). */
+exports.NO_DECLARATION_MESSAGE = 'missing required argument: --kind, --startable or --includable';
+/** `spec-017` §10's refusal of a duplicate name (BDD P4.8 sc. 3). */
+const workflowExistsMessage = (name) => `workflow already exists: ${name}`;
+exports.workflowExistsMessage = workflowExistsMessage;
+/** A value option's text, or `undefined` (none of these options is repeatable). */
+function option(options, name) {
+    const value = options?.[name];
+    return typeof value === 'string' ? value : undefined;
+}
+/**
+ * The argument checks of `create` (exit `2`, before any read, task-125): the name, then the declaration.
+ * `--kind` maps onto the two booleans `dl-109` K1 (a) makes canonical.
+ */
+function createUsage(params) {
+    const name = params.positional;
+    if (name === undefined || name.trim() === '')
+        throw new usage_error_1.UsageError((0, registry_1.missingOperandReason)('name'));
+    if (!schema_1.WORKFLOW_NAME_RE.test(name))
+        throw new usage_error_1.UsageError(`invalid workflow name '${name}' (allowed: [a-z][a-z0-9-]*)`);
+    const kind = option(params.options, 'kind');
+    const startable = params.startable === true;
+    const includable = params.includable === true;
+    let facts;
+    if (kind !== undefined) {
+        if (startable || includable)
+            throw new usage_error_1.UsageError(exports.KIND_CONFLICT_MESSAGE);
+        if (kind !== 'main' && kind !== 'sub')
+            throw new usage_error_1.UsageError((0, schema_1.invalidKindMessage)(kind));
+        facts = { startable: kind === 'main', includable: kind === 'sub' };
+    }
+    else {
+        if (!startable && !includable)
+            throw new usage_error_1.UsageError(exports.NO_DECLARATION_MESSAGE);
+        facts = { startable, includable };
+    }
+    const element = option(params.options, 'element');
+    const description = option(params.options, 'description');
+    return { name, ...facts, ...(element === undefined ? {} : { element }), ...(description === undefined ? {} : { description }) };
+}
+/** The refusal of a manifest the include edit cannot make in place (task-211 design decision 7). */
+function notEditable(edit) {
+    return (0, types_1.coreErr)({ code: 'CONFLICT', message: `workflows.yaml cannot be edited in place: ${edit.reason}` });
+}
+/**
+ * Load the registry `sha` would hold with `overlay` applied; a `spec-003` error is `VALIDATION`, its message
+ * prefixed with `prefix` and every diagnostic in `details`. The load's warnings are dropped: the commit's own
+ * later loads report them.
+ */
+function prospectiveLoad(root, sha, overlay, prefix) {
+    try {
+        (0, warning_1.withWarningSink)(() => { }, () => (0, workflow_registry_1.loadWorkflowRegistryAtRev)(root, sha, overlay));
+        return (0, types_1.coreOk)(undefined);
+    }
+    catch (error) {
+        if (!(error instanceof validation_1.DiagnosticsError))
+            throw error;
+        return (0, types_1.coreErr)({ code: 'VALIDATION', message: `${prefix}: ${error.message}`, details: { diagnostics: error.diagnostics } });
+    }
+}
+/** Commit `changes` as `message` and verify the commit carries exactly them (the post-commit alarm). */
+function commitBoth(root, changes, message) {
+    const sha = (0, storage_1.writeAndCommit)(root, changes, message);
+    const problems = (0, write_guard_1.verifyCommittedPaths)(root, sha, new Map(changes.map((change) => [change.path, change.content])));
+    if (problems.length > 0)
+        return (0, types_1.coreErr)({ code: 'VALIDATION', message: `commit ${sha} carries more than the change it declares: ${problems.join('; ')}` });
+    return (0, types_1.coreOk)(sha);
+}
+/**
+ * `workflow create <name>` (`spec-017` §7.7, BDD P4.8). Refusal order: usage → identity (REQ-SEC-01) →
+ * initialized project → the registry at `HEAD` (a `spec-003` error is `VALIDATION`) → a workflow of that name
+ * loaded at `HEAD` (`CONFLICT`) → confinement → the target on disk (`dl-086`, `CONFLICT`) → the write guard on
+ * the target and on `workflows.yaml` → the in-place manifest edit → the prospective load → the commit.
+ *
+ * @throws `UsageError` (exit 2) for the argument errors; `DiagnosticsError` for a `spec-003` error at `HEAD`.
+ */
+async function workflowCreate(params) {
+    const { root } = params;
+    const workflow = createUsage(params);
+    const identity = (0, git_identity_1.requireGitIdentity)(root);
+    if (!identity.ok)
+        return identity;
+    const initialized = (0, init_1.requireInitializedProject)(root);
+    if (!initialized.ok)
+        return initialized;
+    const sha = (0, revision_1.atHeadOr)(root, () => (0, revision_1.resolveRevision)(root, 'HEAD'), null);
+    if (sha === null)
+        return (0, types_1.coreErr)({ code: 'VALIDATION', message: 'workflow create needs a commit at HEAD: commit the project configuration first' });
+    const registry = (0, workflow_registry_1.loadWorkflowRegistryAtRev)(root, sha);
+    const { name } = workflow;
+    if (registry.workflows.some((loaded) => loaded.name === name))
+        return (0, types_1.coreErr)({ code: 'CONFLICT', message: (0, exports.workflowExistsMessage)(name), details: { name } });
+    const entry = `workflows/custom/${name}.yaml`;
+    const file = `${CONFIG_PREFIX}${entry}`;
+    for (const path of [file, exports.WORKFLOWS_MANIFEST_PATH]) {
+        const confined = (0, confinement_1.requireConfinedWriteTarget)(root, path, 'write');
+        if (!confined.ok)
+            return confined;
+    }
+    // `dl-086`: whether the write would land on an existing file is a question about the filesystem, not `HEAD`.
+    if ((0, storage_1.documentExists)((0, path_1.join)(root, file)))
+        return (0, types_1.coreErr)({ code: 'CONFLICT', message: (0, exports.workflowExistsMessage)(name), details: { name, file } });
+    for (const path of [file, exports.WORKFLOWS_MANIFEST_PATH]) {
+        const unmodified = (0, write_guard_1.requireUnmodifiedTarget)(root, path);
+        if (!unmodified.ok)
+            return unmodified;
+    }
+    const manifestPath = (0, path_1.join)(root, exports.WORKFLOWS_MANIFEST_PATH);
+    const edit = (0, manifest_edit_1.withIncludeAdded)((0, storage_1.documentExists)(manifestPath) ? (0, storage_1.readDocument)(manifestPath) : null, entry);
+    if (!edit.ok)
+        return notEditable(edit);
+    const content = (0, create_1.renderCustomWorkflow)(workflow);
+    const overlay = new Map([
+        [file, content],
+        [exports.WORKFLOWS_MANIFEST_PATH, edit.text],
+    ]);
+    const loads = prospectiveLoad(root, sha, overlay, `workflow '${name}' would not load`);
+    if (!loads.ok)
+        return loads;
+    const message = `wf(workflow): create ${name}`;
+    const committed = commitBoth(root, [{ path: file, content }, { path: exports.WORKFLOWS_MANIFEST_PATH, content: edit.text }], message);
+    if (!committed.ok)
+        return committed;
+    return (0, types_1.coreOk)({ baseline: { rev: 'HEAD', commit: sha }, name, file, startable: workflow.startable, includable: workflow.includable, commit: committed.value }, { sha: committed.value, message });
+}
+/** The workflows whose phases `include:` `name`, ascending — the referrer source under `dl-066` option 1. */
+function includedBy(workflows, name) {
+    return workflows
+        .filter((workflow) => workflow.name !== name && workflow.phases.some((phase) => phase.include === name))
+        .map((workflow) => workflow.name)
+        .sort();
+}
+/**
+ * `workflow remove <ref>` (`spec-017` §7.8, BDD P4.9, REQ-SEC-07). `<ref>` is a workflow name, or an open
+ * instance id standing for its workflow (as `show` resolves it). Refusal order: usage → identity →
+ * initialized project → the registry and the deduction at `HEAD` → `<ref>` (`NOT_FOUND`) → a file under
+ * `workflows/built-in/` (REQ-SEC-07 clause (a), `VALIDATION`) → included by another workflow (clause (b),
+ * `dl-030`; `CONFLICT`, every referrer in `details.referrers`) → an open instance (`CONFLICT`, every id in
+ * `details.instances`; each also a `details.issues` line, which the surfaces print) → confinement → the write guard on the file and on `workflows.yaml` → the in-place
+ * manifest edit → the prospective load → the commit.
+ *
+ * @throws `UsageError` (exit 2) without `<ref>`; `DiagnosticsError` for a `spec-003` error at `HEAD`.
+ */
+async function workflowRemove(params) {
+    const { root, positional: ref } = params;
+    if (ref === undefined || ref.trim() === '')
+        throw new usage_error_1.UsageError((0, registry_1.missingOperandReason)('ref'));
+    const identity = (0, git_identity_1.requireGitIdentity)(root);
+    if (!identity.ok)
+        return identity;
+    const initialized = (0, init_1.requireInitializedProject)(root);
+    if (!initialized.ok)
+        return initialized;
+    const snapshot = (0, workflow_deduction_1.readDeductionSnapshotAtHead)(root);
+    const deduction = (0, deduce_1.deduceWorkflowState)(snapshot);
+    const name = snapshot.workflows.some((workflow) => workflow.name === ref)
+        ? ref
+        : (deduction.instances.find((entry) => entry.instance.id === ref)?.instance.workflow ?? ref);
+    const index = snapshot.workflows.findIndex((workflow) => workflow.name === name);
+    if (index === -1)
+        return (0, types_1.coreErr)({ code: 'NOT_FOUND', message: (0, workflow_list_show_1.unknownWorkflowMessage)(name), details: { ref } });
+    // The registry's workflows are its manifest's files in `include` order, each `.wingfoil/`-prefixed.
+    const file = snapshot.workflowFiles[index];
+    const entry = file.slice(CONFIG_PREFIX.length);
+    const custom = (0, builtin_asset_1.requireCustomAsset)('workflow', entry);
+    if (!custom.ok)
+        return custom;
+    const referrers = includedBy(snapshot.workflows, name);
+    if (referrers.length > 0) {
+        const issues = referrers.map((referrer) => ({ detail: `included by '${referrer}'` }));
+        return (0, types_1.coreErr)({ code: 'CONFLICT', message: `cannot remove '${name}': included by '${referrers[0]}'`, details: { referrers, issues } });
+    }
+    const instances = deduction.instances
+        .filter((open) => open.instance.workflow === name)
+        .map((open) => open.instance.id)
+        .sort();
+    if (instances.length > 0) {
+        const issues = instances.map((id) => ({ detail: `open instance ${id}` }));
+        return (0, types_1.coreErr)({ code: 'CONFLICT', message: `cannot remove '${name}': open instance ${instances[0]}`, details: { instances, issues } });
+    }
+    const confined = (0, confinement_1.requireConfinedTarget)(root, file, 'remove');
+    if (!confined.ok)
+        return confined;
+    const manifestConfined = (0, confinement_1.requireConfinedWriteTarget)(root, exports.WORKFLOWS_MANIFEST_PATH, 'write');
+    if (!manifestConfined.ok)
+        return manifestConfined;
+    for (const path of [file, exports.WORKFLOWS_MANIFEST_PATH]) {
+        const unmodified = (0, write_guard_1.requireUnmodifiedTarget)(root, path);
+        if (!unmodified.ok)
+            return unmodified;
+    }
+    const edit = (0, manifest_edit_1.withIncludeRemoved)((0, storage_1.readDocument)((0, path_1.join)(root, exports.WORKFLOWS_MANIFEST_PATH)), entry);
+    if (!edit.ok)
+        return notEditable(edit);
+    const overlay = new Map([
+        [file, null],
+        [exports.WORKFLOWS_MANIFEST_PATH, edit.text],
+    ]);
+    const loads = prospectiveLoad(root, snapshot.commit, overlay, `cannot remove '${name}': the workflows would not load`);
+    if (!loads.ok)
+        return loads;
+    const message = `wf(workflow): remove ${name}`;
+    const committed = commitBoth(root, [{ path: file, content: null }, { path: exports.WORKFLOWS_MANIFEST_PATH, content: edit.text }], message);
+    if (!committed.ok)
+        return committed;
+    return (0, types_1.coreOk)({ baseline: deduction.baseline, name, file, commit: committed.value }, { sha: committed.value, message });
+}
+/** Whether `value` is a dry run's plan rather than the command's own result (`spec-008` §2). */
+function isDryRunPlan(value) {
+    return typeof value === 'object' && value !== null && value.dryRun === true;
+}
+/** `workflow create`'s `--format console` rendering: the workflow, its file and the commit. Pure. */
+function renderCreateConsole(value) {
+    if (isDryRunPlan(value))
+        return `${JSON.stringify(value, null, 2)}\n`;
+    return `created workflow ${value.name} (${value.file}) in ${value.commit}\n`;
+}
+/** `workflow remove`'s `--format console` rendering: the workflow, its file and the commit. Pure. */
+function renderRemoveConsole(value) {
+    if (isDryRunPlan(value))
+        return `${JSON.stringify(value, null, 2)}\n`;
+    return `removed workflow ${value.name} (${value.file}) in ${value.commit}\n`;
+}
+//# sourceMappingURL=workflow-create-remove.js.map

package/dist/core/workflow-create-remove.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-create-remove.js","sourceRoot":"","sources":["../../src/core/workflow-create-remove.ts"],"names":[],"mappings":";;;AAiKA,wCA6CC;AAqBD,wCAyDC;AAQD,kDAGC;AAGD,kDAGC;AA7SD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,+BAA4B;AAE5B,wCAA0E;AAC1E,8CAAiD;AACjD,mDAAwD;AACxD,+CAA4E;AAC5E,+CAAwE;AACxE,6DAAoG;AACpG,+CAAyF;AAEzF,mDAAqD;AACrD,+CAAkF;AAClF,iDAAoD;AACpD,iCAAmD;AACnD,yCAAkD;AAClD,yCAAuD;AACvD,mCAA2D;AAC3D,+CAA2C;AAC3C,+CAA8E;AAC9E,6DAAmE;AACnE,6DAA8D;AAC9D,2DAAgE;AAEhE,4DAA4D;AAC/C,QAAA,uBAAuB,GAAG,0BAA0B,CAAC;AAElE,yGAAyG;AACzG,MAAM,aAAa,GAAG,YAAY,CAAC;AAEnC,uGAAuG;AAC1F,QAAA,qBAAqB,GAAG,uFAAuF,CAAC;AAE7H,2GAA2G;AAC9F,QAAA,sBAAsB,GAAG,gEAAgE,CAAC;AAEvG,qEAAqE;AAC9D,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,4BAA4B,IAAI,EAAE,CAAC;AAArF,QAAA,qBAAqB,yBAAgE;AAmClG,mFAAmF;AACnF,SAAS,MAAM,CAAC,OAAwC,EAAE,IAAY;IACpE,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACvD,CAAC;AAED;;;GAGG;AACH,SAAS,WAAW,CAAC,MAA4B;IAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC;IAC/B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,MAAM,IAAI,wBAAU,CAAC,IAAA,+BAAoB,EAAC,MAAM,CAAC,CAAC,CAAC;IACjG,IAAI,CAAC,yBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,wBAAU,CAAC,0BAA0B,IAAI,8BAA8B,CAAC,CAAC;IACrH,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,KAAK,IAAI,CAAC;IAC5C,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC;IAC9C,IAAI,KAAkD,CAAC;IACvD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,SAAS,IAAI,UAAU;YAAE,MAAM,IAAI,wBAAU,CAAC,6BAAqB,CAAC,CAAC;QACzE,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,KAAK;YAAE,MAAM,IAAI,wBAAU,CAAC,IAAA,2BAAkB,EAAC,IAAI,CAAC,CAAC,CAAC;QACtF,KAAK,GAAG,EAAE,SAAS,EAAE,IAAI,KAAK,MAAM,EAAE,UAAU,EAAE,IAAI,KAAK,KAAK,EAAE,CAAC;IACrE,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,SAAS,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,wBAAU,CAAC,8BAAsB,CAAC,CAAC;QAC5E,KAAK,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC;IACpC,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAC1D,OAAO,EAAE,IAAI,EAAE,GAAG,KAAK,EAAE,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC;AAClI,CAAC;AAED,oGAAoG;AACpG,SAAS,WAAW,CAAC,IAA0C;IAC7D,OAAO,IAAA,eAAO,EAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,6CAA6C,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AAC5G,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,IAAY,EAAE,GAAW,EAAE,OAA2C,EAAE,MAAc;IAC7G,IAAI,CAAC;QACH,IAAA,yBAAe,EACb,GAAG,EAAE,GAAE,CAAC,EACR,GAAG,EAAE,CAAC,IAAA,6CAAyB,EAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CACpD,CAAC;QACF,OAAO,IAAA,cAAM,EAAC,SAAS,CAAC,CAAC;IAC3B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,CAAC,KAAK,YAAY,6BAAgB,CAAC;YAAE,MAAM,KAAK,CAAC;QACtD,OAAO,IAAA,eAAO,EAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,MAAM,KAAK,KAAK,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAC9H,CAAC;AACH,CAAC;AAED,wGAAwG;AACxG,SAAS,UAAU,CAAC,IAAY,EAAE,OAA4D,EAAE,OAAe;IAC7G,MAAM,GAAG,GAAG,IAAA,wBAAc,EAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,IAAA,kCAAoB,EAAC,IAAI,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAClH,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAA,eAAO,EAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,GAAG,8CAA8C,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3J,OAAO,IAAA,cAAM,EAAC,GAAG,CAAC,CAAC;AACrB,CAAC;AAED;;;;;;;GAOG;AACI,KAAK,UAAU,cAAc,CAAC,MAA4B;IAC/D,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;IACxB,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,IAAA,iCAAkB,EAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,CAAC,QAAQ,CAAC,EAAE;QAAE,OAAO,QAAQ,CAAC;IAClC,MAAM,WAAW,GAAG,IAAA,gCAAyB,EAAC,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,WAAW,CAAC,EAAE;QAAE,OAAO,WAAW,CAAC;IAExC,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,IAAA,eAAO,EAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,gFAAgF,EAAE,CAAC,CAAC;IACpJ,MAAM,QAAQ,GAAG,IAAA,6CAAyB,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtD,MAAM,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC;IAC1B,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,IAAA,eAAO,EAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,IAAA,6BAAqB,EAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IAE7J,MAAM,KAAK,GAAG,oBAAoB,IAAI,OAAO,CAAC;IAC9C,MAAM,IAAI,GAAG,GAAG,aAAa,GAAG,KAAK,EAAE,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,+BAAuB,CAAC,EAAE,CAAC;QACnD,MAAM,QAAQ,GAAG,IAAA,wCAA0B,EAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACjE,IAAI,CAAC,QAAQ,CAAC,EAAE;YAAE,OAAO,QAAQ,CAAC;IACpC,CAAC;IACD,6GAA6G;IAC7G,IAAI,IAAA,wBAAc,EAAC,IAAA,WAAI,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAAE,OAAO,IAAA,eAAO,EAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,IAAA,6BAAqB,EAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IAC1I,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,+BAAuB,CAAC,EAAE,CAAC;QACnD,MAAM,UAAU,GAAG,IAAA,qCAAuB,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvD,IAAI,CAAC,UAAU,CAAC,EAAE;YAAE,OAAO,UAAU,CAAC;IACxC,CAAC;IAED,MAAM,YAAY,GAAG,IAAA,WAAI,EAAC,IAAI,EAAE,+BAAuB,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,IAAA,gCAAgB,EAAC,IAAA,wBAAc,EAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAA,sBAAY,EAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACvG,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,IAAA,6BAAoB,EAAC,QAAQ,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAwB;QAC7C,CAAC,IAAI,EAAE,OAAO,CAAC;QACf,CAAC,+BAAuB,EAAE,IAAI,CAAC,IAAI,CAAC;KACrC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,aAAa,IAAI,kBAAkB,CAAC,CAAC;IACvF,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC;IAE5B,MAAM,OAAO,GAAG,wBAAwB,IAAI,EAAE,CAAC;IAC/C,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,+BAAuB,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9H,IAAI,CAAC,SAAS,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC;IACpC,OAAO,IAAA,cAAM,EACX,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,CAAC,KAAK,EAAE,EAC/I,EAAE,GAAG,EAAE,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,CAClC,CAAC;AACJ,CAAC;AAED,6GAA6G;AAC7G,SAAS,UAAU,CAAC,SAA8B,EAAE,IAAY;IAC9D,OAAO,SAAS;SACb,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;SACvG,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;SAChC,IAAI,EAAE,CAAC;AACZ,CAAC;AAED;;;;;;;;;;GAUG;AACI,KAAK,UAAU,cAAc,CAAC,MAA4B;IAC/D,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC;IACzC,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,MAAM,IAAI,wBAAU,CAAC,IAAA,+BAAoB,EAAC,KAAK,CAAC,CAAC,CAAC;IAC9F,MAAM,QAAQ,GAAG,IAAA,iCAAkB,EAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,CAAC,QAAQ,CAAC,EAAE;QAAE,OAAO,QAAQ,CAAC;IAClC,MAAM,WAAW,GAAG,IAAA,gCAAyB,EAAC,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,WAAW,CAAC,EAAE;QAAE,OAAO,WAAW,CAAC;IAExC,MAAM,QAAQ,GAAG,IAAA,gDAA2B,EAAC,IAAI,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,IAAA,4BAAmB,EAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,GAAG,CAAC;QACvE,CAAC,CAAC,GAAG;QACL,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,QAAQ,CAAC,QAAQ,IAAI,GAAG,CAAC,CAAC;IAC/F,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACjF,IAAI,KAAK,KAAK,CAAC,CAAC;QAAE,OAAO,IAAA,eAAO,EAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,IAAA,2CAAsB,EAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IACjH,oGAAoG;IACpG,MAAM,IAAI,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAE,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IAE/C,MAAM,MAAM,GAAG,IAAA,kCAAkB,EAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACrD,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC;IAC9B,MAAM,SAAS,GAAG,UAAU,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IACvD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,gBAAgB,QAAQ,GAAG,EAAE,CAAC,CAAC,CAAC;QACtF,OAAO,IAAA,eAAO,EAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,kBAAkB,IAAI,mBAAmB,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IAC1I,CAAC;IACD,MAAM,SAAS,GAAG,SAAS,CAAC,SAAS;SAClC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,IAAI,CAAC;SACjD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;SAC/B,IAAI,EAAE,CAAC;IACV,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,iBAAiB,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC1E,OAAO,IAAA,eAAO,EAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,kBAAkB,IAAI,oBAAoB,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IAC1I,CAAC;IAED,MAAM,QAAQ,GAAG,IAAA,mCAAqB,EAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC7D,IAAI,CAAC,QAAQ,CAAC,EAAE;QAAE,OAAO,QAAQ,CAAC;IAClC,MAAM,gBAAgB,GAAG,IAAA,wCAA0B,EAAC,IAAI,EAAE,+BAAuB,EAAE,OAAO,CAAC,CAAC;IAC5F,IAAI,CAAC,gBAAgB,CAAC,EAAE;QAAE,OAAO,gBAAgB,CAAC;IAClD,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,+BAAuB,CAAC,EAAE,CAAC;QACnD,MAAM,UAAU,GAAG,IAAA,qCAAuB,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvD,IAAI,CAAC,UAAU,CAAC,EAAE;YAAE,OAAO,UAAU,CAAC;IACxC,CAAC;IAED,MAAM,IAAI,GAAG,IAAA,kCAAkB,EAAC,IAAA,sBAAY,EAAC,IAAA,WAAI,EAAC,IAAI,EAAE,+BAAuB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC1F,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAwB;QAC7C,CAAC,IAAI,EAAE,IAAI,CAAC;QACZ,CAAC,+BAAuB,EAAE,IAAI,CAAC,IAAI,CAAC;KACrC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,kBAAkB,IAAI,iCAAiC,CAAC,CAAC;IACvH,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC;IAE5B,MAAM,OAAO,GAAG,wBAAwB,IAAI,EAAE,CAAC;IAC/C,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,+BAAuB,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;IACpI,IAAI,CAAC,SAAS,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC;IACpC,OAAO,IAAA,cAAM,EAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;AAC1H,CAAC;AAED,gGAAgG;AAChG,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAK,KAA8B,CAAC,MAAM,KAAK,IAAI,CAAC;AACxG,CAAC;AAED,qGAAqG;AACrG,SAAgB,mBAAmB,CAAC,KAAmB;IACrD,IAAI,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;IACtE,OAAO,oBAAoB,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,MAAM,IAAI,CAAC;AAC/E,CAAC;AAED,qGAAqG;AACrG,SAAgB,mBAAmB,CAAC,KAAmB;IACrD,IAAI,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;IACtE,OAAO,oBAAoB,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,MAAM,IAAI,CAAC;AAC/E,CAAC"}

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

@@ -0,0 +1,48 @@
+import { type MemoryDocumentSummary } from '../memory/query';
+import { type Deduction, type DeductionSnapshot, type InstanceDeduction } from '../workflow/deduce';
+import { type CoreResult } from './types';
+/**
+ * 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.
+ */
+export declare function readDirtyRunLogs(root: string, dir: string): string[];
+/**
+ * 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.
+ */
+export declare function readDirtyPaths(root: string, specs: readonly string[]): string[];
+/**
+ * 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`).
+ */
+export declare function instancePlanIds(documents: readonly MemoryDocumentSummary[]): string[];
+/**
+ * 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.
+ */
+export declare function readDeductionSnapshotAtHead(root: string): DeductionSnapshot;
+/**
+ * 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}.
+ */
+export declare function deduceWorkflowStateAtHead(root: string): Deduction;
+/**
+ * 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).
+ */
+export declare function selectWorkflowInstance(deduction: Deduction, ref?: string): CoreResult<InstanceDeduction | null>;
+//# sourceMappingURL=workflow-deduction.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-deduction.d.ts","sourceRoot":"","sources":["../../src/core/workflow-deduction.ts"],"names":[],"mappings":"AA+BA,OAAO,EAA0D,KAAK,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAKrH,OAAO,EAKL,KAAK,SAAS,EACd,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EAQvB,MAAM,oBAAoB,CAAC;AAM5B,OAAO,EAAmB,KAAK,UAAU,EAAE,MAAM,SAAS,CAAC;AAiV3D;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAGpE;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAQ/E;AAsED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,SAAS,EAAE,SAAS,qBAAqB,EAAE,GAAG,MAAM,EAAE,CAKrF;AAED;;;;;;GAMG;AACH,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,CA0C3E;AAED;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAEjE;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,MAAM,GAAG,UAAU,CAAC,iBAAiB,GAAG,IAAI,CAAC,CAI/G"}