@telora/daemon 0.22.245 → 0.22.289

package/dist/verify/verification-model-unavailable-hold.d.ts

@@ -1,92 +0,0 @@
-/**
- * Verify hold for a reconciliation that could not RUN.
- *
- * The reconciliation is a model call. When the model is not reached (a rate
- * limit, an auth failure, a timeout, a spawn error -- spawn/one-shot-model.ts
- * ModelUnavailable) the gate has judged NOTHING: not the work (a shortfall),
- * not the evidence (an instrument fault). Before this module the engine wrote
- * that failure into the shortfall slot, and on 2026-09-23 a ten-hour provider
- * rate limit was routed exactly like a judged shortfall -- outcome failed,
- * verify_failed, a coding team spawned into the same limit, an iteration charged,
- * and after three identical rounds a park that only a human ruling releases.
- *
- * Here the failure is a HOLD: `verify_model_unavailable` in `blocking`, the
- * typed detail under `modelUnavailable`, written at the delivery's OWN status
- * (never a transition, so no iteration, no re-work, no repeat signature). The
- * next verification tick re-judges the same commit, and the first judgement
- * that renders replaces the hold: a shortfall route rebuilds gate_state under
- * its own guard, a pass drops every verify-own hold
- * (verify/verification-history-reset.ts). The spawn cooldown's provider window keeps a rate-limited daemon
- * from spawning the retry until the reset, so the hold costs no subprocess.
- *
- * @module verify/verification-model-unavailable-hold
- */
-import { type DeliveryGateRowIo, type DeliveryGateState } from '../queries/deliveries.js';
-import { MODEL_UNAVAILABLE_GUARD, type ModelUnavailableDetail } from '../queries/verify-own-holds.js';
-import { type ModelUnavailable } from '../spawn/one-shot-model.js';
-import type { PendingVerification } from '../queries/verification.js';
-import type { StrategyResult } from './verification-deterministic.js';
-import type { TargetShortfall } from './verify-restatement.js';
-import type { VerificationDeps } from './verification-deps.js';
-export { MODEL_UNAVAILABLE_GUARD };
-/**
- * What a reconciliation THROW means to the engine. An absent judge (ModelUnavailable)
- * is a hold -- nothing was judged, so nothing is signed; 2026-09-23: this exact
- * failure, signed as a shortfall three times on an unchanged commit set, parked four
- * deliveries for a human ruling. Any other throw is a reconciliation that ran but
- * could not be completed: asymmetric-unsafe to flip, so the whole injection is a
- * shortfall and the gate holds.
- */
-export declare function classifyReconciliationThrow(err: unknown, injectionNodeId: string): {
-    hold: ModelUnavailableDetail;
-    shortfalls?: undefined;
-} | {
-    hold?: undefined;
-    shortfalls: TargetShortfall[];
-};
-/**
- * Demote a run's result to the awaited-judge outcome: 'pending' is the engine's
- * no-verdict outcome (the ai_inspection inconclusive path), so the reconciler moves
- * nothing and the next tick re-selects the row (StrategyResult.modelUnavailable
- * releases the default-on run mark). Mutates `result`.
- */
-export declare function markAwaitingModel(result: StrategyResult, hold: ModelUnavailableDetail, injectionNodeId: string): void;
-/**
- * Write the awaited hold through the engine's dep. A missing dep (a test seam)
- * holds in memory only: the 'pending' outcome already keeps the reconciler from
- * moving the delivery. Best-effort: a failure is logged, never thrown.
- */
-export declare function holdAwaitedDelivery(hold: ((v: PendingVerification, detail: ModelUnavailableDetail) => Promise<void>) | undefined, v: PendingVerification, detail: ModelUnavailableDetail): Promise<void>;
-/** The hold detail for a typed unavailability. Pure. */
-export declare function modelUnavailableDetailOf(err: ModelUnavailable, heldAt?: string): ModelUnavailableDetail;
-/**
- * `prior` with the model-unavailable hold set. Everything else the row carries
- * stays: a standing shortfall park is still authoritative, an operator hold is
- * still an operator hold, the judged commit is still the judged commit. A hold
- * already present is replaced (its detail is refreshed). Pure.
- */
-export declare function buildModelUnavailableGateState(prior: DeliveryGateState | null, detail: ModelUnavailableDetail): DeliveryGateState;
-/**
- * Whether a delivery's done route is held because its verify reconciliation
- * could not RUN (gate_state.modelUnavailable). Read by the review exit: the
- * per-commit gate verdict it reads was recorded BEFORE the reconciliation threw
- * and says nothing about the injection; a done written over it would stamp the
- * injection with no restatements. Verify releases the hold on its next
- * judgement. Logs the hold.
- */
-export declare function heldOnAwaitedModel(d: {
-    name: string;
-    gateState?: unknown;
-}): boolean;
-/** Injected row IO (the real row read and physical write by default) plus the observation seam. */
-export type ModelUnavailableHoldDeps = DeliveryGateRowIo & Pick<VerificationDeps, 'fileEscalation' | 'organizationId'>;
-/** Test seam: forget surfaced conditions. */
-export declare function __resetModelUnavailableSurfacingForTests(): void;
-/**
- * Record the hold on the delivery, at its own status, and surface a
- * non-rate-limit unavailability once. Best-effort: a write failure is logged
- * and the next tick's re-judgement records it again. Returns whether the hold
- * was written.
- */
-export declare function holdForModelUnavailable(v: Pick<PendingVerification, 'deliveryId' | 'deliveryName'> & Partial<Pick<PendingVerification, 'focusId' | 'productId'>>, detail: ModelUnavailableDetail, deps?: Partial<ModelUnavailableHoldDeps>): Promise<boolean>;
-//# sourceMappingURL=verification-model-unavailable-hold.d.ts.map

package/dist/verify/verification-model-unavailable-hold.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-model-unavailable-hold.d.ts","sourceRoot":"","sources":["../../src/verify/verification-model-unavailable-hold.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAEL,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACvB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAA2B,uBAAuB,EAAE,KAAK,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAC/H,OAAO,EAAsB,KAAK,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACvF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAO/D,OAAO,EAAE,uBAAuB,EAAE,CAAC;AAEnC;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,GAAG,EAAE,OAAO,EACZ,eAAe,EAAE,MAAM,GACtB;IAAE,IAAI,EAAE,sBAAsB,CAAC;IAAC,UAAU,CAAC,EAAE,SAAS,CAAA;CAAE,GAAG;IAAE,IAAI,CAAC,EAAE,SAAS,CAAC;IAAC,UAAU,EAAE,eAAe,EAAE,CAAA;CAAE,CAchH;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,GAAG,IAAI,CAMrH;AAED;;;;GAIG;AACH,wBAAsB,mBAAmB,CACvC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,EAAE,sBAAsB,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,SAAS,EAC7F,CAAC,EAAE,mBAAmB,EACtB,MAAM,EAAE,sBAAsB,GAC7B,OAAO,CAAC,IAAI,CAAC,CAOf;AAED,wDAAwD;AACxD,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,gBAAgB,EAAE,MAAM,GAAE,MAAiC,GAAG,sBAAsB,CAQjI;AAED;;;;;GAKG;AACH,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,iBAAiB,GAAG,IAAI,EAC/B,MAAM,EAAE,sBAAsB,GAC7B,iBAAiB,CAYnB;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CAOpF;AAED,mGAAmG;AACnG,MAAM,MAAM,wBAAwB,GAAG,iBAAiB,GAAG,IAAI,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,gBAAgB,CAAC,CAAC;AAKvH,6CAA6C;AAC7C,wBAAgB,wCAAwC,IAAI,IAAI,CAE/D;AAuDD;;;;;GAKG;AACH,wBAAsB,uBAAuB,CAC3C,CAAC,EAAE,IAAI,CAAC,mBAAmB,EAAE,YAAY,GAAG,cAAc,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,mBAAmB,EAAE,SAAS,GAAG,WAAW,CAAC,CAAC,EACzH,MAAM,EAAE,sBAAsB,EAC9B,IAAI,GAAE,OAAO,CAAC,wBAAwB,CAAM,GAC3C,OAAO,CAAC,OAAO,CAAC,CAwBlB"}

package/dist/verify/verification-model-unavailable-hold.js

@@ -1,207 +0,0 @@
-// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: packages/daemon/src/verify/verification-model-unavailable-hold.test.ts
-// PINNED-BY-END
-/**
- * Verify hold for a reconciliation that could not RUN.
- *
- * The reconciliation is a model call. When the model is not reached (a rate
- * limit, an auth failure, a timeout, a spawn error -- spawn/one-shot-model.ts
- * ModelUnavailable) the gate has judged NOTHING: not the work (a shortfall),
- * not the evidence (an instrument fault). Before this module the engine wrote
- * that failure into the shortfall slot, and on 2026-09-23 a ten-hour provider
- * rate limit was routed exactly like a judged shortfall -- outcome failed,
- * verify_failed, a coding team spawned into the same limit, an iteration charged,
- * and after three identical rounds a park that only a human ruling releases.
- *
- * Here the failure is a HOLD: `verify_model_unavailable` in `blocking`, the
- * typed detail under `modelUnavailable`, written at the delivery's OWN status
- * (never a transition, so no iteration, no re-work, no repeat signature). The
- * next verification tick re-judges the same commit, and the first judgement
- * that renders replaces the hold: a shortfall route rebuilds gate_state under
- * its own guard, a pass drops every verify-own hold
- * (verify/verification-history-reset.ts). The spawn cooldown's provider window keeps a rate-limited daemon
- * from spawning the retry until the reset, so the hold costs no subprocess.
- *
- * @module verify/verification-model-unavailable-hold
- */
-import { rewriteDeliveryGateStateAtOwnStatus, } from '../queries/deliveries.js';
-import { hasModelUnavailableHold, MODEL_UNAVAILABLE_GUARD } from '../queries/verify-own-holds.js';
-import { isModelUnavailable } from '../spawn/one-shot-model.js';
-import { ESCALATION_DISPOSITIONS, ESCALATION_REASONS } from '@telora/daemon-core';
-import { createLogger } from '../shell/log.js';
-const log = createLogger({ module: 'verification' });
-export { MODEL_UNAVAILABLE_GUARD };
-/**
- * What a reconciliation THROW means to the engine. An absent judge (ModelUnavailable)
- * is a hold -- nothing was judged, so nothing is signed; 2026-09-23: this exact
- * failure, signed as a shortfall three times on an unchanged commit set, parked four
- * deliveries for a human ruling. Any other throw is a reconciliation that ran but
- * could not be completed: asymmetric-unsafe to flip, so the whole injection is a
- * shortfall and the gate holds.
- */
-export function classifyReconciliationThrow(err, injectionNodeId) {
-    if (isModelUnavailable(err)) {
-        log.warn(`[verification] reconciliation could not run for ${injectionNodeId} (awaited, not judged):`, err.message);
-        return { hold: modelUnavailableDetailOf(err) };
-    }
-    log.warn(`[verification] verify-time reconciliation failed for ${injectionNodeId}:`, err.message);
-    return {
-        shortfalls: [{
-                nodeId: injectionNodeId,
-                declaredStatement: '(unknown -- reconciliation failed)',
-                achievedStatement: '(reconciliation failed)',
-                reason: `Reconciliation failed: ${err.message}`,
-            }],
-    };
-}
-/**
- * Demote a run's result to the awaited-judge outcome: 'pending' is the engine's
- * no-verdict outcome (the ai_inspection inconclusive path), so the reconciler moves
- * nothing and the next tick re-selects the row (StrategyResult.modelUnavailable
- * releases the default-on run mark). Mutates `result`.
- */
-export function markAwaitingModel(result, hold, injectionNodeId) {
-    result.outcome = 'pending';
-    result.modelUnavailable = true;
-    result.rationale =
-        `verify reconciliation could not run (${hold.kind}${hold.resetAt ? `, resets ${hold.resetAt}` : ''}); ` +
-            `injection ${injectionNodeId} awaits the model -- not flipped, not a shortfall, re-judged on a later tick`;
-}
-/**
- * Write the awaited hold through the engine's dep. A missing dep (a test seam)
- * holds in memory only: the 'pending' outcome already keeps the reconciler from
- * moving the delivery. Best-effort: a failure is logged, never thrown.
- */
-export async function holdAwaitedDelivery(hold, v, detail) {
-    if (!hold)
-        return;
-    try {
-        await hold(v, detail);
-    }
-    catch (err) {
-        log.warn(`[verification] model-unavailable hold failed for delivery ${v.deliveryId}:`, err.message);
-    }
-}
-/** The hold detail for a typed unavailability. Pure. */
-export function modelUnavailableDetailOf(err, heldAt = new Date().toISOString()) {
-    return {
-        heldAt,
-        kind: err.kind,
-        resetAt: err.resetAtMs !== null ? new Date(err.resetAtMs).toISOString() : null,
-        label: err.label,
-        message: err.message,
-    };
-}
-/**
- * `prior` with the model-unavailable hold set. Everything else the row carries
- * stays: a standing shortfall park is still authoritative, an operator hold is
- * still an operator hold, the judged commit is still the judged commit. A hold
- * already present is replaced (its detail is refreshed). Pure.
- */
-export function buildModelUnavailableGateState(prior, detail) {
-    const base = prior ?? { blocking: [], warnings: [], evaluatedAt: detail.heldAt };
-    return {
-        ...base,
-        blocking: [
-            ...(base.blocking ?? []).filter((b) => b.guardName !== MODEL_UNAVAILABLE_GUARD),
-            { guardName: MODEL_UNAVAILABLE_GUARD, passed: false },
-        ],
-        warnings: base.warnings ?? [],
-        evaluatedAt: detail.heldAt,
-        modelUnavailable: detail,
-    };
-}
-/**
- * Whether a delivery's done route is held because its verify reconciliation
- * could not RUN (gate_state.modelUnavailable). Read by the review exit: the
- * per-commit gate verdict it reads was recorded BEFORE the reconciliation threw
- * and says nothing about the injection; a done written over it would stamp the
- * injection with no restatements. Verify releases the hold on its next
- * judgement. Logs the hold.
- */
-export function heldOnAwaitedModel(d) {
-    if (!hasModelUnavailableHold(d.gateState))
-        return false;
-    log.info(`[focus-executor] Delivery "${d.name}" NOT moved to done -- its verify reconciliation could not run ` +
-        `(model unavailable). Left in verify; verify re-judges it on a later tick.`);
-    return true;
-}
-/** (deliveryId, kind) pairs already surfaced this process: one observation per condition, not one per tick. */
-const surfaced = new Set();
-/** Test seam: forget surfaced conditions. */
-export function __resetModelUnavailableSurfacingForTests() {
-    surfaced.clear();
-}
-/**
- * The human act a non-rate-limit unavailability names, when one exists. A rate
- * limit names none (the window clears itself); auth and a missing CLI are host
- * conditions only an operator reaches; a timeout or an unclassified exit is an
- * observation an agent can read the log for.
- */
-function humanActFor(kind) {
-    switch (kind) {
-        case 'auth':
-            return { kind: 'unreachable_capability', act: 'On the daemon host, re-authenticate the claude CLI (claude login) and confirm a one-shot `claude --print` answers.' };
-        case 'spawn':
-            return { kind: 'unreachable_capability', act: 'On the daemon host, install or repair the claude CLI the daemon spawns (config claudeCodePath / PATH) and confirm a one-shot `claude --print` answers.' };
-        default:
-            return null;
-    }
-}
-/**
- * Surface a NON-rate-limit unavailability once per (delivery, kind) in the
- * machine lane. A rate limit is bounded by the provider window and clears
- * itself; an expired credential or a missing CLI would otherwise be an
- * indefinite, silent retry every tick. Best-effort; never throws.
- */
-async function surfaceModelUnavailable(v, detail, deps) {
-    if (detail.kind === 'rate_limit' || !deps.fileEscalation || !deps.organizationId)
-        return;
-    const key = `${v.deliveryId}:${detail.kind}`;
-    if (surfaced.has(key))
-        return;
-    surfaced.add(key);
-    const act = humanActFor(detail.kind);
-    try {
-        await deps.fileEscalation({
-            organizationId: deps.organizationId,
-            ...(v.focusId ? { focusId: v.focusId } : {}),
-            ...(v.productId ? { productId: v.productId } : {}),
-            reason: `Verify cannot judge delivery "${v.deliveryName}": its reconciliation model call (${detail.label}) ` +
-                `could not run (${detail.kind}): ${detail.message}. The delivery is held in verify as awaited -- no verdict, ` +
-                `no re-work, no iteration -- and re-tried on every verification tick until the model answers.`,
-            reasonType: ESCALATION_REASONS.ERROR_ENCOUNTERED,
-            disposition: act ? ESCALATION_DISPOSITIONS.NEEDS_OPERATOR : ESCALATION_DISPOSITIONS.AGENT_RESOLVABLE,
-            humanAct: act,
-            kind: 'verify_model_unavailable',
-            details: { delivery_id: v.deliveryId, model_unavailable_kind: detail.kind, label: detail.label, error: detail.message },
-        });
-    }
-    catch (err) {
-        log.warn(`[verification] could not surface the model-unavailable hold for delivery ${v.deliveryId}:`, err.message);
-    }
-}
-/**
- * Record the hold on the delivery, at its own status, and surface a
- * non-rate-limit unavailability once. Best-effort: a write failure is logged
- * and the next tick's re-judgement records it again. Returns whether the hold
- * was written.
- */
-export async function holdForModelUnavailable(v, detail, deps = {}) {
-    await surfaceModelUnavailable(v, detail, deps);
-    try {
-        const written = await rewriteDeliveryGateStateAtOwnStatus(v.deliveryId, (row) => buildModelUnavailableGateState(row.gateState, detail), { io: deps });
-        if (written === 'written') {
-            log.info(`[verification] delivery "${v.deliveryName}" (${v.deliveryId}) awaits the model: ` +
-                `${detail.label} could not run (${detail.kind}` +
-                `${detail.resetAt ? `, resets ${detail.resetAt}` : ''}) -- no verdict, no re-work, ` +
-                `re-judged on a later tick`);
-        }
-        return written === 'written';
-    }
-    catch (err) {
-        log.warn(`[verification] failed to record the model-unavailable hold for delivery ${v.deliveryId}:`, err.message);
-        return false;
-    }
-}
-//# sourceMappingURL=verification-model-unavailable-hold.js.map

package/dist/verify/verification-model-unavailable-hold.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-model-unavailable-hold.js","sourceRoot":"","sources":["../../src/verify/verification-model-unavailable-hold.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,oFAAoF;AACpF,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EACL,mCAAmC,GAGpC,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAA+B,MAAM,gCAAgC,CAAC;AAC/H,OAAO,EAAE,kBAAkB,EAAyB,MAAM,4BAA4B,CAAC;AAMvF,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD,OAAO,EAAE,uBAAuB,EAAE,CAAC;AAEnC;;;;;;;GAOG;AACH,MAAM,UAAU,2BAA2B,CACzC,GAAY,EACZ,eAAuB;IAEvB,IAAI,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,GAAG,CAAC,IAAI,CAAC,mDAAmD,eAAe,yBAAyB,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACnH,OAAO,EAAE,IAAI,EAAE,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC;IACjD,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,wDAAwD,eAAe,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IAC7G,OAAO;QACL,UAAU,EAAE,CAAC;gBACX,MAAM,EAAE,eAAe;gBACvB,iBAAiB,EAAE,oCAAoC;gBACvD,iBAAiB,EAAE,yBAAyB;gBAC5C,MAAM,EAAE,0BAA2B,GAAa,CAAC,OAAO,EAAE;aAC3D,CAAC;KACH,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAsB,EAAE,IAA4B,EAAE,eAAuB;IAC7G,MAAM,CAAC,OAAO,GAAG,SAAS,CAAC;IAC3B,MAAM,CAAC,gBAAgB,GAAG,IAAI,CAAC;IAC/B,MAAM,CAAC,SAAS;QACd,wCAAwC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK;YACvG,aAAa,eAAe,8EAA8E,CAAC;AAC/G,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,IAA6F,EAC7F,CAAsB,EACtB,MAA8B;IAE9B,IAAI,CAAC,IAAI;QAAE,OAAO;IAClB,IAAI,CAAC;QACH,MAAM,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IACxB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACjH,CAAC;AACH,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,wBAAwB,CAAC,GAAqB,EAAE,SAAiB,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;IACvG,OAAO;QACL,MAAM;QACN,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI;QAC9E,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,OAAO,EAAE,GAAG,CAAC,OAAO;KACrB,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,8BAA8B,CAC5C,KAA+B,EAC/B,MAA8B;IAE9B,MAAM,IAAI,GAAsB,KAAK,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IACpG,OAAO;QACL,GAAG,IAAI;QACP,QAAQ,EAAE;YACR,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,uBAAuB,CAAC;YAC/E,EAAE,SAAS,EAAE,uBAAuB,EAAE,MAAM,EAAE,KAAK,EAAE;SACtD;QACD,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE;QAC7B,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,gBAAgB,EAAE,MAAM;KACzB,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAAC,CAAwC;IACzE,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IACxD,GAAG,CAAC,IAAI,CACN,8BAA8B,CAAC,CAAC,IAAI,iEAAiE;QACrG,2EAA2E,CAC5E,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAKD,+GAA+G;AAC/G,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;AAEnC,6CAA6C;AAC7C,MAAM,UAAU,wCAAwC;IACtD,QAAQ,CAAC,KAAK,EAAE,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CAAC,IAAoC;IACvD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,oHAAoH,EAAE,CAAC;QACvK,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,wJAAwJ,EAAE,CAAC;QAC3M;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,uBAAuB,CACpC,CAAyH,EACzH,MAA8B,EAC9B,IAAuC;IAEvC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,IAAI,CAAC,cAAc;QAAE,OAAO;IACzF,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;IAC7C,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO;IAC9B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC;QACH,MAAM,IAAI,CAAC,cAAc,CAAC;YACxB,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClD,MAAM,EACJ,iCAAiC,CAAC,CAAC,YAAY,qCAAqC,MAAM,CAAC,KAAK,IAAI;gBACpG,kBAAkB,MAAM,CAAC,IAAI,MAAM,MAAM,CAAC,OAAO,6DAA6D;gBAC9G,8FAA8F;YAChG,UAAU,EAAE,kBAAkB,CAAC,iBAAiB;YAChD,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,uBAAuB,CAAC,cAAc,CAAC,CAAC,CAAC,uBAAuB,CAAC,gBAAgB;YACpG,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE,0BAA0B;YAChC,OAAO,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,UAAU,EAAE,sBAAsB,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE;SACxH,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,4EAA4E,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IAChI,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,CAAyH,EACzH,MAA8B,EAC9B,OAA0C,EAAE;IAE5C,MAAM,uBAAuB,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,mCAAmC,CACvD,CAAC,CAAC,UAAU,EACZ,CAAC,GAAG,EAAE,EAAE,CAAC,8BAA8B,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,EAC9D,EAAE,EAAE,EAAE,IAAI,EAAE,CACb,CAAC;QACF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,GAAG,CAAC,IAAI,CACN,4BAA4B,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,sBAAsB;gBAClF,GAAG,MAAM,CAAC,KAAK,mBAAmB,MAAM,CAAC,IAAI,EAAE;gBAC/C,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,+BAA+B;gBACpF,2BAA2B,CAC5B,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,KAAK,SAAS,CAAC;IAC/B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CACN,2EAA2E,CAAC,CAAC,UAAU,GAAG,EACzF,GAAa,CAAC,OAAO,CACvB,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}

package/dist/verify/verification-rework-issue.d.ts

@@ -1,128 +0,0 @@
-import { type CommitVerdict } from './commit-verdict-record.js';
-import type { VerificationParseFailure } from './verification-failure-parser.js';
-import { type FailedCommit } from './rework-attribution.js';
-/** Title prefix of a rework Bug; the failed commit follows it. */
-export declare const REWORK_ISSUE_TITLE_PREFIX = "Verify gate failed at";
-/** The slice of an issue the dedupe reads. */
-export interface ReworkIssueRow {
-    title: string;
-    status: string;
-    issueType: string;
-}
-/** Injectable seams; each defaults to the real query. */
-export interface ReworkIssueDeps {
-    getDeliveryIssues: (deliveryId: string) => Promise<readonly ReworkIssueRow[]>;
-    createIssue: (deliveryId: string, title: string, description: string | null, issueType: string, priority: string | null) => Promise<string>;
-    /**
-     * The focus's deliveries -- every delivery that could ALREADY carry this commit's
-     * rework, which is who the per-commit dedupe is asked about (module header). Read
-     * only when the failure names its focus; a deps object omitting it dedupes per
-     * delivery alone, as before.
-     */
-    getFocusDeliveries?: (focusId: string) => Promise<ReadonlyArray<{
-        id: string;
-        executionStatus?: string | null;
-    }>>;
-    /**
-     * Whether the failure is this delivery's to fix (verify/rework-attribution.ts).
-     * Asked only when the failure names its focus; a deps object omitting it files as
-     * every caller did before attribution existed. Async because an unattributable
-     * failure is settled over the focus's verify deliveries, which is a read.
-     */
-    deliveryOwnsFailure?: (deliveryId: string, at: FailedCommit) => boolean | Promise<boolean>;
-}
-export declare const defaultReworkIssueDeps: () => ReworkIssueDeps;
-/** What failed, as the Bug names it. */
-export interface ReworkFailure {
-    /** The failed commit (full sha), or null when the run judged none. */
-    sha: string | null;
-    /**
-     * Where the failed commit belongs. Its FOCUS scopes the per-commit dedupe: one red
-     * is one Bug on the focus, whichever delivery the selection names (module header).
-     * Its PRODUCT, given with a sha, additionally ATTRIBUTES the filing, so only the
-     * delivery the failure is owned by carries the Bug (verify/rework-attribution.ts).
-     * A caller that already settled ownership over its own candidate set passes the
-     * focus and no product, so the choice is not re-made against a set it does not
-     * share. Omitted entirely, a filing dedupes per delivery and is unattributed,
-     * exactly as before either existed.
-     */
-    at?: {
-        productId?: string | undefined;
-        focusId: string;
-    } | undefined;
-    failingTests: readonly string[];
-    parseFailure?: VerificationParseFailure | null | undefined;
-    failedStage?: string | undefined;
-    exitCode: number | null;
-    logPath: string | null;
-}
-/** Why a rework Bug was or was not filed. */
-export type ReworkIssueOutcome = {
-    filed: true;
-    issueId: string;
-} | {
-    filed: false;
-    reason: 'open_work' | 'already_filed' | 'read_failed' | 'create_failed' | 'not_its_failure';
-};
-/** The rework Bug's title for a failed commit. Pure. */
-export declare function reworkIssueTitle(failure: Pick<ReworkFailure, 'sha' | 'failingTests' | 'parseFailure' | 'failedStage'>): string;
-/** The rework Bug's description. Pure. */
-export declare function reworkIssueDescription(failure: ReworkFailure): string;
-/**
- * File the rework Bug for a failed deterministic run when the delivery has no open
- * work issue and none was filed for this commit (module header). Never throws.
- */
-export declare function fileVerificationReworkIssue(deliveryId: string, failure: ReworkFailure, deps?: ReworkIssueDeps): Promise<ReworkIssueOutcome>;
-/** Minimum spacing of owed-filing retries for one (delivery, failed commit). */
-export declare const REWORK_RETRY_INTERVAL_MS = 60000;
-/** Test seam: forget every filed / retried commit. */
-export declare function __resetReworkIssueLedgerForTests(): void;
-/** The reads a retry of an owed filing adds. */
-export interface ReworkRetryDeps extends ReworkIssueDeps {
-    readCommitVerdict: (productId: string, focusId: string, sha: string) => CommitVerdict | null;
-    now: () => number;
-}
-export declare const defaultReworkRetryDeps: () => ReworkRetryDeps;
-/**
- * Retry the rework filing for a delivery sitting in verify at the commit its
- * gate last FAILED on (durable failedAtSha == focus HEAD), unless a Bug for that
- * commit is known filed or the last attempt is within REWORK_RETRY_INTERVAL_MS
- * (module header). The failure is described from the commit's recorded verdict,
- * or by its commit alone when none is readable. Returns the outcome, or null when
- * nothing was attempted. Never throws.
- */
-export declare function retryOwedReworkIssue(delivery: {
-    id: string;
-    gateState?: unknown;
-}, at: {
-    productId: string;
-    focusId: string;
-    readHead: () => string | null;
-}, deps?: ReworkRetryDeps): Promise<ReworkIssueOutcome | null>;
-/** The deliveries read the per-focus rework filing adds, and the owner choice it makes over them. */
-export interface FailedVerdictReworkDeps extends ReworkIssueDeps {
-    getFocusDeliveries: (focusId: string) => Promise<ReadonlyArray<{
-        id: string;
-        executionStatus?: string | null;
-    }>>;
-    /**
-     * The ONE verify delivery of `candidates` this failure's rework belongs on
-     * (verify/rework-attribution.ts), or null when the failure cannot be attributed --
-     * then every candidate is offered it, as before. Omitted, this pass files as it
-     * did before attribution existed.
-     */
-    selectReworkOwner?: (candidates: readonly string[], at: FailedCommit) => string | null;
-}
-export declare const defaultFailedVerdictReworkDeps: () => FailedVerdictReworkDeps;
-/**
- * A FAILED gate verdict standing at a focus head that draws no further review (a
- * declined review of an unchanged range, a stranded re-fire at its bound): file the
- * rework Bug on the verify delivery the failure is ATTRIBUTED to, so the live
- * open-work pass routes it to verify_failed and a coding pass fixes the failure. The
- * focus's other verify deliveries are offered the filing and decline it
- * (verify/rework-attribution.ts) -- one red, one work item. Deduped per commit and
- * skipped beside open work exactly as the feedback filing is. Returns how many Bugs
- * were filed. Never throws.
- */
-export declare function fileReworkForFailedVerdict(focusId: string, verdict: Pick<CommitVerdict, 'sha' | 'outcome' | 'newFailures' | 'parseFailure' | 'failedStage' | 'exitCode' | 'logPath'> & Partial<Pick<CommitVerdict, 'productId'>>, deps?: FailedVerdictReworkDeps): Promise<number>;
-//# sourceMappingURL=verification-rework-issue.d.ts.map

package/dist/verify/verification-rework-issue.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-rework-issue.d.ts","sourceRoot":"","sources":["../../src/verify/verification-rework-issue.ts"],"names":[],"mappings":"AAwEA,OAAO,EAAqB,KAAK,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAGnF,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AACjF,OAAO,EAA+D,KAAK,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAKzH,kEAAkE;AAClE,eAAO,MAAM,yBAAyB,0BAA0B,CAAC;AAKjE,8CAA8C;AAC9C,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,yDAAyD;AACzD,MAAM,WAAW,eAAe;IAC9B,iBAAiB,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,SAAS,cAAc,EAAE,CAAC,CAAC;IAC9E,WAAW,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5I;;;;;OAKG;IACH,kBAAkB,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,aAAa,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAAC,CAAC;IAClH;;;;;OAKG;IACH,mBAAmB,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,YAAY,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CAC5F;AAED,eAAO,MAAM,sBAAsB,QAAO,eAAgG,CAAC;AAE3I,wCAAwC;AACxC,MAAM,WAAW,aAAa;IAC5B,sEAAsE;IACtE,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IACnB;;;;;;;;;OASG;IACH,EAAE,CAAC,EAAE;QAAE,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,CAAC;IACrE,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,YAAY,CAAC,EAAE,wBAAwB,GAAG,IAAI,GAAG,SAAS,CAAC;IAC3D,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAED,6CAA6C;AAC7C,MAAM,MAAM,kBAAkB,GAC1B;IAAE,KAAK,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAChC;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,WAAW,GAAG,eAAe,GAAG,aAAa,GAAG,eAAe,GAAG,iBAAiB,CAAA;CAAE,CAAC;AAElH,wDAAwD;AACxD,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,KAAK,GAAG,cAAc,GAAG,cAAc,GAAG,aAAa,CAAC,GAAG,MAAM,CAQ9H;AAED,0CAA0C;AAC1C,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,CAoBrE;AAED;;;GAGG;AACH,wBAAsB,2BAA2B,CAC/C,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,aAAa,EACtB,IAAI,GAAE,eAA0C,GAC/C,OAAO,CAAC,kBAAkB,CAAC,CA0C7B;AA6CD,gFAAgF;AAChF,eAAO,MAAM,wBAAwB,QAAS,CAAC;AAE/C,sDAAsD;AACtD,wBAAgB,gCAAgC,IAAI,IAAI,CAGvD;AAED,gDAAgD;AAChD,MAAM,WAAW,eAAgB,SAAQ,eAAe;IACtD,iBAAiB,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,aAAa,GAAG,IAAI,CAAC;IAC7F,GAAG,EAAE,MAAM,MAAM,CAAC;CACnB;AAED,eAAO,MAAM,sBAAsB,QAAO,eAIxC,CAAC;AAEH;;;;;;;GAOG;AACH,wBAAsB,oBAAoB,CACxC,QAAQ,EAAE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,OAAO,CAAA;CAAE,EAC7C,EAAE,EAAE;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,MAAM,GAAG,IAAI,CAAA;CAAE,EACzE,IAAI,GAAE,eAA0C,GAC/C,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAwBpC;AAED,qGAAqG;AACrG,MAAM,WAAW,uBAAwB,SAAQ,eAAe;IAC9D,kBAAkB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,aAAa,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAAC,CAAC;IACjH;;;;;OAKG;IACH,iBAAiB,CAAC,EAAE,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,EAAE,EAAE,EAAE,YAAY,KAAK,MAAM,GAAG,IAAI,CAAC;CACxF;AAED,eAAO,MAAM,8BAA8B,QAAO,uBAEhD,CAAC;AAEH;;;;;;;;;GASG;AACH,wBAAsB,0BAA0B,CAC9C,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,KAAK,GAAG,SAAS,GAAG,aAAa,GAAG,cAAc,GAAG,aAAa,GAAG,UAAU,GAAG,SAAS,CAAC,GACrH,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,EAC7C,IAAI,GAAE,uBAA0D,GAC/D,OAAO,CAAC,MAAM,CAAC,CA6CjB"}