Skip to content

chore: retire the in-tree controller handoff - #8

Merged
oetiker merged 1 commit into
mainfrom
chore/retire-in-tree-handoff
Aug 20, 2026
Merged

chore: retire the in-tree controller handoff#8
oetiker merged 1 commit into
mainfrom
chore/retire-in-tree-handoff

Conversation

@oetiker

@oetiker oetiker commented Aug 20, 2026

Copy link
Copy Markdown
Owner

Removes docs/controller-handoff.md.

Controller handoffs moved to a private store some time ago — one file per
repo and branch — and this was the last file left from the old in-tree
layout. It rode onto the trunk as part of #7 without being noticed.

The reason to remove it is that it is confusing, not that it is
secret
. It describes LaTeX math as specified but unbuilt, which stopped
being true the moment stage 1 merged. Anyone opening it finds a
confident, well-written briefing that is a whole stage out of date.

Its still-true content — the process lessons, the settled design
rulings, the pointers to the other design authorities and to the unbacked
ledger archive under /scratch — was carried into the store's handoff
for main before this deletion, so nothing is lost.

Note that removing the file does not unpublish it: this repo is public
and the content stays in history. No history rewrite was requested and
none was done.

Nothing else in the tree referenced the file.

🤖 Generated with Claude Code

Controller handoffs now live in a private store, one file per repo and
branch, and no longer in the project repo. This file was the last of the
old layout: it describes math as specified but unbuilt, which stopped
being true when stage 1 merged, so a reader finds a confident briefing
that is a full stage out of date.

Its still-true content -- the process lessons, the settled rulings, the
pointers to the design authorities and the unbacked ledger archive --
was carried into the store's handoff for main before this deletion.

Nothing else in the tree referenced it.
@oetiker
oetiker merged commit b64e414 into main Aug 20, 2026
4 checks passed
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