diff --git a/docs/FORMAL_REQUIRED_CHECKS.md b/docs/FORMAL_REQUIRED_CHECKS.md
index ed8eef1bb..82e7f6d96 100644
--- a/docs/FORMAL_REQUIRED_CHECKS.md
+++ b/docs/FORMAL_REQUIRED_CHECKS.md
@@ -47,6 +47,12 @@ authenticate independent semantic review, or promote mathematical status.
 The pre-change main ruleset23798639 requires verify/public-intake/public-shop;
 Math-24045351 requires math-downstream-gates. Both require zero GitHub approving
 reviews. Main has a pre-existing repository-role PR bypass; Math- has none.
+*Correction, 2026-10-07 (live read):* the sentence "Main has a pre-existing
+repository-role PR bypass" is the 27 September snapshot, superseded. The bypass
+actor on main ruleset 23798639 is the ChatGPT Codex Connector integration
+(1144995), bypass mode `always`, exempt from every rule of that ruleset; see
+[OP-ACCESS-20261007](https://github.com/d6g8k5htny-coder/main/blob/b7deb198722582df191006e4f47238f92e6e543d/governance/OP-ACCESS-20261007.md), the access record; the
+bypass disposition (remove, or record as an accepted exception) is pending.
 This code uses the already-required contexts and does not claim to edit settings.
 The managed connector does not expose ruleset writes. Do not bypass a rule or
 claim an administrator change without a successful write and independent readback.