docs: correct admiralty ancestry status - #76
Merged
Conversation
added 3 commits
August 5, 2026 12:22
The 2026-08-01 measurement said the merge-bump procedure had not been applied and even a vessel at the pin could not fast-forward onto admiralty. Re-measured 2026-08-05 against admiralty main d16bf0c: the chore(pin) bump to b5c0bf6 (2026-08-04) landed as a true merge, so the pin is now an ancestor of admiralty main and the claim no longer holds.
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.
Intent
Correct a stale claim in docs/admiralty-fleet-repo.md's 'What is not built yet' section. The doc asserted the merge-bump procedure had not been applied and that a vessel at the pin could not fast-forward onto admiralty, backed by a 2026-08-01 measurement (pin de0b95b not an ancestor of admiralty main 285289c). Re-measured 2026-08-05 in a throwaway clone of Freudator86/admiralty (outside the worktree, deleted afterward) with this fork fetched in: admiralty main is now d16bf0c, its pin is b5c0bf6, and the pin-bump commit 4bf4acf is a true two-parent merge (fork's b5c0bf6 as second parent), so git merge-base --is-ancestor b5c0bf6 d16bf0c now exits 0 - the claim is stale and the procedure has been applied. Replaced the old measurement with the new one in the same form (exact commands, commits, results), kept the ancestry-vs-tree distinction the section makes, and noted the same open question (restoring ancestry as the fork advances further) now recurs at each future pin bump rather than being unsolved. Did not touch docs/fork-patches.md, which is out of scope. This is a docs-only change to firstmate's own shared tracked material.
What Changed
docs/admiralty-fleet-repo.mdto state thatadmiraltyhas now applied the merge-bump procedure for the newer fork pin.d16bf0c/b5c0bf6measurement and merge-parent evidence.Risk Assessment
✅ Low: Captain, this is a narrow docs-only correction that replaces stale measured evidence with a current, internally consistent measurement and keeps the remaining open risk scoped to future pin bumps.
Testing
I inspected the exact doc diff, confirmed the repository’s changed-file test selector maps this docs-only change to no automated tests, then produced end-to-end Git-history evidence from temporary admiralty clones showing the pin is now an ancestor of admiralty main and the old stale wording is absent; the temporary clones were removed and no working-tree artifacts remain.
Evidence: Admiralty ancestry verification transcript
Evidence: User-visible doc excerpt and stale-wording check
Evidence: Changed doc excerpt
Pipeline
Updates from git push no-mistakes
✅ **intent** - passed
✅ No issues found.
✅ **Rebase** - passed
✅ No issues found.
🔧 **Review** - 1 issue found → auto-fixed ✅
docs/admiralty-fleet-repo.md:163- The new paragraph says the fork has advanced past theb5c0bf6pin again and points to the top of the section for that fact, but the earlier concrete tip still saysce43899, which is an ancestor ofb5c0bf6. Update the surrounding measurement/current-tip text or remove the parenthetical so the renewed divergence claim is backed by a current post-pin commit.🔧 Fix: Captain, document verified post-pin fork advancement
✅ Re-checked - no issues remain.
✅ **Test** - passed
✅ No issues found.
git diff 7778ca3246868064e4e33531174a5032f705fb76..af59be6f538a2144aecf83a1c3c156e708adf3eb -- docs/admiralty-fleet-repo.mdbin/fm-test-run.sh --list --changed --base 7778ca3246868064e4e33531174a5032f705fb76bin/fm-test-run.sh --changed --base 7778ca3246868064e4e33531174a5032f705fb76Temporary in-worktree clone ofFreudator86/admiralty, withFreudator86/firstmatefetched asfork/main, verifyingorigin/main == d16bf0cd19c316376f77615f46fd0e8e85fde45a, commit4bf4acfd3f9eb5ad6edc99e84c2221843f0b500bhas second parentb5c0bf65d43ca274e8f8ae3b700426d614e7585c, andgit merge-base --is-ancestor b5c0bf65d43ca274e8f8ae3b700426d614e7585c d16bf0cd19c316376f77615f46fd0e8e85fde45aexits 0Temporary in-worktree clone cross-check thatgit merge-base fork/main d16bf0cd19c316376f77615f46fd0e8e85fde45areturnsb5c0bf65d43ca274e8f8ae3b700426d614e7585cand thatfork/mainis 36 commits past that pinsed -n '154,170p' docs/admiralty-fleet-repo.mdplusrg -n 'procedure has not been applied|cannot fast-forward ontoadmiralty|285289c|de0b95b' docs/admiralty-fleet-repo.mdfind . -maxdepth 1 -type d -name '.tmp-admiralty-verify-*' -print && git status --short✅ **Document** - passed
✅ No issues found.
✅ **Lint** - passed
✅ No issues found.
✅ **Push** - passed
✅ No issues found.