/** * The requeue fold — ONE mechanism, two draws. * * Both the planning executor and the result-ingestion executor fold pending * requeue tasks into the persisted dispatch set so a mandatory coverage gap * becomes an actual host work item. They are the same operation over different * inputs (a freshly-initialized coverage matrix vs. the post-ingest one), so * they run the same selection here rather than each keeping its own. * * They did not, and the divergence was the defect: ingestion deduped by * `task_id` equality while requeue ids are minted as `requeue::` * (`requeue.ts`) and plan ids as `:` — two id grammars that can * never collide, so the filter was structurally a no-op and every uncovered * (path × required-lens) cell became its own single-file audit task on the * first ingest of a run. One live lap minted 2908 tasks where the correct * number was zero. */ import type { AuditTask } from "../types.js"; /** * The requeue fold's COVERAGE-based dedupe (INV-PLAN-PERSIST-COMPLETE half 1). * A pending requeue task duplicates existing work whenever some audit task with * the SAME lens already covers every one of its file paths — on a fresh plan the * requeue payload mirrors the entire pending coverage set under `requeue:*` ids, * so a task_id-only dedupe never matches and the fold would double-audit * everything. Only a genuinely-uncovered gap survives. An operator-limited lens * set also gates the fold: a lens the operator excluded must not re-enter * dispatch through requeue. */ export declare function selectUncoveredRequeueTasks(requeueTasks: readonly AuditTask[], auditTasks: readonly AuditTask[], effectiveLenses?: readonly string[]): AuditTask[]; /** * Select the genuinely-uncovered requeue tasks and enrich the survivors with * line-count hints — the whole fold, so neither draw re-derives half of it. * * `effectiveLenses` is the resolved operator lens set (`resolveIntentLensSelection`); * `undefined` means the operator declared no limit, not "no lenses". */ export declare function foldPendingRequeueTasks(params: { readonly requeueTasks: readonly AuditTask[]; readonly auditTasks: readonly AuditTask[]; readonly lineIndex: Record; readonly effectiveLenses?: readonly string[]; }): AuditTask[]; //# sourceMappingURL=requeueFold.d.ts.map