Record Modal ASR public smoke

docs/smoke/2026-06-10-modal-asr-voice-input-smoke.md

@@ -16,4 +16,5 @@ No endpoint URLs, bearer tokens, Hugging Face tokens, Modal tokens, or secret va
 - Modal deploy: `dream-customs-minicpm-backend` redeployed with a new `asr` web function. CLI output URLs were redacted.
 - Modal ASR auth smoke: route reachable without printing URL; unauthenticated request returned `status="unauthorized"`, confirming the route exists and requires the hosted token.
 - HF Space secret update attempt: API returned 403 for writing `DREAM_CUSTOMS_ASR_ENDPOINT`. The app now derives the ASR endpoint from the existing Modal text endpoint when the explicit ASR endpoint secret is missing, so no endpoint value was printed or stored.
-- Public Space check: pending.
+- Public Space `/config`: `Voice note` is an `audio` component with microphone/upload sources; `Voice input` default is `modal`.
+- Public Chrome check: visible page shows `Voice note`, `Upload file`, and `Record audio`; Advanced shows `Voice input` as `Modal ASR endpoint`.

docs/superpowers/plans/2026-06-10-modal-asr-voice-input.md

@@ -23,8 +23,8 @@ Replace the browser-only voice placeholder with a real Gradio audio recording/up
 - [x] Replace the fake browser dictation input with `gr.Audio(sources=["microphone", "upload"], type="filepath")`.
 - [x] Add Modal `/asr` route with a small ASR adapter.
 - [x] Run full tests, eval, local UI smoke, and Modal deploy/smoke.
-- [ ] Run public Space verification after HF merge.
-- [ ] Commit, push, sync to Hugging Face Space, merge, and re-check Chrome.
+- [x] Run public Space verification after HF merge.
+- [x] Commit, push, sync to Hugging Face Space, merge, and re-check Chrome.
 
 ## Progress