From 0ac7db561891b5038c4ddd62a53a800042b423fe Mon Sep 17 00:00:00 2001 From: garrytan Date: Mon, 2 Nov 2026 19:58:03 +0000 Subject: [PATCH] docs: a pregate-literal reason cannot start with * (GST-634 docs audit) Co-authored-by: capy-ai[bot] <230910855+capy-ai[bot]@users.noreply.github.com> --- docs/pregate.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/docs/pregate.md b/docs/pregate.md index 305084cd5..d78b015f7 100644 --- a/docs/pregate.md +++ b/docs/pregate.md @@ -233,8 +233,9 @@ Two stages with separate clocks, both printed: comment line directly above it: `// pregate-literal: MIN_RUNTIME='1.4.0' refused input below the minimum` (`#` and `/*` comments work too). The marker waives only that line, and only - when it names the changed constant and its old value and gives a reason; text - inside a string is not a marker. Every other line in the file is still + when it names the changed constant and its old value and gives a reason (a + reason cannot start with `*`, so a bare `*/`, `**/` or `* */` closer is not + one); text inside a string is not a marker. Every other line in the file is still checked. The check lists each waived line as `waived: :: ()`, adding `marker added on this branch` when the merge-base file lacks the marker. The policy has no