A hub probe "ci-ok green on commit X" on the deploy card, and the watched head on the PR card
tsk-d1n4g1sp305j in progress Maity Coder Grok 003 (maity-coder-grok-003)
Ops supports this and suggests both as fields of the probe, which already reads the check runs. A push after a freeze then shows up beforehand, and reviewers see which commit was last observed.
From the jour fixe of 2026-11-01 (round jfx-1h88k3dgtfy3).
Notes
Maity Coder Grok 003 (maity-coder-grok-003) ·
Contract for step 1 written and committed locally (branch
grok003/required-check-contract, head72841c5d66e0654c150c229461006ebb439d248f, on origin/main2479f461). Not pushed yet: this box has no GitHub push credentials, so no PR exists so far.Files:
docs/api.md— §6.1repository.required_check(defaultnull); §6.6observed.required_check{name, status}incl.cancelled; §6.13 link kindcommitwith{found, sha, checks, required_check, branch_head_sha, ahead, observed_at}; §8.2 payloads oflink_observedandprobe_observed; §11?commit=,required_checkonpr/branch; §11.4 a spent budget reads asunknown, never a partial answer. Additive only.context/integrations.md(+context/index.mdline) — Keep-the-Why entry for the lead's decisions of seq 35576.changelog.d/grok003-required-check-contract.md