boundedMountExplanation function

MountExplanationReport boundedMountExplanation(
  1. MountExplanationReport report
)

report rendered down to kBoundedOutputCapBytes in BOTH renderings.

The cap, the both-renderings-must-fit predicate and the search for the largest candidate that fits are the PACK's — boundedOutput owns them. What is THIS verb's is the policy: a precondition ROW is never removed, because the row set IS the answer; only the TAIL of a row's evidence list is given up, in precondition order, and every cut names the count withheld and the exact scoped read that retrieves it.

Implementation

MountExplanationReport boundedMountExplanation(MountExplanationReport report) {
  final policy = _MountTrimPolicy(report);
  return boundedOutput<MountExplanationReport>(
    complete: report,
    maximumTrimBudget: policy.maximumBudget,
    renderPlain: renderMountExplanationPlain,
    renderJson: (value) => jsonEncode(value.toJson()),
    trim: policy.at,
  );
}