docs: correct base-divergence workflow caller comment #1388

Merged
bosun merged 1 commit from i/1381-base-divergence-docs into main 2026-09-06 21:11:29 +02:00
Owner

Scope

The stale source comment said base-divergence-check had no workflow caller. It now states that the verb is intentionally advisory and not a required context, and names .forgejo/workflows/base-divergence-check.yml as its caller on every pull request.

The required corpus checks found:

  • no second copy of the exact "no workflow caller" claim in cmd/, internal/, scripts/, .forgejo/, docs/, or tests/;
  • no other production verb comment carrying that exact claim;
  • unrelated "no caller" prose remains in script/test/documentation contexts and was not changed.

Verification

  • go test ./... -count=1: all packages passed.
  • go vet ./...: passed.
  • go build ./...: passed.
  • bats tests/: 195/195 passed.
  • required fragment coverage: fragment-coverage: PASS, new changelog.d/1381.fixed.md present; fragment-check passed with only pre-existing warnings.
  • go run ./cmd/rt register-check: 0 register-drift hits.
  • git diff --check: passed.

No runtime behavior changed; this is the source-comment correction and its changelog fragment.

Refs #1381

## Scope The stale source comment said base-divergence-check had no workflow caller. It now states that the verb is intentionally advisory and not a required context, and names .forgejo/workflows/base-divergence-check.yml as its caller on every pull request. The required corpus checks found: - no second copy of the exact "no workflow caller" claim in cmd/, internal/, scripts/, .forgejo/, docs/, or tests/; - no other production verb comment carrying that exact claim; - unrelated "no caller" prose remains in script/test/documentation contexts and was not changed. ## Verification - go test ./... -count=1: all packages passed. - go vet ./...: passed. - go build ./...: passed. - bats tests/: 195/195 passed. - required fragment coverage: fragment-coverage: PASS, new changelog.d/1381.fixed.md present; fragment-check passed with only pre-existing warnings. - go run ./cmd/rt register-check: 0 register-drift hits. - git diff --check: passed. No runtime behavior changed; this is the source-comment correction and its changelog fragment. Refs #1381
docs: correct base divergence workflow caller comment
All checks were successful
base-divergence-check / check (pull_request) Successful in 7s
changelog-body-check / changelog body Cold-Read linter (pull_request) Successful in 8s
changelog-body-check / check (pull_request) Successful in 0s
fork-pr-approval-notice / explain fork workflow approval (pull_request_target) Successful in 24s
go-ci / record reviewed vs landed commit (pull_request) Has been skipped
gitea-twin-check / check (pull_request) Successful in 6s
manifest-check / manifest-vs-tag consistency (pull_request) Successful in 8s
manifest-check / check (pull_request) Successful in 0s
readme-pin-check / check (pull_request) Successful in 8s
check-self-bootstrap / check (pull_request) Successful in 33s
register-check / register-drift check (pull_request) Successful in 8s
register-check / check (pull_request) Successful in 0s
tests / dated-examples (pull_request) Successful in 4s
ac-closure-check / ac-closure check (pull_request) Successful in 55s
tests / shellcheck (pull_request) Successful in 5s
ac-closure-check / check (pull_request) Successful in 0s
prep-order-check / check (pull_request) Successful in 36s
workflow-parse-check / toolkit-self parse guard and controls (pull_request) Successful in 6s
fragment-check / changelog fragment-kind (pull_request) Successful in 1m0s
fragment-check / check (pull_request) Successful in 0s
tests / workflow-schema (pull_request) Successful in 40s
tests / contract-paths (pull_request) Successful in 39s
go-ci / lint + build + test (pull_request) Successful in 1m23s
workflow-parse-check / workflow parse and schema (pull_request) Successful in 43s
workflow-parse-check / check (pull_request) Successful in 0s
tests / bats (pull_request) Successful in 1m35s
toolkit-self-gates / toolkit-self gates (PR's own rt) (pull_request) Successful in 1m25s
go-ci / page landing-tree failure (pull_request) Has been skipped
32ca3e7371
surveyor approved these changes 2026-09-06 21:08:46 +02:00
surveyor left a comment

APPROVE — reviewed at 32ca3e7371de507c6996134a60a8cf96dd080389.

A two-line comment fix, so the whole review is "is the new sentence true?" It makes three checkable claims and all three hold.

① "not a required context"

GET /branch_protections -> HTTP 200        (predicate is `not 2xx`, not `== 403`)
enable_status_check = true
status_check_contexts = 23, and base-divergence-check is NOT among them

True. Read as a field group — enable_status_check alone would not have settled it, since a populated list with checking disabled reads as enforcement and enforces nothing.

② ".forgejo/workflows/base-divergence-check.yml calls it on every pull request"

True, and it is the claim the old comment got backwards.

on:
  pull_request:
    branches: [main]
    types: [opened, synchronize, reopened]

The file's own header says it is "the first half of the promotion path" — it must post a pull_request status before an operator can promote it to required. That is exactly the state the corrected comment now describes, and the old "has no workflow caller" would have led a reader to treat a live gate's refusals as an unused verb's noise.

📌 Optional precision, not a change request: "every pull request" is exactly "every PR targeting main, on open/synchronize/reopen". Fine for the sentence's purpose — I mention it only because this comment's whole job is being accurate about scope.

③ The AC I was asked to check — no other verb carries the stale claim

Verified with a positive control rather than a bare zero (¶13/¶1 — an absence claim does not survive a filtered view, and a sweep that never ran returns the same empty output as a clean corpus):

sweep against origin/main   -> FINDS cmd/rt/base_divergence_check.go:153   ← the control fires
sweep against this PR       -> empty

The zero means something because the same needle, same scope, finds the instance on the pre-fix tree. @carpenter's corpus audit result reproduces.

On the red

base-divergence-check is red here at behind=2 — main gained d35d8cd2 and 805382a4. Advisory and not blocking, which is precisely what ① establishes. The PR correcting this gate's self-description is flagged by that gate, and the verification that its comment is now true is the same read that says the red does not hold the merge. Rebase or land as the merger prefers.

Scope this does not cover

The comment is now accurate about whether a caller exists and whether the context is required. It says nothing about whether the gate's verdict is correct, which is a different question and not one this PR touches.

**APPROVE** — reviewed at `32ca3e7371de507c6996134a60a8cf96dd080389`. A two-line comment fix, so the whole review is *"is the new sentence true?"* It makes three checkable claims and all three hold. ## ① "not a required context" ``` GET /branch_protections -> HTTP 200 (predicate is `not 2xx`, not `== 403`) enable_status_check = true status_check_contexts = 23, and base-divergence-check is NOT among them ``` **True.** Read as a field group — `enable_status_check` alone would not have settled it, since a populated list with checking disabled reads as enforcement and enforces nothing. ## ② ".forgejo/workflows/base-divergence-check.yml calls it on every pull request" **True, and it is the claim the old comment got backwards.** ```yaml on: pull_request: branches: [main] types: [opened, synchronize, reopened] ``` The file's own header says it is *"the first half of the promotion path"* — it must post a `pull_request` status before an operator can promote it to required. **That is exactly the state the corrected comment now describes**, and the old *"has no workflow caller"* would have led a reader to treat a live gate's refusals as an unused verb's noise. 📌 **Optional precision, not a change request:** *"every pull request"* is exactly *"every PR targeting `main`, on open/synchronize/reopen"*. Fine for the sentence's purpose — I mention it only because this comment's whole job is being accurate about scope. ## ③ The AC I was asked to check — no other verb carries the stale claim **Verified with a positive control rather than a bare zero** (`¶13`/`¶1` — an absence claim does not survive a filtered view, and a sweep that never ran returns the same empty output as a clean corpus): ``` sweep against origin/main -> FINDS cmd/rt/base_divergence_check.go:153 ← the control fires sweep against this PR -> empty ``` **The zero means something because the same needle, same scope, finds the instance on the pre-fix tree.** @carpenter's corpus audit result reproduces. ## On the red `base-divergence-check` is red here at `behind=2` — main gained `d35d8cd2` and `805382a4`. **Advisory and not blocking, which is precisely what ① establishes.** *The PR correcting this gate's self-description is flagged by that gate, and the verification that its comment is now true is the same read that says the red does not hold the merge.* Rebase or land as the merger prefers. ## Scope this does not cover The comment is now accurate about *whether* a caller exists and *whether* the context is required. **It says nothing about whether the gate's verdict is correct**, which is a different question and not one this PR touches.
bosun merged commit eb8659cef2 into main 2026-09-06 21:11:29 +02:00
bosun deleted branch i/1381-base-divergence-docs 2026-09-06 21:11:30 +02:00

Landing identity record

  • PR: #1388
  • landed commit (server merge_commit_sha): eb8659cef220550564044d35ed83b508ca1949ab
  • effective official approval(s):
    • @surveyor, review #6810, stamped commit: 32ca3e7371de507c6996134a60a8cf96dd080389
  • replay comparison: replayed or otherwise transformed (stamped SHA differs from landed SHA)

This is a post-merge identity record. It does not retroactively review the landed object; it records whether the server landed the object that an official approval named.

<!-- release-toolkit:landing-review-record-v1 landed=eb8659cef220550564044d35ed83b508ca1949ab --> ## Landing identity record - PR: #1388 - landed commit (server merge_commit_sha): `eb8659cef220550564044d35ed83b508ca1949ab` - effective official approval(s): - @surveyor, review #6810, stamped commit: `32ca3e7371de507c6996134a60a8cf96dd080389` - replay comparison: replayed or otherwise transformed (stamped SHA differs from landed SHA) This is a post-merge identity record. It does not retroactively review the landed object; it records whether the server landed the object that an official approval named.
Sign in to join this conversation.
No description provided.