The mobile companion

The Android app is a companion, not a port: capture and consult on the go, no run execution. It is offline-first — every screen works without network, and changes merge cleanly when you're back.

Connecting

1. Install the APK, open it, and log in with your sync server URL, email and passphrase (an account created on the desktop).
2. Pick a workspace to join — it pulls the full history.
3. More workspaces? Tap the title bar to switch or join others; each is stored separately on the phone.

The five tabs

• Today — greeting, logbook streak, stat chips, running experiments, checkable due todos, today's agenda, your compass goals, and continue-where-you-left-off. Quick cards jump to Runs, Notes and Search.
• Todos — planning buckets, swipe right to complete, swipe left to delete, tap for the full edit sheet (due date, priority, repeat, subtasks). Quick-add understands ! review draft tomorrow.
• Agenda — month calendar with event dots and deadline flags, day list below, add/edit with end times and recurrence.
• Logbook — day-grouped timeline with kind icons and seal badges, week stats, kind filters, and quick capture with templates. Tap an entry for the full markdown view.
• Library — search, reading shelves, ratings, abstracts — and PDFs read inside the app, decrypted on demand from your server.

Sync, ambient

The app syncs when opened, every few minutes while open, on return from background, and on pull-to-refresh. The sync icon shows a badge when local changes haven't been pushed yet. Offline the whole time? Everything still works; it merges later.