Files
tty7/src
l0ng-ai 881e938056 docs: restore five cross-file invariants, all re-verified
Third pass over #268, filtered to the claims that bind two places
together ("the only place that…", "keep in sync with…"). Those are the
ones 640 commits can silently break, unlike a comment that only
describes the line under it. 36 such blocks are still missing; these
five are checked and hold:

- `PaneRoute::for_workspace` is infallible on purpose — its callers (a
  close, a restore probe) have nowhere to put an error, and `Unroutable`
  is the safe answer where the local daemon would be the wrong one.
- `SshManager::probes` caches a `None` as firmly as a hit, so a host
  with nothing to inject is not re-probed per tab.
- `identifier_could_match` is prefix-matching before the `;` and exact
  after it, which is what keeps OSC `77;` from matching `777`.
- The `/proc/<pid>/cwd` reading is rejected unless it still stats as a
  directory: a deleted cwd reads back as `<path> (deleted)`, and that is
  broadcast now, so it would aim every new tab and split at it.
- `GRID_PAD_X/Y` are the single source of truth for the surface inset
  that grid-aligned overlays offset by.

The `run` half of install's probe-cost invariant also still holds — it
derives usability from `stat` mode bits and never spends a probe on a
hit — so it needed no change.

`GRID_PAD` is restored with its claim corrected: the comment asked the
reader to keep `render`'s `.px()/.py()` in sync by hand, but render has
since been changed to apply the constants themselves. Telling anyone to
hand-sync that now would be inviting the drift it warns about.
2026-08-16 05:37:44 +08:00
..