crewly 1.20.377 → 1.20.379

package/dist/backend/backend/src/services/v3/owner-receipt/verified-spot-check.js

@@ -0,0 +1,243 @@
+/**
+ * Verified-work spot-check (#1315, phase 1) — once a day, pick a few WorkItems
+ * that were verified in the last 24 hours and re-check that every file
+ * artifact recorded as their evidence still exists.
+ *
+ * Read-only: it never changes a WorkItem and never re-runs a command (that is
+ * a later phase). Evidence that is not a local file (URLs, commands, blocked
+ * reports) is counted as skipped, not as a pass or a failure. Pure apart from
+ * the injected file check and random source, so a day's sample is repeatable.
+ *
+ * @module services/v3/owner-receipt/verified-spot-check
+ */
+import * as path from 'path';
+import { fileURLToPath } from 'url';
+import { OWNER_RECEIPT_CONSTANTS, WORKTREE_CONSTANTS } from '../../../constants.js';
+import { artifactBaseDirs } from '../../task-pool/completion-evidence.service.js';
+/**
+ * Deterministic random source (mulberry32).
+ *
+ * @param seed - Any integer
+ * @returns Generator of numbers in [0, 1)
+ */
+export function seededRandom(seed) {
+    let a = seed >>> 0;
+    return () => {
+        a = (a + 0x6d2b79f5) >>> 0;
+        let t = a;
+        t = Math.imul(t ^ (t >>> 15), t | 1);
+        t ^= t + Math.imul(t ^ (t >>> 7), t | 61);
+        return ((t ^ (t >>> 14)) >>> 0) / 4294967296;
+    };
+}
+/**
+ * Seed for a calendar day, so a second run on the same day picks the same items.
+ *
+ * @param now - The run time
+ * @returns Integer seed
+ */
+export function daySeed(now) {
+    const day = now.toISOString().slice(0, 10);
+    let h = 2166136261;
+    for (let i = 0; i < day.length; i++)
+        h = Math.imul(h ^ day.charCodeAt(i), 16777619);
+    return h >>> 0;
+}
+/**
+ * Split a WorkItem's recorded evidence into file artifacts to look at and a
+ * count of entries that are not checked.
+ *
+ * @param wi - WorkItem
+ * @param homeDir - Home directory for `~/`
+ * @returns Targets and the skipped count
+ */
+export function fileTargetsOf(wi, homeDir) {
+    const evidence = wi.output?.['evidence'];
+    const targets = [];
+    let skipped = 0;
+    if (!Array.isArray(evidence))
+        return { targets, skipped };
+    const bases = artifactBaseDirs(wi);
+    for (const entry of evidence) {
+        const e = (typeof entry === 'object' && entry !== null ? entry : {});
+        const raw = e['type'] === 'artifact' && typeof e['path'] === 'string' ? e['path'].trim() : '';
+        if (!raw) {
+            skipped += 1; // a command or a blocked report
+            continue;
+        }
+        const scheme = /^([a-z][a-z0-9+.-]*:)\/\//i.exec(raw)?.[1]?.toLowerCase();
+        let local = raw;
+        if (scheme === 'file:') {
+            try {
+                local = fileURLToPath(raw);
+            }
+            catch {
+                skipped += 1;
+                continue;
+            }
+        }
+        else if (scheme) {
+            skipped += 1; // http(s) or another URL: not a file on this machine
+            continue;
+        }
+        else if (raw === '~' || raw.startsWith('~/')) {
+            local = path.join(homeDir, raw.slice(1));
+        }
+        targets.push({ raw, candidates: path.isAbsolute(local) ? [local] : bases.map((b) => path.resolve(b, local)) });
+    }
+    return { targets, skipped };
+}
+/**
+ * The worktree root an absolute path lies in: the WorkItem's recorded
+ * worktree, else the directory after a known worktree marker.
+ *
+ * @param abs - Absolute artifact path
+ * @param wi - The WorkItem
+ * @returns The worktree root, or null when the path is outside any worktree
+ */
+export function worktreeRootOf(abs, wi) {
+    for (const base of artifactBaseDirsOfWorktree(wi)) {
+        if (abs === base || abs.startsWith(base + path.sep))
+            return base;
+    }
+    const norm = abs.split(path.sep).join('/');
+    for (const marker of OWNER_RECEIPT_CONSTANTS.VERIFIED_SPOT_CHECK.WORKTREE_MARKERS) {
+        const needle = `/${marker}/`;
+        const at = norm.indexOf(needle);
+        if (at < 0)
+            continue;
+        const rest = norm.slice(at + needle.length).split('/')[0];
+        if (rest)
+            return norm.slice(0, at + needle.length) + rest;
+    }
+    return null;
+}
+/**
+ * Recorded worktree paths of a WorkItem (`metadata.worktree.path` / `workdir`).
+ *
+ * @param wi - The WorkItem
+ * @returns Absolute paths
+ */
+function artifactBaseDirsOfWorktree(wi) {
+    const wt = (wi.metadata ?? {})[WORKTREE_CONSTANTS.METADATA_KEY];
+    if (typeof wt !== 'object' || wt === null)
+        return [];
+    const rec = wt;
+    return ['path', 'workdir'].map((k) => rec[k]).filter((v) => typeof v === 'string' && path.isAbsolute(v));
+}
+/**
+ * Run the spot-check.
+ *
+ * @param input - WorkItems, clock, team lookup, file check
+ * @returns What was sampled and what is missing
+ */
+export async function runSpotCheck(input) {
+    const C = OWNER_RECEIPT_CONSTANTS.VERIFIED_SPOT_CHECK;
+    const to = input.now.getTime();
+    const from = to - C.WINDOW_MS;
+    const homeDir = input.homeDir ?? '';
+    const eligible = [];
+    for (const wi of input.workItems) {
+        if (wi.status !== 'verified' || !wi.completedAt)
+            continue;
+        const t = Date.parse(wi.completedAt);
+        if (!Number.isFinite(t) || t < from || t > to)
+            continue;
+        const { targets, skipped } = fileTargetsOf(wi, homeDir);
+        if (targets.length === 0)
+            continue;
+        eligible.push({ wi, targets, skipped });
+    }
+    // Stable order first, so the same seed picks the same items.
+    eligible.sort((a, b) => a.wi.id.localeCompare(b.wi.id));
+    const rand = input.random ?? seededRandom(daySeed(input.now));
+    const picked = [...eligible];
+    for (let i = picked.length - 1; i > 0; i--) {
+        const j = Math.floor(rand() * (i + 1));
+        [picked[i], picked[j]] = [picked[j], picked[i]];
+    }
+    const sample = picked.slice(0, Math.max(0, input.sampleSize ?? C.SAMPLE_SIZE));
+    const result = {
+        at: input.now.toISOString(),
+        eligible: eligible.length,
+        sampled: sample.length,
+        artifactsChecked: 0,
+        skipped: 0,
+        worktreeCleaned: 0,
+        discrepancies: [],
+    };
+    for (const { wi, targets, skipped } of sample) {
+        result.skipped += skipped;
+        const team = (wi.target ? input.teamOf(wi.target) : null) ?? OWNER_RECEIPT_CONSTANTS.UNASSIGNED_TEAM;
+        for (const target of targets) {
+            if (target.candidates.length === 0) {
+                result.skipped += 1; // relative path and no project or worktree to resolve it against
+                continue;
+            }
+            result.artifactsChecked += 1;
+            let found = false;
+            for (const c of target.candidates) {
+                try {
+                    if (await input.exists(c)) {
+                        found = true;
+                        break;
+                    }
+                }
+                catch {
+                    // an unreadable path counts as not found
+                }
+            }
+            if (!found) {
+                // The janitor removes worktrees after merge: a file inside a worktree
+                // that is itself gone was cleaned, not lost.
+                let cleaned = true;
+                for (const c of target.candidates) {
+                    const root = worktreeRootOf(c, wi);
+                    let rootGone = false;
+                    if (root) {
+                        try {
+                            rootGone = !(await input.exists(root));
+                        }
+                        catch {
+                            rootGone = false;
+                        }
+                    }
+                    if (!rootGone) {
+                        cleaned = false; // outside any worktree, or its worktree still exists: really missing
+                        break;
+                    }
+                }
+                if (cleaned) {
+                    result.artifactsChecked -= 1;
+                    result.skipped += 1;
+                    result.worktreeCleaned += 1;
+                    continue;
+                }
+            }
+            if (!found)
+                result.discrepancies.push({ workItemId: wi.id, team, artifactPath: target.raw });
+        }
+    }
+    return result;
+}
+/**
+ * The owner line: always present, zero is said out loud. No WorkItem ids.
+ *
+ * @param r - The run
+ * @returns Slack mrkdwn, one to five lines
+ */
+export function renderSpotCheck(r) {
+    const d = r.discrepancies.length;
+    const noun = d === 1 ? 'discrepancy' : 'discrepancies';
+    const head = `*Spot-check of verified work:* ${r.sampled} sampled, ${d} ${noun}`;
+    if (r.sampled === 0)
+        return `${head} (nothing verified in the last day had a file to look at)`;
+    if (d === 0)
+        return head;
+    const max = OWNER_RECEIPT_CONSTANTS.VERIFIED_SPOT_CHECK.MAX_LISTED;
+    const lines = r.discrepancies.slice(0, max).map((x) => `• ${x.team}: \`${x.artifactPath}\` is gone`);
+    if (d > max)
+        lines.push(`• +${d - max} more`);
+    return [head, ...lines].join('\n');
+}
+//# sourceMappingURL=verified-spot-check.js.map

package/dist/backend/backend/src/services/v3/owner-receipt/verified-spot-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verified-spot-check.js","sourceRoot":"","sources":["../../../../../../../backend/src/services/v3/owner-receipt/verified-spot-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAEpF,OAAO,EAAE,gBAAgB,EAAE,MAAM,gDAAgD,CAAC;AAoDlF;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC;IACnB,OAAO,GAAG,EAAE;QACV,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC;IAC/C,CAAC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CAAC,GAAS;IAC/B,MAAM,GAAG,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3C,IAAI,CAAC,GAAG,UAAU,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACpF,OAAO,CAAC,KAAK,CAAC,CAAC;AACjB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,EAAY,EAAE,OAAe;IACzD,MAAM,QAAQ,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,CAAC;IACzC,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IAC1D,MAAM,KAAK,GAAG,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAA4B,CAAC;QAChG,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,UAAU,IAAI,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9F,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,OAAO,IAAI,CAAC,CAAC,CAAC,gCAAgC;YAC9C,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,4BAA4B,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;QAC1E,IAAI,KAAK,GAAG,GAAG,CAAC;QAChB,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;YACvB,IAAI,CAAC;gBACH,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;YAC7B,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,IAAI,CAAC,CAAC;gBACb,SAAS;YACX,CAAC;QACH,CAAC;aAAM,IAAI,MAAM,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC,CAAC,CAAC,qDAAqD;YACnE,SAAS;QACX,CAAC;aAAM,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/C,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;IACjH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC9B,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,GAAW,EAAE,EAAY;IACtD,KAAK,MAAM,IAAI,IAAI,0BAA0B,CAAC,EAAE,CAAC,EAAE,CAAC;QAClD,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;IACnE,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,KAAK,MAAM,MAAM,IAAI,uBAAuB,CAAC,mBAAmB,CAAC,gBAAgB,EAAE,CAAC;QAClF,MAAM,MAAM,GAAG,IAAI,MAAM,GAAG,CAAC;QAC7B,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAChC,IAAI,EAAE,GAAG,CAAC;YAAE,SAAS;QACrB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAC5D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,0BAA0B,CAAC,EAAY;IAC9C,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,kBAAkB,CAAC,YAAY,CAAC,CAAC;IAChE,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACrD,MAAM,GAAG,GAAG,EAA6B,CAAC;IAC1C,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;AACxH,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,KAAqB;IACtD,MAAM,CAAC,GAAG,uBAAuB,CAAC,mBAAmB,CAAC;IACtD,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC;IAC9B,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC;IACpC,MAAM,QAAQ,GAAoE,EAAE,CAAC;IACrF,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACjC,IAAI,EAAE,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,EAAE,CAAC,WAAW;YAAE,SAAS;QAC1D,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;QACrC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE;YAAE,SAAS;QACxD,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,aAAa,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QACxD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;IAC1C,CAAC;IACD,6DAA6D;IAC7D,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,IAAI,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;IAC7B,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAE/E,MAAM,MAAM,GAAoB;QAC9B,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE;QAC3B,QAAQ,EAAE,QAAQ,CAAC,MAAM;QACzB,OAAO,EAAE,MAAM,CAAC,MAAM;QACtB,gBAAgB,EAAE,CAAC;QACnB,OAAO,EAAE,CAAC;QACV,eAAe,EAAE,CAAC;QAClB,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,MAAM,EAAE,CAAC;QAC9C,MAAM,CAAC,OAAO,IAAI,OAAO,CAAC;QAC1B,MAAM,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,uBAAuB,CAAC,eAAe,CAAC;QACrG,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACnC,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,iEAAiE;gBACtF,SAAS;YACX,CAAC;YACD,MAAM,CAAC,gBAAgB,IAAI,CAAC,CAAC;YAC7B,IAAI,KAAK,GAAG,KAAK,CAAC;YAClB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBAClC,IAAI,CAAC;oBACH,IAAI,MAAM,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC1B,KAAK,GAAG,IAAI,CAAC;wBACb,MAAM;oBACR,CAAC;gBACH,CAAC;gBAAC,MAAM,CAAC;oBACP,yCAAyC;gBAC3C,CAAC;YACH,CAAC;YACD,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,sEAAsE;gBACtE,6CAA6C;gBAC7C,IAAI,OAAO,GAAG,IAAI,CAAC;gBACnB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;oBAClC,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACnC,IAAI,QAAQ,GAAG,KAAK,CAAC;oBACrB,IAAI,IAAI,EAAE,CAAC;wBACT,IAAI,CAAC;4BACH,QAAQ,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;wBACzC,CAAC;wBAAC,MAAM,CAAC;4BACP,QAAQ,GAAG,KAAK,CAAC;wBACnB,CAAC;oBACH,CAAC;oBACD,IAAI,CAAC,QAAQ,EAAE,CAAC;wBACd,OAAO,GAAG,KAAK,CAAC,CAAC,qEAAqE;wBACtF,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,IAAI,OAAO,EAAE,CAAC;oBACZ,MAAM,CAAC,gBAAgB,IAAI,CAAC,CAAC;oBAC7B,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC;oBACpB,MAAM,CAAC,eAAe,IAAI,CAAC,CAAC;oBAC5B,SAAS;gBACX,CAAC;YACH,CAAC;YACD,IAAI,CAAC,KAAK;gBAAE,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;QAC/F,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,CAAkB;IAChD,MAAM,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,eAAe,CAAC;IACvD,MAAM,IAAI,GAAG,kCAAkC,CAAC,CAAC,OAAO,aAAa,CAAC,IAAI,IAAI,EAAE,CAAC;IACjF,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC;QAAE,OAAO,GAAG,IAAI,2DAA2D,CAAC;IAC/F,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,GAAG,GAAG,uBAAuB,CAAC,mBAAmB,CAAC,UAAU,CAAC;IACnE,MAAM,KAAK,GAAG,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,YAAY,YAAY,CAAC,CAAC;IACrG,IAAI,CAAC,GAAG,GAAG;QAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,GAAG,OAAO,CAAC,CAAC;IAC9C,OAAO,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACrC,CAAC"}

package/dist/backend/backend/src/services/v3/owner-receipt/verified-spot-check.loader.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Loader for the verified-work spot-check (#1315): reads the WorkItems and the
+ * team index, checks files on the real disk, and hands them to the pure
+ * {@link runSpotCheck}.
+ *
+ * @module services/v3/owner-receipt/verified-spot-check.loader
+ */
+import type { WorkItem } from '../../../types/v2/work-item.types.js';
+import { type SpotCheckResult } from './verified-spot-check.js';
+/** Where the loader reads from. */
+export interface SpotCheckLoaderDeps {
+    listWorkItems: () => Promise<WorkItem[]>;
+    /** session → team name */
+    loadTeamIndex: () => Promise<Map<string, string>>;
+    /** File check, injectable for tests; default is `fs.stat` */
+    exists?: (absolutePath: string) => Promise<boolean>;
+    /** Random source, injectable for tests */
+    random?: () => number;
+}
+/**
+ * Build the `loadSpotCheck` dependency of the owner receipt service.
+ *
+ * @param deps - Data sources
+ * @returns Function that runs the spot-check as of `now`
+ */
+export declare function createSpotCheckLoader(deps: SpotCheckLoaderDeps): (now: Date) => Promise<SpotCheckResult>;
+//# sourceMappingURL=verified-spot-check.loader.d.ts.map

package/dist/backend/backend/src/services/v3/owner-receipt/verified-spot-check.loader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verified-spot-check.loader.d.ts","sourceRoot":"","sources":["../../../../../../../backend/src/services/v3/owner-receipt/verified-spot-check.loader.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sCAAsC,CAAC;AACrE,OAAO,EAAgB,KAAK,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAE9E,mCAAmC;AACnC,MAAM,WAAW,mBAAmB;IAClC,aAAa,EAAE,MAAM,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;IACzC,0BAA0B;IAC1B,aAAa,EAAE,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,6DAA6D;IAC7D,MAAM,CAAC,EAAE,CAAC,YAAY,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACpD,0CAA0C;IAC1C,MAAM,CAAC,EAAE,MAAM,MAAM,CAAC;CACvB;AAiBD;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,GAAG,CAAC,GAAG,EAAE,IAAI,KAAK,OAAO,CAAC,eAAe,CAAC,CAYxG"}

package/dist/backend/backend/src/services/v3/owner-receipt/verified-spot-check.loader.js

@@ -0,0 +1,45 @@
+/**
+ * Loader for the verified-work spot-check (#1315): reads the WorkItems and the
+ * team index, checks files on the real disk, and hands them to the pure
+ * {@link runSpotCheck}.
+ *
+ * @module services/v3/owner-receipt/verified-spot-check.loader
+ */
+import * as fs from 'fs/promises';
+import * as os from 'os';
+import { runSpotCheck } from './verified-spot-check.js';
+/**
+ * Whether anything exists at a path.
+ *
+ * @param p - Absolute path
+ * @returns True when `fs.stat` succeeds
+ */
+async function statExists(p) {
+    try {
+        await fs.stat(p);
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * Build the `loadSpotCheck` dependency of the owner receipt service.
+ *
+ * @param deps - Data sources
+ * @returns Function that runs the spot-check as of `now`
+ */
+export function createSpotCheckLoader(deps) {
+    return async (now) => {
+        const [workItems, teams] = await Promise.all([deps.listWorkItems(), deps.loadTeamIndex()]);
+        return runSpotCheck({
+            workItems,
+            now,
+            teamOf: (session) => teams.get(session) ?? null,
+            exists: deps.exists ?? statExists,
+            homeDir: os.homedir(),
+            ...(deps.random ? { random: deps.random } : {}),
+        });
+    };
+}
+//# sourceMappingURL=verified-spot-check.loader.js.map

package/dist/backend/backend/src/services/v3/owner-receipt/verified-spot-check.loader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verified-spot-check.loader.js","sourceRoot":"","sources":["../../../../../../../backend/src/services/v3/owner-receipt/verified-spot-check.loader.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,aAAa,CAAC;AAClC,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AAEzB,OAAO,EAAE,YAAY,EAAwB,MAAM,0BAA0B,CAAC;AAa9E;;;;;GAKG;AACH,KAAK,UAAU,UAAU,CAAC,CAAS;IACjC,IAAI,CAAC;QACH,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjB,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAyB;IAC7D,OAAO,KAAK,EAAE,GAAS,EAA4B,EAAE;QACnD,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;QAC3F,OAAO,YAAY,CAAC;YAClB,SAAS;YACT,GAAG;YACH,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI;YAC/C,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,UAAU;YACjC,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE;YACrB,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAChD,CAAC,CAAC;IACL,CAAC,CAAC;AACJ,CAAC"}

package/dist/backend/build-info.json

@@ -1,4 +1,4 @@
 {
-  "commit": "8eaede93a5735d244056190d70d9f8557e9bc159",
-  "builtAt": "2026-10-21T11:26:55.209Z"
+  "commit": "c731030d3bef63a4105605f4bdc0f8b5711f6d36",
+  "builtAt": "2026-10-21T12:10:51.826Z"
 }

package/dist/cli/backend/src/constants.d.ts

@@ -6176,6 +6176,45 @@ export declare const OWNER_RECEIPT_CONSTANTS: {
         readonly OPTION_ON: "Turn on nightly — this format";
         readonly OPTION_PER_ASK: "Keep per-ask format — every ask, one line each";
     };
+    /**
+     * The weekly "how often agents pulled the owner in" line (#1387, first
+     * slice). Specs: specs/owner-pulls-weekly.md.
+     */
+    readonly PULLS_WEEKLY: {
+        /** Local weekday it goes out with the receipt (0 = Sunday) */
+        readonly REPORT_WEEKDAY: 0;
+        /** The week counted: the 7 days before the report; compared with the 7 before that (ms) */
+        readonly WINDOW_MS: number;
+        /** Teams named on the line before "+N more" */
+        readonly MAX_TEAMS: 3;
+        /** Traces read for the owner-touch count (most recent first) */
+        readonly MAX_TRACES: 500;
+    };
+    /**
+     * Daily spot-check of verified WorkItems (#1315, phase 1): re-check that the
+     * file artifacts recorded as evidence still exist. Never changes a WorkItem.
+     */
+    readonly VERIFIED_SPOT_CHECK: {
+        /** WorkItems sampled per day */
+        readonly SAMPLE_SIZE: 5;
+        /** Only items completed this recently are eligible (ms) */
+        readonly WINDOW_MS: number;
+        /** Discrepancies named on the owner line before "+N more" */
+        readonly MAX_LISTED: 3;
+        /**
+         * Directory markers of agent worktrees the disk janitor removes after merge
+         * (the segment after a marker is the worktree root). A missing file inside
+         * a worktree that is gone is "worktree cleaned", not a discrepancy.
+         */
+        readonly WORKTREE_MARKERS: readonly string[];
+    };
+};
+/** How each pull kind reads on the owner's weekly line (#1387). */
+export declare const PULLS_WEEKLY_KIND_LABELS: {
+    readonly decision: "decision needed";
+    readonly review: "review or approval";
+    readonly fyi: "FYI that did not need an answer";
+    readonly stuck: "agent stuck or error";
 };
 /**
  * Hours a ticket waits in 待验收 with no objection before silence accepts it
@@ -8843,6 +8882,27 @@ export declare const TICKET_HYGIENE_CONSTANTS: {
     /** Entries in the per-ticket "already sent" memory are dropped after this long (days) */
     readonly STATE_RETENTION_DAYS: 30;
 };
+/**
+ * Routine nudge (crewly#1034): when a ticket is verified done and its result
+ * describes recurring work, the verifying lead gets ONE internal WorkItem
+ * telling it to set a routine or say why not. Never creates the cron itself.
+ */
+export declare const TICKET_ROUTINE_NUDGE_CONSTANTS: {
+    /** Kill switch: `0` turns the nudge off */
+    readonly ENV_SWITCH: "CREWLY_TICKET_ROUTINE_NUDGE";
+    /** `metadata.kind` of the nudge WorkItem */
+    readonly METADATA_KIND: "ticket_routine_nudge";
+    /** Prefix of the ticket Log line that marks the nudge as sent (also the dedupe key) */
+    readonly LOG_MARKER: "routine nudge sent to";
+    /** Actor written in the ticket Log */
+    readonly ACTOR: "crewly-routine-nudge";
+    /** Max characters of the result text scanned for a cadence */
+    readonly MAX_SCAN_CHARS: 6000;
+    /** Max characters of the matched sentence quoted in the nudge */
+    readonly MAX_QUOTE_CHARS: 240;
+    /** Max characters of the ticket title in the nudge */
+    readonly TITLE_MAX_CHARS: 120;
+};
 /**
  * Drive mode v3 status briefing (specs/2026-10-09-drive-mode-v3.md §1): the
  * compact per-team / per-agent snapshot this machine keeps up to date and