Skip to content

Regenerate docs/design-rung-drops.md (main drift since #12787 blocks every merge) - #13061

Merged
briansrls merged 1 commit into
mainfrom
fix/rung-drops-projection-drift
Oct 3, 2026
Merged

briansrls merged 1 commit into
mainfrom
fix/rung-drops-projection-drift

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Oct 3, 2026

Copy link
Copy Markdown
Contributor

Main's generated lane refuses every PR and every merge group: generated-artifact drift: docs/design-rung-drops.md is not derived from its .dag authority. Cause: #12787 (6b1161c) added roadmap_closing_contract_execution_witness_test.dag to the population of the edited_bin_witness_wet_rows_not_executed_by_ci rung drop in dag/gunbc/rung_drop without regenerating the projection. Main has not advanced since.

This PR carries only the projection bytes from the sanctioned regen (docs_projection_gate regen), as produced by CI auto-heal on #13005 (commit 45c5852, heal-candidate run 37088706855). One line changes: the population gains that one file. No hand edit, no authority change.

Dequeued by this drift: #13029 (merge_group run 37088137865, generated refused on this file).

🤖 Generated with Claude Code

…p since #12787

#12787 (6b1161c) added roadmap_closing_contract_execution_witness_test.dag to the
edited_bin_witness_wet_rows_not_executed_by_ci population without regenerating the
projection, so the generated lane refuses every PR and every merge group (generated-artifact
drift). Bytes are the sanctioned regen output produced by CI auto-heal (commit 45c5852,
heal-candidate run 37088706855); no hand edit.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
@briansrls
briansrls merged commit 6d87482 into main Oct 3, 2026
3 checks passed
@briansrls
briansrls deleted the fix/rung-drops-projection-drift branch October 3, 2026 03:47
gunbai-bot Bot pushed a commit that referenced this pull request Oct 3, 2026
…ed from the merged rows

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
gunbai-bot Bot pushed a commit that referenced this pull request Oct 3, 2026
…d lane refused on)

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
gunbai-bot Bot pushed a commit that referenced this pull request Oct 3, 2026
gunbai-bot Bot pushed a commit that referenced this pull request Oct 3, 2026
…egenerated on main by #13061)

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant