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]>
266 lines
12 KiB
JavaScript
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);
|