@telora/daemon 0.22.245 → 0.22.289

package/dist/verify/verification-gate-stages.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-gate-stages.d.ts","sourceRoot":"","sources":["../../src/verify/verification-gate-stages.ts"],"names":[],"mappings":"AAKA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,0EAA0E;AAC1E,MAAM,WAAW,WAAW;IAC1B,sFAAsF;IACtF,IAAI,EAAE,MAAM,CAAC;IACb,8FAA8F;IAC9F,KAAK,EAAE,MAAM,CAAC;IACd,yEAAyE;IACzE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,kFAAkF;IAClF,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,uEAAuE;IACvE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB;AAED,qFAAqF;AACrF,MAAM,WAAW,gBAAgB;IAC/B,4EAA4E;IAC5E,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,wEAAwE;IACxE,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,6EAA6E;IAC7E,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,iFAAiF;AACjF,MAAM,WAAW,aAAc,SAAQ,gBAAgB;IACrD,0FAA0F;IAC1F,OAAO,EAAE,MAAM,CAAC;IAChB,4FAA4F;IAC5F,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B;;;;OAIG;IACH,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B;AAED;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,KAAK,CAAC;AAWnC;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,WAAW,EAAE,GAAG,IAAI,CAoB7F;AAsHD;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,EAAE,WAAW,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI,CAU9H;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,EACnC,QAAQ,EAAE,SAAS,WAAW,EAAE,EAChC,WAAW,EAAE,MAAM,GAClB,aAAa,GAAG,IAAI,CAItB;AAED,iGAAiG;AACjG,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,GAAG,MAAM,CAE5E;AAED,sEAAsE;AACtE,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,IAAI,CAAC,aAAa,EAAE,cAAc,CAAC,GAAG,OAAO,CAEpF"}

package/dist/verify/verification-gate-stages.js

@@ -1,179 +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-attribution.test.ts,
-//   packages/daemon/src/verify/verification-gate-stages.test.ts
-// PINNED-BY-END
-/**
- * Backstop on how many red stages one gate is walked past (a continuation per
- * red, on either side). Each round's red is strictly later in the gate's finite
- * chain, so a real log settles long before this; it only bounds a log that
- * would not.
- */
-export const MAX_STAGE_ROUNDS = 64;
-const ESC = String.fromCharCode(27);
-const ANSI_RE = new RegExp(`${ESC}\\[[0-9;?]*[A-Za-z]`, 'g');
-/** npm's per-script header: "> <name>@<version> <script>" (name may be scoped). */
-const NPM_HEADER_RE = /^> ((?:@[^\s@/]+\/)?[^\s@]+)@\S+ (\S+)$/;
-const SCRIPT_NAME = '[A-Za-z0-9][A-Za-z0-9:._-]*';
-const NPM_RUN_SEGMENT_RE = new RegExp(`^npm run (${SCRIPT_NAME})(?: --prefix ([A-Za-z0-9._/-]+))?$`);
-const SENTINEL_SEGMENT_RE = /^echo (TELORA_GATE_COMPLETE:[A-Za-z0-9._-]+)$/;
-const GATE_COMMAND_RE = new RegExp(`^npm run (${SCRIPT_NAME})$`);
-/**
- * Split a command line into chain segments, or null when it is not a pure chain
- * of `npm run <name>` steps (a sentinel echo is allowed as the last step).
- */
-export function parseChainSegments(command, parentLabel) {
-    const parts = command.trim().split(/\s+&&\s+/);
-    const segments = [];
-    for (const [index, raw] of parts.entries()) {
-        const part = raw.trim();
-        const run = NPM_RUN_SEGMENT_RE.exec(part);
-        if (run) {
-            const prefix = run[2] ?? null;
-            const name = prefix ? `${run[1]} --prefix ${prefix}` : run[1];
-            segments.push({ text: part, label: parentLabel ? `${parentLabel} > ${name}` : name, script: run[1], prefix, sentinel: null });
-            continue;
-        }
-        const sentinel = SENTINEL_SEGMENT_RE.exec(part);
-        if (sentinel && index === parts.length - 1) {
-            segments.push({ text: part, label: sentinel[1], script: null, prefix: null, sentinel: sentinel[1] });
-            continue;
-        }
-        return null;
-    }
-    return segments.some((segment) => segment.script !== null) ? segments : null;
-}
-/** Every npm script header in the log, with the command line printed under it. */
-function readScriptHeaders(lines) {
-    const headers = [];
-    for (let index = 0; index < lines.length; index++) {
-        const header = NPM_HEADER_RE.exec(lines[index]);
-        if (!header)
-            continue;
-        const next = lines[index + 1];
-        const command = next !== undefined && next.startsWith('> ') ? next.slice(2).trim() : null;
-        if (command !== null)
-            index += 1; // the command line is not a header
-        headers.push({ pkg: header[1], script: header[2], command, bodyStart: index + 1 });
-    }
-    return headers;
-}
-const pendingSegments = (frame) => (frame.segments ? frame.segments.slice(frame.next) : []);
-const chainFinished = (frame) => pendingSegments(frame).every((segment) => segment.script === null);
-/**
- * Does header `h` start `segment` of a chain run by package `chainPkg`? A plain
- * segment runs the chain's own package; a `--prefix` one runs another.
- */
-function startsSegment(segment, h, chainPkg) {
-    if (!segment || segment.script !== h.script)
-        return false;
-    return segment.prefix === null ? h.pkg === chainPkg : h.pkg !== chainPkg;
-}
-/** Advance the stack by one header; false when the header contradicts the chains. */
-function applyHeader(stack, ran, h) {
-    let at = stack.length - 1;
-    while (at >= 0 && !startsSegment(stack[at].segments?.[stack[at].next], h, stack[at].pkg))
-        at--;
-    // Nothing expects it: the nested output of an atomic stage, or a contradiction.
-    if (at < 0)
-        return stack[stack.length - 1].segments === null;
-    for (let index = stack.length - 1; index > at; index--) {
-        if (!chainFinished(stack[index]))
-            return false; // a chain moved on past an unfinished one
-        ran.push(stack[index].label);
-    }
-    stack.length = at + 1;
-    const parent = stack[at];
-    const segment = parent.segments[parent.next];
-    parent.next += 1;
-    // Descend only into a same-package chain: a prefixed package's steps are not
-    // re-runnable from the gate's cwd by their bare text.
-    const segments = segment.prefix === null && h.command !== null ? parseChainSegments(h.command, segment.label) : null;
-    stack.push({ label: segment.label, pkg: h.pkg, segments, next: 0, bodyStart: h.bodyStart });
-    return true;
-}
-/** Read the walked stack into an outcome, or null when the exit status contradicts it. */
-function settleRun(lines, stack, ran, exitCode, sentinelSeen) {
-    const pkg = stack[0].pkg;
-    if (exitCode === 0) {
-        if (sentinelSeen === false || !stack.every(chainFinished))
-            return null;
-        const finished = [...ran, ...stack.slice(1).reverse().map((frame) => frame.label)];
-        return { package: pkg, ran: finished, failedStage: null, notRun: [], continuation: [], failedStageOutput: [] };
-    }
-    if (typeof exitCode !== 'number' || sentinelSeen === true)
-        return null;
-    const top = stack[stack.length - 1];
-    let failedStage;
-    let continuation;
-    if (top.segments === null) {
-        failedStage = top.label;
-        continuation = [];
-    }
-    else {
-        // A chain whose next step printed no header: that step could not start.
-        const blocked = top.segments[top.next];
-        if (!blocked || blocked.script === null)
-            return null;
-        failedStage = blocked.label;
-        continuation = top.segments.slice(top.next + 1);
-    }
-    // Then every enclosing chain's untouched steps, innermost first.
-    for (let index = stack.length - 2; index >= 0; index--)
-        continuation.push(...pendingSegments(stack[index]));
-    const notRun = continuation.filter((segment) => segment.script !== null).map((segment) => segment.label);
-    // A blocked chain step printed no header of its own: its output follows the chain's header.
-    return { package: pkg, ran, failedStage, notRun, continuation, failedStageOutput: lines.slice(top.bodyStart) };
-}
-/** Walk the headers against a root chain; the sentinel is the root chain's own. */
-function walkChain(lines, headers, root, exitCode) {
-    const stack = [root];
-    const ran = [];
-    for (const h of headers) {
-        if (!applyHeader(stack, ran, h))
-            return null;
-    }
-    const sentinel = root.segments?.find((segment) => segment.sentinel !== null)?.sentinel ?? null;
-    const sentinelSeen = sentinel === null ? null : lines.some((line) => line.trim() === sentinel);
-    return settleRun(lines, stack, ran, exitCode, sentinelSeen);
-}
-function logLines(log) {
-    return (typeof log === 'string' ? log : '').replace(ANSI_RE, '').split(/\r?\n/).map((line) => line.trimEnd());
-}
-/**
- * Stage outcomes of a run of `gateCommand` (a bare `npm run <gate>`), or null
- * when the log does not vouch for them (module doc).
- */
-export function parseGateRunStages(log, exitCode, gateCommand) {
-    const gate = GATE_COMMAND_RE.exec(gateCommand.trim());
-    if (!gate)
-        return null;
-    const lines = logLines(log);
-    const headers = readScriptHeaders(lines);
-    const root = headers[0];
-    if (!root || root.script !== gate[1] || root.command === null)
-        return null;
-    const segments = parseChainSegments(root.command, '');
-    if (!segments)
-        return null;
-    return walkChain(lines, headers.slice(1), { label: '', pkg: root.pkg, segments, next: 0, bodyStart: root.bodyStart }, exitCode);
-}
-/**
- * Stage outcomes of a CONTINUATION run: `segments` (a parsed run's continuation)
- * joined by ` && ` and run directly, so no gate header opens the log. Labels stay
- * those of the original gate, so they compare against the base's outcome.
- */
-export function parseContinuationStages(log, exitCode, segments, gatePackage) {
-    if (!segments.some((segment) => segment.script !== null))
-        return null;
-    const lines = logLines(log);
-    return walkChain(lines, readScriptHeaders(lines), { label: '', pkg: gatePackage, segments: [...segments], next: 0, bodyStart: 0 }, exitCode);
-}
-/** The command a continuation runs: the segments' own text, chained as the gate chained them. */
-export function continuationCommand(segments) {
-    return segments.map((segment) => segment.text).join(' && ');
-}
-/** True when a parsed run's continuation still has a stage to run. */
-export function hasStageToContinue(run) {
-    return run.continuation.some((segment) => segment.script !== null);
-}
-//# sourceMappingURL=verification-gate-stages.js.map

package/dist/verify/verification-gate-stages.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-gate-stages.js","sourceRoot":"","sources":["../../src/verify/verification-gate-stages.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,0EAA0E;AAC1E,gEAAgE;AAChE,gBAAgB;AAwFhB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,EAAE,CAAC;AAEnC,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;AACpC,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,GAAG,GAAG,qBAAqB,EAAE,GAAG,CAAC,CAAC;AAC7D,mFAAmF;AACnF,MAAM,aAAa,GAAG,yCAAyC,CAAC;AAChE,MAAM,WAAW,GAAG,6BAA6B,CAAC;AAClD,MAAM,kBAAkB,GAAG,IAAI,MAAM,CAAC,aAAa,WAAW,qCAAqC,CAAC,CAAC;AACrG,MAAM,mBAAmB,GAAG,+CAA+C,CAAC;AAC5E,MAAM,eAAe,GAAG,IAAI,MAAM,CAAC,aAAa,WAAW,IAAI,CAAC,CAAC;AAEjE;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAe,EAAE,WAAmB;IACrE,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,GAAG,EAAE,CAAC;YACR,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;YAC9B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,aAAa,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC9D,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YAC9H,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,QAAQ,IAAI,KAAK,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3C,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACrG,SAAS;QACX,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/E,CAAC;AAUD,kFAAkF;AAClF,SAAS,iBAAiB,CAAC,KAAwB;IACjD,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAChD,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1F,IAAI,OAAO,KAAK,IAAI;YAAE,KAAK,IAAI,CAAC,CAAC,CAAC,mCAAmC;QACrE,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAYD,MAAM,eAAe,GAAG,CAAC,KAAY,EAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAClH,MAAM,aAAa,GAAG,CAAC,KAAY,EAAW,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC;AAEpH;;;GAGG;AACH,SAAS,aAAa,CAAC,OAAgC,EAAE,CAAe,EAAE,QAAgB;IACxF,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1D,OAAO,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC;AAC3E,CAAC;AAED,qFAAqF;AACrF,SAAS,WAAW,CAAC,KAAc,EAAE,GAAa,EAAE,CAAe;IACjE,IAAI,EAAE,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC1B,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC;QAAE,EAAE,EAAE,CAAC;IAC/F,gFAAgF;IAChF,IAAI,EAAE,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC;IAC7D,KAAK,IAAI,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;QACvD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,0CAA0C;QAC1F,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,KAAK,CAAC,MAAM,GAAG,EAAE,GAAG,CAAC,CAAC;IACtB,MAAM,MAAM,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;IACzB,MAAM,OAAO,GAAI,MAAM,CAAC,QAA0B,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAChE,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC;IACjB,6EAA6E;IAC7E,sDAAsD;IACtD,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrH,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;IAC5F,OAAO,IAAI,CAAC;AACd,CAAC;AAED,0FAA0F;AAC1F,SAAS,SAAS,CAChB,KAAwB,EACxB,KAAc,EACd,GAAa,EACb,QAAmC,EACnC,YAA4B;IAE5B,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACzB,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;QACnB,IAAI,YAAY,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC;YAAE,OAAO,IAAI,CAAC;QACvE,MAAM,QAAQ,GAAG,CAAC,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QACnF,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,CAAC;IACjH,CAAC;IACD,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,YAAY,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACvE,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACpC,IAAI,WAAmB,CAAC;IACxB,IAAI,YAA2B,CAAC;IAChC,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QAC1B,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC;QACxB,YAAY,GAAG,EAAE,CAAC;IACpB,CAAC;SAAM,CAAC;QACN,wEAAwE;QACxE,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACrD,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC;QAC5B,YAAY,GAAG,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAClD,CAAC;IACD,iEAAiE;IACjE,KAAK,IAAI,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE;QAAE,YAAY,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5G,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACzG,4FAA4F;IAC5F,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,iBAAiB,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;AACjH,CAAC;AAED,mFAAmF;AACnF,SAAS,SAAS,CAAC,KAAwB,EAAE,OAAgC,EAAE,IAAW,EAAE,QAAmC;IAC7H,MAAM,KAAK,GAAY,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IAC/C,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,EAAE,QAAQ,IAAI,IAAI,CAAC;IAC/F,MAAM,YAAY,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,QAAQ,CAAC,CAAC;IAC/F,OAAO,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,QAAQ,CAAC,GAAW;IAC3B,OAAO,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;AAChH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAW,EAAE,QAAmC,EAAE,WAAmB;IACtG,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;IACtD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC5B,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC3E,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACtD,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,OAAO,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,QAAQ,CAAC,CAAC;AAClI,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CACrC,GAAW,EACX,QAAmC,EACnC,QAAgC,EAChC,WAAmB;IAEnB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC5B,OAAO,SAAS,CAAC,KAAK,EAAE,iBAAiB,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;AAC/I,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,mBAAmB,CAAC,QAAgC;IAClE,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC9D,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,kBAAkB,CAAC,GAAwC;IACzE,OAAO,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC;AACrE,CAAC"}

package/dist/verify/verification-history-reset.d.ts

@@ -1,62 +0,0 @@
-/**
- * Verify PASS: record the outcome and reset the delivery's verification history.
- *
- * The failure-signature run and the shortfall repeat count CONSECUTIVE
- * rejections, and a pass breaks the streak -- and releases a shortfall park
- * (verify/shortfall-park.ts), whose shortfall the passing judgement no longer finds. So a delivery that passes and is
- * later routed back must start fresh, not extend a pre-pass run. The judged
- * commit (VerificationHistory.judgedCommit) goes with them: a pass supersedes a
- * re-work's judgment of an older commit.
- *
- * The one exception is a judged commit that names the very commit the pass
- * judged. The pass's per-commit record is written BEFORE its outcome is recorded
- * (verify/verification-commit-sharing.ts judgeDelivery writes the record, then
- * the engine runs the pass path, then recordOutcome), and in between a review
- * exit can read that recorded verdict and route the delivery verify ->
- * verify_failed for review-filed work, stamping that commit
- * (completion/review-exit-verdict-gate.ts reviewReworkGateState). A pass never
- * supersedes a judgment of its own commit, so that stamp survives and the
- * resumed coding team is still shown the verdict it was judged on.
- *
- * The explicit-method verdict (VerificationHistory.explicitOutcome) is not the
- * reset's: only the explicit-outcome writers change it (verify/explicit-gate-
- * outcome.ts), and a selection removes it before its run starts. The reset reads
- * and writes in the delivery's serialized write turn, so the row's record is kept
- * as the row holds it -- a verdict recorded before the reset's turn is never
- * dropped by a reset that read the row earlier.
- *
- * Split out of verification-feedback.ts (daemon 800-line limit), which
- * re-exports resetVerificationHistoryOnPass for existing importers.
- *
- * @module verification-history-reset
- */
-import { type DeliveryGateRowIo } from '../queries/deliveries.js';
-import { recordDeliveryVerificationOutcome, type VerificationOutcome } from '../queries/verification.js';
-/** Injected row IO for the pass reset (the real row read and physical write by default). */
-export type VerificationHistoryResetDeps = DeliveryGateRowIo;
-/**
- * Reset a delivery's verification history on a verify PASS (see the module
- * header). `passedSha` is the commit the pass judged; a judged commit naming it
- * is kept, and null keeps nothing.
- *
- * Writes only when there is history to drop, over the FRESH row at its OWN status
- * in one serialized write turn (queries/deliveries.ts
- * rewriteDeliveryGateStateAtOwnStatus), so the gate-only write never moves the
- * delivery. A done or cancelled delivery is left alone. clearVerificationHistory
- * keeps any hold or live verdict and returns a history-only gate to null; the
- * explicit verdict is kept (module header). Best-effort: never throws. Returns
- * whether a reset was written.
- */
-export declare function resetVerificationHistoryOnPass(deliveryId: string, deps?: Partial<VerificationHistoryResetDeps>, passedSha?: string | null): Promise<boolean>;
-/** Injected IO for recording an outcome; the reset IO rides along. */
-export interface VerificationOutcomeRecordDeps extends VerificationHistoryResetDeps {
-    recordOutcome: typeof recordDeliveryVerificationOutcome;
-}
-/**
- * Record a delivery's verification outcome (VerificationDeps.recordOutcome). A
- * PASSED verify cleared the gate, so the verification history is reset, keeping
- * a judged commit that names `judgedSha` -- the commit this pass judged, or
- * null for a run that judged none. The reset is best-effort and never throws.
- */
-export declare function recordOutcomeResettingVerificationHistory(deliveryId: string, outcome: VerificationOutcome, judgedSha?: string | null, deps?: Partial<VerificationOutcomeRecordDeps>): Promise<void>;
-//# sourceMappingURL=verification-history-reset.d.ts.map

package/dist/verify/verification-history-reset.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-history-reset.d.ts","sourceRoot":"","sources":["../../src/verify/verification-history-reset.ts"],"names":[],"mappings":"AAOA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,EAEL,KAAK,iBAAiB,EAEvB,MAAM,0BAA0B,CAAC;AAQlC,OAAO,EAAE,iCAAiC,EAAE,KAAK,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAKzG,4FAA4F;AAC5F,MAAM,MAAM,4BAA4B,GAAG,iBAAiB,CAAC;AAS7D;;;;;;;;;;;;GAYG;AACH,wBAAsB,8BAA8B,CAClD,UAAU,EAAE,MAAM,EAClB,IAAI,GAAE,OAAO,CAAC,4BAA4B,CAAM,EAChD,SAAS,GAAE,MAAM,GAAG,IAAW,GAC9B,OAAO,CAAC,OAAO,CAAC,CAsBlB;AAED,sEAAsE;AACtE,MAAM,WAAW,6BAA8B,SAAQ,4BAA4B;IACjF,aAAa,EAAE,OAAO,iCAAiC,CAAC;CACzD;AAED;;;;;GAKG;AACH,wBAAsB,yCAAyC,CAC7D,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,mBAAmB,EAC5B,SAAS,GAAE,MAAM,GAAG,IAAW,EAC/B,IAAI,GAAE,OAAO,CAAC,6BAA6B,CAAM,GAChD,OAAO,CAAC,IAAI,CAAC,CAGf"}

package/dist/verify/verification-history-reset.js

@@ -1,100 +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/delivery-gate-write-interleaving.test.ts,
-//   packages/daemon/src/integration/review-rework-resume-verdict.test.ts,
-//   packages/daemon/src/verify/verification-feedback.test.ts,
-//   packages/daemon/src/verify/verification-model-unavailable-hold.test.ts
-// PINNED-BY-END
-/**
- * Verify PASS: record the outcome and reset the delivery's verification history.
- *
- * The failure-signature run and the shortfall repeat count CONSECUTIVE
- * rejections, and a pass breaks the streak -- and releases a shortfall park
- * (verify/shortfall-park.ts), whose shortfall the passing judgement no longer finds. So a delivery that passes and is
- * later routed back must start fresh, not extend a pre-pass run. The judged
- * commit (VerificationHistory.judgedCommit) goes with them: a pass supersedes a
- * re-work's judgment of an older commit.
- *
- * The one exception is a judged commit that names the very commit the pass
- * judged. The pass's per-commit record is written BEFORE its outcome is recorded
- * (verify/verification-commit-sharing.ts judgeDelivery writes the record, then
- * the engine runs the pass path, then recordOutcome), and in between a review
- * exit can read that recorded verdict and route the delivery verify ->
- * verify_failed for review-filed work, stamping that commit
- * (completion/review-exit-verdict-gate.ts reviewReworkGateState). A pass never
- * supersedes a judgment of its own commit, so that stamp survives and the
- * resumed coding team is still shown the verdict it was judged on.
- *
- * The explicit-method verdict (VerificationHistory.explicitOutcome) is not the
- * reset's: only the explicit-outcome writers change it (verify/explicit-gate-
- * outcome.ts), and a selection removes it before its run starts. The reset reads
- * and writes in the delivery's serialized write turn, so the row's record is kept
- * as the row holds it -- a verdict recorded before the reset's turn is never
- * dropped by a reset that read the row earlier.
- *
- * Split out of verification-feedback.ts (daemon 800-line limit), which
- * re-exports resetVerificationHistoryOnPass for existing importers.
- *
- * @module verification-history-reset
- */
-import { rewriteDeliveryGateStateAtOwnStatus, } from '../queries/deliveries.js';
-import { clearVerificationHistory, readVerificationHistory, stampJudgedCommit, } from '../queries/delivery-gate-state.js';
-import { clearVerifyOwnHolds, hasVerifyOwnHold } from '../queries/verify-own-holds.js';
-import { recordDeliveryVerificationOutcome } from '../queries/verification.js';
-import { createLogger } from '../shell/log.js';
-const log = createLogger({ module: 'verification' });
-/** `cleared` with `kept` re-stamped as its judged commit; `cleared` itself when nothing is kept. Pure. */
-function withJudgedCommit(cleared, kept) {
-    if (!kept)
-        return cleared;
-    const base = cleared ?? { blocking: [], warnings: [], evaluatedAt: kept.judgedAt };
-    return stampJudgedCommit(base, kept.sha, kept.judgedAt, kept.gateVerdict);
-}
-/**
- * Reset a delivery's verification history on a verify PASS (see the module
- * header). `passedSha` is the commit the pass judged; a judged commit naming it
- * is kept, and null keeps nothing.
- *
- * Writes only when there is history to drop, over the FRESH row at its OWN status
- * in one serialized write turn (queries/deliveries.ts
- * rewriteDeliveryGateStateAtOwnStatus), so the gate-only write never moves the
- * delivery. A done or cancelled delivery is left alone. clearVerificationHistory
- * keeps any hold or live verdict and returns a history-only gate to null; the
- * explicit verdict is kept (module header). Best-effort: never throws. Returns
- * whether a reset was written.
- */
-export async function resetVerificationHistoryOnPass(deliveryId, deps = {}, passedSha = null) {
-    try {
-        const written = await rewriteDeliveryGateStateAtOwnStatus(deliveryId, (row) => {
-            const history = readVerificationHistory(row.gateState);
-            const kept = passedSha !== null && history.judgedCommit?.sha === passedSha ? history.judgedCommit : null;
-            const judgedCommitDropped = history.judgedCommit !== undefined && kept === null;
-            // A pass supersedes verify's OWN holds too (queries/verify-own-holds.ts
-            // VERIFY_OWN_HOLD_GUARDS): a delivery that never left verify -- a released
-            // park, an awaited model -- would otherwise keep the stale guard that no done
-            // route accepts. Operator, external and commit-verdict holds are untouched.
-            const ownHold = hasVerifyOwnHold(row.gateState);
-            if (!history.signatureRun && !history.shortfallRepeat && !history.failedAtSha && !history.shortfallPark
-                && !judgedCommitDropped && !ownHold) {
-                return undefined;
-            }
-            return withJudgedCommit(clearVerificationHistory(clearVerifyOwnHolds(row.gateState)), kept);
-        }, { io: deps });
-        return written === 'written';
-    }
-    catch (err) {
-        log.warn(`failed to reset verification history for delivery ${deliveryId}:`, err.message);
-        return false;
-    }
-}
-/**
- * Record a delivery's verification outcome (VerificationDeps.recordOutcome). A
- * PASSED verify cleared the gate, so the verification history is reset, keeping
- * a judged commit that names `judgedSha` -- the commit this pass judged, or
- * null for a run that judged none. The reset is best-effort and never throws.
- */
-export async function recordOutcomeResettingVerificationHistory(deliveryId, outcome, judgedSha = null, deps = {}) {
-    await (deps.recordOutcome ?? recordDeliveryVerificationOutcome)(deliveryId, outcome);
-    if (outcome === 'passed')
-        await resetVerificationHistoryOnPass(deliveryId, deps, judgedSha);
-}
-//# sourceMappingURL=verification-history-reset.js.map

package/dist/verify/verification-history-reset.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-history-reset.js","sourceRoot":"","sources":["../../src/verify/verification-history-reset.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,uFAAuF;AACvF,0EAA0E;AAC1E,8DAA8D;AAC9D,2EAA2E;AAC3E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,EACL,mCAAmC,GAGpC,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,iBAAiB,GAElB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AACvF,OAAO,EAAE,iCAAiC,EAA4B,MAAM,4BAA4B,CAAC;AACzG,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAKrD,0GAA0G;AAC1G,SAAS,gBAAgB,CAAC,OAAiC,EAAE,IAAyB;IACpF,IAAI,CAAC,IAAI;QAAE,OAAO,OAAO,CAAC;IAC1B,MAAM,IAAI,GAAsB,OAAO,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;IACtG,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,UAAkB,EAClB,OAA8C,EAAE,EAChD,YAA2B,IAAI;IAE/B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,mCAAmC,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE;YAC5E,MAAM,OAAO,GAAG,uBAAuB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACvD,MAAM,IAAI,GAAG,SAAS,KAAK,IAAI,IAAI,OAAO,CAAC,YAAY,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;YACzG,MAAM,mBAAmB,GAAG,OAAO,CAAC,YAAY,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI,CAAC;YAChF,wEAAwE;YACxE,2EAA2E;YAC3E,8EAA8E;YAC9E,4EAA4E;YAC5E,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAChD,IAAI,CAAC,OAAO,CAAC,YAAY,IAAI,CAAC,OAAO,CAAC,eAAe,IAAI,CAAC,OAAO,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,aAAa;mBAClG,CAAC,mBAAmB,IAAI,CAAC,OAAO,EAAE,CAAC;gBACtC,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,gBAAgB,CAAC,wBAAwB,CAAC,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9F,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACjB,OAAO,OAAO,KAAK,SAAS,CAAC;IAC/B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,qDAAqD,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACrG,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAOD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,yCAAyC,CAC7D,UAAkB,EAClB,OAA4B,EAC5B,YAA2B,IAAI,EAC/B,OAA+C,EAAE;IAEjD,MAAM,CAAC,IAAI,CAAC,aAAa,IAAI,iCAAiC,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACrF,IAAI,OAAO,KAAK,QAAQ;QAAE,MAAM,8BAA8B,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;AAC9F,CAAC"}

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

@@ -1,55 +0,0 @@
-/**
- * Filename of the repo-committed manifest, at the REPO ROOT.
- *
- * Deliberately not under `.telora/` -- `.gitignore:72` ignores that directory
- * wholesale and git cannot re-include a file whose parent dir is excluded, so a
- * manifest there could never be tracked. A repo-root name is trivially
- * trackable (`git check-ignore -v telora.verify.json` finds no match).
- */
-export declare const VERIFY_MANIFEST_FILENAME = "telora.verify.json";
-/**
- * The repo's own declaration of its mechanical gate.
- *
- * `command` is required -- declaring the command IS the point of the file.
- * `timeoutMs` / `maxConcurrent` are optional refinements; omitted => the layers
- * above/below supply them (env, operator file, then the typed defaults in
- * verification-config.ts).
- */
-export interface VerifyManifest {
-    /** Whole-repo verification command run at the coding->verify edge. */
-    command: string;
-    /** Optional timeout (ms) for the command. Must be > 0 when present. */
-    timeoutMs?: number;
-    /** Optional cap on concurrent daemon-side runs. Must be > 0 when present. */
-    maxConcurrent?: number;
-}
-/**
- * Injectable file-system seam (existence + read), mirroring how sibling daemon
- * modules take a deps object with a real-fs default. Tests pass fakes; nothing
- * else in the resolver chain has to touch a real repo.
- */
-export interface VerifyManifestFs {
-    /** True iff a readable manifest exists at `path`. */
-    exists(path: string): boolean;
-    /** Read `path` as UTF-8 text. May throw (an unreadable manifest is loud). */
-    readText(path: string): string;
-}
-/** Real-fs default for {@link VerifyManifestFs}. */
-export declare const defaultVerifyManifestFs: VerifyManifestFs;
-/** Reader shape, so callers can inject a fake without importing this module's fs. */
-export type VerifyManifestReader = (repoPath: string | undefined, fs?: VerifyManifestFs) => VerifyManifest | undefined;
-/** Absolute path of the manifest for a product's repo. */
-export declare function resolveVerifyManifestPath(repoPath: string): string;
-/**
- * Read the repo's verification manifest.
- *
- * @param repoPath Product repo root (`configForProduct` sets this per product).
- *                 Undefined => no repo to read => `undefined`.
- * @param fs       Injectable fs seam; defaults to real fs.
- * @returns The parsed manifest, or `undefined` when no manifest file exists.
- * @throws  Error naming the file path when the manifest exists but is
- *          unreadable / not JSON / not an object / carries no usable `command`
- *          / carries a non-positive `timeoutMs` or `maxConcurrent`.
- */
-export declare const readVerifyManifest: VerifyManifestReader;
-//# sourceMappingURL=verification-manifest.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"verification-manifest.d.ts","sourceRoot":"","sources":["../../src/verify/verification-manifest.ts"],"names":[],"mappings":"AAkEA;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,uBAAuB,CAAC;AAE7D;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc;IAC7B,sEAAsE;IACtE,OAAO,EAAE,MAAM,CAAC;IAChB,uEAAuE;IACvE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,6EAA6E;IAC7E,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,qDAAqD;IACrD,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAC9B,6EAA6E;IAC7E,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;CAChC;AAED,oDAAoD;AACpD,eAAO,MAAM,uBAAuB,EAAE,gBAGrC,CAAC;AAEF,qFAAqF;AACrF,MAAM,MAAM,oBAAoB,GAAG,CACjC,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,EAAE,CAAC,EAAE,gBAAgB,KAClB,cAAc,GAAG,SAAS,CAAC;AAEhC,0DAA0D;AAC1D,wBAAgB,yBAAyB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAElE;AA+BD;;;;;;;;;;GAUG;AACH,eAAO,MAAM,kBAAkB,EAAE,oBAgDhC,CAAC"}

package/dist/verify/verification-manifest.js

@@ -1,156 +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/judged-commit-gate.test.ts,
-//   packages/daemon/src/verify/verification-manifest.test.ts,
-//   packages/daemon/src/verify/verification-run-config-source.test.ts,
-//   packages/daemon/src/verify/verification-tick-product-scoping.test.ts
-// PINNED-BY-END
-/**
- * Repo-committed verification manifest (`telora.verify.json` at the repo root).
- *
- * WHY a repo-committed layer exists
- * ---------------------------------
- * The daemon's deterministic verify gate was fully built but structurally
- * UNARMABLE from the repo. Before this module, the only two ways to supply a
- * verification command were:
- *
- *   1. the env var `TELORA_DEFAULT_VERIFY_COMMAND`, and
- *   2. the operator's per-workstation config file, which
- *      `cli/verify-setup.ts:218` resolves to
- *      `resolve(homedir(), '.telora', 'daemon.json')` -- a HOME-dir path that
- *      is not in any repo, and
- *      `.gitignore:72` ignores `.telora/` WHOLESALE, so a repo-local
- *      `.telora/daemon.json` could not be committed either.
- *
- * Both layers are per-workstation and untracked. The consequence: no agent and
- * no PR could arm the gate, and a fresh clone was ungated by construction. A
- * focus whose thesis is "gate at the source" could not put the gate's
- * definition IN the source.
- *
- * This module adds the missing layer: a TRACKED, repo-root file by which a repo
- * DECLARES ITS OWN gate command, so the declaration travels with the code it
- * gates. It sits BELOW the operator file and ABOVE '' (disabled) in
- * `resolveDefaultVerification` (verification-config.ts).
- *
- * Path choice: git cannot re-include a file whose parent directory is
- * excluded, so a `.telora/`-nested manifest is unreachable without unignoring
- * the whole directory. Hence a repo-ROOT filename, deliberately outside
- * `.telora/`.
- *
- * WHY malformed FAILS LOUDLY (missing does not)
- * ---------------------------------------------
- * The two states are read as different operator statements:
- *
- *   - MISSING manifest => `undefined` => the resolver falls through to ''
- *     (inert). This PRESERVES THE OPT-IN SEAM: the daemon manages repos that
- *     have no whole-repo verification command at all, and they must keep
- *     resolving to disabled. A repo that ships no manifest has said nothing.
- *   - MALFORMED manifest => THROW, naming the file path and the problem. A repo
- *     that ships a manifest HAS said something, and we could not read it.
- *     Degrading that to "disabled" would silently un-arm the gate on a typo --
- *     a trailing comma, or `"commnad"` for `"command"` -- and the delivery would
- *     sail to done on AI review alone while the repo believed it was gated.
- *     That silent-disable-on-typo is the EXACT failure class this module exists
- *     to remove, so it is never inferred: a broken declaration is louder than
- *     no declaration.
- *
- * For the same reason a manifest carrying no usable `command` is malformed, not
- * absent: the file's whole purpose is to declare a command, and a key typo
- * lands exactly there.
- *
- * @module verification-manifest
- */
-import { existsSync, readFileSync } from 'node:fs';
-import { resolve } from 'node:path';
-/**
- * Filename of the repo-committed manifest, at the REPO ROOT.
- *
- * Deliberately not under `.telora/` -- `.gitignore:72` ignores that directory
- * wholesale and git cannot re-include a file whose parent dir is excluded, so a
- * manifest there could never be tracked. A repo-root name is trivially
- * trackable (`git check-ignore -v telora.verify.json` finds no match).
- */
-export const VERIFY_MANIFEST_FILENAME = 'telora.verify.json';
-/** Real-fs default for {@link VerifyManifestFs}. */
-export const defaultVerifyManifestFs = {
-    exists: (path) => existsSync(path),
-    readText: (path) => readFileSync(path, 'utf-8'),
-};
-/** Absolute path of the manifest for a product's repo. */
-export function resolveVerifyManifestPath(repoPath) {
-    return resolve(repoPath, VERIFY_MANIFEST_FILENAME);
-}
-/** Throw a manifest error that always names the offending file. */
-function manifestError(path, problem) {
-    throw new Error(`Invalid Telora verify manifest at ${path}: ${problem}. `
-        + `A malformed manifest is never degraded to "verification disabled" -- fix the file `
-        + `or delete it to opt this repo out of the deterministic gate.`);
-}
-/**
- * Validate an optional positive-number refinement field.
- *
- * Present-but-wrong is malformed (loud) for the same reason `command` is: the
- * repo said something we cannot read, and a silent fallback would quietly swap
- * the repo's declared bound for a default.
- */
-function optionalPositiveNumber(raw, key, path) {
-    const value = raw[key];
-    if (value === undefined)
-        return undefined;
-    if (typeof value !== 'number' || !Number.isFinite(value) || value <= 0) {
-        manifestError(path, `"${key}" must be a number > 0 (got ${JSON.stringify(value)})`);
-    }
-    return value;
-}
-/**
- * Read the repo's verification manifest.
- *
- * @param repoPath Product repo root (`configForProduct` sets this per product).
- *                 Undefined => no repo to read => `undefined`.
- * @param fs       Injectable fs seam; defaults to real fs.
- * @returns The parsed manifest, or `undefined` when no manifest file exists.
- * @throws  Error naming the file path when the manifest exists but is
- *          unreadable / not JSON / not an object / carries no usable `command`
- *          / carries a non-positive `timeoutMs` or `maxConcurrent`.
- */
-export const readVerifyManifest = (repoPath, fs = defaultVerifyManifestFs) => {
-    if (!repoPath)
-        return undefined;
-    const path = resolveVerifyManifestPath(repoPath);
-    if (!fs.exists(path))
-        return undefined;
-    let text;
-    try {
-        text = fs.readText(path);
-    }
-    catch (err) {
-        manifestError(path, `file could not be read (${String(err?.message ?? err)})`);
-    }
-    let parsed;
-    try {
-        parsed = JSON.parse(text);
-    }
-    catch (err) {
-        manifestError(path, `not valid JSON (${String(err?.message ?? err)})`);
-    }
-    if (typeof parsed !== 'object' || parsed === null || Array.isArray(parsed)) {
-        manifestError(path, `expected a JSON object, got ${Array.isArray(parsed) ? 'an array' : typeof parsed}`);
-    }
-    const raw = parsed;
-    const command = raw.command;
-    if (typeof command !== 'string') {
-        manifestError(path, command === undefined
-            ? `missing required "command" string (check for a typo in the key)`
-            : `"command" must be a string (got ${typeof command})`);
-    }
-    if (command.trim() === '') {
-        manifestError(path, `"command" must not be empty -- delete the file to opt out instead`);
-    }
-    const timeoutMs = optionalPositiveNumber(raw, 'timeoutMs', path);
-    const maxConcurrent = optionalPositiveNumber(raw, 'maxConcurrent', path);
-    return {
-        command,
-        ...(timeoutMs !== undefined ? { timeoutMs } : {}),
-        ...(maxConcurrent !== undefined ? { maxConcurrent } : {}),
-    };
-};
-//# sourceMappingURL=verification-manifest.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"verification-manifest.js","sourceRoot":"","sources":["../../src/verify/verification-manifest.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,oEAAoE;AACpE,8DAA8D;AAC9D,uEAAuE;AACvE,yEAAyE;AACzE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsDG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,oBAAoB,CAAC;AA+B7D,oDAAoD;AACpD,MAAM,CAAC,MAAM,uBAAuB,GAAqB;IACvD,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;IAClC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC;CAChD,CAAC;AAQF,0DAA0D;AAC1D,MAAM,UAAU,yBAAyB,CAAC,QAAgB;IACxD,OAAO,OAAO,CAAC,QAAQ,EAAE,wBAAwB,CAAC,CAAC;AACrD,CAAC;AAED,mEAAmE;AACnE,SAAS,aAAa,CAAC,IAAY,EAAE,OAAe;IAClD,MAAM,IAAI,KAAK,CACb,qCAAqC,IAAI,KAAK,OAAO,IAAI;UACvD,oFAAoF;UACpF,8DAA8D,CACjE,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,sBAAsB,CAC7B,GAA4B,EAC5B,GAAkC,EAClC,IAAY;IAEZ,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACvB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACvE,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,+BAA+B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAyB,CACtD,QAAQ,EACR,KAAuB,uBAAuB,EAClB,EAAE;IAC9B,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,MAAM,IAAI,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IACjD,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAEvC,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,aAAa,CAAC,IAAI,EAAE,2BAA2B,MAAM,CAAE,GAAa,EAAE,OAAO,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5F,CAAC;IAED,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;IACvC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,aAAa,CAAC,IAAI,EAAE,mBAAmB,MAAM,CAAE,GAAa,EAAE,OAAO,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;IACpF,CAAC;IAED,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3E,aAAa,CAAC,IAAI,EAAE,+BAA+B,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,MAAM,EAAE,CAAC,CAAC;IAC3G,CAAC;IAED,MAAM,GAAG,GAAG,MAAiC,CAAC;IAC9C,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IAC5B,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAChC,aAAa,CACX,IAAI,EACJ,OAAO,KAAK,SAAS;YACnB,CAAC,CAAC,iEAAiE;YACnE,CAAC,CAAC,mCAAmC,OAAO,OAAO,GAAG,CACzD,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC1B,aAAa,CAAC,IAAI,EAAE,mEAAmE,CAAC,CAAC;IAC3F,CAAC;IAED,MAAM,SAAS,GAAG,sBAAsB,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,sBAAsB,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;IAEzE,OAAO;QACL,OAAO;QACP,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1D,CAAC;AACJ,CAAC,CAAC"}