Make the gate's green quote the output it observed

Message

A bare success line is what this gate printed for five days while observing nothing. Quoting the program's actual output makes a green auditable from a CI log rather than taken on trust.

Changed

 scripts/gate-crosscheckout.sh | 4 ++++
 1 file changed, 4 insertions(+)

Diff

scripts/gate-crosscheckout.shmodified

@@ -79,4 +79,8 @@ if [ "$run_status" -ne 0 ] || ! grep -q '^Hello, world!$' "$scratch/hello.out";

exit 1

fi

+82

# Print the evidence, not just the verdict. A green that quotes what it

+83

# observed is auditable from a CI log; a bare "green" is what this gate

+84

# printed for five days while observing nothing.

echo "cross-checkout gate: fresh clone bootstrapped, locked, and ran hello from the lock"

+86

echo "cross-checkout gate: observed program output: $(head -1 "$scratch/hello.out")"