Function compactPrCloseCoverageProofCommentWindow

src/repair/apply-result.ts:1316–1337

(
  comments: JsonValue[],
  total: number,
  limit: number,
)

}

function compactPrCloseCoverageProofCommentWindow(
  comments: JsonValue[],
  total: number,
  limit: number,
): unknown[] {
  const boundedLimit = Math.max(0, Math.floor(limit));
  const boundedTotal = Math.max(0, Math.floor(total));
  if (boundedTotal <= boundedLimit && comments.length <= boundedLimit) {
    return comments.map(compactPrCloseCoverageProofComment);
  }
  if (boundedLimit === 0) {
    return [{ omitted: boundedTotal, note: "comments omitted from proof context" }];
  }
  const keepStart = Math.floor(boundedLimit / 2);
  const keepEnd = Math.max(0, boundedLimit - keepStart);
  const omitted = Math.max(0, boundedTotal - keepStart - keepEnd);
  return [
    ...comments.slice(0, keepStart).map(compactPrCloseCoverageProofComment),
    ...(omitted > 0 ? [{ omitted, note: "middle comments omitted from proof context" }] : []),
    ...comments.slice(comments.length - keepEnd).map(compactPrCloseCoverageProofComment),
  ];
}

function prCloseCoverageProofRelationshipSignals({ action, actionName, coveringRef }: LooseRecord) {
  const signals = [