Samenwerken: eigenaarsoverdracht bij wegvallen van de eigenaar (Fase 0.5, §5.3)

brenno commented

2026-07-30 20:54:28 +00:00

Owner

Vervolg binnen Fase 0.5, bewust uitgesteld bij #996. COLLABORATION.md §5.3.

Waarom. De samenwerklaag heeft precies één autoriteit (P3): die kent versies toe, past intents toe en herzendt. In v1 blijft de host de héle sessie de autoriteit. Valt de eigenaar weg (verbinding kwijt, app dicht), dan stopt de sessie feitelijk: niemand kent nog versies toe, en de intents (versie 0) die deelnemers in de log schrijven blijven onverwerkt liggen. Voor een async sessie waarbij mensen op verschillende momenten werken is dat een reëel gat.

Wat het ontwerp vraagt (§5.3). Bij sessie-start wordt een deterministische opvolgvolgorde afgesproken. Valt de eigenaar weg, dan neemt de opvolger met de hoogst geobserveerde versie over (versie wint; de vaste volgorde breekt gelijkspel). De tijdelijke autoriteit houdt de sessie levend maar persisteert niet — alleen de eigenaar mag saveDeck/de sessie beëindigen. Komt de originele eigenaar terug, dan draagt de tijdelijke autoriteit terug over.

Wat er nu is. lib/collab/collab_session.dart (de autoriteit-statemachine) noemt owner-drop-handover in de bestandskop expliciet als vervolg; isAuthority is een vaste bool bij constructie. collab_session_provider.dart bewaart de sessie op TabInfo.collabSession. participantId identificeert een deelnemer.

Wat er moet.

Een afgesproken opvolgvolgorde vastleggen (bv. in de snapshot of een sessie-metadata-record in de sidecar).
Detectie dat de autoriteit is weggevallen. Kernbeslispunt: in een async poll-transport is er géén presence (dat is pas Fase 1/Matrix). Hoe stel je 'weggevallen' vast? Optie: een periodieke 'authority-alive'-marker met tijdstempel in de log; een opvolger neemt over als die te lang stilstaat. Dit raakt het transport en de tijdsbron (let op: geen wandkloktrucs in tests).
De overname: isAuthority moet muteerbaar/herbepaalbaar worden, en de nieuwe autoriteit hervat het toekennen van versies vanaf de hoogst bekende versie.
De terug-overdracht als de eigenaar terugkeert, en de regel 'alleen de eigenaar persisteert'.

Reikwijdte. Vooral collab_session.dart (muteerbare autoriteit + versie-hervatting), het launch/controller-niveau (opvolgvolgorde, detectie), en mogelijk een kleine provider-/UI-melding ('jij bent nu tijdelijk de eigenaar'). Hangt deels samen met herbaselijning (het aparte vervolg-issue): beide draaien om 'hoogst geobserveerde versie' en de sidecar-metadata.

Grijpt niet in op het bestandsformaat (P2): sessie-metadata leeft in de sidecar, niet in het .md.

Vervolg binnen Fase 0.5, bewust uitgesteld bij #996. COLLABORATION.md §5.3. **Waarom.** De samenwerklaag heeft precies één autoriteit (P3): die kent versies toe, past intents toe en herzendt. In v1 blijft de host de héle sessie de autoriteit. Valt de eigenaar weg (verbinding kwijt, app dicht), dan stopt de sessie feitelijk: niemand kent nog versies toe, en de intents (versie 0) die deelnemers in de log schrijven blijven onverwerkt liggen. Voor een async sessie waarbij mensen op verschillende momenten werken is dat een reëel gat. **Wat het ontwerp vraagt (§5.3).** Bij sessie-start wordt een deterministische opvolgvolgorde afgesproken. Valt de eigenaar weg, dan neemt de opvolger met de **hoogst geobserveerde versie** over (versie wint; de vaste volgorde breekt gelijkspel). De tijdelijke autoriteit houdt de sessie levend maar **persisteert niet** — alleen de eigenaar mag saveDeck/de sessie beëindigen. Komt de originele eigenaar terug, dan draagt de tijdelijke autoriteit terug over. **Wat er nu is.** `lib/collab/collab_session.dart` (de autoriteit-statemachine) noemt owner-drop-handover in de bestandskop expliciet als vervolg; `isAuthority` is een vaste bool bij constructie. `collab_session_provider.dart` bewaart de sessie op `TabInfo.collabSession`. `participantId` identificeert een deelnemer. **Wat er moet.** 1. Een afgesproken opvolgvolgorde vastleggen (bv. in de snapshot of een sessie-metadata-record in de sidecar). 2. Detectie dat de autoriteit is weggevallen. **Kernbeslispunt:** in een async poll-transport is er géén presence (dat is pas Fase 1/Matrix). Hoe stel je 'weggevallen' vast? Optie: een periodieke 'authority-alive'-marker met tijdstempel in de log; een opvolger neemt over als die te lang stilstaat. Dit raakt het transport en de tijdsbron (let op: geen wandkloktrucs in tests). 3. De overname: `isAuthority` moet muteerbaar/herbepaalbaar worden, en de nieuwe autoriteit hervat het toekennen van versies vanaf de hoogst bekende versie. 4. De terug-overdracht als de eigenaar terugkeert, en de regel 'alleen de eigenaar persisteert'. **Reikwijdte.** Vooral `collab_session.dart` (muteerbare autoriteit + versie-hervatting), het launch/controller-niveau (opvolgvolgorde, detectie), en mogelijk een kleine provider-/UI-melding ('jij bent nu tijdelijk de eigenaar'). Hangt deels samen met herbaselijning (het aparte vervolg-issue): beide draaien om 'hoogst geobserveerde versie' en de sidecar-metadata. Grijpt niet in op het bestandsformaat (P2): sessie-metadata leeft in de sidecar, niet in het .md.

brenno added the

accepted

enhancement

labels

2026-07-30 20:54:28 +00:00

brenno referenced this issue

2026-07-30 20:54:57 +00:00

Samenwerken: snapshot-herbaselijning op een niet-nul versie (Fase 0.5, §5.2) #1005

brenno added the

in-progress

label

2026-07-30 21:23:25 +00:00

brenno commented

2026-07-30 21:23:26 +00:00

Author

Owner

Opgepakt. Tak: collab/owner-handover. Verwachte reikwijdte: lib/collab/collab_session.dart (muteerbare autoriteit + versie-hervatting), lib/collab/collab_log_store.dart (beacon-record), lib/collab/webdav_async_transport.dart (heartbeat), een nieuwe liveness/electie-laag, lib/collab/collab_session_launch.dart + collab_session_controller.dart (wiring + her-inzenden), lib/state/collab_session_provider.dart (melding 'tijdelijk eigenaar'), docs/design/COLLABORATION.md, tests.

brenno referenced this issue from a commit

2026-07-30 22:49:52 +00:00

feat(collab): mutable session authority for owner-drop handover (#1004)

brenno referenced this issue from a commit

2026-07-30 22:49:52 +00:00

feat(collab): expose isCaughtUp/knownMaxSeq on the async transport (#1004)

brenno referenced this issue from a commit

2026-07-30 22:49:52 +00:00

feat(collab): authority beacon record in the collab log store (#1004)

brenno referenced this issue from a commit

2026-07-30 22:49:52 +00:00

feat(collab): HandoverCoordinator — owner-drop detection and election (#1004)

brenno referenced this issue from a commit

2026-07-30 22:49:52 +00:00

feat(collab): wire handover into launch, provider and the save gate (#1004)

brenno referenced this issue from a commit

2026-07-30 22:49:52 +00:00

feat(l10n): handover session messages in all 31 languages (#1004)

brenno referenced this issue from a commit

2026-07-30 22:49:52 +00:00

docs(collab): document owner-drop handover and its residuals (#1004)

brenno referenced this issue from a commit

2026-07-30 22:57:33 +00:00

docs(collab): honest 'only owner saves' framing after core-values review (#1004)

brenno referenced this issue from a pull request that will close it,

2026-07-30 22:58:42 +00:00

feat(collab): eigenaarsoverdracht bij wegvallen van de eigenaar (§5.3, #1004) #1006

brenno closed this issue

2026-07-30 22:58:59 +00:00

brenno referenced this issue from a commit

2026-07-30 22:59:00 +00:00

Merge pull request 'feat(collab): eigenaarsoverdracht bij wegvallen van de eigenaar (§5.3, #1004)' (#1006) from collab/owner-handover into main

brenno removed the

in-progress

label

2026-07-30 22:59:37 +00:00

brenno commented

2026-07-30 22:59:37 +00:00

Author

Owner

Gebouwd en gemergd in #1006 (main c1334665). De volledige §5.3-keten zit erin: muteerbare autoriteit met versie-hervatting, een advisory beacon met poll-getelde heartbeat-detectie (geen wandklok), caught-up + sequence-steady overname-poorten (die tweede sluit het WebDAV list-lag-gat), deterministische roster-vrije opvolging, hand-back voor de terugkerende eigenaar (via de electie-route), en 'alleen de eigenaar bewaart' als client-side poort in saveDeckWithDestination. Bestandsformaat (P2) ongemoeid — alles in de sidecar.

Ontworpen na een drievoudige ontwerp-review (architectuur/beveiliging/test), daarna een implementatie- en een bewaker-review; elke blokkerende bevinding verwerkt.

Bewust niet in deze increment (gedocumenteerd in COLLABORATION.md §5.3 + de dreigingsmodel-rij in SECURITY_DESIGN.md):

Tijdens een failover-venster kunnen twee tegelijke autoriteiten dezelfde versie toekennen; de verliezende deelnemer divergeert stil tot herladen. De echte fix (mid-sessie re-baseline) hoort bij het aparte §5.2-herbaselijning-vervolg.
De heartbeat is een liveness-zijkanaal (inherent aan een poll-heartbeat).
De Klingon/Papiaments/Zwitserduits/Fries-vertalingen van de drie nieuwe interfaceteksten zijn idiomatisch gedaan maar verdienen een moedertaalcontrole.

Gebouwd en gemergd in #1006 (main c1334665). De volledige §5.3-keten zit erin: muteerbare autoriteit met versie-hervatting, een advisory beacon met poll-getelde heartbeat-detectie (geen wandklok), caught-up + sequence-steady overname-poorten (die tweede sluit het WebDAV list-lag-gat), deterministische roster-vrije opvolging, hand-back voor de terugkerende eigenaar (via de electie-route), en 'alleen de eigenaar bewaart' als client-side poort in saveDeckWithDestination. Bestandsformaat (P2) ongemoeid — alles in de sidecar. Ontworpen na een drievoudige ontwerp-review (architectuur/beveiliging/test), daarna een implementatie- en een bewaker-review; elke blokkerende bevinding verwerkt. Bewust niet in deze increment (gedocumenteerd in COLLABORATION.md §5.3 + de dreigingsmodel-rij in SECURITY_DESIGN.md): - Tijdens een failover-venster kunnen twee tegelijke autoriteiten dezelfde versie toekennen; de verliezende deelnemer divergeert stil tot herladen. De echte fix (mid-sessie re-baseline) hoort bij het aparte §5.2-herbaselijning-vervolg. - De heartbeat is een liveness-zijkanaal (inherent aan een poll-heartbeat). - De Klingon/Papiaments/Zwitserduits/Fries-vertalingen van de drie nieuwe interfaceteksten zijn idiomatisch gedaan maar verdienen een moedertaalcontrole.

brenno referenced this issue

2026-07-31 07:28:38 +00:00

Samenwerken: snapshot-herbaselijning op een niet-nul versie (Fase 0.5, §5.2) #1005

brenno referenced this issue

2026-07-31 08:06:02 +00:00

feat(collab): snapshot-herbaselijning op een niet-nul versie (§5.2, #1005) #1008

brenno referenced this issue

2026-07-31 08:55:49 +00:00

Samenwerken: log-compactie van de op-log (Fase 0.5, §5.2 vervolg) #1007

Rows
Columns

Samenwerken: eigenaarsoverdracht bij wegvallen van de eigenaar (Fase 0.5, §5.3) #1004