[JacobStephens2]

Summary

Records the grill-with-docs session that turned #1252 into a Spec and #1253 into one of its Tickets. Docs only.

 docs/grill-with-docs/
+└── 1252-1253-bar-and-rechecks.md   # Rounds 1–4, the settled decisions, simulations and sources
 GLOSSARY.md
   **Bar**
-    the margin, the credible level, the prior, …
+    the margin, the pass level and the fail level (the credible levels a pass and a fail are each judged at), the prior, …

The decision: a pass is judged at a looser pass level against the −10 margin, while a fail stays at the 95% fail level against zero. The default pass level is set from an A/A Experiment. The Tickets are #1264–#1268 and #1253, all under #1252.

Evidence

• Before: Spec: a Bar a release that changes nothing can pass #1252 cited its interval numbers with no record of how they were decided. The Spec refers to this grill file, which isn't on main yet.
  After: the Spec's "Decided in" reference resolves on main.

Merge Danger

Door: two-way

Blast Radius: docs

The glossary now names the Bar's two levels ahead of the code on issue-977, which still has one credible level until #1264. If #977's Spec PR also edits the Bar entry, the two will conflict on that line.