Export Csv

Alle Level-Profile als CSV.

─── Warum das ueberhaupt existiert ─────────────────────────────────────

Es gibt seit Langem einen IMPORT von anderen Bots (api/routers/level_import.py) und keinen Export. Das ist eine Einbahnstrasse, und sie sagt einem Serverbetreiber etwas ueber das Verhaeltnis: hereinkommen ist leicht, herauskommen nicht vorgesehen.

Der Export dreht das um. Er ist zugleich das ehrlichste Vertrauensargument, das dieses System machen kann - "deine Daten gehoeren dir" ist ein Satz, den ein Knopf beweist und eine Datenschutzerklaerung nicht.

─── Warum als Stream und nicht als JSON-Antwort ────────────────────────

Weil ein Server mit 60.000 Profilen sonst einen Antwortkoerper von mehreren Megabyte am Stueck aufbaut - im Speicher der API, fuer einen Klick. Der Stream schreibt in Bloecken und haelt nie mehr als einen im Speicher.

─── Warum keine Namen im Export ────────────────────────────────────────

Discord-Namen aendern sich, und die Kopie in users.username ist der globale Name vom Zeitpunkt des ersten Kontakts. Ein Export mit veralteten Namen sieht vollstaendiger aus, als er ist, und jemand baut darauf eine Zuordnung, die nicht stimmt. Die Discord-ID ist der Schluessel, der stimmt - wer Namen braucht, holt sie sich zur Ausgabezeit dazu.