Der Status kommt aus den Daten, nicht aus der Spalte

Die Liste filterte ueber die Datumsspalten, beschriftete die Zeilen aber mit
employees.status. Sobald die Spalte nachhaengt, widersprechen sich die
beiden — und sie haengt regelmaessig nach: terminate_employee setzt sie nur,
wenn das Austrittsdatum nicht in der Zukunft liegt, und es gibt keinen Lauf,
der das spaeter nachzieht (Migration 20260814100000 sagt das selbst).

Beim Kunden waren beide Richtungen zu sehen. Der Filter "Ausgetreten" fand
48 Personen, von denen mehrere als "Aktiv" beschriftet waren; der Filter
"Geplant" zeigte Nichtantritte, deren Spalte laengst "Ausgetreten" trug.

StatusChip nimmt deshalb jetzt die Zeile und den Stichtag und leitet selbst
ab. Die Spalte laesst sich nicht mehr hineinreichen — die zweite Quelle ist
nicht bloss ungenutzt, es gibt sie an dieser Stelle nicht mehr.

Dazu drei Stellen, die an derselben Spalte hingen:

  * Die Akte entschied mit ihr ueber die Knoepfe. An einer Person, die seit
    zwei Wochen ausgetreten ist, stand "Austritt" weiter zur Verfuegung.
  * Die Sortierung nach Status ordnete nach einem Wert, der nirgends auf der
    Seite steht.
  * Die Karte "Anstehend" zaehlte kuenftige Eintritte und Rueckkehren ueber
    die Spalte und damit anders als die Liste, auf die sie verlinkt.

Und eine Klausel, die in der Ableitung fehlte: ein Nichtantritt traegt als
Austrittsdatum den Eintrittstag. Liegt der in der Zukunft, ist auch der
Austritt groesser als der Stichtag — die vorige Korrektur verglich nur gegen
den Stichtag und blieb damit wirkungslos. Endet ein Verhaeltnis nicht
spaeter, als es beginnt, gab es keinen Tag Beschaeftigung, zu keinem
Stichtag.

lib/dashboard-data.ts

@@ -3,6 +3,7 @@ import { jsonArrayFrom, jsonObjectFrom } from "./db/json";
 import { besetzungenAbfrage, pickPlacements } from "./placement";
 import { buildOrgMaps, orgMapsAbfragen, type OrgEb } from "./org";
 import { baueEntwuerfe, entwuerfeAbfrage, type EntwurfZeile } from "./entwuerfe";
+import { derivedStatusFilter } from "./employee-status-filter";
 import { sichtbareNotizen } from "./notes";
 import { offeneStellenAbfrage, resolveOpenPositions, type OffeneStelle } from "./positions";
 import type { HistoryEventType } from "./types";
@@ -80,7 +81,11 @@ export async function loadDashboardData(tx: Tx, p: DashboardParams) {
         eb
           .selectFrom("employees")
           .select(["id", "first_name", "last_name", "entry_date"])
-          .where("status", "=", "Geplant")
+          // Abgeleitet, nicht über die Spalte `status`: ein Nichtantritt
+          // trägt dort sofort „Ausgetreten", ein erfasster künftiger Austritt
+          // dagegen weiter „Aktiv". Beides liess die Karte „Anstehend" etwas
+          // anderes zählen als die Liste, auf die sie verlinkt.
+          .where((e) => derivedStatusFilter(e, ["Geplant"], today) ?? e.val(true))
           .where("entry_date", ">=", today)
           .where("entry_date", "<=", bisIso)
           .where((e) => e.lit(zeigt("hire")))
@@ -91,6 +96,11 @@ export async function loadDashboardData(tx: Tx, p: DashboardParams) {
           .selectFrom("employees")
           .select(["id", "first_name", "last_name", "exit_date"])
           .where("exit_date", "is not", null)
+          // Ein Nichtantritt trägt als Austrittsdatum den Eintrittstag. Liegt
+          // der in der Zukunft, stand er hier als bevorstehender Austritt —
+          // vorzubereiten gibt es daran nichts, die Person fängt gar nicht an.
+          // Dieselbe Überlegung wie bei gehoertOffboarding().
+          .where((e) => e(e.ref("exit_date"), ">", e.ref("entry_date")))
           .where("exit_date", ">=", today)
           .where("exit_date", "<=", bisIso)
           .where((e) => e.lit(zeigt("exit")))
@@ -100,7 +110,7 @@ export async function loadDashboardData(tx: Tx, p: DashboardParams) {
         eb
           .selectFrom("employees")
           .select(["id", "first_name", "last_name", "karenz_return_date"])
-          .where("status", "=", "Karenz")
+          .where((e) => derivedStatusFilter(e, ["Karenz"], today) ?? e.val(true))
           .where("karenz_return_date", "is not", null)
           .where("karenz_return_date", ">=", today)
           .where("karenz_return_date", "<=", bisIso)

lib/employee-sort.ts

@@ -94,6 +94,29 @@ const bereichAusdruck = sql<string>`(
 
 const standortAusdruck = sql<string>`(select name from locations where id = employees.location_id)`;
 
+/**
+ * Der Status zum Stichtag als Rang — nicht die Spalte `employees.status`.
+ *
+ * Die Liste beschriftet jede Zeile mit dem **abgeleiteten** Status
+ * (components/ui/StatusChip.tsx) und filtert danach
+ * (lib/employee-status-filter.ts). Nach der gespeicherten Spalte zu sortieren
+ * hiesse, die Zeilen nach einem Wert zu ordnen, der nirgends auf der Seite
+ * steht: eine als „Ausgetreten" beschriftete Person landete mitten unter den
+ * aktiven, weil in ihrer Spalte noch „Aktiv" steht.
+ *
+ * Die Reihenfolge ist die des Aufzählungstyps — Aktiv, Karenz, Geplant,
+ * Ausgetreten. Das ist der Verlauf eines Dienstverhältnisses und sagt mehr
+ * als alphabetisch. Die Klauseln stehen in derselben Reihenfolge wie in
+ * deriveStatusAsOf; wer dort etwas ändert, ändert es auch hier.
+ */
+const statusRang = (asOf: string) => sql<number>`case
+  when exit_date is not null and (exit_date <= ${asOf}::date or exit_date <= entry_date) then 4
+  when entry_date > ${asOf}::date then 3
+  when karenz_start_date is not null and karenz_start_date <= ${asOf}::date
+       and (karenz_return_date is null or karenz_return_date > ${asOf}::date) then 2
+  else 1
+end`;
+
 /**
  * Hängt die Reihenfolge an eine Abfrage über `employees`.
  *
@@ -114,7 +137,8 @@ const standortAusdruck = sql<string>`(select name from locations where id = empl
 export function sortiere<O>(
   q: SelectQueryBuilder<Schema, "employees", O>,
   feld: Sortierfeld,
-  richtung: Richtung
+  richtung: Richtung,
+  asOf: string
 ): SelectQueryBuilder<Schema, "employees", O> {
   // Zwei ausgeschriebene Zweige statt einer eingesetzten Richtung: so gerät
   // nichts aus der Adresse in die Abfrage, auch nicht als geprüfter Wert.
@@ -140,10 +164,7 @@ export function sortiere<O>(
       case "beschaeftigung":
         return nachName(q.orderBy(ordne(sql.ref("employment_type"))).orderBy(ordne(sql.ref("weekly_hours"))));
       case "status":
-        // Aufzählungstyp: Postgres ordnet nach der Reihenfolge der Werte —
-        // Aktiv, Karenz, Geplant, Ausgetreten. Das ist der Verlauf eines
-        // Dienstverhältnisses und sagt mehr als alphabetisch.
-        return nachName(q.orderBy(ordne(sql.ref("status"))));
+        return nachName(q.orderBy(ordne(statusRang(asOf))));
       case "name":
         return nachName(q);
     }

lib/employee-status-filter.ts

@@ -13,21 +13,40 @@ import type { EmploymentStatus } from "./types";
 //
 // Kept deliberately close to deriveStatusAsOf, clause for clause:
 //
-//   exit_date  <= asOf                          -> Ausgetreten
-//   entry_date  > asOf                          -> Geplant
-//   karenz window covers asOf                   -> Karenz
-//   otherwise                                   -> Aktiv
+//   exit_date <= asOf  ODER  exit_date <= entry_date   -> Ausgetreten
+//   entry_date  > asOf                                 -> Geplant
+//   karenz window covers asOf                          -> Karenz
+//   otherwise                                          -> Aktiv
 //
 // Die Reihenfolge der ersten beiden ist nicht beliebig: ein abgeschlossener
 // Austritt schlaegt einen Eintritt, der noch bevorsteht. Warum das der Fall
-// ist, steht bei deriveStatusAsOf.
+// ist, und warum die erste Klausel zwei Haelften hat, steht bei
+// deriveStatusAsOf.
 //
 // tests/integration/employee-status-filter.test.ts asserts the two agree
 // against a real database, which is the only place that can prove it.
 
 type Eb = ExpressionBuilder<Schema, "employees">;
 
-/** True once the person has started and has not left yet. */
+/**
+ * Das Verhältnis ist am Stichtag beendet — entweder weil der Austritt
+ * vorbei ist, oder weil er nicht später liegt als der Eintritt und es
+ * damit nie einen Tag Beschäftigung gab (Nichtantritt).
+ */
+function ausgetreten(eb: Eb, asOf: string): Expression<SqlBool> {
+  return eb.and([
+    eb("exit_date", "is not", null),
+    eb.or([eb("exit_date", "<=", asOf), eb("exit_date", "<=", eb.ref("entry_date"))]),
+  ]);
+}
+
+/**
+ * True once the person has started and has not left yet.
+ *
+ * Der Nichtantritt braucht hier keine eigene Haelfte: waere exit_date nicht
+ * groesser als entry_date, muesste zugleich entry_date <= asOf < exit_date <=
+ * entry_date gelten — das kann keine Zeile erfuellen.
+ */
 function employed(eb: Eb, asOf: string): Expression<SqlBool> {
   return eb.and([eb("entry_date", "<=", asOf), eb.or([eb("exit_date", "is", null), eb("exit_date", ">", asOf)])]);
 }
@@ -45,17 +64,20 @@ export function derivedStatusFilter(eb: Eb, statuses: EmploymentStatus[], asOf:
 
   // „Geplant" ist ein Eintritt, der noch bevorsteht **und** nicht
   // zurueckgenommen wurde. Ohne die zweite Haelfte zaehlte der Filter die
-  // No-Shows mit: eingestellt, nie erschienen, Austritt vor dem Eintrittstag
-  // verbucht — in der Liste als „Ausgetreten" ausgewiesen und trotzdem unter
-  // „Geplant" gefunden.
+  // Nichtantritte mit: eingestellt, nie erschienen — in der Liste als
+  // „Ausgetreten" ausgewiesen und trotzdem unter „Geplant" gefunden.
+  //
+  // Die zweite Haelfte muss ueber ausgetreten() laufen und nicht nur ueber
+  // `exit_date > asOf`. Ein Nichtantritt traegt als Austrittsdatum den
+  // Eintrittstag; liegt der in der Zukunft, ist auch der Austritt groesser
+  // als der Stichtag und rutschte durch eine Pruefung, die nur den Stichtag
+  // kennt, wieder hindurch. Genau das war nach der ersten Korrektur noch zu
+  // sehen: der Filter blieb wirkungslos, weil er den falschen Vergleich zog.
   if (wanted.size === 1 && wanted.has("Geplant")) {
-    return eb.and([
-      eb("entry_date", ">", asOf),
-      eb.or([eb("exit_date", "is", null), eb("exit_date", ">", asOf)]),
-    ]);
+    return eb.and([eb("entry_date", ">", asOf), eb.not(ausgetreten(eb, asOf))]);
   }
   if (wanted.size === 1 && wanted.has("Ausgetreten")) {
-    return eb.and([eb("exit_date", "is not", null), eb("exit_date", "<=", asOf)]);
+    return ausgetreten(eb, asOf);
   }
 
   const wantsAktiv = wanted.has("Aktiv");

lib/reports.ts

@@ -150,13 +150,28 @@ export type OrgLookups = {
 // „Geplant" heißt danach genau das, was es heißen soll — ein Eintritt, der
 // noch bevorsteht und nicht zurückgenommen wurde.
 //
+// ── Warum ein Austritt am Eintrittstag *jeden* Stichtag schlägt ──────
+//
+// Die erste Fassung dieser Regel prüfte nur `exit_date <= asOf`, und das
+// reichte für den Nichtantritt nicht: Migration 20260814100000 setzt bei
+// „No Show" das Austrittsdatum **auf den Eintrittstag**. Liegt der noch in
+// der Zukunft, ist auch der Austritt in der Zukunft — die Regel fiel durch
+// auf „Geplant", und die Liste zeigte jemanden als anstehenden Eintritt, von
+// dem längst feststand, dass er nicht kommt.
+//
+// Die Migration begründet ihr Vorgehen damit, „nie aktiv" folge aus dem
+// Datum von selbst. In SQL stimmt das; hier stand der Satz nur als Absicht
+// und nicht als Klausel. Er steht jetzt da: endet das Verhältnis nicht
+// später, als es beginnt, gab es keinen einzigen Tag Beschäftigung — zu
+// keinem Stichtag, auch zu keinem vor dem Eintritt.
+//
 // lib/employee-status-filter.ts bildet dieselbe Reihenfolge in SQL ab; die
 // beiden müssen Klausel für Klausel zusammenpassen.
 export function deriveStatusAsOf(
   e: { entry_date: string; exit_date: string | null; karenz_start_date: string | null; karenz_return_date: string | null },
   asOf: string
 ): EmploymentStatus {
-  if (e.exit_date && e.exit_date <= asOf) return "Ausgetreten";
+  if (e.exit_date && (e.exit_date <= asOf || e.exit_date <= e.entry_date)) return "Ausgetreten";
   if (e.entry_date > asOf) return "Geplant";
   if (e.karenz_start_date && e.karenz_start_date <= asOf && (!e.karenz_return_date || asOf < e.karenz_return_date)) return "Karenz";
   return "Aktiv";