testguard-cli 0.15.1 → 0.17.0

package/src/scaffold/prepare-append.mjs

@@ -0,0 +1,46 @@
+import { chmodSync, mkdtempSync } from 'node:fs';
+import { join } from 'node:path';
+import { isDeepStrictEqual } from 'node:util';
+import { authoringLock, persistRecovery, recoveryBase } from '../claims/annotation-placement.mjs';
+import { sha256 } from '../util/hash.mjs';
+import { planDraftAppend } from './plan-append.mjs';
+
+function freezeOwned(value) {
+  if (value && typeof value === 'object') {
+    for (const child of Object.values(value)) freezeOwned(child);
+    Object.freeze(value);
+  }
+  return value;
+}
+
+/** Preparation only: current-plan replay and recovery, never draft writes. */
+export function prepareDraftAppend({ request, plan }) {
+  const initial = planDraftAppend(request);
+  if (!isDeepStrictEqual(initial, plan)) throw new Error('draft append plan changed');
+  if (!initial.changed) return freezeOwned({ ready: true, plan: initial, release: () => ({ released: true }), assertOwned: () => {} });
+  // All cooperative source/draft authoring in the checkout shares this lock.
+  const lock = authoringLock(initial.projectDir);
+  let recoveryDir;
+  try {
+    const fresh = planDraftAppend(request);
+    if (!isDeepStrictEqual(fresh, initial)) throw new Error('draft append plan changed under lock');
+    lock.assertOwned();
+    recoveryDir = mkdtempSync(join(recoveryBase(fresh.projectDir), 'testguard-draft-recovery-'));
+    chmodSync(recoveryDir, 0o700);
+    persistRecovery(join(recoveryDir, 'draft.original'), Buffer.from(fresh.draft.source, 'utf8'));
+    const manifest = {
+      state: 'prepared', projectDir: fresh.projectDir, draftPath: fresh.draft.path,
+      claimId: fresh.claimId, sourceHash: fresh.draft.hash,
+      proposedHash: sha256(Buffer.from(fresh.output, 'utf8')), identity: fresh.draft.identity,
+      sources: fresh.sources.map(({ file, hash, identity }) => ({ file, hash, identity })),
+    };
+    persistRecovery(join(recoveryDir, 'manifest.json'), Buffer.from(JSON.stringify(manifest), 'utf8'));
+    lock.assertOwned();
+    return freezeOwned({ ready: true, plan: fresh, recoveryDir, release: lock.release, assertOwned: lock.assertOwned });
+  } catch (error) {
+    if (recoveryDir) error.recoveryDir = recoveryDir;
+    try { error.lockRelease = lock.release(); }
+    catch (releaseError) { error.lockRelease = { released: false, reason: 'lock-release-failed', error: releaseError.message }; }
+    throw error;
+  }
+}

package/src/scaffold/request.mjs

@@ -0,0 +1,30 @@
+/** Token-aware CLI admission; defaults are not explicit user options. */
+export function draftAppendRequest({ command, values, suppliedOptions = [], files = [] }) {
+  if (values.into === undefined) return null;
+  if (command !== 'scaffold') throw new Error('--into is only valid on scaffold');
+  const allowed = new Set(['into', 'claim', 'json', 'help', 'version']);
+  const conflict = suppliedOptions.find(name => !allowed.has(name));
+  if (conflict || values.out !== undefined || values.claims !== undefined) throw new Error(`--into cannot use --${conflict || (values.out !== undefined ? 'out' : 'claims')}`);
+  if (!Array.isArray(values.into) || values.into.length !== 1 || !values.into[0]?.trim() || values.into[0] !== values.into[0].trim()) throw new Error('--into requires exactly one existing draft path');
+  if (!Array.isArray(values.claim) || values.claim.length !== 1 || !values.claim[0]?.trim() || values.claim[0].includes(',') || values.claim[0] !== values.claim[0].trim()) throw new Error('--into requires exactly one --claim <existing-ID>');
+  if (!files.length) throw new Error('--into requires at least one source file');
+  return { draftPath: values.into[0], claimId: values.claim[0], files };
+}
+
+/** Internal read-only input selection; public CLI exposure requires its report contract. */
+export function intentInputRequest({ command, values, suppliedOptions = [], files = [] }) {
+  const modes = ['from-document', 'from-fix'].filter(name => values[name] !== undefined);
+  if (!modes.length) return null;
+  if ('scaffold' !== command) throw new Error('intent input is only valid on scaffold');
+  if (modes.length !== 1) throw new Error('select exactly one input mode');
+  const allowed = new Set(['from-document', 'from-fix', 'json', 'help', 'version']);
+  const conflict = suppliedOptions.find(name => !allowed.has(name)) ?? ['into', 'claim', 'claims', 'out'].find(name => values[name] !== undefined);
+  if (conflict) throw new Error(`intent input cannot use --${conflict}`);
+  if (files.length) throw new Error('intent input cannot use positional source files');
+  const mode = modes[0], selectors = values[mode];
+  if (!Array.isArray(selectors) || selectors.length !== 1 || typeof selectors[0] !== 'string' || !selectors[0] || selectors[0] !== selectors[0].trim() || selectors[0].includes('\0')) throw new Error('intent input requires exactly one nonempty trimmed selector');
+  const selector = selectors[0];
+  if (Buffer.byteLength(selector) > 4096) throw new Error('intent input selector-byte-limit');
+  if (mode === 'from-fix' && !/^(?:[a-f0-9]{40}|[a-f0-9]{64})$/.test(selector)) throw new Error('intent input requires full-object-id');
+  return Object.freeze(mode === 'from-document' ? { kind: 'document', file: selector } : { kind: 'fix', commit: selector });
+}

package/src/scaffold/scaffold.mjs

@@ -1,5 +1,5 @@
 import { readFileSync } from 'node:fs';
-import { basename, extname, join } from 'node:path';
+import { join } from 'node:path';
 import { proposalsForLine, functionHead, functionParams } from './producers.mjs';
 import * as py from './producers.python.mjs';
 import { locate } from '../probe/inject.mjs';
@@ -15,8 +15,6 @@ const NO_FIELD_DROPS = /\.(test|spec)\.[cm]?[jt]sx?$|(^|\/)(__tests__|__fixtures
 // change which proposals a JavaScript file gets.
 const NO_FIELD_DROPS_PY = /(^|\/)(test[^/]*\.py|[^/]*_test\.py|conftest\.py)$|(^|\/)(tests?|__fixtures__|fixtures|migrations)\//;
 
-const idPart = (s) => s.replace(/[^A-Za-z0-9]+/g, '-').replace(/^-+|-+$/g, '').toUpperCase();
-
 const isPython = (file) => file.endsWith('.py');
 
 /**
@@ -136,10 +134,13 @@ function anchorFor(source, find, offset) {
  * with `producedBy: { producer: "derived" }` and TODO statements a human must
  * replace. Never touches the real claims file.
  */
-export function scaffoldFile({ projectDir, file, claimId, existingClaims, toolVersion = '0.0.0' }) {
-  const source = readFileSync(join(projectDir, file), 'utf8');
+export function scaffoldFile({ projectDir, file, claimId, existingClaims, toolVersion = '0.0.0', source: admittedSource, maxProposals }) {
+  if (maxProposals !== undefined && (!Number.isSafeInteger(maxProposals) || maxProposals < 0)) throw new Error('maxProposals must be a non-negative safe integer');
+  if (admittedSource !== undefined && typeof admittedSource !== 'string') throw new Error('source must be a string');
+  // Internal authoring can scan bytes already admitted through a descriptor.
+  // Legacy callers still read the file; supplied empty text never falls back.
+  const source = admittedSource === undefined ? readFileSync(join(projectDir, file), 'utf8') : admittedSource;
   const lines = source.split('\n');
-  const stem = idPart(basename(file, extname(file)));
   const producedBy = { producer: 'derived', by: `testguard scaffold ${toolVersion}` };
 
   const groups = new Map(); // key → { id, proposals[] , annotated }
@@ -150,28 +151,40 @@ export function scaffoldFile({ projectDir, file, claimId, existingClaims, toolVe
 
   const fieldDrops = !(isPython(file) ? NO_FIELD_DROPS_PY : NO_FIELD_DROPS).test(file);
   const scan = isPython(file) ? scanPython : scanJs;
-  const proposals = scan({ source, lines, fieldDrops, keep: (fault) => usableProposal(source, fault), anchor: (find, offset) => anchorFor(source, find, offset) });
+  let accepted = 0;
+  const keep = (fault) => {
+    if (!usableProposal(source, fault)) return false;
+    if (maxProposals !== undefined && accepted >= maxProposals) throw new Error('scaffold proposal limit exceeded');
+    accepted++;
+    return true;
+  };
+  const proposals = scan({ source, lines, fieldDrops, keep, anchor: (find, offset) => anchorFor(source, find, offset) });
 
   const existing = new Map((existingClaims?.claims ?? []).map((c) => [c.id, c]));
   const usedIds = new Set();
   for (const p of proposals) {
     const key = claimId ? '__all__' : p.annotation ?? p.fn ?? '__file__';
-    let id = claimId ?? p.annotation ?? `${stem}-${p.fn ? idPart(p.fn) : 'FILE'}`;
+    let id = claimId ?? p.annotation ?? null;
     groupFor(key, id).proposals.push(p);
   }
 
   const defendedBy = discoverDefenders(projectDir, file);
   const claims = [];
+  const reservedIds = new Set([...existing.keys(), ...[...groups.values()].map(g => g.id).filter(id => id !== null)]);
+  let placeholder = 1;
   for (const g of groups.values()) {
     let id = g.id;
+    if (id === null) {
+      do { id = `TODO-CLAIM-${placeholder++}`; } while (reservedIds.has(id) || usedIds.has(id));
+    }
     while (usedIds.has(id)) id += '-2';
     usedIds.add(id);
     const base = existing.get(id);
     const fnLabel = g.proposals[0].fn ? `\`${g.proposals[0].fn}\`` : 'this file';
     const claim = {
       id,
-      statement: base?.statement ?? `TODO: state what ${fnLabel} in ${file} guarantees (${g.proposals.length} proposed fault${g.proposals.length === 1 ? '' : 's'}; keep or drop each)`,
-      source: base?.source ?? { kind: 'manual', ref: `testguard scaffold ${file}` },
+      statement: base?.statement ?? `TODO: supply intended observable behavior for ${fnLabel} in ${file} from a requirement, ADR, bug or incident: inputs, expected outcome and forbidden outcome (${g.proposals.length} proposed fault${g.proposals.length === 1 ? '' : 's'}; keep or drop each against that intent)`,
+      source: base?.source ?? { kind: 'inferred', ref: `testguard scaffold ${file}` },
       severity: base?.severity ?? 'medium',
       producedBy: base?.producedBy ?? producedBy,
       ...(base?.defendedBy?.length ? { defendedBy: base.defendedBy } : defendedBy.length ? { defendedBy } : {}),

package/src/status/status.mjs

@@ -1,16 +1,21 @@
-import { existsSync, readFileSync } from 'node:fs';
-import { join, relative } from 'node:path';
+import { existsSync, readFileSync, lstatSync, realpathSync } from 'node:fs';
+import { join, relative, isAbsolute, sep } from 'node:path';
 import { readSpecDoc } from '../evidence/writer.mjs';
 import { loadClaims, defaultClaimsPath } from '../claims/load.mjs';
 import { gate } from '../baseline/baseline.mjs';
 import { hashFile, sha256 } from '../util/hash.mjs';
 import { resolveDefenders } from '../probe/runners/shared.mjs';
 import { discoverDefenders } from '../probe/discover.mjs';
-import { coAuthorshipWarning, sortForReport } from '../render.mjs';
+import { defenderSelection, sameClaimMetadata } from '../probe/attribution.mjs';
+import { coAuthorshipWarning, sortForReport, renderOrigins, renderOriginPolicy } from '../render.mjs';
+import { evaluateOriginPolicy } from '../probe/origin-policy.mjs';
+import { declaredOriginSummary } from '../../spec/lib/origins.mjs';
+import { intentHandoff } from '../scaffold/intent.mjs';
 import { computeChangedGate, defaultIgnorePath } from '../gate/changed.mjs';
 import { headSha, isAncestor } from '../git.mjs';
 import { checkAnchorLocations } from '../claims/anchors.mjs';
 import { computeClaimedSurface, needsClaimExpansion } from './surface.mjs';
+import { projectAnnotationAdvisory } from '../claims/annotations.mjs';
 
 export const faultContentHash = (fault) => sha256(`${fault.find}\n${fault.replace}`);
 
@@ -43,7 +48,7 @@ export function computeStatus({ projectDir, toolVersion = '0.0.0', generatedAt =
     tool: { name: 'testguard', version: toolVersion },
     generatedAt,
     state: 'no-claims',
-    next: { action: 'scaffold', command: 'testguard scaffold <source-file>', why: 'No testguard.claims.json in this project. Scaffold proposes faults for a file; state what each guarantees, then probe.' },
+    next: { action: 'scaffold', command: 'testguard scaffold <source-file>', why: `No testguard.claims.json in this project. Scaffold proposes mechanical faults, not intent. ${intentHandoff}` },
     provisional: false,
     counts: { claims: 0, faults: 0 },
     stale: [],
@@ -70,14 +75,14 @@ export function computeStatus({ projectDir, toolVersion = '0.0.0', generatedAt =
   }
   const unclaimedWhy = () => {
     const files = changes.uncovered.map((u) => u.file);
-    return `${files.length} changed file${files.length === 1 ? '' : 's'} since ${changes.ref} carr${files.length === 1 ? 'ies' : 'y'} no claim and no excusing ignore entry: ${files.slice(0, 3).join(', ')}${files.length > 3 ? ', …' : ''}. State the claim before writing more code — TestGuard is silent about unclaimed code by construction.`;
+    return `${files.length} changed file${files.length === 1 ? '' : 's'} since ${changes.ref} carr${files.length === 1 ? 'ies' : 'y'} no claim and no excusing ignore entry: ${files.slice(0, 3).join(', ')}${files.length > 3 ? ', …' : ''}. State the claim before writing more code — TestGuard is silent about unclaimed code by construction. ${intentHandoff}`;
   };
 
   if (!existsSync(paths.claims)) {
     doc.surface = computeClaimedSurface({ projectDir });
     const candidate = doc.surface.rankedUnclaimed[0];
     if (candidate && !changes?.uncovered.length) {
-      doc.next = { action: 'scaffold', command: `testguard scaffold ${candidate.file}`, why: `${doc.surface.sourceModules} source module${doc.surface.sourceModules === 1 ? '' : 's'} exist and none carries a claim. Start with ${candidateReason(doc.surface, candidate)}.`, file: candidate.file };
+      doc.next = { action: 'scaffold', command: `testguard scaffold ${candidate.file}`, why: `${doc.surface.sourceModules} source module${doc.surface.sourceModules === 1 ? '' : 's'} exist and none carries a claim. Start with ${candidateReason(doc.surface, candidate)}. ${intentHandoff}`, file: candidate.file };
     }
     if (changes?.uncovered.length) {
       const u = changes.uncovered[0];
@@ -88,11 +93,13 @@ export function computeStatus({ projectDir, toolVersion = '0.0.0', generatedAt =
   doc.paths.claims = rel(paths.claims);
 
   const claims = loadClaims(paths.claims);
+  doc.origins = declaredOriginSummary(claims.claims);
+  if (claims.claims.length) doc.notes.push(...projectAnnotationAdvisory(projectDir, claims, { customClaims: paths.claims !== defaultClaimsPath(projectDir) }).notes);
   doc.counts.claims = claims.claims.length;
   doc.counts.faults = claims.claims.reduce((n, c) => n + c.faults.length, 0);
   doc.surface = computeClaimedSurface({ projectDir, claims });
   if (claims.claims.length === 0 && !changes?.uncovered.length) {
-    doc.next = { action: 'scaffold', command: 'testguard scaffold <source-file>', why: 'No claims have been declared; no verification was performed. State a claim before probing.' };
+    doc.next = { action: 'scaffold', command: 'testguard scaffold <source-file>', why: `No claims have been declared; no verification was performed. ${intentHandoff}` };
     return doc;
   }
   const faultIndex = new Map();
@@ -139,6 +146,9 @@ export function computeStatus({ projectDir, toolVersion = '0.0.0', generatedAt =
   doc.paths.evidence = rel(evidenceFile);
   doc.evidenceSource = evidenceOverride ? 'provided' : 'local';
   const evidence = readSpecDoc('evidence', evidenceFile);
+  // Offline status cannot collect native runner/configuration membership.
+  // Only reuse the selection; a saved pass is never current freshness proof.
+  if (evidence.originPolicy) doc.originPolicy = evaluateOriginPolicy({ claims, evidence, eligibleKinds: evidence.originPolicy.eligibleKinds, fresh: false });
   // A verdict is about a commit. When the evidence describes a different one,
   // say both: "looks right and is not" is the failure mode this prevents.
   doc.evidenceHead = evidence.run.repo.snapshot ?? evidence.run.repo.head;
@@ -161,17 +171,36 @@ export function computeStatus({ projectDir, toolVersion = '0.0.0', generatedAt =
 
   // ── Staleness: does the evidence still describe this claims file and this tree? ──
   const probed = new Map(evidence.records.map((r) => [`${r.claim.id}/${r.subject.id}`, r]));
+  const discoveryHashCache = new Map();
   for (const key of faultIndex.keys()) if (!probed.has(key)) doc.stale.push(`fault ${key} has never been probed`);
   for (const [key, r] of probed) {
     const cur = faultIndex.get(key);
     if (!cur) { doc.stale.push(`fault ${key} was probed but is no longer in the claims file`); continue; }
+    if (!sameClaimMetadata(r.claim, cur.claim)) doc.stale.push(`claim metadata for ${key} changed since it was probed`);
+    for (const [file, recordedHash] of Object.entries(r.inputs.discoveryHashes ?? {})) {
+      if (!discoveryHashCache.has(file)) {
+        let currentHash = null;
+        try {
+          const path = join(projectDir, file);
+          const inside = relative(realpathSync(projectDir), realpathSync(path));
+          if (!isAbsolute(inside) && inside !== '..' && !inside.startsWith(`..${sep}`) && lstatSync(path).isFile()) currentHash = hashFile(path);
+        } catch { /* Missing/unreadable discovery inputs are stale, not fresh. */ }
+        discoveryHashCache.set(file, currentHash);
+      }
+      if (discoveryHashCache.get(file) !== recordedHash) doc.stale.push(`${file} discovery input changed or became unavailable since ${key} was probed`);
+    }
     if (r.subject.contentHash && r.subject.contentHash !== faultContentHash(cur.fault)) {
       doc.changedFaults.push({ claimId: cur.claim.id, subjectId: cur.fault.id, previousVerdict: r.verdict, file: cur.fault.file });
       doc.stale.push(`fault ${key} changed since it was probed (was ${r.verdict})`);
     }
     const target = join(projectDir, cur.fault.file);
     if (existsSync(target) && hashFile(target) !== r.inputs.targetHash) doc.stale.push(`${cur.fault.file} changed since ${key} was probed`);
-    const defenders = cur.claim.defendedBy?.length ? resolveDefenders(projectDir, cur.claim.defendedBy) : discoverDefenders(projectDir, cur.fault.file);
+    const selection = defenderSelection(cur.claim, cur.fault);
+    const defenders = selection.requested.length ? resolveDefenders(projectDir, selection.requested) : discoverDefenders(projectDir, cur.fault.file);
+    const priorOrigin = r.defenders.selectionSource ?? (r.defenders.requested.length ? 'claim' : 'discovery');
+    if (priorOrigin !== selection.selectionSource || JSON.stringify(r.defenders.requested) !== JSON.stringify(selection.requested) || JSON.stringify([...r.defenders.resolved].sort()) !== JSON.stringify([...defenders].sort())) {
+      doc.stale.push(`defender selection for ${key} changed since it was probed`);
+    }
     for (const d of defenders) {
       const h = r.inputs.defenderHashes[d];
       if (!h) doc.stale.push(`${d} now defends ${key} but was not probed`);
@@ -224,7 +253,8 @@ export function computeStatus({ projectDir, toolVersion = '0.0.0', generatedAt =
   if (top) {
     doc.state = 'unproven';
     const cur = faultIndex.get(`${top.claimId}/${top.subjectId}`);
-    const defenders = cur.claim.defendedBy?.length ? resolveDefenders(projectDir, cur.claim.defendedBy) : discoverDefenders(projectDir, cur.fault.file);
+    const { requested } = defenderSelection(cur.claim, cur.fault);
+    const defenders = requested.length ? resolveDefenders(projectDir, requested) : discoverDefenders(projectDir, cur.fault.file);
     const where = defenders[0] ?? `a new test file that imports ${cur.fault.file}`;
     const whyByVerdict = {
       survived: `${top.claimId}/${top.subjectId} (${top.severity}) survived: "${cur.claim.statement}" can be false with the suite green.`,
@@ -257,7 +287,7 @@ export function computeStatus({ projectDir, toolVersion = '0.0.0', generatedAt =
     doc.next = {
       action: 'claim',
       command: `testguard scaffold ${candidate.file}`,
-      why: `The existing claims are defended, but only ${doc.surface.claimedModules} of ${doc.surface.sourceModules} source modules carry a claim. Expand the denominator at ${candidateReason(doc.surface, candidate)}.`,
+      why: `The existing claims are defended, but only ${doc.surface.claimedModules} of ${doc.surface.sourceModules} source modules carry a claim. Expand the denominator at ${candidateReason(doc.surface, candidate)}. ${intentHandoff}`,
       file: candidate.file,
     };
   }
@@ -271,6 +301,8 @@ export function renderStatus(doc) {
   }
   lines.push(`state: ${doc.state}${doc.provisional ? ' (provisional)' : ''} — ${doc.counts.claims} claims / ${doc.counts.faults} faults` + (doc.counts.byVerdict ? `; ${Object.entries(doc.counts.byVerdict).map(([k, v]) => `${v} ${k}`).join(', ')}; ${doc.counts.new ?? 0} new, ${doc.counts.baselined ?? 0} baselined` : '')
   );
+  if (doc.origins) lines.push(renderOrigins(doc.origins));
+  if (doc.originPolicy) lines.push(renderOriginPolicy(doc.originPolicy, { basis: 'offline' }));
   if (doc.surface) {
     const s = doc.surface;
     const history = s.history.available ? `last ${s.history.commitsRead} commit${s.history.commitsRead === 1 ? '' : 's'}` : 'git history unavailable';

package/src/sweep/pool.mjs

@@ -0,0 +1,33 @@
+import { validate } from '../../spec/lib/validate.mjs';
+
+const check = (doc) => {
+  const result = validate('claims', doc);
+  if (!result.ok) throw new Error(`non-conforming sweep draft: ${result.errors.map((e) => `${e.path}: ${e.message}`).join('; ')}`);
+};
+
+/** Keep per-file drafts distinct before selection, without changing callers. */
+export function poolDrafts(drafts) {
+  for (const draft of drafts) check(draft);
+  const pooled = structuredClone(drafts);
+  const entries = pooled.flatMap((draft) => draft.claims.map((claim) => ({ claim, originalId: claim.id, file: claim.faults[0].file ?? '' })));
+  entries.sort((a, b) => a.file.localeCompare(b.file) || a.originalId.localeCompare(b.originalId));
+  const reserved = new Set(entries.map((entry) => entry.originalId));
+  const used = new Set();
+  const nextFor = new Map();
+  for (const { claim, originalId } of entries) {
+    let id = originalId;
+    if (used.has(id)) {
+      let n = nextFor.get(originalId) ?? 2;
+      do {
+        const suffix = `-${n++}`;
+        id = originalId.slice(0, 128 - suffix.length) + suffix;
+      } while (reserved.has(id) || used.has(id));
+      nextFor.set(originalId, n);
+    }
+    claim.id = id;
+    used.add(id);
+  }
+  for (const draft of pooled) check(draft);
+  check({ schemaVersion: 1, claims: pooled.flatMap((draft) => draft.claims) });
+  return pooled;
+}

package/src/sweep/sweep.mjs

@@ -34,6 +34,7 @@ import { existsSync } from 'node:fs';
 import { loadClaims, defaultClaimsPath } from '../claims/load.mjs';
 import { computeChangedGate } from '../gate/changed.mjs';
 import { scaffoldFile } from '../scaffold/scaffold.mjs';
+import { poolDrafts } from './pool.mjs';
 import { selectFaults, onWritePath, capFor } from '../supply/select.mjs';
 import { learnedProductivity } from '../supply/feedback.mjs';
 import { loadConcerns, concernById, targetsFor, filterByConcern } from '../supply/concerns.mjs';
@@ -163,6 +164,8 @@ export async function sweep({
   confirmRuns = 3,
   budgetMs = 120_000,
   commandBudget,
+  workers = 1,
+  serial = workers === 1,
   runnerCommand,
   runnerName,
   nodeModules,
@@ -206,9 +209,8 @@ export async function sweep({
   const cPath = claimsPath ?? defaultClaimsPath(projectDir);
   const existingClaims = existsSync(cPath) ? loadClaims(cPath) : { claims: [] };
 
-  const candidates = [];
   const skipped = [];
-  const drafts = [];
+  const rawDrafts = [];
   for (const file of targets) {
     commandBudget?.assertOpen();
     let result;
@@ -225,9 +227,10 @@ export async function sweep({
       skipped.push({ file, reason: 'no line in this file matches a fault producer' });
       continue;
     }
-    drafts.push(result.doc);
-    for (const claim of result.doc.claims) for (const fault of claim.faults) candidates.push({ claim, fault });
+    rawDrafts.push(result.doc);
   }
+  const drafts = poolDrafts(rawDrafts);
+  const candidates = drafts.flatMap((draft) => draft.claims.flatMap((claim) => claim.faults.map((fault) => ({ claim, fault }))));
 
   // What the defenders of this surface are CAPABLE of proving, before anything
   // is probed. A test that replaced the database can prove the call shape and
@@ -259,6 +262,8 @@ export async function sweep({
       claims: { schemaVersion: 1, claims },
       confirmRuns,
       budgetMs,
+      workers,
+      serial,
       commandBudget,
       mode: 'worktree',
       includeDirty,