@telora/daemon 0.22.245 → 0.22.290

package/dist/verify/verification-rework-issue.js

@@ -1,314 +0,0 @@
-// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: packages/daemon/src/integration/failed-verdict-review-exit-respawn-regression.test.ts,
-//   packages/daemon/src/integration/failed-verdict-review-loop-regression.test.ts,
-//   packages/daemon/src/integration/verify-failure-rework-route.test.ts,
-//   packages/daemon/src/verify/verification-feedback.test.ts,
-//   packages/daemon/src/verify/verification-rework-issue.test.ts,
-//   packages/daemon/src/verify/verify-evidence-unavailable.test.ts
-// PINNED-BY-END
-/**
- * A deterministic gate failure the re-work cycle could not otherwise act on files
- * the work that fixes it.
- *
- * Failure feedback routes a failed delivery verify -> verify_failed, carrying the
- * failing tests in gate_state -- but gate_state is not work. A delivery whose
- * issues are all Done (review filed nothing) then steps verify_failed -> queued ->
- * coding -> verify with no open Task/Bug for any coding pass to pick up, lands
- * back in verify at the unchanged failed commit (which the HEAD re-verify guard
- * will not re-run), and waits there for an operator (Tinker Tailor, 2026-09-17:
- * ten no-op review passes, nothing fixed the red).
- *
- * So the failure itself becomes the issue: ONE Bug on the delivery naming the
- * failing tests -- or, when the gate could not parse them, the parse failure and
- * where the log is -- so the re-work re-entry has real open work and the next
- * spawned actor is a coding pass holding the failure. Filed only when the
- * delivery has no open work issue of its own (a review-filed Bug already routes
- * the fix), and at most once per (delivery, failed commit): the Bug's title
- * carries the commit, and a Bug already filed for that commit -- open or closed --
- * is never filed again, so a repeat feedback for one commit adds nothing and the
- * verify_failed iteration cap stays the bound. A run that judged no known commit
- * dedupes on open work alone.
- *
- * WHOSE failure: ONE branch-level red is ONE piece of open work. A focus's
- * deliveries share one commit's verdict (verify/verification-commit-sharing.ts), so
- * a filing that names no owner turns one red into a Bug on every delivery sitting in
- * verify -- each naming a gate run that delivery never made, and each costing a
- * review cycle out of the arm's budget. Every filing that knows the focus its commit
- * belongs to asks verify/rework-attribution.ts who owns the failure first, and files
- * only there. A delivery that shares the verdict still TAKES it -- it routes to
- * verify_failed and carries the failure on its gate_state exactly as before; what it
- * no longer carries is a work item describing someone else's run.
- *
- * HOW MANY, separately from WHO. The owner is chosen from LIVE state -- the focus's
- * deliveries currently in verify -- and that set MOVES: the moment the chosen owner
- * takes its Bug the open-work pass routes it to verify_failed, so a sibling retrying
- * the same failed commit is offered a smaller set and names a different owner. A
- * single-owner rule alone therefore cannot carry a per-COMMIT invariant across time.
- * So the invariant is enforced where it is stated -- on the commit: the "already
- * filed" question is asked of the whole FOCUS, not of one delivery, and no delivery
- * files for a commit another already carries, whoever the selection names. Ownership
- * decides who is told; this decides how many are. It needs no new record, because the
- * record already exists: a rework Bug's own title carries its commit, so the first
- * filing IS the durable statement that this commit's rework is owned -- one that
- * survives a restart, a status change and a re-selection alike. A focus read that
- * FAILS answers "unknown" and files nothing this poll (the owed filing is retried),
- * because a guess here is the fan-out itself.
- *
- * Best-effort, then retried: a read or create failure is logged and files nothing
- * -- it must never block the verify_failed route it rides with -- and leaves the
- * filing OWED. A delivery back in verify at that same failed commit (the HEAD
- * re-verify guard holds it there, and its durable failedAtSha survives the
- * re-work walk and a restart) is retried by the default-on scan through
- * retryOwedReworkIssue at most once per REWORK_RETRY_INTERVAL_MS, from the
- * commit's recorded verdict, until a filing lands or finds one already filed;
- * the Bug is open work, so the live open-work pass routes it on to coding.
- *
- * @module verify/verification-rework-issue
- */
-import { DELIVERY_STATUS } from '@telora/daemon-core';
-import { createIssue, getDeliveryIssues } from '../queries/issues.js';
-import { getFocusDeliveries } from '../queries/focuses.js';
-import { readCommitVerdict } from './commit-verdict-record.js';
-import { readVerificationHistory } from '../queries/delivery-gate-state.js';
-import { OPEN_ISSUE_STATUSES, CONTEXT_GROUP_TYPE } from '../shell/constants.js';
-import { deliveryOwnsFailure, selectReworkOwner, unattributableOwner } from './rework-attribution.js';
-import { createLogger } from '../shell/log.js';
-const log = createLogger({ module: 'verification' });
-/** Title prefix of a rework Bug; the failed commit follows it. */
-export const REWORK_ISSUE_TITLE_PREFIX = 'Verify gate failed at';
-/** How many failing tests the Bug description lists before pointing at the log. */
-const MAX_LISTED_TESTS = 30;
-export const defaultReworkIssueDeps = () => ({ getDeliveryIssues, createIssue, getFocusDeliveries, deliveryOwnsFailure });
-/** The rework Bug's title for a failed commit. Pure. */
-export function reworkIssueTitle(failure) {
-    const at = failure.sha ? failure.sha.slice(0, 12) : 'an unrecorded commit';
-    const what = failure.failingTests.length > 0
-        ? `fix ${failure.failingTests.length} failing test(s)`
-        : failure.parseFailure
-            ? 'failing tests could not be parsed -- read the log'
-            : failure.failedStage ? `fix stage "${failure.failedStage}"` : 'fix the failing check';
-    return `${REWORK_ISSUE_TITLE_PREFIX} ${at}: ${what}`;
-}
-/** The rework Bug's description. Pure. */
-export function reworkIssueDescription(failure) {
-    const lines = [
-        `The deterministic verify gate failed${failure.sha ? ` on commit ${failure.sha}` : ''} and no open issue on this ` +
-            'delivery carried the fix, so the daemon filed this one. Fix the failure, commit, and move this issue to Done -- ' +
-            'the daemon re-verifies the new commit (do not replay the gate by hand).',
-        '',
-        `Exit code: ${failure.exitCode ?? '(unknown)'}`,
-        `Full log: ${failure.logPath ?? '(not captured -- see the daemon verification log directory)'}`,
-    ];
-    if (failure.failedStage)
-        lines.push(`Failed stage: ${failure.failedStage}`);
-    if (failure.failingTests.length > 0) {
-        lines.push('', `Failing tests (${failure.failingTests.length}):`);
-        for (const t of failure.failingTests.slice(0, MAX_LISTED_TESTS))
-            lines.push(`- ${t}`);
-        if (failure.failingTests.length > MAX_LISTED_TESTS)
-            lines.push(`- ... and ${failure.failingTests.length - MAX_LISTED_TESTS} more (see the full log)`);
-    }
-    else if (failure.parseFailure) {
-        const reported = failure.parseFailure.reportedFailures;
-        lines.push('', 'PARSE FAILURE: the run exited non-zero but the gate parsed no failing test from its log' +
-            (reported !== null ? ` (the runner itself reports ${reported} failing)` : '') + '. Read the full log to find what failed.');
-    }
-    return lines.join('\n');
-}
-/**
- * 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 async function fileVerificationReworkIssue(deliveryId, failure, deps = defaultReworkIssueDeps()) {
-    // ONE branch-level red is ONE piece of open work: a delivery that merely shared the
-    // verdict carries no Bug of its own (verify/rework-attribution.ts).
-    const at = failure.at;
-    if (at?.productId && failure.sha && deps.deliveryOwnsFailure
-        && !(await deps.deliveryOwnsFailure(deliveryId, { productId: at.productId, focusId: at.focusId, sha: failure.sha }))) {
-        return { filed: false, reason: 'not_its_failure' };
-    }
-    let issues;
-    try {
-        issues = await deps.getDeliveryIssues(deliveryId);
-    }
-    catch (err) {
-        log.warn(`[verification] rework issue: issues read failed for delivery ${deliveryId}:`, err.message);
-        return { filed: false, reason: 'read_failed' };
-    }
-    const work = issues.filter((i) => i.issueType !== CONTEXT_GROUP_TYPE);
-    if (work.some((i) => OPEN_ISSUE_STATUSES.has(i.status)))
-        return { filed: false, reason: 'open_work' };
-    const commitPrefix = failure.sha ? `${REWORK_ISSUE_TITLE_PREFIX} ${failure.sha.slice(0, 12)}:` : null;
-    if (commitPrefix && work.some((i) => i.title.startsWith(commitPrefix))) {
-        filedAt.set(deliveryId, failure.sha);
-        return { filed: false, reason: 'already_filed' };
-    }
-    // One red is one Bug on the FOCUS, not one per delivery that is asked -- and who is
-    // asked moves as deliveries are routed (module header).
-    if (commitPrefix && at) {
-        const elsewhere = await reworkFiledElsewhereOnFocus(at.focusId, deliveryId, commitPrefix, deps);
-        if (elsewhere === 'filed') {
-            filedAt.set(deliveryId, failure.sha);
-            return { filed: false, reason: 'already_filed' };
-        }
-        if (elsewhere === 'unknown')
-            return { filed: false, reason: 'read_failed' };
-    }
-    const title = reworkIssueTitle(failure);
-    try {
-        const issueId = await deps.createIssue(deliveryId, title, reworkIssueDescription(failure), 'Bug', 'P0');
-        if (failure.sha)
-            filedAt.set(deliveryId, failure.sha);
-        log.info(`[verification] filed rework Bug "${title}" on delivery ${deliveryId} (issue ${issueId}) -- the failure had no open issue to fix it`);
-        return { filed: true, issueId };
-    }
-    catch (err) {
-        log.warn(`[verification] rework issue: create failed for delivery ${deliveryId}:`, err.message);
-        return { filed: false, reason: 'create_failed' };
-    }
-}
-/**
- * Whether a rework Bug for this commit is already filed on ANOTHER delivery of the
- * focus (module header): 'filed', 'none', or 'unknown' when the focus could not be
- * read -- which files nothing this poll rather than guessing, because the guess that
- * fails open is exactly the N-Bugs fan-out. A deps object with no focus read answers
- * 'none', and the source pin in the test suite is what keeps production wired to one.
- * Never throws.
- */
-async function reworkFiledElsewhereOnFocus(focusId, deliveryId, commitPrefix, deps) {
-    if (!deps.getFocusDeliveries)
-        return 'none';
-    try {
-        for (const sibling of await deps.getFocusDeliveries(focusId)) {
-            if (sibling.id === deliveryId)
-                continue;
-            const issues = await deps.getDeliveryIssues(sibling.id);
-            if (issues.some((i) => i.issueType !== CONTEXT_GROUP_TYPE && i.title.startsWith(commitPrefix))) {
-                log.info(`[verification] rework issue: delivery ${deliveryId} was named owner of the failure at `
-                    + `"${commitPrefix}" but ${sibling.id} already carries it -- one red stays one work item`);
-                return 'filed';
-            }
-        }
-        return 'none';
-    }
-    catch (err) {
-        log.warn(`[verification] rework issue: focus ${focusId} could not be read to tell whether "${commitPrefix}" is already `
-            + `carried -- ${deliveryId} files nothing this poll (the owed filing is retried):`, err.message);
-        return 'unknown';
-    }
-}
-/** deliveryId -> the failed commit whose rework Bug is known filed (nothing owed there). */
-const filedAt = new Map();
-/** `${deliveryId}@${sha}` -> when an owed filing was last attempted (ms). */
-const lastRetryAt = new Map();
-/** Minimum spacing of owed-filing retries for one (delivery, failed commit). */
-export const REWORK_RETRY_INTERVAL_MS = 60_000;
-/** Test seam: forget every filed / retried commit. */
-export function __resetReworkIssueLedgerForTests() {
-    filedAt.clear();
-    lastRetryAt.clear();
-}
-export const defaultReworkRetryDeps = () => ({
-    ...defaultReworkIssueDeps(),
-    readCommitVerdict: (productId, focusId, sha) => readCommitVerdict(productId, focusId, sha),
-    now: Date.now,
-});
-/**
- * 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 async function retryOwedReworkIssue(delivery, at, deps = defaultReworkRetryDeps()) {
-    try {
-        const sha = readVerificationHistory(delivery.gateState).failedAtSha;
-        if (sha === undefined || filedAt.get(delivery.id) === sha || at.readHead() !== sha)
-            return null;
-        const key = `${delivery.id}@${sha}`;
-        const now = deps.now();
-        const last = lastRetryAt.get(key);
-        if (last !== undefined && now - last < REWORK_RETRY_INTERVAL_MS)
-            return null;
-        lastRetryAt.set(key, now);
-        const verdict = deps.readCommitVerdict(at.productId, at.focusId, sha);
-        const recorded = verdict?.outcome === 'failed' ? verdict : null;
-        return await fileVerificationReworkIssue(delivery.id, {
-            sha,
-            at: { productId: at.productId, focusId: at.focusId },
-            failingTests: recorded?.newFailures ?? [],
-            parseFailure: recorded?.parseFailure,
-            failedStage: recorded?.failedStage,
-            exitCode: recorded?.exitCode ?? null,
-            logPath: recorded?.logPath ?? null,
-        }, deps);
-    }
-    catch (err) {
-        log.warn(`[verification] rework issue: owed filing retry failed for delivery ${delivery.id}:`, err.message);
-        return null;
-    }
-}
-export const defaultFailedVerdictReworkDeps = () => ({
-    ...defaultReworkIssueDeps(), getFocusDeliveries, selectReworkOwner,
-});
-/**
- * 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 async function fileReworkForFailedVerdict(focusId, verdict, deps = defaultFailedVerdictReworkDeps()) {
-    if (verdict.outcome !== 'failed')
-        return 0;
-    let deliveries;
-    try {
-        deliveries = await deps.getFocusDeliveries(focusId);
-    }
-    catch (err) {
-        log.warn(`[verification] rework issue: deliveries unreadable for focus ${focusId} -- none filed this poll:`, err.message);
-        return 0;
-    }
-    const candidates = deliveries.filter((x) => x.executionStatus === DELIVERY_STATUS.VERIFY).map((x) => x.id);
-    // This pass knows its whole candidate set, so it picks the ONE owner here rather than
-    // offering the filing to each and letting the per-delivery predicate decline -- the
-    // choice can then land on a candidate it can actually tell. The rule is
-    // UNCONDITIONAL: a failure that cannot be attributed, or that arrives with no product
-    // context to attribute it by, still goes to exactly one delivery -- the candidate set's
-    // own unattributable owner, the same one the per-delivery path computes -- because
-    // fanning out "when we do not know" is the behaviour this module exists to remove.
-    // Null means there is no verify delivery to tell at all.
-    const owner = verdict.productId && verdict.sha && deps.selectReworkOwner
-        ? deps.selectReworkOwner(candidates, { productId: verdict.productId, focusId, sha: verdict.sha })
-        : unattributableOwner(candidates);
-    const targets = owner === null ? [] : [owner];
-    // The owner was chosen above over this pass's WHOLE candidate set, so the
-    // per-delivery predicate is not consulted again -- it answers over a set this pass
-    // may not share, and would veto a choice this pass can act on. The commit's focus
-    // still rides along: the per-commit dedupe is the focus's, not the delivery's.
-    const filing = {
-        getDeliveryIssues: deps.getDeliveryIssues,
-        createIssue: deps.createIssue,
-        getFocusDeliveries: deps.getFocusDeliveries,
-    };
-    let filed = 0;
-    for (const deliveryId of targets) {
-        const out = await fileVerificationReworkIssue(deliveryId, {
-            sha: verdict.sha,
-            at: { focusId },
-            failingTests: verdict.newFailures ?? [],
-            parseFailure: verdict.parseFailure,
-            failedStage: verdict.failedStage,
-            exitCode: verdict.exitCode,
-            logPath: verdict.logPath ?? null,
-        }, filing);
-        if (out.filed)
-            filed += 1;
-    }
-    return filed;
-}
-//# sourceMappingURL=verification-rework-issue.js.map

package/dist/verify/verification-rework-issue.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-rework-issue.js","sourceRoot":"","sources":["../../src/verify/verification-rework-issue.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,oGAAoG;AACpG,mFAAmF;AACnF,yEAAyE;AACzE,8DAA8D;AAC9D,kEAAkE;AAClE,mEAAmE;AACnE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,iBAAiB,EAAsB,MAAM,4BAA4B,CAAC;AACnF,OAAO,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAEhF,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,mBAAmB,EAAqB,MAAM,yBAAyB,CAAC;AACzH,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD,kEAAkE;AAClE,MAAM,CAAC,MAAM,yBAAyB,GAAG,uBAAuB,CAAC;AAEjE,mFAAmF;AACnF,MAAM,gBAAgB,GAAG,EAAE,CAAC;AA6B5B,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAoB,EAAE,CAAC,CAAC,EAAE,iBAAiB,EAAE,WAAW,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,CAAC,CAAC;AA6B3I,wDAAwD;AACxD,MAAM,UAAU,gBAAgB,CAAC,OAAqF;IACpH,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC;IAC3E,MAAM,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;QAC1C,CAAC,CAAC,OAAO,OAAO,CAAC,YAAY,CAAC,MAAM,kBAAkB;QACtD,CAAC,CAAC,OAAO,CAAC,YAAY;YACpB,CAAC,CAAC,mDAAmD;YACrD,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,OAAO,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,uBAAuB,CAAC;IAC3F,OAAO,GAAG,yBAAyB,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;AACvD,CAAC;AAED,0CAA0C;AAC1C,MAAM,UAAU,sBAAsB,CAAC,OAAsB;IAC3D,MAAM,KAAK,GAAG;QACZ,uCAAuC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,6BAA6B;YAChH,kHAAkH;YAClH,yEAAyE;QAC3E,EAAE;QACF,cAAc,OAAO,CAAC,QAAQ,IAAI,WAAW,EAAE;QAC/C,aAAa,OAAO,CAAC,OAAO,IAAI,6DAA6D,EAAE;KAChG,CAAC;IACF,IAAI,OAAO,CAAC,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAC5E,IAAI,OAAO,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,kBAAkB,OAAO,CAAC,YAAY,CAAC,MAAM,IAAI,CAAC,CAAC;QAClE,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACtF,IAAI,OAAO,CAAC,YAAY,CAAC,MAAM,GAAG,gBAAgB;YAAE,KAAK,CAAC,IAAI,CAAC,aAAa,OAAO,CAAC,YAAY,CAAC,MAAM,GAAG,gBAAgB,0BAA0B,CAAC,CAAC;IACxJ,CAAC;SAAM,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,gBAAgB,CAAC;QACvD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,yFAAyF;YACtG,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,+BAA+B,QAAQ,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,0CAA0C,CAAC,CAAC;IAChI,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,UAAkB,EAClB,OAAsB,EACtB,OAAwB,sBAAsB,EAAE;IAEhD,oFAAoF;IACpF,oEAAoE;IACpE,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;IACtB,IAAI,EAAE,EAAE,SAAS,IAAI,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,mBAAmB;WACvD,CAAC,CAAC,MAAM,IAAI,CAAC,mBAAmB,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;QACvH,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC;IACrD,CAAC;IACD,IAAI,MAAiC,CAAC;IACtC,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;IACpD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,gEAAgE,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QAChH,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IACjD,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,kBAAkB,CAAC,CAAC;IACtE,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IACtG,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,yBAAyB,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;IACtG,IAAI,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;QACvE,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,GAAI,CAAC,CAAC;QACtC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IACnD,CAAC;IACD,oFAAoF;IACpF,wDAAwD;IACxD,IAAI,YAAY,IAAI,EAAE,EAAE,CAAC;QACvB,MAAM,SAAS,GAAG,MAAM,2BAA2B,CAAC,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;QAChG,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;YAC1B,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,GAAI,CAAC,CAAC;YACtC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;QACnD,CAAC;QACD,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAC9E,CAAC;IACD,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,KAAK,EAAE,sBAAsB,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACxG,IAAI,OAAO,CAAC,GAAG;YAAE,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QACtD,GAAG,CAAC,IAAI,CAAC,oCAAoC,KAAK,iBAAiB,UAAU,WAAW,OAAO,8CAA8C,CAAC,CAAC;QAC/I,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAClC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,2DAA2D,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QAC3G,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IACnD,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,KAAK,UAAU,2BAA2B,CACxC,OAAe,EACf,UAAkB,EAClB,YAAoB,EACpB,IAAqB;IAErB,IAAI,CAAC,IAAI,CAAC,kBAAkB;QAAE,OAAO,MAAM,CAAC;IAC5C,IAAI,CAAC;QACH,KAAK,MAAM,OAAO,IAAI,MAAM,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7D,IAAI,OAAO,CAAC,EAAE,KAAK,UAAU;gBAAE,SAAS;YACxC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACxD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,kBAAkB,IAAI,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;gBAC/F,GAAG,CAAC,IAAI,CACN,yCAAyC,UAAU,qCAAqC;sBACtF,IAAI,YAAY,SAAS,OAAO,CAAC,EAAE,oDAAoD,CAC1F,CAAC;gBACF,OAAO,OAAO,CAAC;YACjB,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CACN,sCAAsC,OAAO,uCAAuC,YAAY,eAAe;cAC7G,cAAc,UAAU,wDAAwD,EACjF,GAAa,CAAC,OAAO,CACvB,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,4FAA4F;AAC5F,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;AAC1C,6EAA6E;AAC7E,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;AAE9C,gFAAgF;AAChF,MAAM,CAAC,MAAM,wBAAwB,GAAG,MAAM,CAAC;AAE/C,sDAAsD;AACtD,MAAM,UAAU,gCAAgC;IAC9C,OAAO,CAAC,KAAK,EAAE,CAAC;IAChB,WAAW,CAAC,KAAK,EAAE,CAAC;AACtB,CAAC;AAQD,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAoB,EAAE,CAAC,CAAC;IAC5D,GAAG,sBAAsB,EAAE;IAC3B,iBAAiB,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,CAAC;IAC1F,GAAG,EAAE,IAAI,CAAC,GAAG;CACd,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,QAA6C,EAC7C,EAAyE,EACzE,OAAwB,sBAAsB,EAAE;IAEhD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,uBAAuB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC;QACpE,IAAI,GAAG,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,GAAG,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC;QAChG,MAAM,GAAG,GAAG,GAAG,QAAQ,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,GAAG,IAAI,GAAG,wBAAwB;YAAE,OAAO,IAAI,CAAC;QAC7E,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACtE,MAAM,QAAQ,GAAG,OAAO,EAAE,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;QAChE,OAAO,MAAM,2BAA2B,CAAC,QAAQ,CAAC,EAAE,EAAE;YACpD,GAAG;YACH,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE;YACpD,YAAY,EAAE,QAAQ,EAAE,WAAW,IAAI,EAAE;YACzC,YAAY,EAAE,QAAQ,EAAE,YAAY;YACpC,WAAW,EAAE,QAAQ,EAAE,WAAW;YAClC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,IAAI,IAAI;YACpC,OAAO,EAAE,QAAQ,EAAE,OAAO,IAAI,IAAI;SACnC,EAAE,IAAI,CAAC,CAAC;IACX,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,sEAAsE,QAAQ,CAAC,EAAE,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACvH,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAcD,MAAM,CAAC,MAAM,8BAA8B,GAAG,GAA4B,EAAE,CAAC,CAAC;IAC5E,GAAG,sBAAsB,EAAE,EAAE,kBAAkB,EAAE,iBAAiB;CACnE,CAAC,CAAC;AAEH;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,OAAe,EACf,OAC6C,EAC7C,OAAgC,8BAA8B,EAAE;IAEhE,IAAI,OAAO,CAAC,OAAO,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IAC3C,IAAI,UAA8E,CAAC;IACnF,IAAI,CAAC;QACH,UAAU,GAAG,MAAM,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACtD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,gEAAgE,OAAO,2BAA2B,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACrI,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,KAAK,eAAe,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3G,sFAAsF;IACtF,oFAAoF;IACpF,wEAAwE;IACxE,sFAAsF;IACtF,wFAAwF;IACxF,mFAAmF;IACnF,mFAAmF;IACnF,yDAAyD;IACzD,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,iBAAiB;QACtE,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;QACjG,CAAC,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC9C,0EAA0E;IAC1E,mFAAmF;IACnF,kFAAkF;IAClF,+EAA+E;IAC/E,MAAM,MAAM,GAAoB;QAC9B,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;QACzC,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;KAC5C,CAAC;IACF,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,UAAU,IAAI,OAAO,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,MAAM,2BAA2B,CAAC,UAAU,EAAE;YACxD,GAAG,EAAE,OAAO,CAAC,GAAG;YAChB,EAAE,EAAE,EAAE,OAAO,EAAE;YACf,YAAY,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE;YACvC,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,IAAI;SACjC,EAAE,MAAM,CAAC,CAAC;QACX,IAAI,GAAG,CAAC,KAAK;YAAE,KAAK,IAAI,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

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

@@ -1,19 +0,0 @@
-/**
- * The messages a live coding team receives when a delivery is re-worked from
- * verify on a deterministic failure or a shortfall.
- *
- * Moved out of verification-feedback.ts (at the daemon 800-line limit) when these
- * messages began carrying the gate's recorded verdict for the judged commit. Both
- * compose prompt-sections/gate-verdict-section.ts, the one rendering of that
- * verdict, so this inject and the gate_state listing a respawned team reads
- * (prompt/prompt-listing) say the same thing. The evidence-unavailable message
- * lives with its own feedback path (verification-evidence-unavailable-feedback.ts).
- *
- * @module verification-rework-messages
- */
-import type { ShortfallReconciliationDetail, VerificationFailureDetail } from '../queries/delivery-gate-state.js';
-/** Build the failure message injected into a live team session. Pure -- exported for testing. */
-export declare function buildFailureInjectMessage(deliveryName: string, detail: VerificationFailureDetail): string;
-/** Build the message injected into a live team for a shortfall hold. Pure -- exported for testing. */
-export declare function buildShortfallInjectMessage(deliveryName: string, detail: ShortfallReconciliationDetail): string;
-//# sourceMappingURL=verification-rework-messages.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"verification-rework-messages.d.ts","sourceRoot":"","sources":["../../src/verify/verification-rework-messages.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,6BAA6B,EAC7B,yBAAyB,EAC1B,MAAM,mCAAmC,CAAC;AAS3C,iGAAiG;AACjG,wBAAgB,yBAAyB,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,yBAAyB,GAAG,MAAM,CA+BzG;AAED,sGAAsG;AACtG,wBAAgB,2BAA2B,CACzC,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,6BAA6B,GACpC,MAAM,CAuBR"}

package/dist/verify/verification-rework-messages.js

@@ -1,62 +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-feedback.test.ts
-// PINNED-BY-END
-import { buildGateVerdictLines, HELD_BY_SHORTFALL } from '../prompt-sections/gate-verdict-section.js';
-import { renderMisattributedCommitLines } from './misattributed-commits.js';
-/** The verdict block followed by a blank line, or nothing when there is no verdict. */
-function verdictBlock(lines) {
-    return lines.length > 0 ? [...lines, ''] : [];
-}
-/** Build the failure message injected into a live team session. Pure -- exported for testing. */
-export function buildFailureInjectMessage(deliveryName, detail) {
-    const lines = [
-        `VERIFICATION FAILED for delivery "${deliveryName}".`,
-        '',
-        ...verdictBlock(buildGateVerdictLines(detail.gateVerdict)),
-        detail.exitCode != null ? `Exit code: ${detail.exitCode}` : 'Exit code: (unknown)',
-        detail.logPath ? `Full log: ${detail.logPath}` : 'Full log: (not captured)',
-    ];
-    if (detail.failingTests.length > 0) {
-        lines.push('', `Failing tests (${detail.failingTests.length}):`);
-        for (const t of detail.failingTests.slice(0, 50))
-            lines.push(`- ${t}`);
-        if (detail.failingTests.length > 50) {
-            lines.push(`- ... and ${detail.failingTests.length - 50} more (see full log)`);
-        }
-    }
-    else if (detail.parseFailure) {
-        const reported = detail.parseFailure.reportedFailures;
-        lines.push('', `PARSE FAILURE: the run exited non-zero but the gate parsed no failing test from its log` +
-            (reported !== null ? ` (the runner itself reports ${reported} failing)` : '') +
-            ' -- read the full log to find what failed.');
-    }
-    else {
-        lines.push('', 'Failing tests could not be parsed from the run output -- read the full log.');
-    }
-    lines.push('', 'Fix the failing tests for the files you changed, then commit. The daemon re-verifies ' +
-        'at the coding -> verify edge -- do NOT run the whole-repo suite yourself.');
-    return lines.join('\n');
-}
-/** Build the message injected into a live team for a shortfall hold. Pure -- exported for testing. */
-export function buildShortfallInjectMessage(deliveryName, detail) {
-    const lines = [
-        `VERIFY HELD for delivery "${deliveryName}": the achieved outcome falls short of the declared desired effect.`,
-        '',
-        'This is NOT a failing-test failure -- the deterministic check is not the blocker. The verify ' +
-            'reconciliation compared what your diff delivered against the declared intent for each targeted ' +
-            'node and found a gap. Close the gap in the diff, then commit.',
-        '',
-        ...verdictBlock(buildGateVerdictLines(detail.gateVerdict, { heldBy: HELD_BY_SHORTFALL })),
-        `Declared-vs-achieved gap(s) (${detail.shortfalls.length}):`,
-    ];
-    for (const s of detail.shortfalls) {
-        lines.push(`- node ${s.nodeId}`, `  declared: ${s.declared}`, `  achieved: ${s.achieved}`, `  shortfall: ${s.reason}`);
-        if (s.diffCitation)
-            lines.push(`  diff citation: ${s.diffCitation}`);
-    }
-    const misattributed = renderMisattributedCommitLines(detail.misattributed);
-    if (misattributed.length > 0)
-        lines.push('', ...misattributed);
-    return lines.join('\n');
-}
-//# sourceMappingURL=verification-rework-messages.js.map

package/dist/verify/verification-rework-messages.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-rework-messages.js","sourceRoot":"","sources":["../../src/verify/verification-rework-messages.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,sEAAsE;AACtE,gBAAgB;AAoBhB,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,4CAA4C,CAAC;AACtG,OAAO,EAAE,8BAA8B,EAAE,MAAM,4BAA4B,CAAC;AAE5E,uFAAuF;AACvF,SAAS,YAAY,CAAC,KAAe;IACnC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,yBAAyB,CAAC,YAAoB,EAAE,MAAiC;IAC/F,MAAM,KAAK,GAAa;QACtB,qCAAqC,YAAY,IAAI;QACrD,EAAE;QACF,GAAG,YAAY,CAAC,qBAAqB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QAC1D,MAAM,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,sBAAsB;QAClF,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,0BAA0B;KAC5E,CAAC;IACF,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,kBAAkB,MAAM,CAAC,YAAY,CAAC,MAAM,IAAI,CAAC,CAAC;QACjE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACvE,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,EAAE,sBAAsB,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;SAAM,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,gBAAgB,CAAC;QACtD,KAAK,CAAC,IAAI,CACR,EAAE,EACF,yFAAyF;YACvF,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,+BAA+B,QAAQ,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7E,4CAA4C,CAC/C,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,6EAA6E,CAAC,CAAC;IAChG,CAAC;IACD,KAAK,CAAC,IAAI,CACR,EAAE,EACF,uFAAuF;QACvF,2EAA2E,CAC5E,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,sGAAsG;AACtG,MAAM,UAAU,2BAA2B,CACzC,YAAoB,EACpB,MAAqC;IAErC,MAAM,KAAK,GAAa;QACtB,6BAA6B,YAAY,qEAAqE;QAC9G,EAAE;QACF,+FAA+F;YAC/F,iGAAiG;YACjG,+DAA+D;QAC/D,EAAE;QACF,GAAG,YAAY,CAAC,qBAAqB,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC,CAAC;QACzF,gCAAgC,MAAM,CAAC,UAAU,CAAC,MAAM,IAAI;KAC7D,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CACR,UAAU,CAAC,CAAC,MAAM,EAAE,EACpB,eAAe,CAAC,CAAC,QAAQ,EAAE,EAC3B,eAAe,CAAC,CAAC,QAAQ,EAAE,EAC3B,gBAAgB,CAAC,CAAC,MAAM,EAAE,CAC3B,CAAC;QACF,IAAI,CAAC,CAAC,YAAY;YAAE,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,aAAa,GAAG,8BAA8B,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAC3E,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,aAAa,CAAC,CAAC;IAC/D,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/verify/verification-strategies.d.ts

@@ -1,32 +0,0 @@
-/**
- * The per-method verification strategy bodies the engine dispatches
- * (verify/verification-engine.ts STRATEGIES): the behavioral scaffold and the
- * tool-augmented ai_inspection runner mapping. Split out of the engine at the
- * daemon 800-line ceiling; the engine re-exports both for existing importers.
- *
- * @module verify/verification-strategies
- */
-import type { StrategyResult } from './verification-deterministic.js';
-import type { VerificationDeps } from './verification-deps.js';
-import type { PendingVerification } from '../queries/verification.js';
-import type { InspectionResult } from './ai-inspection-runner.js';
-export declare function runBehavioralStrategy(): Promise<StrategyResult>;
-/**
- * Spawn a tool-augmented Claude runner against the focus worktree to judge
- * whether the injection's FRT statement holds in the code state. Maps the
- * runner verdict to a verification outcome:
- *   - passed       → outcome 'passed' (caller will retire injection)
- *   - failed       → outcome 'failed' (caller will revert delivery to coding)
- *   - inconclusive → outcome 'pending' (caller leaves the row in queue)
- *
- * The strategy itself does NOT call verifyInjection or emit drift proposals;
- * those side effects are wired by runVerificationForDelivery (next task)
- * so the dispatch layer stays the single owner of the pass-path side effect.
- *
- * Drift observations from the runner are returned via the rationale field
- * (compact JSON) so the caller can persist them as crt_drift_proposals.
- */
-export declare function runAiInspectionStrategy(deps: VerificationDeps, v: PendingVerification): Promise<StrategyResult & {
-    inspection?: InspectionResult;
-}>;
-//# sourceMappingURL=verification-strategies.d.ts.map

package/dist/verify/verification-strategies.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-strategies.d.ts","sourceRoot":"","sources":["../../src/verify/verification-strategies.ts"],"names":[],"mappings":"AAIA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAuB,MAAM,4BAA4B,CAAC;AAC3F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAMlE,wBAAsB,qBAAqB,IAAI,OAAO,CAAC,cAAc,CAAC,CAKrE;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,gBAAgB,EACtB,CAAC,EAAE,mBAAmB,GACrB,OAAO,CAAC,cAAc,GAAG;IAAE,UAAU,CAAC,EAAE,gBAAgB,CAAA;CAAE,CAAC,CAmB7D"}

package/dist/verify/verification-strategies.js

@@ -1,47 +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-engine.test.ts
-// PINNED-BY-END
-// ---------------------------------------------------------------------------
-// Strategies
-// ---------------------------------------------------------------------------
-export async function runBehavioralStrategy() {
-    return {
-        outcome: 'pending',
-        rationale: 'behavioral strategy scaffold -- runtime telemetry source not yet wired (see drift detection 82bdf164)',
-    };
-}
-/**
- * Spawn a tool-augmented Claude runner against the focus worktree to judge
- * whether the injection's FRT statement holds in the code state. Maps the
- * runner verdict to a verification outcome:
- *   - passed       → outcome 'passed' (caller will retire injection)
- *   - failed       → outcome 'failed' (caller will revert delivery to coding)
- *   - inconclusive → outcome 'pending' (caller leaves the row in queue)
- *
- * The strategy itself does NOT call verifyInjection or emit drift proposals;
- * those side effects are wired by runVerificationForDelivery (next task)
- * so the dispatch layer stays the single owner of the pass-path side effect.
- *
- * Drift observations from the runner are returned via the rationale field
- * (compact JSON) so the caller can persist them as crt_drift_proposals.
- */
-export async function runAiInspectionStrategy(deps, v) {
-    const inputs = await deps.resolveAiInspectionInputs(v);
-    if (!inputs) {
-        return {
-            outcome: 'pending',
-            rationale: 'ai_inspection skipped: injection node not found',
-        };
-    }
-    const inspection = await deps.runAiInspection(inputs);
-    const outcome = inspection.verdict === 'passed' ? 'passed'
-        : inspection.verdict === 'failed' ? 'failed'
-            : 'pending';
-    return {
-        outcome,
-        rationale: inspection.rationale,
-        deliveryDiff: inputs.deliveryDiff,
-        inspection,
-    };
-}
-//# sourceMappingURL=verification-strategies.js.map

package/dist/verify/verification-strategies.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-strategies.js","sourceRoot":"","sources":["../../src/verify/verification-strategies.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,oEAAoE;AACpE,gBAAgB;AAehB,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,qBAAqB;IACzC,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,uGAAuG;KACnH,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,IAAsB,EACtB,CAAsB;IAEtB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,OAAO,EAAE,SAAS;YAClB,SAAS,EAAE,iDAAiD;SAC7D,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;IACtD,MAAM,OAAO,GACX,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ;QAC1C,CAAC,CAAC,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ;YAC5C,CAAC,CAAC,SAAS,CAAC;IACd,OAAO;QACL,OAAO;QACP,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,UAAU;KACX,CAAC;AACJ,CAAC"}