@jeger-ai/opengantry 3.1.0 → 3.2.0

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

@@ -6,7 +6,6 @@ import { logFixHint } from "./fix-hints.js";
 import { loadPrompts } from "./prompts-loader.js";
 import { isGantryUserError } from "./errors.js";
 import { appendSurgeonMutationLog } from "./surgeon.js";
-import { loadWorkspace } from "./workspace.js";
 import { evaluateVerifyPhases } from "./verify-engine.js";
 import { buildVerifyExportDocument } from "./verify-export.js";
 import { buildBreakGlassPayload, buildVerifyResultPayloadFromPhaseResult, initFailurePayload, } from "./verify-payload.js";
@@ -33,17 +32,17 @@ export function resolveVerifySink(options) {
     }
     return "human";
 }
-function reporterFor(options) {
-    return CommandReporter.forVerify(options);
+function reporterFor(ctx) {
+    return CommandReporter.forVerify(ctx.options);
 }
-export function presentBreakGlassJson(root, mission, options) {
-    const payload = buildBreakGlassPayload(root, mission, options);
-    emitStructuredPayload(payload, options);
+export function presentBreakGlassJson(ctx) {
+    const payload = buildBreakGlassPayload(ctx.root, ctx.mission, ctx.options);
+    emitStructuredPayload(payload, ctx.options);
     return { ok: payload.exit_code === 0, exitCode: payload.exit_code };
 }
-export function presentBreakGlassHuman(root, mission, options) {
-    const reporter = reporterFor(options);
-    const outcome = runBreakGlassAuditFlow(root, mission, options);
+export function presentBreakGlassHuman(ctx) {
+    const reporter = reporterFor(ctx);
+    const outcome = runBreakGlassAuditFlow(ctx.root, ctx.mission, ctx.options);
     if (outcome.kind === "fail") {
         reporter.emitError(errorMessage(outcome.error));
         return { ok: false, exitCode: 2 };
@@ -64,29 +63,36 @@ function emitStructuredPayload(payload, options) {
     const format = resolveVerifyExportFormat(options) ?? "json";
     logInfo(buildVerifyExportDocument(payload, format));
 }
-export function presentJsonFromResult(root, mission, missionArg, options, manifest, result) {
-    const payload = buildVerifyResultPayloadFromPhaseResult(root, mission, missionArg, options, manifest, result);
-    emitStructuredPayload(payload, options);
+/** Attach resolved mission + receipt path from the loaded verify context. */
+function withContextFields(payload, ctx) {
+    return {
+        ...payload,
+        mission_file_path: ctx.resolved.missionRel,
+        mission_source: ctx.resolved.source,
+        ...(ctx.receiptPath ? { receipt_path: ctx.receiptPath } : {}),
+    };
+}
+export function presentJsonFromResult(ctx, result) {
+    const payload = withContextFields(buildVerifyResultPayloadFromPhaseResult(ctx.root, ctx.mission, ctx.options, result), ctx);
+    emitStructuredPayload(payload, ctx.options);
     return { ok: payload.exit_code === 0, exitCode: payload.exit_code };
 }
-export function presentJsonInitFailure(options, error) {
-    const payload = initFailurePayload(error);
+export function presentJsonInitFailure(ctx, error) {
+    const payload = withContextFields(initFailurePayload(error), ctx);
     try {
-        const { root } = loadWorkspace();
-        persistRemediationFromFailedPayload(root, null, options.mission, payload);
+        persistRemediationFromFailedPayload(ctx.root, null, ctx.options.mission, payload);
     }
     catch {
         // best-effort remediation feed
     }
-    emitStructuredPayload(payload, options);
+    emitStructuredPayload(payload, ctx.options);
     return { ok: false, exitCode: payload.exit_code };
 }
-export function presentHumanInitFailure(options, error) {
-    const reporter = reporterFor(options);
-    const payload = initFailurePayload(error);
+export function presentHumanInitFailure(ctx, error) {
+    const reporter = reporterFor(ctx);
+    const payload = withContextFields(initFailurePayload(error), ctx);
     try {
-        const { root } = loadWorkspace();
-        persistRemediationFromFailedPayload(root, null, options.mission, payload);
+        persistRemediationFromFailedPayload(ctx.root, null, ctx.options.mission, payload);
     }
     catch {
         // best-effort remediation feed
@@ -100,37 +106,38 @@ export function presentHumanInitFailure(options, error) {
     reporter.emitError(errorMessage(error));
     return { ok: false, exitCode: payload.exit_code };
 }
-export function presentHuman(root, mission, missionArg, options, result) {
-    const reporter = reporterFor(options);
+export function presentHuman(ctx, result) {
+    const reporter = reporterFor(ctx);
     if (result.ok) {
-        reporter.emitVerifySuccess(result, missionArg);
+        reporter.emitVerifySuccess(result, ctx.resolved.missionRel);
+        if (ctx.receiptPath)
+            reporter.emitInfo(`${CLI_NAME} verify: wrote ${ctx.receiptPath}`);
         return { ok: true, exitCode: 0 };
     }
+    if (ctx.receiptPath)
+        reporter.emitInfo(`${CLI_NAME} verify: wrote ${ctx.receiptPath}`);
     const normalized = normalizeVerifyPhaseFailure({
         failure: result,
-        missionArg,
-        options,
-        root,
-        msnId: mission.msnId ?? undefined,
-        mission,
+        missionArg: ctx.resolved.missionRel,
+        options: ctx.options,
+        root: ctx.root,
+        msnId: ctx.mission.msnId ?? undefined,
+        mission: ctx.mission,
     });
-    persistRemediationSnapshot(root, toRemediationSnapshot(normalized));
+    persistRemediationSnapshot(ctx.root, toRemediationSnapshot(normalized));
     reporter.emitFailurePresentation(toFailurePresentation(normalized));
     return { ok: false, exitCode: normalized.exit_code };
 }
-export async function presentFix(root, mission, missionArg, options, result, nonInteractive, _manifest) {
-    if (result.ok) {
-        return presentHuman(root, mission, missionArg, options, result);
-    }
-    if (nonInteractive) {
-        return presentHuman(root, mission, missionArg, options, result);
+export async function presentFix(ctx, result, nonInteractive) {
+    if (result.ok || nonInteractive) {
+        return presentHuman(ctx, result);
     }
     const failure = result;
-    const reporter = reporterFor(options);
+    const reporter = reporterFor(ctx);
     const remediation = hintsForVerifyPhase(failure, {
-        missionPath: missionArg,
-        root,
-        msnId: mission.msnId ?? undefined,
+        missionPath: ctx.resolved.missionRel,
+        root: ctx.root,
+        msnId: ctx.mission.msnId ?? undefined,
     });
     reporter.emitError(`[${remediation.error_code}] verify failed at phase: ${failure.phase}`);
     const p = await loadPrompts();
@@ -156,7 +163,7 @@ export async function presentFix(root, mission, missionArg, options, result, non
     return { ok: false, exitCode: failure.exitCode };
 }
 export function emitVerifyJson(payload, options) {
-    reporterFor(options).emitJsonPayload(payload);
+    CommandReporter.forVerify(options).emitJsonPayload(payload);
 }
 /** One surgeon mutation pass + phase re-eval only (no nested runVerifyCore). */
 export async function maybeApplySurgeonAndReevaluate(input) {

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

@@ -1 +1 @@
-{"version":3,"file":"verify-presenters.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-presenters.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAElD,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AACxD,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAE/C,OAAO,EAAE,oBAAoB,EAA0B,MAAM,oBAAoB,CAAC;AAElF,OAAO,EAAE,yBAAyB,EAA2B,MAAM,oBAAoB,CAAC;AACxF,OAAO,EACL,sBAAsB,EACtB,uCAAuC,EACvC,kBAAkB,GAEnB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EACL,2BAA2B,EAC3B,qBAAqB,EACrB,qBAAqB,GACtB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,sBAAsB,EACtB,uBAAuB,GAExB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,mCAAmC,EACnC,0BAA0B,GAC3B,MAAM,+BAA+B,CAAC;AAUvC,6EAA6E;AAC7E,MAAM,UAAU,yBAAyB,CAAC,OAAsB;IAC9D,IAAI,OAAO,CAAC,MAAM;QAAE,OAAO,OAAO,CAAC,MAAM,CAAC;IAC1C,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IACzC,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,OAAsB;IACtD,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAChC,OAAO,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,mBAAmB,CAAC;IACnF,CAAC;IACD,IAAI,yBAAyB,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAC;IACtD,IAAI,OAAO,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,iBAAiB,CAAC;IAC9E,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAOD,SAAS,WAAW,CAAC,OAAsB;IACzC,OAAO,eAAe,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,IAAY,EACZ,OAAsB,EACtB,OAAsB;IAEtB,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC/D,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACxC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,SAAS,KAAK,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,IAAY,EACZ,OAAsB,EACtB,OAAsB;IAEtB,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,QAAQ,CAAC,SAAS,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QAChD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACpC,CAAC;IACD,QAAQ,CAAC,QAAQ,CAAC,GAAG,QAAQ,wDAAwD,OAAO,CAAC,SAAS,GAAG,CAAC,CAAC;IAC3G,QAAQ,CAAC,QAAQ,CAAC,aAAa,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACjD,IAAI,OAAO,CAAC,KAAK;QAAE,QAAQ,CAAC,QAAQ,CAAC,aAAa,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IACnE,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACxB,UAAU,CAAC,iEAAiE,CAAC,CAAC;IAChF,CAAC;SAAM,CAAC;QACN,UAAU,CAAC,uCAAuC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,qBAAqB,CAAC,OAA4B,EAAE,OAAsB;IACjF,MAAM,MAAM,GAAuB,yBAAyB,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC;IAChF,OAAO,CAAC,yBAAyB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,IAAY,EACZ,OAAsB,EACtB,UAAkB,EAClB,OAAsB,EACtB,QAAkB,EAClB,MAAyB;IAEzB,MAAM,OAAO,GAAG,uCAAuC,CACrD,IAAI,EACJ,OAAO,EACP,UAAU,EACV,OAAO,EACP,QAAQ,EACR,MAAM,CACP,CAAC;IACF,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACxC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,SAAS,KAAK,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,OAAsB,EACtB,KAAc;IAEd,MAAM,OAAO,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,CAAC;QACH,MAAM,EAAE,IAAI,EAAE,GAAG,aAAa,EAAE,CAAC;QACjC,mCAAmC,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5E,CAAC;IAAC,MAAM,CAAC;QACP,+BAA+B;IACjC,CAAC;IACD,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACxC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,OAAsB,EACtB,KAAc;IAEd,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,OAAO,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,CAAC;QACH,MAAM,EAAE,IAAI,EAAE,GAAG,aAAa,EAAE,CAAC;QACjC,mCAAmC,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5E,CAAC;IAAC,MAAM,CAAC;QACP,+BAA+B;IACjC,CAAC;IACD,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,QAAQ,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAC1D,IAAI,KAAK,CAAC,IAAI;YAAE,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;IACjD,CAAC;IACD,QAAQ,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IACxC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,IAAY,EACZ,OAAsB,EACtB,UAAkB,EAClB,OAAsB,EACtB,MAAyB;IAEzB,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QACd,QAAQ,CAAC,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC/C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACnC,CAAC;IACD,MAAM,UAAU,GAAG,2BAA2B,CAAC;QAC7C,OAAO,EAAE,MAAM;QACf,UAAU;QACV,OAAO;QACP,IAAI;QACJ,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,SAAS;QACjC,OAAO;KACR,CAAC,CAAC;IACH,0BAA0B,CAAC,IAAI,EAAE,qBAAqB,CAAC,UAAU,CAAC,CAAC,CAAC;IACpE,QAAQ,CAAC,uBAAuB,CAAC,qBAAqB,CAAC,UAAU,CAAC,CAAC,CAAC;IACpE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,SAAS,EAAE,CAAC;AACvD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,IAAY,EACZ,OAAsB,EACtB,UAAkB,EAClB,OAAsB,EACtB,MAAyB,EACzB,cAAuB,EACvB,SAAmB;IAEnB,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QACd,OAAO,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,OAAO,GAAG,MAA4B,CAAC;IAC7C,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,WAAW,GAAG,mBAAmB,CAAC,OAAO,EAAE;QAC/C,WAAW,EAAE,UAAU;QACvB,IAAI;QACJ,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,SAAS;KAClC,CAAC,CAAC;IAEH,QAAQ,CAAC,SAAS,CAAC,IAAI,WAAW,CAAC,UAAU,6BAA6B,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IAE3F,MAAM,CAAC,GAAG,MAAM,WAAW,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACtD,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QAChB,KAAK,EAAE,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI;QACzD,IAAI;KACL,CAAC,CAAC,CAAC;IACJ,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,qBAAqB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IAExE,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,MAAM,CAAC;QAC9B,OAAO,EAAE,2BAA2B;QACpC,OAAO,EAAE,OAAO;KACjB,CAAC,CAAC;IAEH,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAChD,QAAQ,CAAC,aAAa,CAAC,WAAW,CAAC,YAAY,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC;QAC3E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,IAAI;QAAE,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACrC,QAAQ,CAAC,aAAa,CAAC,WAAW,CAAC,YAAY,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC;IAC3E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,OAA4B,EAAE,OAAsB;IACjF,WAAW,CAAC,OAAO,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;AAChD,CAAC;AAED,gFAAgF;AAChF,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAAC,KAMpD;IACC,IAAI,KAAK,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC;IACzC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC;IAEpD,MAAM,OAAO,GAAG,KAAK,CAAC,MAA4B,CAAC;IACnD,IAAI,OAAO,CAAC,KAAK,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC;IAElD,MAAM,SAAS,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC;IAEpC,MAAM,OAAO,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAClD,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC;IAElC,MAAM,eAAe,GAAG,OAAO,CAAC,eAAe,CAAC;IAChD,MAAM,OAAO,GAAmB;QAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,OAAO;QACP,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,eAAe;QACf,SAAS;KACV,CAAC;IAEF,OAAO,CAAC,qDAAqD,SAAS,EAAE,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IACtD,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtB,OAAO,CAAC,GAAG,QAAQ,2CAA2C,QAAQ,CAAC,OAAO,GAAG,CAAC,CAAC;QACnF,OAAO,KAAK,CAAC,MAAM,CAAC;IACtB,CAAC;IAED,wBAAwB,CAAC,eAAe,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC5D,OAAO,CAAC,GAAG,QAAQ,gFAAgF,CAAC,CAAC;IAErG,MAAM,aAAa,GAAkB;QACnC,GAAG,KAAK,CAAC,OAAO;QAChB,GAAG,EAAE,KAAK;QACV,iBAAiB,EAAE,KAAK;QACxB,OAAO,EAAE,SAAS;KACnB,CAAC;IACF,OAAO,oBAAoB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,aAAa,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;AACxF,CAAC"}
+{"version":3,"file":"verify-presenters.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-presenters.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AAExD,OAAO,EAAE,oBAAoB,EAA0B,MAAM,oBAAoB,CAAC;AAElF,OAAO,EAAE,yBAAyB,EAA2B,MAAM,oBAAoB,CAAC;AACxF,OAAO,EACL,sBAAsB,EACtB,uCAAuC,EACvC,kBAAkB,GAEnB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EACL,2BAA2B,EAC3B,qBAAqB,EACrB,qBAAqB,GACtB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,sBAAsB,EACtB,uBAAuB,GAExB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,mCAAmC,EACnC,0BAA0B,GAC3B,MAAM,+BAA+B,CAAC;AAUvC,6EAA6E;AAC7E,MAAM,UAAU,yBAAyB,CAAC,OAAwD;IAChG,IAAI,OAAO,CAAC,MAAM;QAAE,OAAO,OAAO,CAAC,MAAM,CAAC;IAC1C,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IACzC,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,OAMjC;IACC,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAChC,OAAO,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,mBAAmB,CAAC;IACnF,CAAC;IACD,IAAI,yBAAyB,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAC;IACtD,IAAI,OAAO,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,iBAAiB,CAAC;IAC9E,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAOD,SAAS,WAAW,CAAC,GAAyB;IAC5C,OAAO,eAAe,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,GAAyB;IAC7D,MAAM,OAAO,GAAG,sBAAsB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3E,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5C,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,SAAS,KAAK,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,GAAyB;IAC9D,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,sBAAsB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3E,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,QAAQ,CAAC,SAAS,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QAChD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACpC,CAAC;IACD,QAAQ,CAAC,QAAQ,CAAC,GAAG,QAAQ,wDAAwD,OAAO,CAAC,SAAS,GAAG,CAAC,CAAC;IAC3G,QAAQ,CAAC,QAAQ,CAAC,aAAa,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACjD,IAAI,OAAO,CAAC,KAAK;QAAE,QAAQ,CAAC,QAAQ,CAAC,aAAa,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IACnE,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACxB,UAAU,CAAC,iEAAiE,CAAC,CAAC;IAChF,CAAC;SAAM,CAAC;QACN,UAAU,CAAC,uCAAuC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,qBAAqB,CAAC,OAA4B,EAAE,OAAwC;IACnG,MAAM,MAAM,GAAuB,yBAAyB,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC;IAChF,OAAO,CAAC,yBAAyB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;AACtD,CAAC;AAED,6EAA6E;AAC7E,SAAS,iBAAiB,CACxB,OAAU,EACV,GAAyB;IAEzB,OAAO;QACL,GAAG,OAAO;QACV,iBAAiB,EAAE,GAAG,CAAC,QAAQ,CAAC,UAAU;QAC1C,cAAc,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM;QACnC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,GAAyB,EACzB,MAAyB;IAEzB,MAAM,OAAO,GAAG,iBAAiB,CAC/B,uCAAuC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,EACnF,GAAG,CACJ,CAAC;IACF,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5C,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,SAAS,KAAK,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,GAAyB,EACzB,KAAc;IAEd,MAAM,OAAO,GAAG,iBAAiB,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;IAClE,IAAI,CAAC;QACH,mCAAmC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACpF,CAAC;IAAC,MAAM,CAAC;QACP,+BAA+B;IACjC,CAAC;IACD,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,GAAyB,EACzB,KAAc;IAEd,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,iBAAiB,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;IAClE,IAAI,CAAC;QACH,mCAAmC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACpF,CAAC;IAAC,MAAM,CAAC;QACP,+BAA+B;IACjC,CAAC;IACD,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,QAAQ,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAC1D,IAAI,KAAK,CAAC,IAAI;YAAE,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;IACjD,CAAC;IACD,QAAQ,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IACxC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,GAAyB,EACzB,MAAyB;IAEzB,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QACd,QAAQ,CAAC,iBAAiB,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAC5D,IAAI,GAAG,CAAC,WAAW;YAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,QAAQ,kBAAkB,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;QACvF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACnC,CAAC;IACD,IAAI,GAAG,CAAC,WAAW;QAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,QAAQ,kBAAkB,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;IACvF,MAAM,UAAU,GAAG,2BAA2B,CAAC;QAC7C,OAAO,EAAE,MAAM;QACf,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,UAAU;QACnC,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,SAAS;QACrC,OAAO,EAAE,GAAG,CAAC,OAAO;KACrB,CAAC,CAAC;IACH,0BAA0B,CAAC,GAAG,CAAC,IAAI,EAAE,qBAAqB,CAAC,UAAU,CAAC,CAAC,CAAC;IACxE,QAAQ,CAAC,uBAAuB,CAAC,qBAAqB,CAAC,UAAU,CAAC,CAAC,CAAC;IACpE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,SAAS,EAAE,CAAC;AACvD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,GAAyB,EACzB,MAAyB,EACzB,cAAuB;IAEvB,IAAI,MAAM,CAAC,EAAE,IAAI,cAAc,EAAE,CAAC;QAChC,OAAO,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACnC,CAAC;IAED,MAAM,OAAO,GAAG,MAA4B,CAAC;IAC7C,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,WAAW,GAAG,mBAAmB,CAAC,OAAO,EAAE;QAC/C,WAAW,EAAE,GAAG,CAAC,QAAQ,CAAC,UAAU;QACpC,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,SAAS;KACtC,CAAC,CAAC;IAEH,QAAQ,CAAC,SAAS,CAAC,IAAI,WAAW,CAAC,UAAU,6BAA6B,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IAE3F,MAAM,CAAC,GAAG,MAAM,WAAW,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACtD,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QAChB,KAAK,EAAE,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI;QACzD,IAAI;KACL,CAAC,CAAC,CAAC;IACJ,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,qBAAqB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IAExE,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,MAAM,CAAC;QAC9B,OAAO,EAAE,2BAA2B;QACpC,OAAO,EAAE,OAAO;KACjB,CAAC,CAAC;IAEH,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAChD,QAAQ,CAAC,aAAa,CAAC,WAAW,CAAC,YAAY,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC;QAC3E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,IAAI;QAAE,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACrC,QAAQ,CAAC,aAAa,CAAC,WAAW,CAAC,YAAY,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC;IAC3E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,OAA4B,EAAE,OAAwC;IACnG,eAAe,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;AAC9D,CAAC;AAED,gFAAgF;AAChF,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAAC,KAMpD;IACC,IAAI,KAAK,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC;IACzC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC;IAEpD,MAAM,OAAO,GAAG,KAAK,CAAC,MAA4B,CAAC;IACnD,IAAI,OAAO,CAAC,KAAK,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC;IAElD,MAAM,SAAS,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC;IAEpC,MAAM,OAAO,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAClD,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC;IAElC,MAAM,eAAe,GAAG,OAAO,CAAC,eAAe,CAAC;IAChD,MAAM,OAAO,GAAmB;QAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,OAAO;QACP,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,eAAe;QACf,SAAS;KACV,CAAC;IAEF,OAAO,CAAC,qDAAqD,SAAS,EAAE,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IACtD,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtB,OAAO,CAAC,GAAG,QAAQ,2CAA2C,QAAQ,CAAC,OAAO,GAAG,CAAC,CAAC;QACnF,OAAO,KAAK,CAAC,MAAM,CAAC;IACtB,CAAC;IAED,wBAAwB,CAAC,eAAe,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC5D,OAAO,CAAC,GAAG,QAAQ,gFAAgF,CAAC,CAAC;IAErG,MAAM,aAAa,GAAoC;QACrD,GAAG,KAAK,CAAC,OAAO;QAChB,GAAG,EAAE,KAAK;QACV,iBAAiB,EAAE,KAAK;QACxB,OAAO,EAAE,SAAS;KACnB,CAAC;IACF,OAAO,oBAAoB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,aAAa,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;AACxF,CAAC"}

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

@@ -7,5 +7,9 @@ export declare function maybeWriteVerifyReceipt(input: {
     missionArg: string;
     options: VerifyOptions;
     result: VerifyPhaseResult;
-}): string | null;
+    breakGlass?: boolean;
+}): {
+    receiptPath: string | null;
+    exportPath: string | null;
+};
 //# sourceMappingURL=verify-receipt.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"verify-receipt.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-receipt.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAE5D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAUhD,wBAAgB,uBAAuB,CAAC,KAAK,EAAE;IAC7C,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,aAAa,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,aAAa,CAAC;IACvB,MAAM,EAAE,iBAAiB,CAAC;CAC3B,GAAG,MAAM,GAAG,IAAI,CA4BhB"}
+{"version":3,"file":"verify-receipt.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-receipt.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAE5D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAchD,wBAAgB,uBAAuB,CAAC,KAAK,EAAE;IAC7C,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,aAAa,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,aAAa,CAAC;IACvB,MAAM,EAAE,iBAAiB,CAAC;IAC1B,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB,GAAG;IAAE,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CA+C5D"}

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

@@ -1,6 +1,10 @@
 import path from "node:path";
 import { buildAttestationReceipt, writeAttestationReceipt, } from "./attestation-receipt.js";
+import { writeAttestationExportEnvelope } from "./attestation-export.js";
 import { normalizeVerifyPhaseFailure } from "./verify-failure-normalize.js";
+function wantsReceiptOrExport(options) {
+    return options.receipt !== undefined || !!options.exportPath?.trim();
+}
 function resolveReceiptOutPath(options) {
     if (options.receipt === undefined)
         return undefined;
@@ -10,11 +14,18 @@ function resolveReceiptOutPath(options) {
     return undefined;
 }
 export function maybeWriteVerifyReceipt(input) {
-    if (input.options.receipt === undefined)
-        return null;
-    const verifyStatus = input.result.ok ? "passed" : "failed";
+    if (!wantsReceiptOrExport(input.options)) {
+        return { receiptPath: null, exportPath: null };
+    }
+    const verifyStatus = input.breakGlass === true ? "failed" : input.result.ok ? "passed" : "failed";
     let errorCode;
-    if (!input.result.ok) {
+    if (input.breakGlass === true) {
+        errorCode = "BREAK_GLASS";
+        if (input.options.breakGlassReason?.trim()) {
+            errorCode = `BREAK_GLASS:${input.options.breakGlassReason.trim().slice(0, 120)}`;
+        }
+    }
+    else if (!input.result.ok) {
         const normalized = normalizeVerifyPhaseFailure({
             failure: input.result,
             missionArg: input.missionArg,
@@ -33,8 +44,17 @@ export function maybeWriteVerifyReceipt(input) {
         errorCode,
         sign: input.options.signReceipt === true,
     });
-    const explicitOut = resolveReceiptOutPath(input.options);
-    const written = writeAttestationReceipt(input.root, receipt, explicitOut);
-    return path.resolve(input.root, written);
+    let receiptPath = null;
+    if (input.options.receipt !== undefined) {
+        const explicitOut = resolveReceiptOutPath(input.options);
+        const written = writeAttestationReceipt(input.root, receipt, explicitOut);
+        receiptPath = path.resolve(input.root, written);
+    }
+    let exportPath = null;
+    const exportOut = input.options.exportPath?.trim();
+    if (exportOut) {
+        exportPath = writeAttestationExportEnvelope(input.root, receipt, exportOut);
+    }
+    return { receiptPath, exportPath };
 }
 //# sourceMappingURL=verify-receipt.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"verify-receipt.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-receipt.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EACL,uBAAuB,EACvB,uBAAuB,GACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAM5E,SAAS,qBAAqB,CAAC,OAAsB;IACnD,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACpD,IAAI,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QAClE,OAAO,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IAChC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,KAMvC;IACC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAErD,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC3D,IAAI,SAA6B,CAAC;IAClC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACrB,MAAM,UAAU,GAAG,2BAA2B,CAAC;YAC7C,OAAO,EAAE,KAAK,CAAC,MAA4B;YAC3C,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,IAAI,SAAS;YACvC,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC,CAAC;QACH,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC;IACpC,CAAC;IAED,MAAM,OAAO,GAAG,uBAAuB,CAAC;QACtC,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,YAAY;QACZ,SAAS;QACT,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW,KAAK,IAAI;KACzC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,qBAAqB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAC1E,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC3C,CAAC"}
+{"version":3,"file":"verify-receipt.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-receipt.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EACL,uBAAuB,EACvB,uBAAuB,GACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,8BAA8B,EAAE,MAAM,yBAAyB,CAAC;AACzE,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAM5E,SAAS,oBAAoB,CAAC,OAAsB;IAClD,OAAO,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC;AACvE,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAsB;IACnD,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACpD,IAAI,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QAClE,OAAO,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IAChC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,KAOvC;IACC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACzC,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IACjD,CAAC;IAED,MAAM,YAAY,GAAG,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IAClG,IAAI,SAA6B,CAAC;IAClC,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC9B,SAAS,GAAG,aAAa,CAAC;QAC1B,IAAI,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAAE,IAAI,EAAE,EAAE,CAAC;YAC3C,SAAS,GAAG,eAAe,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QACnF,CAAC;IACH,CAAC;SAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QAC5B,MAAM,UAAU,GAAG,2BAA2B,CAAC;YAC7C,OAAO,EAAE,KAAK,CAAC,MAA4B;YAC3C,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,IAAI,SAAS;YACvC,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC,CAAC;QACH,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC;IACpC,CAAC;IAED,MAAM,OAAO,GAAG,uBAAuB,CAAC;QACtC,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,YAAY;QACZ,SAAS;QACT,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW,KAAK,IAAI;KACzC,CAAC,CAAC;IAEH,IAAI,WAAW,GAAkB,IAAI,CAAC;IACtC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACxC,MAAM,WAAW,GAAG,qBAAqB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACzD,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QAC1E,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IAED,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC;IACnD,IAAI,SAAS,EAAE,CAAC;QACd,UAAU,GAAG,8BAA8B,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IAC9E,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;AACrC,CAAC"}

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

@@ -1,5 +1,6 @@
 import type { VerifyOptions } from "./verify-options.js";
 import { type VerifyResultPayload } from "./verify-payload.js";
+export type { VerifyPresentContext } from "./verify-context.js";
 export interface VerifyRunResult {
     ok: boolean;
     exitCode: number;

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

@@ -1 +1 @@
-{"version":3,"file":"verify-run.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-run.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD,OAAO,EAGL,KAAK,mBAAmB,EACzB,MAAM,qBAAqB,CAAC;AAc7B,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,OAAO,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;CAClB;AAuED,+EAA+E;AAC/E,wBAAsB,aAAa,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,eAAe,CAAC,CAsEpF;AAED,wBAAgB,mCAAmC,CAAC,OAAO,EAAE,aAAa,GAAG,mBAAmB,CAY/F"}
+{"version":3,"file":"verify-run.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-run.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAGL,KAAK,mBAAmB,EACzB,MAAM,qBAAqB,CAAC;AAe7B,YAAY,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAEhE,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,OAAO,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;CAClB;AAsGD,+EAA+E;AAC/E,wBAAsB,aAAa,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,eAAe,CAAC,CA8DpF;AAED,wBAAgB,mCAAmC,CAAC,OAAO,EAAE,aAAa,GAAG,mBAAmB,CAkB/F"}

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

@@ -1,22 +1,19 @@
-import { CLI_NAME } from "./constants.js";
 import { assertMissionGatePresent, parseMissionFile } from "./missions/parser.js";
-import { GantryUserError } from "./errors.js";
+import { emitPinnedMissionBanner, resolveMissionArg } from "./mission-arg.js";
 import { loadWorkspace } from "./workspace.js";
-import { evaluateVerifyPhases } from "./verify-engine.js";
+import { evaluateVerifyPhases, resolveExecutorLogPath } from "./verify-engine.js";
 import { buildVerifyResultPayload, initFailurePayload, } from "./verify-payload.js";
 import { resolveVerifySink, maybeApplySurgeonAndReevaluate, presentBreakGlassHuman, presentBreakGlassJson, presentFix, presentHuman, presentHumanInitFailure, presentJsonFromResult, presentJsonInitFailure, } from "./verify-presenters.js";
 import { maybeWriteVerifyReceipt } from "./verify-receipt.js";
 function loadVerifyContext(options) {
     const { root, manifest } = loadWorkspace();
-    if (!options.mission) {
-        throw new Error("gantry verify: --mission is required");
-    }
+    const resolved = resolveMissionArg(root, options.mission);
     return {
         root,
         manifest,
-        mission: parseMissionFile(root, options.mission),
-        missionArg: options.mission,
-        options,
+        mission: parseMissionFile(root, resolved.missionRel),
+        resolved,
+        options: { ...options, mission: resolved.missionRel },
     };
 }
 function evaluateOrInitFailure(ctx) {
@@ -28,54 +25,102 @@ function evaluateOrInitFailure(ctx) {
         return { ok: false, error: e };
     }
 }
-function tryWriteReceiptIfRequested(ctx, phaseResult) {
-    if (ctx.options.receipt === undefined)
+function breakGlassPhaseStub(ctx) {
+    return {
+        ok: true,
+        outcome: "full",
+        proofMsnId: ctx.mission.msnId ?? "MSN-0000",
+        executorLogPath: resolveExecutorLogPath(ctx.root, ctx.options),
+        traceWarnings: [],
+    };
+}
+function tryWriteReceiptIfRequested(ctx, phaseResult, breakGlass = false) {
+    if (!wantsReceiptOrExport(ctx.options))
         return { ok: true };
     try {
-        maybeWriteVerifyReceipt({
+        const written = maybeWriteVerifyReceipt({
             root: ctx.root,
             mission: ctx.mission,
-            missionArg: ctx.missionArg,
+            missionArg: ctx.resolved.missionRel,
             options: ctx.options,
             result: phaseResult,
+            breakGlass,
         });
-        return { ok: true };
+        return {
+            ok: true,
+            receiptPath: written.receiptPath ?? undefined,
+            exportPath: written.exportPath ?? undefined,
+        };
     }
     catch (e) {
         return { ok: false, error: e };
     }
 }
+function wantsReceiptOrExport(options) {
+    return options.receipt !== undefined || !!options.exportPath?.trim();
+}
 async function resolveFinalPhaseResult(ctx, sink, initial) {
     if (sink !== "fix_interactive" && sink !== "fix_noninteractive") {
         return initial;
     }
-    return maybeApplySurgeonAndReevaluate({
-        root: ctx.root,
-        mission: ctx.mission,
-        options: ctx.options,
-        manifest: ctx.manifest,
-        result: initial,
+    return evaluateWithFixLoop(ctx, initial);
+}
+function emitMissionBinding(ctx, sink) {
+    emitPinnedMissionBanner(ctx.resolved, {
+        json: sink === "json" || sink === "break_glass_json",
     });
 }
+async function evaluateWithFixLoop(ctx, initial) {
+    let result = initial;
+    if (!ctx.options.fix)
+        return result;
+    while (!result.ok) {
+        const next = await maybeApplySurgeonAndReevaluate({
+            root: ctx.root,
+            mission: ctx.mission,
+            options: ctx.options,
+            manifest: ctx.manifest,
+            result,
+        });
+        if (next === result)
+            break;
+        result = next;
+    }
+    return result;
+}
 /** Unified verify orchestration: load once, evaluate once, present by sink. */
 export async function runVerifyCore(options) {
     const ctx = loadVerifyContext(options);
-    const sink = resolveVerifySink(options);
+    const sink = resolveVerifySink(ctx.options);
+    emitMissionBinding(ctx, sink);
     switch (sink) {
-        case "break_glass_json":
-            return presentBreakGlassJson(ctx.root, ctx.mission, options);
-        case "break_glass_human":
-            return presentBreakGlassHuman(ctx.root, ctx.mission, options);
+        case "break_glass_json": {
+            const receiptWrite = tryWriteReceiptIfRequested(ctx, breakGlassPhaseStub(ctx), true);
+            if (!receiptWrite.ok) {
+                return presentJsonInitFailure(ctx, receiptWrite.error);
+            }
+            ctx.receiptPath = receiptWrite.receiptPath;
+            return presentBreakGlassJson(ctx);
+        }
+        case "break_glass_human": {
+            const receiptWrite = tryWriteReceiptIfRequested(ctx, breakGlassPhaseStub(ctx), true);
+            if (!receiptWrite.ok) {
+                return presentHumanInitFailure(ctx, receiptWrite.error);
+            }
+            ctx.receiptPath = receiptWrite.receiptPath;
+            return presentBreakGlassHuman(ctx);
+        }
         case "json": {
             const evaluated = evaluateOrInitFailure(ctx);
             if (!evaluated.ok) {
-                return presentJsonInitFailure(options, evaluated.error);
+                return presentJsonInitFailure(ctx, evaluated.error);
             }
             const receiptWrite = tryWriteReceiptIfRequested(ctx, evaluated.result);
             if (!receiptWrite.ok) {
-                return presentJsonInitFailure(options, receiptWrite.error);
+                return presentJsonInitFailure(ctx, receiptWrite.error);
             }
-            return presentJsonFromResult(ctx.root, ctx.mission, ctx.missionArg, options, ctx.manifest, evaluated.result);
+            ctx.receiptPath = receiptWrite.receiptPath;
+            return presentJsonFromResult(ctx, evaluated.result);
         }
         case "fix_interactive":
         case "fix_noninteractive":
@@ -84,21 +129,22 @@ export async function runVerifyCore(options) {
                 assertMissionGatePresent(ctx.mission);
             }
             catch (e) {
-                return presentHumanInitFailure(options, e);
+                return presentHumanInitFailure(ctx, e);
             }
             const initial = evaluateVerifyPhases(ctx.root, ctx.mission, ctx.options, ctx.manifest);
             const finalPhase = await resolveFinalPhaseResult(ctx, sink, initial);
             const receiptWrite = tryWriteReceiptIfRequested(ctx, finalPhase);
             if (!receiptWrite.ok) {
-                return presentHumanInitFailure(options, receiptWrite.error);
+                return presentHumanInitFailure(ctx, receiptWrite.error);
             }
+            ctx.receiptPath = receiptWrite.receiptPath;
             if (sink === "fix_interactive") {
-                return presentFix(ctx.root, ctx.mission, ctx.missionArg, options, finalPhase, false, ctx.manifest);
+                return presentFix(ctx, finalPhase, false);
             }
             if (sink === "fix_noninteractive") {
-                return presentFix(ctx.root, ctx.mission, ctx.missionArg, options, finalPhase, true, ctx.manifest);
+                return presentFix(ctx, finalPhase, true);
             }
-            return presentHuman(ctx.root, ctx.mission, ctx.missionArg, options, finalPhase);
+            return presentHuman(ctx, finalPhase);
         }
         default: {
             const _exhaustive = sink;
@@ -108,13 +154,19 @@ export async function runVerifyCore(options) {
 }
 export function buildVerifyResultPayloadFromOptions(options) {
     try {
-        if (!options.mission) {
-            throw new GantryUserError("INVALID_ARGUMENT", `${CLI_NAME} verify: --mission is required`, undefined, 2);
-        }
         const { root, manifest } = loadWorkspace();
-        const mission = parseMissionFile(root, options.mission);
+        const resolved = resolveMissionArg(root, options.mission);
+        const mission = parseMissionFile(root, resolved.missionRel);
         assertMissionGatePresent(mission);
-        return buildVerifyResultPayload(root, manifest, mission, options.mission, options);
+        const payload = buildVerifyResultPayload(root, manifest, mission, {
+            ...options,
+            mission: resolved.missionRel,
+        });
+        return {
+            ...payload,
+            mission_file_path: resolved.missionRel,
+            mission_source: resolved.source,
+        };
     }
     catch (e) {
         return initFailurePayload(e);

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

@@ -1 +1 @@
-{"version":3,"file":"verify-run.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-run.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAClF,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,oBAAoB,EAA0B,MAAM,oBAAoB,CAAC;AAGlF,OAAO,EACL,wBAAwB,EACxB,kBAAkB,GAEnB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,iBAAiB,EACjB,8BAA8B,EAC9B,sBAAsB,EACtB,qBAAqB,EACrB,UAAU,EACV,YAAY,EACZ,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAe9D,SAAS,iBAAiB,CAAC,OAAsB;IAC/C,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,EAAE,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO;QACL,IAAI;QACJ,QAAQ;QACR,OAAO,EAAE,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC;QAChD,UAAU,EAAE,OAAO,CAAC,OAAO;QAC3B,OAAO;KACR,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,GAAwB;IAExB,IAAI,CAAC;QACH,wBAAwB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACtC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;IACtG,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACjC,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CACjC,GAAwB,EACxB,WAA8B;IAE9B,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAC3D,IAAI,CAAC;QACH,uBAAuB,CAAC;YACtB,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,MAAM,EAAE,WAAW;SACpB,CAAC,CAAC;QACH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IACtB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACjC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,uBAAuB,CACpC,GAAwB,EACxB,IAA0C,EAC1C,OAA0B;IAE1B,IAAI,IAAI,KAAK,iBAAiB,IAAI,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAChE,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,8BAA8B,CAAC;QACpC,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,MAAM,EAAE,OAAO;KAChB,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,OAAsB;IACxD,MAAM,GAAG,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAExC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,kBAAkB;YACrB,OAAO,qBAAqB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC/D,KAAK,mBAAmB;YACtB,OAAO,sBAAsB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAChE,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,SAAS,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;YAC7C,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;gBAClB,OAAO,sBAAsB,CAAC,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;YAC1D,CAAC;YACD,MAAM,YAAY,GAAG,0BAA0B,CAAC,GAAG,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;YACvE,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC;gBACrB,OAAO,sBAAsB,CAAC,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC;YAC7D,CAAC;YACD,OAAO,qBAAqB,CAC1B,GAAG,CAAC,IAAI,EACR,GAAG,CAAC,OAAO,EACX,GAAG,CAAC,UAAU,EACd,OAAO,EACP,GAAG,CAAC,QAAQ,EACZ,SAAS,CAAC,MAAM,CACjB,CAAC;QACJ,CAAC;QACD,KAAK,iBAAiB,CAAC;QACvB,KAAK,oBAAoB,CAAC;QAC1B,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,CAAC;gBACH,wBAAwB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACxC,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,OAAO,uBAAuB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAC7C,CAAC;YACD,MAAM,OAAO,GAAG,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;YACvF,MAAM,UAAU,GAAG,MAAM,uBAAuB,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACrE,MAAM,YAAY,GAAG,0BAA0B,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YACjE,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC;gBACrB,OAAO,uBAAuB,CAAC,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC;YAC9D,CAAC;YACD,IAAI,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBAC/B,OAAO,UAAU,CACf,GAAG,CAAC,IAAI,EACR,GAAG,CAAC,OAAO,EACX,GAAG,CAAC,UAAU,EACd,OAAO,EACP,UAAU,EACV,KAAK,EACL,GAAG,CAAC,QAAQ,CACb,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,KAAK,oBAAoB,EAAE,CAAC;gBAClC,OAAO,UAAU,CACf,GAAG,CAAC,IAAI,EACR,GAAG,CAAC,OAAO,EACX,GAAG,CAAC,UAAU,EACd,OAAO,EACP,UAAU,EACV,IAAI,EACJ,GAAG,CAAC,QAAQ,CACb,CAAC;YACJ,CAAC;YACD,OAAO,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,mCAAmC,CAAC,OAAsB;IACxE,IAAI,CAAC;QACH,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YACrB,MAAM,IAAI,eAAe,CAAC,kBAAkB,EAAE,GAAG,QAAQ,gCAAgC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QAC3G,CAAC;QACD,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QACxD,wBAAwB,CAAC,OAAO,CAAC,CAAC;QAClC,OAAO,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACrF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,kBAAkB,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC;AACH,CAAC"}
+{"version":3,"file":"verify-run.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-run.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAClF,OAAO,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC9E,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAmD,MAAM,oBAAoB,CAAC;AAEnI,OAAO,EACL,wBAAwB,EACxB,kBAAkB,GAEnB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,iBAAiB,EACjB,8BAA8B,EAC9B,sBAAsB,EACtB,qBAAqB,EACrB,UAAU,EACV,YAAY,EACZ,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAS9D,SAAS,iBAAiB,CAAC,OAAsB;IAC/C,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,EAAE,CAAC;IAC3C,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAC1D,OAAO;QACL,IAAI;QACJ,QAAQ;QACR,OAAO,EAAE,gBAAgB,CAAC,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC;QACpD,QAAQ;QACR,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,UAAU,EAAE;KACtD,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,GAAyB;IAEzB,IAAI,CAAC;QACH,wBAAwB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACtC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;IACtG,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACjC,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,GAAyB;IACpD,OAAO;QACL,EAAE,EAAE,IAAI;QACR,OAAO,EAAE,MAAM;QACf,UAAU,EAAE,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,UAAU;QAC3C,eAAe,EAAE,sBAAsB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC;QAC9D,aAAa,EAAE,EAAE;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,GAAyB,EACzB,WAA8B,EAC9B,UAAU,GAAG,KAAK;IAElB,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAC5D,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,uBAAuB,CAAC;YACtC,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,UAAU;YACnC,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,MAAM,EAAE,WAAW;YACnB,UAAU;SACX,CAAC,CAAC;QACH,OAAO;YACL,EAAE,EAAE,IAAI;YACR,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,SAAS;YAC7C,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,SAAS;SAC5C,CAAC;IACJ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACjC,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAsB;IAClD,OAAO,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC;AACvE,CAAC;AAED,KAAK,UAAU,uBAAuB,CACpC,GAAyB,EACzB,IAA0C,EAC1C,OAA0B;IAE1B,IAAI,IAAI,KAAK,iBAAiB,IAAI,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAChE,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,mBAAmB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,kBAAkB,CAAC,GAAyB,EAAE,IAA0C;IAC/F,uBAAuB,CAAC,GAAG,CAAC,QAAQ,EAAE;QACpC,IAAI,EAAE,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,kBAAkB;KACrD,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,mBAAmB,CAChC,GAAyB,EACzB,OAA0B;IAE1B,IAAI,MAAM,GAAG,OAAO,CAAC;IACrB,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG;QAAE,OAAO,MAAM,CAAC;IAEpC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QAClB,MAAM,IAAI,GAAG,MAAM,8BAA8B,CAAC;YAChD,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,MAAM;SACP,CAAC,CAAC;QACH,IAAI,IAAI,KAAK,MAAM;YAAE,MAAM;QAC3B,MAAM,GAAG,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,+EAA+E;AAC/E,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,OAAsB;IACxD,MAAM,GAAG,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5C,kBAAkB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAE9B,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,YAAY,GAAG,0BAA0B,CAAC,GAAG,EAAE,mBAAmB,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;YACrF,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC;gBACrB,OAAO,sBAAsB,CAAC,GAAG,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC;YACzD,CAAC;YACD,GAAG,CAAC,WAAW,GAAG,YAAY,CAAC,WAAW,CAAC;YAC3C,OAAO,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACpC,CAAC;QACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,YAAY,GAAG,0BAA0B,CAAC,GAAG,EAAE,mBAAmB,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;YACrF,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC;gBACrB,OAAO,uBAAuB,CAAC,GAAG,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC;YAC1D,CAAC;YACD,GAAG,CAAC,WAAW,GAAG,YAAY,CAAC,WAAW,CAAC;YAC3C,OAAO,sBAAsB,CAAC,GAAG,CAAC,CAAC;QACrC,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,SAAS,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;YAC7C,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;gBAClB,OAAO,sBAAsB,CAAC,GAAG,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;YACtD,CAAC;YACD,MAAM,YAAY,GAAG,0BAA0B,CAAC,GAAG,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;YACvE,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC;gBACrB,OAAO,sBAAsB,CAAC,GAAG,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC;YACzD,CAAC;YACD,GAAG,CAAC,WAAW,GAAG,YAAY,CAAC,WAAW,CAAC;YAC3C,OAAO,qBAAqB,CAAC,GAAG,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;QACtD,CAAC;QACD,KAAK,iBAAiB,CAAC;QACvB,KAAK,oBAAoB,CAAC;QAC1B,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,CAAC;gBACH,wBAAwB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACxC,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,OAAO,uBAAuB,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YACzC,CAAC;YACD,MAAM,OAAO,GAAG,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;YACvF,MAAM,UAAU,GAAG,MAAM,uBAAuB,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACrE,MAAM,YAAY,GAAG,0BAA0B,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YACjE,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC;gBACrB,OAAO,uBAAuB,CAAC,GAAG,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC;YAC1D,CAAC;YACD,GAAG,CAAC,WAAW,GAAG,YAAY,CAAC,WAAW,CAAC;YAC3C,IAAI,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBAC/B,OAAO,UAAU,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;YAC5C,CAAC;YACD,IAAI,IAAI,KAAK,oBAAoB,EAAE,CAAC;gBAClC,OAAO,UAAU,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;YAC3C,CAAC;YACD,OAAO,YAAY,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,mCAAmC,CAAC,OAAsB;IACxE,IAAI,CAAC;QACH,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;QAC5D,wBAAwB,CAAC,OAAO,CAAC,CAAC;QAClC,MAAM,OAAO,GAAG,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;YAChE,GAAG,OAAO;YACV,OAAO,EAAE,QAAQ,CAAC,UAAU;SAC7B,CAAC,CAAC;QACH,OAAO;YACL,GAAG,OAAO;YACV,iBAAiB,EAAE,QAAQ,CAAC,UAAU;YACtC,cAAc,EAAE,QAAQ,CAAC,MAAM;SAChC,CAAC;IACJ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,kBAAkB,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC;AACH,CAAC"}

package/dist/cli/lib/version.gen.d.ts

@@ -1,4 +1,4 @@
 /** Generated by scripts/gen-version.mjs — do not edit */
-export declare const CLI_VERSION = "3.1.0";
+export declare const CLI_VERSION = "3.2.0";
 export declare const NPM_PACKAGE_NAME = "@jeger-ai/opengantry";
 //# sourceMappingURL=version.gen.d.ts.map

package/dist/cli/lib/version.gen.js

@@ -1,4 +1,4 @@
 /** Generated by scripts/gen-version.mjs — do not edit */
-export const CLI_VERSION = "3.1.0";
+export const CLI_VERSION = "3.2.0";
 export const NPM_PACKAGE_NAME = "@jeger-ai/opengantry";
 //# sourceMappingURL=version.gen.js.map

package/dist/cli/program-core.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"program-core.d.ts","sourceRoot":"","sources":["../../src/cli/program-core.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AA0BzC,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CA4J3D"}
+{"version":3,"file":"program-core.d.ts","sourceRoot":"","sources":["../../src/cli/program-core.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AA6BzC,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAiO3D"}

package/dist/cli/program-core.js

@@ -4,6 +4,8 @@ import { runUpgrade } from "./commands/upgrade.js";
 import { runStatus } from "./commands/status.js";
 import { runDoctor } from "./commands/doctor.js";
 import { runOnboarding } from "./commands/onboarding.js";
+import { runPin, runUnpin } from "./commands/pin.js";
+import { runReceiptList, runReceiptPrincipalHmac, runReceiptShow } from "./commands/receipt.js";
 import { runContextFeed } from "./commands/context-feed.js";
 import { runAuditRigorCommand } from "./commands/audit-rigor.js";
 import { runStart } from "./commands/start.js";
@@ -32,6 +34,56 @@ export function registerCoreCommands(program) {
             audience: getOutputAudience(),
         });
     });
+    program
+        .command("pin")
+        .description("Pin active mission for verify/scan/runtime (no args = show current pin)")
+        .argument("[mission]", "Mission file (.md or .yaml)")
+        .action((mission) => {
+        runPin({ mission });
+    });
+    program.command("unpin").description("Clear active mission pin").action(() => {
+        runUnpin();
+    });
+    const receipt = program.command("receipt").description("Inspect local attestation receipts (gitignored history)");
+    receipt
+        .command("list")
+        .description("List receipts under .gitagent/history/receipts/")
+        .option("--msn <id>", "Filter by MSN id prefix")
+        .option("--json", "Emit structured JSON")
+        .action((opts) => {
+        runReceiptList(opts);
+    });
+    receipt
+        .command("show")
+        .description("Show receipt by path, MSN id (latest), or most recent when omitted")
+        .argument("[target]", "Receipt path or MSN-NNNN")
+        .option("--json", "Emit structured JSON")
+        .action((target, opts) => {
+        runReceiptShow({ target, json: opts.json });
+    });
+    receipt
+        .command("principal-hmac")
+        .description("Compute attribution HMACs from the auditor pepper keyring (no git workspace required)")
+        .argument("[value]", "Principal value when using --kind")
+        .option("--org <id>", "Organization id (or GANTRY_ORG_ID)")
+        .option("--keyring <path>", "Pepper keyring path (or GANTRY_PEPPER_KEYRING)")
+        .option("--kind <kind>", "Principal kind: email|github_actor")
+        .option("--repo <url>", "Repository URL to hash")
+        .option("--branch <name>", "Branch name to hash")
+        .option("--epochs <spec>", "Pepper epochs: current|all|N,N", "current")
+        .option("--json", "Emit structured JSON")
+        .action((value, opts) => {
+        runReceiptPrincipalHmac({
+            org: opts.org,
+            keyring: opts.keyring,
+            kind: opts.kind,
+            value,
+            repo: opts.repo,
+            branch: opts.branch,
+            epochs: opts.epochs,
+            json: opts.json,
+        });
+    });
     program
         .command("doctor")
         .description("Active GXT readiness check (warnings do not fail exit)")