--
# Einkommensteuer — Veranlagungsschema § 2 EStG + Tarif § 32a EStG (VZ 2026)

Bildet die **Einkommensteuer-Kaskade** nach § 2 EStG ab, schließt mit
dem tariflichen Einkommensteuerbetrag (§ 32a) und der festzusetzenden
Einkommensteuer (§ 2 Abs. 6). Maßgebliche Quelle:
`examples/est/estg.xml` (juris-Stand 2026-05-06), § 32a/§ 32 Abs. 6 in
der konsolidierten Fassung „ab Veranlagungszeitraum 2026".

Gesetzliche Reihenfolge (jede Stufe = eigene Funktion, auditierbar):
Summe der Einkünfte (§ 2 Abs. 1–3) → Gesamtbetrag der Einkünfte
(§ 2 Abs. 3) → Einkommen (§ 2 Abs. 4) → zu versteuerndes Einkommen
(§ 2 Abs. 5) → tarifliche Einkommensteuer (§ 32a) → festzusetzende
Einkommensteuer (§ 2 Abs. 6).

**Echte Rechenvorschrift (modelliert) — auch mehr-entitätig:**
- **§ 32 Abs. 6 Kinderfreibetrag/BEA je Kind** über `Liste<Kind>`
  (3.414 € + 1.464 € je Kind, Verdopplung Satz 2/3 per Faktor,
  Zwölftelung Satz 5, Auslands­kürzung Satz 4) → aggregiert.
- **§ 33 Abs. 1/3 außergewöhnliche Belastungen**: Summe der
  zwangsläufigen Aufwendungen abzüglich der **zumutbaren Belastung**
  (§ 33 Abs. 3, **staffelweise** über die drei GdE-Stufen × vier
  Personengruppen).
- **§ 10b Abs. 1 Spenden**: abziehbar bis zum Höchstbetrag
  max(20 % GdE; 4 ‰ (Umsätze + Löhne)).
- Die gesamte § 2-Verknüpfungs-Arithmetik + § 32a-Tarif + § 2 Abs. 6.

**Geprüfte Eingabe, weil anderes Recht / Verfahren (nicht Tooling-
Grenze):**
- **Ermittlung der sieben Einkunftsarten** je Art (Gewinn §§ 4–7k/13a,
  Überschuss §§ 8–9a, § 20 Abs. 9, AfA § 7 mehrperiodig) — saldierter
  Betrag je Art als Eingabe.
- **§ 24a / § 24b / § 13 Abs. 3** — Beträge als Eingabe (eigene §§).
- **Übrige Sonderausgaben §§ 10–10c** außer § 10b (Vorsorge­aufwen-
  dungen mit eigenen Höchstbeträgen/Günstigerprüfung) — Aggregat-
  Eingabe `sonstigeSonderausgaben`.
- **Verlustabzug § 10d** (mehrperiodig) — negatives zvE → 0 tariflich,
  Verlustabzug selbst nicht modelliert.
- **Sachverhalte je Kind** (Kindschaftsverhältnis → `faktor`,
  Auslands-Ländergruppe → `auslandsfaktor`, Berücksichtigungs­monate)
  und die § 33-Zwangsläufigkeit/Angemessenheit (§ 33 Abs. 2),
  § 10b-Empfänger-Voraussetzungen (§ 10b Abs. 2) — Sachverhalt.
- **§ 32a Abs. 6** Witwen-/Gnadensplitting; **§ 2 Abs. 6-Komponenten**
  (§§ 34c/35/35a/32d Abs. 3/4 …) als zwei gerichtete Aggregat-Eingaben;
  Annexsteuern (SolZ, KiSt). Verfahren/eigene Gesetze.

**Modellierungs-Entscheidung (Statut schweigt):** jede listen-
abgeleitete Kategorie-Abzugssumme (Kinderfreibetrag, abziehbare agB,
abziehbare Spenden) wird auf **volle Euro abgerundet** (`.abrunden()`
mit Euro-Kontext),
bevor sie in die Euro-Kaskade eingeht — deterministisch, konsistent mit
§ 32a Abs. 1 Satz 1 (zvE auf volle Euro), fiskuskonservativ.
--

// ===========================================================================
// Konstanten — § 32a Absatz 1 EStG (Fassung ab VZ 2026)
// ===========================================================================

--
Grundfreibetrag — bis zu diesem zu versteuernden Einkommen beträgt die
tarifliche Einkommensteuer 0 (§ 32a Absatz 1 Satz 2 Nummer 1).
--
@Quelle("§ 32a Absatz 1 Satz 2 Nummer 1 EStG")
konst GFB: Euro = 12.348

-- Obere Grenze der Eingangs-Progressionszone (Zone 2). --
@Quelle("§ 32a Absatz 1 Satz 2 Nummer 2 EStG")
konst ZONE_2_OBERGRENZE: Euro = 17.799

-- Obere Grenze der Hauptprogressionszone (Zone 3). --
@Quelle("§ 32a Absatz 1 Satz 2 Nummer 3 EStG")
konst ZONE_3_OBERGRENZE: Euro = 69.878

-- Obere Grenze der ersten Proportionalzone (Zone 4); darüber Zone 5. --
@Quelle("§ 32a Absatz 1 Satz 2 Nummer 4 EStG")
konst ZONE_4_OBERGRENZE: Euro = 277.825

--
Teiler für die Größen „y" und „z": ein Zehntausendstel des den
jeweiligen Sockel übersteigenden, auf vollen Euro abgerundeten zvE
(§ 32a Absatz 1 Satz 3 und 4).
--
@Quelle("§ 32a Absatz 1 Satz 3 und 4 EStG")
konst ZEHNTAUSEND: Ganzzahl = 10.000

-- Progressionskoeffizient der Zone 2 (Faktor vor y²). --
@Quelle("§ 32a Absatz 1 Satz 2 Nummer 2 EStG")
konst ZONE_2_PROGRESSION: Dezimal = 914,51

-- Linearer Koeffizient der Zone 2 (Faktor vor y). --
@Quelle("§ 32a Absatz 1 Satz 2 Nummer 2 EStG")
konst ZONE_2_LINEAR: Dezimal = 1.400

-- Progressionskoeffizient der Zone 3 (Faktor vor z²). --
@Quelle("§ 32a Absatz 1 Satz 2 Nummer 3 EStG")
konst ZONE_3_PROGRESSION: Dezimal = 173,10

-- Linearer Koeffizient der Zone 3 (Faktor vor z). --
@Quelle("§ 32a Absatz 1 Satz 2 Nummer 3 EStG")
konst ZONE_3_LINEAR: Dezimal = 2.397

-- Konstanter Summand der Zone 3 (Anschluss an Zone 2). --
@Quelle("§ 32a Absatz 1 Satz 2 Nummer 3 EStG")
konst ZONE_3_KONSTANTE: Dezimal = 1.034,87

-- Grenzsteuersatz der Proportionalzone 4 (Spitzensteuersatz). --
@Quelle("§ 32a Absatz 1 Satz 2 Nummer 4 EStG")
konst ZONE_4_SATZ: Prozent = 42%

-- Abzugsbetrag der Zone 4 (0,42 · x − ZONE_4_ABZUG). --
@Quelle("§ 32a Absatz 1 Satz 2 Nummer 4 EStG")
konst ZONE_4_ABZUG: EuroCent = 11.135,63

-- Grenzsteuersatz der Proportionalzone 5 („Reichensteuer"). --
@Quelle("§ 32a Absatz 1 Satz 2 Nummer 5 EStG")
konst ZONE_5_SATZ: Prozent = 45%

-- Abzugsbetrag der Zone 5 (0,45 · x − ZONE_5_ABZUG). --
@Quelle("§ 32a Absatz 1 Satz 2 Nummer 5 EStG")
konst ZONE_5_ABZUG: EuroCent = 19.470,38

// ===========================================================================
// Konstanten — § 32 Abs. 6 (Kinderfreibetrag), § 33 Abs. 3, § 10b
// ===========================================================================

-- Kinderfreibetrag (sächliches Existenzminimum) je Kind. --
@Quelle("§ 32 Absatz 6 Satz 1 EStG")
konst KINDERFREIBETRAG: Euro = 3.414

-- Freibetrag Betreuungs-/Erziehungs-/Ausbildungsbedarf (BEA) je Kind. --
@Quelle("§ 32 Absatz 6 Satz 1 EStG")
konst BEA_FREIBETRAG: Euro = 1.464

-- Teiler für die Zwölftelung je nicht erfüllten Kalendermonat. --
@Quelle("§ 32 Absatz 6 Satz 5 EStG")
konst ZWOELF: Ganzzahl = 12

-- Erste GdE-Stufe der zumutbaren Belastung (§ 33 Abs. 3). --
@Quelle("§ 33 Absatz 3 EStG")
konst ZMB_STUFE_1: Euro = 15.340

-- Zweite GdE-Stufe der zumutbaren Belastung (§ 33 Abs. 3). --
@Quelle("§ 33 Absatz 3 EStG")
konst ZMB_STUFE_2: Euro = 51.130

-- Zumutbare Belastung — keine Kinder, Grundtarif (§ 32a Abs. 1): Stufe 1/2/3. --
@Quelle("§ 33 Absatz 3 Satz 1 Nummer 1 Buchstabe a EStG")
konst ZMB_OHNE_KIND_GRUND_1: Prozent = 5%
@Quelle("§ 33 Absatz 3 Satz 1 Nummer 1 Buchstabe a EStG")
konst ZMB_OHNE_KIND_GRUND_2: Prozent = 6%
@Quelle("§ 33 Absatz 3 Satz 1 Nummer 1 Buchstabe a EStG")
konst ZMB_OHNE_KIND_GRUND_3: Prozent = 7%

-- Zumutbare Belastung — keine Kinder, Splitting (§ 32a Abs. 5/6): Stufe 1/2/3. --
@Quelle("§ 33 Absatz 3 Satz 1 Nummer 1 Buchstabe b EStG")
konst ZMB_OHNE_KIND_SPLIT_1: Prozent = 4%
@Quelle("§ 33 Absatz 3 Satz 1 Nummer 1 Buchstabe b EStG")
konst ZMB_OHNE_KIND_SPLIT_2: Prozent = 5%
@Quelle("§ 33 Absatz 3 Satz 1 Nummer 1 Buchstabe b EStG")
konst ZMB_OHNE_KIND_SPLIT_3: Prozent = 6%

-- Zumutbare Belastung — ein oder zwei Kinder: Stufe 1/2/3. --
@Quelle("§ 33 Absatz 3 Satz 1 Nummer 2 Buchstabe a EStG")
konst ZMB_1_2_KINDER_1: Prozent = 2%
@Quelle("§ 33 Absatz 3 Satz 1 Nummer 2 Buchstabe a EStG")
konst ZMB_1_2_KINDER_2: Prozent = 3%
@Quelle("§ 33 Absatz 3 Satz 1 Nummer 2 Buchstabe a EStG")
konst ZMB_1_2_KINDER_3: Prozent = 4%

-- Zumutbare Belastung — drei oder mehr Kinder: Stufe 1/2/3. --
@Quelle("§ 33 Absatz 3 Satz 1 Nummer 2 Buchstabe b EStG")
konst ZMB_AB_3_KINDER_1: Prozent = 1%
@Quelle("§ 33 Absatz 3 Satz 1 Nummer 2 Buchstabe b EStG")
konst ZMB_AB_3_KINDER_2: Prozent = 1%
@Quelle("§ 33 Absatz 3 Satz 1 Nummer 2 Buchstabe b EStG")
konst ZMB_AB_3_KINDER_3: Prozent = 2%

-- Spenden-Höchstbetrag Variante 1: Anteil des Gesamtbetrags der Einkünfte. --
@Quelle("§ 10b Absatz 1 Satz 1 Nummer 1 EStG")
konst SPENDEN_HB_GDE: Prozent = 20%

-- Spenden-Höchstbetrag Variante 2: Promille der Umsätze + Löhne (4 ‰). --
@Quelle("§ 10b Absatz 1 Satz 1 Nummer 2 EStG")
konst SPENDEN_HB_UMSATZ: Prozent = 0,4%

// ===========================================================================
// Tarifformel — § 32a Absatz 1 EStG
// ===========================================================================

--
Tariflicher Einkommensteuerbetrag nach dem Grundtarif (§ 32a Absatz 1
EStG). Das zu versteuernde Einkommen ist nach Satz 1 auf volle Euro
abgerundet zu verstehen (durch den `Euro`-Typ bereits ganzzahlig). Der
sich ergebende Steuerbetrag wird nach Satz 6 auf den nächsten vollen
Euro abgerundet.

Mit den Hilfsgrößen $y = \frac{\text{zvE} - \text{GFB}}{10000}$ (Zone 2)
und $z = \frac{\text{zvE} - \text{ZONE\_2}}{10000}$ (Zone 3) lautet der
Tarif zonenweise:

$$
\text{ESt}(\text{zvE}) =
\begin{cases}
0 & \text{zvE} \le \text{GFB} \\
(a_2\,y + b_2)\,y & \text{Zone 2} \\
(a_3\,z + b_3)\,z + c_3 & \text{Zone 3} \\
0{,}42 \cdot \text{zvE} - C_4 & \text{Zone 4} \\
0{,}45 \cdot \text{zvE} - C_5 & \text{Zone 5}
\end{cases}
$$

@param zve zu versteuerndes Einkommen in vollen Euro (geprüfte
           Eingabe, ≥ 0; negativ → `abbruch`)
@rückgabe  tarifliche Einkommensteuer in vollen Euro (Grundtarif)
--
@Quelle("§ 32a Absatz 1 EStG")
fn EstGrundtarif(zve: Euro): Euro = wähle {
    falls zve < 0 als Euro            -> abbruch("§ 32a Absatz 1 EStG: zu versteuerndes Einkommen darf nicht negativ sein (zvE=${zve})")
    falls zve < GFB + 1               -> 0
    falls zve < ZONE_2_OBERGRENZE + 1 -> {
        var y: Dezimal = (zve - GFB) / ZEHNTAUSEND
        var roh: Dezimal = (ZONE_2_PROGRESSION * y + ZONE_2_LINEAR) * y
        roh.abrunden() als Euro
    }
    falls zve < ZONE_3_OBERGRENZE + 1 -> {
        var z: Dezimal = (zve - ZONE_2_OBERGRENZE) / ZEHNTAUSEND
        var roh: Dezimal = (ZONE_3_PROGRESSION * z + ZONE_3_LINEAR) * z + ZONE_3_KONSTANTE
        roh.abrunden() als Euro
    }
    falls zve < ZONE_4_OBERGRENZE + 1 -> (ZONE_4_SATZ * zve - ZONE_4_ABZUG).abrunden()
    sonst                             -> (ZONE_5_SATZ * zve - ZONE_5_ABZUG).abrunden()
}

--
Tariflicher Einkommensteuerbetrag nach dem Splitting-Verfahren für
zusammen veranlagte Ehegatten (§ 32a Absatz 5 EStG): das Zweifache des
Steuerbetrags, der sich für die Hälfte des gemeinsam zu versteuernden
Einkommens nach Absatz 1 ergibt. Die Hälfte wird nach Absatz 1 Satz 1
auf volle Euro abgerundet.

@param zve gemeinsam zu versteuerndes Einkommen der Ehegatten in vollen
           Euro (geprüfte Eingabe, ≥ 0; negativ → `abbruch`)
@rückgabe  tarifliche Einkommensteuer in vollen Euro (Splitting)
--
@Quelle("§ 32a Absatz 5 EStG")
fn EstSplitting(zve: Euro): Euro = wähle {
    falls zve < 0 als Euro -> abbruch("§ 32a Absatz 5 EStG: gemeinsam zu versteuerndes Einkommen darf nicht negativ sein (zvE=${zve})")
    sonst                  -> {
        var halbesZve: Euro = (zve / 2).abrunden() als Euro
        2 * EstGrundtarif(halbesZve)
    }
}

// ===========================================================================
// Allgemeine Helfer (modul-intern)
// ===========================================================================

-- Anteil eines Euro-Betrags in der Staffel-Spanne [von, obereGrenze]. --
fn _Spanne(betrag: Euro, von: Euro, obereGrenze: Euro): Euro =
    (betrag.höchstens(obereGrenze) - von).mindestens(0)

// ===========================================================================
// Veranlagungsschema — § 2 EStG (Kaskade zu versteuerndes Einkommen)
// ===========================================================================
//
// Veranlagungsform = EINGEBAUTE Aufzählung `Tarifart`
// (`Grundtarif`/`Splitting`, SPEC § 8.5) — global, kein Import.

--
Sachverhalte je Kind (§ 32 Abs. 6). Die Beträge sind Gesetz; diese
Felder sind die Sachverhalts-Eingaben je Kind.

@param faktor                1 = einfacher Freibetrag; 2 = verdoppelt
                             (§ 32 Abs. 6 Satz 2/3 — Kind zu beiden
                             Ehegatten bzw. Satz-3-Fälle)
@param berücksichtigteMonate Monate mit erfüllten Voraussetzungen
                             (§ 32 Abs. 6 Satz 5: je fehlendem Monat 1/12)
@param auslandsfaktor        Ländergruppen-Anteil für Auslandskinder
                             (§ 32 Abs. 6 Satz 4; 100 % = Inlandskind)
--
@Quelle("§ 32 Absatz 6 EStG")
datensatz Kind(
    faktor:                Ganzzahl = 1,       // § 32 Abs. 6 Satz 2/3
    berücksichtigteMonate: Ganzzahl = 12,     // § 32 Abs. 6 Satz 5
    auslandsfaktor:        Prozent = 100%,     // § 32 Abs. 6 Satz 4
)

--
Eingaben für die Einkommensteuer-Veranlagung.

@param einkuenfteLandUndForstwirtschaft   Einkünfte § 2 Abs. 1 Nr. 1 (§§ 13–14)
@param einkuenfteGewerbebetrieb           Einkünfte § 2 Abs. 1 Nr. 2 (§§ 15–17)
@param einkuenfteSelbstaendigeArbeit      Einkünfte § 2 Abs. 1 Nr. 3 (§ 18)
@param einkuenfteNichtselbstaendigeArbeit Einkünfte § 2 Abs. 1 Nr. 4 (§ 19)
@param einkuenfteKapitalvermoegen         veranlagte Einkünfte § 2 Abs. 1 Nr. 5 (§ 20)
@param einkuenfteVermietungVerpachtung    Einkünfte § 2 Abs. 1 Nr. 6 (§ 21)
@param sonstigeEinkuenfte                 sonstige Einkünfte § 2 Abs. 1 Nr. 7 (§ 22)
@param altersentlastungsbetrag            Altersentlastungsbetrag (§ 24a)
@param entlastungsbetragAlleinerziehende  Entlastungsbetrag Alleinerziehende (§ 24b)
@param freibetragLandUndForstwirtschaft   Abzug nach § 13 Absatz 3
@param sonstigeSonderausgaben             Sonderausgaben §§ 10–10c ohne § 10b
                                          (Vorsorge u. a. — anderes Recht)
@param spenden                            abziehbare Zuwendungen § 10b Abs. 1
                                          (Voraussetzungen Abs. 2 = Sachverhalt)
@param umsaetzeUndLoehne                  Basis der 4-‰-Höchstbetrags-
                                          Variante (§ 10b Abs. 1 Satz 1 Nr. 2)
@param aussergewoehnlicheAufwendungen     zwangsläufige Aufwendungen § 33
                                          (Abs. 2 = Sachverhalt), vor
                                          zumutbarer Belastung
@param kinder                             zu berücksichtigende Kinder (§ 32 Abs. 6)
@param sonstigeAbzuegeVomEinkommen        sonstige vom Einkommen abzuziehende
                                          Beträge (§ 2 Abs. 5 Satz 1)
@param tarifart                           Grund- oder Splittingtarif (§§ 26, 26b)
@param anrechnungenUndErmaessigungen      § 2 Abs. 6 „vermindert um"
@param hinzurechnungen                    § 2 Abs. 6 „vermehrt um" (S. 1–3)
--
@Quelle("§ 2 EStG")
datensatz EinkommensteuerFall(
    einkuenfteLandUndForstwirtschaft:   Euro = 0,            // § 2 Abs. 1 Nr. 1
    einkuenfteGewerbebetrieb:           Euro = 0,            // § 2 Abs. 1 Nr. 2
    einkuenfteSelbstaendigeArbeit:      Euro = 0,            // § 2 Abs. 1 Nr. 3
    einkuenfteNichtselbstaendigeArbeit: Euro = 0,            // § 2 Abs. 1 Nr. 4
    einkuenfteKapitalvermoegen:         Euro = 0,            // § 2 Abs. 1 Nr. 5
    einkuenfteVermietungVerpachtung:    Euro = 0,            // § 2 Abs. 1 Nr. 6
    sonstigeEinkuenfte:                 Euro = 0,            // § 2 Abs. 1 Nr. 7
    altersentlastungsbetrag:            Euro = 0,            // § 24a
    entlastungsbetragAlleinerziehende:  Euro = 0,            // § 24b
    freibetragLandUndForstwirtschaft:   Euro = 0,            // § 13 Abs. 3
    sonstigeSonderausgaben:             Euro = 0,            // §§ 10–10c o. § 10b
    spenden:                            Liste<Euro> = []<Euro>,   // § 10b Abs. 1
    umsaetzeUndLoehne:                  Euro = 0,            // § 10b Abs. 1 S. 1 Nr. 2
    aussergewoehnlicheAufwendungen:     Liste<Euro> = []<Euro>,   // § 33
    kinder:                             Liste<Kind> = []<Kind>,   // § 32 Abs. 6
    sonstigeAbzuegeVomEinkommen:        Euro = 0,            // § 2 Abs. 5 S. 1
    tarifart:                           Tarifart = Grundtarif,    // §§ 26, 26b
    anrechnungenUndErmaessigungen:      Euro = 0,            // § 2 Abs. 6 S. 1
    hinzurechnungen:                    Euro = 0,            // § 2 Abs. 6 S. 1–3
)

--
Ergebnis der Veranlagung — jede Zwischengröße der gesetzlichen
Reihenfolge des § 2 EStG als eigenes Feld (Schritt-für-Schritt-Audit).

@param summeDerEinkuenfte                      Summe der Einkünfte (§ 2 Abs. 1–3)
@param gesamtbetragDerEinkuenfte               Gesamtbetrag der Einkünfte (§ 2 Abs. 3)
@param kinderfreibetraege                      Freibeträge § 32 Abs. 6 (aggregiert)
@param abziehbareAussergewoehnlicheBelastungen § 33 nach zumutbarer Belastung
@param einkommen                               Einkommen (§ 2 Abs. 4)
@param zuVersteuerndesEinkommen                zu versteuerndes Einkommen (§ 2 Abs. 5)
@param tariflicheEinkommensteuer               tarifliche Einkommensteuer (§ 32a)
@param festzusetzendeEinkommensteuer           festzusetzende Einkommensteuer (§ 2 Abs. 6)
--
@Quelle("§ 2 EStG")
datensatz EinkommensteuerErgebnis(
    summeDerEinkuenfte:                      Euro,   // § 2 Abs. 1–3
    gesamtbetragDerEinkuenfte:               Euro,   // § 2 Abs. 3
    kinderfreibetraege:                      Euro,   // § 32 Abs. 6
    abziehbareAussergewoehnlicheBelastungen: Euro,   // § 33
    einkommen:                               Euro,   // § 2 Abs. 4
    zuVersteuerndesEinkommen:                Euro,   // § 2 Abs. 5
    tariflicheEinkommensteuer:               Euro,   // § 32a
    festzusetzendeEinkommensteuer:           Euro,   // § 2 Abs. 6
)

--
Summe der Einkünfte (§ 2 Absatz 1 und 2 EStG): Summe der sieben
Einkunftsarten. Negative Einkünfte einzelner Arten mindern die Summe
(einkunftsartübergreifende Verlustverrechnungs­beschränkungen sind
anderes Recht und in den Eingaben bereits berücksichtigt).

@param fall die Veranlagungseingaben
@rückgabe   Summe der Einkünfte in vollen Euro
--
@Quelle("§ 2 Absatz 1 und 2 EStG")
fn SummeDerEinkuenfte(fall: EinkommensteuerFall): Euro =
    fall.einkuenfteLandUndForstwirtschaft
    + fall.einkuenfteGewerbebetrieb
    + fall.einkuenfteSelbstaendigeArbeit
    + fall.einkuenfteNichtselbstaendigeArbeit
    + fall.einkuenfteKapitalvermoegen
    + fall.einkuenfteVermietungVerpachtung
    + fall.sonstigeEinkuenfte

--
Gesamtbetrag der Einkünfte (§ 2 Absatz 3 EStG): Summe der Einkünfte
vermindert um Altersentlastungsbetrag (§ 24a), Entlastungsbetrag für
Alleinerziehende (§ 24b) und Abzug nach § 13 Absatz 3.

@param summe Summe der Einkünfte (Stufe zuvor)
@param fall  die Veranlagungseingaben
@rückgabe    Gesamtbetrag der Einkünfte in vollen Euro
--
@Quelle("§ 2 Absatz 3 EStG")
fn GesamtbetragDerEinkuenfte(summe: Euro, fall: EinkommensteuerFall): Euro =
    summe
    - fall.altersentlastungsbetrag
    - fall.entlastungsbetragAlleinerziehende
    - fall.freibetragLandUndForstwirtschaft

--
Kinderfreibetrag + BEA-Freibetrag, aggregiert über alle Kinder
(§ 32 Absatz 6 EStG): je Kind `(3.414 + 1.464) · faktor ·
berücksichtigteMonate/12 · auslandsfaktor`; die Summe wird auf volle
Euro abgerundet (Modellierungs-Entscheidung, s. Datei-Doc).

@param kinder die zu berücksichtigenden Kinder
@rückgabe     Gesamt-Freibetrag in vollen Euro
--
@Quelle("§ 32 Absatz 6 EStG")
fn KinderfreibetragGesamt(kinder: Liste<Kind>): Euro =
    (
    kinder.zuordnen( {
            k ->
            (KINDERFREIBETRAG + BEA_FREIBETRAG)
                * k.faktor
                * (k.berücksichtigteMonate / ZWOELF)
                * k.auslandsfaktor
        }
    ).summe()
    ).abrunden()

--
Zumutbare Belastung (§ 33 Absatz 3 EStG) — **staffelweise** über die
drei GdE-Stufen (bis 15.340 / bis 51.130 / darüber), mit den
Prozentsätzen der vier Personengruppen (keine Kinder Grund/Splitting,
1–2 Kinder, ≥ 3 Kinder). „Kinder" sind die mit Freibetrag § 32 Abs. 6
oder Kindergeld-Anspruch (§ 33 Abs. 3 Satz 2 — hier `kinderzahl`).

@param gde        Gesamtbetrag der Einkünfte
@param kinderzahl Zahl der zu berücksichtigenden Kinder
@param tarifart   Grund- oder Splittingtarif (nur bei 0 Kindern relevant)
@rückgabe         zumutbare Belastung (EuroCent-genau)
--
@Quelle("§ 33 Absatz 3 EStG")
fn ZumutbareBelastung(gde: Euro, kinderzahl: Ganzzahl, tarifart: Tarifart): EuroCent =
    _ZmbSatz(1, kinderzahl, tarifart)
    * _Spanne(gde, 0, ZMB_STUFE_1)
    + _ZmbSatz(2, kinderzahl, tarifart)
    * _Spanne(gde, ZMB_STUFE_1, ZMB_STUFE_2)
    + _ZmbSatz(3, kinderzahl, tarifart)
    * (gde - ZMB_STUFE_2).mindestens(0)

-- Prozentsatz der zumutbaren Belastung für GdE-Stufe (1/2/3). --
@Quelle("§ 33 Absatz 3 Satz 1 EStG")
fn _ZmbSatz(stufe: Ganzzahl, kinderzahl: Ganzzahl, tarifart: Tarifart): Prozent = wähle {
    falls kinderzahl < 1 -> wähle (tarifart) {
        falls Grundtarif -> wähle {
            falls stufe < 2 -> ZMB_OHNE_KIND_GRUND_1
            falls stufe < 3 -> ZMB_OHNE_KIND_GRUND_2
            sonst           -> ZMB_OHNE_KIND_GRUND_3
        }
        falls Splitting  -> wähle {
            falls stufe < 2 -> ZMB_OHNE_KIND_SPLIT_1
            falls stufe < 3 -> ZMB_OHNE_KIND_SPLIT_2
            sonst           -> ZMB_OHNE_KIND_SPLIT_3
        }
    }
    falls kinderzahl < 3 -> wähle {
        falls stufe < 2 -> ZMB_1_2_KINDER_1
        falls stufe < 3 -> ZMB_1_2_KINDER_2
        sonst           -> ZMB_1_2_KINDER_3
    }
    sonst                -> wähle {
        falls stufe < 2 -> ZMB_AB_3_KINDER_1
        falls stufe < 3 -> ZMB_AB_3_KINDER_2
        sonst           -> ZMB_AB_3_KINDER_3
    }
}

--
Abziehbare außergewöhnliche Belastungen (§ 33 Absatz 1 EStG): Summe der
zwangsläufigen Aufwendungen, soweit sie die zumutbare Belastung
(§ 33 Abs. 3) übersteigt; nie negativ, auf volle Euro abgerundet.

@param fall die Veranlagungseingaben
@param gde  Gesamtbetrag der Einkünfte (Bezugsgröße der zumutbaren Belastung)
@rückgabe   abziehbarer Betrag in vollen Euro
--
@Quelle("§ 33 Absatz 1 EStG")
fn AbziehbareAussergewoehnlicheBelastungen(fall: EinkommensteuerFall, gde: Euro): Euro =
    (
        (fall.aussergewoehnlicheAufwendungen.summe() als EuroCent)
            - ZumutbareBelastung(gde, fall.kinder.länge, fall.tarifart)
    ).mindestens(0,00).abrunden()

--
Abziehbare Spenden (§ 10b Absatz 1 EStG): Summe der Zuwendungen,
gedeckelt auf den Höchstbetrag = größerer Wert aus 20 % des
Gesamtbetrags der Einkünfte und 4 ‰ der Umsätze + Löhne; auf volle
Euro abgerundet.

@param fall die Veranlagungseingaben
@param gde  Gesamtbetrag der Einkünfte (Bezugsgröße Variante 1)
@rückgabe   abziehbare Spenden in vollen Euro
--
@Quelle("§ 10b Absatz 1 EStG")
fn AbziehbareSpenden(fall: EinkommensteuerFall, gde: Euro): Euro = {
    var grenzeGde:    Euro = (SPENDEN_HB_GDE    * gde).abrunden()
    var grenzeUmsatz: Euro = (SPENDEN_HB_UMSATZ * fall.umsaetzeUndLoehne).abrunden()
    var hoechstbetrag: Euro = grenzeGde.mindestens(grenzeUmsatz)
    fall.spenden.summe().höchstens(hoechstbetrag)
}

--
Einkommen (§ 2 Absatz 4 EStG): Gesamtbetrag der Einkünfte vermindert
um die Sonderausgaben (sonstige + abziehbare Spenden § 10b) und die
abziehbaren außergewöhnlichen Belastungen (§ 33).

@param gesamtbetrag Gesamtbetrag der Einkünfte (Stufe zuvor)
@param fall         die Veranlagungseingaben
@rückgabe           Einkommen in vollen Euro
--
@Quelle("§ 2 Absatz 4 EStG")
fn Einkommen(gesamtbetrag: Euro, fall: EinkommensteuerFall): Euro =
    gesamtbetrag
    - fall.sonstigeSonderausgaben
    - AbziehbareSpenden(fall, gesamtbetrag)
    - AbziehbareAussergewoehnlicheBelastungen(fall, gesamtbetrag)

--
Zu versteuerndes Einkommen (§ 2 Absatz 5 Satz 1 EStG): Einkommen
vermindert um die Freibeträge nach § 32 Absatz 6 (Kinder) und die
sonstigen vom Einkommen abzuziehenden Beträge.

@param einkommen Einkommen (Stufe zuvor)
@param fall      die Veranlagungseingaben
@rückgabe        zu versteuerndes Einkommen in vollen Euro (kann bei
                 Verlusten negativ sein — § 10d nicht modelliert)
--
@Quelle("§ 2 Absatz 5 Satz 1 EStG")
fn ZuVersteuerndesEinkommen(einkommen: Euro, fall: EinkommensteuerFall): Euro =
    einkommen
    - KinderfreibetragGesamt(fall.kinder)
    - fall.sonstigeAbzuegeVomEinkommen

--
Tarifliche Einkommensteuer (§ 32a EStG): Grund- oder Splittingtarif.
Negatives zvE → 0 (§ 32a für negatives zvE nicht definiert; § 10d
Verlustabzug ist Verfahren, nicht modelliert).

@param zve      zu versteuerndes Einkommen in vollen Euro
@param tarifart Grund- oder Splittingtarif
@rückgabe       tarifliche Einkommensteuer in vollen Euro
--
@Quelle("§ 32a Absatz 1 und 5 EStG")
fn TariflicheEinkommensteuer(zve: Euro, tarifart: Tarifart): Euro = wähle (tarifart) {
    falls Grundtarif -> EstGrundtarif(zve.mindestens(0))
    falls Splitting  -> EstSplitting(zve.mindestens(0))
}

--
Festzusetzende Einkommensteuer (§ 2 Absatz 6 EStG): tarifliche Steuer
vermindert um Anrechnungen/Steuerermäßigungen, vermehrt um
Hinzurechnungen (Komponenten + Kappungen = anderes Recht/Eingabe;
keine Untergrenze — der Wortlaut sieht keine vor).

@param tariflich tarifliche Einkommensteuer (Stufe zuvor)
@param fall      die Veranlagungseingaben
@rückgabe        festzusetzende Einkommensteuer in vollen Euro
--
@Quelle("§ 2 Absatz 6 EStG")
fn FestzusetzendeEinkommensteuer(tariflich: Euro, fall: EinkommensteuerFall): Euro =
    tariflich
    - fall.anrechnungenUndErmaessigungen
    + fall.hinzurechnungen

--
Orchestrator — vollständige Veranlagung in gesetzlicher Reihenfolge
(§ 2 EStG). Füllt jede Zwischengröße ins Ergebnis-Datensatz.

@param fall die Veranlagungseingaben
@rückgabe   das Veranlagungsergebnis mit allen Zwischengrößen
--
@Quelle("§ 2 EStG, § 32a EStG")
fn BerechneEinkommensteuer(fall: EinkommensteuerFall): EinkommensteuerErgebnis = {
    var sde: Euro = SummeDerEinkuenfte(fall)
    var gde: Euro = GesamtbetragDerEinkuenfte(sde, fall)
    var kfb: Euro = KinderfreibetragGesamt(fall.kinder)
    var agb: Euro = AbziehbareAussergewoehnlicheBelastungen(fall, gde)
    var ein: Euro = Einkommen(gde, fall)
    var zve: Euro = ZuVersteuerndesEinkommen(ein, fall)
    var tariflich: Euro = TariflicheEinkommensteuer(zve, fall.tarifart)
    var fest: Euro = FestzusetzendeEinkommensteuer(tariflich, fall)
    EinkommensteuerErgebnis(
        summeDerEinkuenfte                      = sde,
        gesamtbetragDerEinkuenfte               = gde,
        kinderfreibetraege                      = kfb,
        abziehbareAussergewoehnlicheBelastungen = agb,
        einkommen                               = ein,
        zuVersteuerndesEinkommen                = zve,
        tariflicheEinkommensteuer               = tariflich,
        festzusetzendeEinkommensteuer           = fest,
    )
}

--
# Akzeptanztests — Einkommensteuer § 2 + § 32a EStG (VZ 2026)

Sollwerte **von Hand aus dem Wortlaut** gerechnet (Quelle
`examples/est/estg.xml`, Fassung „ab Veranlagungszeitraum 2026").
§ 32a Satz 6: Steuerbetrag auf vollen Euro **abgerundet**.

Tarif-Größen: `y = (zvE − 12.348)/10.000`, `z = (zvE − 17.799)/10.000`.
Zonen: Nr. 2 `(914,51·y + 1.400)·y`; Nr. 3
`(173,10·z + 2.397)·z + 1.034,87`; Nr. 4 `0,42·x − 11.135,63`;
Nr. 5 `0,45·x − 19.470,38`. Splitting (Abs. 5) = 2·Grundtarif(⌊zvE/2⌋).

§ 32 Abs. 6: je Kind (3.414 + 1.464)·faktor·Monate/12·auslandsfaktor.
§ 33 Abs. 3 zumutbare Belastung **staffelweise** (Stufen 15.340 /
51.130; Sätze ohne Kind Grund 5/6/7 %, Splitting 4/5/6 %; 1–2 Kinder
2/3/4 %; ≥3 Kinder 1/1/2 %). § 10b: Spenden ≤ max(20 % GdE; 4 ‰
Umsätze+Löhne). Modellierungs-Entscheidung: Kategorie-Abzugssummen
auf volle Euro abgerundet (s. est.findsl Datei-Doc).
--

verwende {
    EstGrundtarif,
    EstSplitting,
    BerechneEinkommensteuer,
    EinkommensteuerFall,
    EinkommensteuerErgebnis,
    Kind,
} aus "./est"

prüfe "§ 32a Abs. 1 Nr. 1 EStG — Zone 1 (Grundfreibetrag)" {
    testfall "zvE = 0 → 0" {
        EstGrundtarif(0) == 0
    }
    testfall "zvE = Grundfreibetrag 12.348 → 0 (bis-Grenze inklusiv)" {
        EstGrundtarif(12.348) == 0
    }
    testfall "zvE = 12.349 (Zone-2-Beginn) → 0 (Steuer rundet auf 0 ab)" {
        // y = 1/10000 = 0,0001 → (914,51·0,0001 + 1.400)·0,0001
        //   = 0,14000914… → abrunden 0
        EstGrundtarif(12.349) == 0
    }
}

prüfe "§ 32a Abs. 1 Nr. 2 EStG — Zone 2 (Eingangsprogression)" {
    testfall "zvE = 15.000" {
        // y = (15.000 − 12.348)/10.000 = 0,2652
        // (914,51·0,2652 + 1.400)·0,2652 = 435,5984… → abrunden 435
        EstGrundtarif(15.000) == 435
    }
    testfall "zvE = 17.799 (obere Grenze Zone 2)" {
        // y = (17.799 − 12.348)/10.000 = 0,5451
        // (914,51·0,5451 + 1.400)·0,5451 = 1.034,99… → abrunden 1.034
        EstGrundtarif(17.799) == 1.034
    }
}

prüfe "§ 32a Abs. 1 Nr. 3 EStG — Zone 3 (Hauptprogression)" {
    testfall "zvE = 17.800 (Zone-3-Beginn)" {
        // z = (17.800 − 17.799)/10.000 = 0,0001
        // (173,10·0,0001 + 2.397)·0,0001 + 1.034,87 = 1.035,109… → 1.035
        EstGrundtarif(17.800) == 1.035
    }
    testfall "zvE = 50.000" {
        // z = (50.000 − 17.799)/10.000 = 3,2201
        // (173,10·3,2201 + 2.397)·3,2201 + 1.034,87 = 10.548,… → 10.548
        EstGrundtarif(50.000) == 10.548
    }
    testfall "zvE = 69.878 (obere Grenze Zone 3)" {
        EstGrundtarif(69.878) == 18.213
    }
}

prüfe "§ 32a Abs. 1 Nr. 4 EStG — Zone 4 (Proportionalzone, 42 %)" {
    testfall "zvE = 69.879 (Zone-4-Beginn, stetiger Anschluss)" {
        // 0,42·69.879 − 11.135,63 = 18.213,55 → abrunden 18.213
        EstGrundtarif(69.879) == 18.213
    }
    testfall "zvE = 100.000" {
        // 0,42·100.000 − 11.135,63 = 30.864,37 → abrunden 30.864
        EstGrundtarif(100.000) == 30.864
    }
    testfall "zvE = 277.825 (obere Grenze Zone 4)" {
        // 0,42·277.825 − 11.135,63 = 105.550,87 → abrunden 105.550
        EstGrundtarif(277.825) == 105.550
    }
}

prüfe "§ 32a Abs. 1 Nr. 5 EStG — Zone 5 (Proportionalzone, 45 %)" {
    testfall "zvE = 277.826 (Zone-5-Beginn)" {
        // 0,45·277.826 − 19.470,38 = 105.551,32 → abrunden 105.551
        EstGrundtarif(277.826) == 105.551
    }
    testfall "zvE = 300.000" {
        // 0,45·300.000 − 19.470,38 = 115.529,62 → abrunden 115.529
        EstGrundtarif(300.000) == 115.529
    }
}

prüfe "§ 32a Abs. 5 EStG — Splitting-Verfahren" {
    testfall "zvE = 200.000 → 2 · Grundtarif(100.000) = 2 · 30.864" {
        EstSplitting(200.000) == 61.728
    }
    testfall "zvE = 100.001 → Hälfte 50.000 (abgerundet) → 2 · 10.548" {
        EstSplitting(100.001) == 21.096
    }
    testfall "zvE = 150.000 → Hälfte 75.000 → 2 · Grundtarif(75.000)" {
        // 0,42·75.000 − 11.135,63 = 20.364,37 → 20.364 ; 2·20.364
        EstSplitting(150.000) == 40.728
    }
}

prüfe "§ 32a EStG — unzulässige Eingaben (abbruch)" {
    testfall "negatives zvE (Grundtarif) ist nicht definiert" erwartet abbruch {
        var n: Euro = -1
        EstGrundtarif(n)
    }
    testfall "negatives gemeinsames zvE (Splitting) ist nicht definiert" erwartet abbruch {
        var n: Euro = -2
        EstSplitting(n)
    }
}

prüfe "§ 2 EStG — Kaskade mit § 32 Abs. 6 / § 33 / § 10b (Listen)" {
    testfall "Fall K — Single, 2 Kinder, agB- + Spenden-Posten" {
        // GdE 60.000. zumutbare Belastung (2 Kinder, Stufen 2/3/4 %):
        //   2%·15.340 + 3%·(51.130−15.340) + 4%·(60.000−51.130)
        //   = 306,80 + 1.073,70 + 354,80 = 1.735,30
        // agB abziehbar = nichtNeg(5.000 − 1.735,30).abrunden() = 3.264
        // Spenden abziehbar = min(2.000; 20%·60.000=12.000) = 2.000
        // SA = 4.000 + 2.000 = 6.000
        // KFB = ((3.414+1.464)·1·12/12·100% ·2 Kinder).abrunden() = 9.756
        // Einkommen = 60.000 − 6.000 − 3.264 = 50.736
        // zvE = 50.736 − 9.756 = 40.980 → Grundtarif = 7.521
        var e: EinkommensteuerErgebnis = BerechneEinkommensteuer(EinkommensteuerFall(
            einkuenfteNichtselbstaendigeArbeit = 60.000,
            sonstigeSonderausgaben             = 4.000,
            spenden                            = [2.000],
            aussergewoehnlicheAufwendungen     = [5.000],
            kinder                             = [Kind(), Kind()],
        ))
        e.gesamtbetragDerEinkuenfte == 60.000
            und e.kinderfreibetraege == 9.756
            und e.abziehbareAussergewoehnlicheBelastungen == 3.264
            und e.einkommen == 50.736
            und e.zuVersteuerndesEinkommen == 40.980
            und e.tariflicheEinkommensteuer == 7.521
            und e.festzusetzendeEinkommensteuer == 7.521
    }
    testfall "Fall S — Splitting, 3 Kinder (eines halbjährig), Spenden gekappt" {
        // SdE = 100.000 → GdE 100.000. zumutbar (3 Kinder, 1/1/2 %):
        //   1%·15.340 + 1%·35.790 + 2%·48.870 = 153,40+357,90+977,40 = 1.488,70
        // agB abziehbar = (8.000 − 1.488,70).abrunden() = 6.511
        // Spenden abziehbar = min(30.000; max(20%·100.000=20.000; 0)) = 20.000
        // KFB Splitting faktor 2: 2·4.878·2 + 4.878·2·6/12 = 19.512 + 4.878 = 24.390
        // Einkommen = 100.000 − 20.000 − 6.511 = 73.489
        // zvE = 73.489 − 24.390 = 49.099 → Splitting=2·Grundtarif(24.549)=5.462
        // festzusetzend = 5.462 − 2.500 + 600 = 3.562
        var e: EinkommensteuerErgebnis = BerechneEinkommensteuer(EinkommensteuerFall(
            einkuenfteNichtselbstaendigeArbeit = 100.000,
            spenden                            = [10.000, 20.000],
            aussergewoehnlicheAufwendungen     = [3.000, 5.000],
            kinder                             = [
                Kind(faktor = 2),
                Kind(faktor = 2),
                Kind(faktor = 2, berücksichtigteMonate = 6),
            ],
            tarifart                           = Splitting,
            anrechnungenUndErmaessigungen      = 2.500,
            hinzurechnungen                    = 600,
        ))
        e.kinderfreibetraege == 24.390
            und e.abziehbareAussergewoehnlicheBelastungen == 6.511
            und e.einkommen == 73.489
            und e.zuVersteuerndesEinkommen == 49.099
            und e.tariflicheEinkommensteuer == 5.462
            und e.festzusetzendeEinkommensteuer == 3.562
    }
    testfall "Fall L — agB unter zumutbarer Belastung → 0 abziehbar" {
        // GdE 40.000, 0 Kinder, Grundtarif: zumutbar
        //   5%·15.340 + 6%·(40.000−15.340) = 767 + 1.479,60 = 2.246,60
        // 1.000 < 2.246,60 → abziehbare agB = 0
        var e: EinkommensteuerErgebnis = BerechneEinkommensteuer(EinkommensteuerFall(
            einkuenfteNichtselbstaendigeArbeit = 40.000,
            aussergewoehnlicheAufwendungen     = [1.000],
        ))
        e.abziehbareAussergewoehnlicheBelastungen == 0
            und e.einkommen == 40.000
            und e.zuVersteuerndesEinkommen == 40.000
            und e.tariflicheEinkommensteuer == 7.209
    }
    testfall "Fall 0 — leere Listen ≙ alte Skalar-0-Kaskade (Regressionsanker)" {
        var e: EinkommensteuerErgebnis = BerechneEinkommensteuer(EinkommensteuerFall(
            einkuenfteNichtselbstaendigeArbeit = 50.000,
        ))
        e.kinderfreibetraege == 0
            und e.abziehbareAussergewoehnlicheBelastungen == 0
            und e.einkommen == 50.000
            und e.zuVersteuerndesEinkommen == 50.000
            und e.tariflicheEinkommensteuer == 10.548
    }
}

import org.findsl.runtime.FinDslNumber;
import org.findsl.runtime.FinDslListe;
import org.findsl.runtime.Tarifart;
import org.findsl.runtime.Euro;
import org.findsl.runtime.EuroCent;
import org.findsl.runtime.Prozent;
import org.findsl.runtime.Ganzzahl;
import org.findsl.runtime.Dezimal;
import org.findsl.runtime.Quelle;
import javax.annotation.processing.Generated;

/**
 * Generiert aus FinDSL — NICHT manuell editieren.
 * Semantik-Orakel: der FinDSL-Interpreter (bit-genau).
 *
 * # Einkommensteuer — Veranlagungsschema § 2 EStG + Tarif § 32a EStG (VZ 2026)
 *
 * Bildet die **Einkommensteuer-Kaskade** nach § 2 EStG ab, schließt mit
 * dem tariflichen Einkommensteuerbetrag (§ 32a) und der festzusetzenden
 * Einkommensteuer (§ 2 Abs. 6). Maßgebliche Quelle:
 * `examples/est/estg.xml` (juris-Stand 2026-05-06), § 32a/§ 32 Abs. 6 in
 * der konsolidierten Fassung „ab Veranlagungszeitraum 2026".
 *
 * Gesetzliche Reihenfolge (jede Stufe = eigene Funktion, auditierbar):
 * Summe der Einkünfte (§ 2 Abs. 1–3) → Gesamtbetrag der Einkünfte
 * (§ 2 Abs. 3) → Einkommen (§ 2 Abs. 4) → zu versteuerndes Einkommen
 * (§ 2 Abs. 5) → tarifliche Einkommensteuer (§ 32a) → festzusetzende
 * Einkommensteuer (§ 2 Abs. 6).
 *
 * **Echte Rechenvorschrift (modelliert) — auch mehr-entitätig:**
 * - **§ 32 Abs. 6 Kinderfreibetrag/BEA je Kind** über `Liste<Kind>`
 *   (3.414 € + 1.464 € je Kind, Verdopplung Satz 2/3 per Faktor,
 *   Zwölftelung Satz 5, Auslands­kürzung Satz 4) → aggregiert.
 * - **§ 33 Abs. 1/3 außergewöhnliche Belastungen**: Summe der
 *   zwangsläufigen Aufwendungen abzüglich der **zumutbaren Belastung**
 *   (§ 33 Abs. 3, **staffelweise** über die drei GdE-Stufen × vier
 *   Personengruppen).
 * - **§ 10b Abs. 1 Spenden**: abziehbar bis zum Höchstbetrag
 *   max(20 % GdE; 4 ‰ (Umsätze + Löhne)).
 * - Die gesamte § 2-Verknüpfungs-Arithmetik + § 32a-Tarif + § 2 Abs. 6.
 *
 * **Geprüfte Eingabe, weil anderes Recht / Verfahren (nicht Tooling-
 * Grenze):**
 * - **Ermittlung der sieben Einkunftsarten** je Art (Gewinn §§ 4–7k/13a,
 *   Überschuss §§ 8–9a, § 20 Abs. 9, AfA § 7 mehrperiodig) — saldierter
 *   Betrag je Art als Eingabe.
 * - **§ 24a / § 24b / § 13 Abs. 3** — Beträge als Eingabe (eigene §§).
 * - **Übrige Sonderausgaben §§ 10–10c** außer § 10b (Vorsorge­aufwen-
 *   dungen mit eigenen Höchstbeträgen/Günstigerprüfung) — Aggregat-
 *   Eingabe `sonstigeSonderausgaben`.
 * - **Verlustabzug § 10d** (mehrperiodig) — negatives zvE → 0 tariflich,
 *   Verlustabzug selbst nicht modelliert.
 * - **Sachverhalte je Kind** (Kindschaftsverhältnis → `faktor`,
 *   Auslands-Ländergruppe → `auslandsfaktor`, Berücksichtigungs­monate)
 *   und die § 33-Zwangsläufigkeit/Angemessenheit (§ 33 Abs. 2),
 *   § 10b-Empfänger-Voraussetzungen (§ 10b Abs. 2) — Sachverhalt.
 * - **§ 32a Abs. 6** Witwen-/Gnadensplitting; **§ 2 Abs. 6-Komponenten**
 *   (§§ 34c/35/35a/32d Abs. 3/4 …) als zwei gerichtete Aggregat-Eingaben;
 *   Annexsteuern (SolZ, KiSt). Verfahren/eigene Gesetze.
 *
 * **Modellierungs-Entscheidung (Statut schweigt):** jede listen-
 * abgeleitete Kategorie-Abzugssumme (Kinderfreibetrag, abziehbare agB,
 * abziehbare Spenden) wird auf **volle Euro abgerundet** (`.abrunden()`
 * mit Euro-Kontext),
 * bevor sie in die Euro-Kaskade eingeht — deterministisch, konsistent mit
 * § 32a Abs. 1 Satz 1 (zvE auf volle Euro), fiskuskonservativ.
 */
@Generated(value = "findsl.Generator")
public interface Est {

    /**
     * Tariflicher Einkommensteuerbetrag nach dem Grundtarif (§ 32a Absatz 1
     * EStG). Das zu versteuernde Einkommen ist nach Satz 1 auf volle Euro
     * abgerundet zu verstehen (durch den `Euro`-Typ bereits ganzzahlig). Der
     * sich ergebende Steuerbetrag wird nach Satz 6 auf den nächsten vollen
     * Euro abgerundet.
     *
     * Mit den Hilfsgrößen $y = \frac{\text{zvE} - \text{GFB}}{10000}$ (Zone 2)
     * und $z = \frac{\text{zvE} - \text{ZONE\_2}}{10000}$ (Zone 3) lautet der
     * Tarif zonenweise:
     *
     * $$
     * \text{ESt}(\text{zvE}) =
     * \begin{cases}
     * 0 & \text{zvE} \le \text{GFB} \\
     * (a_2\,y + b_2)\,y & \text{Zone 2} \\
     * (a_3\,z + b_3)\,z + c_3 & \text{Zone 3} \\
     * 0{,}42 \cdot \text{zvE} - C_4 & \text{Zone 4} \\
     * 0{,}45 \cdot \text{zvE} - C_5 & \text{Zone 5}
     * \end{cases}
     * $$
     *
     * @param zve zu versteuerndes Einkommen in vollen Euro (geprüfte
     *            Eingabe, ≥ 0; negativ → `abbruch`)
     * @return  tarifliche Einkommensteuer in vollen Euro (Grundtarif)
     */
    @Quelle("§ 32a Absatz 1 EStG")
    Euro estGrundtarif(Euro zve);

    /**
     * Tariflicher Einkommensteuerbetrag nach dem Splitting-Verfahren für
     * zusammen veranlagte Ehegatten (§ 32a Absatz 5 EStG): das Zweifache des
     * Steuerbetrags, der sich für die Hälfte des gemeinsam zu versteuernden
     * Einkommens nach Absatz 1 ergibt. Die Hälfte wird nach Absatz 1 Satz 1
     * auf volle Euro abgerundet.
     *
     * @param zve gemeinsam zu versteuerndes Einkommen der Ehegatten in vollen
     *            Euro (geprüfte Eingabe, ≥ 0; negativ → `abbruch`)
     * @return  tarifliche Einkommensteuer in vollen Euro (Splitting)
     */
    @Quelle("§ 32a Absatz 5 EStG")
    Euro estSplitting(Euro zve);

    /**
     * Summe der Einkünfte (§ 2 Absatz 1 und 2 EStG): Summe der sieben
     * Einkunftsarten. Negative Einkünfte einzelner Arten mindern die Summe
     * (einkunftsartübergreifende Verlustverrechnungs­beschränkungen sind
     * anderes Recht und in den Eingaben bereits berücksichtigt).
     *
     * @param fall die Veranlagungseingaben
     * @return   Summe der Einkünfte in vollen Euro
     */
    @Quelle("§ 2 Absatz 1 und 2 EStG")
    Euro summeDerEinkuenfte(EinkommensteuerFall fall);

    /**
     * Gesamtbetrag der Einkünfte (§ 2 Absatz 3 EStG): Summe der Einkünfte
     * vermindert um Altersentlastungsbetrag (§ 24a), Entlastungsbetrag für
     * Alleinerziehende (§ 24b) und Abzug nach § 13 Absatz 3.
     *
     * @param summe Summe der Einkünfte (Stufe zuvor)
     * @param fall  die Veranlagungseingaben
     * @return    Gesamtbetrag der Einkünfte in vollen Euro
     */
    @Quelle("§ 2 Absatz 3 EStG")
    Euro gesamtbetragDerEinkuenfte(Euro summe, EinkommensteuerFall fall);

    /**
     * Kinderfreibetrag + BEA-Freibetrag, aggregiert über alle Kinder
     * (§ 32 Absatz 6 EStG): je Kind `(3.414 + 1.464) · faktor ·
     * berücksichtigteMonate/12 · auslandsfaktor`; die Summe wird auf volle
     * Euro abgerundet (Modellierungs-Entscheidung, s. Datei-Doc).
     *
     * @param kinder die zu berücksichtigenden Kinder
     * @return     Gesamt-Freibetrag in vollen Euro
     */
    @Quelle("§ 32 Absatz 6 EStG")
    Euro kinderfreibetragGesamt(FinDslListe<Kind> kinder);

    /**
     * Zumutbare Belastung (§ 33 Absatz 3 EStG) — **staffelweise** über die
     * drei GdE-Stufen (bis 15.340 / bis 51.130 / darüber), mit den
     * Prozentsätzen der vier Personengruppen (keine Kinder Grund/Splitting,
     * 1–2 Kinder, ≥ 3 Kinder). „Kinder" sind die mit Freibetrag § 32 Abs. 6
     * oder Kindergeld-Anspruch (§ 33 Abs. 3 Satz 2 — hier `kinderzahl`).
     *
     * @param gde        Gesamtbetrag der Einkünfte
     * @param kinderzahl Zahl der zu berücksichtigenden Kinder
     * @param tarifart   Grund- oder Splittingtarif (nur bei 0 Kindern relevant)
     * @return         zumutbare Belastung (EuroCent-genau)
     */
    @Quelle("§ 33 Absatz 3 EStG")
    EuroCent zumutbareBelastung(Euro gde, Ganzzahl kinderzahl, Tarifart tarifart);

    /**
     * Abziehbare außergewöhnliche Belastungen (§ 33 Absatz 1 EStG): Summe der
     * zwangsläufigen Aufwendungen, soweit sie die zumutbare Belastung
     * (§ 33 Abs. 3) übersteigt; nie negativ, auf volle Euro abgerundet.
     *
     * @param fall die Veranlagungseingaben
     * @param gde  Gesamtbetrag der Einkünfte (Bezugsgröße der zumutbaren Belastung)
     * @return   abziehbarer Betrag in vollen Euro
     */
    @Quelle("§ 33 Absatz 1 EStG")
    Euro abziehbareAussergewoehnlicheBelastungen(EinkommensteuerFall fall, Euro gde);

    /**
     * Abziehbare Spenden (§ 10b Absatz 1 EStG): Summe der Zuwendungen,
     * gedeckelt auf den Höchstbetrag = größerer Wert aus 20 % des
     * Gesamtbetrags der Einkünfte und 4 ‰ der Umsätze + Löhne; auf volle
     * Euro abgerundet.
     *
     * @param fall die Veranlagungseingaben
     * @param gde  Gesamtbetrag der Einkünfte (Bezugsgröße Variante 1)
     * @return   abziehbare Spenden in vollen Euro
     */
    @Quelle("§ 10b Absatz 1 EStG")
    Euro abziehbareSpenden(EinkommensteuerFall fall, Euro gde);

    /**
     * Einkommen (§ 2 Absatz 4 EStG): Gesamtbetrag der Einkünfte vermindert
     * um die Sonderausgaben (sonstige + abziehbare Spenden § 10b) und die
     * abziehbaren außergewöhnlichen Belastungen (§ 33).
     *
     * @param gesamtbetrag Gesamtbetrag der Einkünfte (Stufe zuvor)
     * @param fall         die Veranlagungseingaben
     * @return           Einkommen in vollen Euro
     */
    @Quelle("§ 2 Absatz 4 EStG")
    Euro einkommen(Euro gesamtbetrag, EinkommensteuerFall fall);

    /**
     * Zu versteuerndes Einkommen (§ 2 Absatz 5 Satz 1 EStG): Einkommen
     * vermindert um die Freibeträge nach § 32 Absatz 6 (Kinder) und die
     * sonstigen vom Einkommen abzuziehenden Beträge.
     *
     * @param einkommen Einkommen (Stufe zuvor)
     * @param fall      die Veranlagungseingaben
     * @return        zu versteuerndes Einkommen in vollen Euro (kann bei
     *                  Verlusten negativ sein — § 10d nicht modelliert)
     */
    @Quelle("§ 2 Absatz 5 Satz 1 EStG")
    Euro zuVersteuerndesEinkommen(Euro einkommen, EinkommensteuerFall fall);

    /**
     * Tarifliche Einkommensteuer (§ 32a EStG): Grund- oder Splittingtarif.
     * Negatives zvE → 0 (§ 32a für negatives zvE nicht definiert; § 10d
     * Verlustabzug ist Verfahren, nicht modelliert).
     *
     * @param zve      zu versteuerndes Einkommen in vollen Euro
     * @param tarifart Grund- oder Splittingtarif
     * @return       tarifliche Einkommensteuer in vollen Euro
     */
    @Quelle("§ 32a Absatz 1 und 5 EStG")
    Euro tariflicheEinkommensteuer(Euro zve, Tarifart tarifart);

    /**
     * Festzusetzende Einkommensteuer (§ 2 Absatz 6 EStG): tarifliche Steuer
     * vermindert um Anrechnungen/Steuerermäßigungen, vermehrt um
     * Hinzurechnungen (Komponenten + Kappungen = anderes Recht/Eingabe;
     * keine Untergrenze — der Wortlaut sieht keine vor).
     *
     * @param tariflich tarifliche Einkommensteuer (Stufe zuvor)
     * @param fall      die Veranlagungseingaben
     * @return        festzusetzende Einkommensteuer in vollen Euro
     */
    @Quelle("§ 2 Absatz 6 EStG")
    Euro festzusetzendeEinkommensteuer(Euro tariflich, EinkommensteuerFall fall);

    /**
     * Orchestrator — vollständige Veranlagung in gesetzlicher Reihenfolge
     * (§ 2 EStG). Füllt jede Zwischengröße ins Ergebnis-Datensatz.
     *
     * @param fall die Veranlagungseingaben
     * @return   das Veranlagungsergebnis mit allen Zwischengrößen
     */
    @Quelle("§ 2 EStG, § 32a EStG")
    EinkommensteuerErgebnis berechneEinkommensteuer(EinkommensteuerFall fall);

    /**
     * Sachverhalte je Kind (§ 32 Abs. 6). Die Beträge sind Gesetz; diese
     * Felder sind die Sachverhalts-Eingaben je Kind.
     *
     * @param faktor                1 = einfacher Freibetrag; 2 = verdoppelt
     *                              (§ 32 Abs. 6 Satz 2/3 — Kind zu beiden
     *                              Ehegatten bzw. Satz-3-Fälle)
     * @param berücksichtigteMonate Monate mit erfüllten Voraussetzungen
     *                              (§ 32 Abs. 6 Satz 5: je fehlendem Monat 1/12)
     * @param auslandsfaktor        Ländergruppen-Anteil für Auslandskinder
     *                              (§ 32 Abs. 6 Satz 4; 100 % = Inlandskind)
     */
    @Quelle("§ 32 Absatz 6 EStG")
    public record Kind(
        Ganzzahl faktor,
        Ganzzahl berücksichtigteMonate,
        Prozent auslandsfaktor
    ) {}

    /**
     * Eingaben für die Einkommensteuer-Veranlagung.
     *
     * @param einkuenfteLandUndForstwirtschaft   Einkünfte § 2 Abs. 1 Nr. 1 (§§ 13–14)
     * @param einkuenfteGewerbebetrieb           Einkünfte § 2 Abs. 1 Nr. 2 (§§ 15–17)
     * @param einkuenfteSelbstaendigeArbeit      Einkünfte § 2 Abs. 1 Nr. 3 (§ 18)
     * @param einkuenfteNichtselbstaendigeArbeit Einkünfte § 2 Abs. 1 Nr. 4 (§ 19)
     * @param einkuenfteKapitalvermoegen         veranlagte Einkünfte § 2 Abs. 1 Nr. 5 (§ 20)
     * @param einkuenfteVermietungVerpachtung    Einkünfte § 2 Abs. 1 Nr. 6 (§ 21)
     * @param sonstigeEinkuenfte                 sonstige Einkünfte § 2 Abs. 1 Nr. 7 (§ 22)
     * @param altersentlastungsbetrag            Altersentlastungsbetrag (§ 24a)
     * @param entlastungsbetragAlleinerziehende  Entlastungsbetrag Alleinerziehende (§ 24b)
     * @param freibetragLandUndForstwirtschaft   Abzug nach § 13 Absatz 3
     * @param sonstigeSonderausgaben             Sonderausgaben §§ 10–10c ohne § 10b
     *                                           (Vorsorge u. a. — anderes Recht)
     * @param spenden                            abziehbare Zuwendungen § 10b Abs. 1
     *                                           (Voraussetzungen Abs. 2 = Sachverhalt)
     * @param umsaetzeUndLoehne                  Basis der 4-‰-Höchstbetrags-
     *                                           Variante (§ 10b Abs. 1 Satz 1 Nr. 2)
     * @param aussergewoehnlicheAufwendungen     zwangsläufige Aufwendungen § 33
     *                                           (Abs. 2 = Sachverhalt), vor
     *                                           zumutbarer Belastung
     * @param kinder                             zu berücksichtigende Kinder (§ 32 Abs. 6)
     * @param sonstigeAbzuegeVomEinkommen        sonstige vom Einkommen abzuziehende
     *                                           Beträge (§ 2 Abs. 5 Satz 1)
     * @param tarifart                           Grund- oder Splittingtarif (§§ 26, 26b)
     * @param anrechnungenUndErmaessigungen      § 2 Abs. 6 „vermindert um"
     * @param hinzurechnungen                    § 2 Abs. 6 „vermehrt um" (S. 1–3)
     */
    @Quelle("§ 2 EStG")
    public record EinkommensteuerFall(
        Euro einkuenfteLandUndForstwirtschaft,
        Euro einkuenfteGewerbebetrieb,
        Euro einkuenfteSelbstaendigeArbeit,
        Euro einkuenfteNichtselbstaendigeArbeit,
        Euro einkuenfteKapitalvermoegen,
        Euro einkuenfteVermietungVerpachtung,
        Euro sonstigeEinkuenfte,
        Euro altersentlastungsbetrag,
        Euro entlastungsbetragAlleinerziehende,
        Euro freibetragLandUndForstwirtschaft,
        Euro sonstigeSonderausgaben,
        FinDslListe<FinDslNumber> spenden,
        Euro umsaetzeUndLoehne,
        FinDslListe<FinDslNumber> aussergewoehnlicheAufwendungen,
        FinDslListe<Kind> kinder,
        Euro sonstigeAbzuegeVomEinkommen,
        Tarifart tarifart,
        Euro anrechnungenUndErmaessigungen,
        Euro hinzurechnungen
    ) {}

    /**
     * Ergebnis der Veranlagung — jede Zwischengröße der gesetzlichen
     * Reihenfolge des § 2 EStG als eigenes Feld (Schritt-für-Schritt-Audit).
     *
     * @param summeDerEinkuenfte                      Summe der Einkünfte (§ 2 Abs. 1–3)
     * @param gesamtbetragDerEinkuenfte               Gesamtbetrag der Einkünfte (§ 2 Abs. 3)
     * @param kinderfreibetraege                      Freibeträge § 32 Abs. 6 (aggregiert)
     * @param abziehbareAussergewoehnlicheBelastungen § 33 nach zumutbarer Belastung
     * @param einkommen                               Einkommen (§ 2 Abs. 4)
     * @param zuVersteuerndesEinkommen                zu versteuerndes Einkommen (§ 2 Abs. 5)
     * @param tariflicheEinkommensteuer               tarifliche Einkommensteuer (§ 32a)
     * @param festzusetzendeEinkommensteuer           festzusetzende Einkommensteuer (§ 2 Abs. 6)
     */
    @Quelle("§ 2 EStG")
    public record EinkommensteuerErgebnis(
        Euro summeDerEinkuenfte,
        Euro gesamtbetragDerEinkuenfte,
        Euro kinderfreibetraege,
        Euro abziehbareAussergewoehnlicheBelastungen,
        Euro einkommen,
        Euro zuVersteuerndesEinkommen,
        Euro tariflicheEinkommensteuer,
        Euro festzusetzendeEinkommensteuer
    ) {}

    /**
     * Grundfreibetrag — bis zu diesem zu versteuernden Einkommen beträgt die
     * tarifliche Einkommensteuer 0 (§ 32a Absatz 1 Satz 2 Nummer 1).
     */
    @Quelle("§ 32a Absatz 1 Satz 2 Nummer 1 EStG")
    public static final Euro GFB = Euro.von(
        FinDslNumber.ganzzahl("12348").withMoneyAnnotation(FinDslNumber.Type.Euro, "Konstante \"GFB\""));

    /**
     *  Obere Grenze der Eingangs-Progressionszone (Zone 2). 
     */
    @Quelle("§ 32a Absatz 1 Satz 2 Nummer 2 EStG")
    public static final Euro ZONE_2_OBERGRENZE = Euro.von(
        FinDslNumber.ganzzahl("17799").withMoneyAnnotation(FinDslNumber.Type.Euro, "Konstante \"ZONE_2_OBERGRENZE\""));

    /**
     *  Obere Grenze der Hauptprogressionszone (Zone 3). 
     */
    @Quelle("§ 32a Absatz 1 Satz 2 Nummer 3 EStG")
    public static final Euro ZONE_3_OBERGRENZE = Euro.von(
        FinDslNumber.ganzzahl("69878").withMoneyAnnotation(FinDslNumber.Type.Euro, "Konstante \"ZONE_3_OBERGRENZE\""));

    /**
     *  Obere Grenze der ersten Proportionalzone (Zone 4); darüber Zone 5. 
     */
    @Quelle("§ 32a Absatz 1 Satz 2 Nummer 4 EStG")
    public static final Euro ZONE_4_OBERGRENZE = Euro.von(
        FinDslNumber.ganzzahl("277825").withMoneyAnnotation(FinDslNumber.Type.Euro, "Konstante \"ZONE_4_OBERGRENZE\""));

    /**
     * Teiler für die Größen „y" und „z": ein Zehntausendstel des den
     * jeweiligen Sockel übersteigenden, auf vollen Euro abgerundeten zvE
     * (§ 32a Absatz 1 Satz 3 und 4).
     */
    @Quelle("§ 32a Absatz 1 Satz 3 und 4 EStG")
    public static final Ganzzahl ZEHNTAUSEND = Ganzzahl.von(FinDslNumber.ganzzahl("10000"));

    /**
     *  Progressionskoeffizient der Zone 2 (Faktor vor y²). 
     */
    @Quelle("§ 32a Absatz 1 Satz 2 Nummer 2 EStG")
    public static final Dezimal ZONE_2_PROGRESSION = Dezimal.von(FinDslNumber.dezimal("914.51"));

    /**
     *  Linearer Koeffizient der Zone 2 (Faktor vor y). 
     */
    @Quelle("§ 32a Absatz 1 Satz 2 Nummer 2 EStG")
    public static final Dezimal ZONE_2_LINEAR = Dezimal.von(FinDslNumber.ganzzahl("1400"));

    /**
     *  Progressionskoeffizient der Zone 3 (Faktor vor z²). 
     */
    @Quelle("§ 32a Absatz 1 Satz 2 Nummer 3 EStG")
    public static final Dezimal ZONE_3_PROGRESSION = Dezimal.von(FinDslNumber.dezimal("173.10"));

    /**
     *  Linearer Koeffizient der Zone 3 (Faktor vor z). 
     */
    @Quelle("§ 32a Absatz 1 Satz 2 Nummer 3 EStG")
    public static final Dezimal ZONE_3_LINEAR = Dezimal.von(FinDslNumber.ganzzahl("2397"));

    /**
     *  Konstanter Summand der Zone 3 (Anschluss an Zone 2). 
     */
    @Quelle("§ 32a Absatz 1 Satz 2 Nummer 3 EStG")
    public static final Dezimal ZONE_3_KONSTANTE = Dezimal.von(FinDslNumber.dezimal("1034.87"));

    /**
     *  Grenzsteuersatz der Proportionalzone 4 (Spitzensteuersatz). 
     */
    @Quelle("§ 32a Absatz 1 Satz 2 Nummer 4 EStG")
    public static final Prozent ZONE_4_SATZ = Prozent.von(FinDslNumber.prozent("0.42"));

    /**
     *  Abzugsbetrag der Zone 4 (0,42 · x − ZONE_4_ABZUG). 
     */
    @Quelle("§ 32a Absatz 1 Satz 2 Nummer 4 EStG")
    public static final EuroCent ZONE_4_ABZUG = EuroCent.von(
        FinDslNumber.dezimal("11135.63").withMoneyAnnotation(FinDslNumber.Type.EuroCent, "Konstante \"ZONE_4_ABZUG\""));

    /**
     *  Grenzsteuersatz der Proportionalzone 5 („Reichensteuer"). 
     */
    @Quelle("§ 32a Absatz 1 Satz 2 Nummer 5 EStG")
    public static final Prozent ZONE_5_SATZ = Prozent.von(FinDslNumber.prozent("0.45"));

    /**
     *  Abzugsbetrag der Zone 5 (0,45 · x − ZONE_5_ABZUG). 
     */
    @Quelle("§ 32a Absatz 1 Satz 2 Nummer 5 EStG")
    public static final EuroCent ZONE_5_ABZUG = EuroCent.von(
        FinDslNumber.dezimal("19470.38").withMoneyAnnotation(FinDslNumber.Type.EuroCent, "Konstante \"ZONE_5_ABZUG\""));

    /**
     *  Kinderfreibetrag (sächliches Existenzminimum) je Kind. 
     */
    @Quelle("§ 32 Absatz 6 Satz 1 EStG")
    public static final Euro KINDERFREIBETRAG = Euro.von(
        FinDslNumber.ganzzahl("3414").withMoneyAnnotation(FinDslNumber.Type.Euro, "Konstante \"KINDERFREIBETRAG\""));

    /**
     *  Freibetrag Betreuungs-/Erziehungs-/Ausbildungsbedarf (BEA) je Kind. 
     */
    @Quelle("§ 32 Absatz 6 Satz 1 EStG")
    public static final Euro BEA_FREIBETRAG = Euro.von(
        FinDslNumber.ganzzahl("1464").withMoneyAnnotation(FinDslNumber.Type.Euro, "Konstante \"BEA_FREIBETRAG\""));

    /**
     *  Teiler für die Zwölftelung je nicht erfüllten Kalendermonat. 
     */
    @Quelle("§ 32 Absatz 6 Satz 5 EStG")
    public static final Ganzzahl ZWOELF = Ganzzahl.von(FinDslNumber.ganzzahl("12"));

    /**
     *  Erste GdE-Stufe der zumutbaren Belastung (§ 33 Abs. 3). 
     */
    @Quelle("§ 33 Absatz 3 EStG")
    public static final Euro ZMB_STUFE_1 = Euro.von(
        FinDslNumber.ganzzahl("15340").withMoneyAnnotation(FinDslNumber.Type.Euro, "Konstante \"ZMB_STUFE_1\""));

    /**
     *  Zweite GdE-Stufe der zumutbaren Belastung (§ 33 Abs. 3). 
     */
    @Quelle("§ 33 Absatz 3 EStG")
    public static final Euro ZMB_STUFE_2 = Euro.von(
        FinDslNumber.ganzzahl("51130").withMoneyAnnotation(FinDslNumber.Type.Euro, "Konstante \"ZMB_STUFE_2\""));

    /**
     *  Zumutbare Belastung — keine Kinder, Grundtarif (§ 32a Abs. 1): Stufe 1/2/3. 
     */
    @Quelle("§ 33 Absatz 3 Satz 1 Nummer 1 Buchstabe a EStG")
    public static final Prozent ZMB_OHNE_KIND_GRUND_1 = Prozent.von(FinDslNumber.prozent("0.05"));

    @Quelle("§ 33 Absatz 3 Satz 1 Nummer 1 Buchstabe a EStG")
    public static final Prozent ZMB_OHNE_KIND_GRUND_2 = Prozent.von(FinDslNumber.prozent("0.06"));

    @Quelle("§ 33 Absatz 3 Satz 1 Nummer 1 Buchstabe a EStG")
    public static final Prozent ZMB_OHNE_KIND_GRUND_3 = Prozent.von(FinDslNumber.prozent("0.07"));

    /**
     *  Zumutbare Belastung — keine Kinder, Splitting (§ 32a Abs. 5/6): Stufe 1/2/3. 
     */
    @Quelle("§ 33 Absatz 3 Satz 1 Nummer 1 Buchstabe b EStG")
    public static final Prozent ZMB_OHNE_KIND_SPLIT_1 = Prozent.von(FinDslNumber.prozent("0.04"));

    @Quelle("§ 33 Absatz 3 Satz 1 Nummer 1 Buchstabe b EStG")
    public static final Prozent ZMB_OHNE_KIND_SPLIT_2 = Prozent.von(FinDslNumber.prozent("0.05"));

    @Quelle("§ 33 Absatz 3 Satz 1 Nummer 1 Buchstabe b EStG")
    public static final Prozent ZMB_OHNE_KIND_SPLIT_3 = Prozent.von(FinDslNumber.prozent("0.06"));

    /**
     *  Zumutbare Belastung — ein oder zwei Kinder: Stufe 1/2/3. 
     */
    @Quelle("§ 33 Absatz 3 Satz 1 Nummer 2 Buchstabe a EStG")
    public static final Prozent ZMB_1_2_KINDER_1 = Prozent.von(FinDslNumber.prozent("0.02"));

    @Quelle("§ 33 Absatz 3 Satz 1 Nummer 2 Buchstabe a EStG")
    public static final Prozent ZMB_1_2_KINDER_2 = Prozent.von(FinDslNumber.prozent("0.03"));

    @Quelle("§ 33 Absatz 3 Satz 1 Nummer 2 Buchstabe a EStG")
    public static final Prozent ZMB_1_2_KINDER_3 = Prozent.von(FinDslNumber.prozent("0.04"));

    /**
     *  Zumutbare Belastung — drei oder mehr Kinder: Stufe 1/2/3. 
     */
    @Quelle("§ 33 Absatz 3 Satz 1 Nummer 2 Buchstabe b EStG")
    public static final Prozent ZMB_AB_3_KINDER_1 = Prozent.von(FinDslNumber.prozent("0.01"));

    @Quelle("§ 33 Absatz 3 Satz 1 Nummer 2 Buchstabe b EStG")
    public static final Prozent ZMB_AB_3_KINDER_2 = Prozent.von(FinDslNumber.prozent("0.01"));

    @Quelle("§ 33 Absatz 3 Satz 1 Nummer 2 Buchstabe b EStG")
    public static final Prozent ZMB_AB_3_KINDER_3 = Prozent.von(FinDslNumber.prozent("0.02"));

    /**
     *  Spenden-Höchstbetrag Variante 1: Anteil des Gesamtbetrags der Einkünfte. 
     */
    @Quelle("§ 10b Absatz 1 Satz 1 Nummer 1 EStG")
    public static final Prozent SPENDEN_HB_GDE = Prozent.von(FinDslNumber.prozent("0.2"));

    /**
     *  Spenden-Höchstbetrag Variante 2: Promille der Umsätze + Löhne (4 ‰). 
     */
    @Quelle("§ 10b Absatz 1 Satz 1 Nummer 2 EStG")
    public static final Prozent SPENDEN_HB_UMSATZ = Prozent.von(FinDslNumber.prozent("0.004"));
}

import org.findsl.runtime.FinDslNumber;
import org.findsl.runtime.FinDslListe;
import org.findsl.runtime.Tarifart;
import org.findsl.runtime.FinDslAbort;
import org.findsl.runtime.FinDslRuntimeError;
import org.findsl.runtime.Euro;
import org.findsl.runtime.EuroCent;
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).
 *
 * # Einkommensteuer — Veranlagungsschema § 2 EStG + Tarif § 32a EStG (VZ 2026)
 *
 * Bildet die **Einkommensteuer-Kaskade** nach § 2 EStG ab, schließt mit
 * dem tariflichen Einkommensteuerbetrag (§ 32a) und der festzusetzenden
 * Einkommensteuer (§ 2 Abs. 6). Maßgebliche Quelle:
 * `examples/est/estg.xml` (juris-Stand 2026-05-06), § 32a/§ 32 Abs. 6 in
 * der konsolidierten Fassung „ab Veranlagungszeitraum 2026".
 *
 * Gesetzliche Reihenfolge (jede Stufe = eigene Funktion, auditierbar):
 * Summe der Einkünfte (§ 2 Abs. 1–3) → Gesamtbetrag der Einkünfte
 * (§ 2 Abs. 3) → Einkommen (§ 2 Abs. 4) → zu versteuerndes Einkommen
 * (§ 2 Abs. 5) → tarifliche Einkommensteuer (§ 32a) → festzusetzende
 * Einkommensteuer (§ 2 Abs. 6).
 *
 * **Echte Rechenvorschrift (modelliert) — auch mehr-entitätig:**
 * - **§ 32 Abs. 6 Kinderfreibetrag/BEA je Kind** über `Liste<Kind>`
 *   (3.414 € + 1.464 € je Kind, Verdopplung Satz 2/3 per Faktor,
 *   Zwölftelung Satz 5, Auslands­kürzung Satz 4) → aggregiert.
 * - **§ 33 Abs. 1/3 außergewöhnliche Belastungen**: Summe der
 *   zwangsläufigen Aufwendungen abzüglich der **zumutbaren Belastung**
 *   (§ 33 Abs. 3, **staffelweise** über die drei GdE-Stufen × vier
 *   Personengruppen).
 * - **§ 10b Abs. 1 Spenden**: abziehbar bis zum Höchstbetrag
 *   max(20 % GdE; 4 ‰ (Umsätze + Löhne)).
 * - Die gesamte § 2-Verknüpfungs-Arithmetik + § 32a-Tarif + § 2 Abs. 6.
 *
 * **Geprüfte Eingabe, weil anderes Recht / Verfahren (nicht Tooling-
 * Grenze):**
 * - **Ermittlung der sieben Einkunftsarten** je Art (Gewinn §§ 4–7k/13a,
 *   Überschuss §§ 8–9a, § 20 Abs. 9, AfA § 7 mehrperiodig) — saldierter
 *   Betrag je Art als Eingabe.
 * - **§ 24a / § 24b / § 13 Abs. 3** — Beträge als Eingabe (eigene §§).
 * - **Übrige Sonderausgaben §§ 10–10c** außer § 10b (Vorsorge­aufwen-
 *   dungen mit eigenen Höchstbeträgen/Günstigerprüfung) — Aggregat-
 *   Eingabe `sonstigeSonderausgaben`.
 * - **Verlustabzug § 10d** (mehrperiodig) — negatives zvE → 0 tariflich,
 *   Verlustabzug selbst nicht modelliert.
 * - **Sachverhalte je Kind** (Kindschaftsverhältnis → `faktor`,
 *   Auslands-Ländergruppe → `auslandsfaktor`, Berücksichtigungs­monate)
 *   und die § 33-Zwangsläufigkeit/Angemessenheit (§ 33 Abs. 2),
 *   § 10b-Empfänger-Voraussetzungen (§ 10b Abs. 2) — Sachverhalt.
 * - **§ 32a Abs. 6** Witwen-/Gnadensplitting; **§ 2 Abs. 6-Komponenten**
 *   (§§ 34c/35/35a/32d Abs. 3/4 …) als zwei gerichtete Aggregat-Eingaben;
 *   Annexsteuern (SolZ, KiSt). Verfahren/eigene Gesetze.
 *
 * **Modellierungs-Entscheidung (Statut schweigt):** jede listen-
 * abgeleitete Kategorie-Abzugssumme (Kinderfreibetrag, abziehbare agB,
 * abziehbare Spenden) wird auf **volle Euro abgerundet** (`.abrunden()`
 * mit Euro-Kontext),
 * bevor sie in die Euro-Kaskade eingeht — deterministisch, konsistent mit
 * § 32a Abs. 1 Satz 1 (zvE auf volle Euro), fiskuskonservativ.
 */
@Generated(value = "findsl.Generator")
class EstImpl implements Est {

    @Quelle("§ 32a Absatz 1 EStG")
    @Override
    public Euro estGrundtarif(Euro zve) {
        if (zve.compareValue(FinDslNumber.ganzzahl("0").cast(FinDslNumber.Type.Euro)) < 0) {
            throw new FinDslAbort(
                "§ 32a Absatz 1 EStG: zu versteuerndes Einkommen darf nicht negativ sein (zvE=" + zve.asText() + ")");
        }
        if (zve.compareValue(GFB.add(FinDslNumber.ganzzahl("1"))) < 0) {
            return Euro.von(FinDslNumber.ganzzahl("0"));
        }
        if (zve.compareValue(ZONE_2_OBERGRENZE.add(FinDslNumber.ganzzahl("1"))) < 0) {
            final FinDslNumber y = zve.sub(GFB).div(ZEHNTAUSEND);
            final FinDslNumber roh = ZONE_2_PROGRESSION.mul(y).add(ZONE_2_LINEAR).mul(y);
            return Euro.von(roh.abrunden(FinDslNumber.Type.Euro).cast(FinDslNumber.Type.Euro));
        }
        if (zve.compareValue(ZONE_3_OBERGRENZE.add(FinDslNumber.ganzzahl("1"))) < 0) {
            final FinDslNumber z = zve.sub(ZONE_2_OBERGRENZE).div(ZEHNTAUSEND);
            final FinDslNumber roh = ZONE_3_PROGRESSION.mul(z).add(ZONE_3_LINEAR).mul(z).add(ZONE_3_KONSTANTE);
            return Euro.von(roh.abrunden(FinDslNumber.Type.Euro).cast(FinDslNumber.Type.Euro));
        }
        if (zve.compareValue(ZONE_4_OBERGRENZE.add(FinDslNumber.ganzzahl("1"))) < 0) {
            return Euro.von(ZONE_4_SATZ.mul(zve).sub(ZONE_4_ABZUG).abrunden(FinDslNumber.Type.Euro));
        }
        return Euro.von(ZONE_5_SATZ.mul(zve).sub(ZONE_5_ABZUG).abrunden(FinDslNumber.Type.Euro));
    }

    @Quelle("§ 32a Absatz 5 EStG")
    @Override
    public Euro estSplitting(Euro zve) {
        if (zve.compareValue(FinDslNumber.ganzzahl("0").cast(FinDslNumber.Type.Euro)) < 0) {
            throw new FinDslAbort(
                "§ 32a Absatz 5 EStG: gemeinsam zu versteuerndes Einkommen darf nicht negativ sein (zvE="
                    + zve.asText() 
                    + ")");
        }
        final FinDslNumber halbesZve = zve.div(FinDslNumber.ganzzahl("2"))
            .abrunden(FinDslNumber.Type.Euro)
            .cast(FinDslNumber.Type.Euro)
            .withMoneyAnnotation(FinDslNumber.Type.Euro, "var \"halbesZve\"");
        return Euro.von(FinDslNumber.ganzzahl("2").mul(estGrundtarif(Euro.von(halbesZve))));
    }

    /**
     *  Anteil eines Euro-Betrags in der Staffel-Spanne [von, obereGrenze]. 
     */
    protected FinDslNumber _spanne(FinDslNumber betrag, FinDslNumber von, FinDslNumber obereGrenze) {
        return betrag.hoechstens(obereGrenze).sub(von).mindestens(FinDslNumber.ganzzahl("0"));
    }

    @Quelle("§ 2 Absatz 1 und 2 EStG")
    @Override
    public Euro summeDerEinkuenfte(EinkommensteuerFall fall) {
        return Euro.von(
            fall.einkuenfteLandUndForstwirtschaft()
                .add(fall.einkuenfteGewerbebetrieb())
                .add(fall.einkuenfteSelbstaendigeArbeit())
                .add(fall.einkuenfteNichtselbstaendigeArbeit())
                .add(fall.einkuenfteKapitalvermoegen())
                .add(fall.einkuenfteVermietungVerpachtung())
                .add(fall.sonstigeEinkuenfte()));
    }

    @Quelle("§ 2 Absatz 3 EStG")
    @Override
    public Euro gesamtbetragDerEinkuenfte(Euro summe, EinkommensteuerFall fall) {
        return Euro.von(
            summe.sub(fall.altersentlastungsbetrag())
                .sub(fall.entlastungsbetragAlleinerziehende())
                .sub(fall.freibetragLandUndForstwirtschaft()));
    }

    @Quelle("§ 32 Absatz 6 EStG")
    @Override
    public Euro kinderfreibetragGesamt(FinDslListe<Kind> kinder) {
        return Euro.von(
            kinder.zuordnen(
                (k) -> KINDERFREIBETRAG.add(BEA_FREIBETRAG)
                    .mul(k.faktor())
                    .mul(k.berücksichtigteMonate().div(ZWOELF))
                    .mul(k.auslandsfaktor()))
                .summe()
                .abrunden(FinDslNumber.Type.Euro));
    }

    @Quelle("§ 33 Absatz 3 EStG")
    @Override
    public EuroCent zumutbareBelastung(Euro gde, Ganzzahl kinderzahl, Tarifart tarifart) {
        return EuroCent.von(
            _zmbSatz(FinDslNumber.ganzzahl("1"), kinderzahl, tarifart)
                .mul(_spanne(gde, FinDslNumber.ganzzahl("0"), ZMB_STUFE_1))
                .add(
                    _zmbSatz(FinDslNumber.ganzzahl("2"), kinderzahl, tarifart)
                        .mul(_spanne(gde, ZMB_STUFE_1, ZMB_STUFE_2)))
                .add(
                    _zmbSatz(FinDslNumber.ganzzahl("3"), kinderzahl, tarifart)
                        .mul(gde.sub(ZMB_STUFE_2).mindestens(FinDslNumber.ganzzahl("0")))));
    }

    /**
     *  Prozentsatz der zumutbaren Belastung für GdE-Stufe (1/2/3). 
     */
    @Quelle("§ 33 Absatz 3 Satz 1 EStG")
    protected FinDslNumber _zmbSatz(FinDslNumber stufe, FinDslNumber kinderzahl, Tarifart tarifart) {
        if (kinderzahl.compareValue(FinDslNumber.ganzzahl("1")) < 0) {
            if (tarifart == Tarifart.Grundtarif) {
                if (stufe.compareValue(FinDslNumber.ganzzahl("2")) < 0) {
                    return ZMB_OHNE_KIND_GRUND_1;
                }
                if (stufe.compareValue(FinDslNumber.ganzzahl("3")) < 0) {
                    return ZMB_OHNE_KIND_GRUND_2;
                }
                return ZMB_OHNE_KIND_GRUND_3;
            }
            if (tarifart == Tarifart.Splitting) {
                if (stufe.compareValue(FinDslNumber.ganzzahl("2")) < 0) {
                    return ZMB_OHNE_KIND_SPLIT_1;
                }
                if (stufe.compareValue(FinDslNumber.ganzzahl("3")) < 0) {
                    return ZMB_OHNE_KIND_SPLIT_2;
                }
                return ZMB_OHNE_KIND_SPLIT_3;
            }
            throw new FinDslRuntimeError("Kein falls-Arm passte (wähle, Codegen).");
        }
        if (kinderzahl.compareValue(FinDslNumber.ganzzahl("3")) < 0) {
            if (stufe.compareValue(FinDslNumber.ganzzahl("2")) < 0) {
                return ZMB_1_2_KINDER_1;
            }
            if (stufe.compareValue(FinDslNumber.ganzzahl("3")) < 0) {
                return ZMB_1_2_KINDER_2;
            }
            return ZMB_1_2_KINDER_3;
        }
        if (stufe.compareValue(FinDslNumber.ganzzahl("2")) < 0) {
            return ZMB_AB_3_KINDER_1;
        }
        if (stufe.compareValue(FinDslNumber.ganzzahl("3")) < 0) {
            return ZMB_AB_3_KINDER_2;
        }
        return ZMB_AB_3_KINDER_3;
    }

    @Quelle("§ 33 Absatz 1 EStG")
    @Override
    public Euro abziehbareAussergewoehnlicheBelastungen(EinkommensteuerFall fall, Euro gde) {
        return Euro.von(
            fall.aussergewoehnlicheAufwendungen()
                .summe()
                .cast(FinDslNumber.Type.EuroCent)
                .sub(zumutbareBelastung(Euro.von(gde), Ganzzahl.von(fall.kinder().laenge()), fall.tarifart()))
                .mindestens(FinDslNumber.dezimal("0.00"))
                .abrunden(FinDslNumber.Type.Euro));
    }

    @Quelle("§ 10b Absatz 1 EStG")
    @Override
    public Euro abziehbareSpenden(EinkommensteuerFall fall, Euro gde) {
        final FinDslNumber grenzeGde = SPENDEN_HB_GDE.mul(gde)
            .abrunden(FinDslNumber.Type.Euro)
            .withMoneyAnnotation(FinDslNumber.Type.Euro, "var \"grenzeGde\"");
        final FinDslNumber grenzeUmsatz = SPENDEN_HB_UMSATZ.mul(fall.umsaetzeUndLoehne())
            .abrunden(FinDslNumber.Type.Euro)
            .withMoneyAnnotation(FinDslNumber.Type.Euro, "var \"grenzeUmsatz\"");
        final FinDslNumber hoechstbetrag = grenzeGde.mindestens(grenzeUmsatz)
            .withMoneyAnnotation(FinDslNumber.Type.Euro, "var \"hoechstbetrag\"");
        return Euro.von(fall.spenden().summe().hoechstens(hoechstbetrag));
    }

    @Quelle("§ 2 Absatz 4 EStG")
    @Override
    public Euro einkommen(Euro gesamtbetrag, EinkommensteuerFall fall) {
        return Euro.von(
            gesamtbetrag.sub(fall.sonstigeSonderausgaben())
                .sub(abziehbareSpenden(fall, Euro.von(gesamtbetrag)))
                .sub(abziehbareAussergewoehnlicheBelastungen(fall, Euro.von(gesamtbetrag))));
    }

    @Quelle("§ 2 Absatz 5 Satz 1 EStG")
    @Override
    public Euro zuVersteuerndesEinkommen(Euro einkommen, EinkommensteuerFall fall) {
        return Euro.von(einkommen.sub(kinderfreibetragGesamt(fall.kinder())).sub(fall.sonstigeAbzuegeVomEinkommen()));
    }

    @Quelle("§ 32a Absatz 1 und 5 EStG")
    @Override
    public Euro tariflicheEinkommensteuer(Euro zve, Tarifart tarifart) {
        if (tarifart == Tarifart.Grundtarif) {
            return Euro.von(estGrundtarif(Euro.von(zve.mindestens(FinDslNumber.ganzzahl("0")))));
        }
        if (tarifart == Tarifart.Splitting) {
            return Euro.von(estSplitting(Euro.von(zve.mindestens(FinDslNumber.ganzzahl("0")))));
        }
        throw new FinDslRuntimeError("Kein falls-Arm passte (wähle, Codegen).");
    }

    @Quelle("§ 2 Absatz 6 EStG")
    @Override
    public Euro festzusetzendeEinkommensteuer(Euro tariflich, EinkommensteuerFall fall) {
        return Euro.von(tariflich.sub(fall.anrechnungenUndErmaessigungen()).add(fall.hinzurechnungen()));
    }

    @Quelle("§ 2 EStG, § 32a EStG")
    @Override
    public EinkommensteuerErgebnis berechneEinkommensteuer(EinkommensteuerFall fall) {
        final FinDslNumber sde = summeDerEinkuenfte(fall).withMoneyAnnotation(FinDslNumber.Type.Euro, "var \"sde\"");
        final FinDslNumber gde = gesamtbetragDerEinkuenfte(Euro.von(sde), fall)
            .withMoneyAnnotation(FinDslNumber.Type.Euro, "var \"gde\"");
        final FinDslNumber kfb = kinderfreibetragGesamt(fall.kinder())
            .withMoneyAnnotation(FinDslNumber.Type.Euro, "var \"kfb\"");
        final FinDslNumber agb = abziehbareAussergewoehnlicheBelastungen(fall, Euro.von(gde))
            .withMoneyAnnotation(FinDslNumber.Type.Euro, "var \"agb\"");
        final FinDslNumber ein = einkommen(Euro.von(gde), fall)
            .withMoneyAnnotation(FinDslNumber.Type.Euro, "var \"ein\"");
        final FinDslNumber zve = zuVersteuerndesEinkommen(Euro.von(ein), fall)
            .withMoneyAnnotation(FinDslNumber.Type.Euro, "var \"zve\"");
        final FinDslNumber tariflich = tariflicheEinkommensteuer(Euro.von(zve), fall.tarifart())
            .withMoneyAnnotation(FinDslNumber.Type.Euro, "var \"tariflich\"");
        final FinDslNumber fest = festzusetzendeEinkommensteuer(Euro.von(tariflich), fall)
            .withMoneyAnnotation(FinDslNumber.Type.Euro, "var \"fest\"");
        return new EinkommensteuerErgebnis(
            Euro.von(sde),
            Euro.von(gde),
            Euro.von(kfb),
            Euro.von(agb),
            Euro.von(ein),
            Euro.von(zve),
            Euro.von(tariflich),
            Euro.von(fest));
    }
}