source: Klonkt/docs/ward-outbound-follows-design.md@ 04d5aeb

main
Last change on this file since 04d5aeb was f3a58a4, checked in by Bart <bart@…>, 5 weeks ago

Ontwerp uitgaande follows: gecorrigeerd en aan de beads gehangen

De aanleiding klopte niet: guardians worden wel degelijk ingelicht als hun ward
iemand gaat volgen (1a2f206, een directe note per guardian). Alleen is dat
informeren en geen gate, precies zoals shaer-p729 het stelt. De deur staat al
open als het bericht aankomt.

Gehangen aan shaer-p729 (bouwen) en shaer-yeo5 (de spec-vraag). Raakvlakken met
shaer-3kp opgeschreven: "following approve" staat daar al als gated feature, dus
het beleid hoort in dat instellingen-object en niet in een eigen mechaniek.

Plus een losse constatering: ap_pending_follows.quorum wordt nooit meegegeven,
dus alles is 'any'. shaer-hxg is gesloten met any/all als opgeleverd en de test
slaagt omdat hij de waarde zelf zet.

Co-Authored-By: Claude Opus 5 <claude@…>

  • Property mode set to 100644
File size: 7.8 KB
RevLine 
[af035e6]1# Uitgaande follows van een ward — ontwerp
2
[f3a58a4]3Bijbehorende beads: **shaer-p729** (bouwen) en **shaer-yeo5** (de spec-vraag:
4informeren of gaten?). Dit document beantwoordt yeo5 en beschrijft wat p729
5inhoudt.
6
[af035e6]7FEP-633c §5.3 houdt follows *naar* een ward tegen tot de guardians beslissen.
[f3a58a4]8Follows *van* een ward gaan ongehinderd de deur uit: `ingestOutboxActivity`
9roept bij `case 'Follow'` meteen `followActor()` aan, zonder ward-check en
10zonder wachtrij.
11
12De guardians blijven niet in het duister. Sinds 1a2f206 krijgt elke guardian een
13directe note zodra zijn ward iemand gaat volgen. Maar dat is Robins constatering
14van 31-7 in één zin: **dat is informeren, geen gate.** De deur is al open op het
15moment dat het bericht aankomt, en een guardian die te laat kijkt kan alleen nog
16achteraf iets vinden van iets dat al gebeurd is.
[af035e6]17
18De asymmetrie is half te verdedigen. `Block` (Shaers "Orbit") is uitgaand ook
19ongated, en dat is de veilige richting: een kind dat zijn eigen wereld kleiner
20maakt heeft geen toestemming nodig. Volgen is de richting die hem opent.
21
22## De regel
23
24**Per geval goedkeuring, met automatische goedkeuring bij wederkerigheid.**
25
26Volgt de ward iemand die de ward al volgt, dan hoeft er niemand meer naar te
27kijken. Die actor is namelijk al door de inkomende poort gekomen, en dat betekent
28dat een guardian er al ja tegen heeft gezegd. Nog een keer vragen is dezelfde
29vraag twee keer stellen, en elke overbodige vraag is er een die de volgende keer
30minder aandacht krijgt.
31
32Het predicaat is `target_uri ∈ ap_followers(slug)`. Kort, maar het klopt alleen
33zolang lidmaatschap van die tabel écht een guardian-besluit impliceert — zie de
34eerste open vraag.
35
36## Beslissingen
37
38- **Een eigen tabel, niet `ap_pending_follows`.** Die tabel is gesleuteld op
39 `(ward_slug, follower_uri)`: de ward is daar het *doel*. Uitgaand draait dat
40 om. Een `direction`-kolom erbij zou elke bestaande query dubbelzinnig maken,
41 inclusief `listForWard`, die nu simpelweg "wie wil mij volgen" betekent. Dus
42 `ap_pending_outgoing_follows (id, ward_slug, target_uri, target_inbox,
43 target_name, target_handle, target_icon, quorum, status, created_at)` met
44 dezelfde vorm en dezelfde `decide()`-semantiek, maar apart.
45
46- **`ap_following.status` is al bezet en betekent iets anders.** Daar staat
47 `pending` voor "wij hebben de Follow verstuurd, hun Accept moet nog komen".
48 Een guardian-pending follow is nog helemaal niet verstuurd. Twee verschillende
49 wachttoestanden op één kolom is precies het soort dubbelzinnigheid dat later
50 een bug wordt. Daarom: **de `ap_following`-rij ontstaat pas bij goedkeuring**,
51 op het moment dat de Follow daadwerkelijk uitgaat. Vóór die tijd bestaat het
52 verzoek alleen in de nieuwe tabel.
53
54- **Wederkerigheid is een momentopname.** Getoetst bij het verzoek, niet
55 doorlopend bewaakt. Ontvolgt de ander later, dan wordt een al goedgekeurde
56 follow niet met terugwerkende kracht ingetrokken. Anders krijg je een relatie
57 die stilletjes verdwijnt door een actie van een derde.
58
59- **Quorum: `any` hergebruiken, maar het eindelijk ergens vastleggen.** De kolom
60 `quorum` bestaat op `ap_pending_follows`, maar de aanroep in
61 `ActivityPubService.js` geeft hem nooit mee. Alles valt dus terug op de default
62 `'any'`, en `'all'` en `'none'` zijn in de praktijk dood. Een uitgaand beleid
63 heeft een echte plek nodig — per ward, niet per verzoek — en dat is het moment
64 om de inkomende kant dezelfde plek te laten gebruiken.
65
66- **De wachtrij splitsen.** `shaer:queues.follows` staat al op het actor-document.
67 Als beide richtingen daarin landen, kan een guardian "iemand wil Mee volgen"
68 niet onderscheiden van "Mee wil iemand volgen" — twee vragen die in de
69 interface verschillende woorden verdienen. Dus `follows` blijft inkomend
70 (compatibel) en er komt `shaer:queues.outgoingFollows` naast.
71
72 Let op: nieuwe termen moeten in `AP_CONTEXT` of `test/activitypub-as2.test.js`
73 valt om. Die test eist dat elke uitgestuurde sleutel AS2-core is of in de
74 federatie-context staat, en dat is precies de bedoeling ervan.
75
76- **Cross-instance: spiegel het `Offer(Follow)`-patroon.** Een lokale guardian
77 leest `/guardian` rechtstreeks; een guardian op een andere server krijgt een
78 Offer afgeleverd zodat zijn instance een kopie opslaat, net als bij de
79 adoptie-offer en bij `ap_follow_reviews`. Voor `mee` (ward op `loop`) en
80 `boiert` (guardian op `boiert`) zijn dat twee instances op dezelfde machine,
81 dus die weg wordt meteen echt gelopen en niet gesimuleerd.
82
83- **Een tegengehouden follow mag er niet uitzien als een gelukte.** Dit is
84 dezelfde les als in de bestaande `case 'Follow'`: *"De error REACHT de app
85 (Robins melding, 31-7): het wegslikken maakte een mislukte follow precies
86 gelijk aan een gelukte."* Een verzoek in de wacht is een derde uitkomst en de
87 app moet die kunnen tonen. Voorstel: `202` met een expliciete status in de body
88 (`{ ok: true, status: 'awaiting_guardian', id }`), zodat Shaer "wacht op
89 toestemming" kan laten zien in plaats van een tegel die er al volgend uitziet.
90
91## Open vragen
92
931. **Wat doen we met followers van vóór de adoptie?** Was de ward eerst een vrije
94 actor, dan zijn zijn bestaande followers nooit door een guardian gezien. Bij de
95 regel hierboven worden dat stuk voor stuk automatisch goed te keuren doelen.
96 Ofwel we accepteren dat, ofwel `ap_followers` krijgt een markering "door de
97 poort gekomen" en alleen die telt mee. Dit is de belangrijkste vraag van dit
98 document.
99
1002. **Mag de ward zijn eigen verzoek intrekken** zolang het in de wacht staat? Lijkt
101 vanzelfsprekend ja, maar het is een Undo op iets dat nooit verstuurd is.
102
1033. **De guardian zelf als doel.** Een ward die zijn eigen guardian volgt, hoort
104 niet te hoeven wachten. Dat is dezelfde uitzondering als inkomend, waar de
105 Follow van een vastgelegde guardian de poort overslaat.
106
1074. **Interactie met Block/Orbit.** Blokkeert de ward iemand terwijl er nog een
108 verzoek voor die persoon open staat, dan moet dat verzoek verdwijnen.
109
1105. **Emancipatie.** Wat gebeurt er met openstaande verzoeken als de
111 guardianship eindigt? Automatisch goedkeuren of laten vervallen.
112
[f3a58a4]113## Raakvlakken met andere beads
114
115- **shaer-3kp** (gated features, guardian-overeengekomen instellingen) noemt
116 "following approve" al met zoveel woorden. Dat is de plek waar het beleid
117 hoort te wonen: één instellingen-object op de ward met de server als bron van
118 waarheid. Dit ontwerp moet daar een veld in zijn, geen eigen mechaniek ernaast.
119- **shaer-h6u** (lokale guardian via de lijn i.p.v. de gedeelde database) raakt
120 de bezorgweg die hier ook gebruikt wordt.
121- **shaer-zjt** bouwt het guardian-dashboard mét quorumteller; de nieuwe
122 wachtrij moet daar meteen in passen.
123
124### De quorum-kolom is nooit aangesloten
125
126Los van dit ontwerp, en niet in een bead gevonden: `ap_pending_follows.quorum`
127wordt door de aanroep in `ActivityPubService.js` nooit meegegeven, dus alles
128valt terug op de default `'any'`. `'all'` bestaat alleen in de vergelijking in
129`decide()` en wordt nergens geschreven; `'none'` heeft helemaal geen tak en zou
130zich als `'any'` gedragen in plaats van als "open". shaer-hxg is gesloten met
131"quorum any/all" als opgeleverd, en `test/follow-gating.test.js` slaagt omdat de
132test de waarde zelf meegeeft — precies het pad dat productie nooit neemt.
133
134Gevolg: een ward met drie guardians gaat vandaag open op één goedkeuring, ook
135als iemand dacht `all` te hebben ingesteld. Verdient een eigen bead, en de
136oplossing hangt samen met shaer-3kp: als het beleid daar komt te wonen, is dat
137meteen de plek waar de inkomende kant zijn quorum vandaan haalt.
138
[af035e6]139## Daemon-pariteit
140
141De daemon-README is er stellig over: de apps moeten zich tegen beide backends
142hetzelfde gedragen, en als daemon en Klonkt uit elkaar lopen is de UI die je
143lokaal test een leugen. Wat hier landt, landt dus ook in `shaer-daemon`
144(`gate.rs` heeft nu alleen de inkomende kant), en de wachtrij-namen en de
145`awaiting_guardian`-status moeten letterlijk gelijk zijn.
Note: See TracBrowser for help on using the repository browser.