fix(ios): restore panel buttons after leaving pan mode with a panel shown

[g4rb4g3]

Summary

• When a map panel is shown, MapTemplate now gives the bar and map buttons back to the topmost panel on invalidate, instead of skipping the update. The panel still owns those buttons while it exists.

Problem

• Symptom: with a map panel on screen, leaving pan mode leaves the pan-mode buttons behind (empty header with a back button, map buttons without the pan button).
• Root cause: _invalidate() skipped applying any buttons while a panel existed, so nothing replaced the pan-mode state. Theme changes had the same gap.
• Reproduced on iOS 27 (iPhone) with the CarPlay Simulator.

Test plan

• Tested on CarPlay (CarPlay Simulator, iOS 27 iPhone)

Checklist

• yarn lint:auto-play and yarn typecheck:auto-play pass

🤖 Generated with Claude Code (Claude Opus 5.5)

[g4rb4g3]

@claude please review

[claude]

Claude finished @g4rb4g3's task in 1m 25s —— View job

---

Review of PR #140

• Gather context (diff, MapTemplate.swift, AutoPlayMapPanelDelegate.swift, AutoPlayInterfaceController)
• Analyse the change for bugs / thread-safety / docs drift
• Post review

No significant issues found.

Checked specifically:

• Thread safety: _invalidate() is @MainActor, and AutoPlayInterfaceController is a @MainActor class, so reading panelTemplateIds synchronously there is fine — same pattern reapplyPanelBarIfVisible already uses.
• Pan-mode exit: mapTemplateDidDismissPanningInterface → invalidate() now reaches the panel branch and hands the bar/map buttons back to the topmost panel; applyPanelHeaderActions clears or replaces the pan-mode backButton as expected. automaticallyHidesNavigationBar / hidesButtonsWithNavigationBar correctly stay false while a panel exists.
• Trait change: traitCollectionDidChange → super → invalidate() now re-parses the panel's buttons with the new trait collection, closing the theme gap mentioned in the description.
• Edge case: if the top panel's template is no longer in the store, try? swallows the error and nothing is applied — but handlePanelPopped removes the navigation entry before the store entry, so panelTemplateIds.last can't point at a removed template.
• Docs: no public API, host-app setup or documented behaviour changed; docs/templates.md's description of panel header actions still holds. PR description is appropriately brief.

[github-actions]

No significant issues found.