Repository navigation
docs+contract: module-count claims 16->18, and fence the backticked form \u2014 scoped rebuild of #1089 - #1111
Merged
Conversation
main has 18 go.mod files; four claim sites still said 16 (two of them backticked and thus invisible to check-docs-facts' pattern — an unfenced drift class that had rotted while the check passed). Claims updated to 18 everywhere and the pattern now matches the backticked form; planted a backticked 19 and confirmed the check fails by name. (cherry picked from commit 022be74)
c03rad0r
approved these changes
Oct 25, 2026
c03rad0r
approved these changes
Oct 25, 2026
Collaborator
Local CI gate — PR #1111: docs+contract: module-count claims 16->18, and fence the backticked form \u2014 scoped rebuild of #1089Run of
Verdict: 2 leg(s) RED — 4 green. What this gate does not run (no vacuous green)
failing-leg log tailscontract-fences — tailshell-suites — tail |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Supersedes #1089. Same commits, rebased onto current
main.Why #1089's diff was inflated
#1089 merged
maininto a stale branch (and earlier resolve attempts were squash-merged into it). A squash moves the merge-base forward without makingmainan ancestor, so GitHub'smerge-base..headwindow silently widened to include unrelatedmainhistory:main,mainis a direct ancestor, no merge commitsThis is the change: the module-count correction (16->18) and its backticked-form fence.
Method
git cherry-pick -xof only the branch's own commits onto currentmain. Merge commits, squash residue and stale-branch content are not carried. Where a picked commit was already fully present inmain(e.g. an older go-pin bump later superseded bymain's own), it was skipped as empty rather than force-applied — the resulting diff is the change that is still not inmain, nothing more.Verification
cd src && go build ./...→ rc 0cred-gatepre-commit hook clean, no--no-verifyMerge note
No merge commits here, so squash-merging is fine — unlike the earlier resolve PRs, there is no ancestry for a squash to destroy.