ccqa 1.59.0 → 1.60.0

package/dist/bin/ccqa.mjs

@@ -14836,6 +14836,12 @@ function tail(output) {
 	const trimmed = output.trim();
 	return trimmed.length <= OUTPUT_TAIL_CHARS ? trimmed : trimmed.slice(-OUTPUT_TAIL_CHARS);
 }
+const LOGGED_TAIL_LINES = 40;
+/** The end of an output tail that is already scrubbed, one log line per line. */
+function logOutputTail(scrubbed, write) {
+	if (scrubbed === "") return;
+	for (const line of scrubbed.split("\n").slice(-LOGGED_TAIL_LINES)) write(`  | ${line}`);
+}
 /**
 * Where new support files may be created.
 *
@@ -15027,16 +15033,19 @@ async function runVerificationLoop(p, state) {
 				failing = run;
 			}
 		}
+		const outputTail = scrubEnvValues(tail(failing.output), outputScrub);
 		if (attempt >= maxRetries) {
 			warn(`verification still failing after ${maxRetries} fix attempt(s) — generated files kept`);
+			logOutputTail(outputTail, warn);
 			await clearCaseRun(p.ctx.ref);
 			return finish(false);
 		}
 		fix(`verification failed (exit ${failing.exitCode}) — requesting a fix (${attempt + 1}/${maxRetries})`);
+		logOutputTail(outputTail, fix);
 		const fixPrompt = buildLlmFixPrompt({
 			targetId: p.target,
 			command: failing.command,
-			outputTail: scrubEnvValues(tail(failing.output), outputScrub),
+			outputTail,
 			files: [...state.entries()].map(([path, f]) => ({
 				path,
 				contents: f.contents,
@@ -29038,12 +29047,12 @@ function releaseAll(locks, holder) {
 }
 //#endregion
 //#region src/hub/core/audit-need.ts
-function auditNeed(drift, key, range) {
-	const entry = drift.specs[key];
+function auditNeed(drift, spec, range, deployTimes) {
+	const entry = drift.specs[spec.key];
 	if (!entry) return { because: "neverAudited" };
-	const since = freshness(entry.gitHead, key, range);
+	const since = freshness(entry.gitHead, spec.key, range);
 	switch (since.kind) {
-		case "current": return { because: "current" };
+		case "current": return specMovedSince(spec.changedAt, entry.gitHead, entry.at, deployTimes) ? { because: "deployReached" } : { because: "current" };
 		case "touched": return { because: "deployReached" };
 		case "unanswerable": return {
 			because: "cannotTell",
@@ -29052,13 +29061,52 @@ function auditNeed(drift, key, range) {
 		default: throw new Error(`unhandled freshness: ${String(since)}`);
 	}
 }
+/**
+* When each deployed commit reached the environment. A baseline read at that
+* commit cannot have seen anything committed after it was deployed.
+*/
+function deployedAt(log) {
+	const out = /* @__PURE__ */ new Map();
+	for (const entry of log.entries) out.set(entry.sha, entry.at);
+	return out;
+}
+/**
+* Has the spec moved since the baseline was taken?
+*
+* A verdict is a claim about a (spec, product) pair, so either side moving
+* invalidates it. The deploy log covers the product side; this covers the
+* other one. Without it a spec repaired and merged stays `needsRepair` until
+* a deploy happens to reach it, and a run that passed against the previous
+* spec keeps answering `verified` for the new one.
+*
+* Compared against when the baseline commit was *deployed*, not when the audit
+* or run happened: the tree read at that commit predates its deployment, so an
+* edit after it is definitely not in it. Falls back to the baseline's own
+* timestamp when the log cannot place the commit.
+*
+* One-directional. A later edit time proves the baseline is stale; an earlier
+* one proves nothing, and this answers false rather than guessing.
+*/
+function specMovedSince(changedAt, baselineSha, baselineAt, deployTimes) {
+	if (!changedAt) return null;
+	return isLater(changedAt, baselineSha && deployTimes.get(baselineSha) || baselineAt) ? changedAt : null;
+}
+/**
+* Compared as instants, never as strings: a spec's edit time carries its
+* committer's offset, and `+09:00` sorts after `Z` for an earlier moment.
+* An unparseable side answers false, the same as a missing one.
+*/
+function isLater(a, b) {
+	return Date.parse(a) > Date.parse(b);
+}
 /** True for every answer but `current`. */
 function needsAudit(need) {
 	return need.because !== "current";
 }
 function computeAuditNeed(input) {
 	const range = buildRange(input.log, input.touchIndex);
-	return Object.fromEntries(input.specs.map((spec) => [spec.key, heldBy(input.locks, spec.key, input.now) ? { because: "held" } : auditNeed(input.drift, spec.key, range)]));
+	const deployTimes = deployedAt(input.log);
+	return Object.fromEntries(input.specs.map((spec) => [spec.key, heldBy(input.locks, spec.key, input.now) ? { because: "held" } : auditNeed(input.drift, spec, range, deployTimes)]));
 }
 //#endregion
 //#region src/drift/audit-selection.ts
@@ -29620,7 +29668,8 @@ async function readChunk(cwd, paths, byRelPath, out) {
 	let when = "";
 	for (const line of stdout.split("\n")) {
 		if (line.startsWith("\0")) {
-			when = line.slice(1).trim();
+			const ms = Date.parse(line.slice(1).trim());
+			when = Number.isNaN(ms) ? "" : new Date(ms).toISOString();
 			continue;
 		}
 		const abs = byRelPath.get(line.trim());
@@ -32244,36 +32293,6 @@ function createGetCoverageEdgesHandler(config) {
 }
 //#endregion
 //#region src/hub/core/rerun.ts
-/**
-* When each deployed commit reached the environment. A baseline read at that
-* commit cannot have seen anything committed after it was deployed.
-*/
-function deployedAt(log) {
-	const out = /* @__PURE__ */ new Map();
-	for (const entry of log.entries) out.set(entry.sha, entry.at);
-	return out;
-}
-/**
-* Has the spec moved since the baseline was taken?
-*
-* A verdict is a claim about a (spec, product) pair, so either side moving
-* invalidates it. The deploy log covers the product side; this covers the
-* other one. Without it a spec repaired and merged stays `needsRepair` until
-* a deploy happens to reach it, and a run that passed against the previous
-* spec keeps answering `verified` for the new one.
-*
-* Compared against when the baseline commit was *deployed*, not when the audit
-* or run happened: the tree read at that commit predates its deployment, so an
-* edit after it is definitely not in it. Falls back to the baseline's own
-* timestamp when the log cannot place the commit.
-*
-* One-directional. A later edit time proves the baseline is stale; an earlier
-* one proves nothing, and this answers false rather than guessing.
-*/
-function specMovedSince(changedAt, baselineSha, baselineAt, deployTimes) {
-	if (!changedAt) return null;
-	return changedAt > (baselineSha && deployTimes.get(baselineSha) || baselineAt) ? changedAt : null;
-}
 function computeRerun(input) {
 	const { specs, ledger, log, touchIndex, drift, locks, attestations, dismissals, now } = input;
 	const range = buildRange(log, touchIndex);
@@ -32285,7 +32304,7 @@ function computeRerun(input) {
 			lastGreen: ledger.green[spec.key] ?? null,
 			lastRed: ledger.red[spec.key] ?? null
 		};
-		let audit = auditState(drift, spec.key, range);
+		let audit = auditState(drift, spec, range, deployTimes);
 		let execution = executionState(coords, (sha) => freshness(sha, spec.key, range));
 		const driftEntry = drift.specs[spec.key];
 		const dismissal = dismissals.specs[spec.key];
@@ -32293,7 +32312,6 @@ function computeRerun(input) {
 		if (dismissed) audit = { audit: "clean" };
 		const auditMoved = specMovedSince(spec.changedAt, driftEntry?.gitHead ?? null, driftEntry?.at ?? "", deployTimes);
 		const runMoved = specMovedSince(spec.changedAt, coords.lastRun?.deployedSha ?? null, coords.lastRun?.at ?? "", deployTimes);
-		if (auditMoved && audit.audit !== "due") audit = { audit: "due" };
 		if (runMoved && execution.execution === "passed") execution = { execution: "stale" };
 		const manualState = readAttestation(attestations.specs[spec.key], spec, coords, range, log, deployTimes);
 		const lapsedOverRed = manualState?.kind === "lapsed" && manualState.because !== "newerRed";
@@ -32338,7 +32356,7 @@ function computeRerun(input) {
 */
 function readAttestation(attest, spec, { lastRun, lastRed }, range, log, deployTimes) {
 	if (!attest) return null;
-	const newerRed = lastRed !== null && lastRed.at > attest.at;
+	const newerRed = lastRed !== null && isLater(lastRed.at, attest.at);
 	if (newerRed && lastRed.runId === lastRun?.runId) return {
 		kind: "lapsed",
 		attest,
@@ -32384,8 +32402,8 @@ function readAttestation(attest, spec, { lastRun, lastRed }, range, log, deployT
 * rule out is treated as having landed (ADR-0014). The hole is kept as an
 * annotation so the answer stays explicable.
 */
-function auditState(drift, key, range) {
-	const need = auditNeed(drift, key, range);
+function auditState(drift, spec, range, deployTimes) {
+	const need = auditNeed(drift, spec, range, deployTimes);
 	switch (need.because) {
 		case "neverAudited":
 		case "deployReached": return { audit: "due" };
@@ -32394,7 +32412,7 @@ function auditState(drift, key, range) {
 			...need.reason ? { auditAssumedReached: need.reason } : {}
 		};
 		case "current": {
-			const label = drift.specs[key].label;
+			const label = drift.specs[spec.key].label;
 			if (label === null) return { audit: "clean" };
 			if (label === "UNKNOWN") return { audit: "undecided" };
 			if (label === "PRODUCT_BUG" || label === "ENVIRONMENT") return { audit: "clean" };

package/dist/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ccqa",
-  "version": "1.59.0",
+  "version": "1.60.0",
   "type": "module",
   "description": "Browser test recorder powered by Claude Code and agent-browser",
   "repository": {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ccqa",
-  "version": "1.59.0",
+  "version": "1.60.0",
   "type": "module",
   "description": "Browser test recorder powered by Claude Code and agent-browser",
   "repository": {