Fix coverage display rounding to match integer gate

Signed-off-by: Nathan Gillett <nathan@intentproof.io>

Author: Nathan Gillett

scripts/check-coverage.sh

@@ -32,13 +32,24 @@ rules_file="$(mktemp)"
 trap 'rm -f "$rules_file"' EXIT
 printf '%s\n' "${CRITICAL_RULES[@]}" >"$rules_file"
 
+coverage_percent_display() {
+  awk -v c="$1" -v t="$2" 'BEGIN {
+    if (t == 0) { print "0.0"; exit }
+    printf "%.1f", int(1000 * c / t) / 10
+  }'
+}
+
+threshold_met() {
+  awk -v c="$1" -v t="$2" -v min="$3" \
+    'BEGIN { exit !(t > 0 && c * 100 >= t * min) }'
+}
+
 report_threshold() {
   local label="$1" covered="$2" total="$3" min="$4"
   local pct
-  pct="$(awk -v c="$covered" -v t="$total" 'BEGIN { printf "%.1f", 100 * c / t }')"
+  pct="$(coverage_percent_display "$covered" "$total")"
   echo "${label}: ${pct}% (${covered}/${total} statements), minimum ${min}%"
-  if awk -v c="$covered" -v t="$total" -v min="$min" \
-    'BEGIN { exit !(t > 0 && c * 100 >= t * min) }'; then
+  if threshold_met "$covered" "$total" "$min"; then
     echo "  PASS"
     return 0
   fi

scripts/check-coverage_display_test.sh

@@ -0,0 +1,21 @@
+#!/usr/bin/env bash
+# Regression test: displayed percent must not round up past a failing gate.
+set -euo pipefail
+
+pct="$(awk -v c=9399 -v t=10000 'BEGIN {
+  if (t == 0) { print "0.0"; exit }
+  printf "%.1f", int(1000 * c / t) / 10
+}')"
+
+if [[ "$pct" != "93.9" ]]; then
+  echo "FAIL: expected truncated display 93.9%, got ${pct}%" >&2
+  exit 1
+fi
+
+if awk -v c=9399 -v t=10000 -v min=94 \
+  'BEGIN { exit !(t > 0 && c * 100 >= t * min) }'; then
+  echo "FAIL: expected integer gate to fail at 9399/10000 min 94%" >&2
+  exit 1
+fi
+
+echo "PASS: display percent matches integer gate semantics"