Changeset 2365630 in Klonkt

Timestamp:

08/14/2026 12:32:25 AM (4 weeks ago)

Author:

roboburr <roboburr@…>

Branches:

main

Children:

5a49eba

Parents:

919b82d

git-author:

Robin <roboburr@…> (08/14/2026 12:31:37 AM)

git-committer:

roboburr <roboburr@…> (08/14/2026 12:32:25 AM)

Message:

Een stempel in een vorm, anders sorteert een gesprek op schrijfwijze

Bart, 14-8: in Berichten stond een bericht van 00:30 boven een antwoord van
20:22 de avond ervoor -- op iOS en op Android allebei, en dat wees al naar hier
in plaats van naar de clients.

De unie achter een gesprek haalde haar stempel uit twee bronnen met een andere
VORM. SQLite's CURRENT_TIMESTAMP schrijft '2026-08-13 22:30:12', een binnenkomend
object draagt '2026-08-13T20:22:00Z', en soms met milliseconden erbij. Alle drie
tekst, dus vergeleken als tekst -- en op plek 10 staat een spatie tegen een T.
Een spatie is kleiner, dus sorteerde binnen dezelfde dag ALLES wat jij stuurde
vóór alles wat binnenkwam, hoe laat het ook was.

Barts eigen geval precies: 00:30 lokaal is 22:30 UTC op de 13e, en dat kwam
daarmee vóór een antwoord van 20:22Z.

strftime leest alle drie en geeft er een vorm voor terug, in UTC. Lukt dat niet,
dan blijft de rauwe waarde staan: dan is die ene rij verkeerd gesorteerd in
plaats van de hele lijst.

Dit ging ook de clients aan zonder dat iemand het zag. new Date('2026-08-13
22:30:12') leest in JavaScript als LOKALE tijd en de T-Z-vorm als UTC -- dezelfde
rij gaf dus een leeftijd die uren verschilde per vorm, en daar hangt in de hemel
de afstand tot het midden aan.

De toetsen hierboven gebruikten overal dezelfde ISO-vorm en konden hier dus niet
op falen. De drie nieuwe zetten de vormen door elkaar zoals de echte database
dat doet, op een eigen site zodat ze de tellingen van de andere niet verstoren.
Nagegaan dat ze ook echt kunnen falen: met de normalisering eruit vallen ze
alle drie om.

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

Files:

• src/services/ActivityPubService.js (modified) (1 diff)
• test/conversations.test.js (modified) (1 diff)

src/services/ActivityPubService.js

@@ -4421 +4421 @@
 // visibility 'direct'. Een publiek antwoord is geen gesprek en hoort niet als
 // gezicht in de hemel.
+/**
+ * EEN STEMPEL IN EEN VORM, en dat is hier geen netheid maar de volgorde zelf.
+ *
+ * Drie vormen kwamen samen in deze unie: `2026-08-13 19:26:17` van SQLite's
+ * CURRENT_TIMESTAMP, `2026-08-13T18:21:57Z` uit een object, en dezelfde met
+ * milliseconden. Als TEKST vergeleken staat op plek 10 een spatie tegen een
+ * T -- en een spatie is kleiner. Dus sorteerde binnen dezelfde dag alles wat
+ * JIJ stuurde vóór alles wat binnenkwam, ongeacht de klok (Barts melding 14-8:
+ * een bericht van 00:30 stond boven een antwoord van 20:22 de avond ervoor).
+ *
+ * strftime leest alle drie en geeft er een vorm voor terug, in UTC. Lukt het
+ * niet, dan blijft de rauwe waarde staan -- dan is die ene rij verkeerd
+ * gesorteerd in plaats van de hele lijst.
+ *
+ * Dit gaat ook de client aan: `new Date('2026-08-13 19:26:17')` leest in
+ * JavaScript als LOKALE tijd en `...T19:26:17Z` als UTC. Dezelfde rij gaf dus
+ * een leeftijd die twee uur verschilde per vorm.
+ */
+const STEMPEL = (rauw) => `COALESCE(strftime('%Y-%m-%dT%H:%M:%SZ', ${rauw}), ${rauw})`;
+
 const CONVERSATION_UNION = `
-  SELECT m.actor_uri AS other, COALESCE(m.published, m.created_at) AS stamp,
+  SELECT m.actor_uri AS other, ${STEMPEL('COALESCE(m.published, m.created_at)')} AS stamp,
          'in' AS direction, m.object_uri AS ref
     FROM ap_mentions m
    WHERE m.slug = @slug AND m.actor_uri IS NOT NULL AND m.actor_uri <> ''
   UNION ALL
-  SELECT j.value AS other, o.created_at AS stamp,
+  SELECT j.value AS other, ${STEMPEL('o.created_at')} AS stamp,
          'out' AS direction, o.id AS ref
     FROM ap_outbox o

test/conversations.test.js

@@ -41 +41 @@
 // Een PUBLIEK antwoord aan een vreemde is geen gesprek.
 sent('mijn-publiek', VREEMDE, '2026-08-09T12:00:00Z', 'public');
+
+// ── De vorm van een stempel ───────────────────────────────────────────────
+//
+// Barts melding (14-8): in Berichten stond een bericht van 00:30 boven een
+// antwoord van 20:22 de avond ervoor, op iOS en op Android. De oorzaak zat
+// niet in de clients maar hier: de twee poten van de unie leverden een ANDERE
+// VORM. SQLite's CURRENT_TIMESTAMP schrijft '2026-08-13 22:30:12', een object
+// draagt '2026-08-13T20:22:00Z', en soms met milliseconden erbij. Als tekst
+// vergeleken staat op plek 10 een spatie tegen een T, en een spatie is kleiner
+// -- dus stond binnen dezelfde dag alles wat jij stuurde vóór alles wat
+// binnenkwam.
+//
+// De toetsen hierboven gebruikten overal dezelfde ISO-vorm en konden hier dus
+// niet op falen. Deze zet ze door elkaar, precies zoals de echte database.
+//
+// Eigen site, want de toetsen hierboven tellen ALLE gesprekken van 'kind' en
+// een gezicht erbij zou ze laten vallen om een reden die er niets mee te maken
+// heeft.
+db.prepare('INSERT INTO sites (id, slug, title, owner_id) VALUES (?,?,?,?)').run('s2', 'buur', 'Buur', 'u1');
+const BUURMAN = 'https://elders/u/buurman';
+const kwam = (uri, stamp) =>
+  db.prepare(`INSERT INTO ap_mentions (slug, object_uri, actor_uri, actor_name, content, published)
+              VALUES ('buur', ?, ?, 'buurman', '<p>hoi</p>', ?)`).run(uri, BUURMAN, stamp);
+const ging = (id, stamp) =>
+  db.prepare(`INSERT INTO ap_outbox (id, site_slug, post_id, to_actor, to_actors, content, visibility, created_at)
+              VALUES (?, 'buur', 'p1', ?, ?, '<p>terug</p>', 'direct', ?)`)
+    .run(id, BUURMAN, JSON.stringify([BUURMAN]), stamp);
+
+kwam('https://elders/n/buur-mid', '2026-08-13T14:17:45.000Z');
+ging('mijn-buur-1', '2026-08-13 16:16:00');
+kwam('https://elders/n/buur-avond', '2026-08-13T20:22:00Z');
+ging('mijn-buur-2', '2026-08-13 22:30:12');
+
+test('vormen door elkaar sorteren op de KLOK, niet op hun schrijfwijze', () => {
+  const talk = AP.conversationHistory('buur', BUURMAN, { limit: 60 });
+  assert.deepEqual(talk.rows.map((r) => r.ref), [
+    'mijn-buur-2',                      // 22:30
+    'https://elders/n/buur-avond',      // 20:22
+    'mijn-buur-1',                      // 16:16
+    'https://elders/n/buur-mid',        // 14:17
+  ], 'nieuwste eerst, om en om -- niet eerst al het uitgaande');
+});
+
+test('de stempel komt er in EEN vorm uit, want de client rekent ermee', () => {
+  // new Date('2026-08-13 22:30:12') leest in JavaScript als LOKALE tijd en
+  // '...T22:30:12Z' als UTC. Dezelfde rij gaf dus een leeftijd die per vorm
+  // uren verschilde, en daar hangt in de hemel de afstand tot het midden aan.
+  const talk = AP.conversationHistory('buur', BUURMAN, { limit: 60 });
+  for (const r of talk.rows) {
+    assert.match(r.stamp, /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}Z$/, `stempel ${r.stamp}`);
+  }
+});
+
+test('de cursor blijft werken over de vormen heen', () => {
+  const eerste = AP.conversationHistory('buur', BUURMAN, { limit: 2 });
+  assert.equal(eerste.more, true);
+  const tweede = AP.conversationHistory('buur', BUURMAN, { limit: 2, before: eerste.oldest });
+  assert.deepEqual(
+    [...eerste.rows, ...tweede.rows].map((r) => r.ref),
+    ['mijn-buur-2', 'https://elders/n/buur-avond', 'mijn-buur-1', 'https://elders/n/buur-mid'],
+    'twee pagina\'s samen zijn hetzelfde gesprek',
+  );
+});
 
 test('de oude lezing verliest tante achter een druk gesprek -- dat is de bug', () => {