docs: retain Beads recovery closeout proof - #382
Conversation
|
The latest updates on your projects. Learn more about Vercel for GitHub.
|
|
@codex review Please perform an independent R4 documentation/quality review of the exact head. Verify the two scheduled run IDs and validator/zero-operation claims are internally consistent, all documented deviations remain explicit, the contract assertions are load-bearing, and no GitHub closing keyword appears before generated mirror #230. |
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
There was a problem hiding this comment.
🟢 Approval recommended
The changes are documentation + contract-test updates that appear internally consistent and appropriately enforce the stated evidence requirements without affecting runtime behavior.
Pull request overview
This PR strengthens the post-release documentation trail for the Beads sync recovery by preserving exact scheduled-run proof (including a follow-up zero-operation run), capturing the durable schema/audit details and known deviations, and enforcing that evidence via a docs contract test.
Changes:
- Expand Stage 0 recovery narrative in
docs/ROADMAP.mdanddocs/POST-RELEASE-EXECUTION.mdto retain the exact run links, provenance IDs, bounded audit gap, and the documented deviations. - Add a Vitest contract assertion that both documents retain the same required evidence and avoid unsafe closing-keyword phrasing for generated mirror references.
File summaries
| File | Description |
|---|---|
| docs/ROADMAP.md | Records the exact proof runs, provenance, bounded audit gap, and deviations for the Beads recovery in the Stage 0 closure wave section. |
| docs/POST-RELEASE-EXECUTION.md | Mirrors the retained proof and deviation details for the recovery, emphasizing qualifying evidence and the safety rule around mirror references. |
| tests/postReleaseExecutionDocs.test.ts | Adds an explicit contract test to ensure the two docs retain the same proof artifacts and avoid mirror-closing keyword phrasing. |
Review details
- Files reviewed: 3/3 changed files
- Comments generated: 0
- Review effort level: Lite
💡 Configure MCP servers for context-aware, tailored reviews. Learn more in the docs.
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 7a4701f3a7
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
|
@codex review Please re-review exact head |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 5c5e807c82
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
|
@codex review Please re-review exact head |
|
Codex Review: Didn't find any major issues. More of your lovely PRs please. Reviewed commit: ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
If Codex has suggestions, it will comment; otherwise it will react with 👍. Codex can also answer questions or update the PR. Try commenting "@codex address that feedback". |
|
Exact-head handoff for
A qualified independent reviewer is the sole remaining merge gate. |
|
@codex review Please review exact head |
|
Codex Review: Didn't find any major issues. Keep it up! Reviewed commit: ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
If Codex has suggestions, it will comment; otherwise it will react with 👍. Codex can also answer questions or update the PR. Try commenting "@codex address that feedback". |
|
Current-main exact-head handoff:
The squash merge remains withheld solely because GitHub records no |
|
@codex review Please review exact head |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 2cb7a54cfa
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
|
@codex review Please re-review exact head |
|
Codex Review: Didn't find any major issues. Delightful! Reviewed commit: ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
If Codex has suggestions, it will comment; otherwise it will react with 👍. Codex can also answer questions or update the PR. Try commenting "@codex address that feedback". |
|
Current-main exact-head handoff for
The squash merge remains withheld because GitHub has no formal |
|
@codex review Please re-review exact head |
|
Codex Review: Didn't find any major issues. Keep it up! Reviewed commit: ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
If Codex has suggestions, it will comment; otherwise it will react with 👍. Codex can also answer questions or update the PR. Try commenting "@codex address that feedback". |
|
@codex review Please re-review exact head |
|
Codex Review: Didn't find any major issues. More of your lovely PRs please. Reviewed commit: ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
If Codex has suggestions, it will comment; otherwise it will react with 👍. Codex can also answer questions or update the PR. Try commenting "@codex address that feedback". |
|
@codex review Please re-review exact head |
|
Codex Review: Didn't find any major issues. Bravo. Reviewed commit: ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
If Codex has suggestions, it will comment; otherwise it will react with 👍. Codex can also answer questions or update the PR. Try commenting "@codex address that feedback". |
Summary
0Retained evidence
9c85d2b79e3da16c283278824866a5ba1217950a0at1pk83ng4ogm45svvp7ip122acgt4h→go64gshichpnsj3islhl6pmv5lgi2teb0with 111 sources, 27 managed mirrors, 24 canonical outcomes, and 0 findingsDeviations retained
PR #346 reviewed unpublished candidate
l3c2l93j2iogl4h3ai947qls2vr10tbp, while another checkout publishedgo64gshichpnsj3islhl6pmv5lgi2teb; therefore the exact-candidate gate did not hold. Mirror #230 first entered the closed state through GitHub keyword syntax at that PR's merge rather than through the synchronizer. PR #350 documented recovery before the second qualifying scheduled run and omitted the documentation contract assertion supplied here.Validation
corepack pnpm exec vitest --run __tests__/postReleaseExecutionDocs.test.ts— 10 passednode scripts/check-public-docs-focus.mjs— 86/86 passedbash ./scripts/agent-check fastwith repository-pinned pnpm 10.34.5 — passedgit diff --check— passedRisk and rollback
R4 evidence/documentation reconciliation only. This PR does not mutate Beads, Dolt,
refs/dolt/data, workflow guards, or generated mirrors. Reverting the documentation commit is the rollback.Refs #342. Parent #195.