@sluice-dev/plugin-campaign 0.0.0-stage → 0.1.0

package/LICENSE

@@ -0,0 +1,201 @@
+                                Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "{}"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/dist/campaign.d.ts

@@ -0,0 +1,103 @@
+import { type RuleLanguage } from '@sluice-dev/policy';
+import { type RunInContainerOptions } from '@sluice-dev/sandbox';
+import { type Codemod } from './codemod.js';
+export type Evidence = {
+    tests: string;
+    scope?: 'repo' | 'all';
+} | {
+    rule: {
+        language: RuleLanguage;
+        pattern: string;
+        expect: 'none';
+    };
+};
+export interface StepDef {
+    id: string;
+    title?: string;
+    repos: string[];
+    destructive?: boolean;
+    apply: {
+        copy: string;
+    } | {
+        codemod: Codemod;
+    } | {
+        command: string;
+    };
+    evidence: Evidence[];
+    /** Dependency prepare for this step's `tests` evidence (overrides the repo/campaign setting). */
+    prepare?: Prepare;
+}
+/**
+ * Dependency prepare before offline `tests` evidence: a command run in the
+ * repo directory with network at image build time (only dependency manifests
+ * are present), `true` for the toolchain default, `false` for none. Omitted:
+ * the toolchain default when the repo needs one (Go modules, .NET projects);
+ * none for Node.
+ */
+export type Prepare = string | boolean;
+export interface RepoDef {
+    name: string;
+    path: string;
+    /** Evidence image for this repo (default: campaign `evidenceImage`, else the detected toolchain's). */
+    image?: string;
+    prepare?: Prepare;
+}
+export interface CampaignDef {
+    id: string;
+    title: string;
+    repos: RepoDef[];
+    steps: StepDef[];
+    /** Image for `tests` evidence; default per repo from its detected toolchain (node/golang/dotnet sdk). */
+    evidenceImage?: string;
+    prepare?: Prepare;
+}
+export type StepStatus = 'pending' | 'passed' | 'failed' | 'rolled_back' | 'blocked';
+export interface EvidenceResult {
+    kind: 'tests' | 'rule';
+    repo: string;
+    passed: boolean;
+    detail: string;
+}
+export interface StepRun {
+    status: StepStatus;
+    before?: string;
+    after?: string;
+    changed: string[];
+    evidence: EvidenceResult[];
+    reason?: string;
+}
+export interface CampaignState {
+    id: string;
+    status: 'running' | 'completed' | 'failed' | 'blocked';
+    reason?: string;
+    branch: string;
+    repos: Record<string, {
+        baseSha: string;
+    }>;
+    steps: Record<string, Record<string, StepRun>>;
+    log: string[];
+}
+export interface LoadedCampaign {
+    file: string;
+    dir: string;
+    def: CampaignDef;
+    stateFile: string;
+    repoPath(name: string): string;
+}
+export declare function validateCampaign(raw: unknown, source?: string): CampaignDef;
+export declare function loadCampaign(file: string): LoadedCampaign;
+export declare function readState(c: LoadedCampaign): CampaignState | undefined;
+/** Image and prepare step for `tests` evidence in repo `name` of a composed workspace. */
+export declare function evidenceEnv(c: LoadedCampaign, step: Pick<StepDef, 'prepare'>, ws: string, name: string): {
+    image: string;
+    options: RunInContainerOptions;
+};
+export interface RunOptions {
+    log?: (m: string) => void;
+    /** Stop after this step (inclusive). */
+    until?: string;
+}
+export declare function runCampaign(c: LoadedCampaign, o?: RunOptions): Promise<CampaignState>;
+/** Manually roll back a passed step in one repo (and invalidate every later step there). */
+export declare function rollbackStep(c: LoadedCampaign, stepId: string, repo: string): Promise<CampaignState>;
+export declare function renderStatus(c: LoadedCampaign, s: CampaignState | undefined): string;

package/dist/campaign.js

@@ -0,0 +1,324 @@
+/**
+ * Multi-repo migration campaigns: an ordered list of steps, each applied to a
+ * set of repositories on a `campaign/<id>` branch and gated by evidence
+ * (tests in no-network containers against the *current* state of every repo,
+ * structural rule checks). A failing step is rolled back and halts the
+ * campaign; a `destructive` step runs only when every earlier step has passed
+ * for every repository. State is persisted so campaigns resume.
+ */
+import { execFile } from 'node:child_process';
+import { cpSync, existsSync, mkdirSync, mkdtempSync, readFileSync, writeFileSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { dirname, join, resolve } from 'node:path';
+import { parse as parseYaml } from 'yaml';
+import { defaultPrepare, detectToolchain, inRoot, isDependencyManifest } from '@sluice-dev/lang';
+import { scanTree, validateRule } from '@sluice-dev/policy';
+import { git, runInContainer } from '@sluice-dev/sandbox';
+import { applyCodemod } from './codemod.js';
+export function validateCampaign(raw, source = 'campaign') {
+    const c = raw;
+    if (!c?.id || !/^[a-z0-9][a-z0-9-]*$/.test(c.id))
+        throw new Error(`${source}: id required (kebab-case)`);
+    if (!Array.isArray(c.repos) || !c.repos.length)
+        throw new Error(`${source}: repos required`);
+    const names = new Set(c.repos.map((r) => r.name));
+    if (names.size !== c.repos.length)
+        throw new Error(`${source}: duplicate repo names`);
+    if (!Array.isArray(c.steps) || !c.steps.length)
+        throw new Error(`${source}: steps required`);
+    const prepareOk = (v) => v === undefined || typeof v === 'string' || typeof v === 'boolean';
+    if (!prepareOk(c.prepare))
+        throw new Error(`${source}: prepare must be a command or true/false`);
+    for (const r of c.repos)
+        if (!prepareOk(r.prepare))
+            throw new Error(`${source}: repo ${r.name} prepare must be a command or true/false`);
+    const ids = new Set();
+    for (const s of c.steps) {
+        if (!s.id || ids.has(s.id))
+            throw new Error(`${source}: step ids must be unique (${s.id})`);
+        ids.add(s.id);
+        for (const r of s.repos ?? [])
+            if (!names.has(r))
+                throw new Error(`${source}: step ${s.id} targets unknown repo ${r}`);
+        if (!s.repos?.length)
+            throw new Error(`${source}: step ${s.id} needs repos`);
+        if (!prepareOk(s.prepare))
+            throw new Error(`${source}: step ${s.id} prepare must be a command or true/false`);
+        const kinds = ['copy', 'codemod', 'command'].filter((k) => k in (s.apply ?? {}));
+        if (kinds.length !== 1)
+            throw new Error(`${source}: step ${s.id} apply needs exactly one of copy/codemod/command`);
+        if (!Array.isArray(s.evidence) || !s.evidence.length)
+            throw new Error(`${source}: step ${s.id} has no evidence — every step must be evidence-gated`);
+        for (const e of s.evidence)
+            if ('rule' in e)
+                validateRule({ id: 'campaign-rule', message: 'm', severity: 'error', language: e.rule.language, pattern: e.rule.pattern }, `${source}: step ${s.id}`);
+    }
+    return c;
+}
+export function loadCampaign(file) {
+    const abs = resolve(file);
+    const dir = dirname(abs);
+    const def = validateCampaign(parseYaml(readFileSync(abs, 'utf8')), abs);
+    return {
+        file: abs,
+        dir,
+        def,
+        stateFile: join(dir, '.sluice', 'campaigns', `${def.id}.json`),
+        repoPath: (name) => resolve(dir, def.repos.find((r) => r.name === name).path),
+    };
+}
+export function readState(c) {
+    return existsSync(c.stateFile) ? JSON.parse(readFileSync(c.stateFile, 'utf8')) : undefined;
+}
+function saveState(c, s) {
+    mkdirSync(dirname(c.stateFile), { recursive: true });
+    writeFileSync(c.stateFile, JSON.stringify(s, null, 2) + '\n');
+}
+const gitc = (repo, ...args) => git(['-c', 'user.email=campaign@sluice.dev', '-c', 'user.name=sluice-campaign', '-c', 'commit.gpgsign=false', ...args], repo);
+function shell(cmd, cwd) {
+    return new Promise((r) => execFile('sh', ['-c', cmd], { cwd, maxBuffer: 16 * 1024 * 1024 }, (e, so, se) => r({ code: e ? 1 : 0, output: String(so) + String(se) })));
+}
+/** Snapshot every repo's campaign branch side by side (consumers import siblings by relative path). */
+async function composeWorkspace(c) {
+    const ws = mkdtempSync(join(tmpdir(), 'sluice-campaign-'));
+    for (const r of c.def.repos) {
+        const target = join(ws, r.name);
+        mkdirSync(target, { recursive: true });
+        const tar = await new Promise((res, rej) => execFile('git', ['archive', '--format=tar', 'HEAD'], { cwd: c.repoPath(r.name), encoding: 'buffer', maxBuffer: 256 * 1024 * 1024 }, (e, out) => (e ? rej(e) : res(out))));
+        await new Promise((res, rej) => {
+            const t = execFile('tar', ['-x', '-C', target], (e) => (e ? rej(e) : res()));
+            t.stdin.end(tar);
+        });
+    }
+    return ws;
+}
+async function gather(c, step, repo, log) {
+    const out = [];
+    for (const e of step.evidence) {
+        if ('tests' in e) {
+            const targets = e.scope === 'all' ? c.def.repos.map((r) => r.name) : [repo];
+            const ws = await composeWorkspace(c);
+            for (const t of targets) {
+                const env = evidenceEnv(c, step, ws, t);
+                const r = await runInContainer(ws, `cd ${t} && ${e.tests}`, env.image, 300, env.options);
+                out.push({
+                    kind: 'tests',
+                    repo: t,
+                    passed: r.passed,
+                    detail: r.passed ? `${e.tests}: pass` : `${e.tests}: exit ${r.exitCode}\n${r.outputTail}`,
+                });
+                log(`    evidence tests ${t}: ${r.passed ? 'pass' : 'FAIL'}`);
+            }
+        }
+        else {
+            const findings = scanTree([
+                {
+                    id: 'campaign-rule',
+                    message: 'campaign invariant',
+                    severity: 'error',
+                    language: e.rule.language,
+                    pattern: e.rule.pattern,
+                },
+            ], c.repoPath(repo));
+            const passed = findings.length === 0;
+            out.push({
+                kind: 'rule',
+                repo,
+                passed,
+                detail: passed ? `no ${e.rule.pattern}` : findings.map((f) => `${f.file}:${f.line} ${f.text}`).join('\n'),
+            });
+            log(`    evidence rule ${e.rule.pattern} in ${repo}: ${passed ? 'clean' : `${findings.length} left`}`);
+        }
+    }
+    return out;
+}
+/** Image and prepare step for `tests` evidence in repo `name` of a composed workspace. */
+export function evidenceEnv(c, step, ws, name) {
+    const repo = c.def.repos.find((r) => r.name === name);
+    const toolchain = detectToolchain(join(ws, name));
+    const image = repo.image ?? c.def.evidenceImage ?? toolchain?.image ?? 'node:22-alpine';
+    const setting = step.prepare ?? repo.prepare ?? c.def.prepare;
+    let command;
+    if (typeof setting === 'string')
+        command = setting;
+    else if (setting === true) {
+        if (!toolchain)
+            throw new Error(`prepare: true but no toolchain detected in repo ${name}`);
+        command = inRoot(toolchain.root, toolchain.prepareCommand);
+    }
+    else if (setting === undefined) {
+        // the default runs at the repo's detected project root (e.g. backend/go.mod)
+        const p = defaultPrepare(toolchain, join(ws, name, toolchain?.root ?? '.'));
+        command = p && inRoot(toolchain.root, p);
+    }
+    const env = toolchain && Object.keys(toolchain.env).length ? toolchain.env : undefined;
+    return {
+        image,
+        options: {
+            env,
+            prepare: command ? { command: inRoot(name, command), manifest: isDependencyManifest, env } : undefined,
+        },
+    };
+}
+async function apply(c, step, repo) {
+    const dir = c.repoPath(repo);
+    if ('copy' in step.apply)
+        cpSync(resolve(c.dir, step.apply.copy), dir, { recursive: true });
+    else if ('codemod' in step.apply)
+        applyCodemod(dir, step.apply.codemod);
+    else {
+        const r = await shell(step.apply.command, dir);
+        if (r.code !== 0)
+            throw new Error(`apply command failed: ${r.output.slice(-2000)}`);
+    }
+    return (await git(['status', '--porcelain'], dir))
+        .split('\n')
+        .filter(Boolean)
+        .map((l) => l.slice(3))
+        .sort();
+}
+export async function runCampaign(c, o = {}) {
+    const log = (m) => {
+        state.log.push(m);
+        o.log?.(m);
+    };
+    const branch = `campaign/${c.def.id}`;
+    const state = readState(c) ?? {
+        id: c.def.id,
+        status: 'running',
+        branch,
+        repos: {},
+        steps: {},
+        log: [],
+    };
+    if (state.status === 'completed')
+        return state;
+    state.status = 'running';
+    delete state.reason;
+    for (const r of c.def.repos) {
+        const dir = c.repoPath(r.name);
+        if (!existsSync(join(dir, '.git')))
+            throw new Error(`repo ${r.name} (${dir}) is not a git repository`);
+        const dirty = (await git(['status', '--porcelain'], dir)).trim();
+        if (dirty)
+            throw new Error(`repo ${r.name} has uncommitted changes`);
+        const branches = (await git(['branch', '--list', branch], dir)).trim();
+        if (!branches) {
+            state.repos[r.name] = { baseSha: (await git(['rev-parse', 'HEAD'], dir)).trim() };
+            await git(['checkout', '-q', '-b', branch], dir);
+        }
+        else
+            await git(['checkout', '-q', branch], dir);
+    }
+    try {
+        for (const step of c.def.steps) {
+            const runs = (state.steps[step.id] ??= {});
+            if (step.destructive) {
+                const earlier = c.def.steps.slice(0, c.def.steps.indexOf(step));
+                const unmet = earlier.flatMap((s) => s.repos.filter((r) => state.steps[s.id]?.[r]?.status !== 'passed').map((r) => `${r}/${s.id}`));
+                if (unmet.length) {
+                    state.status = 'blocked';
+                    state.reason = `destructive step ${step.id} blocked: ${unmet.join(', ')} not passed with evidence`;
+                    for (const r of step.repos)
+                        runs[r] = { status: 'blocked', changed: [], evidence: [], reason: state.reason };
+                    log(state.reason);
+                    return state;
+                }
+            }
+            for (const repo of step.repos) {
+                if (runs[repo]?.status === 'passed')
+                    continue;
+                const dir = c.repoPath(repo);
+                const before = (await git(['rev-parse', 'HEAD'], dir)).trim();
+                log(`${step.id} @ ${repo}${step.destructive ? ' (destructive)' : ''}`);
+                let changed = [];
+                let evidence = [];
+                let error;
+                try {
+                    changed = await apply(c, step, repo);
+                    if (changed.length) {
+                        await gitc(dir, 'add', '-A');
+                        await gitc(dir, 'commit', '-qm', `campaign ${c.def.id}: ${step.id}${step.title ? ` — ${step.title}` : ''}`);
+                    }
+                    evidence = await gather(c, step, repo, log);
+                }
+                catch (e) {
+                    error = e.message;
+                }
+                const failed = error ??
+                    evidence.filter((e) => !e.passed).map((e) => `${e.kind} in ${e.repo}: ${e.detail.split('\n')[0]}`)[0];
+                if (failed) {
+                    // Roll this step back in this repo; the campaign halts here.
+                    await git(['reset', '-q', '--hard', before], dir);
+                    await git(['clean', '-qfd'], dir);
+                    runs[repo] = { status: 'rolled_back', before, changed, evidence, reason: failed };
+                    state.status = 'failed';
+                    state.reason = `${step.id} failed in ${repo}: ${failed} (rolled back)`;
+                    log(state.reason);
+                    // Every later destructive step is explicitly blocked by this failure.
+                    for (const later of c.def.steps.slice(c.def.steps.indexOf(step) + 1).filter((x) => x.destructive)) {
+                        const lr = (state.steps[later.id] ??= {});
+                        for (const r of later.repos)
+                            lr[r] = {
+                                status: 'blocked',
+                                changed: [],
+                                evidence: [],
+                                reason: `blocked: ${repo}/${step.id} did not pass`,
+                            };
+                        log(`${later.id} (destructive) blocked: ${repo}/${step.id} did not pass`);
+                    }
+                    return state;
+                }
+                runs[repo] = {
+                    status: 'passed',
+                    before,
+                    after: (await git(['rev-parse', 'HEAD'], dir)).trim(),
+                    changed,
+                    evidence,
+                };
+                log(`  passed (${changed.length} file(s) changed)`);
+            }
+            if (o.until === step.id)
+                return state;
+        }
+        state.status = 'completed';
+        log(`campaign ${c.def.id} completed`);
+        return state;
+    }
+    finally {
+        saveState(c, state);
+    }
+}
+/** Manually roll back a passed step in one repo (and invalidate every later step there). */
+export async function rollbackStep(c, stepId, repo) {
+    const state = readState(c);
+    if (!state)
+        throw new Error('campaign has not run');
+    const run = state.steps[stepId]?.[repo];
+    if (!run?.before)
+        throw new Error(`step ${stepId} has not run in ${repo}`);
+    const dir = c.repoPath(repo);
+    await git(['checkout', '-q', state.branch], dir);
+    await git(['reset', '-q', '--hard', run.before], dir);
+    const idx = c.def.steps.findIndex((s) => s.id === stepId);
+    for (const s of c.def.steps.slice(idx))
+        if (state.steps[s.id]?.[repo])
+            state.steps[s.id][repo] = {
+                ...state.steps[s.id][repo],
+                status: 'rolled_back',
+                reason: `manual rollback of ${stepId}`,
+            };
+    state.status = 'running';
+    state.log.push(`rolled back ${stepId} in ${repo} to ${run.before.slice(0, 8)}`);
+    saveState(c, state);
+    return state;
+}
+export function renderStatus(c, s) {
+    const lines = [`campaign ${c.def.id}: ${s?.status ?? 'not started'}${s?.reason ? ` — ${s.reason}` : ''}`];
+    for (const step of c.def.steps) {
+        const cells = step.repos.map((r) => `${r}=${s?.steps[step.id]?.[r]?.status ?? 'pending'}`);
+        lines.push(`  ${step.id}${step.destructive ? ' (destructive)' : ''}: ${cells.join('  ')}`);
+    }
+    return lines.join('\n') + '\n';
+}
+//# sourceMappingURL=campaign.js.map

package/dist/campaign.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"campaign.js","sourceRoot":"","sources":["../src/campaign.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAClG,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AACjG,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAqB,MAAM,oBAAoB,CAAC;AAC/E,OAAO,EAAE,GAAG,EAAE,cAAc,EAA8B,MAAM,qBAAqB,CAAC;AACtF,OAAO,EAAE,YAAY,EAAgB,MAAM,cAAc,CAAC;AA+E1D,MAAM,UAAU,gBAAgB,CAAC,GAAY,EAAE,MAAM,GAAG,UAAU;IAChE,MAAM,CAAC,GAAG,GAAkB,CAAC;IAC7B,IAAI,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,4BAA4B,CAAC,CAAC;IACzG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,kBAAkB,CAAC,CAAC;IAC7F,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAClD,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,wBAAwB,CAAC,CAAC;IACtF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,kBAAkB,CAAC,CAAC;IAC7F,MAAM,SAAS,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS,CAAC;IACrG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,2CAA2C,CAAC,CAAC;IACjG,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;QACrB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,UAAU,CAAC,CAAC,IAAI,0CAA0C,CAAC,CAAC;IAClH,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,8BAA8B,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC5F,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACd,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE;YAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,UAAU,CAAC,CAAC,EAAE,yBAAyB,CAAC,EAAE,CAAC,CAAC;QAC1F,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,UAAU,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;QAC7E,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,UAAU,CAAC,CAAC,EAAE,0CAA0C,CAAC,CAAC;QAC9G,MAAM,KAAK,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;QACjF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,UAAU,CAAC,CAAC,EAAE,kDAAkD,CAAC,CAAC;QACnH,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM;YAClD,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,UAAU,CAAC,CAAC,EAAE,sDAAsD,CAAC,CAAC;QACjG,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;YACxB,IAAI,MAAM,IAAI,CAAC;gBACb,YAAY,CACV,EAAE,EAAE,EAAE,eAAe,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,EAC5G,GAAG,MAAM,UAAU,CAAC,CAAC,EAAE,EAAE,CAC1B,CAAC;IACR,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IACzB,MAAM,GAAG,GAAG,gBAAgB,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACxE,OAAO;QACL,IAAI,EAAE,GAAG;QACT,GAAG;QACH,GAAG;QACH,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,GAAG,CAAC,EAAE,OAAO,CAAC;QAC9D,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAE,CAAC,IAAI,CAAC;KAC/E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,CAAiB;IACzC,OAAO,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAmB,CAAC,CAAC,CAAC,SAAS,CAAC;AAChH,CAAC;AAED,SAAS,SAAS,CAAC,CAAiB,EAAE,CAAgB;IACpD,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACrD,aAAa,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;AAChE,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,GAAG,IAAc,EAAE,EAAE,CAC/C,GAAG,CACD,CAAC,IAAI,EAAE,gCAAgC,EAAE,IAAI,EAAE,2BAA2B,EAAE,IAAI,EAAE,sBAAsB,EAAE,GAAG,IAAI,CAAC,EAClH,IAAI,CACL,CAAC;AAEJ,SAAS,KAAK,CAAC,GAAW,EAAE,GAAW;IACrC,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CACvB,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAC9E,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CACxD,CACF,CAAC;AACJ,CAAC;AAED,uGAAuG;AACvG,KAAK,UAAU,gBAAgB,CAAC,CAAiB;IAC/C,MAAM,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC;IAC3D,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAChC,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,MAAM,IAAI,OAAO,CAAS,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CACjD,QAAQ,CACN,KAAK,EACL,CAAC,SAAS,EAAE,cAAc,EAAE,MAAM,CAAC,EACnC,EAAE,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,GAAG,IAAI,GAAG,IAAI,EAAE,EAC7E,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CACpC,CACF,CAAC;QACF,MAAM,IAAI,OAAO,CAAO,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;YACnC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC7E,CAAC,CAAC,KAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,KAAK,UAAU,MAAM,CACnB,CAAiB,EACjB,IAAa,EACb,IAAY,EACZ,GAAwB;IAExB,MAAM,GAAG,GAAqB,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;YACjB,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5E,MAAM,EAAE,GAAG,MAAM,gBAAgB,CAAC,CAAC,CAAC,CAAC;YACrC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;gBACxC,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;gBACzF,GAAG,CAAC,IAAI,CAAC;oBACP,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,CAAC;oBACP,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,UAAU,EAAE;iBAC1F,CAAC,CAAC;gBACH,GAAG,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YAChE,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,QAAQ,GAAG,QAAQ,CACvB;gBACE;oBACE,EAAE,EAAE,eAAe;oBACnB,OAAO,EAAE,oBAAoB;oBAC7B,QAAQ,EAAE,OAAO;oBACjB,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ;oBACzB,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO;iBACxB;aACF,EACD,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CACjB,CAAC;YACF,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC;YACrC,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI,EAAE,MAAM;gBACZ,IAAI;gBACJ,MAAM;gBACN,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;aAC1G,CAAC,CAAC;YACH,GAAG,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,OAAO,OAAO,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,OAAO,EAAE,CAAC,CAAC;QACzG,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,WAAW,CACzB,CAAiB,EACjB,IAA8B,EAC9B,EAAU,EACV,IAAY;IAEZ,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAE,CAAC;IACvD,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,aAAa,IAAI,SAAS,EAAE,KAAK,IAAI,gBAAgB,CAAC;IACxF,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC;IAC9D,IAAI,OAA2B,CAAC;IAChC,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,OAAO,GAAG,OAAO,CAAC;SAC9C,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QAC1B,IAAI,CAAC,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,mDAAmD,IAAI,EAAE,CAAC,CAAC;QAC3F,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC;IAC7D,CAAC;SAAM,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACjC,6EAA6E;QAC7E,MAAM,CAAC,GAAG,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC;QAC5E,OAAO,GAAG,CAAC,IAAI,MAAM,CAAC,SAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,MAAM,GAAG,GAAG,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;IACvF,OAAO;QACL,KAAK;QACL,OAAO,EAAE;YACP,GAAG;YACH,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS;SACvG;KACF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,KAAK,CAAC,CAAiB,EAAE,IAAa,EAAE,IAAY;IACjE,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,MAAM,IAAI,IAAI,CAAC,KAAK;QAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;SACvF,IAAI,SAAS,IAAI,IAAI,CAAC,KAAK;QAAE,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;SACnE,CAAC;QACJ,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC/C,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,CAAC;SAC/C,KAAK,CAAC,IAAI,CAAC;SACX,MAAM,CAAC,OAAO,CAAC;SACf,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;SACtB,IAAI,EAAE,CAAC;AACZ,CAAC;AAQD,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,CAAiB,EAAE,IAAgB,EAAE;IACrE,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE;QACxB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IACb,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;IACtC,MAAM,KAAK,GAAkB,SAAS,CAAC,CAAC,CAAC,IAAI;QAC3C,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE;QACZ,MAAM,EAAE,SAAS;QACjB,MAAM;QACN,KAAK,EAAE,EAAE;QACT,KAAK,EAAE,EAAE;QACT,GAAG,EAAE,EAAE;KACR,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC;IAC/C,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC;IACzB,OAAO,KAAK,CAAC,MAAM,CAAC;IACpB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,KAAK,GAAG,2BAA2B,CAAC,CAAC;QACvG,MAAM,KAAK,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACjE,IAAI,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,0BAA0B,CAAC,CAAC;QACrE,MAAM,QAAQ,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACvE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YAClF,MAAM,GAAG,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;QACnD,CAAC;;YAAM,MAAM,GAAG,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;YAC3C,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;gBAChE,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAClC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAC9F,CAAC;gBACF,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;oBACjB,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC;oBACzB,KAAK,CAAC,MAAM,GAAG,oBAAoB,IAAI,CAAC,EAAE,aAAa,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,2BAA2B,CAAC;oBACnG,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK;wBAAE,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;oBAC7G,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;oBAClB,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,KAAK,QAAQ;oBAAE,SAAS;gBAC9C,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC7B,MAAM,MAAM,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC9D,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACvE,IAAI,OAAO,GAAa,EAAE,CAAC;gBAC3B,IAAI,QAAQ,GAAqB,EAAE,CAAC;gBACpC,IAAI,KAAyB,CAAC;gBAC9B,IAAI,CAAC;oBACH,OAAO,GAAG,MAAM,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;oBACrC,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;wBACnB,MAAM,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;wBAC7B,MAAM,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC9G,CAAC;oBACD,QAAQ,GAAG,MAAM,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC9C,CAAC;gBAAC,OAAO,CAAC,EAAE,CAAC;oBACX,KAAK,GAAI,CAAW,CAAC,OAAO,CAAC;gBAC/B,CAAC;gBACD,MAAM,MAAM,GACV,KAAK;oBACL,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxG,IAAI,MAAM,EAAE,CAAC;oBACX,6DAA6D;oBAC7D,MAAM,GAAG,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;oBAClD,MAAM,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;oBAClC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;oBAClF,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC;oBACxB,KAAK,CAAC,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,cAAc,IAAI,KAAK,MAAM,gBAAgB,CAAC;oBACvE,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;oBAClB,sEAAsE;oBACtE,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;wBAClG,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;wBAC1C,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK;4BACzB,EAAE,CAAC,CAAC,CAAC,GAAG;gCACN,MAAM,EAAE,SAAS;gCACjB,OAAO,EAAE,EAAE;gCACX,QAAQ,EAAE,EAAE;gCACZ,MAAM,EAAE,YAAY,IAAI,IAAI,IAAI,CAAC,EAAE,eAAe;6BACnD,CAAC;wBACJ,GAAG,CAAC,GAAG,KAAK,CAAC,EAAE,2BAA2B,IAAI,IAAI,IAAI,CAAC,EAAE,eAAe,CAAC,CAAC;oBAC5E,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,IAAI,CAAC,IAAI,CAAC,GAAG;oBACX,MAAM,EAAE,QAAQ;oBAChB,MAAM;oBACN,KAAK,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE;oBACrD,OAAO;oBACP,QAAQ;iBACT,CAAC;gBACF,GAAG,CAAC,aAAa,OAAO,CAAC,MAAM,mBAAmB,CAAC,CAAC;YACtD,CAAC;YACD,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,EAAE;gBAAE,OAAO,KAAK,CAAC;QACxC,CAAC;QACD,KAAK,CAAC,MAAM,GAAG,WAAW,CAAC;QAC3B,GAAG,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,EAAE,YAAY,CAAC,CAAC;QACtC,OAAO,KAAK,CAAC;IACf,CAAC;YAAS,CAAC;QACT,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACtB,CAAC;AACH,CAAC;AAED,4FAA4F;AAC5F,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,CAAiB,EAAE,MAAc,EAAE,IAAY;IAChF,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAC3B,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,GAAG,EAAE,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,MAAM,mBAAmB,IAAI,EAAE,CAAC,CAAC;IAC3E,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,GAAG,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;IACjD,MAAM,GAAG,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;IACtD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC;QACpC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC3B,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,IAAI,CAAC,GAAG;gBACzB,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,IAAI,CAAE;gBAC5B,MAAM,EAAE,aAAa;gBACrB,MAAM,EAAE,sBAAsB,MAAM,EAAE;aACvC,CAAC;IACN,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC;IACzB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,MAAM,OAAO,IAAI,OAAO,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAChF,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACpB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,CAAiB,EAAE,CAA4B;IAC1E,MAAM,KAAK,GAAG,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,EAAE,MAAM,IAAI,aAAa,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1G,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,SAAS,EAAE,CAAC,CAAC;QAC3F,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AACjC,CAAC"}

package/dist/codemod.d.ts

@@ -0,0 +1,22 @@
+import { type Language } from '@sluice-dev/lang';
+export interface CodemodRule {
+    pattern: string;
+    rewrite: string;
+}
+export interface Codemod {
+    language: Language;
+    rules: CodemodRule[];
+    /** Only files under these prefixes. */
+    paths?: string[];
+}
+/** Languages a codemod touches: JS and TS codemods cover both; Go and C# only their own files. */
+export declare function codemodLanguages(language: Language): Language[];
+export declare function applyCodemodToSource(text: string, mod: Codemod, file?: string): {
+    text: string;
+    edits: number;
+};
+/** Apply a codemod to every file of its language family in a tree; returns files changed. */
+export declare function applyCodemod(dir: string, mod: Codemod): {
+    file: string;
+    edits: number;
+}[];

package/dist/codemod.js

@@ -0,0 +1,83 @@
+/**
+ * Structural codemods on ast-grep: `pattern` with metavariables ($A, $$$ARGS)
+ * rewritten to a template using the same metavariables. Rules apply in order;
+ * the tree is re-parsed between rules so later rules see earlier rewrites.
+ * Languages: JavaScript/TypeScript (one family), Go, C#.
+ */
+import { readFileSync, writeFileSync } from 'node:fs';
+import { join } from 'node:path';
+import { LANGUAGES, isLanguage, languageOf, listSourceFiles, parseSource } from '@sluice-dev/lang';
+import { findPattern } from '@sluice-dev/policy';
+/** Languages a codemod touches: JS and TS codemods cover both; Go and C# only their own files. */
+export function codemodLanguages(language) {
+    if (!isLanguage(language))
+        throw new Error(`codemod language must be ${LANGUAGES.join('|')}`);
+    return language === 'javascript' || language === 'typescript' ? ['javascript', 'typescript'] : [language];
+}
+const DEFAULT_FILE = {
+    javascript: 'file.js',
+    typescript: 'file.ts',
+    go: 'file.go',
+    csharp: 'File.cs',
+};
+function expand(template, node) {
+    return template.replace(/\$\$\$([A-Z_][A-Z0-9_]*)|\$([A-Z_][A-Z0-9_]*)/g, (whole, multi, single) => {
+        if (multi) {
+            const nodes = node.getMultipleMatches(multi);
+            if (!nodes.length)
+                return '';
+            const src = node.getRoot().root().text();
+            return src.slice(nodes[0].range().start.index, nodes[nodes.length - 1].range().end.index);
+        }
+        const m = node.getMatch(single);
+        if (!m)
+            throw new Error(`codemod rewrite uses ${whole} but the pattern does not bind it`);
+        return m.text();
+    });
+}
+export function applyCodemodToSource(text, mod, file = DEFAULT_FILE[mod.language]) {
+    const family = codemodLanguages(mod.language);
+    const fileLang = languageOf(file);
+    if (!fileLang || !family.includes(fileLang))
+        return { text, edits: 0 };
+    // a TypeScript codemod parses .js files as TypeScript too (types in the patterns/templates)
+    const lang = mod.language === 'typescript' ? 'typescript' : fileLang;
+    const parseAs = lang === 'typescript' && fileLang === 'javascript'
+        ? file.replace(/\.[^.]+$/, file.endsWith('x') ? '.tsx' : '.ts')
+        : file;
+    // statement patterns match the trailing semicolon (JS/TS/C#); keep it if the template omits it. Go has none.
+    const semicolons = lang !== 'go';
+    let current = text;
+    let count = 0;
+    for (const r of mod.rules) {
+        const root = parseSource(lang, current, parseAs).root();
+        const edits = findPattern(root, lang, r.pattern).map((n) => {
+            let out = expand(r.rewrite, n);
+            if (semicolons && n.text().endsWith(';') && !out.trimEnd().endsWith(';'))
+                out += ';';
+            return n.replace(out);
+        });
+        if (edits.length) {
+            current = root.commitEdits(edits);
+            count += edits.length;
+        }
+    }
+    return { text: current, edits: count };
+}
+/** Apply a codemod to every file of its language family in a tree; returns files changed. */
+export function applyCodemod(dir, mod) {
+    const out = [];
+    for (const f of listSourceFiles(dir, codemodLanguages(mod.language))) {
+        if (mod.paths?.length && !mod.paths.some((p) => f.startsWith(p)))
+            continue;
+        const p = join(dir, f);
+        const before = readFileSync(p, 'utf8');
+        const r = applyCodemodToSource(before, mod, f);
+        if (r.edits && r.text !== before) {
+            writeFileSync(p, r.text);
+            out.push({ file: f, edits: r.edits });
+        }
+    }
+    return out;
+}
+//# sourceMappingURL=codemod.js.map

package/dist/codemod.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codemod.js","sourceRoot":"","sources":["../src/codemod.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,eAAe,EAAE,WAAW,EAAiB,MAAM,kBAAkB,CAAC;AAClH,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAcjD,kGAAkG;AAClG,MAAM,UAAU,gBAAgB,CAAC,QAAkB;IACjD,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9F,OAAO,QAAQ,KAAK,YAAY,IAAI,QAAQ,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;AAC5G,CAAC;AAED,MAAM,YAAY,GAA6B;IAC7C,UAAU,EAAE,SAAS;IACrB,UAAU,EAAE,SAAS;IACrB,EAAE,EAAE,SAAS;IACb,MAAM,EAAE,SAAS;CAClB,CAAC;AAEF,SAAS,MAAM,CAAC,QAAgB,EAAE,IAAY;IAC5C,OAAO,QAAQ,CAAC,OAAO,CACrB,gDAAgD,EAChD,CAAC,KAAK,EAAE,KAAyB,EAAE,MAA0B,EAAE,EAAE;QAC/D,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,KAAK,GAAG,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;YAC7C,IAAI,CAAC,KAAK,CAAC,MAAM;gBAAE,OAAO,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;YACzC,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC9F,CAAC;QACD,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAO,CAAC,CAAC;QACjC,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,KAAK,mCAAmC,CAAC,CAAC;QAC1F,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;IAClB,CAAC,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,IAAY,EACZ,GAAY,EACZ,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC;IAEjC,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACvE,4FAA4F;IAC5F,MAAM,IAAI,GAAa,GAAG,CAAC,QAAQ,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC/E,MAAM,OAAO,GACX,IAAI,KAAK,YAAY,IAAI,QAAQ,KAAK,YAAY;QAChD,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;QAC/D,CAAC,CAAC,IAAI,CAAC;IACX,6GAA6G;IAC7G,MAAM,UAAU,GAAG,IAAI,KAAK,IAAI,CAAC;IACjC,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;QACxD,MAAM,KAAK,GAAW,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACjE,IAAI,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAC/B,IAAI,UAAU,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,GAAG,IAAI,GAAG,CAAC;YACrF,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;QACH,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjB,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YAClC,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AACzC,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,YAAY,CAAC,GAAW,EAAE,GAAY;IACpD,MAAM,GAAG,GAAsC,EAAE,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,eAAe,CAAC,GAAG,EAAE,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QACrE,IAAI,GAAG,CAAC,KAAK,EAAE,MAAM,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAAE,SAAS;QAC3E,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,oBAAoB,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAC/C,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACjC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YACzB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,47 @@
+export * from './campaign.js';
+export * from './codemod.js';
+declare const _default: {
+    name: string;
+    version: string;
+    apiVersion: string;
+    description: string;
+    commands: ({
+        path: string[];
+        summary: string;
+        args: {
+            name: string;
+            required: true;
+        }[];
+        options: {
+            flags: string;
+            description: string;
+        }[];
+        run({ args, options }: import("@sluice-dev/plugin-api").CommandInput, ctx: import("@sluice-dev/plugin-api").PluginContext): Promise<0 | 1>;
+    } | {
+        path: string[];
+        summary: string;
+        args: {
+            name: string;
+            required: true;
+        }[];
+        options: {
+            flags: string;
+            description: string;
+        }[];
+        run({ args, options }: import("@sluice-dev/plugin-api").CommandInput, ctx: import("@sluice-dev/plugin-api").PluginContext): number;
+    } | {
+        path: string[];
+        summary: string;
+        args: {
+            name: string;
+            required: true;
+        }[];
+        options: {
+            flags: string;
+            description: string;
+            required: true;
+        }[];
+        run({ args, options }: import("@sluice-dev/plugin-api").CommandInput, ctx: import("@sluice-dev/plugin-api").PluginContext): Promise<number>;
+    })[];
+};
+export default _default;

package/dist/index.js

@@ -0,0 +1,55 @@
+import { resolve } from 'node:path';
+import { definePlugin } from '@sluice-dev/plugin-api';
+import { loadCampaign, readState, renderStatus, rollbackStep, runCampaign } from './campaign.js';
+export * from './campaign.js';
+export * from './codemod.js';
+export default definePlugin({
+    name: '@sluice-dev/plugin-campaign',
+    version: '0.1.0',
+    apiVersion: '^1.0.0',
+    description: 'Multi-repo migrations with evidence-gated steps and rollback',
+    commands: [
+        {
+            path: ['campaign', 'run'],
+            summary: 'Run (or resume) a campaign; every step is evidence-gated, failures roll back and halt',
+            args: [{ name: 'file', required: true }],
+            options: [{ flags: '--until <step>', description: 'stop after this step' }],
+            async run({ args, options }, ctx) {
+                const c = loadCampaign(resolve(ctx.cwd, args[0]));
+                const s = await runCampaign(c, {
+                    until: options.until,
+                    log: (m) => ctx.stdout.write(m + '\n'),
+                });
+                ctx.stdout.write(renderStatus(c, s));
+                return s.status === 'completed' || (options.until && s.status === 'running') ? 0 : 1;
+            },
+        },
+        {
+            path: ['campaign', 'status'],
+            summary: 'Show the per-repo state of every campaign step',
+            args: [{ name: 'file', required: true }],
+            options: [{ flags: '--json', description: 'JSON output' }],
+            run({ args, options }, ctx) {
+                const c = loadCampaign(resolve(ctx.cwd, args[0]));
+                const s = readState(c);
+                ctx.stdout.write(options.json ? JSON.stringify(s ?? null, null, 2) + '\n' : renderStatus(c, s));
+                return 0;
+            },
+        },
+        {
+            path: ['campaign', 'rollback'],
+            summary: 'Roll back a step in one repo (and every later step there)',
+            args: [{ name: 'file', required: true }],
+            options: [
+                { flags: '--step <id>', description: 'step', required: true },
+                { flags: '--repo <name>', description: 'repository', required: true },
+            ],
+            async run({ args, options }, ctx) {
+                const c = loadCampaign(resolve(ctx.cwd, args[0]));
+                ctx.stdout.write(renderStatus(c, await rollbackStep(c, String(options.step), String(options.repo))));
+                return 0;
+            },
+        },
+    ],
+});
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAEjG,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAE7B,eAAe,YAAY,CAAC;IAC1B,IAAI,EAAE,6BAA6B;IACnC,OAAO,EAAE,OAAO;IAChB,UAAU,EAAE,QAAQ;IACpB,WAAW,EAAE,8DAA8D;IAC3E,QAAQ,EAAE;QACR;YACE,IAAI,EAAE,CAAC,UAAU,EAAE,KAAK,CAAC;YACzB,OAAO,EAAE,uFAAuF;YAChG,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;YACxC,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,gBAAgB,EAAE,WAAW,EAAE,sBAAsB,EAAE,CAAC;YAC3E,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG;gBAC9B,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;gBACnD,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,CAAC,EAAE;oBAC7B,KAAK,EAAE,OAAO,CAAC,KAA2B;oBAC1C,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC;iBACvC,CAAC,CAAC;gBACH,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACrC,OAAO,CAAC,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvF,CAAC;SACF;QACD;YACE,IAAI,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC;YAC5B,OAAO,EAAE,gDAAgD;YACzD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;YACxC,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC;YAC1D,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG;gBACxB,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;gBACnD,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;gBACvB,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAChG,OAAO,CAAC,CAAC;YACX,CAAC;SACF;QACD;YACE,IAAI,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;YAC9B,OAAO,EAAE,2DAA2D;YACpE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;YACxC,OAAO,EAAE;gBACP,EAAE,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE;gBAC7D,EAAE,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE;aACtE;YACD,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG;gBAC9B,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;gBACnD,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBACrG,OAAO,CAAC,CAAC;YACX,CAAC;SACF;KACF;CACF,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,40 @@
 {
   "name": "@sluice-dev/plugin-campaign",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
+  "version": "0.1.0",
+  "description": "Multi-repo migration state machine with evidence-gated steps and rollback.",
+  "license": "Apache-2.0",
+  "type": "module",
+  "exports": {
+    ".": {
+      "@sluice-dev/source": "./src/index.ts",
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "engines": {
+    "node": ">=22.13.0"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/ODumpling/sluice.git",
+    "directory": "plugins/campaign"
+  },
+  "homepage": "https://github.com/ODumpling/sluice#readme",
+  "publishConfig": {
+    "access": "public"
+  },
+  "dependencies": {
+    "@ast-grep/napi": "^0.51.2",
+    "yaml": "^2.9.1",
+    "@sluice-dev/lang": "0.1.0",
+    "@sluice-dev/policy": "0.1.0",
+    "@sluice-dev/sandbox": "0.1.0",
+    "@sluice-dev/plugin-api": "0.1.0"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.build.json"
+  }
 }

package/README.md

@@ -1,3 +0,0 @@
-# Temporary Holding Version
-
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.