Changeset fbfd7a1 in Klonkt for src/config/database.js

Timestamp:

08/13/2026 10:34:36 PM (4 weeks ago)

Author:

Robin <roboburr@…>

Branches:

main

Children:

6c4ff7e

Parents:

4101c89

Message:

Je berichten verhuizen mee: FEP-1580 plus een webinterface ervoor

FEP-7628 verhuist je volgers en zegt zelf dat de inhoud een ander probleem is.
Dat probleem stond open: na een Move bleven je berichten op de oude instantie
staan, en elke reactie van een derde wees naar een URI die verdwijnt zodra dat
domein opgezegd wordt. FEP-1580 regelt dat, status DRAFT.

DE AUTORISATIE IS DE MOVE, NIET EEN CODE. De bronkant behandelt een ondertekend
verzoek namens de doel-actor alsof de bron-actor het zelf deed. Dat mag omdat
moveAccount() no_backreference weigert: moved_to staat er alleen als de
doel-actor ons al in alsoKnownAs had. Beide kanten hebben ooit ja gezegd, dus er
is geen tweede vertrouwensmechanisme nodig. Een typefout komt hier niet binnen,
want die haalt de move zelf niet. Dat dit veilig is leunt op de keyId-binding
uit shaer-xd8i: zonder die controle is "wie tekende dit" te zacht om je hele
geschiedenis aan af te geven.

NIEUWE IDS ZIJN GEEN BUG, DE VERTAALTABEL IS HET ANTWOORD. Een verhuisd bericht
krijgt een eigen URI, want het staat op een ander domein. De migration-collectie
mapt oud naar nieuw en derden lezen die om hun eigen verwijzingen bij te werken.
Zonder die collectie is de draad kapot, met die collectie is het een
verhuisbericht. Niet-publieke items staan er alleen in voor wie ze mocht zien:
een lijst met de URIs van je fan-only posts is een lek, ook zonder de inhoud.

Er gaat geen Create de deur uit. Je volgers hebben die berichten jaren geleden
al gezien; driehonderd posts die als nieuw de tijdlijn in klateren is geen
verhuizing maar spam.

Daarnaast /admin/migrate: exporteren, importeren en ophalen via de
webinterface, zodat verhuizen geen SSH-toegang meer vraagt. Importeren gaat
altijd eerst droog, met een verslag en pas daarna een knop die het echt doet.

Getest op twee draaiende instanties, A verhuisd naar B via de echte
moveAccount. Anoniem zag A 3 van de 4 berichten; ondertekend als de doel-actor
kwamen alle 4 mee, inclusief de fan-only. Titel, webadres en publicatiedatum
blijven staan. Media komt echt over: gedownload, in de mediatabel, B serveert
het. Migration-collectie 4 rijen totaal, 3 publiek.

Changed files:
src/services/ActivityPubService.js

• isMoveTarget: het hele autorisatiepredicaat van de bronkant
• outboxAudience en mayReadNote: de doel-actor krijgt onze eigen kijkrechten
• buildActor adverteert migration en moves, ook leeg (de FEP wijst er apart op dat "niets verhuisd" anders niet te onderscheiden is van "kent dit niet")
• signedGetJson geexporteerd, de ingest heeft hem nodig
• isMoveTarget en signedGetJson in de default export (movedLock verstopte zich een dag eerder precies zo)

src/services/ap-core.js

• FEP-1580-termen in de JSON-LD-context

src/services/ArchiveImportService.js

• een import uit een zip vult dezelfde vertaaltabel; de spec wil dat een geexporteerde collectie identiek behandeld wordt

src/routes/activitypub.js

• /ap/users/:slug/migration en /moves
• de blocked-collectie gaat open voor de doel-actor, want zichtbaarheidsvoorkeuren moeten meeverhuizen

src/config/database.js

• ap_migration en ap_moves, plus sites.migration_complete

src/server.js

• /admin/migrate aangesloten

src/views/pages/admin.ejs

• knop naar Migreren

src/services/i18n.js

• mig.* in nl/en/de

New file:
src/services/MigrationService.js

• de doelkant: ingest-routine, migration- en moves-collectie, statusvlag

src/routes/admin-migrate.js

• exporteren, droog importeren, echt importeren, ophalen bij de oude Klonkt

src/views/pages/admin-migrate.ejs

• de pagina

test/fep1580-migration.test.js

• 22 tests over beide rollen, plus de regressietest bij 4101c89

remarks: FEP-8b32 ontbreekt volledig (shaer-j1v0), dus er staat geen
handtekening onder de moves-collectie en we zijn niet naleveringsklaar. Bewust
geen leeg proof-veld: een derde die het controleert wordt dan misleid. De DERDE
rol zit er ook niet in, Klonkt leest nog geen migration-collecties van anderen,
dus andermans verhuizing repareert onze verwijzingen nog niet. Alle betrokken
FEPs zijn DRAFT, ook 7628 die we al volgden; 1580 is vers en de auteur schrijft
zelf dat het een audit verdient.

-robo
Co-Authored-By: Claude Opus 4.8 <noreply@…>

File:

• src/config/database.js (modified) (2 diffs)

src/config/database.js

@@ -218 +218 @@
   ensureColumn('sites', 'ap_aliases', 'TEXT');
   ensureColumn('sites', 'moved_to', 'TEXT');   // FEP-7628 slice 2: waarheen dit account vertrok
+  // FEP-1580: staat de ingest-routine nog open? 1 = klaar (en dat is ook de
+  // stand van een site die nooit iets gemigreerd heeft, want er hangt niets).
+  // Derden pollen op deze vlag, dus hij moet ook "er valt niets te wachten"
+  // kunnen zeggen.
+  ensureColumn('sites', 'migration_complete', 'INTEGER DEFAULT 1');
 
   // Per-post noindex + type
@@ -550 +555 @@
     -- de opstartkosten waren reacties maal tijdlijnrijen.
     CREATE INDEX IF NOT EXISTS idx_ap_timeline_url ON ap_timeline(slug, url);
+    -- FEP-1580: de vertaaltabel van een verhuizing. Per gemigreerd object waar
+    -- het VANDAAN kwam en welke URI het HIER kreeg. Derden lezen deze mapping en
+    -- werken er hun eigen inReplyTo/Like-verwijzingen mee bij; zonder deze tabel
+    -- is "de berichten krijgen nieuwe adressen" een permanent kapotte draad.
+    --
+    -- De spec eist omgekeerd-chronologisch op het moment dat de kopie HIER is
+    -- aangemaakt (niet de oorspronkelijke publicatiedatum). Daarom sorteren we
+    -- op de autoincrement-id en niet op created_at: die heeft secondeprecisie,
+    -- en een ingest zet er tientallen per seconde in.
+    CREATE TABLE IF NOT EXISTS ap_migration (
+      id INTEGER PRIMARY KEY AUTOINCREMENT,
+      slug TEXT NOT NULL,          -- onze site, de DOELkant van de verhuizing
+      origin TEXT NOT NULL,        -- object-URI op de broninstantie
+      target TEXT NOT NULL,        -- de URI die het object hier kreeg
+      source_actor TEXT NOT NULL DEFAULT '',
+      is_public INTEGER NOT NULL DEFAULT 1,   -- niet-publieke items horen niet in een publieke pagina
+      created_at DATETIME DEFAULT CURRENT_TIMESTAMP,
+      UNIQUE(slug, origin)
+    );
+    CREATE INDEX IF NOT EXISTS idx_ap_migration_slug ON ap_migration(slug, id DESC);
+    -- De Move-activities zelf, gededupliceerd. FEP-1580 wil dat deze collectie
+    -- een op zichzelf staand bewijs vormt voor de items in ap_migration, met een
+    -- FEP-8b32 integrity proof van de bron-actor plus een kopie van diens
+    -- actor-document. Wij bewaren allebei die stukken al (activity_json en
+    -- actor_json), maar Klonkt kent 8b32 nog niet: zie shaer-j1v0. Zolang dat
+    -- open staat is deze collectie structureel goed en niet verifieerbaar.
+    CREATE TABLE IF NOT EXISTS ap_moves (
+      id INTEGER PRIMARY KEY AUTOINCREMENT,
+      slug TEXT NOT NULL,
+      move_id TEXT NOT NULL,       -- id van de Move-activity, tevens dedup-sleutel
+      source_actor TEXT NOT NULL,
+      target_actor TEXT NOT NULL,
+      activity_json TEXT NOT NULL,
+      actor_json TEXT,             -- inline kopie van het bron-actordocument
+      created_at DATETIME DEFAULT CURRENT_TIMESTAMP,
+      UNIQUE(slug, move_id)
+    );
     CREATE TABLE IF NOT EXISTS ap_blocks (
       id INTEGER PRIMARY KEY AUTOINCREMENT,