--
# Körperschaftsteuer — Tarif, Freibetrag und Bemessungsgrundlage

Bildet die Festsetzung der Körperschaftsteuer nach dem
**Körperschaftsteuergesetz (KStG 1977, Stand: zuletzt geändert durch
Art. 30 G v. 4.2.2026 I Nr. 33)** ab — die drei normativen Kerne:

- **§ 7 KStG** — Grundlagen der Besteuerung: die KSt bemisst sich nach
  dem zu versteuernden Einkommen; dieses ist das Einkommen i.S.d.
  § 8 Abs. 1 KStG, vermindert um die Freibeträge der §§ 24 und 25 KStG
  (Abs. 2); die KSt ist eine Jahressteuer (Abs. 3).
- **§ 23 KStG** — Steuersatz: nach Veranlagungszeitraum gestaffelter
  Prozentsatz auf das zu versteuernde Einkommen (Abs. 1); optionale
  Anpassung über § 51 Abs. 3 EStG (Abs. 2).
- **§ 24 KStG** — Freibetrag von 5.000 Euro, höchstens in Höhe des
  Einkommens (Satz 1), mit den drei Ausschlusstatbeständen des Satz 2.

Anschließende **§ 31 Satz 2 KStG**-Rundung: die festgesetzten
KSt-Beträge sind zugunsten des Steuerpflichtigen auf volle Euro zu
runden — Abrundung (zu Gunsten = niedrigere Steuer).

Nicht modelliert (außerhalb des Auftragsumfangs §§ 7/23/24): die
Ermittlung des Einkommens i.S.d. § 8 Abs. 1 KStG selbst und der
Freibetrag nach § 25 KStG — beide gehen als geprüfte Eingaben ein,
damit die § 7 Abs. 2-Formel rechnerisch vollständig bleibt.
--

// ===========================================================================
// Konstanten — § 23 Absatz 1 KStG (gestaffelter Steuersatz) und § 24 KStG
// ===========================================================================

--
Steuersatz für Veranlagungszeiträume **bis 2027**: 15 % des zu
versteuernden Einkommens (§ 23 Abs. 1 Nr. 1 KStG).
--
@Quelle("§ 23 Absatz 1 Nummer 1 KStG")
konst KST_SATZ_BIS_2027: Prozent = 15%

-- Steuersatz für den Veranlagungszeitraum **2028**: 14 % (§ 23 Abs. 1 Nr. 2 KStG). --
@Quelle("§ 23 Absatz 1 Nummer 2 KStG")
konst KST_SATZ_2028: Prozent = 14%

-- Steuersatz für den Veranlagungszeitraum **2029**: 13 % (§ 23 Abs. 1 Nr. 3 KStG). --
@Quelle("§ 23 Absatz 1 Nummer 3 KStG")
konst KST_SATZ_2029: Prozent = 13%

-- Steuersatz für den Veranlagungszeitraum **2030**: 12 % (§ 23 Abs. 1 Nr. 4 KStG). --
@Quelle("§ 23 Absatz 1 Nummer 4 KStG")
konst KST_SATZ_2030: Prozent = 12%

-- Steuersatz für den Veranlagungszeitraum **2031**: 11 % (§ 23 Abs. 1 Nr. 5 KStG). --
@Quelle("§ 23 Absatz 1 Nummer 5 KStG")
konst KST_SATZ_2031: Prozent = 11%

-- Steuersatz für Veranlagungszeiträume **ab 2032**: 10 % (§ 23 Abs. 1 Nr. 6 KStG). --
@Quelle("§ 23 Absatz 1 Nummer 6 KStG")
konst KST_SATZ_AB_2032: Prozent = 10%

--
Freibetrag nach § 24 Satz 1 KStG: 5.000 Euro, höchstens jedoch in Höhe
des Einkommens. Greift nur, wenn kein Ausschlusstatbestand des § 24
Satz 2 KStG vorliegt.
--
@Quelle("§ 24 Satz 1 KStG")
konst FREIBETRAG_24: Euro = 5.000

// ===========================================================================
// Datenstrukturen
// ===========================================================================

--
Ausschlusstatbestände des § 24 Satz 2 KStG. Liegt einer davon vor,
entfällt der Freibetrag nach § 24 Satz 1 KStG vollständig.

@param Keiner               Kein Ausschluss — der Freibetrag von 5.000 €
                            (§ 24 Satz 1 KStG) ist anwendbar.
@param Nr1KapitalLeistungen § 24 Satz 2 Nr. 1 KStG: Körperschaften/
                            Personenvereinigungen, deren Leistungen beim
                            Empfänger zu Einnahmen i.S.d. § 20 Abs. 1
                            Nr. 1 oder 2 EStG gehören (typische
                            Kapitalgesellschaften mit Ausschüttungen).
@param Nr2VereinNach25      § 24 Satz 2 Nr. 2 KStG: Vereine i.S.d.
                            § 25 KStG (land-/forstwirtschaftliche
                            Erwerbs- und Wirtschaftsgenossenschaften
                            sowie Vereine).
@param Nr3Investmentfonds   § 24 Satz 2 Nr. 3 KStG: Investmentfonds
                            (§ 1 InvStG) und Spezial-Investmentfonds
                            (§ 26 InvStG), deren Leistungen beim
                            Empfänger zu Einnahmen i.S.d. § 20 Abs. 1
                            Nr. 3 oder 3a EStG gehören.
--
@Quelle("§ 24 Satz 2 KStG")
aufzählung Freibetragsausschluss {
    Keiner,
    Nr1KapitalLeistungen,
    Nr2VereinNach25,
    Nr3Investmentfonds,
}

--
Eingaben für die Körperschaftsteuer-Festsetzung eines Steuerfalls.

@param einkommenNach8Abs1    Einkommen i.S.d. § 8 Abs. 1 KStG (nach
                             EStG/KStG ermittelt) — Bemessungsbasis VOR
                             Abzug der Freibeträge §§ 24, 25 KStG.
@param veranlagungszeitraum  Kalenderjahr des Veranlagungszeitraums
                             (§ 7 Abs. 3 KStG); bestimmt den Steuersatz
                             nach § 23 Abs. 1 KStG.
@param freibetragsausschluss Ausschlusstatbestand nach § 24 Satz 2 KStG
                             (siehe `Freibetragsausschluss`).
@param freibetragNach25      Freibetrag nach § 25 KStG (extern ermittelt;
                             geht nach § 7 Abs. 2 KStG mindernd ein).
                             0, wenn nicht einschlägig.
@param anpassungNach23Abs2   Anpassungssatz nach § 23 Abs. 2 KStG i.V.m.
                             § 51 Abs. 3 EStG (Herab-/Heraufsetzung). In
                             aller Regel 0 % (keine Änderung).
--
@Quelle("§ 7 KStG")
datensatz KörperschaftsteuerFall(
    einkommenNach8Abs1:    Euro,                            // Einkommen § 8 Abs. 1 KStG (vor Freibeträgen)
    veranlagungszeitraum:  Ganzzahl,                        // Kalenderjahr des VZ (§ 7 Abs. 3 KStG)
    freibetragsausschluss: Freibetragsausschluss,           // § 24 Satz 2 KStG: Ausschlusstatbestand
    freibetragNach25:      Euro     = 0,                    // Freibetrag § 25 KStG (extern; § 7 Abs. 2 KStG)
    anpassungNach23Abs2:   Prozent  = 0%,                   // § 23 Abs. 2 KStG i.V.m. § 51 Abs. 3 EStG
)

--
Vollständige, prüfbare Berechnungsdokumentation eines
Körperschaftsteuerfalls — jede Zwischengröße ist einzeln ausgewiesen,
damit die Festsetzung Schritt für Schritt gegen das Gesetz auditierbar
ist.

@param einkommen                 Einkommen i.S.d. § 8 Abs. 1 KStG
                                 (Eingabe, unverändert übernommen).
@param freibetragNach24          Tatsächlich abgezogener Freibetrag
                                 nach § 24 KStG (0, falls Satz 2 greift).
@param freibetragNach25          Abgezogener Freibetrag nach § 25 KStG
                                 (Eingabe).
@param zuVersteuerndesEinkommen  § 7 Abs. 1, 2 KStG: Bemessungsgrundlage
                                 = Einkommen − § 24 − § 25.
@param steuersatz                § 23 Abs. 1 KStG: für den
                                 Veranlagungszeitraum geltender Satz.
@param körperschaftsteuer        Festgesetzte Körperschaftsteuer nach
                                 § 23 KStG, auf volle Euro abgerundet
                                 (§ 31 Satz 2 KStG), inkl. § 23 Abs. 2.
--
@Quelle("§ 7 KStG")
datensatz KörperschaftsteuerErgebnis(
    einkommen:                Euro,       // Einkommen § 8 Abs. 1 KStG (Eingabe)
    freibetragNach24:         Euro,       // abgezogener Freibetrag § 24 KStG
    freibetragNach25:         Euro,       // abgezogener Freibetrag § 25 KStG (Eingabe)
    zuVersteuerndesEinkommen: Euro,       // § 7 Abs. 1, 2 KStG: Bemessungsgrundlage
    steuersatz:               Prozent,    // § 23 Abs. 1 KStG: VZ-abhängiger Satz
    körperschaftsteuer:       Euro,       // festgesetzte KSt (§ 31 Satz 2: abgerundet)
)

// ===========================================================================
// § 23 Absatz 1 KStG — gestaffelter Steuersatz
// ===========================================================================

--
Liefert den Körperschaftsteuersatz für einen Veranlagungszeitraum nach
der Staffel des § 23 Abs. 1 KStG. „bis 2027" (Nr. 1) ist einschließlich
2027; „ab 2032" (Nr. 6) ist einschließlich 2032 (durch `sonst`
abgedeckt, da alle früheren Jahre vorher erfasst sind).

@param veranlagungszeitraum  Kalenderjahr des Veranlagungszeitraums.
@rückgabe  Der nach § 23 Abs. 1 KStG für diesen VZ geltende Satz.
--
@Quelle("§ 23 Absatz 1 KStG")
fn KstSatz(veranlagungszeitraum: Ganzzahl): Prozent = wähle {
    falls veranlagungszeitraum <= 2027 -> KST_SATZ_BIS_2027
    falls veranlagungszeitraum == 2028 -> KST_SATZ_2028
    falls veranlagungszeitraum == 2029 -> KST_SATZ_2029
    falls veranlagungszeitraum == 2030 -> KST_SATZ_2030
    falls veranlagungszeitraum == 2031 -> KST_SATZ_2031
    sonst                              -> KST_SATZ_AB_2032
}

// ===========================================================================
// § 24 KStG — Freibetrag für bestimmte Körperschaften
// ===========================================================================

--
Freibetrag nach § 24 KStG unter Berücksichtigung des Ausschlusses nach
§ 24 Satz 2 KStG: liegt ein Ausschlusstatbestand (Nr. 1–3) vor,
entfällt der Freibetrag vollständig; andernfalls der nach Satz 1 der
Höhe nach begrenzte Betrag.

@param einkommen  Einkommen i.S.d. § 8 Abs. 1 KStG.
@param ausschluss Ausschlusstatbestand nach § 24 Satz 2 KStG.
@rückgabe  Abzuziehender Freibetrag nach § 24 KStG (0 bei Ausschluss).
--
@Quelle("§ 24 KStG")
fn FreibetragNach24(einkommen: Euro, ausschluss: Freibetragsausschluss): Euro =
    wähle (ausschluss) {
        falls Keiner                                                    -> einkommen.mindestens(0).höchstens(FREIBETRAG_24)
        falls Nr1KapitalLeistungen, Nr2VereinNach25, Nr3Investmentfonds -> 0
    }

// ===========================================================================
// § 7 Absatz 2 KStG — zu versteuerndes Einkommen
// ===========================================================================

--
Zu versteuerndes Einkommen nach § 7 Abs. 2 KStG: das Einkommen i.S.d.
§ 8 Abs. 1 KStG, vermindert um die Freibeträge der §§ 24 und 25 KStG.
Kann negativ werden (Verlust); die steuerliche Auswirkung eines
negativen Betrags regelt die Steuerfestsetzung (`körperschaftsteuer`),
nicht diese Größe.

@param einkommen        Einkommen i.S.d. § 8 Abs. 1 KStG.
@param freibetragNach24 Freibetrag nach § 24 KStG.
@param freibetragNach25 Freibetrag nach § 25 KStG.
@rückgabe  Zu versteuerndes Einkommen (§ 7 Abs. 1 KStG: Bemessung).
--
@Quelle("§ 7 Absatz 2 KStG")
fn ZuVersteuerndesEinkommen(
    einkommen: Euro,
    freibetragNach24: Euro,
    freibetragNach25: Euro,
): Euro = einkommen - freibetragNach24 - freibetragNach25

// ===========================================================================
// § 23 KStG — Steuerbetrag (inkl. § 31 Satz 2 Rundung, § 23 Abs. 2)
// ===========================================================================

--
Körperschaftsteuerbetrag nach § 23 Abs. 1 KStG: Steuersatz des
Veranlagungszeitraums multipliziert mit dem zu versteuernden Einkommen,
anschließend nach § 31 Satz 2 KStG **zu Gunsten des Steuerpflichtigen
auf volle Euro abgerundet** (niedrigere Steuer = zu Gunsten). Bei einem
zu versteuernden Einkommen von 0 oder weniger beträgt die Steuer 0
(keine negative Steuer; Verlustabzug regelt § 8 KStG i.V.m.
§ 10d EStG, hier nicht modelliert).

@param zuVersteuerndesEinkommen  § 7 KStG: Bemessungsgrundlage.
@param veranlagungszeitraum      Kalenderjahr (§ 23 Abs. 1 KStG).
@rückgabe  Körperschaftsteuer nach § 23 Abs. 1 KStG, auf volle Euro
           abgerundet (§ 31 Satz 2 KStG).
--
@Quelle("§ 23 Absatz 1 KStG")
fn KörperschaftsteuerBetrag(
    zuVersteuerndesEinkommen: Euro,
    veranlagungszeitraum: Ganzzahl,
): Euro = wähle {
    falls zuVersteuerndesEinkommen <= 0 -> 0
    sonst -> (zuVersteuerndesEinkommen * KstSatz(veranlagungszeitraum)).abrunden()
}

--
Anpassung der Körperschaftsteuer nach § 23 Abs. 2 KStG: wird die
Einkommensteuer aufgrund der Ermächtigung des § 51 Abs. 3 EStG herab-
oder heraufgesetzt, ermäßigt oder erhöht sich die Körperschaftsteuer
entsprechend (proportional). Der Anpassungsbetrag wird nach der
Wertung des § 31 Satz 2 KStG auf volle Euro abgerundet. In aller Regel
ist der Anpassungssatz 0 % (keine Verordnung in Kraft → unverändert).

@param körperschaftsteuer  Steuer nach § 23 Abs. 1 KStG (abgerundet).
@param anpassung           Anpassungssatz nach § 51 Abs. 3 EStG.
@rückgabe  Angepasste Körperschaftsteuer (§ 23 Abs. 2 KStG).
--
@Quelle("§ 23 Absatz 2 KStG")
fn Anwenden23Abs2(körperschaftsteuer: Euro, anpassung: Prozent): Euro =
    körperschaftsteuer + (körperschaftsteuer * anpassung).abrunden()

// ===========================================================================
// Gesamtberechnung
// ===========================================================================

--
Vollständige Festsetzung der Körperschaftsteuer eines Steuerfalls in
der gesetzlichen Reihenfolge: § 24 KStG (Freibetrag) → § 7 Abs. 2 KStG
(zu versteuerndes Einkommen) → § 23 Abs. 1 KStG (Steuersatz × zvE) →
§ 31 Satz 2 KStG (Abrundung) → § 23 Abs. 2 KStG (Anpassung). Liefert
alle Zwischengrößen für die Audit-Vorlage.

@param fall  Eingaben des Steuerfalls (siehe `KörperschaftsteuerFall`).
@rückgabe  Vollständig dokumentiertes Berechnungsergebnis.
--
@Quelle("§ 7 KStG")
fn BerechneKörperschaftsteuer(fall: KörperschaftsteuerFall): KörperschaftsteuerErgebnis {
    var freibetrag24: Euro = FreibetragNach24(fall.einkommenNach8Abs1, fall.freibetragsausschluss)
    var zve: Euro = ZuVersteuerndesEinkommen(
        fall.einkommenNach8Abs1, freibetrag24, fall.freibetragNach25,
    )
    var satz: Prozent = KstSatz(fall.veranlagungszeitraum)
    var basis: Euro = KörperschaftsteuerBetrag(zve, fall.veranlagungszeitraum)
    var endgültig: Euro = Anwenden23Abs2(basis, fall.anpassungNach23Abs2)

    KörperschaftsteuerErgebnis(
        einkommen                = fall.einkommenNach8Abs1,
        freibetragNach24         = freibetrag24,
        freibetragNach25         = fall.freibetragNach25,
        zuVersteuerndesEinkommen = zve,
        steuersatz               = satz,
        körperschaftsteuer       = endgültig,
    )
}

--
# Akzeptanztests — Körperschaftsteuer (§§ 7, 23, 24 KStG)

`prüfe`-Blöcke zur Datei `koerperschaftsteuer`. Alle Sollwerte sind von
Hand aus dem Gesetzeswortlaut gerechnet (KStG 1977, Stand 4.2.2026):

- § 23 Abs. 1 KStG: 2027 → 15 %, 2028 → 14 %, … , ab 2032 → 10 %.
- § 24 KStG: 5.000 €, höchstens i.H.d. Einkommens; Ausschluss → 0.
- § 7 Abs. 2 KStG: zvE = Einkommen − § 24 − § 25.
- § 23 Abs. 1 × § 31 S. 2: KSt = (zvE × Satz).abrunden().

Diese Datei enthält ausschließlich die `prüfe`-Blöcke.
--

verwende {
    KstSatz,
    FreibetragNach24,
    ZuVersteuerndesEinkommen,
    KörperschaftsteuerBetrag,
    Anwenden23Abs2,
    BerechneKörperschaftsteuer,
    KörperschaftsteuerFall,
    KörperschaftsteuerErgebnis,
    Freibetragsausschluss,
    Keiner,
    Nr1KapitalLeistungen,
} aus "./kst"

prüfe "§ 23 Absatz 1 KStG — gestaffelter Steuersatz" {
    testfall "Veranlagungszeiträume bis 2027 → 15 % (Nr. 1)" {
        KstSatz(2010) == 15% und KstSatz(2025) == 15% und KstSatz(2027) == 15%
    }
    testfall "VZ 2028 → 14 % (Nr. 2)" {
        KstSatz(2028) == 14%
    }
    testfall "VZ 2029 → 13 % (Nr. 3)" {
        KstSatz(2029) == 13%
    }
    testfall "VZ 2030 → 12 % (Nr. 4)" {
        KstSatz(2030) == 12%
    }
    testfall "VZ 2031 → 11 % (Nr. 5)" {
        KstSatz(2031) == 11%
    }
    testfall "Veranlagungszeiträume ab 2032 → 10 % (Nr. 6)" {
        KstSatz(2032) == 10% und KstSatz(2050) == 10%
    }
}

prüfe "§ 24 KStG — Freibetrag" {
    testfall "voller Freibetrag 5.000 € bei hohem Einkommen, kein Ausschluss" {
        FreibetragNach24(100.000, Keiner) == 5.000
    }
    testfall "höchstens in Höhe des Einkommens (Einkommen < 5.000 €)" {
        FreibetragNach24(3.000, Keiner) == 3.000
    }
    testfall "Einkommen genau 5.000 € → 5.000 € Freibetrag" {
        FreibetragNach24(5.000, Keiner) == 5.000
    }
    testfall "Einkommen 0 € → kein Freibetrag (darf keinen Verlust schaffen)" {
        FreibetragNach24(0, Keiner) == 0
    }
    testfall "§ 24 Satz 2 Nr. 1 (Kapitalgesellschaft) → Freibetrag entfällt" {
        FreibetragNach24(100.000, Nr1KapitalLeistungen) == 0
    }
}

prüfe "§ 7 Absatz 2 KStG — zu versteuerndes Einkommen" {
    testfall "Einkommen − § 24 − § 25" {
        ZuVersteuerndesEinkommen(100.000, 5.000, 0) == 95.000
    }
    testfall "mit § 25-Freibetrag" {
        ZuVersteuerndesEinkommen(100.000, 5.000, 10.000) == 85.000
    }
}

prüfe "§ 23 Abs. 1 × § 31 Satz 2 KStG — Steuerbetrag und Rundung" {
    testfall "95.000 € × 15 % (VZ 2025) = 14.250 €" {
        KörperschaftsteuerBetrag(95.000, 2025) == 14.250
    }
    testfall "§ 31 S. 2: 12.345 € × 15 % = 1.851,75 € → abgerundet 1.851 €" {
        KörperschaftsteuerBetrag(12.345, 2025) == 1.851
    }
    testfall "1.000.000 € × 14 % (VZ 2028) = 140.000 €" {
        KörperschaftsteuerBetrag(1.000.000, 2028) == 140.000
    }
    testfall "zu versteuerndes Einkommen 0 → keine Steuer" {
        KörperschaftsteuerBetrag(0, 2025) == 0
    }
}

prüfe "§ 23 Absatz 2 KStG — Anpassung" {
    testfall "Anpassungssatz 0 % → unverändert" {
        Anwenden23Abs2(10.000, 0%) == 10.000
    }
    testfall "Anpassung +10 % → 11.000 €" {
        Anwenden23Abs2(10.000, 10%) == 11.000
    }
}

prüfe "Gesamtberechnung (§§ 24 → 7 → 23 → 31 KStG)" {
    testfall "Verein ohne Ausschluss, VZ 2025, Einkommen 100.000 €" {
        var e: KörperschaftsteuerErgebnis = BerechneKörperschaftsteuer(
            KörperschaftsteuerFall(
                einkommenNach8Abs1    = 100.000,
                veranlagungszeitraum  = 2025,
                freibetragsausschluss = Keiner,
            ),
        )
        e.freibetragNach24 == 5.000
            und e.zuVersteuerndesEinkommen == 95.000
            und e.steuersatz == 15%
            und e.körperschaftsteuer == 14.250
    }
    testfall "Kapitalgesellschaft (§ 24 Satz 2 Nr. 1), VZ 2028, 1.000.000 €" {
        var e: KörperschaftsteuerErgebnis = BerechneKörperschaftsteuer(
            KörperschaftsteuerFall(
                einkommenNach8Abs1    = 1.000.000,
                veranlagungszeitraum  = 2028,
                freibetragsausschluss = Nr1KapitalLeistungen,
            ),
        )
        e.freibetragNach24 == 0
            und e.zuVersteuerndesEinkommen == 1.000.000
            und e.steuersatz == 14%
            und e.körperschaftsteuer == 140.000
    }
    testfall "kleines Einkommen 3.000 €, VZ 2032 → zvE 0, keine Steuer" {
        var e: KörperschaftsteuerErgebnis = BerechneKörperschaftsteuer(
            KörperschaftsteuerFall(
                einkommenNach8Abs1    = 3.000,
                veranlagungszeitraum  = 2032,
                freibetragsausschluss = Keiner,
            ),
        )
        e.freibetragNach24 == 3.000
            und e.zuVersteuerndesEinkommen == 0
            und e.körperschaftsteuer == 0
    }
    testfall "mit § 25-Freibetrag 10.000 €, VZ 2025, Einkommen 100.000 €" {
        var e: KörperschaftsteuerErgebnis = BerechneKörperschaftsteuer(
            KörperschaftsteuerFall(
                einkommenNach8Abs1    = 100.000,
                veranlagungszeitraum  = 2025,
                freibetragsausschluss = Keiner,
                freibetragNach25      = 10.000,
            ),
        )
        e.zuVersteuerndesEinkommen == 85.000
            und e.körperschaftsteuer == 12.750
    }
}

import org.findsl.runtime.FinDslNumber;
import org.findsl.runtime.Euro;
import org.findsl.runtime.Prozent;
import org.findsl.runtime.Ganzzahl;
import org.findsl.runtime.Quelle;
import javax.annotation.processing.Generated;

/**
 * Generiert aus FinDSL — NICHT manuell editieren.
 * Semantik-Orakel: der FinDSL-Interpreter (bit-genau).
 *
 * # Körperschaftsteuer — Tarif, Freibetrag und Bemessungsgrundlage
 *
 * Bildet die Festsetzung der Körperschaftsteuer nach dem
 * **Körperschaftsteuergesetz (KStG 1977, Stand: zuletzt geändert durch
 * Art. 30 G v. 4.2.2026 I Nr. 33)** ab — die drei normativen Kerne:
 *
 * - **§ 7 KStG** — Grundlagen der Besteuerung: die KSt bemisst sich nach
 *   dem zu versteuernden Einkommen; dieses ist das Einkommen i.S.d.
 *   § 8 Abs. 1 KStG, vermindert um die Freibeträge der §§ 24 und 25 KStG
 *   (Abs. 2); die KSt ist eine Jahressteuer (Abs. 3).
 * - **§ 23 KStG** — Steuersatz: nach Veranlagungszeitraum gestaffelter
 *   Prozentsatz auf das zu versteuernde Einkommen (Abs. 1); optionale
 *   Anpassung über § 51 Abs. 3 EStG (Abs. 2).
 * - **§ 24 KStG** — Freibetrag von 5.000 Euro, höchstens in Höhe des
 *   Einkommens (Satz 1), mit den drei Ausschlusstatbeständen des Satz 2.
 *
 * Anschließende **§ 31 Satz 2 KStG**-Rundung: die festgesetzten
 * KSt-Beträge sind zugunsten des Steuerpflichtigen auf volle Euro zu
 * runden — Abrundung (zu Gunsten = niedrigere Steuer).
 *
 * Nicht modelliert (außerhalb des Auftragsumfangs §§ 7/23/24): die
 * Ermittlung des Einkommens i.S.d. § 8 Abs. 1 KStG selbst und der
 * Freibetrag nach § 25 KStG — beide gehen als geprüfte Eingaben ein,
 * damit die § 7 Abs. 2-Formel rechnerisch vollständig bleibt.
 */
@Generated(value = "findsl.Generator")
public interface Kst {

    /**
     * Liefert den Körperschaftsteuersatz für einen Veranlagungszeitraum nach
     * der Staffel des § 23 Abs. 1 KStG. „bis 2027" (Nr. 1) ist einschließlich
     * 2027; „ab 2032" (Nr. 6) ist einschließlich 2032 (durch `sonst`
     * abgedeckt, da alle früheren Jahre vorher erfasst sind).
     *
     * @param veranlagungszeitraum  Kalenderjahr des Veranlagungszeitraums.
     * @return  Der nach § 23 Abs. 1 KStG für diesen VZ geltende Satz.
     */
    @Quelle("§ 23 Absatz 1 KStG")
    Prozent kstSatz(Ganzzahl veranlagungszeitraum);

    /**
     * Freibetrag nach § 24 KStG unter Berücksichtigung des Ausschlusses nach
     * § 24 Satz 2 KStG: liegt ein Ausschlusstatbestand (Nr. 1–3) vor,
     * entfällt der Freibetrag vollständig; andernfalls der nach Satz 1 der
     * Höhe nach begrenzte Betrag.
     *
     * @param einkommen  Einkommen i.S.d. § 8 Abs. 1 KStG.
     * @param ausschluss Ausschlusstatbestand nach § 24 Satz 2 KStG.
     * @return  Abzuziehender Freibetrag nach § 24 KStG (0 bei Ausschluss).
     */
    @Quelle("§ 24 KStG")
    Euro freibetragNach24(Euro einkommen, Freibetragsausschluss ausschluss);

    /**
     * Zu versteuerndes Einkommen nach § 7 Abs. 2 KStG: das Einkommen i.S.d.
     * § 8 Abs. 1 KStG, vermindert um die Freibeträge der §§ 24 und 25 KStG.
     * Kann negativ werden (Verlust); die steuerliche Auswirkung eines
     * negativen Betrags regelt die Steuerfestsetzung (`körperschaftsteuer`),
     * nicht diese Größe.
     *
     * @param einkommen        Einkommen i.S.d. § 8 Abs. 1 KStG.
     * @param freibetragNach24 Freibetrag nach § 24 KStG.
     * @param freibetragNach25 Freibetrag nach § 25 KStG.
     * @return  Zu versteuerndes Einkommen (§ 7 Abs. 1 KStG: Bemessung).
     */
    @Quelle("§ 7 Absatz 2 KStG")
    Euro zuVersteuerndesEinkommen(Euro einkommen, Euro freibetragNach24, Euro freibetragNach25);

    /**
     * Körperschaftsteuerbetrag nach § 23 Abs. 1 KStG: Steuersatz des
     * Veranlagungszeitraums multipliziert mit dem zu versteuernden Einkommen,
     * anschließend nach § 31 Satz 2 KStG **zu Gunsten des Steuerpflichtigen
     * auf volle Euro abgerundet** (niedrigere Steuer = zu Gunsten). Bei einem
     * zu versteuernden Einkommen von 0 oder weniger beträgt die Steuer 0
     * (keine negative Steuer; Verlustabzug regelt § 8 KStG i.V.m.
     * § 10d EStG, hier nicht modelliert).
     *
     * @param zuVersteuerndesEinkommen  § 7 KStG: Bemessungsgrundlage.
     * @param veranlagungszeitraum      Kalenderjahr (§ 23 Abs. 1 KStG).
     * @return  Körperschaftsteuer nach § 23 Abs. 1 KStG, auf volle Euro
     *            abgerundet (§ 31 Satz 2 KStG).
     */
    @Quelle("§ 23 Absatz 1 KStG")
    Euro körperschaftsteuerBetrag(Euro zuVersteuerndesEinkommen, Ganzzahl veranlagungszeitraum);

    /**
     * Anpassung der Körperschaftsteuer nach § 23 Abs. 2 KStG: wird die
     * Einkommensteuer aufgrund der Ermächtigung des § 51 Abs. 3 EStG herab-
     * oder heraufgesetzt, ermäßigt oder erhöht sich die Körperschaftsteuer
     * entsprechend (proportional). Der Anpassungsbetrag wird nach der
     * Wertung des § 31 Satz 2 KStG auf volle Euro abgerundet. In aller Regel
     * ist der Anpassungssatz 0 % (keine Verordnung in Kraft → unverändert).
     *
     * @param körperschaftsteuer  Steuer nach § 23 Abs. 1 KStG (abgerundet).
     * @param anpassung           Anpassungssatz nach § 51 Abs. 3 EStG.
     * @return  Angepasste Körperschaftsteuer (§ 23 Abs. 2 KStG).
     */
    @Quelle("§ 23 Absatz 2 KStG")
    Euro anwenden23Abs2(Euro körperschaftsteuer, Prozent anpassung);

    /**
     * Vollständige Festsetzung der Körperschaftsteuer eines Steuerfalls in
     * der gesetzlichen Reihenfolge: § 24 KStG (Freibetrag) → § 7 Abs. 2 KStG
     * (zu versteuerndes Einkommen) → § 23 Abs. 1 KStG (Steuersatz × zvE) →
     * § 31 Satz 2 KStG (Abrundung) → § 23 Abs. 2 KStG (Anpassung). Liefert
     * alle Zwischengrößen für die Audit-Vorlage.
     *
     * @param fall  Eingaben des Steuerfalls (siehe `KörperschaftsteuerFall`).
     * @return  Vollständig dokumentiertes Berechnungsergebnis.
     */
    @Quelle("§ 7 KStG")
    KörperschaftsteuerErgebnis berechneKörperschaftsteuer(KörperschaftsteuerFall fall);

    /**
     * Ausschlusstatbestände des § 24 Satz 2 KStG. Liegt einer davon vor,
     * entfällt der Freibetrag nach § 24 Satz 1 KStG vollständig.
     *
     * @param Keiner               Kein Ausschluss — der Freibetrag von 5.000 €
     *                             (§ 24 Satz 1 KStG) ist anwendbar.
     * @param Nr1KapitalLeistungen § 24 Satz 2 Nr. 1 KStG: Körperschaften/
     *                             Personenvereinigungen, deren Leistungen beim
     *                             Empfänger zu Einnahmen i.S.d. § 20 Abs. 1
     *                             Nr. 1 oder 2 EStG gehören (typische
     *                             Kapitalgesellschaften mit Ausschüttungen).
     * @param Nr2VereinNach25      § 24 Satz 2 Nr. 2 KStG: Vereine i.S.d.
     *                             § 25 KStG (land-/forstwirtschaftliche
     *                             Erwerbs- und Wirtschaftsgenossenschaften
     *                             sowie Vereine).
     * @param Nr3Investmentfonds   § 24 Satz 2 Nr. 3 KStG: Investmentfonds
     *                             (§ 1 InvStG) und Spezial-Investmentfonds
     *                             (§ 26 InvStG), deren Leistungen beim
     *                             Empfänger zu Einnahmen i.S.d. § 20 Abs. 1
     *                             Nr. 3 oder 3a EStG gehören.
     */
    @Quelle("§ 24 Satz 2 KStG")
    public enum Freibetragsausschluss {
        Keiner,
        Nr1KapitalLeistungen,
        Nr2VereinNach25,
        Nr3Investmentfonds
    }

    /**
     * Eingaben für die Körperschaftsteuer-Festsetzung eines Steuerfalls.
     *
     * @param einkommenNach8Abs1    Einkommen i.S.d. § 8 Abs. 1 KStG (nach
     *                              EStG/KStG ermittelt) — Bemessungsbasis VOR
     *                              Abzug der Freibeträge §§ 24, 25 KStG.
     * @param veranlagungszeitraum  Kalenderjahr des Veranlagungszeitraums
     *                              (§ 7 Abs. 3 KStG); bestimmt den Steuersatz
     *                              nach § 23 Abs. 1 KStG.
     * @param freibetragsausschluss Ausschlusstatbestand nach § 24 Satz 2 KStG
     *                              (siehe `Freibetragsausschluss`).
     * @param freibetragNach25      Freibetrag nach § 25 KStG (extern ermittelt;
     *                              geht nach § 7 Abs. 2 KStG mindernd ein).
     *                              0, wenn nicht einschlägig.
     * @param anpassungNach23Abs2   Anpassungssatz nach § 23 Abs. 2 KStG i.V.m.
     *                              § 51 Abs. 3 EStG (Herab-/Heraufsetzung). In
     *                              aller Regel 0 % (keine Änderung).
     */
    @Quelle("§ 7 KStG")
    public record KörperschaftsteuerFall(
        Euro einkommenNach8Abs1,
        Ganzzahl veranlagungszeitraum,
        Freibetragsausschluss freibetragsausschluss,
        Euro freibetragNach25,
        Prozent anpassungNach23Abs2
    ) {}

    /**
     * Vollständige, prüfbare Berechnungsdokumentation eines
     * Körperschaftsteuerfalls — jede Zwischengröße ist einzeln ausgewiesen,
     * damit die Festsetzung Schritt für Schritt gegen das Gesetz auditierbar
     * ist.
     *
     * @param einkommen                 Einkommen i.S.d. § 8 Abs. 1 KStG
     *                                  (Eingabe, unverändert übernommen).
     * @param freibetragNach24          Tatsächlich abgezogener Freibetrag
     *                                  nach § 24 KStG (0, falls Satz 2 greift).
     * @param freibetragNach25          Abgezogener Freibetrag nach § 25 KStG
     *                                  (Eingabe).
     * @param zuVersteuerndesEinkommen  § 7 Abs. 1, 2 KStG: Bemessungsgrundlage
     *                                  = Einkommen − § 24 − § 25.
     * @param steuersatz                § 23 Abs. 1 KStG: für den
     *                                  Veranlagungszeitraum geltender Satz.
     * @param körperschaftsteuer        Festgesetzte Körperschaftsteuer nach
     *                                  § 23 KStG, auf volle Euro abgerundet
     *                                  (§ 31 Satz 2 KStG), inkl. § 23 Abs. 2.
     */
    @Quelle("§ 7 KStG")
    public record KörperschaftsteuerErgebnis(
        Euro einkommen,
        Euro freibetragNach24,
        Euro freibetragNach25,
        Euro zuVersteuerndesEinkommen,
        Prozent steuersatz,
        Euro körperschaftsteuer
    ) {}

    /**
     * Steuersatz für Veranlagungszeiträume **bis 2027**: 15 % des zu
     * versteuernden Einkommens (§ 23 Abs. 1 Nr. 1 KStG).
     */
    @Quelle("§ 23 Absatz 1 Nummer 1 KStG")
    public static final Prozent KST_SATZ_BIS_2027 = Prozent.von(FinDslNumber.prozent("0.15"));

    /**
     *  Steuersatz für den Veranlagungszeitraum **2028**: 14 % (§ 23 Abs. 1 Nr. 2 KStG). 
     */
    @Quelle("§ 23 Absatz 1 Nummer 2 KStG")
    public static final Prozent KST_SATZ_2028 = Prozent.von(FinDslNumber.prozent("0.14"));

    /**
     *  Steuersatz für den Veranlagungszeitraum **2029**: 13 % (§ 23 Abs. 1 Nr. 3 KStG). 
     */
    @Quelle("§ 23 Absatz 1 Nummer 3 KStG")
    public static final Prozent KST_SATZ_2029 = Prozent.von(FinDslNumber.prozent("0.13"));

    /**
     *  Steuersatz für den Veranlagungszeitraum **2030**: 12 % (§ 23 Abs. 1 Nr. 4 KStG). 
     */
    @Quelle("§ 23 Absatz 1 Nummer 4 KStG")
    public static final Prozent KST_SATZ_2030 = Prozent.von(FinDslNumber.prozent("0.12"));

    /**
     *  Steuersatz für den Veranlagungszeitraum **2031**: 11 % (§ 23 Abs. 1 Nr. 5 KStG). 
     */
    @Quelle("§ 23 Absatz 1 Nummer 5 KStG")
    public static final Prozent KST_SATZ_2031 = Prozent.von(FinDslNumber.prozent("0.11"));

    /**
     *  Steuersatz für Veranlagungszeiträume **ab 2032**: 10 % (§ 23 Abs. 1 Nr. 6 KStG). 
     */
    @Quelle("§ 23 Absatz 1 Nummer 6 KStG")
    public static final Prozent KST_SATZ_AB_2032 = Prozent.von(FinDslNumber.prozent("0.1"));

    /**
     * Freibetrag nach § 24 Satz 1 KStG: 5.000 Euro, höchstens jedoch in Höhe
     * des Einkommens. Greift nur, wenn kein Ausschlusstatbestand des § 24
     * Satz 2 KStG vorliegt.
     */
    @Quelle("§ 24 Satz 1 KStG")
    public static final Euro FREIBETRAG_24 = Euro.von(
        FinDslNumber.ganzzahl("5000").withMoneyAnnotation(FinDslNumber.Type.Euro, "Konstante \"FREIBETRAG_24\""));
}

import org.findsl.runtime.FinDslNumber;
import org.findsl.runtime.FinDslRuntimeError;
import org.findsl.runtime.Euro;
import org.findsl.runtime.Prozent;
import org.findsl.runtime.Ganzzahl;
import org.findsl.runtime.Quelle;
import javax.annotation.processing.Generated;

/**
 * Generiert aus FinDSL — NICHT manuell editieren.
 * Semantik-Orakel: der FinDSL-Interpreter (bit-genau).
 *
 * # Körperschaftsteuer — Tarif, Freibetrag und Bemessungsgrundlage
 *
 * Bildet die Festsetzung der Körperschaftsteuer nach dem
 * **Körperschaftsteuergesetz (KStG 1977, Stand: zuletzt geändert durch
 * Art. 30 G v. 4.2.2026 I Nr. 33)** ab — die drei normativen Kerne:
 *
 * - **§ 7 KStG** — Grundlagen der Besteuerung: die KSt bemisst sich nach
 *   dem zu versteuernden Einkommen; dieses ist das Einkommen i.S.d.
 *   § 8 Abs. 1 KStG, vermindert um die Freibeträge der §§ 24 und 25 KStG
 *   (Abs. 2); die KSt ist eine Jahressteuer (Abs. 3).
 * - **§ 23 KStG** — Steuersatz: nach Veranlagungszeitraum gestaffelter
 *   Prozentsatz auf das zu versteuernde Einkommen (Abs. 1); optionale
 *   Anpassung über § 51 Abs. 3 EStG (Abs. 2).
 * - **§ 24 KStG** — Freibetrag von 5.000 Euro, höchstens in Höhe des
 *   Einkommens (Satz 1), mit den drei Ausschlusstatbeständen des Satz 2.
 *
 * Anschließende **§ 31 Satz 2 KStG**-Rundung: die festgesetzten
 * KSt-Beträge sind zugunsten des Steuerpflichtigen auf volle Euro zu
 * runden — Abrundung (zu Gunsten = niedrigere Steuer).
 *
 * Nicht modelliert (außerhalb des Auftragsumfangs §§ 7/23/24): die
 * Ermittlung des Einkommens i.S.d. § 8 Abs. 1 KStG selbst und der
 * Freibetrag nach § 25 KStG — beide gehen als geprüfte Eingaben ein,
 * damit die § 7 Abs. 2-Formel rechnerisch vollständig bleibt.
 */
@Generated(value = "findsl.Generator")
class KstImpl implements Kst {

    @Quelle("§ 23 Absatz 1 KStG")
    @Override
    public Prozent kstSatz(Ganzzahl veranlagungszeitraum) {
        if (veranlagungszeitraum.compareValue(FinDslNumber.ganzzahl("2027")) <= 0) {
            return Prozent.von(KST_SATZ_BIS_2027);
        }
        if (veranlagungszeitraum.equalsValue(FinDslNumber.ganzzahl("2028"))) {
            return Prozent.von(KST_SATZ_2028);
        }
        if (veranlagungszeitraum.equalsValue(FinDslNumber.ganzzahl("2029"))) {
            return Prozent.von(KST_SATZ_2029);
        }
        if (veranlagungszeitraum.equalsValue(FinDslNumber.ganzzahl("2030"))) {
            return Prozent.von(KST_SATZ_2030);
        }
        if (veranlagungszeitraum.equalsValue(FinDslNumber.ganzzahl("2031"))) {
            return Prozent.von(KST_SATZ_2031);
        }
        return Prozent.von(KST_SATZ_AB_2032);
    }

    @Quelle("§ 24 KStG")
    @Override
    public Euro freibetragNach24(Euro einkommen, Freibetragsausschluss ausschluss) {
        if (ausschluss == Freibetragsausschluss.Keiner) {
            return Euro.von(einkommen.mindestens(FinDslNumber.ganzzahl("0")).hoechstens(FREIBETRAG_24));
        }
        if (
            (ausschluss == Freibetragsausschluss.Nr1KapitalLeistungen)
                || (ausschluss == Freibetragsausschluss.Nr2VereinNach25) 
                || (ausschluss == Freibetragsausschluss.Nr3Investmentfonds)) {
            return Euro.von(FinDslNumber.ganzzahl("0"));
        }
        throw new FinDslRuntimeError("Kein falls-Arm passte (wähle, Codegen).");
    }

    @Quelle("§ 7 Absatz 2 KStG")
    @Override
    public Euro zuVersteuerndesEinkommen(Euro einkommen, Euro freibetragNach24, Euro freibetragNach25) {
        return Euro.von(einkommen.sub(freibetragNach24).sub(freibetragNach25));
    }

    @Quelle("§ 23 Absatz 1 KStG")
    @Override
    public Euro körperschaftsteuerBetrag(Euro zuVersteuerndesEinkommen, Ganzzahl veranlagungszeitraum) {
        if (zuVersteuerndesEinkommen.compareValue(FinDslNumber.ganzzahl("0")) <= 0) {
            return Euro.von(FinDslNumber.ganzzahl("0"));
        }
        return Euro.von(
            zuVersteuerndesEinkommen.mul(kstSatz(Ganzzahl.von(veranlagungszeitraum))).abrunden(FinDslNumber.Type.Euro));
    }

    @Quelle("§ 23 Absatz 2 KStG")
    @Override
    public Euro anwenden23Abs2(Euro körperschaftsteuer, Prozent anpassung) {
        return Euro.von(körperschaftsteuer.add(körperschaftsteuer.mul(anpassung).abrunden(FinDslNumber.Type.Euro)));
    }

    @Quelle("§ 7 KStG")
    @Override
    public KörperschaftsteuerErgebnis berechneKörperschaftsteuer(KörperschaftsteuerFall fall) {
        final FinDslNumber freibetrag24 = freibetragNach24(
            Euro.von(fall.einkommenNach8Abs1()),
            fall.freibetragsausschluss())
            .withMoneyAnnotation(FinDslNumber.Type.Euro, "var \"freibetrag24\"");
        final FinDslNumber zve = zuVersteuerndesEinkommen(
            Euro.von(fall.einkommenNach8Abs1()),
            Euro.von(freibetrag24),
            Euro.von(fall.freibetragNach25()))
            .withMoneyAnnotation(FinDslNumber.Type.Euro, "var \"zve\"");
        final FinDslNumber satz = kstSatz(Ganzzahl.von(fall.veranlagungszeitraum()));
        final FinDslNumber basis = körperschaftsteuerBetrag(Euro.von(zve), Ganzzahl.von(fall.veranlagungszeitraum()))
            .withMoneyAnnotation(FinDslNumber.Type.Euro, "var \"basis\"");
        final FinDslNumber endgültig = anwenden23Abs2(Euro.von(basis), Prozent.von(fall.anpassungNach23Abs2()))
            .withMoneyAnnotation(FinDslNumber.Type.Euro, "var \"endgültig\"");
        return new KörperschaftsteuerErgebnis(
            Euro.von(fall.einkommenNach8Abs1()),
            Euro.von(freibetrag24),
            Euro.von(fall.freibetragNach25()),
            Euro.von(zve),
            Prozent.von(satz),
            Euro.von(endgültig));
    }
}

import javax.annotation.processing.Generated;
import org.junit.jupiter.api.DisplayName;
import org.junit.jupiter.api.Nested;
import org.junit.jupiter.api.Test;
import static org.junit.jupiter.api.Assertions.assertTrue;
import org.findsl.runtime.FinDslNumber;
import org.findsl.runtime.Euro;
import org.findsl.runtime.Prozent;
import org.findsl.runtime.Ganzzahl;

/**
 * Generierte JUnit5-Akzeptanztests aus FinDSL-`prüfe` — NICHT
 * manuell editieren. Soll-Verhalten = der FinDSL-Interpreter
 * (`pruefe.ts runPruefeDecl`); pass/fail/abbruch bit-genau.
 *
 * # Akzeptanztests — Körperschaftsteuer (§§ 7, 23, 24 KStG)
 *
 * `prüfe`-Blöcke zur Datei `koerperschaftsteuer`. Alle Sollwerte sind von
 * Hand aus dem Gesetzeswortlaut gerechnet (KStG 1977, Stand 4.2.2026):
 *
 * - § 23 Abs. 1 KStG: 2027 → 15 %, 2028 → 14 %, … , ab 2032 → 10 %.
 * - § 24 KStG: 5.000 €, höchstens i.H.d. Einkommens; Ausschluss → 0.
 * - § 7 Abs. 2 KStG: zvE = Einkommen − § 24 − § 25.
 * - § 23 Abs. 1 × § 31 S. 2: KSt = (zvE × Satz).abrunden().
 *
 * Diese Datei enthält ausschließlich die `prüfe`-Blöcke.
 */
@Generated(value = "findsl.Generator")
public final class KstTest {

    private final Kst kst = Factory.createKst();

    @Nested
    @DisplayName("§ 23 Absatz 1 KStG — gestaffelter Steuersatz")
    class Pruefe_0 {

        @Test
        @DisplayName("Veranlagungszeiträume bis 2027 → 15 % (Nr. 1)")
        void testfall_0() {
            assertTrue(
                kst.kstSatz(Ganzzahl.von(FinDslNumber.ganzzahl("2010"))).equalsValue(FinDslNumber.prozent("0.15")));
            assertTrue(
                kst.kstSatz(Ganzzahl.von(FinDslNumber.ganzzahl("2025"))).equalsValue(FinDslNumber.prozent("0.15")));
            assertTrue(
                kst.kstSatz(Ganzzahl.von(FinDslNumber.ganzzahl("2027"))).equalsValue(FinDslNumber.prozent("0.15")));
        }

        @Test
        @DisplayName("VZ 2028 → 14 % (Nr. 2)")
        void testfall_1() {
            assertTrue(
                kst.kstSatz(Ganzzahl.von(FinDslNumber.ganzzahl("2028"))).equalsValue(FinDslNumber.prozent("0.14")));
        }

        @Test
        @DisplayName("VZ 2029 → 13 % (Nr. 3)")
        void testfall_2() {
            assertTrue(
                kst.kstSatz(Ganzzahl.von(FinDslNumber.ganzzahl("2029"))).equalsValue(FinDslNumber.prozent("0.13")));
        }

        @Test
        @DisplayName("VZ 2030 → 12 % (Nr. 4)")
        void testfall_3() {
            assertTrue(
                kst.kstSatz(Ganzzahl.von(FinDslNumber.ganzzahl("2030"))).equalsValue(FinDslNumber.prozent("0.12")));
        }

        @Test
        @DisplayName("VZ 2031 → 11 % (Nr. 5)")
        void testfall_4() {
            assertTrue(
                kst.kstSatz(Ganzzahl.von(FinDslNumber.ganzzahl("2031"))).equalsValue(FinDslNumber.prozent("0.11")));
        }

        @Test
        @DisplayName("Veranlagungszeiträume ab 2032 → 10 % (Nr. 6)")
        void testfall_5() {
            assertTrue(
                kst.kstSatz(Ganzzahl.von(FinDslNumber.ganzzahl("2032"))).equalsValue(FinDslNumber.prozent("0.1")));
            assertTrue(
                kst.kstSatz(Ganzzahl.von(FinDslNumber.ganzzahl("2050"))).equalsValue(FinDslNumber.prozent("0.1")));
        }
    }

    @Nested
    @DisplayName("§ 24 KStG — Freibetrag")
    class Pruefe_1 {

        @Test
        @DisplayName("voller Freibetrag 5.000 € bei hohem Einkommen, kein Ausschluss")
        void testfall_0() {
            assertTrue(
                kst.freibetragNach24(Euro.von(FinDslNumber.ganzzahl("100000")), Kst.Freibetragsausschluss.Keiner)
                    .equalsValue(FinDslNumber.ganzzahl("5000")));
        }

        @Test
        @DisplayName("höchstens in Höhe des Einkommens (Einkommen < 5.000 €)")
        void testfall_1() {
            assertTrue(
                kst.freibetragNach24(Euro.von(FinDslNumber.ganzzahl("3000")), Kst.Freibetragsausschluss.Keiner)
                    .equalsValue(FinDslNumber.ganzzahl("3000")));
        }

        @Test
        @DisplayName("Einkommen genau 5.000 € → 5.000 € Freibetrag")
        void testfall_2() {
            assertTrue(
                kst.freibetragNach24(Euro.von(FinDslNumber.ganzzahl("5000")), Kst.Freibetragsausschluss.Keiner)
                    .equalsValue(FinDslNumber.ganzzahl("5000")));
        }

        @Test
        @DisplayName("Einkommen 0 € → kein Freibetrag (darf keinen Verlust schaffen)")
        void testfall_3() {
            assertTrue(
                kst.freibetragNach24(Euro.von(FinDslNumber.ganzzahl("0")), Kst.Freibetragsausschluss.Keiner)
                    .equalsValue(FinDslNumber.ganzzahl("0")));
        }

        @Test
        @DisplayName("§ 24 Satz 2 Nr. 1 (Kapitalgesellschaft) → Freibetrag entfällt")
        void testfall_4() {
            assertTrue(
                kst.freibetragNach24(
                    Euro.von(FinDslNumber.ganzzahl("100000")),
                    Kst.Freibetragsausschluss.Nr1KapitalLeistungen)
                    .equalsValue(FinDslNumber.ganzzahl("0")));
        }
    }

    @Nested
    @DisplayName("§ 7 Absatz 2 KStG — zu versteuerndes Einkommen")
    class Pruefe_2 {

        @Test
        @DisplayName("Einkommen − § 24 − § 25")
        void testfall_0() {
            assertTrue(
                kst.zuVersteuerndesEinkommen(
                    Euro.von(FinDslNumber.ganzzahl("100000")),
                    Euro.von(FinDslNumber.ganzzahl("5000")),
                    Euro.von(FinDslNumber.ganzzahl("0")))
                    .equalsValue(FinDslNumber.ganzzahl("95000")));
        }

        @Test
        @DisplayName("mit § 25-Freibetrag")
        void testfall_1() {
            assertTrue(
                kst.zuVersteuerndesEinkommen(
                    Euro.von(FinDslNumber.ganzzahl("100000")),
                    Euro.von(FinDslNumber.ganzzahl("5000")),
                    Euro.von(FinDslNumber.ganzzahl("10000")))
                    .equalsValue(FinDslNumber.ganzzahl("85000")));
        }
    }

    @Nested
    @DisplayName("§ 23 Abs. 1 × § 31 Satz 2 KStG — Steuerbetrag und Rundung")
    class Pruefe_3 {

        @Test
        @DisplayName("95.000 € × 15 % (VZ 2025) = 14.250 €")
        void testfall_0() {
            assertTrue(
                kst.körperschaftsteuerBetrag(
                    Euro.von(FinDslNumber.ganzzahl("95000")),
                    Ganzzahl.von(FinDslNumber.ganzzahl("2025")))
                    .equalsValue(FinDslNumber.ganzzahl("14250")));
        }

        @Test
        @DisplayName("§ 31 S. 2: 12.345 € × 15 % = 1.851,75 € → abgerundet 1.851 €")
        void testfall_1() {
            assertTrue(
                kst.körperschaftsteuerBetrag(
                    Euro.von(FinDslNumber.ganzzahl("12345")),
                    Ganzzahl.von(FinDslNumber.ganzzahl("2025")))
                    .equalsValue(FinDslNumber.ganzzahl("1851")));
        }

        @Test
        @DisplayName("1.000.000 € × 14 % (VZ 2028) = 140.000 €")
        void testfall_2() {
            assertTrue(
                kst.körperschaftsteuerBetrag(
                    Euro.von(FinDslNumber.ganzzahl("1000000")),
                    Ganzzahl.von(FinDslNumber.ganzzahl("2028")))
                    .equalsValue(FinDslNumber.ganzzahl("140000")));
        }

        @Test
        @DisplayName("zu versteuerndes Einkommen 0 → keine Steuer")
        void testfall_3() {
            assertTrue(
                kst.körperschaftsteuerBetrag(
                    Euro.von(FinDslNumber.ganzzahl("0")),
                    Ganzzahl.von(FinDslNumber.ganzzahl("2025")))
                    .equalsValue(FinDslNumber.ganzzahl("0")));
        }
    }

    @Nested
    @DisplayName("§ 23 Absatz 2 KStG — Anpassung")
    class Pruefe_4 {

        @Test
        @DisplayName("Anpassungssatz 0 % → unverändert")
        void testfall_0() {
            assertTrue(
                kst.anwenden23Abs2(Euro.von(FinDslNumber.ganzzahl("10000")), Prozent.von(FinDslNumber.prozent("0")))
                    .equalsValue(FinDslNumber.ganzzahl("10000")));
        }

        @Test
        @DisplayName("Anpassung +10 % → 11.000 €")
        void testfall_1() {
            assertTrue(
                kst.anwenden23Abs2(Euro.von(FinDslNumber.ganzzahl("10000")), Prozent.von(FinDslNumber.prozent("0.1")))
                    .equalsValue(FinDslNumber.ganzzahl("11000")));
        }
    }

    @Nested
    @DisplayName("Gesamtberechnung (§§ 24 → 7 → 23 → 31 KStG)")
    class Pruefe_5 {

        @Test
        @DisplayName("Verein ohne Ausschluss, VZ 2025, Einkommen 100.000 €")
        void testfall_0() {
            final Kst.KörperschaftsteuerErgebnis e = kst.berechneKörperschaftsteuer(
                new Kst.KörperschaftsteuerFall(
                    Euro.von(FinDslNumber.ganzzahl("100000")),
                    Ganzzahl.von(FinDslNumber.ganzzahl("2025")),
                    Kst.Freibetragsausschluss.Keiner,
                    Euro.von(FinDslNumber.ganzzahl("0")),
                    Prozent.von(FinDslNumber.prozent("0"))));
            assertTrue(e.freibetragNach24().equalsValue(FinDslNumber.ganzzahl("5000")));
            assertTrue(e.zuVersteuerndesEinkommen().equalsValue(FinDslNumber.ganzzahl("95000")));
            assertTrue(e.steuersatz().equalsValue(FinDslNumber.prozent("0.15")));
            assertTrue(e.körperschaftsteuer().equalsValue(FinDslNumber.ganzzahl("14250")));
        }

        @Test
        @DisplayName("Kapitalgesellschaft (§ 24 Satz 2 Nr. 1), VZ 2028, 1.000.000 €")
        void testfall_1() {
            final Kst.KörperschaftsteuerErgebnis e = kst.berechneKörperschaftsteuer(
                new Kst.KörperschaftsteuerFall(
                    Euro.von(FinDslNumber.ganzzahl("1000000")),
                    Ganzzahl.von(FinDslNumber.ganzzahl("2028")),
                    Kst.Freibetragsausschluss.Nr1KapitalLeistungen,
                    Euro.von(FinDslNumber.ganzzahl("0")),
                    Prozent.von(FinDslNumber.prozent("0"))));
            assertTrue(e.freibetragNach24().equalsValue(FinDslNumber.ganzzahl("0")));
            assertTrue(e.zuVersteuerndesEinkommen().equalsValue(FinDslNumber.ganzzahl("1000000")));
            assertTrue(e.steuersatz().equalsValue(FinDslNumber.prozent("0.14")));
            assertTrue(e.körperschaftsteuer().equalsValue(FinDslNumber.ganzzahl("140000")));
        }

        @Test
        @DisplayName("kleines Einkommen 3.000 €, VZ 2032 → zvE 0, keine Steuer")
        void testfall_2() {
            final Kst.KörperschaftsteuerErgebnis e = kst.berechneKörperschaftsteuer(
                new Kst.KörperschaftsteuerFall(
                    Euro.von(FinDslNumber.ganzzahl("3000")),
                    Ganzzahl.von(FinDslNumber.ganzzahl("2032")),
                    Kst.Freibetragsausschluss.Keiner,
                    Euro.von(FinDslNumber.ganzzahl("0")),
                    Prozent.von(FinDslNumber.prozent("0"))));
            assertTrue(e.freibetragNach24().equalsValue(FinDslNumber.ganzzahl("3000")));
            assertTrue(e.zuVersteuerndesEinkommen().equalsValue(FinDslNumber.ganzzahl("0")));
            assertTrue(e.körperschaftsteuer().equalsValue(FinDslNumber.ganzzahl("0")));
        }

        @Test
        @DisplayName("mit § 25-Freibetrag 10.000 €, VZ 2025, Einkommen 100.000 €")
        void testfall_3() {
            final Kst.KörperschaftsteuerErgebnis e = kst.berechneKörperschaftsteuer(
                new Kst.KörperschaftsteuerFall(
                    Euro.von(FinDslNumber.ganzzahl("100000")),
                    Ganzzahl.von(FinDslNumber.ganzzahl("2025")),
                    Kst.Freibetragsausschluss.Keiner,
                    Euro.von(FinDslNumber.ganzzahl("10000")),
                    Prozent.von(FinDslNumber.prozent("0"))));
            assertTrue(e.zuVersteuerndesEinkommen().equalsValue(FinDslNumber.ganzzahl("85000")));
            assertTrue(e.körperschaftsteuer().equalsValue(FinDslNumber.ganzzahl("12750")));
        }
    }
}

import javax.annotation.processing.Generated;

/**
 * Komposition-Wurzel (generiert) — erzeugt die Modul-Instanzen dieses
 * Pakets und verdrahtet ihre Abhängigkeiten per Konstruktor-Injektion.
 * Geteilte, prozessweite Singletons. NICHT manuell editieren.
 */
@Generated(value = "findsl.Generator")
public final class Factory {

    private Factory() {}

    private static final Kst KST = new KstImpl();

    public static Kst createKst() {
        return KST;
    }
}

import { FinDslNumber, FinDslRuntimeError, Euro, Prozent, Ganzzahl } from './runtime/index.js';

/**
 * Generiert aus FinDSL — NICHT manuell editieren.
 * Semantik-Orakel: der FinDSL-Interpreter (bit-genau).
 *
 * # Körperschaftsteuer — Tarif, Freibetrag und Bemessungsgrundlage
 *
 * Bildet die Festsetzung der Körperschaftsteuer nach dem
 * **Körperschaftsteuergesetz (KStG 1977, Stand: zuletzt geändert durch
 * Art. 30 G v. 4.2.2026 I Nr. 33)** ab — die drei normativen Kerne:
 *
 * - **§ 7 KStG** — Grundlagen der Besteuerung: die KSt bemisst sich nach
 *   dem zu versteuernden Einkommen; dieses ist das Einkommen i.S.d.
 *   § 8 Abs. 1 KStG, vermindert um die Freibeträge der §§ 24 und 25 KStG
 *   (Abs. 2); die KSt ist eine Jahressteuer (Abs. 3).
 * - **§ 23 KStG** — Steuersatz: nach Veranlagungszeitraum gestaffelter
 *   Prozentsatz auf das zu versteuernde Einkommen (Abs. 1); optionale
 *   Anpassung über § 51 Abs. 3 EStG (Abs. 2).
 * - **§ 24 KStG** — Freibetrag von 5.000 Euro, höchstens in Höhe des
 *   Einkommens (Satz 1), mit den drei Ausschlusstatbeständen des Satz 2.
 *
 * Anschließende **§ 31 Satz 2 KStG**-Rundung: die festgesetzten
 * KSt-Beträge sind zugunsten des Steuerpflichtigen auf volle Euro zu
 * runden — Abrundung (zu Gunsten = niedrigere Steuer).
 *
 * Nicht modelliert (außerhalb des Auftragsumfangs §§ 7/23/24): die
 * Ermittlung des Einkommens i.S.d. § 8 Abs. 1 KStG selbst und der
 * Freibetrag nach § 25 KStG — beide gehen als geprüfte Eingaben ein,
 * damit die § 7 Abs. 2-Formel rechnerisch vollständig bleibt.
 */

/**
 * Ausschlusstatbestände des § 24 Satz 2 KStG. Liegt einer davon vor,
 * entfällt der Freibetrag nach § 24 Satz 1 KStG vollständig.
 *
 * @param Keiner               Kein Ausschluss — der Freibetrag von 5.000 €
 *                             (§ 24 Satz 1 KStG) ist anwendbar.
 * @param Nr1KapitalLeistungen § 24 Satz 2 Nr. 1 KStG: Körperschaften/
 *                             Personenvereinigungen, deren Leistungen beim
 *                             Empfänger zu Einnahmen i.S.d. § 20 Abs. 1
 *                             Nr. 1 oder 2 EStG gehören (typische
 *                             Kapitalgesellschaften mit Ausschüttungen).
 * @param Nr2VereinNach25      § 24 Satz 2 Nr. 2 KStG: Vereine i.S.d.
 *                             § 25 KStG (land-/forstwirtschaftliche
 *                             Erwerbs- und Wirtschaftsgenossenschaften
 *                             sowie Vereine).
 * @param Nr3Investmentfonds   § 24 Satz 2 Nr. 3 KStG: Investmentfonds
 *                             (§ 1 InvStG) und Spezial-Investmentfonds
 *                             (§ 26 InvStG), deren Leistungen beim
 *                             Empfänger zu Einnahmen i.S.d. § 20 Abs. 1
 *                             Nr. 3 oder 3a EStG gehören.
 * @Quelle § 24 Satz 2 KStG
 */
export enum Freibetragsausschluss {
    Keiner,
    Nr1KapitalLeistungen,
    Nr2VereinNach25,
    Nr3Investmentfonds,
}

/**
 * Eingaben für die Körperschaftsteuer-Festsetzung eines Steuerfalls.
 *
 * @param einkommenNach8Abs1    Einkommen i.S.d. § 8 Abs. 1 KStG (nach
 *                              EStG/KStG ermittelt) — Bemessungsbasis VOR
 *                              Abzug der Freibeträge §§ 24, 25 KStG.
 * @param veranlagungszeitraum  Kalenderjahr des Veranlagungszeitraums
 *                              (§ 7 Abs. 3 KStG); bestimmt den Steuersatz
 *                              nach § 23 Abs. 1 KStG.
 * @param freibetragsausschluss Ausschlusstatbestand nach § 24 Satz 2 KStG
 *                              (siehe `Freibetragsausschluss`).
 * @param freibetragNach25      Freibetrag nach § 25 KStG (extern ermittelt;
 *                              geht nach § 7 Abs. 2 KStG mindernd ein).
 *                              0, wenn nicht einschlägig.
 * @param anpassungNach23Abs2   Anpassungssatz nach § 23 Abs. 2 KStG i.V.m.
 *                              § 51 Abs. 3 EStG (Herab-/Heraufsetzung). In
 *                              aller Regel 0 % (keine Änderung).
 * @Quelle § 7 KStG
 */
export class KörperschaftsteuerFall {
    constructor(
        readonly einkommenNach8Abs1: Euro,
        readonly veranlagungszeitraum: Ganzzahl,
        readonly freibetragsausschluss: Freibetragsausschluss,
        readonly freibetragNach25: Euro,
        readonly anpassungNach23Abs2: Prozent,
    ) {}
}

/**
 * Vollständige, prüfbare Berechnungsdokumentation eines
 * Körperschaftsteuerfalls — jede Zwischengröße ist einzeln ausgewiesen,
 * damit die Festsetzung Schritt für Schritt gegen das Gesetz auditierbar
 * ist.
 *
 * @param einkommen                 Einkommen i.S.d. § 8 Abs. 1 KStG
 *                                  (Eingabe, unverändert übernommen).
 * @param freibetragNach24          Tatsächlich abgezogener Freibetrag
 *                                  nach § 24 KStG (0, falls Satz 2 greift).
 * @param freibetragNach25          Abgezogener Freibetrag nach § 25 KStG
 *                                  (Eingabe).
 * @param zuVersteuerndesEinkommen  § 7 Abs. 1, 2 KStG: Bemessungsgrundlage
 *                                  = Einkommen − § 24 − § 25.
 * @param steuersatz                § 23 Abs. 1 KStG: für den
 *                                  Veranlagungszeitraum geltender Satz.
 * @param körperschaftsteuer        Festgesetzte Körperschaftsteuer nach
 *                                  § 23 KStG, auf volle Euro abgerundet
 *                                  (§ 31 Satz 2 KStG), inkl. § 23 Abs. 2.
 * @Quelle § 7 KStG
 */
export class KörperschaftsteuerErgebnis {
    constructor(
        readonly einkommen: Euro,
        readonly freibetragNach24: Euro,
        readonly freibetragNach25: Euro,
        readonly zuVersteuerndesEinkommen: Euro,
        readonly steuersatz: Prozent,
        readonly körperschaftsteuer: Euro,
    ) {}
}

/**
 * Steuersatz für Veranlagungszeiträume **bis 2027**: 15 % des zu
 * versteuernden Einkommens (§ 23 Abs. 1 Nr. 1 KStG).
 * @Quelle § 23 Absatz 1 Nummer 1 KStG
 */
export const KST_SATZ_BIS_2027: Prozent = Prozent.von(FinDslNumber.prozent("0.15"));

/**
 *  Steuersatz für den Veranlagungszeitraum **2028**: 14 % (§ 23 Abs. 1 Nr. 2 KStG). 
 * @Quelle § 23 Absatz 1 Nummer 2 KStG
 */
export const KST_SATZ_2028: Prozent = Prozent.von(FinDslNumber.prozent("0.14"));

/**
 *  Steuersatz für den Veranlagungszeitraum **2029**: 13 % (§ 23 Abs. 1 Nr. 3 KStG). 
 * @Quelle § 23 Absatz 1 Nummer 3 KStG
 */
export const KST_SATZ_2029: Prozent = Prozent.von(FinDslNumber.prozent("0.13"));

/**
 *  Steuersatz für den Veranlagungszeitraum **2030**: 12 % (§ 23 Abs. 1 Nr. 4 KStG). 
 * @Quelle § 23 Absatz 1 Nummer 4 KStG
 */
export const KST_SATZ_2030: Prozent = Prozent.von(FinDslNumber.prozent("0.12"));

/**
 *  Steuersatz für den Veranlagungszeitraum **2031**: 11 % (§ 23 Abs. 1 Nr. 5 KStG). 
 * @Quelle § 23 Absatz 1 Nummer 5 KStG
 */
export const KST_SATZ_2031: Prozent = Prozent.von(FinDslNumber.prozent("0.11"));

/**
 *  Steuersatz für Veranlagungszeiträume **ab 2032**: 10 % (§ 23 Abs. 1 Nr. 6 KStG). 
 * @Quelle § 23 Absatz 1 Nummer 6 KStG
 */
export const KST_SATZ_AB_2032: Prozent = Prozent.von(FinDslNumber.prozent("0.1"));

/**
 * Freibetrag nach § 24 Satz 1 KStG: 5.000 Euro, höchstens jedoch in Höhe
 * des Einkommens. Greift nur, wenn kein Ausschlusstatbestand des § 24
 * Satz 2 KStG vorliegt.
 * @Quelle § 24 Satz 1 KStG
 */
export const FREIBETRAG_24: Euro = Euro.von(FinDslNumber.ganzzahl("5000").withMoneyAnnotation("Euro", "Konstante \"FREIBETRAG_24\""));

/**
 * Liefert den Körperschaftsteuersatz für einen Veranlagungszeitraum nach
 * der Staffel des § 23 Abs. 1 KStG. „bis 2027" (Nr. 1) ist einschließlich
 * 2027; „ab 2032" (Nr. 6) ist einschließlich 2032 (durch `sonst`
 * abgedeckt, da alle früheren Jahre vorher erfasst sind).
 *
 * @param veranlagungszeitraum  Kalenderjahr des Veranlagungszeitraums.
 * @returns  Der nach § 23 Abs. 1 KStG für diesen VZ geltende Satz.
 * @Quelle § 23 Absatz 1 KStG
 */
export function kstSatz(veranlagungszeitraum: Ganzzahl): Prozent {
    if (veranlagungszeitraum.compareValue(FinDslNumber.ganzzahl("2027")) <= 0) {
        return Prozent.von(KST_SATZ_BIS_2027);
    }
    if (veranlagungszeitraum.equalsValue(FinDslNumber.ganzzahl("2028"))) {
        return Prozent.von(KST_SATZ_2028);
    }
    if (veranlagungszeitraum.equalsValue(FinDslNumber.ganzzahl("2029"))) {
        return Prozent.von(KST_SATZ_2029);
    }
    if (veranlagungszeitraum.equalsValue(FinDslNumber.ganzzahl("2030"))) {
        return Prozent.von(KST_SATZ_2030);
    }
    if (veranlagungszeitraum.equalsValue(FinDslNumber.ganzzahl("2031"))) {
        return Prozent.von(KST_SATZ_2031);
    }
    return Prozent.von(KST_SATZ_AB_2032);
}

/**
 * Freibetrag nach § 24 KStG unter Berücksichtigung des Ausschlusses nach
 * § 24 Satz 2 KStG: liegt ein Ausschlusstatbestand (Nr. 1–3) vor,
 * entfällt der Freibetrag vollständig; andernfalls der nach Satz 1 der
 * Höhe nach begrenzte Betrag.
 *
 * @param einkommen  Einkommen i.S.d. § 8 Abs. 1 KStG.
 * @param ausschluss Ausschlusstatbestand nach § 24 Satz 2 KStG.
 * @returns  Abzuziehender Freibetrag nach § 24 KStG (0 bei Ausschluss).
 * @Quelle § 24 KStG
 */
export function freibetragNach24(einkommen: Euro, ausschluss: Freibetragsausschluss): Euro {
    if (ausschluss === Freibetragsausschluss.Keiner) {
        return Euro.von(einkommen.mindestens(FinDslNumber.ganzzahl("0")).hoechstens(FREIBETRAG_24));
    }
    if ((ausschluss === Freibetragsausschluss.Nr1KapitalLeistungen) || (ausschluss === Freibetragsausschluss.Nr2VereinNach25) || (ausschluss === Freibetragsausschluss.Nr3Investmentfonds)) {
        return Euro.von(FinDslNumber.ganzzahl("0"));
    }
    throw new FinDslRuntimeError("Kein falls-Arm passte (wähle, Codegen).");
}

/**
 * Zu versteuerndes Einkommen nach § 7 Abs. 2 KStG: das Einkommen i.S.d.
 * § 8 Abs. 1 KStG, vermindert um die Freibeträge der §§ 24 und 25 KStG.
 * Kann negativ werden (Verlust); die steuerliche Auswirkung eines
 * negativen Betrags regelt die Steuerfestsetzung (`körperschaftsteuer`),
 * nicht diese Größe.
 *
 * @param einkommen        Einkommen i.S.d. § 8 Abs. 1 KStG.
 * @param freibetragNach24 Freibetrag nach § 24 KStG.
 * @param freibetragNach25 Freibetrag nach § 25 KStG.
 * @returns  Zu versteuerndes Einkommen (§ 7 Abs. 1 KStG: Bemessung).
 * @Quelle § 7 Absatz 2 KStG
 */
export function zuVersteuerndesEinkommen(einkommen: Euro, freibetragNach24: Euro, freibetragNach25: Euro): Euro {
    return Euro.von(einkommen.sub(freibetragNach24).sub(freibetragNach25));
}

/**
 * Körperschaftsteuerbetrag nach § 23 Abs. 1 KStG: Steuersatz des
 * Veranlagungszeitraums multipliziert mit dem zu versteuernden Einkommen,
 * anschließend nach § 31 Satz 2 KStG **zu Gunsten des Steuerpflichtigen
 * auf volle Euro abgerundet** (niedrigere Steuer = zu Gunsten). Bei einem
 * zu versteuernden Einkommen von 0 oder weniger beträgt die Steuer 0
 * (keine negative Steuer; Verlustabzug regelt § 8 KStG i.V.m.
 * § 10d EStG, hier nicht modelliert).
 *
 * @param zuVersteuerndesEinkommen  § 7 KStG: Bemessungsgrundlage.
 * @param veranlagungszeitraum      Kalenderjahr (§ 23 Abs. 1 KStG).
 * @returns  Körperschaftsteuer nach § 23 Abs. 1 KStG, auf volle Euro
 *            abgerundet (§ 31 Satz 2 KStG).
 * @Quelle § 23 Absatz 1 KStG
 */
export function körperschaftsteuerBetrag(zuVersteuerndesEinkommen: Euro, veranlagungszeitraum: Ganzzahl): Euro {
    if (zuVersteuerndesEinkommen.compareValue(FinDslNumber.ganzzahl("0")) <= 0) {
        return Euro.von(FinDslNumber.ganzzahl("0"));
    }
    return Euro.von(zuVersteuerndesEinkommen.mul(kstSatz(Ganzzahl.von(veranlagungszeitraum))).abrunden("Euro"));
}

/**
 * Anpassung der Körperschaftsteuer nach § 23 Abs. 2 KStG: wird die
 * Einkommensteuer aufgrund der Ermächtigung des § 51 Abs. 3 EStG herab-
 * oder heraufgesetzt, ermäßigt oder erhöht sich die Körperschaftsteuer
 * entsprechend (proportional). Der Anpassungsbetrag wird nach der
 * Wertung des § 31 Satz 2 KStG auf volle Euro abgerundet. In aller Regel
 * ist der Anpassungssatz 0 % (keine Verordnung in Kraft → unverändert).
 *
 * @param körperschaftsteuer  Steuer nach § 23 Abs. 1 KStG (abgerundet).
 * @param anpassung           Anpassungssatz nach § 51 Abs. 3 EStG.
 * @returns  Angepasste Körperschaftsteuer (§ 23 Abs. 2 KStG).
 * @Quelle § 23 Absatz 2 KStG
 */
export function anwenden23Abs2(körperschaftsteuer: Euro, anpassung: Prozent): Euro {
    return Euro.von(körperschaftsteuer.add(körperschaftsteuer.mul(anpassung).abrunden("Euro")));
}

/**
 * Vollständige Festsetzung der Körperschaftsteuer eines Steuerfalls in
 * der gesetzlichen Reihenfolge: § 24 KStG (Freibetrag) → § 7 Abs. 2 KStG
 * (zu versteuerndes Einkommen) → § 23 Abs. 1 KStG (Steuersatz × zvE) →
 * § 31 Satz 2 KStG (Abrundung) → § 23 Abs. 2 KStG (Anpassung). Liefert
 * alle Zwischengrößen für die Audit-Vorlage.
 *
 * @param fall  Eingaben des Steuerfalls (siehe `KörperschaftsteuerFall`).
 * @returns  Vollständig dokumentiertes Berechnungsergebnis.
 * @Quelle § 7 KStG
 */
export function berechneKörperschaftsteuer(fall: KörperschaftsteuerFall): KörperschaftsteuerErgebnis {
    const freibetrag24: FinDslNumber = freibetragNach24(Euro.von(fall.einkommenNach8Abs1), fall.freibetragsausschluss).withMoneyAnnotation("Euro", "var \"freibetrag24\"");
    const zve: FinDslNumber = zuVersteuerndesEinkommen(Euro.von(fall.einkommenNach8Abs1), Euro.von(freibetrag24), Euro.von(fall.freibetragNach25)).withMoneyAnnotation("Euro", "var \"zve\"");
    const satz: FinDslNumber = kstSatz(Ganzzahl.von(fall.veranlagungszeitraum));
    const basis: FinDslNumber = körperschaftsteuerBetrag(Euro.von(zve), Ganzzahl.von(fall.veranlagungszeitraum)).withMoneyAnnotation("Euro", "var \"basis\"");
    const endgültig: FinDslNumber = anwenden23Abs2(Euro.von(basis), Prozent.von(fall.anpassungNach23Abs2)).withMoneyAnnotation("Euro", "var \"endgültig\"");
    return new KörperschaftsteuerErgebnis(Euro.von(fall.einkommenNach8Abs1), Euro.von(freibetrag24), Euro.von(fall.freibetragNach25), Euro.von(zve), Prozent.von(satz), Euro.von(endgültig));
}

import { describe, it, expect } from 'vitest';
import { FinDslNumber, Euro, Prozent, Ganzzahl } from './runtime/index.js';
import * as Kst from './Kst.js';

/**
 * Generiert aus FinDSL — NICHT manuell editieren.
 * Semantik-Orakel: der FinDSL-Interpreter (bit-genau).
 *
 * # Akzeptanztests — Körperschaftsteuer (§§ 7, 23, 24 KStG)
 *
 * `prüfe`-Blöcke zur Datei `koerperschaftsteuer`. Alle Sollwerte sind von
 * Hand aus dem Gesetzeswortlaut gerechnet (KStG 1977, Stand 4.2.2026):
 *
 * - § 23 Abs. 1 KStG: 2027 → 15 %, 2028 → 14 %, … , ab 2032 → 10 %.
 * - § 24 KStG: 5.000 €, höchstens i.H.d. Einkommens; Ausschluss → 0.
 * - § 7 Abs. 2 KStG: zvE = Einkommen − § 24 − § 25.
 * - § 23 Abs. 1 × § 31 S. 2: KSt = (zvE × Satz).abrunden().
 *
 * Diese Datei enthält ausschließlich die `prüfe`-Blöcke.
 */

describe("§ 23 Absatz 1 KStG — gestaffelter Steuersatz", () => {
    it("Veranlagungszeiträume bis 2027 → 15 % (Nr. 1)", () => {
        expect(Kst.kstSatz(Ganzzahl.von(FinDslNumber.ganzzahl("2010"))).equalsValue(FinDslNumber.prozent("0.15"))).toBe(true);
        expect(Kst.kstSatz(Ganzzahl.von(FinDslNumber.ganzzahl("2025"))).equalsValue(FinDslNumber.prozent("0.15"))).toBe(true);
        expect(Kst.kstSatz(Ganzzahl.von(FinDslNumber.ganzzahl("2027"))).equalsValue(FinDslNumber.prozent("0.15"))).toBe(true);
    });

    it("VZ 2028 → 14 % (Nr. 2)", () => {
        expect(Kst.kstSatz(Ganzzahl.von(FinDslNumber.ganzzahl("2028"))).equalsValue(FinDslNumber.prozent("0.14"))).toBe(true);
    });

    it("VZ 2029 → 13 % (Nr. 3)", () => {
        expect(Kst.kstSatz(Ganzzahl.von(FinDslNumber.ganzzahl("2029"))).equalsValue(FinDslNumber.prozent("0.13"))).toBe(true);
    });

    it("VZ 2030 → 12 % (Nr. 4)", () => {
        expect(Kst.kstSatz(Ganzzahl.von(FinDslNumber.ganzzahl("2030"))).equalsValue(FinDslNumber.prozent("0.12"))).toBe(true);
    });

    it("VZ 2031 → 11 % (Nr. 5)", () => {
        expect(Kst.kstSatz(Ganzzahl.von(FinDslNumber.ganzzahl("2031"))).equalsValue(FinDslNumber.prozent("0.11"))).toBe(true);
    });

    it("Veranlagungszeiträume ab 2032 → 10 % (Nr. 6)", () => {
        expect(Kst.kstSatz(Ganzzahl.von(FinDslNumber.ganzzahl("2032"))).equalsValue(FinDslNumber.prozent("0.1"))).toBe(true);
        expect(Kst.kstSatz(Ganzzahl.von(FinDslNumber.ganzzahl("2050"))).equalsValue(FinDslNumber.prozent("0.1"))).toBe(true);
    });
});

describe("§ 24 KStG — Freibetrag", () => {
    it("voller Freibetrag 5.000 € bei hohem Einkommen, kein Ausschluss", () => {
        expect(Kst.freibetragNach24(Euro.von(FinDslNumber.ganzzahl("100000")), Kst.Freibetragsausschluss.Keiner).equalsValue(FinDslNumber.ganzzahl("5000"))).toBe(true);
    });

    it("höchstens in Höhe des Einkommens (Einkommen < 5.000 €)", () => {
        expect(Kst.freibetragNach24(Euro.von(FinDslNumber.ganzzahl("3000")), Kst.Freibetragsausschluss.Keiner).equalsValue(FinDslNumber.ganzzahl("3000"))).toBe(true);
    });

    it("Einkommen genau 5.000 € → 5.000 € Freibetrag", () => {
        expect(Kst.freibetragNach24(Euro.von(FinDslNumber.ganzzahl("5000")), Kst.Freibetragsausschluss.Keiner).equalsValue(FinDslNumber.ganzzahl("5000"))).toBe(true);
    });

    it("Einkommen 0 € → kein Freibetrag (darf keinen Verlust schaffen)", () => {
        expect(Kst.freibetragNach24(Euro.von(FinDslNumber.ganzzahl("0")), Kst.Freibetragsausschluss.Keiner).equalsValue(FinDslNumber.ganzzahl("0"))).toBe(true);
    });

    it("§ 24 Satz 2 Nr. 1 (Kapitalgesellschaft) → Freibetrag entfällt", () => {
        expect(Kst.freibetragNach24(Euro.von(FinDslNumber.ganzzahl("100000")), Kst.Freibetragsausschluss.Nr1KapitalLeistungen).equalsValue(FinDslNumber.ganzzahl("0"))).toBe(true);
    });
});

describe("§ 7 Absatz 2 KStG — zu versteuerndes Einkommen", () => {
    it("Einkommen − § 24 − § 25", () => {
        expect(Kst.zuVersteuerndesEinkommen(Euro.von(FinDslNumber.ganzzahl("100000")), Euro.von(FinDslNumber.ganzzahl("5000")), Euro.von(FinDslNumber.ganzzahl("0"))).equalsValue(FinDslNumber.ganzzahl("95000"))).toBe(true);
    });

    it("mit § 25-Freibetrag", () => {
        expect(Kst.zuVersteuerndesEinkommen(Euro.von(FinDslNumber.ganzzahl("100000")), Euro.von(FinDslNumber.ganzzahl("5000")), Euro.von(FinDslNumber.ganzzahl("10000"))).equalsValue(FinDslNumber.ganzzahl("85000"))).toBe(true);
    });
});

describe("§ 23 Abs. 1 × § 31 Satz 2 KStG — Steuerbetrag und Rundung", () => {
    it("95.000 € × 15 % (VZ 2025) = 14.250 €", () => {
        expect(Kst.körperschaftsteuerBetrag(Euro.von(FinDslNumber.ganzzahl("95000")), Ganzzahl.von(FinDslNumber.ganzzahl("2025"))).equalsValue(FinDslNumber.ganzzahl("14250"))).toBe(true);
    });

    it("§ 31 S. 2: 12.345 € × 15 % = 1.851,75 € → abgerundet 1.851 €", () => {
        expect(Kst.körperschaftsteuerBetrag(Euro.von(FinDslNumber.ganzzahl("12345")), Ganzzahl.von(FinDslNumber.ganzzahl("2025"))).equalsValue(FinDslNumber.ganzzahl("1851"))).toBe(true);
    });

    it("1.000.000 € × 14 % (VZ 2028) = 140.000 €", () => {
        expect(Kst.körperschaftsteuerBetrag(Euro.von(FinDslNumber.ganzzahl("1000000")), Ganzzahl.von(FinDslNumber.ganzzahl("2028"))).equalsValue(FinDslNumber.ganzzahl("140000"))).toBe(true);
    });

    it("zu versteuerndes Einkommen 0 → keine Steuer", () => {
        expect(Kst.körperschaftsteuerBetrag(Euro.von(FinDslNumber.ganzzahl("0")), Ganzzahl.von(FinDslNumber.ganzzahl("2025"))).equalsValue(FinDslNumber.ganzzahl("0"))).toBe(true);
    });
});

describe("§ 23 Absatz 2 KStG — Anpassung", () => {
    it("Anpassungssatz 0 % → unverändert", () => {
        expect(Kst.anwenden23Abs2(Euro.von(FinDslNumber.ganzzahl("10000")), Prozent.von(FinDslNumber.prozent("0"))).equalsValue(FinDslNumber.ganzzahl("10000"))).toBe(true);
    });

    it("Anpassung +10 % → 11.000 €", () => {
        expect(Kst.anwenden23Abs2(Euro.von(FinDslNumber.ganzzahl("10000")), Prozent.von(FinDslNumber.prozent("0.1"))).equalsValue(FinDslNumber.ganzzahl("11000"))).toBe(true);
    });
});

describe("Gesamtberechnung (§§ 24 → 7 → 23 → 31 KStG)", () => {
    it("Verein ohne Ausschluss, VZ 2025, Einkommen 100.000 €", () => {
        const e: Kst.KörperschaftsteuerErgebnis = Kst.berechneKörperschaftsteuer(new Kst.KörperschaftsteuerFall(Euro.von(FinDslNumber.ganzzahl("100000")), Ganzzahl.von(FinDslNumber.ganzzahl("2025")), Kst.Freibetragsausschluss.Keiner, Euro.von(FinDslNumber.ganzzahl("0")), Prozent.von(FinDslNumber.prozent("0"))));
        expect(e.freibetragNach24.equalsValue(FinDslNumber.ganzzahl("5000"))).toBe(true);
        expect(e.zuVersteuerndesEinkommen.equalsValue(FinDslNumber.ganzzahl("95000"))).toBe(true);
        expect(e.steuersatz.equalsValue(FinDslNumber.prozent("0.15"))).toBe(true);
        expect(e.körperschaftsteuer.equalsValue(FinDslNumber.ganzzahl("14250"))).toBe(true);
    });

    it("Kapitalgesellschaft (§ 24 Satz 2 Nr. 1), VZ 2028, 1.000.000 €", () => {
        const e: Kst.KörperschaftsteuerErgebnis = Kst.berechneKörperschaftsteuer(new Kst.KörperschaftsteuerFall(Euro.von(FinDslNumber.ganzzahl("1000000")), Ganzzahl.von(FinDslNumber.ganzzahl("2028")), Kst.Freibetragsausschluss.Nr1KapitalLeistungen, Euro.von(FinDslNumber.ganzzahl("0")), Prozent.von(FinDslNumber.prozent("0"))));
        expect(e.freibetragNach24.equalsValue(FinDslNumber.ganzzahl("0"))).toBe(true);
        expect(e.zuVersteuerndesEinkommen.equalsValue(FinDslNumber.ganzzahl("1000000"))).toBe(true);
        expect(e.steuersatz.equalsValue(FinDslNumber.prozent("0.14"))).toBe(true);
        expect(e.körperschaftsteuer.equalsValue(FinDslNumber.ganzzahl("140000"))).toBe(true);
    });

    it("kleines Einkommen 3.000 €, VZ 2032 → zvE 0, keine Steuer", () => {
        const e: Kst.KörperschaftsteuerErgebnis = Kst.berechneKörperschaftsteuer(new Kst.KörperschaftsteuerFall(Euro.von(FinDslNumber.ganzzahl("3000")), Ganzzahl.von(FinDslNumber.ganzzahl("2032")), Kst.Freibetragsausschluss.Keiner, Euro.von(FinDslNumber.ganzzahl("0")), Prozent.von(FinDslNumber.prozent("0"))));
        expect(e.freibetragNach24.equalsValue(FinDslNumber.ganzzahl("3000"))).toBe(true);
        expect(e.zuVersteuerndesEinkommen.equalsValue(FinDslNumber.ganzzahl("0"))).toBe(true);
        expect(e.körperschaftsteuer.equalsValue(FinDslNumber.ganzzahl("0"))).toBe(true);
    });

    it("mit § 25-Freibetrag 10.000 €, VZ 2025, Einkommen 100.000 €", () => {
        const e: Kst.KörperschaftsteuerErgebnis = Kst.berechneKörperschaftsteuer(new Kst.KörperschaftsteuerFall(Euro.von(FinDslNumber.ganzzahl("100000")), Ganzzahl.von(FinDslNumber.ganzzahl("2025")), Kst.Freibetragsausschluss.Keiner, Euro.von(FinDslNumber.ganzzahl("10000")), Prozent.von(FinDslNumber.prozent("0"))));
        expect(e.zuVersteuerndesEinkommen.equalsValue(FinDslNumber.ganzzahl("85000"))).toBe(true);
        expect(e.körperschaftsteuer.equalsValue(FinDslNumber.ganzzahl("12750"))).toBe(true);
    });
});