[Origami74]

Makes Myco usable on Android TV, driven by a remote. Developed and measured on a budget TV (CVTE board, HiSilicon Hi3751V350: 4×1.2 GHz, 32-bit userspace, 1 GB RAM, Android 14).

What changes

• Leanback: LEANBACK_LAUNCHER entry and a 320×180 banner; touchscreen, leanback and bluetooth_le declared optional (that TV's firmware disables Bluetooth outright). The portrait lock is lifted on TV; tabs move to a NavigationRail in landscape.
• Remote input (ui/theme/TvFocus.kt, TV only):
  • every plain clickable draws a focus ring (LocalIndication), Material components get a strong focused overlay (LocalRippleConfiguration);
  • the mesh-setup dialog focuses its first control on each step (TvAutoFocus);
  • Menu or a held OK opens the long-press menus on app tiles and Circle bubbles (remoteLongClick);
  • the Wi-Fi panel fallback no longer throws where the panel is missing.
• Intro: OK/Enter skips it (on any device; harmless on phones).
• Napplet / nsite windows (TV only): the WebView pauses while its window is off screen — a TV has nothing that sends a backgrounded app to sleep, so a game kept playing music — and gets focus once content shows, so the first D-pad press reaches the page.
• 32-bit TV boxes: ABIs come from -Pmyco.abis=… / MYCO_ABIS (default arm64-v8a); buildRustArm64 → buildRust. On 32-bit, the relay and event-cache LMDB maps are 256 MiB (1 GiB doesn't fit next to ART) and cache defaults are 128 MiB events / 512 MiB blobs.
• tv build type: release code, debug-signed, not debuggable — for measuring on a weak device.
• Docs: build.md §5 (ABIs, tv build type), README, CHANGELOG. CLAUDE.md, build.md and flake.nix no longer call arm64-v8a locked (it's the default; CI builds arm64 only). napplet-runtime.md §5.5 notes the TV pause.

Builds on #149 (the .fips resolver fix, which the TV needs to reach Circle peers), now in main. The redraw/perf work is already in main (#140–#144). A 32-bit build needs jmcorgan/fips#191.

Testing

• cargo fmt --check, cargo clippy --workspace --all-targets -D warnings, cargo ndk -t armeabi-v7a check -p myco-core (with fips#191), ./gradlew :app:testDebugUnitTest :app:compileDebugKotlin.
• On the TV (via test/tv-perf, same Android code): install from the home row, full mesh-setup with the remote incl. the system VPN dialog, LAN peering with a phone and a tablet, Circle pairing, menus via Menu/hold-OK, napplets pausing on Home. Idle on Apps for 30 s with the tv build: 271 → ~0 frames with perf(ui): read the no-peers pulse in the draw phase, skip it on low-RAM and TV #140–perf(android): drop Apps search focus when the keyboard closes #144.
• Phones: the TV paths are gated on FEATURE_LEANBACK / keyboard input mode; installed on a Pixel 7 Pro (arm64 debug) with no visible change.