Files
dogfather-universe/server/pruef-zentrale-ring.mjs
T
DogFatherGitandClaude Opus 5 6e46a08543 Portnummern werden abgeleitet, nicht mehr vergeben
Gemessen: 165 Pruefdateien, 129 verschiedene Nummern -- NEUNZEHN
doppelt, vier davon dreifach. Niemand hatte das gewollt; jede neue
Pruefung wurde von einer vorhandenen abgeschrieben, und die Nummer kam
mit. Meine eigene Notiz sagte "sieben" -- auch eine Bestandsliste
altert.

Der Waechter faengt den Schaden ab, aber er kann nur melden, was schon
passiert ist: Zwei Pruefungen mit derselben Nummer koennen nie
gleichzeitig laufen, und ein liegengebliebener Prozess der einen laesst
die andere abbrechen mit einer Meldung, die wie ein Befund aussieht.
Genau das ist mir am 20.09. zweimal passiert.

Jetzt leitet jede Datei ihre Nummer aus ihrer STELLE IM ALPHABET ab
(eigenerPort in helfer-port.mjs), zwei je Datei. Nicht ueber eine
Pruefsumme: Bei 165 Namen in 4900 Nummern waeren nach dem
Geburtstagsproblem rund DREI Zusammenstoesse zu erwarten -- ein Hash
tauscht eine sichtbare Doppelung gegen eine unsichtbare. Die Stelle im
Alphabet ist eindeutig von der Bauart her.

--- ZWEI FEHLER AUF DEM WEG, BEIDE LEHRREICH -------------------------

1. DER ERSTE VERSUCH WAR GRUEN UND KAPUTT. Ersetzt wurde mit einem
   Muster: "([^"]*4231[^"]*)". Das hielt

     { host: "127.0.0.1", port: 4231, path: "/404.html" }

   fuer eine Zeichenkette -- ein Muster kann eine oeffnende nicht von
   einer schliessenden Anfuehrung unterscheiden. Heraus kam

     { host: "127.0.0.1`, port: ${PORT}, path: `/404.html" }

   also GUELTIGER Code ohne port-Feld. `node --check` sagte gruen fuer
   alle 164 Dateien. Aufgefallen ist es erst, weil ich vier Vertreter
   gegen eine vorher gemessene Grundlinie laufen liess: pruef-schranke
   39/0 vorher, 38/1 nachher.

   Alles zurueckgenommen und mit einem Zerleger neu gemacht, der weiss,
   ob eine Stelle Code, Zeichenkette, Vorlage, Kommentar oder
   regulaerer Ausdruck ist. In pruef-ics stand die Nummer in einem
   regulaeren Ausdruck -- der wird jetzt gebaut statt hingeschrieben.

2. EIN MODUL, DAS BEIM IMPORTIEREN ARBEITET, IST EINE FALLE. Der
   zweite Durchgang importierte den ersten, um seine Mechanik zu
   benutzen -- und fuehrte dessen Hauptlauf gleich mit aus. Die
   zweiten Nummern wurden dadurch als erste behandelt, zwei Aufrufe
   bekamen dieselbe Nummer, und in pruef-content stand `const PORT`
   zweimal.

--- WAS DAS DAUERHAFT HAELT -----------------------------------------

pruef-portnummern.mjs (neu, 8 Pruefungen) fragt nicht "welche Nummern
sind doppelt", sondern "wer traegt ueberhaupt noch eine von Hand ein"
und "wer startet einen Server, ohne seine Nummer abzuleiten". Die
zweite Frage hat sofort etwas gefunden, das in KEINER Doppelungsliste
stand: pruef-push-weg belegte 4341 und 4342, rief den Waechter aber
gar nicht auf -- dieselbe Nummer wie pruef-agentur. Eine Liste zeigt
nur, was auf ihr steht.

Mit Gegenprobe: Eine unbekannte Datei bekommt keine geratene Nummer,
sondern einen Abbruch, und eine dritte Nummer je Datei gibt es nicht.

--- NACHGEMESSEN ----------------------------------------------------

Sechzehn Pruefungen gegen ihre vorher gemessene Grundlinie, je eine
Vertreterin jeder umgestellten Bauweise (eine Nummer, zwei Nummern,
Nummer in einer Zeichenkette, in einer Vorlage, in einem regulaeren
Ausdruck, dynamische Einfuhr, Nachtlauf mit zwei Laeufen):

  crew-adresse 132/0 · schranke 39/0 · content 45/0 · entwicklung 46/0
  anruf 127/0 · ics 37/0 · push-weg 20/0 · arten 28/0 · video 67/0
  kanalzeile 14/0 · agentur 62/0 · spicy 83/0 · creator-anlegen 50/0
  push-ziel 10/0 · portnummern 8/0

Alle exakt wie vorher. Zwei waren schon vorher rot und sind es
unveraendert geblieben (crew-wand-bild 41/4, teilen 14/3) -- per
`git stash` belegt, nicht angenommen.

Co-Authored-By: Claude Opus 5 <[email protected]>
2026-09-20 22:51:21 +02:00

266 lines
12 KiB
JavaScript

/* =====================================================================
DER RING OBEN ZEIGT ARBEIT, NICHT DIE UHRZEIT (17.09.2026)
Auf der Startseite von Creator, rechter Hand und Modis steht das
groesste Element ganz oben: ein Ring mit einer Prozentzahl und dem
Wort darunter. Bis heute rechnete er:
prozent = (aktuelle Stunde - 6) / 18
...und nannte das "Tag geschafft". Um 9 Uhr also 17 %, um 23 Uhr
94 % -- voellig unabhaengig davon, ob jemand etwas getan hatte.
AUFGEFALLEN IST ES AUF EINEM BILDSCHIRMFOTO: Bei einem Modi stand
"0 % TAG GESCHAFFT", waehrend sie ueberhaupt nichts offen hatte.
Jede der beiden Angaben war fuer sich richtig. Zusammen waren sie
Unsinn -- und es war das Erste, was sie morgens sah.
---------------------------------------------------------------------
WAS DIESE PRUEFUNG SICHERT
Drei Faelle, und der dritte ist der, an dem so etwas wieder
kaputtgeht:
1. Es liegt etwas an, ein Teil ist fertig -> ein Anteil
2. Es liegt NICHTS an -> voll, und es steht da
3. Es liegt etwas an, NICHTS ist fertig -> null
Fall 3 ist der wichtige. Die naheliegende Rechnung waere "was ist
heute faellig" -- dann meldete der Ring bei drei UEBERFAELLIGEN
Sachen "nichts faellig, alles gut". Das waere derselbe Fehler noch
einmal, nur mit anderen Zahlen. Gezaehlt wird deshalb, was heute auf
dem Tisch liegt: faellig ODER laenger offen.
UND DIE GEGENPROBE: Zwischen zwei Abfragen wird eine Aufgabe fertig
gemacht. Der Ring MUSS sich bewegen. Ohne diesen Teil koennte er
dauerhaft dieselbe Zahl liefern und alle Faelle oben bestehen.
Aufrufen mit: node server/pruef-zentrale-ring.mjs
===================================================================== */
import { mkdtempSync, rmSync } from "node:fs";
import { tmpdir } from "node:os";
import { join } from "node:path";
import { eigenerPort } from "./helfer-port.mjs";
import { heuteLokal, tagLokal } from "./helfer-tag.mjs";
const PORT = await eigenerPort(import.meta, "pruef-zentrale-ring");
const ordner = mkdtempSync(join(tmpdir(), "ws-ring-"));
process.env.WORKSPACE_DB = join(ordner, "workspace.db");
process.env.PORT = String(PORT);
process.env.SITE_ACCESS_SECRET = "lokaler-test";
process.env.SITE_PUBLIC_LAUNCH_AT = "2020-01-01T00:00:00+01:00";
const express = (await import("express")).default;
const ec = express.response.cookie;
express.response.cookie = function (n, w, o) { return ec.call(this, n, w, { ...(o || {}), secure: false }); };
import { notbremse } from "./helfer-notbremse.mjs";
await import("./index.js");
notbremse(180_000, "pruef-zentrale-ring");
await new Promise((r) => setTimeout(r, 700));
const BASIS = `http://127.0.0.1:${PORT}`;
process.on("uncaughtException", (f) => { console.error("ABSTURZ:", f); process.exit(7); });
process.on("unhandledRejection", (f) => { console.error("ABSTURZ (Versprechen):", f); process.exit(7); });
let fehler = 0, geprueft = 0;
const melde = (t) => console.log(t);
const ok = (b, t) => { geprueft++; console.log((b ? " ok " : " FEHL ") + t); if (!b) fehler++; };
const { DatabaseSync } = await import("node:sqlite");
const { scryptSync, randomBytes, createHmac } = await import("node:crypto");
const d = new DatabaseSync(process.env.WORKSPACE_DB);
const jetzt = new Date().toISOString();
const schluessel = randomBytes(32).toString("hex");
d.prepare("INSERT INTO einstellungen (schluessel, wert, geaendert, von)"
+ " VALUES (?,?,?,NULL) ON CONFLICT(schluessel) DO NOTHING")
.run("code_kennung_schluessel", schluessel, jetzt);
function anlegen(name, rolle, code) {
const salt = randomBytes(16).toString("hex");
const hash = scryptSync(code, salt, 64,
{ N: 32768, r: 8, p: 1, maxmem: 96 * 1024 * 1024 }).toString("hex");
d.prepare("INSERT INTO personen"
+ " (name, rolle, code_hash, code_salt, code_n, code_kennung, aktiv, erstellt)"
+ " VALUES (?,?,?,?,?,?,1,?)")
.run(name, rolle, hash, salt, 32768,
createHmac("sha256", schluessel).update(code).digest("hex"), jetzt);
return d.prepare("SELECT last_insert_rowid() AS id").get().id;
}
/* Drei Menschen mit drei Lagen -- getrennt, damit sich die Faelle nicht
gegenseitig beeinflussen. Ein einziger Mensch, bei dem zwischendurch
Zeilen geloescht werden, misst am Ende den Loeschvorgang mit. */
const idTut = anlegen("Marina", "modi", "CODE-TUT-00001");
const idLeer = anlegen("Nane", "modi", "CODE-LEER-0001");
const idSaeu = anlegen("Rieke", "modi", "CODE-SAEU-0001");
const setzen = (personId, status, frist, erledigtAm = null) =>
d.prepare(`INSERT INTO aufgaben (titel, status, verantwortlich_id, frist, erledigt_am, erstellt)
VALUES (?,?,?,?,?,?)`)
.run("Sache", status, personId, frist, erledigtAm, jetzt);
/* 1. Etwas liegt an, ein Teil ist fertig: 2 offen (eins ueberfaellig,
eins heute) + 1 heute erledigt -> 1 von 3 -> 33 % */
setzen(idTut, "offen", tagLokal(-2));
setzen(idTut, "offen", heuteLokal());
setzen(idTut, "erledigt", heuteLokal(), jetzt);
/* Und Dinge, die NICHT mitzaehlen duerfen: morgen faellig, und etwas,
das vorgestern fertig wurde. Ohne sie waere nicht geprueft, dass der
Ring den TAG meint und nicht die Gesamtlage. */
setzen(idTut, "offen", tagLokal(3));
setzen(idTut, "erledigt", tagLokal(-9), new Date(Date.now() - 2 * 86400_000).toISOString());
/* 2. Es liegt nichts an -- nur etwas in der Zukunft. */
setzen(idLeer, "offen", tagLokal(5));
/* 3. Drei UEBERFAELLIGE, nichts fertig. Der Fall, an dem eine Rechnung
ueber "heute faellig" faelschlich "alles gut" melden wuerde. */
setzen(idSaeu, "offen", tagLokal(-4));
setzen(idSaeu, "offen", tagLokal(-3));
setzen(idSaeu, "arbeit", tagLokal(-1));
/* DREI TERMINE IN DERSELBEN STUNDE -- der Fall, an dem "kommt noch"
Stunden statt Termine zaehlte und deshalb 1 statt 3 meldete. Die
Stunde liegt bewusst spaet, damit sie in JEDER Tageszeit noch in der
Zukunft liegt; eine Pruefung, die nur vormittags gruen ist, waere
eine Zeitbombe. */
const SPAET = 23;
for (let i = 0; i < 3; i++) {
d.prepare(`INSERT INTO termine (titel, beginn, dauer_min, teilnehmer_id, erstellt, erstellt_von)
VALUES (?,?,?,?,?,?)`)
.run("Sendung", `${heuteLokal()}T${SPAET}:${String(10 + i * 5).padStart(2, "0")}:00`,
30, idTut, jetzt, idTut);
}
d.close();
async function ring(code) {
const an = await fetch(BASIS + "/workspace/api/anmelden", {
method: "POST", headers: { "Content-Type": "application/json" },
body: JSON.stringify({ rolle: "creator", code }),
});
const keks = (an.headers.getSetCookie?.() || []).map((z) => z.split(";")[0]).join("; ");
const a = await fetch(BASIS + "/workspace/api/zentrale", { headers: { cookie: keks } });
return a.json();
}
/* =======================================================================
1. ES LIEGT ETWAS AN
======================================================================= */
melde("");
melde("=== 1. Etwas liegt an, ein Teil ist fertig ===");
{
const r = await ring("CODE-TUT-00001");
ok(r.titel === "Heute geschafft", `der Ring heisst "${r.titel}"`);
ok(r.prozent === 33, `und steht auf ${r.prozent} % (1 von 3)`);
/* DIE ENTSCHEIDENDE ABGRENZUNG: Ohne diese Zeile koennte der Ring
alle fuenf Zeilen zaehlen und zufaellig auch auf eine plausible
Zahl kommen. */
ok(r.prozent !== 20 && r.prozent !== 40,
"morgen und vorgestern zaehlen nicht mit");
}
/* =======================================================================
2. ES LIEGT NICHTS AN
======================================================================= */
melde("");
melde("=== 2. Es liegt nichts an ===");
{
const r = await ring("CODE-LEER-0001");
ok(r.prozent === 100, `voller Ring (${r.prozent} %)`);
/* UND ES STEHT IN WORTEN DA. Ein voller Ring ohne Erklaerung waere
wieder eine Zahl, bei der man raten muss -- genau der Fehler, der
hier repariert wurde. */
ok(r.titel === "Heute nichts offen", `und er sagt es: "${r.titel}"`);
}
/* =======================================================================
3. ÜBERFÄLLIG IST NICHT "NICHTS"
======================================================================= */
melde("");
melde("=== 3. Drei ueberfaellige Sachen ===");
{
const r = await ring("CODE-SAEU-0001");
ok(r.prozent === 0, `leerer Ring (${r.prozent} %)`);
ok(r.titel === "Heute geschafft",
`und NICHT "nichts offen" -- ueberfaellig liegt an ("${r.titel}")`);
}
/* =======================================================================
4. GEGENPROBE: BEWEGT ER SICH?
======================================================================= */
melde("");
melde("=== 4. Die Gegenprobe ===");
{
const vorher = await ring("CODE-SAEU-0001");
const e = new DatabaseSync(process.env.WORKSPACE_DB);
/* SQLite kennt ORDER BY im UPDATE nicht (ohne eigenes Uebersetzen).
Deshalb die Zeile ueber eine Unterabfrage auswaehlen. */
e.prepare(`UPDATE aufgaben SET status = 'erledigt', erledigt_am = ?
WHERE id = (SELECT id FROM aufgaben
WHERE verantwortlich_id = ? AND status = 'offen'
ORDER BY id LIMIT 1)`).run(jetzt, idSaeu);
e.close();
const nachher = await ring("CODE-SAEU-0001");
/* OHNE DIESE ZEILE beweisen die drei Abschnitte darueber nichts: Ein
Ring, der immer dieselbe Zahl liefert, koennte sie alle bestehen,
solange die Zahl zufaellig passt. */
ok(nachher.prozent > vorher.prozent,
`eine Aufgabe fertig gemacht: ${vorher.prozent} % -> ${nachher.prozent} %`);
ok(nachher.prozent === 33, `und zwar auf 1 von 3 (${nachher.prozent} %)`);
}
/* =======================================================================
5. DIE UHRZEIT SPIELT KEINE ROLLE MEHR
======================================================================= */
melde("");
melde("=== 5. Was der Ring NICHT mehr ist ===");
{
/* Die alte Rechnung, wortwoertlich, mit der jetzigen Stunde. Sie
steht hier, damit auffaellt, wenn jemand sie zurueckholt: Der Ring
darf nicht zufaellig wieder auf ihren Wert fallen. */
const alt = Math.round((Math.min(Math.max(new Date().getHours() - 6, 0), 18) / 18) * 100);
const r = await ring("CODE-LEER-0001");
ok(r.prozent === 100 && (alt !== 100 || new Date().getHours() >= 24),
`die alte Uhrzeit-Rechnung ergaebe jetzt ${alt} %, der Ring zeigt ${r.prozent} %`);
}
/* =======================================================================
6. DIE DREI ZAHLEN UNTER DEM RING
======================================================================= */
melde("");
melde("=== 6. Termine heute, kommt noch ===");
{
const r = await ring("CODE-TUT-00001");
const schilder = (r.zahlen || []).map((z) => z.schild);
/* "heute" ALLEIN WAR ZWEIDEUTIG: Der Ring darueber sagt jetzt "Heute
geschafft" und meint Aufgaben, diese Zahl meint Termine. */
ok(schilder[0] === "Termine heute",
`die erste Zahl sagt, WAS heute ist ("${schilder[0]}")`);
/* UND DER EIGENTLICHE FEHLER: drei Termine in derselben Stunde. */
const kommtNoch = (r.zahlen || [])[1];
const jetztStunde = new Date().getHours();
if (jetztStunde > 23) {
melde(" -- nach 23 Uhr nicht messbar -- die drei Termine liegen dann hinter uns");
} else {
ok(kommtNoch?.wert === 3,
`drei Termine um 23 Uhr zaehlen als drei, nicht als eine Stunde (${kommtNoch?.wert})`);
}
/* GEGENPROBE: Wer keine Termine hat, bekommt hier auch keine -- sonst
hiesse "3" nur, dass immer 3 herauskommt. */
const leer = await ring("CODE-LEER-0001");
ok((leer.zahlen || [])[1]?.wert === 0,
`und wer keine hat, sieht null (${(leer.zahlen || [])[1]?.wert})`);
ok((leer.zahlen || [])[0]?.wert === 0,
`auch bei "Termine heute" (${(leer.zahlen || [])[0]?.wert})`);
}
/* ------------------------------------------------------------------- */
melde("");
melde(`${geprueft} Pruefungen, ${fehler} Fehler`);
melde(fehler ? "NICHT IN ORDNUNG" : "ALLES IN ORDNUNG");
try { rmSync(ordner, { recursive: true, force: true }); } catch { /* Aufraeumrest */ }
process.exit(fehler ? 1 : 0);