The helper docstring restated the inline why-comments (exact probe string, backend $HOME tilde fallback, which statuses prove absence). Keep only the contract callers need: three return values and that anything not proven absent is "unavailable" and must fail closed. Inline comments stay.