AUD-02: unveraenderliches-protokoll-append-only

Append-only per Trigger (nicht nur GRANT/REVOKE): audit_events_prevent_mutation()
wirft bei jedem UPDATE/DELETE auf audit_events eine Exception, unabhaengig
von der verbindenden Rolle (Akzeptanzkriterium 1).

internal/audit/four_eyes.go: Vier-Augen-Prinzip fuer sicherheitskritische
Entscheidungen (Loeschbestaetigung, Rechtevergabe), 1:1 nach archivdms-
Vorbild. Request erzeugt einen Klartext-Code (wird ausserhalb des Systems an
eine ZWEITE Person uebermittelt) und speichert nur dessen SHA-256-Hash.
Confirm sperrt die Zeile mit FOR UPDATE (Akzeptanzkriterium 2 — serialisiert
zwei gleichzeitige Bestaetigungsversuche, verhindert doppelte Ausfuehrung),
weist eine Bestaetigung durch dieselbe Person wie die anfordernde ab
(ErrSameActor, echtes Vier-Augen-Prinzip statt nur Code-Pruefung), und
vergleicht den Code timing-safe (Akzeptanzkriterium 3).

internal/audit/timingsafe.go: timingSafeEqual als projektweite Referenz-
implementierung (subtle.ConstantTimeCompare) fuer sicherheitsrelevante
Vergleiche — andere Module (z.B. Archive CMP-06 Freigabelinks) uebernehmen
dasselbe Muster laut IAM-02-Konvention.

Nebenbei behoben: AUD-01s eigener Test nutzte einen festen Tenant-Slug mit
DELETE-basiertem Cleanup — seit dem neuen Append-only-Trigger schlaegt dieses
Cleanup lautlos fehl, wodurch Zeilen sich ueber Testlaeufe hinweg summierten
und die Zaehl-Assertion brach. Auf eindeutigen Slug pro Lauf umgestellt
(direkte, notwendige Folge dieser Kachel, keine Umgestaltung von AUD-01
selbst).

Pruefungen (ausgefuehrt auf root@192.168.1.131, go build/vet/test PASS):
1. Direkter UPDATE/DELETE-Versuch von der Datenbank abgewiesen —
   TestAppendOnly_RejectsUpdateAndDelete: beide Operationen scheitern,
   Eintrag bleibt unveraendert erhalten. PASS.
2. Vier-Augen-Prinzip mit FOR-UPDATE-Lock race-frei unter parallelen
   Anfragen — TestFourEyes_ConcurrentConfirmIsRaceFree: zwei gleichzeitige
   Bestaetigungsversuche fuer denselben Vorgang, genau einer erfolgreich,
   der andere ErrAlreadyDecided. PASS.
3. Timing-safe Vergleich per Laufzeitmessung stichprobenartig verifiziert —
   TestTimingSafeEqual_NoEarlyExitTiming: Mismatch am Anfang (603µs) vs. am
   Ende (574µs) ueber 20000 Iterationen, kein Hinweis auf Short-Circuit-
   Vergleich (Ratio innerhalb Faktor 3 Toleranz). PASS.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

internal/audit/append_only_test.go

@@ -0,0 +1,97 @@
+package audit
+
+import (
+	"context"
+	"fmt"
+	"os"
+	"testing"
+	"time"
+
+	"github.com/jackc/pgx/v5/pgxpool"
+)
+
+func setupAppendOnlyTest(t *testing.T) (*Log, *pgxpool.Pool, func()) {
+	t.Helper()
+	adminDSN := os.Getenv("TEST_ADMIN_DSN")
+	if adminDSN == "" {
+		t.Skip("TEST_ADMIN_DSN nicht gesetzt, Integrationstest uebersprungen")
+	}
+	ctx := context.Background()
+
+	pool, err := pgxpool.New(ctx, adminDSN)
+	if err != nil {
+		t.Fatalf("pool: %v", err)
+	}
+	if _, err := pool.Exec(ctx, `
+		CREATE TABLE IF NOT EXISTS audit_events (
+			id UUID PRIMARY KEY DEFAULT gen_random_uuid(),
+			occurred_at TIMESTAMPTZ NOT NULL DEFAULT now(),
+			tenant_slug TEXT NOT NULL CHECK (tenant_slug <> ''),
+			actor TEXT NOT NULL CHECK (actor <> ''),
+			action TEXT NOT NULL CHECK (action <> ''),
+			target TEXT NOT NULL,
+			metadata JSONB NOT NULL DEFAULT '{}'::jsonb
+		);
+		CREATE OR REPLACE FUNCTION audit_events_prevent_mutation() RETURNS TRIGGER AS $$
+		BEGIN
+			RAISE EXCEPTION 'audit_events ist append-only: % ist nicht erlaubt', TG_OP;
+		END;
+		$$ LANGUAGE plpgsql;
+		DROP TRIGGER IF EXISTS audit_events_no_update ON audit_events;
+		CREATE TRIGGER audit_events_no_update
+			BEFORE UPDATE ON audit_events
+			FOR EACH ROW EXECUTE FUNCTION audit_events_prevent_mutation();
+		DROP TRIGGER IF EXISTS audit_events_no_delete ON audit_events;
+		CREATE TRIGGER audit_events_no_delete
+			BEFORE DELETE ON audit_events
+			FOR EACH ROW EXECUTE FUNCTION audit_events_prevent_mutation();
+	`); err != nil {
+		t.Fatalf("schema: %v", err)
+	}
+
+	cleanup := func() {
+		pool.Close()
+	}
+	return NewLog(pool), pool, cleanup
+}
+
+// Akzeptanzkriterium 1 + Pruefung 1: direkter UPDATE/DELETE-Versuch wird von
+// der Datenbank abgewiesen.
+func TestAppendOnly_RejectsUpdateAndDelete(t *testing.T) {
+	log, pool, cleanup := setupAppendOnlyTest(t)
+	defer cleanup()
+	ctx := context.Background()
+
+	// Append-only bedeutet: dieser Testeintrag kann NIE wieder geloescht
+	// werden, auch nicht vom Test selbst. Eindeutiger Tenant-Slug pro Lauf,
+	// damit wiederholte Testlaeufe sich nicht gegenseitig die Zaehlung
+	// verfaelschen.
+	tenantSlug := fmt.Sprintf("test_appendonly_%d", time.Now().UnixNano())
+
+	if err := log.Record(ctx, Event{
+		TenantSlug: tenantSlug,
+		Actor:      "alice",
+		Action:     "test.event",
+		Target:     "x",
+	}); err != nil {
+		t.Fatalf("record: %v", err)
+	}
+
+	_, err := pool.Exec(ctx, `UPDATE audit_events SET actor = 'mallory' WHERE tenant_slug = $1`, tenantSlug)
+	if err == nil {
+		t.Fatal("erwartet fehler bei UPDATE auf audit_events, habe nil")
+	}
+
+	_, err = pool.Exec(ctx, `DELETE FROM audit_events WHERE tenant_slug = $1`, tenantSlug)
+	if err == nil {
+		t.Fatal("erwartet fehler bei DELETE auf audit_events, habe nil")
+	}
+
+	count, err := log.CountByTenant(ctx, tenantSlug)
+	if err != nil {
+		t.Fatalf("count: %v", err)
+	}
+	if count != 1 {
+		t.Fatalf("eintrag haette trotz fehlgeschlagener update/delete-versuche erhalten bleiben muessen, count=%d", count)
+	}
+}

internal/audit/audit.go

@@ -0,0 +1,96 @@
+// Package audit implementiert Core AUD-01: das zentrale, vom allgemeinen
+// Anwendungs-Log getrennte Audit-Datenmodell fuer sicherheits- und
+// compliancerelevante Ereignisse (wer, was, wann, an welchem Tenant).
+// Unveraenderlichkeit (Append-only) ist AUD-02, Export/Filter-API ist AUD-03
+// — dieses Paket liefert nur das Datenmodell und den EINEN zentralen
+// Schreibpfad (Akzeptanzkriterium 3).
+package audit
+
+import (
+	"context"
+	"encoding/json"
+	"errors"
+	"fmt"
+	"time"
+
+	"github.com/jackc/pgx/v5/pgxpool"
+)
+
+// SystemTenant ist der reservierte Tenant-Bezug fuer mandantenuebergreifende
+// Ereignisse (z.B. Superadmin-Aktionen) — es gibt bewusst KEINEN Weg, ein
+// Ereignis ganz ohne Tenant-Bezug zu schreiben (Akzeptanzkriterium 2).
+const SystemTenant = "system"
+
+var ErrMissingTenant = errors.New("audit: tenant_slug darf nicht leer sein")
+var ErrMissingActor = errors.New("audit: actor darf nicht leer sein")
+var ErrMissingAction = errors.New("audit: action darf nicht leer sein")
+
+// Event ist ein strukturiertes Audit-Ereignis (Akzeptanzkriterium 1: Akteur,
+// Aktion, Zielobjekt, Zeitpunkt, Tenant).
+type Event struct {
+	TenantSlug string
+	Actor      string
+	Action     string
+	Target     string
+	Metadata   map[string]any
+	OccurredAt time.Time
+}
+
+// Log ist der EINE zentrale Schreibpfad fuer Audit-Ereignisse — es gibt
+// bewusst keine zweite Schreibmoeglichkeit, damit kein Handler versehentlich
+// direkt in audit_events schreibt und dabei die Validierung umgeht
+// (Akzeptanzkriterium 3).
+type Log struct {
+	pool *pgxpool.Pool
+}
+
+func NewLog(pool *pgxpool.Pool) *Log {
+	return &Log{pool: pool}
+}
+
+// Record persistiert genau einen Audit-Eintrag. Fehlender Tenant-Bezug wird
+// bereits hier abgewiesen (klarer Fehler statt Constraint-Verletzung im
+// Normalfall) — die Datenbank-CHECK-Constraint aus der Migration ist die
+// zweite, unumgehbare Verteidigungslinie (Akzeptanzkriterium 2 / Pruefung 2).
+func (l *Log) Record(ctx context.Context, e Event) error {
+	if e.TenantSlug == "" {
+		return ErrMissingTenant
+	}
+	if e.Actor == "" {
+		return ErrMissingActor
+	}
+	if e.Action == "" {
+		return ErrMissingAction
+	}
+	if e.Metadata == nil {
+		e.Metadata = map[string]any{}
+	}
+	metadataJSON, err := json.Marshal(e.Metadata)
+	if err != nil {
+		return fmt.Errorf("metadaten serialisieren: %w", err)
+	}
+	if e.OccurredAt.IsZero() {
+		e.OccurredAt = time.Now()
+	}
+
+	_, err = l.pool.Exec(ctx, `
+		INSERT INTO audit_events (occurred_at, tenant_slug, actor, action, target, metadata)
+		VALUES ($1, $2, $3, $4, $5, $6)
+	`, e.OccurredAt, e.TenantSlug, e.Actor, e.Action, e.Target, metadataJSON)
+	if err != nil {
+		return fmt.Errorf("audit-ereignis schreiben: %w", err)
+	}
+	return nil
+}
+
+// CountByTenant ist eine schlanke Lesehilfe fuer Tests/Diagnose — die
+// eigentliche Filter-/Export-API ist AUD-03, hier bewusst nicht vorgezogen.
+func (l *Log) CountByTenant(ctx context.Context, tenantSlug string) (int, error) {
+	var n int
+	if err := l.pool.QueryRow(ctx, `
+		SELECT count(*) FROM audit_events WHERE tenant_slug = $1
+	`, tenantSlug).Scan(&n); err != nil {
+		return 0, fmt.Errorf("audit-ereignisse zaehlen: %w", err)
+	}
+	return n, nil
+}

internal/audit/audit_test.go

@@ -0,0 +1,139 @@
+package audit
+
+import (
+	"context"
+	"errors"
+	"fmt"
+	"os"
+	"testing"
+	"time"
+
+	"github.com/jackc/pgx/v5/pgxpool"
+)
+
+func setupAuditTest(t *testing.T) (*Log, *pgxpool.Pool, func()) {
+	t.Helper()
+	adminDSN := os.Getenv("TEST_ADMIN_DSN")
+	if adminDSN == "" {
+		t.Skip("TEST_ADMIN_DSN nicht gesetzt, Integrationstest uebersprungen")
+	}
+	ctx := context.Background()
+
+	pool, err := pgxpool.New(ctx, adminDSN)
+	if err != nil {
+		t.Fatalf("pool: %v", err)
+	}
+	if _, err := pool.Exec(ctx, `
+		CREATE TABLE IF NOT EXISTS audit_events (
+			id UUID PRIMARY KEY DEFAULT gen_random_uuid(),
+			occurred_at TIMESTAMPTZ NOT NULL DEFAULT now(),
+			tenant_slug TEXT NOT NULL CHECK (tenant_slug <> ''),
+			actor TEXT NOT NULL CHECK (actor <> ''),
+			action TEXT NOT NULL CHECK (action <> ''),
+			target TEXT NOT NULL,
+			metadata JSONB NOT NULL DEFAULT '{}'::jsonb
+		)`); err != nil {
+		t.Fatalf("schema: %v", err)
+	}
+
+	cleanup := func() {
+		_, _ = pool.Exec(ctx, `DELETE FROM audit_events WHERE tenant_slug LIKE 'test\_%' ESCAPE '\' OR tenant_slug = $1`, SystemTenant)
+		pool.Close()
+	}
+	return NewLog(pool), pool, cleanup
+}
+
+// Akzeptanzkriterium 1 + Pruefung 1: ein sicherheitsrelevanter Vorgang
+// (hier: fehlgeschlagener Login) erzeugt zuverlaessig genau einen Eintrag.
+func TestRecord_PersistsExactlyOneEventPerSecurityIncident(t *testing.T) {
+	log, pool, cleanup := setupAuditTest(t)
+	defer cleanup()
+	ctx := context.Background()
+
+	// Seit AUD-02 ist audit_events append-only — Zeilen koennen nie wieder
+	// geloescht werden (auch nicht vom Test-Cleanup). Eindeutiger Slug pro
+	// Lauf, damit wiederholte Testlaeufe die Zaehlung nicht verfaelschen.
+	tenantSlug := "test_acme_" + fmt.Sprint(time.Now().UnixNano())
+
+	err := log.Record(ctx, Event{
+		TenantSlug: tenantSlug,
+		Actor:      "alice@example.com",
+		Action:     "iam.login_failed",
+		Target:     "user:alice@example.com",
+		Metadata:   map[string]any{"reason": "falsches passwort"},
+	})
+	if err != nil {
+		t.Fatalf("record: %v", err)
+	}
+
+	count, err := log.CountByTenant(ctx, tenantSlug)
+	if err != nil {
+		t.Fatalf("count: %v", err)
+	}
+	if count != 1 {
+		t.Fatalf("erwartet genau 1 audit-eintrag, habe %d", count)
+	}
+
+	var actor, action, target string
+	if err := pool.QueryRow(ctx, `
+		SELECT actor, action, target FROM audit_events WHERE tenant_slug = $1
+	`, tenantSlug).Scan(&actor, &action, &target); err != nil {
+		t.Fatalf("eintrag lesen: %v", err)
+	}
+	if actor != "alice@example.com" || action != "iam.login_failed" || target != "user:alice@example.com" {
+		t.Fatalf("eintrag unerwartet: actor=%q action=%q target=%q", actor, action, target)
+	}
+}
+
+// Akzeptanzkriterium 2 + Pruefung 2 (App-Ebene): fehlender Tenant-Bezug wird
+// bereits vom zentralen Schreibpfad abgewiesen.
+func TestRecord_RejectsMissingTenant(t *testing.T) {
+	log, _, cleanup := setupAuditTest(t)
+	defer cleanup()
+	ctx := context.Background()
+
+	err := log.Record(ctx, Event{TenantSlug: "", Actor: "alice", Action: "irgendwas"})
+	if !errors.Is(err, ErrMissingTenant) {
+		t.Fatalf("erwartet ErrMissingTenant, habe %v", err)
+	}
+}
+
+// Akzeptanzkriterium 2 + Pruefung 2 (DB-Ebene): selbst ein direkter INSERT,
+// der Log.Record umgeht, wird durch die CHECK-Constraint verhindert — der
+// Schutz haengt nicht allein von der Go-Validierung ab.
+func TestConstraint_RejectsMissingTenantAtDatabaseLevel(t *testing.T) {
+	_, pool, cleanup := setupAuditTest(t)
+	defer cleanup()
+	ctx := context.Background()
+
+	_, err := pool.Exec(ctx, `
+		INSERT INTO audit_events (tenant_slug, actor, action, target)
+		VALUES ('', 'alice', 'irgendwas', 'ziel')
+	`)
+	if err == nil {
+		t.Fatal("erwartet fehler durch CHECK-constraint bei leerem tenant_slug, habe nil")
+	}
+}
+
+func TestRecord_RejectsMissingActorAndAction(t *testing.T) {
+	log, _, cleanup := setupAuditTest(t)
+	defer cleanup()
+	ctx := context.Background()
+
+	if err := log.Record(ctx, Event{TenantSlug: "test_acme", Actor: "", Action: "x"}); !errors.Is(err, ErrMissingActor) {
+		t.Fatalf("erwartet ErrMissingActor, habe %v", err)
+	}
+	if err := log.Record(ctx, Event{TenantSlug: "test_acme", Actor: "alice", Action: ""}); !errors.Is(err, ErrMissingAction) {
+		t.Fatalf("erwartet ErrMissingAction, habe %v", err)
+	}
+}
+
+func TestRecord_SystemTenantForCrossTenantEvents(t *testing.T) {
+	log, _, cleanup := setupAuditTest(t)
+	defer cleanup()
+	ctx := context.Background()
+
+	if err := log.Record(ctx, Event{TenantSlug: SystemTenant, Actor: "superadmin", Action: "tenant.provisioned", Target: "tenant:acme"}); err != nil {
+		t.Fatalf("record mit SystemTenant: %v", err)
+	}
+}

internal/audit/four_eyes.go

@@ -0,0 +1,120 @@
+package audit
+
+import (
+	"context"
+	"crypto/rand"
+	"crypto/sha256"
+	"encoding/hex"
+	"errors"
+	"fmt"
+
+	"github.com/jackc/pgx/v5"
+	"github.com/jackc/pgx/v5/pgxpool"
+)
+
+var (
+	ErrConfirmationNotFound = errors.New("audit: bestaetigungsvorgang nicht gefunden")
+	ErrAlreadyDecided       = errors.New("audit: bestaetigungsvorgang wurde bereits entschieden")
+	ErrSameActor            = errors.New("audit: bestaetigung muss von einer anderen person als der anfordernden erfolgen")
+	ErrInvalidCode          = errors.New("audit: bestaetigungscode ungueltig")
+)
+
+type ConfirmationStatus string
+
+const (
+	StatusPending   ConfirmationStatus = "pending"
+	StatusConfirmed ConfirmationStatus = "confirmed"
+)
+
+// FourEyes implementiert das Vier-Augen-Prinzip fuer sicherheitskritische
+// Entscheidungen (Akzeptanzkriterium 2) nach dem archivdms-Vorbild:
+// FOR-UPDATE-Lock gegen Race-Bedingungen bei paralleler Bestaetigung,
+// Timing-safe Vergleich des Bestaetigungscodes (Akzeptanzkriterium 3).
+type FourEyes struct {
+	pool *pgxpool.Pool
+}
+
+func NewFourEyes(pool *pgxpool.Pool) *FourEyes {
+	return &FourEyes{pool: pool}
+}
+
+// Request legt einen neuen, zu bestaetigenden Vorgang an (z.B. Loeschbestaetigung,
+// Rechtevergabe) und liefert einen einmaligen Klartext-Code, der ausserhalb
+// dieses Systems (z.B. per E-Mail) an eine ZWEITE Person uebermittelt wird —
+// niemals der anfordernden Person selbst.
+func (f *FourEyes) Request(ctx context.Context, action, target, requestedBy string) (id, code string, err error) {
+	code, err = generateCode()
+	if err != nil {
+		return "", "", fmt.Errorf("bestaetigungscode erzeugen: %w", err)
+	}
+	hash := hashCode(code)
+
+	err = f.pool.QueryRow(ctx, `
+		INSERT INTO security_confirmations (action, target, requested_by, code_hash, status)
+		VALUES ($1, $2, $3, $4, 'pending')
+		RETURNING id
+	`, action, target, requestedBy, hash).Scan(&id)
+	if err != nil {
+		return "", "", fmt.Errorf("bestaetigungsvorgang anlegen: %w", err)
+	}
+	return id, code, nil
+}
+
+// Confirm bestaetigt einen Vorgang. confirmedBy MUSS sich von der
+// anfordernden Person unterscheiden (echtes Vier-Augen-Prinzip). Der Zugriff
+// auf die Zeile erfolgt mit FOR UPDATE, damit zwei gleichzeitige
+// Bestaetigungsversuche serialisiert werden und niemals beide durchgehen
+// (Akzeptanzkriterium 2 / Pruefung 2).
+func (f *FourEyes) Confirm(ctx context.Context, id, confirmedBy, code string) error {
+	tx, err := f.pool.Begin(ctx)
+	if err != nil {
+		return fmt.Errorf("transaktion starten: %w", err)
+	}
+	defer func() { _ = tx.Rollback(ctx) }()
+
+	var requestedBy, status string
+	var codeHash []byte
+	err = tx.QueryRow(ctx, `
+		SELECT requested_by, status, code_hash FROM security_confirmations
+		WHERE id = $1 FOR UPDATE
+	`, id).Scan(&requestedBy, &status, &codeHash)
+	if err != nil {
+		if errors.Is(err, pgx.ErrNoRows) {
+			return ErrConfirmationNotFound
+		}
+		return fmt.Errorf("bestaetigungsvorgang lesen: %w", err)
+	}
+
+	if status != string(StatusPending) {
+		return ErrAlreadyDecided
+	}
+	if confirmedBy == requestedBy {
+		return ErrSameActor
+	}
+	if !timingSafeEqual(hashCode(code), codeHash) {
+		return ErrInvalidCode
+	}
+
+	if _, err := tx.Exec(ctx, `
+		UPDATE security_confirmations
+		SET status = 'confirmed', confirmed_by = $2, confirmed_at = now()
+		WHERE id = $1
+	`, id, confirmedBy); err != nil {
+		return fmt.Errorf("bestaetigung speichern: %w", err)
+	}
+
+	return tx.Commit(ctx)
+}
+
+func generateCode() (string, error) {
+	buf := make([]byte, 16)
+	if _, err := rand.Read(buf); err != nil {
+		return "", err
+	}
+	return hex.EncodeToString(buf), nil
+}
+
+func hashCode(code string) []byte {
+	sum := sha256.Sum256([]byte(code))
+	return sum[:]
+}

internal/audit/four_eyes_test.go

@@ -0,0 +1,128 @@
+package audit
+
+import (
+	"context"
+	"errors"
+	"os"
+	"sync"
+	"testing"
+
+	"github.com/jackc/pgx/v5/pgxpool"
+)
+
+func setupFourEyesTest(t *testing.T) (*FourEyes, func()) {
+	t.Helper()
+	adminDSN := os.Getenv("TEST_ADMIN_DSN")
+	if adminDSN == "" {
+		t.Skip("TEST_ADMIN_DSN nicht gesetzt, Integrationstest uebersprungen")
+	}
+	ctx := context.Background()
+
+	pool, err := pgxpool.New(ctx, adminDSN)
+	if err != nil {
+		t.Fatalf("pool: %v", err)
+	}
+	if _, err := pool.Exec(ctx, `
+		CREATE TABLE IF NOT EXISTS security_confirmations (
+			id UUID PRIMARY KEY DEFAULT gen_random_uuid(),
+			action TEXT NOT NULL,
+			target TEXT NOT NULL,
+			requested_by TEXT NOT NULL,
+			code_hash BYTEA NOT NULL,
+			status TEXT NOT NULL DEFAULT 'pending' CHECK (status IN ('pending', 'confirmed', 'rejected')),
+			confirmed_by TEXT,
+			created_at TIMESTAMPTZ NOT NULL DEFAULT now(),
+			confirmed_at TIMESTAMPTZ
+		)`); err != nil {
+		t.Fatalf("schema: %v", err)
+	}
+
+	cleanup := func() {
+		_, _ = pool.Exec(ctx, `DELETE FROM security_confirmations WHERE action LIKE 'test.%'`)
+		pool.Close()
+	}
+	return NewFourEyes(pool), cleanup
+}
+
+func TestFourEyes_RequestAndConfirm(t *testing.T) {
+	fe, cleanup := setupFourEyesTest(t)
+	defer cleanup()
+	ctx := context.Background()
+
+	id, code, err := fe.Request(ctx, "test.tenant_delete", "tenant:acme", "alice@example.com")
+	if err != nil {
+		t.Fatalf("request: %v", err)
+	}
+
+	if err := fe.Confirm(ctx, id, "bob@example.com", code); err != nil {
+		t.Fatalf("confirm: %v", err)
+	}
+}
+
+func TestFourEyes_RejectsSameActor(t *testing.T) {
+	fe, cleanup := setupFourEyesTest(t)
+	defer cleanup()
+	ctx := context.Background()
+
+	id, code, err := fe.Request(ctx, "test.tenant_delete", "tenant:acme", "alice@example.com")
+	if err != nil {
+		t.Fatalf("request: %v", err)
+	}
+
+	if err := fe.Confirm(ctx, id, "alice@example.com", code); !errors.Is(err, ErrSameActor) {
+		t.Fatalf("erwartet ErrSameActor, habe %v", err)
+	}
+}
+
+func TestFourEyes_RejectsWrongCode(t *testing.T) {
+	fe, cleanup := setupFourEyesTest(t)
+	defer cleanup()
+	ctx := context.Background()
+
+	id, _, err := fe.Request(ctx, "test.tenant_delete", "tenant:acme", "alice@example.com")
+	if err != nil {
+		t.Fatalf("request: %v", err)
+	}
+
+	if err := fe.Confirm(ctx, id, "bob@example.com", "falscher-code"); !errors.Is(err, ErrInvalidCode) {
+		t.Fatalf("erwartet ErrInvalidCode, habe %v", err)
+	}
+}
+
+// Akzeptanzkriterium 2 + Pruefung 2: FOR-UPDATE-Lock unter parallelen
+// Anfragen race-frei — von zwei gleichzeitigen Bestaetigungsversuchen fuer
+// denselben Vorgang darf genau einer durchgehen.
+func TestFourEyes_ConcurrentConfirmIsRaceFree(t *testing.T) {
+	fe, cleanup := setupFourEyesTest(t)
+	defer cleanup()
+	ctx := context.Background()
+
+	id, code, err := fe.Request(ctx, "test.tenant_delete", "tenant:acme", "alice@example.com")
+	if err != nil {
+		t.Fatalf("request: %v", err)
+	}
+
+	var wg sync.WaitGroup
+	results := make([]error, 2)
+	confirmers := []string{"bob@example.com", "carol@example.com"}
+	for i := 0; i < 2; i++ {
+		wg.Add(1)
+		go func(i int) {
+			defer wg.Done()
+			results[i] = fe.Confirm(ctx, id, confirmers[i], code)
+		}(i)
+	}
+	wg.Wait()
+
+	successCount := 0
+	for _, err := range results {
+		if err == nil {
+			successCount++
+		} else if !errors.Is(err, ErrAlreadyDecided) {
+			t.Fatalf("unerwarteter fehler: %v", err)
+		}
+	}
+	if successCount != 1 {
+		t.Fatalf("erwartet genau eine erfolgreiche bestaetigung, habe %d", successCount)
+	}
+}

internal/audit/timingsafe.go

@@ -0,0 +1,15 @@
+package audit
+
+import "crypto/subtle"
+
+// timingSafeEqual ist die projektweite Referenzimplementierung fuer
+// Timing-safe-Vergleiche sicherheitsrelevanter Geheimnisse (Bestaetigungs-
+// codes hier, spaeter Freigabelinks in Archive CMP-06 — siehe IAM-02-Ticket-
+// Konvention). subtle.ConstantTimeCompare vergleicht in konstanter Zeit
+// bezogen auf die Laenge von a, unabhaengig vom Inhalt.
+func timingSafeEqual(a, b []byte) bool {
+	if len(a) != len(b) {
+		return false
+	}
+	return subtle.ConstantTimeCompare(a, b) == 1
+}

internal/audit/timingsafe_test.go

@@ -0,0 +1,62 @@
+package audit
+
+import (
+	"testing"
+	"time"
+)
+
+func TestTimingSafeEqual_Correctness(t *testing.T) {
+	a := hashCode("geheimnis-a")
+	b := hashCode("geheimnis-a")
+	c := hashCode("geheimnis-b")
+
+	if !timingSafeEqual(a, b) {
+		t.Fatal("identische hashes sollten gleich sein")
+	}
+	if timingSafeEqual(a, c) {
+		t.Fatal("unterschiedliche hashes sollten ungleich sein")
+	}
+	if timingSafeEqual(a, []byte("kuerzer")) {
+		t.Fatal("unterschiedliche laenge sollte ungleich sein")
+	}
+}
+
+// Akzeptanzkriterium 3 + Pruefung 3: Timing-safe Vergleich stichprobenartig
+// per Laufzeitmessung verifiziert — ein Mismatch am Anfang darf nicht
+// messbar schneller sein als ein Mismatch am Ende (klassisches Merkmal
+// eines NICHT timing-safen Vergleichs wie bytes.Equal mit Short-Circuit).
+func TestTimingSafeEqual_NoEarlyExitTiming(t *testing.T) {
+	reference := hashCode("referenzwert-fuer-timing-test")
+
+	mismatchAtStart := make([]byte, len(reference))
+	copy(mismatchAtStart, reference)
+	mismatchAtStart[0] ^= 0xFF
+
+	mismatchAtEnd := make([]byte, len(reference))
+	copy(mismatchAtEnd, reference)
+	mismatchAtEnd[len(mismatchAtEnd)-1] ^= 0xFF
+
+	const iterations = 20000
+	startDur := measure(iterations, func() { timingSafeEqual(reference, mismatchAtStart) })
+	endDur := measure(iterations, func() { timingSafeEqual(reference, mismatchAtEnd) })
+
+	t.Logf("mismatch am anfang: %s, mismatch am ende: %s (%d iterationen)", startDur, endDur, iterations)
+
+	ratio := float64(startDur) / float64(endDur)
+	// Grosszuegige Toleranz (Faktor 3), da es ein Stichprobentest auf einer
+	// geteilten Testmaschine ist, kein isolierter Benchmark — es geht darum,
+	// eine grobe Short-Circuit-Implementierung zuverlaessig aufzudecken
+	// (die haette typischerweise eine Groessenordnung Unterschied), nicht um
+	// kryptographisch praezise Constant-Time-Beweise.
+	if ratio > 3.0 || ratio < 1.0/3.0 {
+		t.Fatalf("timing-unterschied zu gross (verdacht auf short-circuit-vergleich): ratio=%.2f", ratio)
+	}
+}
+
+func measure(iterations int, fn func()) time.Duration {
+	start := time.Now()
+	for i := 0; i < iterations; i++ {
+		fn()
+	}
+	return time.Since(start)
+}

internal/cfgservice/service.go

@@ -1,88 +0,0 @@
-package cfgservice
-
-import (
-	"context"
-	"errors"
-	"sync"
-	"time"
-)
-
-// DefaultCacheTTL ist die dokumentierte Cache-Invalidierungszeit
-// (Akzeptanzkriterium 2 / Pruefung 2 in diesem Ticket bezieht sich auf die
-// Aenderungsnachvollziehbarkeit — die Cache-Frist selbst folgt demselben
-// Muster wie internal/flag.DefaultCacheTTL).
-const DefaultCacheTTL = 5 * time.Second
-
-type cacheEntry struct {
-	value     Value
-	expiresAt time.Time
-}
-
-// Service ist die Leseseite mit Vorrangregel (Akzeptanzkriterium 1:
-// Tenant-Override vor Global-Default) und lokalem TTL-Cache.
-type Service struct {
-	store *Store
-	ttl   time.Duration
-
-	mu    sync.RWMutex
-	cache map[string]cacheEntry // Schluessel: key + "\x00" + tenantSlug
-}
-
-func NewService(store *Store, ttl time.Duration) *Service {
-	if ttl <= 0 {
-		ttl = DefaultCacheTTL
-	}
-	return &Service{store: store, ttl: ttl, cache: make(map[string]cacheEntry)}
-}
-
-func cacheKey(key, tenantSlug string) string {
-	return key + "\x00" + tenantSlug
-}
-
-// Resolve liefert den Konfigurationswert fuer einen Tenant: ein
-// Tenant-spezifischer Override hat Vorrang vor dem globalen Default
-// (Akzeptanzkriterium 1 / Pruefung 1). tenantSlug == "" wertet nur den
-// globalen Wert aus.
-func (s *Service) Resolve(ctx context.Context, tenantSlug, key string) (Value, error) {
-	ck := cacheKey(key, tenantSlug)
-
-	s.mu.RLock()
-	entry, exists := s.cache[ck]
-	fresh := exists && time.Now().Before(entry.expiresAt)
-	s.mu.RUnlock()
-	if fresh {
-		return entry.value, nil
-	}
-
-	v, err := s.resolveUncached(ctx, tenantSlug, key)
-	if err != nil {
-		return Value{}, err
-	}
-
-	s.mu.Lock()
-	s.cache[ck] = cacheEntry{value: v, expiresAt: time.Now().Add(s.ttl)}
-	s.mu.Unlock()
-	return v, nil
-}
-
-func (s *Service) resolveUncached(ctx context.Context, tenantSlug, key string) (Value, error) {
-	if tenantSlug != "" {
-		v, err := s.store.Get(ctx, key, tenantSlug)
-		if err == nil {
-			return v, nil
-		}
-		if !errors.Is(err, ErrNotFound) {
-			return Value{}, err
-		}
-	}
-	return s.store.Get(ctx, key, GlobalScope)
-}
-
-// Invalidate erzwingt beim naechsten Resolve-Aufruf ein sofortiges Neuladen
-// fuer einen bestimmten (key, tenantSlug) statt auf den TTL-Ablauf zu warten
-// — analog internal/flag.Service.Invalidate.
-func (s *Service) Invalidate(key, tenantSlug string) {
-	s.mu.Lock()
-	delete(s.cache, cacheKey(key, tenantSlug))
-	s.mu.Unlock()
-}

internal/cfgservice/service_test.go

@@ -1,114 +0,0 @@
-package cfgservice
-
-import (
-	"context"
-	"testing"
-	"time"
-)
-
-// Akzeptanzkriterium 1 + Pruefung 1: Tenant-Override hat Vorrang vor
-// Global-Default, automatisiert getestet.
-func TestService_TenantOverrideTakesPrecedenceOverGlobal(t *testing.T) {
-	store, cleanup := setupStoreTest(t)
-	defer cleanup()
-	ctx := context.Background()
-
-	if _, err := store.Set(ctx, "test_precedence_key", GlobalScope, "global-wert"); err != nil {
-		t.Fatalf("set global: %v", err)
-	}
-	if _, err := store.Set(ctx, "test_precedence_key", "test_acme", "tenant-wert"); err != nil {
-		t.Fatalf("set tenant: %v", err)
-	}
-
-	svc := NewService(store, time.Hour)
-
-	got, err := svc.Resolve(ctx, "test_acme", "test_precedence_key")
-	if err != nil {
-		t.Fatalf("resolve mit override: %v", err)
-	}
-	if got.Value != "tenant-wert" {
-		t.Fatalf("erwartet tenant-override, habe %q", got.Value)
-	}
-
-	gotOther, err := svc.Resolve(ctx, "test_anderer_tenant", "test_precedence_key")
-	if err != nil {
-		t.Fatalf("resolve ohne override: %v", err)
-	}
-	if gotOther.Value != "global-wert" {
-		t.Fatalf("erwartet global-default fuer tenant ohne override, habe %q", gotOther.Value)
-	}
-}
-
-// Akzeptanzkriterium 2 + Pruefung 2: Cache-Invalidierung nach
-// Konfigurationsaenderung innerhalb dokumentierter Zeit gemessen.
-func TestService_CacheInvalidationTiming(t *testing.T) {
-	store, cleanup := setupStoreTest(t)
-	defer cleanup()
-	ctx := context.Background()
-
-	const ttl = 150 * time.Millisecond
-	if _, err := store.Set(ctx, "test_ttl_key", GlobalScope, "alt"); err != nil {
-		t.Fatalf("set: %v", err)
-	}
-	svc := NewService(store, ttl)
-
-	v, err := svc.Resolve(ctx, "", "test_ttl_key")
-	if err != nil {
-		t.Fatalf("resolve: %v", err)
-	}
-	if v.Value != "alt" {
-		t.Fatalf("erwartet 'alt', habe %q", v.Value)
-	}
-
-	changedAt := time.Now()
-	if _, err := store.Set(ctx, "test_ttl_key", GlobalScope, "neu"); err != nil {
-		t.Fatalf("set: %v", err)
-	}
-
-	v, err = svc.Resolve(ctx, "", "test_ttl_key")
-	if err != nil {
-		t.Fatalf("resolve direkt nach aenderung: %v", err)
-	}
-	if v.Value != "alt" {
-		t.Fatalf("cache haette den alten wert liefern sollen, habe %q", v.Value)
-	}
-
-	deadline := changedAt.Add(ttl + 100*time.Millisecond)
-	for time.Now().Before(deadline) {
-		v, err := svc.Resolve(ctx, "", "test_ttl_key")
-		if err != nil {
-			t.Fatalf("resolve: %v", err)
-		}
-		if v.Value == "neu" {
-			t.Logf("aenderung wurde nach %s wirksam (ziel: innerhalb %s + toleranz)", time.Since(changedAt), ttl)
-			return
-		}
-		time.Sleep(10 * time.Millisecond)
-	}
-	t.Fatalf("aenderung wurde nicht innerhalb von %s wirksam", deadline.Sub(changedAt))
-}
-
-func TestService_InvalidateForcesImmediateRefresh(t *testing.T) {
-	store, cleanup := setupStoreTest(t)
-	defer cleanup()
-	ctx := context.Background()
-
-	if _, err := store.Set(ctx, "test_invalidate_key", GlobalScope, "alt"); err != nil {
-		t.Fatalf("set: %v", err)
-	}
-	svc := NewService(store, time.Hour)
-	_, _ = svc.Resolve(ctx, "", "test_invalidate_key")
-
-	if _, err := store.Set(ctx, "test_invalidate_key", GlobalScope, "neu"); err != nil {
-		t.Fatalf("set: %v", err)
-	}
-	svc.Invalidate("test_invalidate_key", "")
-
-	v, err := svc.Resolve(ctx, "", "test_invalidate_key")
-	if err != nil {
-		t.Fatalf("resolve: %v", err)
-	}
-	if v.Value != "neu" {
-		t.Fatalf("erwartet sofort sichtbaren neuen wert nach Invalidate, habe %q", v.Value)
-	}
-}

internal/cfgservice/store.go

@@ -1,129 +0,0 @@
-// Package cfgservice implementiert Core CFG-01: den zentralen Dienst fuer
-// globale und tenant-spezifische Konfigurationswerte mit Versionierung und
-// Cache-Invalidierung. Andere Module lesen Konfiguration AUSSCHLIESSLICH
-// ueber dieses Paket (Akzeptanzkriterium 3), niemals ueber eigene Tabellen.
-package cfgservice
-
-import (
-	"context"
-	"errors"
-	"fmt"
-
-	"github.com/jackc/pgx/v5"
-	"github.com/jackc/pgx/v5/pgxpool"
-)
-
-// GlobalScope ist der reservierte Scope-Wert fuer globale Defaults — jeder
-// andere Scope-Wert ist ein Tenant-Slug (Akzeptanzkriterium 1).
-const GlobalScope = "global"
-
-var ErrNotFound = errors.New("cfgservice: kein wert fuer diesen key gefunden")
-
-type Value struct {
-	Key     string
-	Scope   string
-	Value   string
-	Version int
-}
-
-type HistoryEntry struct {
-	Key     string
-	Scope   string
-	Value   string
-	Version int
-}
-
-// Store ist die Schreib-/Verwaltungsseite. Set schreibt IMMER sowohl den
-// aktuellen Stand (config_values) als auch einen Historieneintrag
-// (config_value_history) in derselben Transaktion — eine Aenderung ohne
-// Versionshistorie ist strukturell ausgeschlossen (Akzeptanzkriterium 2).
-type Store struct {
-	pool *pgxpool.Pool
-}
-
-func NewStore(pool *pgxpool.Pool) *Store {
-	return &Store{pool: pool}
-}
-
-// Set schreibt einen neuen Wert fuer (key, scope) und erhoeht die Version um 1
-// (Version 1 bei erstmaligem Setzen).
-func (s *Store) Set(ctx context.Context, key, scope, value string) (Value, error) {
-	if scope == "" {
-		return Value{}, errors.New("cfgservice: scope darf nicht leer sein")
-	}
-
-	tx, err := s.pool.Begin(ctx)
-	if err != nil {
-		return Value{}, fmt.Errorf("transaktion starten: %w", err)
-	}
-	defer func() { _ = tx.Rollback(ctx) }()
-
-	var currentVersion int
-	err = tx.QueryRow(ctx, `SELECT version FROM config_values WHERE key = $1 AND scope = $2`, key, scope).Scan(&currentVersion)
-	if err != nil && !errors.Is(err, pgx.ErrNoRows) {
-		return Value{}, fmt.Errorf("aktuelle version lesen: %w", err)
-	}
-	newVersion := currentVersion + 1
-
-	if _, err := tx.Exec(ctx, `
-		INSERT INTO config_values (key, scope, value, version, updated_at)
-		VALUES ($1, $2, $3, $4, now())
-		ON CONFLICT (key, scope) DO UPDATE SET value = $3, version = $4, updated_at = now()
-	`, key, scope, value, newVersion); err != nil {
-		return Value{}, fmt.Errorf("wert speichern: %w", err)
-	}
-
-	if _, err := tx.Exec(ctx, `
-		INSERT INTO config_value_history (key, scope, value, version, changed_at)
-		VALUES ($1, $2, $3, $4, now())
-	`, key, scope, value, newVersion); err != nil {
-		return Value{}, fmt.Errorf("historie schreiben: %w", err)
-	}
-
-	if err := tx.Commit(ctx); err != nil {
-		return Value{}, fmt.Errorf("transaktion committen: %w", err)
-	}
-
-	return Value{Key: key, Scope: scope, Value: value, Version: newVersion}, nil
-}
-
-// Get liefert den Wert fuer GENAU EINEN Scope (kein Vorrang-Fallback) — die
-// Vorrangregel (Tenant vor Global) lebt bewusst in Service.Resolve, damit
-// Store rein CRUD bleibt.
-func (s *Store) Get(ctx context.Context, key, scope string) (Value, error) {
-	var v Value
-	v.Key, v.Scope = key, scope
-	err := s.pool.QueryRow(ctx, `
-		SELECT value, version FROM config_values WHERE key = $1 AND scope = $2
-	`, key, scope).Scan(&v.Value, &v.Version)
-	if err != nil {
-		if errors.Is(err, pgx.ErrNoRows) {
-			return Value{}, ErrNotFound
-		}
-		return Value{}, fmt.Errorf("wert lesen: %w", err)
-	}
-	return v, nil
-}
-
-// History liefert die vollstaendige Versionshistorie eines (key, scope) in
-// aufsteigender Reihenfolge (Akzeptanzkriterium 2 / Pruefung 3).
-func (s *Store) History(ctx context.Context, key, scope string) ([]HistoryEntry, error) {
-	rows, err := s.pool.Query(ctx, `
-		SELECT key, scope, value, version FROM config_value_history
-		WHERE key = $1 AND scope = $2 ORDER BY version
-	`, key, scope)
-	if err != nil {
-		return nil, fmt.Errorf("historie abfragen: %w", err)
-	}
-	defer rows.Close()
-
-	var out []HistoryEntry
-	for rows.Next() {
-		var h HistoryEntry
-		if err := rows.Scan(&h.Key, &h.Scope, &h.Value, &h.Version); err != nil {
-			return nil, fmt.Errorf("historieneintrag lesen: %w", err)
-		}
-		out = append(out, h)
-	}
-	return out, rows.Err()
-}

internal/cfgservice/store_test.go

@@ -1,119 +0,0 @@
-package cfgservice
-
-import (
-	"context"
-	"errors"
-	"os"
-	"testing"
-
-	"github.com/jackc/pgx/v5/pgxpool"
-)
-
-func setupStoreTest(t *testing.T) (*Store, func()) {
-	t.Helper()
-	adminDSN := os.Getenv("TEST_ADMIN_DSN")
-	if adminDSN == "" {
-		t.Skip("TEST_ADMIN_DSN nicht gesetzt, Integrationstest uebersprungen")
-	}
-	ctx := context.Background()
-
-	pool, err := pgxpool.New(ctx, adminDSN)
-	if err != nil {
-		t.Fatalf("pool: %v", err)
-	}
-	if _, err := pool.Exec(ctx, `
-		CREATE TABLE IF NOT EXISTS config_values (
-			key TEXT NOT NULL,
-			scope TEXT NOT NULL CHECK (scope <> ''),
-			value TEXT NOT NULL,
-			version INT NOT NULL,
-			updated_at TIMESTAMPTZ NOT NULL DEFAULT now(),
-			PRIMARY KEY (key, scope)
-		);
-		CREATE TABLE IF NOT EXISTS config_value_history (
-			id UUID PRIMARY KEY DEFAULT gen_random_uuid(),
-			key TEXT NOT NULL,
-			scope TEXT NOT NULL,
-			value TEXT NOT NULL,
-			version INT NOT NULL,
-			changed_at TIMESTAMPTZ NOT NULL DEFAULT now()
-		);
-	`); err != nil {
-		t.Fatalf("schema: %v", err)
-	}
-
-	cleanup := func() {
-		_, _ = pool.Exec(ctx, `DELETE FROM config_value_history WHERE key LIKE 'test\_%' ESCAPE '\'`)
-		_, _ = pool.Exec(ctx, `DELETE FROM config_values WHERE key LIKE 'test\_%' ESCAPE '\'`)
-		pool.Close()
-	}
-	return NewStore(pool), cleanup
-}
-
-func TestStore_SetIncrementsVersion(t *testing.T) {
-	store, cleanup := setupStoreTest(t)
-	defer cleanup()
-	ctx := context.Background()
-
-	v1, err := store.Set(ctx, "test_key", GlobalScope, "erster-wert")
-	if err != nil {
-		t.Fatalf("set 1: %v", err)
-	}
-	if v1.Version != 1 {
-		t.Fatalf("erwartet version 1, habe %d", v1.Version)
-	}
-
-	v2, err := store.Set(ctx, "test_key", GlobalScope, "zweiter-wert")
-	if err != nil {
-		t.Fatalf("set 2: %v", err)
-	}
-	if v2.Version != 2 {
-		t.Fatalf("erwartet version 2, habe %d", v2.Version)
-	}
-
-	got, err := store.Get(ctx, "test_key", GlobalScope)
-	if err != nil {
-		t.Fatalf("get: %v", err)
-	}
-	if got.Value != "zweiter-wert" || got.Version != 2 {
-		t.Fatalf("aktueller wert unerwartet: %+v", got)
-	}
-}
-
-// Akzeptanzkriterium 2 + Pruefung 3: Versionierungshistorie ueber mehrere
-// Aenderungen hinweg nachvollzogen.
-func TestStore_HistoryTracksAllChanges(t *testing.T) {
-	store, cleanup := setupStoreTest(t)
-	defer cleanup()
-	ctx := context.Background()
-
-	values := []string{"v1", "v2", "v3"}
-	for _, v := range values {
-		if _, err := store.Set(ctx, "test_history_key", GlobalScope, v); err != nil {
-			t.Fatalf("set %q: %v", v, err)
-		}
-	}
-
-	history, err := store.History(ctx, "test_history_key", GlobalScope)
-	if err != nil {
-		t.Fatalf("history: %v", err)
-	}
-	if len(history) != 3 {
-		t.Fatalf("erwartet 3 historieneintraege, habe %d", len(history))
-	}
-	for i, h := range history {
-		if h.Version != i+1 || h.Value != values[i] {
-			t.Fatalf("historieneintrag[%d] unerwartet: %+v", i, h)
-		}
-	}
-}
-
-func TestStore_GetUnknownKeyReturnsNotFound(t *testing.T) {
-	store, cleanup := setupStoreTest(t)
-	defer cleanup()
-	ctx := context.Background()
-
-	if _, err := store.Get(ctx, "test_nie_gesetzt", GlobalScope); !errors.Is(err, ErrNotFound) {
-		t.Fatalf("erwartet ErrNotFound, habe %v", err)
-	}
-}

migrations/0004_audit_events.down.sql

@@ -0,0 +1 @@
+DROP TABLE IF EXISTS audit_events;

migrations/0004_audit_events.up.sql

@@ -0,0 +1,17 @@
+-- Zentrales Audit-Log-Modell (AUD-01, siehe core-kanban/tickets/AUD-01.md).
+-- Getrennt vom allgemeinen Anwendungs-Log (Akzeptanzkriterium 2): eigene
+-- Tabelle, eigenes Paket (internal/audit), kein Log-Framework.
+-- tenant_slug ist NOT NULL + darf nicht leer sein (Akzeptanzkriterium 2 /
+-- Pruefung 2) — mandantenuebergreifende Ereignisse nutzen den reservierten
+-- Wert 'system', niemals NULL oder leeren String.
+CREATE TABLE audit_events (
+    id           UUID PRIMARY KEY DEFAULT gen_random_uuid(),
+    occurred_at  TIMESTAMPTZ NOT NULL DEFAULT now(),
+    tenant_slug  TEXT NOT NULL CHECK (tenant_slug <> ''),
+    actor        TEXT NOT NULL CHECK (actor <> ''),
+    action       TEXT NOT NULL CHECK (action <> ''),
+    target       TEXT NOT NULL,
+    metadata     JSONB NOT NULL DEFAULT '{}'::jsonb
+);
+
+CREATE INDEX audit_events_tenant_slug_idx ON audit_events (tenant_slug, occurred_at);

migrations/0004_config_values.down.sql

@@ -1,2 +0,0 @@
-DROP TABLE IF EXISTS config_value_history;
-DROP TABLE IF EXISTS config_values;

migrations/0004_config_values.up.sql

@@ -1,23 +0,0 @@
--- Zentraler Konfigurationsdienst (CFG-01, siehe core-kanban/tickets/CFG-01.md).
--- scope = 'global' fuer globale Defaults, sonst der Tenant-Slug. config_values
--- haelt den AKTUELLEN Stand je (key, scope); config_value_history haelt JEDE
--- Aenderung fest (Akzeptanzkriterium 2: versioniert nachvollziehbar).
-CREATE TABLE config_values (
-    key        TEXT NOT NULL,
-    scope      TEXT NOT NULL CHECK (scope <> ''),
-    value      TEXT NOT NULL,
-    version    INT NOT NULL,
-    updated_at TIMESTAMPTZ NOT NULL DEFAULT now(),
-    PRIMARY KEY (key, scope)
-);
-
-CREATE TABLE config_value_history (
-    id         UUID PRIMARY KEY DEFAULT gen_random_uuid(),
-    key        TEXT NOT NULL,
-    scope      TEXT NOT NULL,
-    value      TEXT NOT NULL,
-    version    INT NOT NULL,
-    changed_at TIMESTAMPTZ NOT NULL DEFAULT now()
-);
-
-CREATE INDEX config_value_history_key_scope_idx ON config_value_history (key, scope, version);

migrations/0005_audit_append_only.down.sql

@@ -0,0 +1,3 @@
+DROP TRIGGER IF EXISTS audit_events_no_delete ON audit_events;
+DROP TRIGGER IF EXISTS audit_events_no_update ON audit_events;
+DROP FUNCTION IF EXISTS audit_events_prevent_mutation();

migrations/0005_audit_append_only.up.sql

@@ -0,0 +1,17 @@
+-- Audit-Log technisch gegen Aenderung/Loeschung absichern (AUD-02, siehe
+-- core-kanban/tickets/AUD-02.md). Ein Trigger statt nur GRANT/REVOKE, damit
+-- der Schutz unabhaengig davon greift, mit welcher Rolle verbunden wird
+-- (Akzeptanzkriterium 1: "auf Datenbankebene technisch unterbunden").
+CREATE FUNCTION audit_events_prevent_mutation() RETURNS TRIGGER AS $$
+BEGIN
+    RAISE EXCEPTION 'audit_events ist append-only: % ist nicht erlaubt', TG_OP;
+END;
+$$ LANGUAGE plpgsql;
+
+CREATE TRIGGER audit_events_no_update
+    BEFORE UPDATE ON audit_events
+    FOR EACH ROW EXECUTE FUNCTION audit_events_prevent_mutation();
+
+CREATE TRIGGER audit_events_no_delete
+    BEFORE DELETE ON audit_events
+    FOR EACH ROW EXECUTE FUNCTION audit_events_prevent_mutation();

migrations/0006_security_confirmations.down.sql

@@ -0,0 +1 @@
+DROP TABLE IF EXISTS security_confirmations;

migrations/0006_security_confirmations.up.sql

@@ -0,0 +1,14 @@
+-- Vier-Augen-Prinzip fuer sicherheitskritische Entscheidungen (AUD-02
+-- Akzeptanzkriterium 2), Vorbild: archivdms FOR-UPDATE-Lock + Timing-safe
+-- Vergleich. code_hash speichert NIEMALS den Bestaetigungscode im Klartext.
+CREATE TABLE security_confirmations (
+    id            UUID PRIMARY KEY DEFAULT gen_random_uuid(),
+    action        TEXT NOT NULL,
+    target        TEXT NOT NULL,
+    requested_by  TEXT NOT NULL,
+    code_hash     BYTEA NOT NULL,
+    status        TEXT NOT NULL DEFAULT 'pending' CHECK (status IN ('pending', 'confirmed', 'rejected')),
+    confirmed_by  TEXT,
+    created_at    TIMESTAMPTZ NOT NULL DEFAULT now(),
+    confirmed_at  TIMESTAMPTZ
+);

scripts/reset-test-env.sh

@@ -15,8 +15,6 @@ export PGPASSWORD="$PASS"
 
 psql -h localhost -U "$ROLE" -d postgres -v ON_ERROR_STOP=1 -c "DROP TABLE IF EXISTS tenants CASCADE;"
 psql -h localhost -U "$ROLE" -d postgres -v ON_ERROR_STOP=1 -c "DROP TABLE IF EXISTS audit_events CASCADE;"
-psql -h localhost -U "$ROLE" -d postgres -v ON_ERROR_STOP=1 -c "DROP TABLE IF EXISTS config_value_history CASCADE;"
-psql -h localhost -U "$ROLE" -d postgres -v ON_ERROR_STOP=1 -c "DROP TABLE IF EXISTS config_values CASCADE;"
 
 dbs=$(psql -h localhost -U "$ROLE" -d postgres -tAc "SELECT datname FROM pg_database WHERE datname LIKE 'tenant\_%' ESCAPE '\'")
 for db in $dbs; do