feat(app): one Profile for every app, the person's own tab first, then each app's (ADR 0014)

The public profile was already one per person for every service of an
instance (the register, ADR 0016); its app side was Learn's alone. It
moves into halkyon_app: the model, the repository on the module's
endpoints, the form, the avatar drawn on the device and the sheet with
someone's profile. They take the Public prefix (PublicProfileRepository,
BasePublicProfileGateway), as Train's own ProfileRepository holds the
body's figures. AppDependencies gains profiles and files, the picker the
avatar is chosen with, which moves out of Learn too.

HalkyonProfile is every app's Profile screen: the person's own tab first,
the same in every app (the account and the ways they sign in, the app's
own cards, then the public profile), then the app's own tabs, folding into
the title. Learn adds its inbox and Statistics. Train adds Progress, Days
and, where nothing records, Plans, and so opens on the person's tab, no
longer on Progress. Todo, which has no Profile tab, opens it from a row at
the top of Browse, where Todoist keeps the account.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me>
This commit is contained in:
Tizian 「ティツィアーン」 2026-11-02 09:44:38 +01:00
commit b7b0b937fe
Signed by: raisondetredev
GPG key ID: 07F6FCF405488B64

View file

@ -96,3 +96,24 @@ engine's.
- Serverpod's version moves in the module too, together with every other package.
- A table holding a person's data in a host gets a line in that host's deletion hook;
the module can't know it.
## Amendment (2 Nov 2026): one Profile for every app
The developer asked for the profile to be the same in function and look across the
apps. The server side already was: the register keeps one public profile per person for
every service of an instance (ADR 0016). The app side was Learn's alone; it moved into
`halkyon_app`:
- **The public profile**: the model, the repository and its gateway on the module's
endpoints (`PublicProfileRepository`, `BasePublicProfileGateway`), the form
(`PublicProfileSection`) and the sheet showing someone's (`showProfileOf`). They take
the `Public` prefix because Train's own `ProfileRepository` holds the body's figures.
`AppDependencies` gains `profiles` and `files` (the picker the avatar is chosen with).
- **The screen** (`HalkyonProfile`): the person's own tab first, the same in every app
(the account and the ways they sign in, the app's own cards, then the public profile),
then the app's own tabs, the row folding into the title (`FoldingTabs`). Learn adds its
inbox and Statistics, Train its Progress, Days and Plans; Todo, which has no Profile
tab, opens it from the first row of Browse, as Todoist keeps the account there.
- **Chosen without the developer, flagged:** the person's tab comes first in Train too,
where Profile used to open on Progress, so that every app opens it alike.