@jeger-ai/opengantry 1.0.0

package/dist/cli/lib/upgrade-plan.js

@@ -0,0 +1,220 @@
+import crypto from "node:crypto";
+import fs from "node:fs";
+import path from "node:path";
+import YAML from "yaml";
+import { CLI_NAME } from "./constants.js";
+import { logInfo, logWarn } from "./cli-io.js";
+import { mergeGitignoreFromTemplate } from "./gitignore-gxt.js";
+import { resolveTemplateRootFromModule, loadIntegrationCompat } from "./integration-compat.js";
+import { resolveAssetsFromProfile } from "./init-asset-catalog.js";
+import { planInitAssets } from "./init-plan.js";
+import { upgradeEligibleAssets } from "./upgrade-eligible-assets.js";
+import { inferInitProfileFromRepo } from "./upgrade-profile.js";
+import { alreadyCurrentMessage, compareSemver, legacyVersionWarning, readInstalledSubstrateVersion, } from "./substrate-version.js";
+import { allocateMsn } from "./msn-allocate.js";
+import { isValidMsnId } from "./msn.js";
+import { buildLegislativeTraceRows } from "./mission-yaml.js";
+export const REL_UPGRADE_TMP = ".gitagent/.upgrade-tmp";
+export { UPGRADE_MSN_BAND_MIN, UPGRADE_MSN_BAND_MAX } from "./msn-allocate.js";
+function sha256Buffer(buf) {
+    return crypto.createHash("sha256").update(buf).digest("hex");
+}
+function semverSlug(version) {
+    return version.replace(/[^a-zA-Z0-9._-]+/g, "-");
+}
+export function pickNextUpgradeMsn(repoRoot) {
+    return allocateMsn(repoRoot, { band: "upgrade" });
+}
+export function resolveUpgradeMsn(repoRoot, explicit) {
+    const msn = explicit?.trim();
+    if (msn) {
+        if (!isValidMsnId(msn)) {
+            throw new Error(`${CLI_NAME} upgrade: invalid --msn (expected MSN-NNNN)`);
+        }
+        return msn;
+    }
+    return pickNextUpgradeMsn(repoRoot);
+}
+function upgradeTmpAbs(repoRoot) {
+    return path.join(repoRoot, REL_UPGRADE_TMP.split("/").join(path.sep));
+}
+function stagePathForTarget(repoRoot, targetRel) {
+    return path.join(upgradeTmpAbs(repoRoot), targetRel.split("/").join(path.sep));
+}
+function writeStagedFiles(repoRoot, writes) {
+    const stagedHashes = {};
+    const tmpRoot = upgradeTmpAbs(repoRoot);
+    if (fs.existsSync(tmpRoot)) {
+        fs.rmSync(tmpRoot, { recursive: true, force: true });
+    }
+    for (const w of writes) {
+        const rel = path.relative(repoRoot, w.absoluteTarget).split(path.sep).join("/");
+        const stageAbs = stagePathForTarget(repoRoot, rel);
+        fs.mkdirSync(path.dirname(stageAbs), { recursive: true });
+        fs.writeFileSync(stageAbs, w.body, "utf8");
+        if (w.executable)
+            fs.chmodSync(stageAbs, 0o755);
+        stagedHashes[rel] = sha256Buffer(Buffer.from(w.body, "utf8"));
+    }
+    return stagedHashes;
+}
+export function buildUpgradeMissionYaml(opts) {
+    const doc = {
+        msn_id: opts.msnId,
+        skill_key: "substrate",
+        gate_command: "gapman doctor",
+        gate_success_substring: null,
+        upgrade_payload: opts.payload,
+        trace_rows: buildLegislativeTraceRows(),
+    };
+    const header = `# OpenGantry substrate upgrade mission (Teacher: review staged diff under ${REL_UPGRADE_TMP}/).\n` +
+        `# Upgrade ${opts.fromVersion} → ${opts.toVersion}. Commit this file only; staging dir is gitignored.\n`;
+    return `${header}${YAML.stringify(doc)}`;
+}
+export function parseUpgradePayloadFromMissionBody(body) {
+    const data = YAML.parse(body);
+    const payload = data.upgrade_payload;
+    if (typeof payload !== "object" || payload === null) {
+        throw new Error(`${CLI_NAME} upgrade: mission missing upgrade_payload`);
+    }
+    const p = payload;
+    const required = ["from_version", "to_version", "staged_hashes", "planned_writes"];
+    for (const key of required) {
+        if (p[key] === undefined) {
+            throw new Error(`${CLI_NAME} upgrade: upgrade_payload missing ${key}`);
+        }
+    }
+    if (typeof p.from_version !== "string" || typeof p.to_version !== "string") {
+        throw new Error(`${CLI_NAME} upgrade: upgrade_payload version fields must be strings`);
+    }
+    if (typeof p.staged_hashes !== "object" || p.staged_hashes === null || Array.isArray(p.staged_hashes)) {
+        throw new Error(`${CLI_NAME} upgrade: upgrade_payload.staged_hashes must be an object`);
+    }
+    if (!Array.isArray(p.planned_writes)) {
+        throw new Error(`${CLI_NAME} upgrade: upgrade_payload.planned_writes must be an array`);
+    }
+    const stagedHashes = {};
+    for (const [k, v] of Object.entries(p.staged_hashes)) {
+        if (typeof v !== "string") {
+            throw new Error(`${CLI_NAME} upgrade: staged_hashes.${k} must be a string`);
+        }
+        stagedHashes[k] = v;
+    }
+    return {
+        from_version: p.from_version,
+        to_version: p.to_version,
+        staged_root: REL_UPGRADE_TMP,
+        planned_writes: p.planned_writes.map(String),
+        skipped_scaffold_only: Array.isArray(p.skipped_scaffold_only)
+            ? p.skipped_scaffold_only.map(String)
+            : [],
+        staged_hashes: stagedHashes,
+        created_at: typeof p.created_at === "string" ? p.created_at : new Date().toISOString(),
+    };
+}
+function resolveUpgradeVersionGate(installed, bundled, legacyWarning) {
+    if (compareSemver(bundled, installed.version) < 0) {
+        return {
+            status: "downgrade_blocked",
+            from_version: installed.version,
+            to_version: bundled,
+            message: `${CLI_NAME} upgrade: bundled version ${bundled} is older than installed ${installed.version} — downgrade blocked`,
+        };
+    }
+    if (compareSemver(installed.version, bundled) >= 0) {
+        return {
+            status: "already_current",
+            from_version: installed.version,
+            to_version: bundled,
+            installed_source: installed.source,
+            message: alreadyCurrentMessage(installed.version, bundled),
+            legacy_warning: legacyWarning,
+        };
+    }
+    return null;
+}
+function logUpgradePlanSummary(options, opts) {
+    if (options.json)
+        return;
+    logInfo(`${CLI_NAME} upgrade: ${options.dryRun ? "dry-run — would stage" : "staged"} ${opts.plannedWrites.length} file(s) under ${REL_UPGRADE_TMP}/`);
+    for (const rel of opts.plannedWrites)
+        logInfo(`  - ${rel}`);
+    if (opts.legacyWarning)
+        logWarn(opts.legacyWarning);
+    logInfo(`${options.dryRun ? "Would write" : "Wrote upgrade"} mission: ${opts.missionRel}`);
+    logInfo(`${options.dryRun ? "Suggested Teacher action" : "Review staged diff, then"}:\n${opts.suggestedHumanAction}`);
+    if (!options.dryRun) {
+        logInfo(`After Teacher commit: gapman upgrade --apply --mission ${opts.missionRel}`);
+    }
+}
+export function runUpgradePlan(options) {
+    const repoRoot = path.resolve(options.repoRoot);
+    const templatesRoot = options.templatesRoot ?? resolveTemplateRootFromModule();
+    const compat = loadIntegrationCompat(templatesRoot);
+    const bundled = compat.opengantry_version;
+    const installed = readInstalledSubstrateVersion(repoRoot);
+    const legacyWarning = legacyVersionWarning(installed.source);
+    const versionGate = resolveUpgradeVersionGate(installed, bundled, legacyWarning);
+    if (versionGate)
+        return versionGate;
+    const profile = inferInitProfileFromRepo(repoRoot, templatesRoot);
+    const catalogAssets = resolveAssetsFromProfile(profile, compat);
+    const assets = upgradeEligibleAssets(catalogAssets);
+    const plan = planInitAssets(assets, templatesRoot, repoRoot, true);
+    if (!plan.ok) {
+        throw new Error(`${CLI_NAME} upgrade: asset planning failed`);
+    }
+    if (plan.writes.length === 0) {
+        return {
+            status: "no_changes",
+            from_version: installed.version,
+            to_version: bundled,
+            message: `${CLI_NAME} upgrade: no managed_strict asset changes detected`,
+            unchanged: plan.unchanged,
+            skipped_scaffold_only: plan.skippedUserMutable,
+            legacy_warning: legacyWarning,
+        };
+    }
+    const msnId = resolveUpgradeMsn(repoRoot, options.msn);
+    const plannedWrites = plan.writes.map((w) => path.relative(repoRoot, w.absoluteTarget).split(path.sep).join("/"));
+    const payload = {
+        from_version: installed.version,
+        to_version: bundled,
+        staged_root: REL_UPGRADE_TMP,
+        planned_writes: plannedWrites,
+        skipped_scaffold_only: plan.skippedUserMutable,
+        staged_hashes: {},
+        created_at: new Date().toISOString(),
+    };
+    const missionRel = `.gitagent/missions/${msnId}.upgrade-v${semverSlug(bundled)}.yaml`;
+    const missionAbs = path.join(repoRoot, missionRel.split("/").join(path.sep));
+    const suggestedHumanAction = `git add ${missionRel}\ngit commit -m "[${msnId}] approve substrate upgrade to v${bundled}"`;
+    const shared = {
+        status: "planned",
+        from_version: installed.version,
+        to_version: bundled,
+        mission_rel: missionRel,
+        suggested_human_action: suggestedHumanAction,
+        planned_writes: plannedWrites,
+        skipped_scaffold_only: plan.skippedUserMutable,
+        unchanged: plan.unchanged,
+        legacy_warning: legacyWarning,
+    };
+    if (options.dryRun) {
+        logUpgradePlanSummary(options, { plannedWrites, legacyWarning, missionRel, suggestedHumanAction });
+        return shared;
+    }
+    payload.staged_hashes = writeStagedFiles(repoRoot, plan.writes);
+    mergeGitignoreFromTemplate(repoRoot, templatesRoot);
+    const missionBody = buildUpgradeMissionYaml({ msnId, fromVersion: installed.version, toVersion: bundled, payload });
+    fs.mkdirSync(path.dirname(missionAbs), { recursive: true });
+    fs.writeFileSync(missionAbs, missionBody, "utf8");
+    logUpgradePlanSummary(options, {
+        plannedWrites,
+        legacyWarning,
+        missionRel,
+        suggestedHumanAction,
+    });
+    return { ...shared, mission_path: missionAbs };
+}
+//# sourceMappingURL=upgrade-plan.js.map

package/dist/cli/lib/upgrade-plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"upgrade-plan.js","sourceRoot":"","sources":["../../../src/cli/lib/upgrade-plan.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,0BAA0B,EAAE,MAAM,oBAAoB,CAAC;AAChE,OAAO,EAAE,6BAA6B,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAC/F,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAE,cAAc,EAAqB,MAAM,gBAAgB,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAChE,OAAO,EACL,qBAAqB,EACrB,aAAa,EACb,oBAAoB,EACpB,6BAA6B,GAC9B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AACxC,OAAO,EAAE,yBAAyB,EAAE,MAAM,mBAAmB,CAAC;AAE9D,MAAM,CAAC,MAAM,eAAe,GAAG,wBAAiC,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AA2B/E,SAAS,YAAY,CAAC,GAAW;IAC/B,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,UAAU,CAAC,OAAe;IACjC,OAAO,OAAO,CAAC,OAAO,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,QAAgB;IACjD,OAAO,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,QAAgB,EAAE,QAAiB;IACnE,MAAM,GAAG,GAAG,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC7B,IAAI,GAAG,EAAE,CAAC;QACR,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,6CAA6C,CAAC,CAAC;QAC5E,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,kBAAkB,CAAC,QAAQ,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,aAAa,CAAC,QAAgB;IACrC,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAgB,EAAE,SAAiB;IAC7D,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAgB,EAAE,MAAsB;IAChE,MAAM,YAAY,GAA2B,EAAE,CAAC;IAChD,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACxC,IAAI,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3B,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChF,MAAM,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACnD,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1D,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC3C,IAAI,CAAC,CAAC,UAAU;YAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAChD,YAAY,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,IAKvC;IACC,MAAM,GAAG,GAA4B;QACnC,MAAM,EAAE,IAAI,CAAC,KAAK;QAClB,SAAS,EAAE,WAAW;QACtB,YAAY,EAAE,eAAe;QAC7B,sBAAsB,EAAE,IAAI;QAC5B,eAAe,EAAE,IAAI,CAAC,OAAO;QAC7B,UAAU,EAAE,yBAAyB,EAAE;KACxC,CAAC;IACF,MAAM,MAAM,GACV,6EAA6E,eAAe,OAAO;QACnG,aAAa,IAAI,CAAC,WAAW,MAAM,IAAI,CAAC,SAAS,uDAAuD,CAAC;IAC3G,OAAO,GAAG,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,kCAAkC,CAAC,IAAY;IAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAA4B,CAAC;IACzD,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC;IACrC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,2CAA2C,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,CAAC,GAAG,OAAkC,CAAC;IAC7C,MAAM,QAAQ,GAAG,CAAC,cAAc,EAAE,YAAY,EAAE,eAAe,EAAE,gBAAgB,CAAU,CAAC;IAC5F,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,qCAAqC,GAAG,EAAE,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC3E,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,0DAA0D,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,OAAO,CAAC,CAAC,aAAa,KAAK,QAAQ,IAAI,CAAC,CAAC,aAAa,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC;QACtG,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,2DAA2D,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,2DAA2D,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,YAAY,GAA2B,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,aAAwC,CAAC,EAAE,CAAC;QAChF,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,2BAA2B,CAAC,mBAAmB,CAAC,CAAC;QAC9E,CAAC;QACD,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACtB,CAAC;IACD,OAAO;QACL,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,WAAW,EAAE,eAAe;QAC5B,cAAc,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC;QAC5C,qBAAqB,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC;YAC3D,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC;YACrC,CAAC,CAAC,EAAE;QACN,aAAa,EAAE,YAAY;QAC3B,UAAU,EAAE,OAAO,CAAC,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACvF,CAAC;AACJ,CAAC;AAUD,SAAS,yBAAyB,CAChC,SAA2D,EAC3D,OAAe,EACf,aAA4B;IAE5B,IAAI,aAAa,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAClD,OAAO;YACL,MAAM,EAAE,mBAAmB;YAC3B,YAAY,EAAE,SAAS,CAAC,OAAO;YAC/B,UAAU,EAAE,OAAO;YACnB,OAAO,EAAE,GAAG,QAAQ,6BAA6B,OAAO,4BAA4B,SAAS,CAAC,OAAO,sBAAsB;SAC5H,CAAC;IACJ,CAAC;IAED,IAAI,aAAa,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO;YACL,MAAM,EAAE,iBAAiB;YACzB,YAAY,EAAE,SAAS,CAAC,OAAO;YAC/B,UAAU,EAAE,OAAO;YACnB,gBAAgB,EAAE,SAAS,CAAC,MAAM;YAClC,OAAO,EAAE,qBAAqB,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC;YAC1D,cAAc,EAAE,aAAa;SAC9B,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAA8B,EAC9B,IAKC;IAED,IAAI,OAAO,CAAC,IAAI;QAAE,OAAO;IACzB,OAAO,CAAC,GAAG,QAAQ,aAAa,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,kBAAkB,eAAe,GAAG,CAAC,CAAC;IACtJ,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,aAAa;QAAE,OAAO,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC;IAC5D,IAAI,IAAI,CAAC,aAAa;QAAE,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACpD,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,eAAe,aAAa,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAC3F,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,0BAA0B,MAAM,IAAI,CAAC,oBAAoB,EAAE,CAAC,CAAC;IACtH,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACpB,OAAO,CAAC,0DAA0D,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IACvF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,OAA8B;IAC3D,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,6BAA6B,EAAE,CAAC;IAC/E,MAAM,MAAM,GAAG,qBAAqB,CAAC,aAAa,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,MAAM,CAAC,kBAAkB,CAAC;IAC1C,MAAM,SAAS,GAAG,6BAA6B,CAAC,QAAQ,CAAC,CAAC;IAC1D,MAAM,aAAa,GAAG,oBAAoB,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAE7D,MAAM,WAAW,GAAG,yBAAyB,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IACjF,IAAI,WAAW;QAAE,OAAO,WAAW,CAAC;IAEpC,MAAM,OAAO,GAAG,wBAAwB,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IAClE,MAAM,aAAa,GAAG,wBAAwB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,qBAAqB,CAAC,aAAa,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACnE,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,iCAAiC,CAAC,CAAC;IAChE,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,MAAM,EAAE,YAAY;YACpB,YAAY,EAAE,SAAS,CAAC,OAAO;YAC/B,UAAU,EAAE,OAAO;YACnB,OAAO,EAAE,GAAG,QAAQ,oDAAoD;YACxE,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,qBAAqB,EAAE,IAAI,CAAC,kBAAkB;YAC9C,cAAc,EAAE,aAAa;SAC9B,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,iBAAiB,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IAEvD,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1C,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CACpE,CAAC;IAEF,MAAM,OAAO,GAAmB;QAC9B,YAAY,EAAE,SAAS,CAAC,OAAO;QAC/B,UAAU,EAAE,OAAO;QACnB,WAAW,EAAE,eAAe;QAC5B,cAAc,EAAE,aAAa;QAC7B,qBAAqB,EAAE,IAAI,CAAC,kBAAkB;QAC9C,aAAa,EAAE,EAAE;QACjB,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACrC,CAAC;IAEF,MAAM,UAAU,GAAG,sBAAsB,KAAK,aAAa,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC;IACtF,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7E,MAAM,oBAAoB,GAAG,WAAW,UAAU,qBAAqB,KAAK,mCAAmC,OAAO,GAAG,CAAC;IAE1H,MAAM,MAAM,GAAsB;QAChC,MAAM,EAAE,SAAS;QACjB,YAAY,EAAE,SAAS,CAAC,OAAO;QAC/B,UAAU,EAAE,OAAO;QACnB,WAAW,EAAE,UAAU;QACvB,sBAAsB,EAAE,oBAAoB;QAC5C,cAAc,EAAE,aAAa;QAC7B,qBAAqB,EAAE,IAAI,CAAC,kBAAkB;QAC9C,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,cAAc,EAAE,aAAa;KAC9B,CAAC;IAEF,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,qBAAqB,CAAC,OAAO,EAAE,EAAE,aAAa,EAAE,aAAa,EAAE,UAAU,EAAE,oBAAoB,EAAE,CAAC,CAAC;QACnG,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,CAAC,aAAa,GAAG,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAChE,0BAA0B,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IACpD,MAAM,WAAW,GAAG,uBAAuB,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;IACpH,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5D,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IAElD,qBAAqB,CAAC,OAAO,EAAE;QAC7B,aAAa;QACb,aAAa;QACb,UAAU;QACV,oBAAoB;KACrB,CAAC,CAAC;IAEH,OAAO,EAAE,GAAG,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;AACjD,CAAC"}

package/dist/cli/lib/upgrade-profile.d.ts

@@ -0,0 +1,4 @@
+import { type InitProfile } from "./init-profile.js";
+/** Infer init profile from on-disk substrate assets for upgrade planning. */
+export declare function inferInitProfileFromRepo(repoRoot: string, templatesRoot?: string): InitProfile;
+//# sourceMappingURL=upgrade-profile.d.ts.map

package/dist/cli/lib/upgrade-profile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"upgrade-profile.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/upgrade-profile.ts"],"names":[],"mappings":"AAOA,OAAO,EAAsB,KAAK,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAiBzE,6EAA6E;AAC7E,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,MAAM,EAAE,aAAa,CAAC,EAAE,MAAM,GAAG,WAAW,CAa9F"}

package/dist/cli/lib/upgrade-profile.js

@@ -0,0 +1,27 @@
+import fs from "node:fs";
+import path from "node:path";
+import { INTEGRATION_IDE_KEYS, loadIntegrationCompat, } from "./integration-compat.js";
+import { defaultInitProfile } from "./init-profile.js";
+function pathExists(repoRoot, rel) {
+    return fs.existsSync(path.join(repoRoot, rel.split("/").join(path.sep)));
+}
+function detectIntegrationPresent(repoRoot, key, entry) {
+    if (key === "codex-cli") {
+        return pathExists(repoRoot, ".codex/config.toml");
+    }
+    return entry.canonical_paths.some((p) => pathExists(repoRoot, p));
+}
+/** Infer init profile from on-disk substrate assets for upgrade planning. */
+export function inferInitProfileFromRepo(repoRoot, templatesRoot) {
+    const profile = defaultInitProfile();
+    const compat = loadIntegrationCompat(templatesRoot);
+    const detected = INTEGRATION_IDE_KEYS.filter((key) => detectIntegrationPresent(repoRoot, key, compat.integrations[key]));
+    if (detected.length > 0) {
+        profile.ides = detected;
+    }
+    profile.gitHooks = pathExists(repoRoot, ".githooks/pre-push");
+    profile.ciWorkflow = pathExists(repoRoot, ".github/workflows/gxt-validate.yml");
+    profile.skillsPreset = pathExists(repoRoot, "skills/gapman.md") ? "specimen" : "minimal";
+    return profile;
+}
+//# sourceMappingURL=upgrade-profile.js.map

package/dist/cli/lib/upgrade-profile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"upgrade-profile.js","sourceRoot":"","sources":["../../../src/cli/lib/upgrade-profile.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EACL,oBAAoB,EACpB,qBAAqB,GAEtB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,kBAAkB,EAAoB,MAAM,mBAAmB,CAAC;AAEzE,SAAS,UAAU,CAAC,QAAgB,EAAE,GAAW;IAC/C,OAAO,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAAgB,EAChB,GAAW,EACX,KAAqF;IAErF,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;QACxB,OAAO,UAAU,CAAC,QAAQ,EAAE,oBAAoB,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,wBAAwB,CAAC,QAAgB,EAAE,aAAsB;IAC/E,MAAM,OAAO,GAAG,kBAAkB,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,qBAAqB,CAAC,aAAa,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CACnD,wBAAwB,CAAC,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAClE,CAAC;IACF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC,IAAI,GAAG,QAAQ,CAAC;IAC1B,CAAC;IACD,OAAO,CAAC,QAAQ,GAAG,UAAU,CAAC,QAAQ,EAAE,oBAAoB,CAAC,CAAC;IAC9D,OAAO,CAAC,UAAU,GAAG,UAAU,CAAC,QAAQ,EAAE,oCAAoC,CAAC,CAAC;IAChF,OAAO,CAAC,YAAY,GAAG,UAAU,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IACzF,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/cli/lib/user-error.d.ts

@@ -0,0 +1,20 @@
+/** Expected policy / validation failure — never print a stack at the CLI boundary. */
+export declare class GapmanUserError extends Error {
+    readonly code: string;
+    readonly hint?: string | undefined;
+    readonly exitCode: number;
+    constructor(code: string, message: string, hint?: string | undefined, exitCode?: number);
+    /** Stable GXT error code for JSON/MCP consumers. */
+    get gxtCode(): string;
+}
+export declare function isGapmanUserError(e: unknown): e is GapmanUserError;
+/** User-facing failure reporter: message + optional Fix: hint, no stack by default. */
+export declare function reportUserFacingError(e: unknown): void;
+export interface UserFacingErrorJson {
+    error_code: string;
+    message: string;
+    hint?: string;
+    exit_code: number;
+}
+export declare function userFacingErrorToJson(e: unknown): UserFacingErrorJson;
+//# sourceMappingURL=user-error.d.ts.map

package/dist/cli/lib/user-error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"user-error.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/user-error.ts"],"names":[],"mappings":"AAIA,sFAAsF;AACtF,qBAAa,eAAgB,SAAQ,KAAK;IAEtC,QAAQ,CAAC,IAAI,EAAE,MAAM;IAErB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM;IACtB,QAAQ,CAAC,QAAQ;gBAHR,IAAI,EAAE,MAAM,EACrB,OAAO,EAAE,MAAM,EACN,IAAI,CAAC,EAAE,MAAM,YAAA,EACb,QAAQ,SAAI;IAMvB,oDAAoD;IACpD,IAAI,OAAO,IAAI,MAAM,CAEpB;CACF;AAED,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,eAAe,CAElE;AAUD,uFAAuF;AACvF,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,OAAO,GAAG,IAAI,CAkBtD;AAED,MAAM,WAAW,mBAAmB;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,OAAO,GAAG,mBAAmB,CAWrE"}

package/dist/cli/lib/user-error.js

@@ -0,0 +1,64 @@
+import { logError, setExitCode } from "./cli-io.js";
+import { hintGitProofFromMessage, logFixHint } from "./fix-hints.js";
+import { gxtCodeFromGapmanUserError } from "./gxt-error-codes.js";
+/** Expected policy / validation failure — never print a stack at the CLI boundary. */
+export class GapmanUserError extends Error {
+    code;
+    hint;
+    exitCode;
+    constructor(code, message, hint, exitCode = 1) {
+        super(message);
+        this.code = code;
+        this.hint = hint;
+        this.exitCode = exitCode;
+        this.name = "GapmanUserError";
+    }
+    /** Stable GXT error code for JSON/MCP consumers. */
+    get gxtCode() {
+        return gxtCodeFromGapmanUserError(this.code);
+    }
+}
+export function isGapmanUserError(e) {
+    return e instanceof GapmanUserError;
+}
+function logUnexpectedError(error) {
+    if (process.env.GAPMAN_DEBUG === "1") {
+        logError(error.stack ?? error.message);
+    }
+    else {
+        logError(error.message);
+    }
+}
+/** User-facing failure reporter: message + optional Fix: hint, no stack by default. */
+export function reportUserFacingError(e) {
+    if (isGapmanUserError(e)) {
+        logError(`[${e.gxtCode}] ${e.message}`);
+        if (e.hint)
+            logFixHint(e.hint);
+        setExitCode(e.exitCode);
+        return;
+    }
+    if (e instanceof Error) {
+        logUnexpectedError(e);
+        const legacyHint = hintGitProofFromMessage(e.message);
+        if (legacyHint)
+            logFixHint(legacyHint);
+        setExitCode(1);
+        return;
+    }
+    logError(String(e));
+    setExitCode(1);
+}
+export function userFacingErrorToJson(e) {
+    if (isGapmanUserError(e)) {
+        return {
+            error_code: e.gxtCode,
+            message: e.message,
+            hint: e.hint,
+            exit_code: e.exitCode,
+        };
+    }
+    const message = e instanceof Error ? e.message : String(e);
+    return { error_code: "GXT_VERIFY_FAILED", message, exit_code: 1 };
+}
+//# sourceMappingURL=user-error.js.map

package/dist/cli/lib/user-error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"user-error.js","sourceRoot":"","sources":["../../../src/cli/lib/user-error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACrE,OAAO,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAElE,sFAAsF;AACtF,MAAM,OAAO,eAAgB,SAAQ,KAAK;IAE7B;IAEA;IACA;IAJX,YACW,IAAY,EACrB,OAAe,EACN,IAAa,EACb,WAAW,CAAC;QAErB,KAAK,CAAC,OAAO,CAAC,CAAC;QALN,SAAI,GAAJ,IAAI,CAAQ;QAEZ,SAAI,GAAJ,IAAI,CAAS;QACb,aAAQ,GAAR,QAAQ,CAAI;QAGrB,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;IAED,oDAAoD;IACpD,IAAI,OAAO;QACT,OAAO,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;CACF;AAED,MAAM,UAAU,iBAAiB,CAAC,CAAU;IAC1C,OAAO,CAAC,YAAY,eAAe,CAAC;AACtC,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAY;IACtC,IAAI,OAAO,CAAC,GAAG,CAAC,YAAY,KAAK,GAAG,EAAE,CAAC;QACrC,QAAQ,CAAC,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC;SAAM,CAAC;QACN,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC1B,CAAC;AACH,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,qBAAqB,CAAC,CAAU;IAC9C,IAAI,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;QACzB,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACxC,IAAI,CAAC,CAAC,IAAI;YAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/B,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACxB,OAAO;IACT,CAAC;IAED,IAAI,CAAC,YAAY,KAAK,EAAE,CAAC;QACvB,kBAAkB,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,UAAU,GAAG,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACtD,IAAI,UAAU;YAAE,UAAU,CAAC,UAAU,CAAC,CAAC;QACvC,WAAW,CAAC,CAAC,CAAC,CAAC;QACf,OAAO;IACT,CAAC;IAED,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACpB,WAAW,CAAC,CAAC,CAAC,CAAC;AACjB,CAAC;AASD,MAAM,UAAU,qBAAqB,CAAC,CAAU;IAC9C,IAAI,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;QACzB,OAAO;YACL,UAAU,EAAE,CAAC,CAAC,OAAO;YACrB,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,SAAS,EAAE,CAAC,CAAC,QAAQ;SACtB,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC3D,OAAO,EAAE,UAAU,EAAE,mBAAmB,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;AACpE,CAAC"}

package/dist/cli/lib/verify-engine.d.ts

@@ -0,0 +1,33 @@
+import type { ParsedMission } from "./types.js";
+import { type TraceFailureKind } from "./trace-failure-kind.js";
+import { type TraceVerifyWarning } from "./trace.js";
+import type { VerifyOptions } from "./verify-types.js";
+export type VerifyFailurePhase = "git_proof" | "gate" | "trace_pending" | "trace";
+export interface VerifyPhaseFailure {
+    ok: false;
+    phase: VerifyFailurePhase;
+    message: string;
+    exitCode: number;
+    workerLogPath: string;
+    gateCommand?: string;
+    gateStdout?: string;
+    gateStderr?: string;
+    gateExitCode?: number;
+    gitProofMessage?: string;
+    traceKind?: TraceFailureKind;
+    traceQuote?: string;
+    traceReason?: string;
+}
+export interface VerifyPhaseSuccess {
+    ok: true;
+    outcome: "full" | "pre_push_stub";
+    proofMsnId: string;
+    workerLogPath: string;
+    traceWarnings: TraceVerifyWarning[];
+}
+export type VerifyPhaseResult = VerifyPhaseFailure | VerifyPhaseSuccess;
+export declare function resolveGateWorkDir(root: string, options: VerifyOptions): string;
+export declare function resolveWorkerLogPath(root: string, options: VerifyOptions): string;
+/** Single source of truth for verify phase evaluation (no logging or exit codes). */
+export declare function evaluateVerifyPhases(root: string, mission: ParsedMission, options: VerifyOptions): VerifyPhaseResult;
+//# sourceMappingURL=verify-engine.d.ts.map

package/dist/cli/lib/verify-engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-engine.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-engine.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,EAAwB,KAAK,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AACtF,OAAO,EAAyC,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAC5F,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEvD,MAAM,MAAM,kBAAkB,GAAG,WAAW,GAAG,MAAM,GAAG,eAAe,GAAG,OAAO,CAAC;AAElF,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,KAAK,CAAC;IACV,KAAK,EAAE,kBAAkB,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,SAAS,CAAC,EAAE,gBAAgB,CAAC;IAC7B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,IAAI,CAAC;IACT,OAAO,EAAE,MAAM,GAAG,eAAe,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,kBAAkB,EAAE,CAAC;CACrC;AAED,MAAM,MAAM,iBAAiB,GAAG,kBAAkB,GAAG,kBAAkB,CAAC;AAExE,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,GAAG,MAAM,CAE/E;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,GAAG,MAAM,CAEjF;AAuFD,qFAAqF;AACrF,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,aAAa,GACrB,iBAAiB,CAwBnB"}

package/dist/cli/lib/verify-engine.js

@@ -0,0 +1,104 @@
+import path from "node:path";
+import { assertTeacherMissionProof } from "./git-proof.js";
+import { gatePassed, runGate } from "./gate.js";
+import { isLegislativeStub } from "./mission-legislative-stub.js";
+import { classifyTraceFailure } from "./trace-failure-kind.js";
+import { defaultWorkerLogPath, verifyTraceRows } from "./trace.js";
+export function resolveGateWorkDir(root, options) {
+    return options.cwd ? path.resolve(root, options.cwd) : root;
+}
+export function resolveWorkerLogPath(root, options) {
+    return options.workerLog ? path.resolve(root, options.workerLog) : defaultWorkerLogPath(root);
+}
+function evaluateGitProof(root, mission, workerLogPath) {
+    try {
+        const proofMsnId = assertTeacherMissionProof(root, mission.rawPath, {
+            msnId: mission.msnId ?? undefined,
+        });
+        return { proofMsnId };
+    }
+    catch (e) {
+        const message = e instanceof Error ? e.message : String(e);
+        return {
+            ok: false,
+            phase: "git_proof",
+            message,
+            exitCode: 1,
+            workerLogPath,
+            gitProofMessage: message,
+        };
+    }
+}
+function evaluateGatePhase(root, mission, options, workerLogPath) {
+    const gate = mission.gate;
+    const gateResult = runGate(resolveGateWorkDir(root, options), gate);
+    if (gatePassed(gateResult, gate.successSubstring))
+        return null;
+    return {
+        ok: false,
+        phase: "gate",
+        message: "GATE FAILED",
+        exitCode: 1,
+        workerLogPath,
+        gateCommand: gate.command,
+        gateStdout: gateResult.stdout,
+        gateStderr: gateResult.stderr,
+        gateExitCode: gateResult.exitCode ?? undefined,
+    };
+}
+function evaluateTracePhase(mission, options, workerLogPath) {
+    const hasPending = mission.traceRows.some((row) => row.status.toUpperCase().includes("PENDING"));
+    if (hasPending) {
+        return {
+            ok: false,
+            phase: "trace_pending",
+            message: "Trace rows still PENDING — worker must execute, update mission trace row, then verify",
+            exitCode: 1,
+            workerLogPath,
+            gateCommand: mission.gate?.command,
+        };
+    }
+    const traceResult = verifyTraceRows(workerLogPath, mission.traceRows, {
+        fuzzyNumericAnchor: options.fuzzyTrace === true,
+        strictTrace: options.strictTrace === true,
+    });
+    if (traceResult.failures.length > 0) {
+        const first = traceResult.failures[0];
+        return {
+            ok: false,
+            phase: "trace",
+            message: first.reason,
+            exitCode: 1,
+            workerLogPath,
+            traceKind: classifyTraceFailure(first.reason, first.row.traceQuote, options.strictTrace === true),
+            traceQuote: first.row.traceQuote,
+            traceReason: first.reason,
+        };
+    }
+    return { warnings: traceResult.warnings };
+}
+/** Single source of truth for verify phase evaluation (no logging or exit codes). */
+export function evaluateVerifyPhases(root, mission, options) {
+    const workerLogPath = resolveWorkerLogPath(root, options);
+    const proof = evaluateGitProof(root, mission, workerLogPath);
+    if ("ok" in proof)
+        return proof;
+    const { proofMsnId } = proof;
+    if (options.prePush === true && isLegislativeStub(mission)) {
+        return { ok: true, outcome: "pre_push_stub", proofMsnId, workerLogPath, traceWarnings: [] };
+    }
+    const gateFailure = evaluateGatePhase(root, mission, options, workerLogPath);
+    if (gateFailure)
+        return gateFailure;
+    const trace = evaluateTracePhase(mission, options, workerLogPath);
+    if ("ok" in trace)
+        return trace;
+    return {
+        ok: true,
+        outcome: "full",
+        proofMsnId,
+        workerLogPath,
+        traceWarnings: trace.warnings,
+    };
+}
+//# sourceMappingURL=verify-engine.js.map

package/dist/cli/lib/verify-engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-engine.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-engine.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,EAAE,oBAAoB,EAAyB,MAAM,yBAAyB,CAAC;AACtF,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAA2B,MAAM,YAAY,CAAC;AA+B5F,MAAM,UAAU,kBAAkB,CAAC,IAAY,EAAE,OAAsB;IACrE,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAY,EAAE,OAAsB;IACvE,OAAO,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAY,EACZ,OAAsB,EACtB,aAAqB;IAErB,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE;YAClE,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,SAAS;SAClC,CAAC,CAAC;QACH,OAAO,EAAE,UAAU,EAAE,CAAC;IACxB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,OAAO,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3D,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,WAAW;YAClB,OAAO;YACP,QAAQ,EAAE,CAAC;YACX,aAAa;YACb,eAAe,EAAE,OAAO;SACzB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAY,EACZ,OAAsB,EACtB,OAAsB,EACtB,aAAqB;IAErB,MAAM,IAAI,GAAG,OAAO,CAAC,IAAK,CAAC;IAC3B,MAAM,UAAU,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;IACpE,IAAI,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,gBAAgB,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,OAAO;QACL,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,MAAM;QACb,OAAO,EAAE,aAAa;QACtB,QAAQ,EAAE,CAAC;QACX,aAAa;QACb,WAAW,EAAE,IAAI,CAAC,OAAO;QACzB,UAAU,EAAE,UAAU,CAAC,MAAM;QAC7B,UAAU,EAAE,UAAU,CAAC,MAAM;QAC7B,YAAY,EAAE,UAAU,CAAC,QAAQ,IAAI,SAAS;KAC/C,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,OAAsB,EACtB,OAAsB,EACtB,aAAqB;IAErB,MAAM,UAAU,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IACjG,IAAI,UAAU,EAAE,CAAC;QACf,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,eAAe;YACtB,OAAO,EACL,uFAAuF;YACzF,QAAQ,EAAE,CAAC;YACX,aAAa;YACb,WAAW,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO;SACnC,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,eAAe,CAAC,aAAa,EAAE,OAAO,CAAC,SAAS,EAAE;QACpE,kBAAkB,EAAE,OAAO,CAAC,UAAU,KAAK,IAAI;QAC/C,WAAW,EAAE,OAAO,CAAC,WAAW,KAAK,IAAI;KAC1C,CAAC,CAAC;IAEH,IAAI,WAAW,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC;QACvC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,OAAO;YACd,OAAO,EAAE,KAAK,CAAC,MAAM;YACrB,QAAQ,EAAE,CAAC;YACX,aAAa;YACb,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,WAAW,KAAK,IAAI,CAAC;YACjG,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,UAAU;YAChC,WAAW,EAAE,KAAK,CAAC,MAAM;SAC1B,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,CAAC;AAC5C,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,oBAAoB,CAClC,IAAY,EACZ,OAAsB,EACtB,OAAsB;IAEtB,MAAM,aAAa,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAE1D,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IAC7D,IAAI,IAAI,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IAChC,MAAM,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAE7B,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI,IAAI,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,aAAa,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;IAC9F,CAAC;IAED,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IAC7E,IAAI,WAAW;QAAE,OAAO,WAAW,CAAC;IAEpC,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IAClE,IAAI,IAAI,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IAEhC,OAAO;QACL,EAAE,EAAE,IAAI;QACR,OAAO,EAAE,MAAM;QACf,UAAU;QACV,aAAa;QACb,aAAa,EAAE,KAAK,CAAC,QAAQ;KAC9B,CAAC;AACJ,CAAC"}

package/dist/cli/lib/verify-failure-presentation.d.ts

@@ -0,0 +1,31 @@
+import { type GxtErrorCode } from "./gxt-error-codes.js";
+import type { VerifyPhaseFailure } from "./verify-engine.js";
+import type { VerifyOptions } from "./verify-types.js";
+export interface VerifyFailurePresentationInput {
+    failure: VerifyPhaseFailure;
+    missionArg: string;
+    options: Pick<VerifyOptions, "strictTrace" | "audience">;
+    root?: string;
+    msnId?: string;
+}
+export interface VerifyFailurePresentation {
+    error_code: GxtErrorCode;
+    headline: string;
+    detail_lines: string[];
+    fix_hints: string[];
+    next_actions: string[];
+    exit_code: number;
+    gate?: {
+        stdout?: string;
+        stderr?: string;
+        exitCode?: number;
+    };
+    trace?: {
+        failures?: string[];
+    };
+}
+export declare function verifyFailurePresentation(input: VerifyFailurePresentationInput): VerifyFailurePresentation;
+/** CLI default channel: log presentation and set exit code. */
+export declare function emitVerifyFailureFromPresentation(presentation: VerifyFailurePresentation): void;
+export declare function verifyFailurePresentationForFailure(failure: VerifyPhaseFailure, missionArg: string, options: VerifyOptions, root?: string, msnId?: string): VerifyFailurePresentation;
+//# sourceMappingURL=verify-failure-presentation.d.ts.map

package/dist/cli/lib/verify-failure-presentation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-failure-presentation.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-failure-presentation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAMzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEvD,MAAM,WAAW,8BAA8B;IAC7C,OAAO,EAAE,kBAAkB,CAAC;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,aAAa,GAAG,UAAU,CAAC,CAAC;IACzD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,yBAAyB;IACxC,UAAU,EAAE,YAAY,CAAC;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/D,KAAK,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;CACjC;AAED,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,8BAA8B,GACpC,yBAAyB,CAmE3B;AAED,+DAA+D;AAC/D,wBAAgB,iCAAiC,CAAC,YAAY,EAAE,yBAAyB,GAAG,IAAI,CAU/F;AAED,wBAAgB,mCAAmC,CACjD,OAAO,EAAE,kBAAkB,EAC3B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,aAAa,EACtB,IAAI,CAAC,EAAE,MAAM,EACb,KAAK,CAAC,EAAE,MAAM,GACb,yBAAyB,CAQ3B"}