@fin.cx/compatibility 4.0.0 → 5.0.0

package/dist_ts/00_commitinfo_data.js

@@ -3,7 +3,7 @@
  */
 export const commitinfo = {
     name: '@fin.cx/compatibility',
-    version: '4.0.0',
+    version: '5.0.0',
     description: 'Exchange formats of third-party accounting systems: the EXTF Buchungsstapel in Windows-1252 on the rows of @fin.cx/skr, and the document-image archive (document.xml and ZIP)'
 };
 //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiMDBfY29tbWl0aW5mb19kYXRhLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vdHMvMDBfY29tbWl0aW5mb19kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBOztHQUVHO0FBQ0gsTUFBTSxDQUFDLE1BQU0sVUFBVSxHQUFHO0lBQ3hCLElBQUksRUFBRSx1QkFBdUI7SUFDN0IsT0FBTyxFQUFFLE9BQU87SUFDaEIsV0FBVyxFQUFFLCtLQUErSztDQUM3TCxDQUFBIn0=

package/dist_ts/error.d.ts

@@ -1,10 +1,18 @@
 /**
  * Why an exchange file could not be written:
- * - `invalid_bookings`: a draft the account policy refuses; the message names it;
+ * - `invalid_bookings`: a draft the account policy refuses, the message names it; a general reversal among the
+ *   bookings handed over to a correction Buchungsstapel (a correction file passed as the state handed over); or a row
+ *   or booking a Buchungsstapel does not hold (no day, an amount that is not positive) or whose Belegdatum lies
+ *   outside the period of the header, named;
+ * - `invalid_header`: a header whose period ends before it begins or does not lie within the one Wirtschaftsjahr
+ *   beginning on its Wirtschaftsjahr-Beginn;
  * - `export_failed`: the conversion into rows failed;
- * - `invalid_documents`: a document of a document-image archive DATEV does not take (its GUID, its format), or none.
+ * - `invalid_documents`: a document of a document-image archive DATEV does not take (its GUID, its format), or none;
+ * - `nothing_to_correct`: a correction Buchungsstapel whose current bookings are the ones handed over;
+ * - `handed_over_cost_centres_unknown`: a correction of a period whose bookings handed over include one whose cost
+ *   centres its record does not state (stored before 4.1) and no rows sent were given; the message names it.
  */
-export type TCompatibilityErrorCode = 'invalid_bookings' | 'export_failed' | 'invalid_documents';
+export type TCompatibilityErrorCode = 'invalid_bookings' | 'invalid_header' | 'export_failed' | 'invalid_documents' | 'nothing_to_correct' | 'handed_over_cost_centres_unknown';
 export declare class CompatibilityError extends Error {
     readonly code: TCompatibilityErrorCode;
     constructor(codeArg: TCompatibilityErrorCode, messageArg: string);

package/dist_ts/error.js

@@ -5,4 +5,4 @@ export class CompatibilityError extends Error {
         this.code = codeArg;
     }
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXJyb3IuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi90cy9lcnJvci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFRQSxNQUFNLE9BQU8sa0JBQW1CLFNBQVEsS0FBSztJQUczQyxZQUFZLE9BQWdDLEVBQUUsVUFBa0I7UUFDOUQsS0FBSyxDQUFDLFVBQVUsQ0FBQyxDQUFDO1FBQ2xCLElBQUksQ0FBQyxJQUFJLEdBQUcsb0JBQW9CLENBQUM7UUFDakMsSUFBSSxDQUFDLElBQUksR0FBRyxPQUFPLENBQUM7SUFDdEIsQ0FBQztDQUNGIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXJyb3IuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi90cy9lcnJvci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFnQkEsTUFBTSxPQUFPLGtCQUFtQixTQUFRLEtBQUs7SUFHM0MsWUFBWSxPQUFnQyxFQUFFLFVBQWtCO1FBQzlELEtBQUssQ0FBQyxVQUFVLENBQUMsQ0FBQztRQUNsQixJQUFJLENBQUMsSUFBSSxHQUFHLG9CQUFvQixDQUFDO1FBQ2pDLElBQUksQ0FBQyxJQUFJLEdBQUcsT0FBTyxDQUFDO0lBQ3RCLENBQUM7Q0FDRiJ9

package/dist_ts/extf/index.d.ts

@@ -21,14 +21,32 @@ export interface IExportBooking {
     text: string;
     /** the document GUID the row links to (field 20, `BEDI "GUID"`) */
     documentGuid?: string;
+    /**
+     * The cost centres of the row (fields 37 and 38, KOST1 and KOST2), empty where it states none. `bookingsOfRows`
+     * records both on every booking; a booking stored before 4.1 has neither, although the row sent stated them: its
+     * cost centres are not known. `differingBookingCount` compares it without them; a correction refuses it
+     * (`handed_over_cost_centres_unknown`) unless it is given the rows sent (`handedOverRows`).
+     */
+    kost1?: string;
+    kost2?: string;
+    /**
+     * The row is a general reversal (field 118 "Generalumkehr", written "1"): it takes back the booking of the same
+     * fields on DATEV's side. Absent on an ordinary row.
+     */
+    generalumkehr?: true;
 }
 /** The bookings of rows, in their order. */
 export declare const bookingsOfRows: (rowsArg: readonly IDatevBuchungsstapelRow[]) => IExportBooking[];
 /**
  * How many rows two Buchungsstapel of one period do not share, compared on
- * what a booking says (its day, amount, side, accounts, BU key and Belegfeld
- * 1) and not on its wording or its document link. The rows are compared as a
- * multiset: a row that stands twice in one and once in the other differs once.
+ * what a booking says (its day, amount, side, accounts, BU key, Belegfeld 1,
+ * cost centres, and whether it is a general reversal) and not on its wording or its document link. The rows are
+ * compared as a multiset: a row that stands twice in one and once in the other differs once. Both sides are compared
+ * as a file states them (`comparableOf`: a `"` as `'`, Belegfeld 1 cut to 36 characters, a character Windows-1252
+ * cannot hold as `?`), so bookings stored of rows before writing and bookings read from a file compare alike. A
+ * booking stored before 4.1, which does not record its cost centres, never differs on them (`pairBookings`); compare
+ * `bookingsOfRows` of the rows sent for an answer that counts them. A booking a Buchungsstapel cannot hold (no day,
+ * no positive amount) is refused (`invalid_bookings`).
  */
 export declare const differingBookingCount: (leftArg: readonly IExportBooking[], rightArg: readonly IExportBooking[]) => number;
 /**
@@ -81,10 +99,106 @@ export interface IBuchungsstapelFile {
     csv: string;
     /** the file in Windows-1252, as it is handed over */
     bytes: Uint8Array;
+    /** the rows as they were given to the writer; the file states them as `rowsAsWritten` does */
     rows: IDatevBuchungsstapelRow[];
+    /**
+     * The bookings the file states, read back from its bytes (`@fin.cx/skr` `readExtfBuchungsstapel`): a `"` in a
+     * text field as `'`, Belegfeld 1 cut to 36 characters, a character Windows-1252 cannot hold as `?`. What a file
+     * read back is compared with, and what a correction's `handedOver` is (4.1 and before: the rows' bookings before
+     * writing).
+     */
     bookings: IExportBooking[];
     /** the characters Windows-1252 cannot write, each written as `?`, with the row and field it stands in */
     replacedCharacters: IBuchungsstapelReplacement[];
 }
+/**
+ * Rows as a Buchungsstapel file states them: each row written by the writer (`@fin.cx/skr` `writeExtfBuchungsstapel`,
+ * which writes a `"` in a text field as `'` and cuts a field to its DATEV length), encoded in Windows-1252 (a
+ * character it cannot hold written `?`, `encodeWindows1252`), and read back (`@fin.cx/skr` `readExtfBuchungsstapel`),
+ * in the order given. Every rule of the writer, the encoding and the reader applies because the rows go through them,
+ * not through a copy of their rules. The rows of each calendar year are written as one file whose header spans their
+ * days; the header states nothing a row is read by beyond its days. A row the writer or the reader refuses throws as
+ * it does.
+ */
+export declare const rowsAsWritten: (rowsArg: readonly IDatevBuchungsstapelRow[]) => IDatevBuchungsstapelRow[];
+/**
+ * The bookings of rows as a Buchungsstapel file states them (`rowsAsWritten`): what a file handed over, read back
+ * with `readExtfBuchungsstapel`, is compared with. `bookingsOfRows` of the rows before writing keeps what the file
+ * does not (a `"` in Belegfeld 1, a Belegfeld 1 longer than its 36 characters, a character Windows-1252 cannot
+ * hold), and Belegfeld 1 is compared, so such a booking would differ from the file forever.
+ */
+export declare const bookingsAsWritten: (rowsArg: readonly IDatevBuchungsstapelRow[]) => IExportBooking[];
 /** Writes a Buchungsstapel: the rows of the drafts, the header and the caption row, encoded in Windows-1252. */
 export declare const writeBuchungsstapel: (optionsArg: IBuchungsstapelOptions) => IBuchungsstapelFile;
+/**
+ * The row a booking handed over was written as, for a general reversal of it: every field the booking keeps
+ * (`IExportBooking`) in its place, the Belegdatum at midnight UTC as the writer reads it.
+ */
+export declare const rowOfBooking: (bookingArg: IExportBooking) => IDatevBuchungsstapelRow;
+/**
+ * What a correction of a period handed over changes, compared as `differingBookingCount` compares: the bookings
+ * handed over that the current ones no longer hold (`reversed`, each once for each time it is missing), the ones they
+ * still hold (`kept`, as they were handed over) and the current rows the bookings handed over do not hold (`added`),
+ * each in its order. A booking that stands in both is kept: a changed text or document link is no changed booking,
+ * a changed cost centre is. The current rows are compared as a file states them (`bookingsAsWritten`), as the
+ * bookings handed over are; `added` are the rows themselves, which the writer writes. A booking handed over whose
+ * cost centres its record does not state (stored before 4.1) is refused (`handed_over_cost_centres_unknown`): pass
+ * `bookingsOfRows` of the rows sent instead.
+ */
+export declare const correctionOf: (handedOverArg: readonly IExportBooking[], currentArg: readonly IDatevBuchungsstapelRow[]) => {
+    reversed: IExportBooking[];
+    kept: IExportBooking[];
+    added: IDatevBuchungsstapelRow[];
+};
+/**
+ * The state of a period handed over, given once: the bookings stored of it (`handedOver`) or the rows of the Stapel
+ * sent (`handedOverRows`). A general reversal in it is refused: the state handed over is compared, not a correction
+ * file.
+ */
+export interface ICorrectionBuchungsstapelOptions {
+    /**
+     * The bookings of the period as they were handed over, as a whole: the bookings of its Buchungsstapel as stored
+     * (`IBuchungsstapelFile.bookings`), or after a correction the period's bookings as that correction left them
+     * (`bookingsAfter`). Each must state its cost centres: one stored before 4.1 does not, and is refused
+     * (`handed_over_cost_centres_unknown`); pass the rows sent for it. Bookings stored by any version, before or after
+     * writing, are compared as a file states them (`comparableOf`), so a reference the writer changed is no change.
+     */
+    handedOver?: readonly IExportBooking[];
+    /**
+     * The rows of the Buchungsstapel as it was sent: the transmitted file read back (`@fin.cx/skr`
+     * `readExtfBuchungsstapel(bytes).rows`, skr 7.0.1 and later) or the rows given to the writer
+     * (`IBuchungsstapelFile.rows`), taken as the file states them (`bookingsAsWritten`). What DATEV received, cost
+     * centres (fields 37 and 38) included, so a reversal mirrors it exactly. For a Stapel whose bookings were stored
+     * before 4.1, which record no cost centres.
+     */
+    handedOverRows?: readonly IDatevBuchungsstapelRow[];
+    /** the period's drafts as they stand now */
+    drafts: readonly plugins.skrCore.IJournalDraft[];
+    /** the policy the drafts are checked against */
+    policy: plugins.skrCore.IAccountPolicy;
+    /** the header of the file: the same period (`dateFrom`, `dateTo`) as the Stapel handed over, a label of its own */
+    header: IDatevExtfHeaderOptions;
+    filename: string;
+}
+export interface ICorrectionBuchungsstapelFile extends IBuchungsstapelFile {
+    /** the bookings handed over it takes back, each written as a general reversal */
+    reversed: IExportBooking[];
+    /** the rows it books anew */
+    added: IDatevBuchungsstapelRow[];
+    /**
+     * The period's bookings as DATEV holds them after this correction: each booking handed over that it keeps, as it
+     * was handed over (its text and document link too), then the rows it books anew. What the next correction is
+     * compared against.
+     */
+    bookingsAfter: IExportBooking[];
+}
+/**
+ * Writes the correction Buchungsstapel of a period handed over whose bookings changed since: only what changed. Each
+ * booking handed over that the drafts no longer hold is written again with field 118 "Generalumkehr" set, so DATEV
+ * takes it back on its side and day, and each row the drafts hold that was not handed over is written as it is; rows
+ * in both are not written. Every row keeps its Belegdatum, so it counts in the period it belongs to. A booking handed
+ * over is never changed or replaced (§ 146 Abs. 4 AO): it is taken back and booked anew. Throws `nothing_to_correct`
+ * when nothing changed; `invalid_bookings` for a general reversal in the state handed over, or for a state given
+ * twice or not at all; `handed_over_cost_centres_unknown` for a booking whose cost centres are not known.
+ */
+export declare const writeCorrectionBuchungsstapel: (optionsArg: ICorrectionBuchungsstapelOptions) => ICorrectionBuchungsstapelFile;

package/dist_ts/extf/index.js

@@ -20,33 +20,110 @@ export const bookingsOfRows = (rowsArg) => rowsArg.map((rowArg) => ({
     ...(rowArg.belegfeld2 ? { belegfeld2: rowArg.belegfeld2 } : {}),
     text: rowArg.buchungstext,
     ...(rowArg.belegLink ? { documentGuid: guidOfLink(rowArg.belegLink) } : {}),
+    // recorded on every booking, empty where the row states none: a booking without them was stored before 4.1
+    kost1: rowArg.kost1 ?? '',
+    kost2: rowArg.kost2 ?? '',
+    ...(rowArg.generalumkehr === true ? { generalumkehr: true } : {}),
 }));
 /**
- * How many rows two Buchungsstapel of one period do not share, compared on
- * what a booking says (its day, amount, side, accounts, BU key and Belegfeld
- * 1) and not on its wording or its document link. The rows are compared as a
- * multiset: a row that stands twice in one and once in the other differs once.
+ * What a booking says, as two Stapel of one period are compared, apart from its cost centres: its day, amount, side,
+ * accounts, BU key, Belegfeld 1 and whether it is a general reversal, not its wording or document link. A reversal
+ * never matches an ordinary row.
  */
-export const differingBookingCount = (leftArg, rightArg) => {
-    const keyOf = (bookingArg) => [bookingArg.date, bookingArg.umsatzCents, bookingArg.sollHaben, bookingArg.konto, bookingArg.gegenkonto, bookingArg.buKey, bookingArg.belegfeld1 ?? ''].join('|');
-    const unmatched = new Map();
-    for (const booking of leftArg) {
-        unmatched.set(keyOf(booking), (unmatched.get(keyOf(booking)) ?? 0) + 1);
-    }
-    let differing = 0;
-    for (const booking of rightArg) {
-        const left = unmatched.get(keyOf(booking)) ?? 0;
-        if (left > 0) {
-            unmatched.set(keyOf(booking), left - 1);
+const baseKeyOf = (bookingArg) => JSON.stringify([
+    bookingArg.date,
+    bookingArg.umsatzCents,
+    bookingArg.sollHaben,
+    bookingArg.konto,
+    bookingArg.gegenkonto,
+    bookingArg.buKey,
+    bookingArg.belegfeld1 ?? '',
+    bookingArg.generalumkehr ? 'GU' : '',
+]);
+/** Whether a booking records its cost centres: every booking read from rows since 4.1 does, one stored before does not. */
+const recordsCostCentres = (bookingArg) => bookingArg.kost1 !== undefined || bookingArg.kost2 !== undefined;
+/** What a booking that records its cost centres says, the cost centres included. */
+const fullKeyOf = (bookingArg) => JSON.stringify([baseKeyOf(bookingArg), bookingArg.kost1 ?? '', bookingArg.kost2 ?? '']);
+/**
+ * Pairs the bookings of two Stapel of one period that say the same, as a multiset: two bookings that record their
+ * cost centres pair on every key field, the cost centres included, so a changed cost centre is a changed booking. A
+ * booking that does not record them (stored before 4.1, although the row sent stated them) pairs with any booking of
+ * the same other key fields: its record says nothing of them, so they never make it differ. Unpaired recorded bookings take the
+ * unrecorded ones of the other side first, which pair with anything, so as many pairs as possible are made.
+ */
+const pairBookings = (leftArg, rightArg) => {
+    const leftPaired = leftArg.map(() => false);
+    const rightPaired = rightArg.map(() => false);
+    const take = (queuesArg, keyArg) => queuesArg.get(keyArg)?.shift();
+    const queue = (queuesArg, keyArg, indexArg) => {
+        queuesArg.set(keyArg, [...(queuesArg.get(keyArg) ?? []), indexArg]);
+    };
+    // recorded with recorded, on every key field
+    const recordedRight = new Map();
+    rightArg.forEach((bookingArg, indexArg) => {
+        if (recordsCostCentres(bookingArg)) {
+            queue(recordedRight, fullKeyOf(bookingArg), indexArg);
         }
-        else {
-            differing += 1;
+    });
+    leftArg.forEach((bookingArg, indexArg) => {
+        const paired = recordsCostCentres(bookingArg) ? take(recordedRight, fullKeyOf(bookingArg)) : undefined;
+        if (paired !== undefined) {
+            leftPaired[indexArg] = true;
+            rightPaired[paired] = true;
         }
+    });
+    // what is left, on the key fields without the cost centres, where one of the two does not record them
+    const unrecordedRight = new Map();
+    const openRecordedRight = new Map();
+    rightArg.forEach((bookingArg, indexArg) => {
+        if (!rightPaired[indexArg]) {
+            queue(recordsCostCentres(bookingArg) ? openRecordedRight : unrecordedRight, baseKeyOf(bookingArg), indexArg);
+        }
+    });
+    const pairLeft = (recordedArg) => {
+        leftArg.forEach((bookingArg, indexArg) => {
+            if (leftPaired[indexArg] || recordsCostCentres(bookingArg) !== recordedArg) {
+                return;
+            }
+            const key = baseKeyOf(bookingArg);
+            const paired = recordedArg ? take(unrecordedRight, key) : take(openRecordedRight, key) ?? take(unrecordedRight, key);
+            if (paired !== undefined) {
+                leftPaired[indexArg] = true;
+                rightPaired[paired] = true;
+            }
+        });
+    };
+    pairLeft(true);
+    pairLeft(false);
+    return { leftPaired, rightPaired };
+};
+/**
+ * Bookings as a Buchungsstapel file states them, for comparing: each written as the row it was written as
+ * (`rowOfBooking`) and read back (`bookingsAsWritten`), so bookings stored of rows before writing (4.1 and before)
+ * and bookings read from a file compare alike. One that records no cost centres (stored before 4.1) keeps recording
+ * none, so it still never differs on them. A booking a Buchungsstapel cannot hold is refused (`invalid_bookings`).
+ */
+const comparableOf = (bookingsArg) => bookingsAsWritten(bookingsArg.map((bookingArg) => rowOfBooking(bookingArg))).map((bookingArg, indexArg) => {
+    if (recordsCostCentres(bookingsArg[indexArg])) {
+        return bookingArg;
     }
-    for (const left of unmatched.values()) {
-        differing += left;
-    }
-    return differing;
+    const { kost1: _kost1, kost2: _kost2, ...unrecorded } = bookingArg;
+    return unrecorded;
+});
+/**
+ * How many rows two Buchungsstapel of one period do not share, compared on
+ * what a booking says (its day, amount, side, accounts, BU key, Belegfeld 1,
+ * cost centres, and whether it is a general reversal) and not on its wording or its document link. The rows are
+ * compared as a multiset: a row that stands twice in one and once in the other differs once. Both sides are compared
+ * as a file states them (`comparableOf`: a `"` as `'`, Belegfeld 1 cut to 36 characters, a character Windows-1252
+ * cannot hold as `?`), so bookings stored of rows before writing and bookings read from a file compare alike. A
+ * booking stored before 4.1, which does not record its cost centres, never differs on them (`pairBookings`); compare
+ * `bookingsOfRows` of the rows sent for an answer that counts them. A booking a Buchungsstapel cannot hold (no day,
+ * no positive amount) is refused (`invalid_bookings`).
+ */
+export const differingBookingCount = (leftArg, rightArg) => {
+    const { leftPaired, rightPaired } = pairBookings(comparableOf(leftArg), comparableOf(rightArg));
+    return [...leftPaired, ...rightPaired].filter((pairedArg) => !pairedArg).length;
 };
 /**
  * Checks every draft against the account policy and turns the drafts into
@@ -109,10 +186,11 @@ export const replacedCharactersOfRows = (rowsArg) => {
     });
     return replacements;
 };
-/** Writes a Buchungsstapel: the rows of the drafts, the header and the caption row, encoded in Windows-1252. */
-export const writeBuchungsstapel = (optionsArg) => {
-    const rows = datevRowsOf(optionsArg.drafts, optionsArg.policy);
-    const { csv } = plugins.skrCore.writeExtfBuchungsstapel(rows, optionsArg.header);
+/** The file of rows: the header and the caption row, the rows, encoded in Windows-1252, with where each character stands. */
+const fileOfRows = (rows, headerArg, filenameArg) => {
+    refuseUnwritableRows(rows);
+    refuseOutsideHeader(rows, headerArg);
+    const { csv } = plugins.skrCore.writeExtfBuchungsstapel(rows, headerArg);
     const { bytes, replaced } = encodeWindows1252(csv);
     // the file is the header line, the caption line and one line per row, each ending in CRLF (`writeExtfBuchungsstapel`)
     const rowLines = rows.map((rowArg) => plugins.skrCore.datevRowFields(rowArg));
@@ -137,6 +215,202 @@ export const writeBuchungsstapel = (optionsArg) => {
         }
         return { ...replacedArg, row, field: fieldAt(fieldStartsOf(rowLines[row]), replacedArg.offset - lineStarts[row]) };
     });
-    return { filename: optionsArg.filename, csv, bytes, rows, bookings: bookingsOfRows(rows), replacedCharacters };
+    // the bookings of what was written, as the file states them
+    const written = plugins.skrCore.readExtfBuchungsstapel(bytes).rows;
+    if (written.length !== rows.length) {
+        throw new CompatibilityError('export_failed', `${rows.length} row(s) written, ${written.length} read back`);
+    }
+    return { filename: filenameArg, csv, bytes, rows, bookings: bookingsOfRows(written), replacedCharacters };
+};
+/** The Belegdatum of a row as its day, midnight UTC, in epoch milliseconds. */
+const dayOfRow = (rowArg) => Date.UTC(rowArg.belegDatum.getUTCFullYear(), rowArg.belegDatum.getUTCMonth(), rowArg.belegDatum.getUTCDate());
+/** A row as a refusal names it: its place among the rows given, its day, amount, side, accounts and Belegfeld 1. */
+const rowNameOf = (rowArg, indexArg) => `row ${indexArg + 1} (${Number.isNaN(rowArg.belegDatum.getTime()) ? 'no day' : rowArg.belegDatum.toISOString().slice(0, 10)}, ${rowArg.umsatzCents} ${rowArg.sollHaben} ${rowArg.konto}/${rowArg.gegenKonto}`
+    + `${rowArg.belegfeld1 ? `, Belegfeld 1 ${rowArg.belegfeld1}` : ''})`;
+/**
+ * Refuses a row a Buchungsstapel does not hold, before anything is written: a Belegdatum that is no day, and an
+ * amount that is not a positive whole number of cents (a Buchungsstapel states the side apart, field 2, and
+ * `readExtfBuchungsstapel` refuses any other). `invalid_bookings`, naming the row.
+ */
+const refuseUnwritableRows = (rowsArg) => {
+    rowsArg.forEach((rowArg, indexArg) => {
+        if (Number.isNaN(rowArg.belegDatum.getTime())) {
+            throw new CompatibilityError('invalid_bookings', `${rowNameOf(rowArg, indexArg)} has no Belegdatum`);
+        }
+        if (!Number.isSafeInteger(rowArg.umsatzCents) || rowArg.umsatzCents <= 0) {
+            throw new CompatibilityError('invalid_bookings', `${rowNameOf(rowArg, indexArg)}: a Buchungsstapel states a positive amount, the side apart`);
+        }
+    });
+};
+/**
+ * Refuses a header whose period a Buchungsstapel cannot state (`invalid_header`): Datum von after Datum bis, or a
+ * period that does not lie within the one Wirtschaftsjahr beginning on the Wirtschaftsjahr-Beginn (a Belegdatum is
+ * written TTMM, and the reader takes its year from them); and every row whose Belegdatum lies outside the period
+ * (`invalid_bookings`, naming it). Checked before anything is written.
+ */
+const refuseOutsideHeader = (rowsArg, headerArg) => {
+    const day = (dateArg) => Date.UTC(dateArg.getUTCFullYear(), dateArg.getUTCMonth(), dateArg.getUTCDate());
+    const from = day(headerArg.dateFrom);
+    const to = day(headerArg.dateTo);
+    const start = day(headerArg.fiscalYearStart);
+    const end = Date.UTC(headerArg.fiscalYearStart.getUTCFullYear() + 1, headerArg.fiscalYearStart.getUTCMonth(), headerArg.fiscalYearStart.getUTCDate());
+    const iso = (timeArg) => new Date(timeArg).toISOString().slice(0, 10);
+    if ([from, to, start].some(Number.isNaN)) {
+        throw new CompatibilityError('invalid_header', 'the header states no day for the Wirtschaftsjahr-Beginn, Datum von or Datum bis');
+    }
+    if (to < from) {
+        throw new CompatibilityError('invalid_header', `the period of the header ends (${iso(to)}) before it begins (${iso(from)})`);
+    }
+    if (from < start || to >= end) {
+        throw new CompatibilityError('invalid_header', `the period of the header, ${iso(from)} to ${iso(to)}, does not lie within the Wirtschaftsjahr beginning ${iso(start)}`);
+    }
+    rowsArg.forEach((rowArg, indexArg) => {
+        const time = dayOfRow(rowArg);
+        if (time < from || time > to) {
+            throw new CompatibilityError('invalid_bookings', `${rowNameOf(rowArg, indexArg)} lies outside the period of the header, ${iso(from)} to ${iso(to)}`);
+        }
+    });
+};
+/**
+ * Rows as a Buchungsstapel file states them: each row written by the writer (`@fin.cx/skr` `writeExtfBuchungsstapel`,
+ * which writes a `"` in a text field as `'` and cuts a field to its DATEV length), encoded in Windows-1252 (a
+ * character it cannot hold written `?`, `encodeWindows1252`), and read back (`@fin.cx/skr` `readExtfBuchungsstapel`),
+ * in the order given. Every rule of the writer, the encoding and the reader applies because the rows go through them,
+ * not through a copy of their rules. The rows of each calendar year are written as one file whose header spans their
+ * days; the header states nothing a row is read by beyond its days. A row the writer or the reader refuses throws as
+ * it does.
+ */
+export const rowsAsWritten = (rowsArg) => {
+    refuseUnwritableRows(rowsArg);
+    const written = new Array(rowsArg.length);
+    // the indexes of the rows of each calendar year, and the first and last day among them
+    const years = new Map();
+    rowsArg.forEach((rowArg, indexArg) => {
+        const year = rowArg.belegDatum.getUTCFullYear();
+        const time = dayOfRow(rowArg);
+        const group = years.get(year);
+        if (group) {
+            group.indexes.push(indexArg);
+            group.first = Math.min(group.first, time);
+            group.last = Math.max(group.last, time);
+        }
+        else {
+            years.set(year, { indexes: [indexArg], first: time, last: time });
+        }
+    });
+    for (const [year, group] of years) {
+        const { csv } = plugins.skrCore.writeExtfBuchungsstapel(group.indexes.map((indexArg) => rowsArg[indexArg]), {
+            createdAt: new Date(Date.UTC(year, 0, 1)),
+            consultantNumber: 0,
+            clientNumber: 0,
+            // a Belegdatum is written TTMM: the reader takes its year from the Wirtschaftsjahr and the period of the header
+            fiscalYearStart: new Date(Date.UTC(year, 0, 1)),
+            dateFrom: new Date(group.first),
+            dateTo: new Date(group.last),
+            label: '',
+            festschreibung: false,
+        });
+        const read = plugins.skrCore.readExtfBuchungsstapel(encodeWindows1252(csv).bytes).rows;
+        if (read.length !== group.indexes.length) {
+            throw new CompatibilityError('export_failed', `${group.indexes.length} row(s) written, ${read.length} read back`);
+        }
+        group.indexes.forEach((indexArg, positionArg) => {
+            written[indexArg] = read[positionArg];
+        });
+    }
+    return written;
+};
+/**
+ * The bookings of rows as a Buchungsstapel file states them (`rowsAsWritten`): what a file handed over, read back
+ * with `readExtfBuchungsstapel`, is compared with. `bookingsOfRows` of the rows before writing keeps what the file
+ * does not (a `"` in Belegfeld 1, a Belegfeld 1 longer than its 36 characters, a character Windows-1252 cannot
+ * hold), and Belegfeld 1 is compared, so such a booking would differ from the file forever.
+ */
+export const bookingsAsWritten = (rowsArg) => bookingsOfRows(rowsAsWritten(rowsArg));
+/** Writes a Buchungsstapel: the rows of the drafts, the header and the caption row, encoded in Windows-1252. */
+export const writeBuchungsstapel = (optionsArg) => fileOfRows(datevRowsOf(optionsArg.drafts, optionsArg.policy), optionsArg.header, optionsArg.filename);
+/**
+ * The row a booking handed over was written as, for a general reversal of it: every field the booking keeps
+ * (`IExportBooking`) in its place, the Belegdatum at midnight UTC as the writer reads it.
+ */
+export const rowOfBooking = (bookingArg) => ({
+    umsatzCents: bookingArg.umsatzCents,
+    sollHaben: bookingArg.sollHaben,
+    konto: bookingArg.konto,
+    gegenKonto: bookingArg.gegenkonto,
+    buSchluessel: bookingArg.buKey,
+    belegDatum: new Date(`${bookingArg.date}T00:00:00.000Z`),
+    ...(bookingArg.belegfeld1 ? { belegfeld1: bookingArg.belegfeld1 } : {}),
+    ...(bookingArg.belegfeld2 ? { belegfeld2: bookingArg.belegfeld2 } : {}),
+    buchungstext: bookingArg.text,
+    ...(bookingArg.documentGuid ? { belegLink: bookingArg.documentGuid } : {}),
+    ...(bookingArg.kost1 ? { kost1: bookingArg.kost1 } : {}),
+    ...(bookingArg.kost2 ? { kost2: bookingArg.kost2 } : {}),
+    festschreibung: false,
+    ...(bookingArg.generalumkehr ? { generalumkehr: true } : {}),
+});
+/** A booking as a refusal names it: its place among the bookings handed over, day, amount, side, accounts and Belegfeld 1. */
+const bookingNameOf = (bookingArg, indexArg) => `booking ${indexArg + 1} (${bookingArg.date}, ${bookingArg.umsatzCents} ${bookingArg.sollHaben} ${bookingArg.konto}/${bookingArg.gegenkonto}`
+    + `${bookingArg.belegfeld1 ? `, Belegfeld 1 ${bookingArg.belegfeld1}` : ''})`;
+/**
+ * Refuses a state handed over that holds a booking whose cost centres its record does not state (stored before 4.1).
+ * The Stapel sent stated them (fields 37 and 38), so DATEV holds them: whether the booking must be taken back turns on
+ * them, and a reversal that does not state them would leave them standing in DATEV's cost accounting. The rows sent
+ * tell them (`handedOverRows`).
+ */
+const refuseCostCentresUnknown = (handedOverArg) => {
+    const unknown = handedOverArg.findIndex((bookingArg) => !recordsCostCentres(bookingArg));
+    if (unknown >= 0) {
+        throw new CompatibilityError('handed_over_cost_centres_unknown', `${bookingNameOf(handedOverArg[unknown], unknown)} was stored without the cost centres it was sent with; pass the rows of the Stapel sent (handedOverRows)`);
+    }
+};
+/**
+ * What a correction of a period handed over changes, compared as `differingBookingCount` compares: the bookings
+ * handed over that the current ones no longer hold (`reversed`, each once for each time it is missing), the ones they
+ * still hold (`kept`, as they were handed over) and the current rows the bookings handed over do not hold (`added`),
+ * each in its order. A booking that stands in both is kept: a changed text or document link is no changed booking,
+ * a changed cost centre is. The current rows are compared as a file states them (`bookingsAsWritten`), as the
+ * bookings handed over are; `added` are the rows themselves, which the writer writes. A booking handed over whose
+ * cost centres its record does not state (stored before 4.1) is refused (`handed_over_cost_centres_unknown`): pass
+ * `bookingsOfRows` of the rows sent instead.
+ */
+export const correctionOf = (handedOverArg, currentArg) => {
+    refuseCostCentresUnknown(handedOverArg);
+    // the current rows as a file states them, as the state handed over was: a reference the writer changes is the same
+    const { leftPaired, rightPaired } = pairBookings(comparableOf(handedOverArg), bookingsAsWritten(currentArg));
+    return {
+        reversed: handedOverArg.filter((_bookingArg, indexArg) => !leftPaired[indexArg]),
+        kept: handedOverArg.filter((_bookingArg, indexArg) => leftPaired[indexArg]),
+        added: currentArg.filter((_rowArg, indexArg) => !rightPaired[indexArg]),
+    };
+};
+/**
+ * Writes the correction Buchungsstapel of a period handed over whose bookings changed since: only what changed. Each
+ * booking handed over that the drafts no longer hold is written again with field 118 "Generalumkehr" set, so DATEV
+ * takes it back on its side and day, and each row the drafts hold that was not handed over is written as it is; rows
+ * in both are not written. Every row keeps its Belegdatum, so it counts in the period it belongs to. A booking handed
+ * over is never changed or replaced (§ 146 Abs. 4 AO): it is taken back and booked anew. Throws `nothing_to_correct`
+ * when nothing changed; `invalid_bookings` for a general reversal in the state handed over, or for a state given
+ * twice or not at all; `handed_over_cost_centres_unknown` for a booking whose cost centres are not known.
+ */
+export const writeCorrectionBuchungsstapel = (optionsArg) => {
+    // rows read back from the file sent are as written already; rows given to the writer become what it wrote
+    const handedOver = optionsArg.handedOverRows !== undefined ? bookingsAsWritten(optionsArg.handedOverRows) : optionsArg.handedOver;
+    if (handedOver === undefined || (optionsArg.handedOver !== undefined && optionsArg.handedOverRows !== undefined)) {
+        throw new CompatibilityError('invalid_bookings', 'pass the state handed over once: the bookings stored (handedOver) or the rows sent (handedOverRows)');
+    }
+    const reversal = handedOver.findIndex((bookingArg) => bookingArg.generalumkehr === true);
+    if (reversal >= 0) {
+        throw new CompatibilityError('invalid_bookings', `the state handed over holds a general reversal (booking ${reversal + 1}); pass the period's bookings as they stood, not a correction file`);
+    }
+    const current = datevRowsOf(optionsArg.drafts, optionsArg.policy);
+    const { reversed, kept, added } = correctionOf(handedOver, current);
+    if (reversed.length === 0 && added.length === 0) {
+        throw new CompatibilityError('nothing_to_correct', 'the bookings of the period are the ones handed over; there is nothing to correct');
+    }
+    const rows = [...reversed.map((bookingArg) => ({ ...rowOfBooking(bookingArg), generalumkehr: true })), ...added];
+    const file = fileOfRows(rows, optionsArg.header, optionsArg.filename);
+    // the rows booked anew as the correction file states them, after the reversals
+    return { ...file, reversed, added, bookingsAfter: [...kept, ...file.bookings.slice(reversed.length)] };
 };
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi90cy9leHRmL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxPQUFPLE1BQU0sY0FBYyxDQUFDO0FBQ3hDLE9BQU8sRUFBRSxrQkFBa0IsRUFBRSxNQUFNLGFBQWEsQ0FBQztBQUNqRCxPQUFPLEVBQUUsaUJBQWlCLEVBQTJCLE1BQU0sc0JBQXNCLENBQUM7QUFFbEYsT0FBTyxFQUFFLGtCQUFrQixFQUFnQyxNQUFNLGFBQWEsQ0FBQztBQUsvRSxzRkFBc0Y7QUFDdEYsTUFBTSxDQUFDLE1BQU0saUJBQWlCLEdBQUcsZ0NBQWdDLENBQUM7QUFFbEUsd0ZBQXdGO0FBQ3hGLE1BQU0sQ0FBQyxNQUFNLFlBQVksR0FBRyxDQUFDLFFBQWdCLEVBQVUsRUFBRSxDQUFDLHVCQUF1QixRQUFRLE1BQU0sQ0FBQztBQWtCaEcsMEVBQTBFO0FBQzFFLE1BQU0sVUFBVSxHQUFHLENBQUMsT0FBZSxFQUFVLEVBQUUsQ0FBQyxPQUFPLENBQUMsT0FBTyxDQUFDLFlBQVksRUFBRSxFQUFFLENBQUMsQ0FBQyxPQUFPLENBQUMsV0FBVyxFQUFFLEVBQUUsQ0FBQyxDQUFDLElBQUksRUFBRSxDQUFDO0FBRWxILDRDQUE0QztBQUM1QyxNQUFNLENBQUMsTUFBTSxjQUFjLEdBQUcsQ0FBQyxPQUEyQyxFQUFvQixFQUFFLENBQzlGLE9BQU8sQ0FBQyxHQUFHLENBQUMsQ0FBQyxNQUFNLEVBQUUsRUFBRSxDQUFDLENBQUM7SUFDdkIsV0FBVyxFQUFFLE1BQU0sQ0FBQyxXQUFXO0lBQy9CLFNBQVMsRUFBRSxNQUFNLENBQUMsU0FBUztJQUMzQixLQUFLLEVBQUUsTUFBTSxDQUFDLEtBQUs7SUFDbkIsVUFBVSxFQUFFLE1BQU0sQ0FBQyxVQUFVO0lBQzdCLEtBQUssRUFBRSxNQUFNLENBQUMsWUFBWTtJQUMxQixJQUFJLEVBQUUsTUFBTSxDQUFDLFVBQVUsQ0FBQyxXQUFXLEVBQUUsQ0FBQyxLQUFLLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQztJQUNsRCxHQUFHLENBQUMsTUFBTSxDQUFDLFVBQVUsQ0FBQyxDQUFDLENBQUMsRUFBRSxVQUFVLEVBQUUsTUFBTSxDQUFDLFVBQVUsRUFBRSxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7SUFDL0QsR0FBRyxDQUFDLE1BQU0sQ0FBQyxVQUFVLENBQUMsQ0FBQyxDQUFDLEVBQUUsVUFBVSxFQUFFLE1BQU0sQ0FBQyxVQUFVLEVBQUUsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO0lBQy9ELElBQUksRUFBRSxNQUFNLENBQUMsWUFBWTtJQUN6QixHQUFHLENBQUMsTUFBTSxDQUFDLFNBQVMsQ0FBQyxDQUFDLENBQUMsRUFBRSxZQUFZLEVBQUUsVUFBVSxDQUFDLE1BQU0sQ0FBQyxTQUFTLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7Q0FDNUUsQ0FBQyxDQUFDLENBQUM7QUFFTjs7Ozs7R0FLRztBQUNILE1BQU0sQ0FBQyxNQUFNLHFCQUFxQixHQUFHLENBQUMsT0FBa0MsRUFBRSxRQUFtQyxFQUFVLEVBQUU7SUFDdkgsTUFBTSxLQUFLLEdBQUcsQ0FBQyxVQUEwQixFQUFVLEVBQUUsQ0FDbkQsQ0FBQyxVQUFVLENBQUMsSUFBSSxFQUFFLFVBQVUsQ0FBQyxXQUFXLEVBQUUsVUFBVSxDQUFDLFNBQVMsRUFBRSxVQUFVLENBQUMsS0FBSyxFQUFFLFVBQVUsQ0FBQyxVQUFVLEVBQUUsVUFBVSxDQUFDLEtBQUssRUFBRSxVQUFVLENBQUMsVUFBVSxJQUFJLEVBQUUsQ0FBQyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQztJQUNwSyxNQUFNLFNBQVMsR0FBRyxJQUFJLEdBQUcsRUFBa0IsQ0FBQztJQUM1QyxLQUFLLE1BQU0sT0FBTyxJQUFJLE9BQU8sRUFBRSxDQUFDO1FBQzlCLFNBQVMsQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLE9BQU8sQ0FBQyxFQUFFLENBQUMsU0FBUyxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMsT0FBTyxDQUFDLENBQUMsSUFBSSxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQztJQUMxRSxDQUFDO0lBQ0QsSUFBSSxTQUFTLEdBQUcsQ0FBQyxDQUFDO0lBQ2xCLEtBQUssTUFBTSxPQUFPLElBQUksUUFBUSxFQUFFLENBQUM7UUFDL0IsTUFBTSxJQUFJLEdBQUcsU0FBUyxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMsT0FBTyxDQUFDLENBQUMsSUFBSSxDQUFDLENBQUM7UUFDaEQsSUFBSSxJQUFJLEdBQUcsQ0FBQyxFQUFFLENBQUM7WUFDYixTQUFTLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxPQUFPLENBQUMsRUFBRSxJQUFJLEdBQUcsQ0FBQyxDQUFDLENBQUM7UUFDMUMsQ0FBQzthQUFNLENBQUM7WUFDTixTQUFTLElBQUksQ0FBQyxDQUFDO1FBQ2pCLENBQUM7SUFDSCxDQUFDO0lBQ0QsS0FBSyxNQUFNLElBQUksSUFBSSxTQUFTLENBQUMsTUFBTSxFQUFFLEVBQUUsQ0FBQztRQUN0QyxTQUFTLElBQUksSUFBSSxDQUFDO0lBQ3BCLENBQUM7SUFDRCxPQUFPLFNBQVMsQ0FBQztBQUNuQixDQUFDLENBQUM7QUFFRjs7Ozs7OztHQU9HO0FBQ0gsTUFBTSxDQUFDLE1BQU0sV0FBVyxHQUFHLENBQUMsU0FBbUQsRUFBRSxTQUF5QyxFQUE2QixFQUFFO0lBQ3ZKLEtBQUssTUFBTSxLQUFLLElBQUksU0FBUyxFQUFFLENBQUM7UUFDOUIsTUFBTSxVQUFVLEdBQUcsT0FBTyxDQUFDLE9BQU8sQ0FBQyxvQkFBb0IsQ0FBQyxLQUFLLEVBQUUsU0FBUyxDQUFDLENBQUM7UUFDMUUsSUFBSSxDQUFDLFVBQVUsQ0FBQyxLQUFLLEVBQUUsQ0FBQztZQUN0QixNQUFNLElBQUksa0JBQWtCLENBQUMsa0JBQWtCLEVBQUUsVUFBVSxLQUFLLENBQUMsV0FBVyxNQUFNLFVBQVUsQ0FBQyxNQUFNLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxFQUFFLENBQUMsQ0FBQztRQUNwSCxDQUFDO0lBQ0gsQ0FBQztJQUNELElBQUksQ0FBQztRQUNILHlHQUF5RztRQUN6RyxPQUFPLE9BQU8sQ0FBQyxPQUFPLENBQUMsd0JBQXdCLENBQUMsQ0FBQyxHQUFHLFNBQVMsQ0FBQyxFQUFFLEVBQUUsY0FBYyxFQUFFLEtBQUssRUFBRSxNQUFNLEVBQUUsU0FBUyxFQUFFLENBQUMsQ0FBQztJQUNoSCxDQUFDO0lBQUMsT0FBTyxLQUFLLEVBQUUsQ0FBQztRQUNmLE1BQU0sSUFBSSxrQkFBa0IsQ0FBQyxlQUFlLEVBQUUsS0FBSyxZQUFZLEtBQUssQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLE9BQU8sQ0FBQyxDQUFDLENBQUMsTUFBTSxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUM7SUFDeEcsQ0FBQztBQUNILENBQUMsQ0FBQztBQWlDRjs7OztHQUlHO0FBQ0gsTUFBTSxhQUFhLEdBQUcsQ0FBQyxTQUE0QixFQUFZLEVBQUU7SUFDL0QsTUFBTSxNQUFNLEdBQWEsRUFBRSxDQUFDO0lBQzVCLElBQUksTUFBTSxHQUFHLENBQUMsQ0FBQztJQUNmLEtBQUssTUFBTSxLQUFLLElBQUksU0FBUyxFQUFFLENBQUM7UUFDOUIsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUNwQixNQUFNLElBQUksS0FBSyxDQUFDLE1BQU0sR0FBRyxDQUFDLENBQUM7SUFDN0IsQ0FBQztJQUNELE9BQU8sTUFBTSxDQUFDO0FBQ2hCLENBQUMsQ0FBQztBQUVGLE1BQU0sT0FBTyxHQUFHLENBQUMsU0FBNEIsRUFBRSxTQUFpQixFQUFVLEVBQUU7SUFDMUUsSUFBSSxLQUFLLEdBQUcsQ0FBQyxDQUFDO0lBQ2QsT0FBTyxLQUFLLEdBQUcsQ0FBQyxHQUFHLFNBQVMsQ0FBQyxNQUFNLElBQUksU0FBUyxDQUFDLEtBQUssR0FBRyxDQUFDLENBQUMsSUFBSSxTQUFTLEVBQUUsQ0FBQztRQUN6RSxLQUFLLElBQUksQ0FBQyxDQUFDO0lBQ2IsQ0FBQztJQUNELE9BQU8sS0FBSyxHQUFHLENBQUMsQ0FBQztBQUNuQixDQUFDLENBQUM7QUFFRjs7Ozs7R0FLRztBQUNILE1BQU0sQ0FBQyxNQUFNLHdCQUF3QixHQUFHLENBQUMsT0FBMkMsRUFBcUIsRUFBRTtJQUN6RyxNQUFNLFlBQVksR0FBc0IsRUFBRSxDQUFDO0lBQzNDLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxFQUFFLEVBQUU7UUFDbkMsTUFBTSxNQUFNLEdBQUcsT0FBTyxDQUFDLE9BQU8sQ0FBQyxjQUFjLENBQUMsTUFBTSxDQUFDLENBQUM7UUFDdEQsTUFBTSxNQUFNLEdBQUcsYUFBYSxDQUFDLE1BQU0sQ0FBQyxDQUFDO1FBQ3JDLEtBQUssTUFBTSxRQUFRLElBQUksaUJBQWlCLENBQUMsTUFBTSxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLFFBQVEsRUFBRSxDQUFDO1lBQ3BFLFlBQVksQ0FBQyxJQUFJLENBQUMsRUFBRSxHQUFHLEVBQUUsUUFBUSxFQUFFLEtBQUssRUFBRSxPQUFPLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxNQUFNLENBQUMsRUFBRSxTQUFTLEVBQUUsUUFBUSxDQUFDLFNBQVMsRUFBRSxDQUFDLENBQUM7UUFDL0csQ0FBQztJQUNILENBQUMsQ0FBQyxDQUFDO0lBQ0gsT0FBTyxZQUFZLENBQUM7QUFDdEIsQ0FBQyxDQUFDO0FBY0YsZ0hBQWdIO0FBQ2hILE1BQU0sQ0FBQyxNQUFNLG1CQUFtQixHQUFHLENBQUMsVUFBa0MsRUFBdUIsRUFBRTtJQUM3RixNQUFNLElBQUksR0FBRyxXQUFXLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxVQUFVLENBQUMsTUFBTSxDQUFDLENBQUM7SUFDL0QsTUFBTSxFQUFFLEdBQUcsRUFBRSxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsdUJBQXVCLENBQUMsSUFBSSxFQUFFLFVBQVUsQ0FBQyxNQUFNLENBQUMsQ0FBQztJQUNqRixNQUFNLEVBQUUsS0FBSyxFQUFFLFFBQVEsRUFBRSxHQUFHLGlCQUFpQixDQUFDLEdBQUcsQ0FBQyxDQUFDO0lBQ25ELHNIQUFzSDtJQUN0SCxNQUFNLFFBQVEsR0FBRyxJQUFJLENBQUMsR0FBRyxDQUFDLENBQUMsTUFBTSxFQUFFLEVBQUUsQ0FBQyxPQUFPLENBQUMsT0FBTyxDQUFDLGNBQWMsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDO0lBQzlFLE1BQU0sQ0FBQyxVQUFVLEdBQUcsRUFBRSxFQUFFLFdBQVcsR0FBRyxFQUFFLENBQUMsR0FBRyxHQUFHLENBQUMsS0FBSyxDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUMsQ0FBQztJQUNqRSxNQUFNLFNBQVMsR0FBRyxVQUFVLENBQUMsTUFBTSxHQUFHLENBQUMsR0FBRyxXQUFXLENBQUMsTUFBTSxHQUFHLENBQUMsQ0FBQztJQUNqRSxNQUFNLFVBQVUsR0FBYSxFQUFFLENBQUM7SUFDaEMsSUFBSSxNQUFNLEdBQUcsU0FBUyxDQUFDO0lBQ3ZCLEtBQUssTUFBTSxNQUFNLElBQUksUUFBUSxFQUFFLENBQUM7UUFDOUIsVUFBVSxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUN4QixNQUFNLElBQUksTUFBTSxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQyxNQUFNLEdBQUcsQ0FBQyxDQUFDO0lBQ3hDLENBQUM7SUFDRCxJQUFJLE1BQU0sS0FBSyxHQUFHLENBQUMsTUFBTSxJQUFJLFFBQVEsQ0FBQyxJQUFJLENBQUMsQ0FBQyxTQUFTLEVBQUUsUUFBUSxFQUFFLEVBQUUsQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLFVBQVUsQ0FBQyxRQUFRLENBQUMsRUFBRSxVQUFVLENBQUMsUUFBUSxDQUFDLEdBQUcsU0FBUyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQyxNQUFNLENBQUMsS0FBSyxTQUFTLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxDQUFDLEVBQUUsQ0FBQztRQUNoTCxNQUFNLElBQUksa0JBQWtCLENBQUMsZUFBZSxFQUFFLDhFQUE4RSxDQUFDLENBQUM7SUFDaEksQ0FBQztJQUNELE1BQU0sa0JBQWtCLEdBQUcsUUFBUSxDQUFDLEdBQUcsQ0FBQyxDQUFDLFdBQVcsRUFBOEIsRUFBRTtRQUNsRixJQUFJLFdBQVcsQ0FBQyxNQUFNLEdBQUcsU0FBUyxFQUFFLENBQUM7WUFDbkMsT0FBTyxFQUFFLEdBQUcsV0FBVyxFQUFFLENBQUM7UUFDNUIsQ0FBQztRQUNELElBQUksR0FBRyxHQUFHLENBQUMsQ0FBQztRQUNaLE9BQU8sR0FBRyxHQUFHLENBQUMsR0FBRyxVQUFVLENBQUMsTUFBTSxJQUFJLFVBQVUsQ0FBQyxHQUFHLEdBQUcsQ0FBQyxDQUFDLElBQUksV0FBVyxDQUFDLE1BQU0sRUFBRSxDQUFDO1lBQ2hGLEdBQUcsSUFBSSxDQUFDLENBQUM7UUFDWCxDQUFDO1FBQ0QsT0FBTyxFQUFFLEdBQUcsV0FBVyxFQUFFLEdBQUcsRUFBRSxLQUFLLEVBQUUsT0FBTyxDQUFDLGFBQWEsQ0FBQyxRQUFRLENBQUMsR0FBRyxDQUFDLENBQUMsRUFBRSxXQUFXLENBQUMsTUFBTSxHQUFHLFVBQVUsQ0FBQyxHQUFHLENBQUMsQ0FBQyxFQUFFLENBQUM7SUFDckgsQ0FBQyxDQUFDLENBQUM7SUFDSCxPQUFPLEVBQUUsUUFBUSxFQUFFLFVBQVUsQ0FBQyxRQUFRLEVBQUUsR0FBRyxFQUFFLEtBQUssRUFBRSxJQUFJLEVBQUUsUUFBUSxFQUFFLGNBQWMsQ0FBQyxJQUFJLENBQUMsRUFBRSxrQkFBa0IsRUFBRSxDQUFDO0FBQ2pILENBQUMsQ0FBQyJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi90cy9leHRmL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxPQUFPLE1BQU0sY0FBYyxDQUFDO0FBQ3hDLE9BQU8sRUFBRSxrQkFBa0IsRUFBRSxNQUFNLGFBQWEsQ0FBQztBQUNqRCxPQUFPLEVBQUUsaUJBQWlCLEVBQTJCLE1BQU0sc0JBQXNCLENBQUM7QUFFbEYsT0FBTyxFQUFFLGtCQUFrQixFQUFnQyxNQUFNLGFBQWEsQ0FBQztBQUsvRSxzRkFBc0Y7QUFDdEYsTUFBTSxDQUFDLE1BQU0saUJBQWlCLEdBQUcsZ0NBQWdDLENBQUM7QUFFbEUsd0ZBQXdGO0FBQ3hGLE1BQU0sQ0FBQyxNQUFNLFlBQVksR0FBRyxDQUFDLFFBQWdCLEVBQVUsRUFBRSxDQUFDLHVCQUF1QixRQUFRLE1BQU0sQ0FBQztBQStCaEcsMEVBQTBFO0FBQzFFLE1BQU0sVUFBVSxHQUFHLENBQUMsT0FBZSxFQUFVLEVBQUUsQ0FBQyxPQUFPLENBQUMsT0FBTyxDQUFDLFlBQVksRUFBRSxFQUFFLENBQUMsQ0FBQyxPQUFPLENBQUMsV0FBVyxFQUFFLEVBQUUsQ0FBQyxDQUFDLElBQUksRUFBRSxDQUFDO0FBRWxILDRDQUE0QztBQUM1QyxNQUFNLENBQUMsTUFBTSxjQUFjLEdBQUcsQ0FBQyxPQUEyQyxFQUFvQixFQUFFLENBQzlGLE9BQU8sQ0FBQyxHQUFHLENBQUMsQ0FBQyxNQUFNLEVBQUUsRUFBRSxDQUFDLENBQUM7SUFDdkIsV0FBVyxFQUFFLE1BQU0sQ0FBQyxXQUFXO0lBQy9CLFNBQVMsRUFBRSxNQUFNLENBQUMsU0FBUztJQUMzQixLQUFLLEVBQUUsTUFBTSxDQUFDLEtBQUs7SUFDbkIsVUFBVSxFQUFFLE1BQU0sQ0FBQyxVQUFVO0lBQzdCLEtBQUssRUFBRSxNQUFNLENBQUMsWUFBWTtJQUMxQixJQUFJLEVBQUUsTUFBTSxDQUFDLFVBQVUsQ0FBQyxXQUFXLEVBQUUsQ0FBQyxLQUFLLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQztJQUNsRCxHQUFHLENBQUMsTUFBTSxDQUFDLFVBQVUsQ0FBQyxDQUFDLENBQUMsRUFBRSxVQUFVLEVBQUUsTUFBTSxDQUFDLFVBQVUsRUFBRSxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7SUFDL0QsR0FBRyxDQUFDLE1BQU0sQ0FBQyxVQUFVLENBQUMsQ0FBQyxDQUFDLEVBQUUsVUFBVSxFQUFFLE1BQU0sQ0FBQyxVQUFVLEVBQUUsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO0lBQy9ELElBQUksRUFBRSxNQUFNLENBQUMsWUFBWTtJQUN6QixHQUFHLENBQUMsTUFBTSxDQUFDLFNBQVMsQ0FBQyxDQUFDLENBQUMsRUFBRSxZQUFZLEVBQUUsVUFBVSxDQUFDLE1BQU0sQ0FBQyxTQUFTLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7SUFDM0UsMkdBQTJHO0lBQzNHLEtBQUssRUFBRSxNQUFNLENBQUMsS0FBSyxJQUFJLEVBQUU7SUFDekIsS0FBSyxFQUFFLE1BQU0sQ0FBQyxLQUFLLElBQUksRUFBRTtJQUN6QixHQUFHLENBQUMsTUFBTSxDQUFDLGFBQWEsS0FBSyxJQUFJLENBQUMsQ0FBQyxDQUFDLEVBQUUsYUFBYSxFQUFFLElBQWEsRUFBRSxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7Q0FDM0UsQ0FBQyxDQUFDLENBQUM7QUFFTjs7OztHQUlHO0FBQ0gsTUFBTSxTQUFTLEdBQUcsQ0FBQyxVQUEwQixFQUFVLEVBQUUsQ0FDdkQsSUFBSSxDQUFDLFNBQVMsQ0FBQztJQUNiLFVBQVUsQ0FBQyxJQUFJO0lBQ2YsVUFBVSxDQUFDLFdBQVc7SUFDdEIsVUFBVSxDQUFDLFNBQVM7SUFDcEIsVUFBVSxDQUFDLEtBQUs7SUFDaEIsVUFBVSxDQUFDLFVBQVU7SUFDckIsVUFBVSxDQUFDLEtBQUs7SUFDaEIsVUFBVSxDQUFDLFVBQVUsSUFBSSxFQUFFO0lBQzNCLFVBQVUsQ0FBQyxhQUFhLENBQUMsQ0FBQyxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUMsRUFBRTtDQUNyQyxDQUFDLENBQUM7QUFFTCwySEFBMkg7QUFDM0gsTUFBTSxrQkFBa0IsR0FBRyxDQUFDLFVBQTBCLEVBQVcsRUFBRSxDQUFDLFVBQVUsQ0FBQyxLQUFLLEtBQUssU0FBUyxJQUFJLFVBQVUsQ0FBQyxLQUFLLEtBQUssU0FBUyxDQUFDO0FBRXJJLG9GQUFvRjtBQUNwRixNQUFNLFNBQVMsR0FBRyxDQUFDLFVBQTBCLEVBQVUsRUFBRSxDQUFDLElBQUksQ0FBQyxTQUFTLENBQUMsQ0FBQyxTQUFTLENBQUMsVUFBVSxDQUFDLEVBQUUsVUFBVSxDQUFDLEtBQUssSUFBSSxFQUFFLEVBQUUsVUFBVSxDQUFDLEtBQUssSUFBSSxFQUFFLENBQUMsQ0FBQyxDQUFDO0FBRWxKOzs7Ozs7R0FNRztBQUNILE1BQU0sWUFBWSxHQUFHLENBQ25CLE9BQWtDLEVBQ2xDLFFBQW1DLEVBQ2dCLEVBQUU7SUFDckQsTUFBTSxVQUFVLEdBQUcsT0FBTyxDQUFDLEdBQUcsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxLQUFLLENBQUMsQ0FBQztJQUM1QyxNQUFNLFdBQVcsR0FBRyxRQUFRLENBQUMsR0FBRyxDQUFDLEdBQUcsRUFBRSxDQUFDLEtBQUssQ0FBQyxDQUFDO0lBQzlDLE1BQU0sSUFBSSxHQUFHLENBQUMsU0FBZ0MsRUFBRSxNQUFjLEVBQXNCLEVBQUUsQ0FBQyxTQUFTLENBQUMsR0FBRyxDQUFDLE1BQU0sQ0FBQyxFQUFFLEtBQUssRUFBRSxDQUFDO0lBQ3RILE1BQU0sS0FBSyxHQUFHLENBQUMsU0FBZ0MsRUFBRSxNQUFjLEVBQUUsUUFBZ0IsRUFBUSxFQUFFO1FBQ3pGLFNBQVMsQ0FBQyxHQUFHLENBQUMsTUFBTSxFQUFFLENBQUMsR0FBRyxDQUFDLFNBQVMsQ0FBQyxHQUFHLENBQUMsTUFBTSxDQUFDLElBQUksRUFBRSxDQUFDLEVBQUUsUUFBUSxDQUFDLENBQUMsQ0FBQztJQUN0RSxDQUFDLENBQUM7SUFDRiw2Q0FBNkM7SUFDN0MsTUFBTSxhQUFhLEdBQUcsSUFBSSxHQUFHLEVBQW9CLENBQUM7SUFDbEQsUUFBUSxDQUFDLE9BQU8sQ0FBQyxDQUFDLFVBQVUsRUFBRSxRQUFRLEVBQUUsRUFBRTtRQUN4QyxJQUFJLGtCQUFrQixDQUFDLFVBQVUsQ0FBQyxFQUFFLENBQUM7WUFDbkMsS0FBSyxDQUFDLGFBQWEsRUFBRSxTQUFTLENBQUMsVUFBVSxDQUFDLEVBQUUsUUFBUSxDQUFDLENBQUM7UUFDeEQsQ0FBQztJQUNILENBQUMsQ0FBQyxDQUFDO0lBQ0gsT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQUFDLFVBQVUsRUFBRSxRQUFRLEVBQUUsRUFBRTtRQUN2QyxNQUFNLE1BQU0sR0FBRyxrQkFBa0IsQ0FBQyxVQUFVLENBQUMsQ0FBQyxDQUFDLENBQUMsSUFBSSxDQUFDLGFBQWEsRUFBRSxTQUFTLENBQUMsVUFBVSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsU0FBUyxDQUFDO1FBQ3ZHLElBQUksTUFBTSxLQUFLLFNBQVMsRUFBRSxDQUFDO1lBQ3pCLFVBQVUsQ0FBQyxRQUFRLENBQUMsR0FBRyxJQUFJLENBQUM7WUFDNUIsV0FBVyxDQUFDLE1BQU0sQ0FBQyxHQUFHLElBQUksQ0FBQztRQUM3QixDQUFDO0lBQ0gsQ0FBQyxDQUFDLENBQUM7SUFDSCxzR0FBc0c7SUFDdEcsTUFBTSxlQUFlLEdBQUcsSUFBSSxHQUFHLEVBQW9CLENBQUM7SUFDcEQsTUFBTSxpQkFBaUIsR0FBRyxJQUFJLEdBQUcsRUFBb0IsQ0FBQztJQUN0RCxRQUFRLENBQUMsT0FBTyxDQUFDLENBQUMsVUFBVSxFQUFFLFFBQVEsRUFBRSxFQUFFO1FBQ3hDLElBQUksQ0FBQyxXQUFXLENBQUMsUUFBUSxDQUFDLEVBQUUsQ0FBQztZQUMzQixLQUFLLENBQUMsa0JBQWtCLENBQUMsVUFBVSxDQUFDLENBQUMsQ0FBQyxDQUFDLGlCQUFpQixDQUFDLENBQUMsQ0FBQyxlQUFlLEVBQUUsU0FBUyxDQUFDLFVBQVUsQ0FBQyxFQUFFLFFBQVEsQ0FBQyxDQUFDO1FBQy9HLENBQUM7SUFDSCxDQUFDLENBQUMsQ0FBQztJQUNILE1BQU0sUUFBUSxHQUFHLENBQUMsV0FBb0IsRUFBUSxFQUFFO1FBQzlDLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0FBQyxVQUFVLEVBQUUsUUFBUSxFQUFFLEVBQUU7WUFDdkMsSUFBSSxVQUFVLENBQUMsUUFBUSxDQUFDLElBQUksa0JBQWtCLENBQUMsVUFBVSxDQUFDLEtBQUssV0FBVyxFQUFFLENBQUM7Z0JBQzNFLE9BQU87WUFDVCxDQUFDO1lBQ0QsTUFBTSxHQUFHLEdBQUcsU0FBUyxDQUFDLFVBQVUsQ0FBQyxDQUFDO1lBQ2xDLE1BQU0sTUFBTSxHQUFHLFdBQVcsQ0FBQyxDQUFDLENBQUMsSUFBSSxDQUFDLGVBQWUsRUFBRSxHQUFHLENBQUMsQ0FBQyxDQUFDLENBQUMsSUFBSSxDQUFDLGlCQUFpQixFQUFFLEdBQUcsQ0FBQyxJQUFJLElBQUksQ0FBQyxlQUFlLEVBQUUsR0FBRyxDQUFDLENBQUM7WUFDckgsSUFBSSxNQUFNLEtBQUssU0FBUyxFQUFFLENBQUM7Z0JBQ3pCLFVBQVUsQ0FBQyxRQUFRLENBQUMsR0FBRyxJQUFJLENBQUM7Z0JBQzVCLFdBQVcsQ0FBQyxNQUFNLENBQUMsR0FBRyxJQUFJLENBQUM7WUFDN0IsQ0FBQztRQUNILENBQUMsQ0FBQyxDQUFDO0lBQ0wsQ0FBQyxDQUFDO0lBQ0YsUUFBUSxDQUFDLElBQUksQ0FBQyxDQUFDO0lBQ2YsUUFBUSxDQUFDLEtBQUssQ0FBQyxDQUFDO0lBQ2hCLE9BQU8sRUFBRSxVQUFVLEVBQUUsV0FBVyxFQUFFLENBQUM7QUFDckMsQ0FBQyxDQUFDO0FBRUY7Ozs7O0dBS0c7QUFDSCxNQUFNLFlBQVksR0FBRyxDQUFDLFdBQXNDLEVBQW9CLEVBQUUsQ0FDaEYsaUJBQWlCLENBQUMsV0FBVyxDQUFDLEdBQUcsQ0FBQyxDQUFDLFVBQVUsRUFBRSxFQUFFLENBQUMsWUFBWSxDQUFDLFVBQVUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxVQUFVLEVBQUUsUUFBUSxFQUFFLEVBQUU7SUFDeEcsSUFBSSxrQkFBa0IsQ0FBQyxXQUFXLENBQUMsUUFBUSxDQUFDLENBQUMsRUFBRSxDQUFDO1FBQzlDLE9BQU8sVUFBVSxDQUFDO0lBQ3BCLENBQUM7SUFDRCxNQUFNLEVBQUUsS0FBSyxFQUFFLE1BQU0sRUFBRSxLQUFLLEVBQUUsTUFBTSxFQUFFLEdBQUcsVUFBVSxFQUFFLEdBQUcsVUFBVSxDQUFDO0lBQ25FLE9BQU8sVUFBVSxDQUFDO0FBQ3BCLENBQUMsQ0FBQyxDQUFDO0FBRUw7Ozs7Ozs7Ozs7R0FVRztBQUNILE1BQU0sQ0FBQyxNQUFNLHFCQUFxQixHQUFHLENBQUMsT0FBa0MsRUFBRSxRQUFtQyxFQUFVLEVBQUU7SUFDdkgsTUFBTSxFQUFFLFVBQVUsRUFBRSxXQUFXLEVBQUUsR0FBRyxZQUFZLENBQUMsWUFBWSxDQUFDLE9BQU8sQ0FBQyxFQUFFLFlBQVksQ0FBQyxRQUFRLENBQUMsQ0FBQyxDQUFDO0lBQ2hHLE9BQU8sQ0FBQyxHQUFHLFVBQVUsRUFBRSxHQUFHLFdBQVcsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxDQUFDLFNBQVMsRUFBRSxFQUFFLENBQUMsQ0FBQyxTQUFTLENBQUMsQ0FBQyxNQUFNLENBQUM7QUFDbEYsQ0FBQyxDQUFDO0FBRUY7Ozs7Ozs7R0FPRztBQUNILE1BQU0sQ0FBQyxNQUFNLFdBQVcsR0FBRyxDQUFDLFNBQW1ELEVBQUUsU0FBeUMsRUFBNkIsRUFBRTtJQUN2SixLQUFLLE1BQU0sS0FBSyxJQUFJLFNBQVMsRUFBRSxDQUFDO1FBQzlCLE1BQU0sVUFBVSxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsb0JBQW9CLENBQUMsS0FBSyxFQUFFLFNBQVMsQ0FBQyxDQUFDO1FBQzFFLElBQUksQ0FBQyxVQUFVLENBQUMsS0FBSyxFQUFFLENBQUM7WUFDdEIsTUFBTSxJQUFJLGtCQUFrQixDQUFDLGtCQUFrQixFQUFFLFVBQVUsS0FBSyxDQUFDLFdBQVcsTUFBTSxVQUFVLENBQUMsTUFBTSxDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsRUFBRSxDQUFDLENBQUM7UUFDcEgsQ0FBQztJQUNILENBQUM7SUFDRCxJQUFJLENBQUM7UUFDSCx5R0FBeUc7UUFDekcsT0FBTyxPQUFPLENBQUMsT0FBTyxDQUFDLHdCQUF3QixDQUFDLENBQUMsR0FBRyxTQUFTLENBQUMsRUFBRSxFQUFFLGNBQWMsRUFBRSxLQUFLLEVBQUUsTUFBTSxFQUFFLFNBQVMsRUFBRSxDQUFDLENBQUM7SUFDaEgsQ0FBQztJQUFDLE9BQU8sS0FBSyxFQUFFLENBQUM7UUFDZixNQUFNLElBQUksa0JBQWtCLENBQUMsZUFBZSxFQUFFLEtBQUssWUFBWSxLQUFLLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxPQUFPLENBQUMsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDO0lBQ3hHLENBQUM7QUFDSCxDQUFDLENBQUM7QUFpQ0Y7Ozs7R0FJRztBQUNILE1BQU0sYUFBYSxHQUFHLENBQUMsU0FBNEIsRUFBWSxFQUFFO0lBQy9ELE1BQU0sTUFBTSxHQUFhLEVBQUUsQ0FBQztJQUM1QixJQUFJLE1BQU0sR0FBRyxDQUFDLENBQUM7SUFDZixLQUFLLE1BQU0sS0FBSyxJQUFJLFNBQVMsRUFBRSxDQUFDO1FBQzlCLE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxDQUFDLENBQUM7UUFDcEIsTUFBTSxJQUFJLEtBQUssQ0FBQyxNQUFNLEdBQUcsQ0FBQyxDQUFDO0lBQzdCLENBQUM7SUFDRCxPQUFPLE1BQU0sQ0FBQztBQUNoQixDQUFDLENBQUM7QUFFRixNQUFNLE9BQU8sR0FBRyxDQUFDLFNBQTRCLEVBQUUsU0FBaUIsRUFBVSxFQUFFO0lBQzFFLElBQUksS0FBSyxHQUFHLENBQUMsQ0FBQztJQUNkLE9BQU8sS0FBSyxHQUFHLENBQUMsR0FBRyxTQUFTLENBQUMsTUFBTSxJQUFJLFNBQVMsQ0FBQyxLQUFLLEdBQUcsQ0FBQyxDQUFDLElBQUksU0FBUyxFQUFFLENBQUM7UUFDekUsS0FBSyxJQUFJLENBQUMsQ0FBQztJQUNiLENBQUM7SUFDRCxPQUFPLEtBQUssR0FBRyxDQUFDLENBQUM7QUFDbkIsQ0FBQyxDQUFDO0FBRUY7Ozs7O0dBS0c7QUFDSCxNQUFNLENBQUMsTUFBTSx3QkFBd0IsR0FBRyxDQUFDLE9BQTJDLEVBQXFCLEVBQUU7SUFDekcsTUFBTSxZQUFZLEdBQXNCLEVBQUUsQ0FBQztJQUMzQyxPQUFPLENBQUMsT0FBTyxDQUFDLENBQUMsTUFBTSxFQUFFLFFBQVEsRUFBRSxFQUFFO1FBQ25DLE1BQU0sTUFBTSxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsY0FBYyxDQUFDLE1BQU0sQ0FBQyxDQUFDO1FBQ3RELE1BQU0sTUFBTSxHQUFHLGFBQWEsQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUNyQyxLQUFLLE1BQU0sUUFBUSxJQUFJLGlCQUFpQixDQUFDLE1BQU0sQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxRQUFRLEVBQUUsQ0FBQztZQUNwRSxZQUFZLENBQUMsSUFBSSxDQUFDLEVBQUUsR0FBRyxFQUFFLFFBQVEsRUFBRSxLQUFLLEVBQUUsT0FBTyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsTUFBTSxDQUFDLEVBQUUsU0FBUyxFQUFFLFFBQVEsQ0FBQyxTQUFTLEVBQUUsQ0FBQyxDQUFDO1FBQy9HLENBQUM7SUFDSCxDQUFDLENBQUMsQ0FBQztJQUNILE9BQU8sWUFBWSxDQUFDO0FBQ3RCLENBQUMsQ0FBQztBQXFCRiw2SEFBNkg7QUFDN0gsTUFBTSxVQUFVLEdBQUcsQ0FBQyxJQUErQixFQUFFLFNBQWtDLEVBQUUsV0FBbUIsRUFBdUIsRUFBRTtJQUNuSSxvQkFBb0IsQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUMzQixtQkFBbUIsQ0FBQyxJQUFJLEVBQUUsU0FBUyxDQUFDLENBQUM7SUFDckMsTUFBTSxFQUFFLEdBQUcsRUFBRSxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsdUJBQXVCLENBQUMsSUFBSSxFQUFFLFNBQVMsQ0FBQyxDQUFDO0lBQ3pFLE1BQU0sRUFBRSxLQUFLLEVBQUUsUUFBUSxFQUFFLEdBQUcsaUJBQWlCLENBQUMsR0FBRyxDQUFDLENBQUM7SUFDbkQsc0hBQXNIO0lBQ3RILE1BQU0sUUFBUSxHQUFHLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQyxNQUFNLEVBQUUsRUFBRSxDQUFDLE9BQU8sQ0FBQyxPQUFPLENBQUMsY0FBYyxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUM7SUFDOUUsTUFBTSxDQUFDLFVBQVUsR0FBRyxFQUFFLEVBQUUsV0FBVyxHQUFHLEVBQUUsQ0FBQyxHQUFHLEdBQUcsQ0FBQyxLQUFLLENBQUMsTUFBTSxFQUFFLENBQUMsQ0FBQyxDQUFDO0lBQ2pFLE1BQU0sU0FBUyxHQUFHLFVBQVUsQ0FBQyxNQUFNLEdBQUcsQ0FBQyxHQUFHLFdBQVcsQ0FBQyxNQUFNLEdBQUcsQ0FBQyxDQUFDO0lBQ2pFLE1BQU0sVUFBVSxHQUFhLEVBQUUsQ0FBQztJQUNoQyxJQUFJLE1BQU0sR0FBRyxTQUFTLENBQUM7SUFDdkIsS0FBSyxNQUFNLE1BQU0sSUFBSSxRQUFRLEVBQUUsQ0FBQztRQUM5QixVQUFVLENBQUMsSUFBSSxDQUFDLE1BQU0sQ0FBQyxDQUFDO1FBQ3hCLE1BQU0sSUFBSSxNQUFNLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxDQUFDLE1BQU0sR0FBRyxDQUFDLENBQUM7SUFDeEMsQ0FBQztJQUNELElBQUksTUFBTSxLQUFLLEdBQUcsQ0FBQyxNQUFNLElBQUksUUFBUSxDQUFDLElBQUksQ0FBQyxDQUFDLFNBQVMsRUFBRSxRQUFRLEVBQUUsRUFBRSxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMsVUFBVSxDQUFDLFFBQVEsQ0FBQyxFQUFFLFVBQVUsQ0FBQyxRQUFRLENBQUMsR0FBRyxTQUFTLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxLQUFLLFNBQVMsQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLENBQUMsRUFBRSxDQUFDO1FBQ2hMLE1BQU0sSUFBSSxrQkFBa0IsQ0FBQyxlQUFlLEVBQUUsOEVBQThFLENBQUMsQ0FBQztJQUNoSSxDQUFDO0lBQ0QsTUFBTSxrQkFBa0IsR0FBRyxRQUFRLENBQUMsR0FBRyxDQUFDLENBQUMsV0FBVyxFQUE4QixFQUFFO1FBQ2xGLElBQUksV0FBVyxDQUFDLE1BQU0sR0FBRyxTQUFTLEVBQUUsQ0FBQztZQUNuQyxPQUFPLEVBQUUsR0FBRyxXQUFXLEVBQUUsQ0FBQztRQUM1QixDQUFDO1FBQ0QsSUFBSSxHQUFHLEdBQUcsQ0FBQyxDQUFDO1FBQ1osT0FBTyxHQUFHLEdBQUcsQ0FBQyxHQUFHLFVBQVUsQ0FBQyxNQUFNLElBQUksVUFBVSxDQUFDLEdBQUcsR0FBRyxDQUFDLENBQUMsSUFBSSxXQUFXLENBQUMsTUFBTSxFQUFFLENBQUM7WUFDaEYsR0FBRyxJQUFJLENBQUMsQ0FBQztRQUNYLENBQUM7UUFDRCxPQUFPLEVBQUUsR0FBRyxXQUFXLEVBQUUsR0FBRyxFQUFFLEtBQUssRUFBRSxPQUFPLENBQUMsYUFBYSxDQUFDLFFBQVEsQ0FBQyxHQUFHLENBQUMsQ0FBQyxFQUFFLFdBQVcsQ0FBQyxNQUFNLEdBQUcsVUFBVSxDQUFDLEdBQUcsQ0FBQyxDQUFDLEVBQUUsQ0FBQztJQUNySCxDQUFDLENBQUMsQ0FBQztJQUNILDREQUE0RDtJQUM1RCxNQUFNLE9BQU8sR0FBRyxPQUFPLENBQUMsT0FBTyxDQUFDLHNCQUFzQixDQUFDLEtBQUssQ0FBQyxDQUFDLElBQUksQ0FBQztJQUNuRSxJQUFJLE9BQU8sQ0FBQyxNQUFNLEtBQUssSUFBSSxDQUFDLE1BQU0sRUFBRSxDQUFDO1FBQ25DLE1BQU0sSUFBSSxrQkFBa0IsQ0FBQyxlQUFlLEVBQUUsR0FBRyxJQUFJLENBQUMsTUFBTSxvQkFBb0IsT0FBTyxDQUFDLE1BQU0sWUFBWSxDQUFDLENBQUM7SUFDOUcsQ0FBQztJQUNELE9BQU8sRUFBRSxRQUFRLEVBQUUsV0FBVyxFQUFFLEdBQUcsRUFBRSxLQUFLLEVBQUUsSUFBSSxFQUFFLFFBQVEsRUFBRSxjQUFjLENBQUMsT0FBTyxDQUFDLEVBQUUsa0JBQWtCLEVBQUUsQ0FBQztBQUM1RyxDQUFDLENBQUM7QUFFRiwrRUFBK0U7QUFDL0UsTUFBTSxRQUFRLEdBQUcsQ0FBQyxNQUErQixFQUFVLEVBQUUsQ0FDM0QsSUFBSSxDQUFDLEdBQUcsQ0FBQyxNQUFNLENBQUMsVUFBVSxDQUFDLGNBQWMsRUFBRSxFQUFFLE1BQU0sQ0FBQyxVQUFVLENBQUMsV0FBVyxFQUFFLEVBQUUsTUFBTSxDQUFDLFVBQVUsQ0FBQyxVQUFVLEVBQUUsQ0FBQyxDQUFDO0FBRWhILG9IQUFvSDtBQUNwSCxNQUFNLFNBQVMsR0FBRyxDQUFDLE1BQStCLEVBQUUsUUFBZ0IsRUFBVSxFQUFFLENBQzlFLE9BQU8sUUFBUSxHQUFHLENBQUMsS0FBSyxNQUFNLENBQUMsS0FBSyxDQUFDLE1BQU0sQ0FBQyxVQUFVLENBQUMsT0FBTyxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUMsUUFBUSxDQUFDLENBQUMsQ0FBQyxNQUFNLENBQUMsVUFBVSxDQUFDLFdBQVcsRUFBRSxDQUFDLEtBQUssQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLEtBQUssTUFBTSxDQUFDLFdBQVcsSUFBSSxNQUFNLENBQUMsU0FBUyxJQUFJLE1BQU0sQ0FBQyxLQUFLLElBQUksTUFBTSxDQUFDLFVBQVUsRUFBRTtNQUMzTSxHQUFHLE1BQU0sQ0FBQyxVQUFVLENBQUMsQ0FBQyxDQUFDLGlCQUFpQixNQUFNLENBQUMsVUFBVSxFQUFFLENBQUMsQ0FBQyxDQUFDLEVBQUUsR0FBRyxDQUFDO0FBRXhFOzs7O0dBSUc7QUFDSCxNQUFNLG9CQUFvQixHQUFHLENBQUMsT0FBMkMsRUFBUSxFQUFFO0lBQ2pGLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxFQUFFLEVBQUU7UUFDbkMsSUFBSSxNQUFNLENBQUMsS0FBSyxDQUFDLE1BQU0sQ0FBQyxVQUFVLENBQUMsT0FBTyxFQUFFLENBQUMsRUFBRSxDQUFDO1lBQzlDLE1BQU0sSUFBSSxrQkFBa0IsQ0FBQyxrQkFBa0IsRUFBRSxHQUFHLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLG9CQUFvQixDQUFDLENBQUM7UUFDdkcsQ0FBQztRQUNELElBQUksQ0FBQyxNQUFNLENBQUMsYUFBYSxDQUFDLE1BQU0sQ0FBQyxXQUFXLENBQUMsSUFBSSxNQUFNLENBQUMsV0FBVyxJQUFJLENBQUMsRUFBRSxDQUFDO1lBQ3pFLE1BQU0sSUFBSSxrQkFBa0IsQ0FBQyxrQkFBa0IsRUFBRSxHQUFHLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLDZEQUE2RCxDQUFDLENBQUM7UUFDaEosQ0FBQztJQUNILENBQUMsQ0FBQyxDQUFDO0FBQ0wsQ0FBQyxDQUFDO0FBRUY7Ozs7O0dBS0c7QUFDSCxNQUFNLG1CQUFtQixHQUFHLENBQUMsT0FBMkMsRUFBRSxTQUFrQyxFQUFRLEVBQUU7SUFDcEgsTUFBTSxHQUFHLEdBQUcsQ0FBQyxPQUFhLEVBQVUsRUFBRSxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsT0FBTyxDQUFDLGNBQWMsRUFBRSxFQUFFLE9BQU8sQ0FBQyxXQUFXLEVBQUUsRUFBRSxPQUFPLENBQUMsVUFBVSxFQUFFLENBQUMsQ0FBQztJQUN2SCxNQUFNLElBQUksR0FBRyxHQUFHLENBQUMsU0FBUyxDQUFDLFFBQVEsQ0FBQyxDQUFDO0lBQ3JDLE1BQU0sRUFBRSxHQUFHLEdBQUcsQ0FBQyxTQUFTLENBQUMsTUFBTSxDQUFDLENBQUM7SUFDakMsTUFBTSxLQUFLLEdBQUcsR0FBRyxDQUFDLFNBQVMsQ0FBQyxlQUFlLENBQUMsQ0FBQztJQUM3QyxNQUFNLEdBQUcsR0FBRyxJQUFJLENBQUMsR0FBRyxDQUFDLFNBQVMsQ0FBQyxlQUFlLENBQUMsY0FBYyxFQUFFLEdBQUcsQ0FBQyxFQUFFLFNBQVMsQ0FBQyxlQUFlLENBQUMsV0FBVyxFQUFFLEVBQUUsU0FBUyxDQUFDLGVBQWUsQ0FBQyxVQUFVLEVBQUUsQ0FBQyxDQUFDO0lBQ3RKLE1BQU0sR0FBRyxHQUFHLENBQUMsT0FBZSxFQUFVLEVBQUUsQ0FBQyxJQUFJLElBQUksQ0FBQyxPQUFPLENBQUMsQ0FBQyxXQUFXLEVBQUUsQ0FBQyxLQUFLLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDO0lBQ3RGLElBQUksQ0FBQyxJQUFJLEVBQUUsRUFBRSxFQUFFLEtBQUssQ0FBQyxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsS0FBSyxDQUFDLEVBQUUsQ0FBQztRQUN6QyxNQUFNLElBQUksa0JBQWtCLENBQUMsZ0JBQWdCLEVBQUUsaUZBQWlGLENBQUMsQ0FBQztJQUNwSSxDQUFDO0lBQ0QsSUFBSSxFQUFFLEdBQUcsSUFBSSxFQUFFLENBQUM7UUFDZCxNQUFNLElBQUksa0JBQWtCLENBQUMsZ0JBQWdCLEVBQUUsa0NBQWtDLEdBQUcsQ0FBQyxFQUFFLENBQUMsdUJBQXVCLEdBQUcsQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLENBQUM7SUFDL0gsQ0FBQztJQUNELElBQUksSUFBSSxHQUFHLEtBQUssSUFBSSxFQUFFLElBQUksR0FBRyxFQUFFLENBQUM7UUFDOUIsTUFBTSxJQUFJLGtCQUFrQixDQUFDLGdCQUFnQixFQUFFLDZCQUE2QixHQUFHLENBQUMsSUFBSSxDQUFDLE9BQU8sR0FBRyxDQUFDLEVBQUUsQ0FBQyx1REFBdUQsR0FBRyxDQUFDLEtBQUssQ0FBQyxFQUFFLENBQUMsQ0FBQztJQUMxSyxDQUFDO0lBQ0QsT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQUFDLE1BQU0sRUFBRSxRQUFRLEVBQUUsRUFBRTtRQUNuQyxNQUFNLElBQUksR0FBRyxRQUFRLENBQUMsTUFBTSxDQUFDLENBQUM7UUFDOUIsSUFBSSxJQUFJLEdBQUcsSUFBSSxJQUFJLElBQUksR0FBRyxFQUFFLEVBQUUsQ0FBQztZQUM3QixNQUFNLElBQUksa0JBQWtCLENBQUMsa0JBQWtCLEVBQUUsR0FBRyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQywyQ0FBMkMsR0FBRyxDQUFDLElBQUksQ0FBQyxPQUFPLEdBQUcsQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUM7UUFDdkosQ0FBQztJQUNILENBQUMsQ0FBQyxDQUFDO0FBQ0wsQ0FBQyxDQUFDO0FBRUY7Ozs7Ozs7O0dBUUc7QUFDSCxNQUFNLENBQUMsTUFBTSxhQUFhLEdBQUcsQ0FBQyxPQUEyQyxFQUE2QixFQUFFO0lBQ3RHLG9CQUFvQixDQUFDLE9BQU8sQ0FBQyxDQUFDO0lBQzlCLE1BQU0sT0FBTyxHQUE4QixJQUFJLEtBQUssQ0FBQyxPQUFPLENBQUMsTUFBTSxDQUFDLENBQUM7SUFDckUsdUZBQXVGO0lBQ3ZGLE1BQU0sS0FBSyxHQUFHLElBQUksR0FBRyxFQUE4RCxDQUFDO0lBQ3BGLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxFQUFFLEVBQUU7UUFDbkMsTUFBTSxJQUFJLEdBQUcsTUFBTSxDQUFDLFVBQVUsQ0FBQyxjQUFjLEVBQUUsQ0FBQztRQUNoRCxNQUFNLElBQUksR0FBRyxRQUFRLENBQUMsTUFBTSxDQUFDLENBQUM7UUFDOUIsTUFBTSxLQUFLLEdBQUcsS0FBSyxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsQ0FBQztRQUM5QixJQUFJLEtBQUssRUFBRSxDQUFDO1lBQ1YsS0FBSyxDQUFDLE9BQU8sQ0FBQyxJQUFJLENBQUMsUUFBUSxDQUFDLENBQUM7WUFDN0IsS0FBSyxDQUFDLEtBQUssR0FBRyxJQUFJLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxLQUFLLEVBQUUsSUFBSSxDQUFDLENBQUM7WUFDMUMsS0FBSyxDQUFDLElBQUksR0FBRyxJQUFJLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxJQUFJLEVBQUUsSUFBSSxDQUFDLENBQUM7UUFDMUMsQ0FBQzthQUFNLENBQUM7WUFDTixLQUFLLENBQUMsR0FBRyxDQUFDLElBQUksRUFBRSxFQUFFLE9BQU8sRUFBRSxDQUFDLFFBQVEsQ0FBQyxFQUFFLEtBQUssRUFBRSxJQUFJLEVBQUUsSUFBSSxFQUFFLElBQUksRUFBRSxDQUFDLENBQUM7UUFDcEUsQ0FBQztJQUNILENBQUMsQ0FBQyxDQUFDO0lBQ0gsS0FBSyxNQUFNLENBQUMsSUFBSSxFQUFFLEtBQUssQ0FBQyxJQUFJLEtBQUssRUFBRSxDQUFDO1FBQ2xDLE1BQU0sRUFBRSxHQUFHLEVBQUUsR0FBRyxPQUFPLENBQUMsT0FBTyxDQUFDLHVCQUF1QixDQUFDLEtBQUssQ0FBQyxPQUFPLENBQUMsR0FBRyxDQUFDLENBQUMsUUFBUSxFQUFFLEVBQUUsQ0FBQyxPQUFPLENBQUMsUUFBUSxDQUFDLENBQUMsRUFBRTtZQUMxRyxTQUFTLEVBQUUsSUFBSSxJQUFJLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxJQUFJLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDO1lBQ3pDLGdCQUFnQixFQUFFLENBQUM7WUFDbkIsWUFBWSxFQUFFLENBQUM7WUFDZixnSEFBZ0g7WUFDaEgsZUFBZSxFQUFFLElBQUksSUFBSSxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsSUFBSSxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQztZQUMvQyxRQUFRLEVBQUUsSUFBSSxJQUFJLENBQUMsS0FBSyxDQUFDLEtBQUssQ0FBQztZQUMvQixNQUFNLEVBQUUsSUFBSSxJQUFJLENBQUMsS0FBSyxDQUFDLElBQUksQ0FBQztZQUM1QixLQUFLLEVBQUUsRUFBRTtZQUNULGNBQWMsRUFBRSxLQUFLO1NBQ3RCLENBQUMsQ0FBQztRQUNILE1BQU0sSUFBSSxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsc0JBQXNCLENBQUMsaUJBQWlCLENBQUMsR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFDLENBQUMsSUFBSSxDQUFDO1FBQ3ZGLElBQUksSUFBSSxDQUFDLE1BQU0sS0FBSyxLQUFLLENBQUMsT0FBTyxDQUFDLE1BQU0sRUFBRSxDQUFDO1lBQ3pDLE1BQU0sSUFBSSxrQkFBa0IsQ0FBQyxlQUFlLEVBQUUsR0FBRyxLQUFLLENBQUMsT0FBTyxDQUFDLE1BQU0sb0JBQW9CLElBQUksQ0FBQyxNQUFNLFlBQVksQ0FBQyxDQUFDO1FBQ3BILENBQUM7UUFDRCxLQUFLLENBQUMsT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQUFDLFFBQVEsRUFBRSxXQUFXLEVBQUUsRUFBRTtZQUM5QyxPQUFPLENBQUMsUUFBUSxDQUFDLEdBQUcsSUFBSSxDQUFDLFdBQVcsQ0FBQyxDQUFDO1FBQ3hDLENBQUMsQ0FBQyxDQUFDO0lBQ0wsQ0FBQztJQUNELE9BQU8sT0FBTyxDQUFDO0FBQ2pCLENBQUMsQ0FBQztBQUVGOzs7OztHQUtHO0FBQ0gsTUFBTSxDQUFDLE1BQU0saUJBQWlCLEdBQUcsQ0FBQyxPQUEyQyxFQUFvQixFQUFFLENBQUMsY0FBYyxDQUFDLGFBQWEsQ0FBQyxPQUFPLENBQUMsQ0FBQyxDQUFDO0FBRTNJLGdIQUFnSDtBQUNoSCxNQUFNLENBQUMsTUFBTSxtQkFBbUIsR0FBRyxDQUFDLFVBQWtDLEVBQXVCLEVBQUUsQ0FDN0YsVUFBVSxDQUFDLFdBQVcsQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLFVBQVUsQ0FBQyxNQUFNLENBQUMsRUFBRSxVQUFVLENBQUMsTUFBTSxFQUFFLFVBQVUsQ0FBQyxRQUFRLENBQUMsQ0FBQztBQUV4Rzs7O0dBR0c7QUFDSCxNQUFNLENBQUMsTUFBTSxZQUFZLEdBQUcsQ0FBQyxVQUEwQixFQUEyQixFQUFFLENBQUMsQ0FBQztJQUNwRixXQUFXLEVBQUUsVUFBVSxDQUFDLFdBQVc7SUFDbkMsU0FBUyxFQUFFLFVBQVUsQ0FBQyxTQUFTO0lBQy9CLEtBQUssRUFBRSxVQUFVLENBQUMsS0FBSztJQUN2QixVQUFVLEVBQUUsVUFBVSxDQUFDLFVBQVU7SUFDakMsWUFBWSxFQUFFLFVBQVUsQ0FBQyxLQUFnRDtJQUN6RSxVQUFVLEVBQUUsSUFBSSxJQUFJLENBQUMsR0FBRyxVQUFVLENBQUMsSUFBSSxnQkFBZ0IsQ0FBQztJQUN4RCxHQUFHLENBQUMsVUFBVSxDQUFDLFVBQVUsQ0FBQyxDQUFDLENBQUMsRUFBRSxVQUFVLEVBQUUsVUFBVSxDQUFDLFVBQVUsRUFBRSxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7SUFDdkUsR0FBRyxDQUFDLFVBQVUsQ0FBQyxVQUFVLENBQUMsQ0FBQyxDQUFDLEVBQUUsVUFBVSxFQUFFLFVBQVUsQ0FBQyxVQUFVLEVBQUUsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO0lBQ3ZFLFlBQVksRUFBRSxVQUFVLENBQUMsSUFBSTtJQUM3QixHQUFHLENBQUMsVUFBVSxDQUFDLFlBQVksQ0FBQyxDQUFDLENBQUMsRUFBRSxTQUFTLEVBQUUsVUFBVSxDQUFDLFlBQVksRUFBRSxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7SUFDMUUsR0FBRyxDQUFDLFVBQVUsQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLEVBQUUsS0FBSyxFQUFFLFVBQVUsQ0FBQyxLQUFLLEVBQUUsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO0lBQ3hELEdBQUcsQ0FBQyxVQUFVLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxFQUFFLEtBQUssRUFBRSxVQUFVLENBQUMsS0FBSyxFQUFFLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQztJQUN4RCxjQUFjLEVBQUUsS0FBSztJQUNyQixHQUFHLENBQUMsVUFBVSxDQUFDLGFBQWEsQ0FBQyxDQUFDLENBQUMsRUFBRSxhQUFhLEVBQUUsSUFBSSxFQUFFLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQztDQUM3RCxDQUFDLENBQUM7QUFFSCw4SEFBOEg7QUFDOUgsTUFBTSxhQUFhLEdBQUcsQ0FBQyxVQUEwQixFQUFFLFFBQWdCLEVBQVUsRUFBRSxDQUM3RSxXQUFXLFFBQVEsR0FBRyxDQUFDLEtBQUssVUFBVSxDQUFDLElBQUksS0FBSyxVQUFVLENBQUMsV0FBVyxJQUFJLFVBQVUsQ0FBQyxTQUFTLElBQUksVUFBVSxDQUFDLEtBQUssSUFBSSxVQUFVLENBQUMsVUFBVSxFQUFFO01BQzNJLEdBQUcsVUFBVSxDQUFDLFVBQVUsQ0FBQyxDQUFDLENBQUMsaUJBQWlCLFVBQVUsQ0FBQyxVQUFVLEVBQUUsQ0FBQyxDQUFDLENBQUMsRUFBRSxHQUFHLENBQUM7QUFFaEY7Ozs7O0dBS0c7QUFDSCxNQUFNLHdCQUF3QixHQUFHLENBQUMsYUFBd0MsRUFBUSxFQUFFO0lBQ2xGLE1BQU0sT0FBTyxHQUFHLGFBQWEsQ0FBQyxTQUFTLENBQUMsQ0FBQyxVQUFVLEVBQUUsRUFBRSxDQUFDLENBQUMsa0JBQWtCLENBQUMsVUFBVSxDQUFDLENBQUMsQ0FBQztJQUN6RixJQUFJLE9BQU8sSUFBSSxDQUFDLEVBQUUsQ0FBQztRQUNqQixNQUFNLElBQUksa0JBQWtCLENBQzFCLGtDQUFrQyxFQUNsQyxHQUFHLGFBQWEsQ0FBQyxhQUFhLENBQUMsT0FBTyxDQUFDLEVBQUUsT0FBTyxDQUFDLDBHQUEwRyxDQUM1SixDQUFDO0lBQ0osQ0FBQztBQUNILENBQUMsQ0FBQztBQUVGOzs7Ozs7Ozs7R0FTRztBQUNILE1BQU0sQ0FBQyxNQUFNLFlBQVksR0FBRyxDQUMxQixhQUF3QyxFQUN4QyxVQUE4QyxFQUM0QyxFQUFFO0lBQzVGLHdCQUF3QixDQUFDLGFBQWEsQ0FBQyxDQUFDO0lBQ3hDLG1IQUFtSDtJQUNuSCxNQUFNLEVBQUUsVUFBVSxFQUFFLFdBQVcsRUFBRSxHQUFHLFlBQVksQ0FBQyxZQUFZLENBQUMsYUFBYSxDQUFDLEVBQUUsaUJBQWlCLENBQUMsVUFBVSxDQUFDLENBQUMsQ0FBQztJQUM3RyxPQUFPO1FBQ0wsUUFBUSxFQUFFLGFBQWEsQ0FBQyxNQUFNLENBQUMsQ0FBQyxXQUFXLEVBQUUsUUFBUSxFQUFFLEVBQUUsQ0FBQyxDQUFDLFVBQVUsQ0FBQyxRQUFRLENBQUMsQ0FBQztRQUNoRixJQUFJLEVBQUUsYUFBYSxDQUFDLE1BQU0sQ0FBQyxDQUFDLFdBQVcsRUFBRSxRQUFRLEVBQUUsRUFBRSxDQUFDLFVBQVUsQ0FBQyxRQUFRLENBQUMsQ0FBQztRQUMzRSxLQUFLLEVBQUUsVUFBVSxDQUFDLE1BQU0sQ0FBQyxDQUFDLE9BQU8sRUFBRSxRQUFRLEVBQUUsRUFBRSxDQUFDLENBQUMsV0FBVyxDQUFDLFFBQVEsQ0FBQyxDQUFDO0tBQ3hFLENBQUM7QUFDSixDQUFDLENBQUM7QUE4Q0Y7Ozs7Ozs7O0dBUUc7QUFDSCxNQUFNLENBQUMsTUFBTSw2QkFBNkIsR0FBRyxDQUFDLFVBQTRDLEVBQWlDLEVBQUU7SUFDM0gsMEdBQTBHO0lBQzFHLE1BQU0sVUFBVSxHQUFHLFVBQVUsQ0FBQyxjQUFjLEtBQUssU0FBUyxDQUFDLENBQUMsQ0FBQyxpQkFBaUIsQ0FBQyxVQUFVLENBQUMsY0FBYyxDQUFDLENBQUMsQ0FBQyxDQUFDLFVBQVUsQ0FBQyxVQUFVLENBQUM7SUFDbEksSUFBSSxVQUFVLEtBQUssU0FBUyxJQUFJLENBQUMsVUFBVSxDQUFDLFVBQVUsS0FBSyxTQUFTLElBQUksVUFBVSxDQUFDLGNBQWMsS0FBSyxTQUFTLENBQUMsRUFBRSxDQUFDO1FBQ2pILE1BQU0sSUFBSSxrQkFBa0IsQ0FBQyxrQkFBa0IsRUFBRSxxR0FBcUcsQ0FBQyxDQUFDO0lBQzFKLENBQUM7SUFDRCxNQUFNLFFBQVEsR0FBRyxVQUFVLENBQUMsU0FBUyxDQUFDLENBQUMsVUFBVSxFQUFFLEVBQUUsQ0FBQyxVQUFVLENBQUMsYUFBYSxLQUFLLElBQUksQ0FBQyxDQUFDO0lBQ3pGLElBQUksUUFBUSxJQUFJLENBQUMsRUFBRSxDQUFDO1FBQ2xCLE1BQU0sSUFBSSxrQkFBa0IsQ0FBQyxrQkFBa0IsRUFBRSwyREFBMkQsUUFBUSxHQUFHLENBQUMsb0VBQW9FLENBQUMsQ0FBQztJQUNoTSxDQUFDO0lBQ0QsTUFBTSxPQUFPLEdBQUcsV0FBVyxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsVUFBVSxDQUFDLE1BQU0sQ0FBQyxDQUFDO0lBQ2xFLE1BQU0sRUFBRSxRQUFRLEVBQUUsSUFBSSxFQUFFLEtBQUssRUFBRSxHQUFHLFlBQVksQ0FBQyxVQUFVLEVBQUUsT0FBTyxDQUFDLENBQUM7SUFDcEUsSUFBSSxRQUFRLENBQUMsTUFBTSxLQUFLLENBQUMsSUFBSSxLQUFLLENBQUMsTUFBTSxLQUFLLENBQUMsRUFBRSxDQUFDO1FBQ2hELE1BQU0sSUFBSSxrQkFBa0IsQ0FBQyxvQkFBb0IsRUFBRSxrRkFBa0YsQ0FBQyxDQUFDO0lBQ3pJLENBQUM7SUFDRCxNQUFNLElBQUksR0FBRyxDQUFDLEdBQUcsUUFBUSxDQUFDLEdBQUcsQ0FBQyxDQUFDLFVBQVUsRUFBRSxFQUFFLENBQUMsQ0FBQyxFQUFFLEdBQUcsWUFBWSxDQUFDLFVBQVUsQ0FBQyxFQUFFLGFBQWEsRUFBRSxJQUFJLEVBQUUsQ0FBQyxDQUFDLEVBQUUsR0FBRyxLQUFLLENBQUMsQ0FBQztJQUNqSCxNQUFNLElBQUksR0FBRyxVQUFVLENBQUMsSUFBSSxFQUFFLFVBQVUsQ0FBQyxNQUFNLEVBQUUsVUFBVSxDQUFDLFFBQVEsQ0FBQyxDQUFDO0lBQ3RFLCtFQUErRTtJQUMvRSxPQUFPLEVBQUUsR0FBRyxJQUFJLEVBQUUsUUFBUSxFQUFFLEtBQUssRUFBRSxhQUFhLEVBQUUsQ0FBQyxHQUFHLElBQUksRUFBRSxHQUFHLElBQUksQ0FBQyxRQUFRLENBQUMsS0FBSyxDQUFDLFFBQVEsQ0FBQyxNQUFNLENBQUMsQ0FBQyxFQUFFLENBQUM7QUFDekcsQ0FBQyxDQUFDIn0=

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fin.cx/compatibility",
-  "version": "4.0.0",
+  "version": "5.0.0",
   "private": false,
   "description": "Exchange formats of third-party accounting systems: the EXTF Buchungsstapel in Windows-1252 on the rows of @fin.cx/skr, and the document-image archive (document.xml and ZIP)",
   "main": "dist_ts/index.js",
@@ -45,7 +45,7 @@
     "@push.rocks/smartarchive": "^5.4.1"
   },
   "devDependencies": {
-    "@fin.cx/skr": "^6.0.0",
+    "@fin.cx/skr": "^7.0.1",
     "@git.zone/tsbuild": "^5.0.0",
     "@git.zone/tsrun": "^3.0.2",
     "@git.zone/tstest": "^6.3.2",
@@ -58,7 +58,7 @@
     "license.md"
   ],
   "peerDependencies": {
-    "@fin.cx/skr": "^6.0.0"
+    "@fin.cx/skr": "^7.0.1"
   },
   "scripts": {
     "test": "(tstest test/ --verbose)",

package/readme.md

@@ -17,7 +17,7 @@ For reporting bugs, issues, or security vulnerabilities, please visit [community
 pnpm install @fin.cx/compatibility @fin.cx/skr
 ```
 
-`@fin.cx/skr` (^6.0.0) is a peer dependency: the drafts and the account policy the EXTF writer takes are built by your copy of skr, and the writer turns them into rows with the same copy, so the rows follow the chart the drafts were booked on (which accounts are Automatikkonten, which carry VAT). A second copy of skr of another major would write rows by another chart; a package manager that finds your skr outside the range says so as an unmet peer.
+`@fin.cx/skr` (^7.0.1) is a peer dependency: the drafts and the account policy the EXTF writer takes are built by your copy of skr, and the writer turns them into rows with the same copy, so the rows follow the chart the drafts were booked on (which accounts are Automatikkonten, which carry VAT). A second copy of skr of another major would write rows by another chart; a package manager that finds your skr outside the range says so as an unmet peer.
 
 ## Usage
 
@@ -42,7 +42,7 @@ const file = extf.writeBuchungsstapel({
   filename: extf.extfFilename('2026-03'), // EXTF_Buchungsstapel_2026-03.csv
 });
 file.bytes; // Uint8Array in Windows-1252, served as extf.EXTF_CONTENT_TYPE
-file.bookings; // what each row says, for keeping and comparing
+file.bookings; // what each row says as the file states it, for keeping and comparing
 file.replacedCharacters; // [{ offset, character: 'ő', row: 1, field: 14 }, …]: written as "?"
 ```
 
@@ -50,9 +50,15 @@ file.replacedCharacters; // [{ offset, character: 'ő', row: 1, field: 14 }, …
 - **The same without a file.** `extf.replacedCharactersOfRows(rows)` names the characters of each row the file could not hold (`{ row, field, character }`), without a header and without writing anything: for a preview, before the consultant and client numbers of the header are known. It reads each row's line as the writer writes it (`@fin.cx/skr` `datevRowFields`), so a character a field is cut off before (the Buchungstext keeps 60 characters) is not named.
 
 - **A draft the account policy refuses** throws `CompatibilityError` with code `invalid_bookings` and a message naming the draft.
+- **What the reader would refuse is refused before writing.** A header whose period ends before it begins or leaves the Wirtschaftsjahr beginning on its Wirtschaftsjahr-Beginn throws code `invalid_header`; a row whose Belegdatum lies outside that period, is no day, or whose amount is not positive throws `invalid_bookings`, naming the row.
 - **A failed conversion** throws code `export_failed`.
 - **A document-image archive DATEV would not take** (no document, a GUID of another form, a format it does not take) throws code `invalid_documents`.
-- **`differingBookingCount(left, right)`** counts the rows two Stapel of one period do not share. It compares each booking's day, amount, side, accounts, BU key and Belegfeld 1, as a multiset, and ignores wording and document links.
+- **`differingBookingCount(left, right)`** counts the rows two Stapel of one period do not share. It compares each booking's day, amount, side, accounts, BU key, Belegfeld 1, cost centres (KOST1, KOST2) and whether it is a general reversal, as a multiset, and ignores wording and document links. A booking stored before 4.1 has no cost-centre fields: its record says nothing of them, and they never make it differ; compare `bookingsOfRows` of the rows sent for an answer that counts them.
+- **The bookings as the file states them.** `extf.bookingsAsWritten(rows)` (and `extf.rowsAsWritten(rows)`) writes the rows with skr's writer, encodes them in Windows-1252 and reads them back with skr's reader: a `"` in a text field becomes `'`, Belegfeld 1 is cut to 36 characters, a line break becomes a space and a character Windows-1252 cannot hold becomes `?`, as in the file. `writeBuchungsstapel`'s `bookings` are read back from the bytes it wrote. `differingBookingCount` and a correction take both sides as a file states them, so bookings stored before writing (4.1 and before), bookings of this version and rows read back from the file sent compare alike; compare with them, not with `bookingsOfRows` of rows that were not written, which keep what the file does not.
+- **A period whose bookings were stored before 4.1.** Such bookings record no cost centres, although the Stapel sent stated them (fields 37 and 38), and `differingBookingCount` never counts them as differing on cost centres alone: a change of a cost centre only is not seen. For such a period read the file handed over back (`readExtfBuchungsstapel(bytes).rows`) and compare `bookingsOfRows` of those rows, or pass them to a correction as `handedOverRows`.
+- **A correction of a period handed over.** `writeCorrectionBuchungsstapel({ handedOver, drafts, policy, header, filename })` writes only what changed since the state handed over: each booking handed over that the drafts no longer hold is written again with field 118 "Generalumkehr" set, so DATEV takes it back on its own side and day, then each row of the drafts that was not handed over; what stands in both is not written. A changed text or document link is no change; a changed cost centre is, so the booking is taken back on the cost centre DATEV received and booked on the new one. Every row keeps its Belegdatum, so it counts in the period it belongs to; a booking handed over is never replaced (§ 146 Abs. 4 AO), which also holds once DATEV has fixed the period (Festschreibung). The file names what it takes back (`reversed`), what it books (`added`) and the bookings after it (`bookingsAfter`: each booking it keeps as it was handed over, text and document link included, then the rows it books anew as the correction file states them). Both sides are compared as a file states them, so a reference the writer changes (a `"`, more than 36 characters, a character Windows-1252 cannot hold, a line break) is no change. `correctionOf(handedOver, rows)` gives `reversed`, `kept` and `added` without a file, and `rowOfBooking(booking)` the row a booking was written as.
+- **The state handed over** is given once: the bookings stored of it (`handedOver`: the `bookings` of its Buchungsstapel as they were stored, by this version or by 4.1, or the last correction's `bookingsAfter`), or the rows of the Stapel as it was sent (`handedOverRows`: the transmitted file read back with `@fin.cx/skr` `readExtfBuchungsstapel(bytes).rows`, or the `rows` given to the writer). Every form compares alike. A booking stored before 4.1 has no cost-centre fields, although the Stapel sent stated them (fields 37 and 38): a correction refuses it with code `handed_over_cost_centres_unknown`, naming it, since whether it must be taken back turns on the cost centres DATEV holds and a reversal without them would not mirror it; pass `handedOverRows` for such a period. Nothing changed is refused with `nothing_to_correct`; a general reversal in the state handed over (a correction file passed as the state), or a state given twice or not at all, with `invalid_bookings`.
+- **A booking keeps its general reversal** (`IExportBooking.generalumkehr`, from field 118) and its cost centres (`kost1`, `kost2`, empty where the row states none).
 
 ```typescript
 import { belegbilder } from '@fin.cx/compatibility';

package/ts/00_commitinfo_data.ts

@@ -3,6 +3,6 @@
  */
 export const commitinfo = {
   name: '@fin.cx/compatibility',
-  version: '4.0.0',
+  version: '5.0.0',
   description: 'Exchange formats of third-party accounting systems: the EXTF Buchungsstapel in Windows-1252 on the rows of @fin.cx/skr, and the document-image archive (document.xml and ZIP)'
 }

package/ts/error.ts

@@ -1,10 +1,18 @@
 /**
  * Why an exchange file could not be written:
- * - `invalid_bookings`: a draft the account policy refuses; the message names it;
+ * - `invalid_bookings`: a draft the account policy refuses, the message names it; a general reversal among the
+ *   bookings handed over to a correction Buchungsstapel (a correction file passed as the state handed over); or a row
+ *   or booking a Buchungsstapel does not hold (no day, an amount that is not positive) or whose Belegdatum lies
+ *   outside the period of the header, named;
+ * - `invalid_header`: a header whose period ends before it begins or does not lie within the one Wirtschaftsjahr
+ *   beginning on its Wirtschaftsjahr-Beginn;
  * - `export_failed`: the conversion into rows failed;
- * - `invalid_documents`: a document of a document-image archive DATEV does not take (its GUID, its format), or none.
+ * - `invalid_documents`: a document of a document-image archive DATEV does not take (its GUID, its format), or none;
+ * - `nothing_to_correct`: a correction Buchungsstapel whose current bookings are the ones handed over;
+ * - `handed_over_cost_centres_unknown`: a correction of a period whose bookings handed over include one whose cost
+ *   centres its record does not state (stored before 4.1) and no rows sent were given; the message names it.
  */
-export type TCompatibilityErrorCode = 'invalid_bookings' | 'export_failed' | 'invalid_documents';
+export type TCompatibilityErrorCode = 'invalid_bookings' | 'invalid_header' | 'export_failed' | 'invalid_documents' | 'nothing_to_correct' | 'handed_over_cost_centres_unknown';
 
 export class CompatibilityError extends Error {
   public readonly code: TCompatibilityErrorCode;

package/ts/extf/index.ts

@@ -27,6 +27,19 @@ export interface IExportBooking {
   text: string;
   /** the document GUID the row links to (field 20, `BEDI "GUID"`) */
   documentGuid?: string;
+  /**
+   * The cost centres of the row (fields 37 and 38, KOST1 and KOST2), empty where it states none. `bookingsOfRows`
+   * records both on every booking; a booking stored before 4.1 has neither, although the row sent stated them: its
+   * cost centres are not known. `differingBookingCount` compares it without them; a correction refuses it
+   * (`handed_over_cost_centres_unknown`) unless it is given the rows sent (`handedOverRows`).
+   */
+  kost1?: string;
+  kost2?: string;
+  /**
+   * The row is a general reversal (field 118 "Generalumkehr", written "1"): it takes back the booking of the same
+   * fields on DATEV's side. Absent on an ordinary row.
+   */
+  generalumkehr?: true;
 }
 
 /** The GUID inside a Beleglink value (`BEDI "GUID"` or the bare GUID). */
@@ -45,34 +58,121 @@ export const bookingsOfRows = (rowsArg: readonly IDatevBuchungsstapelRow[]): IEx
     ...(rowArg.belegfeld2 ? { belegfeld2: rowArg.belegfeld2 } : {}),
     text: rowArg.buchungstext,
     ...(rowArg.belegLink ? { documentGuid: guidOfLink(rowArg.belegLink) } : {}),
+    // recorded on every booking, empty where the row states none: a booking without them was stored before 4.1
+    kost1: rowArg.kost1 ?? '',
+    kost2: rowArg.kost2 ?? '',
+    ...(rowArg.generalumkehr === true ? { generalumkehr: true as const } : {}),
   }));
 
+/**
+ * What a booking says, as two Stapel of one period are compared, apart from its cost centres: its day, amount, side,
+ * accounts, BU key, Belegfeld 1 and whether it is a general reversal, not its wording or document link. A reversal
+ * never matches an ordinary row.
+ */
+const baseKeyOf = (bookingArg: IExportBooking): string =>
+  JSON.stringify([
+    bookingArg.date,
+    bookingArg.umsatzCents,
+    bookingArg.sollHaben,
+    bookingArg.konto,
+    bookingArg.gegenkonto,
+    bookingArg.buKey,
+    bookingArg.belegfeld1 ?? '',
+    bookingArg.generalumkehr ? 'GU' : '',
+  ]);
+
+/** Whether a booking records its cost centres: every booking read from rows since 4.1 does, one stored before does not. */
+const recordsCostCentres = (bookingArg: IExportBooking): boolean => bookingArg.kost1 !== undefined || bookingArg.kost2 !== undefined;
+
+/** What a booking that records its cost centres says, the cost centres included. */
+const fullKeyOf = (bookingArg: IExportBooking): string => JSON.stringify([baseKeyOf(bookingArg), bookingArg.kost1 ?? '', bookingArg.kost2 ?? '']);
+
+/**
+ * Pairs the bookings of two Stapel of one period that say the same, as a multiset: two bookings that record their
+ * cost centres pair on every key field, the cost centres included, so a changed cost centre is a changed booking. A
+ * booking that does not record them (stored before 4.1, although the row sent stated them) pairs with any booking of
+ * the same other key fields: its record says nothing of them, so they never make it differ. Unpaired recorded bookings take the
+ * unrecorded ones of the other side first, which pair with anything, so as many pairs as possible are made.
+ */
+const pairBookings = (
+  leftArg: readonly IExportBooking[],
+  rightArg: readonly IExportBooking[],
+): { leftPaired: boolean[]; rightPaired: boolean[] } => {
+  const leftPaired = leftArg.map(() => false);
+  const rightPaired = rightArg.map(() => false);
+  const take = (queuesArg: Map<string, number[]>, keyArg: string): number | undefined => queuesArg.get(keyArg)?.shift();
+  const queue = (queuesArg: Map<string, number[]>, keyArg: string, indexArg: number): void => {
+    queuesArg.set(keyArg, [...(queuesArg.get(keyArg) ?? []), indexArg]);
+  };
+  // recorded with recorded, on every key field
+  const recordedRight = new Map<string, number[]>();
+  rightArg.forEach((bookingArg, indexArg) => {
+    if (recordsCostCentres(bookingArg)) {
+      queue(recordedRight, fullKeyOf(bookingArg), indexArg);
+    }
+  });
+  leftArg.forEach((bookingArg, indexArg) => {
+    const paired = recordsCostCentres(bookingArg) ? take(recordedRight, fullKeyOf(bookingArg)) : undefined;
+    if (paired !== undefined) {
+      leftPaired[indexArg] = true;
+      rightPaired[paired] = true;
+    }
+  });
+  // what is left, on the key fields without the cost centres, where one of the two does not record them
+  const unrecordedRight = new Map<string, number[]>();
+  const openRecordedRight = new Map<string, number[]>();
+  rightArg.forEach((bookingArg, indexArg) => {
+    if (!rightPaired[indexArg]) {
+      queue(recordsCostCentres(bookingArg) ? openRecordedRight : unrecordedRight, baseKeyOf(bookingArg), indexArg);
+    }
+  });
+  const pairLeft = (recordedArg: boolean): void => {
+    leftArg.forEach((bookingArg, indexArg) => {
+      if (leftPaired[indexArg] || recordsCostCentres(bookingArg) !== recordedArg) {
+        return;
+      }
+      const key = baseKeyOf(bookingArg);
+      const paired = recordedArg ? take(unrecordedRight, key) : take(openRecordedRight, key) ?? take(unrecordedRight, key);
+      if (paired !== undefined) {
+        leftPaired[indexArg] = true;
+        rightPaired[paired] = true;
+      }
+    });
+  };
+  pairLeft(true);
+  pairLeft(false);
+  return { leftPaired, rightPaired };
+};
+
+/**
+ * Bookings as a Buchungsstapel file states them, for comparing: each written as the row it was written as
+ * (`rowOfBooking`) and read back (`bookingsAsWritten`), so bookings stored of rows before writing (4.1 and before)
+ * and bookings read from a file compare alike. One that records no cost centres (stored before 4.1) keeps recording
+ * none, so it still never differs on them. A booking a Buchungsstapel cannot hold is refused (`invalid_bookings`).
+ */
+const comparableOf = (bookingsArg: readonly IExportBooking[]): IExportBooking[] =>
+  bookingsAsWritten(bookingsArg.map((bookingArg) => rowOfBooking(bookingArg))).map((bookingArg, indexArg) => {
+    if (recordsCostCentres(bookingsArg[indexArg])) {
+      return bookingArg;
+    }
+    const { kost1: _kost1, kost2: _kost2, ...unrecorded } = bookingArg;
+    return unrecorded;
+  });
+
 /**
  * How many rows two Buchungsstapel of one period do not share, compared on
- * what a booking says (its day, amount, side, accounts, BU key and Belegfeld
- * 1) and not on its wording or its document link. The rows are compared as a
- * multiset: a row that stands twice in one and once in the other differs once.
+ * what a booking says (its day, amount, side, accounts, BU key, Belegfeld 1,
+ * cost centres, and whether it is a general reversal) and not on its wording or its document link. The rows are
+ * compared as a multiset: a row that stands twice in one and once in the other differs once. Both sides are compared
+ * as a file states them (`comparableOf`: a `"` as `'`, Belegfeld 1 cut to 36 characters, a character Windows-1252
+ * cannot hold as `?`), so bookings stored of rows before writing and bookings read from a file compare alike. A
+ * booking stored before 4.1, which does not record its cost centres, never differs on them (`pairBookings`); compare
+ * `bookingsOfRows` of the rows sent for an answer that counts them. A booking a Buchungsstapel cannot hold (no day,
+ * no positive amount) is refused (`invalid_bookings`).
  */
 export const differingBookingCount = (leftArg: readonly IExportBooking[], rightArg: readonly IExportBooking[]): number => {
-  const keyOf = (bookingArg: IExportBooking): string =>
-    [bookingArg.date, bookingArg.umsatzCents, bookingArg.sollHaben, bookingArg.konto, bookingArg.gegenkonto, bookingArg.buKey, bookingArg.belegfeld1 ?? ''].join('|');
-  const unmatched = new Map<string, number>();
-  for (const booking of leftArg) {
-    unmatched.set(keyOf(booking), (unmatched.get(keyOf(booking)) ?? 0) + 1);
-  }
-  let differing = 0;
-  for (const booking of rightArg) {
-    const left = unmatched.get(keyOf(booking)) ?? 0;
-    if (left > 0) {
-      unmatched.set(keyOf(booking), left - 1);
-    } else {
-      differing += 1;
-    }
-  }
-  for (const left of unmatched.values()) {
-    differing += left;
-  }
-  return differing;
+  const { leftPaired, rightPaired } = pairBookings(comparableOf(leftArg), comparableOf(rightArg));
+  return [...leftPaired, ...rightPaired].filter((pairedArg) => !pairedArg).length;
 };
 
 /**
@@ -176,16 +276,24 @@ export interface IBuchungsstapelFile {
   csv: string;
   /** the file in Windows-1252, as it is handed over */
   bytes: Uint8Array;
+  /** the rows as they were given to the writer; the file states them as `rowsAsWritten` does */
   rows: IDatevBuchungsstapelRow[];
+  /**
+   * The bookings the file states, read back from its bytes (`@fin.cx/skr` `readExtfBuchungsstapel`): a `"` in a
+   * text field as `'`, Belegfeld 1 cut to 36 characters, a character Windows-1252 cannot hold as `?`. What a file
+   * read back is compared with, and what a correction's `handedOver` is (4.1 and before: the rows' bookings before
+   * writing).
+   */
   bookings: IExportBooking[];
   /** the characters Windows-1252 cannot write, each written as `?`, with the row and field it stands in */
   replacedCharacters: IBuchungsstapelReplacement[];
 }
 
-/** Writes a Buchungsstapel: the rows of the drafts, the header and the caption row, encoded in Windows-1252. */
-export const writeBuchungsstapel = (optionsArg: IBuchungsstapelOptions): IBuchungsstapelFile => {
-  const rows = datevRowsOf(optionsArg.drafts, optionsArg.policy);
-  const { csv } = plugins.skrCore.writeExtfBuchungsstapel(rows, optionsArg.header);
+/** The file of rows: the header and the caption row, the rows, encoded in Windows-1252, with where each character stands. */
+const fileOfRows = (rows: IDatevBuchungsstapelRow[], headerArg: IDatevExtfHeaderOptions, filenameArg: string): IBuchungsstapelFile => {
+  refuseUnwritableRows(rows);
+  refuseOutsideHeader(rows, headerArg);
+  const { csv } = plugins.skrCore.writeExtfBuchungsstapel(rows, headerArg);
   const { bytes, replaced } = encodeWindows1252(csv);
   // the file is the header line, the caption line and one line per row, each ending in CRLF (`writeExtfBuchungsstapel`)
   const rowLines = rows.map((rowArg) => plugins.skrCore.datevRowFields(rowArg));
@@ -210,5 +318,266 @@ export const writeBuchungsstapel = (optionsArg: IBuchungsstapelOptions): IBuchun
     }
     return { ...replacedArg, row, field: fieldAt(fieldStartsOf(rowLines[row]), replacedArg.offset - lineStarts[row]) };
   });
-  return { filename: optionsArg.filename, csv, bytes, rows, bookings: bookingsOfRows(rows), replacedCharacters };
+  // the bookings of what was written, as the file states them
+  const written = plugins.skrCore.readExtfBuchungsstapel(bytes).rows;
+  if (written.length !== rows.length) {
+    throw new CompatibilityError('export_failed', `${rows.length} row(s) written, ${written.length} read back`);
+  }
+  return { filename: filenameArg, csv, bytes, rows, bookings: bookingsOfRows(written), replacedCharacters };
+};
+
+/** The Belegdatum of a row as its day, midnight UTC, in epoch milliseconds. */
+const dayOfRow = (rowArg: IDatevBuchungsstapelRow): number =>
+  Date.UTC(rowArg.belegDatum.getUTCFullYear(), rowArg.belegDatum.getUTCMonth(), rowArg.belegDatum.getUTCDate());
+
+/** A row as a refusal names it: its place among the rows given, its day, amount, side, accounts and Belegfeld 1. */
+const rowNameOf = (rowArg: IDatevBuchungsstapelRow, indexArg: number): string =>
+  `row ${indexArg + 1} (${Number.isNaN(rowArg.belegDatum.getTime()) ? 'no day' : rowArg.belegDatum.toISOString().slice(0, 10)}, ${rowArg.umsatzCents} ${rowArg.sollHaben} ${rowArg.konto}/${rowArg.gegenKonto}`
+  + `${rowArg.belegfeld1 ? `, Belegfeld 1 ${rowArg.belegfeld1}` : ''})`;
+
+/**
+ * Refuses a row a Buchungsstapel does not hold, before anything is written: a Belegdatum that is no day, and an
+ * amount that is not a positive whole number of cents (a Buchungsstapel states the side apart, field 2, and
+ * `readExtfBuchungsstapel` refuses any other). `invalid_bookings`, naming the row.
+ */
+const refuseUnwritableRows = (rowsArg: readonly IDatevBuchungsstapelRow[]): void => {
+  rowsArg.forEach((rowArg, indexArg) => {
+    if (Number.isNaN(rowArg.belegDatum.getTime())) {
+      throw new CompatibilityError('invalid_bookings', `${rowNameOf(rowArg, indexArg)} has no Belegdatum`);
+    }
+    if (!Number.isSafeInteger(rowArg.umsatzCents) || rowArg.umsatzCents <= 0) {
+      throw new CompatibilityError('invalid_bookings', `${rowNameOf(rowArg, indexArg)}: a Buchungsstapel states a positive amount, the side apart`);
+    }
+  });
+};
+
+/**
+ * Refuses a header whose period a Buchungsstapel cannot state (`invalid_header`): Datum von after Datum bis, or a
+ * period that does not lie within the one Wirtschaftsjahr beginning on the Wirtschaftsjahr-Beginn (a Belegdatum is
+ * written TTMM, and the reader takes its year from them); and every row whose Belegdatum lies outside the period
+ * (`invalid_bookings`, naming it). Checked before anything is written.
+ */
+const refuseOutsideHeader = (rowsArg: readonly IDatevBuchungsstapelRow[], headerArg: IDatevExtfHeaderOptions): void => {
+  const day = (dateArg: Date): number => Date.UTC(dateArg.getUTCFullYear(), dateArg.getUTCMonth(), dateArg.getUTCDate());
+  const from = day(headerArg.dateFrom);
+  const to = day(headerArg.dateTo);
+  const start = day(headerArg.fiscalYearStart);
+  const end = Date.UTC(headerArg.fiscalYearStart.getUTCFullYear() + 1, headerArg.fiscalYearStart.getUTCMonth(), headerArg.fiscalYearStart.getUTCDate());
+  const iso = (timeArg: number): string => new Date(timeArg).toISOString().slice(0, 10);
+  if ([from, to, start].some(Number.isNaN)) {
+    throw new CompatibilityError('invalid_header', 'the header states no day for the Wirtschaftsjahr-Beginn, Datum von or Datum bis');
+  }
+  if (to < from) {
+    throw new CompatibilityError('invalid_header', `the period of the header ends (${iso(to)}) before it begins (${iso(from)})`);
+  }
+  if (from < start || to >= end) {
+    throw new CompatibilityError('invalid_header', `the period of the header, ${iso(from)} to ${iso(to)}, does not lie within the Wirtschaftsjahr beginning ${iso(start)}`);
+  }
+  rowsArg.forEach((rowArg, indexArg) => {
+    const time = dayOfRow(rowArg);
+    if (time < from || time > to) {
+      throw new CompatibilityError('invalid_bookings', `${rowNameOf(rowArg, indexArg)} lies outside the period of the header, ${iso(from)} to ${iso(to)}`);
+    }
+  });
+};
+
+/**
+ * Rows as a Buchungsstapel file states them: each row written by the writer (`@fin.cx/skr` `writeExtfBuchungsstapel`,
+ * which writes a `"` in a text field as `'` and cuts a field to its DATEV length), encoded in Windows-1252 (a
+ * character it cannot hold written `?`, `encodeWindows1252`), and read back (`@fin.cx/skr` `readExtfBuchungsstapel`),
+ * in the order given. Every rule of the writer, the encoding and the reader applies because the rows go through them,
+ * not through a copy of their rules. The rows of each calendar year are written as one file whose header spans their
+ * days; the header states nothing a row is read by beyond its days. A row the writer or the reader refuses throws as
+ * it does.
+ */
+export const rowsAsWritten = (rowsArg: readonly IDatevBuchungsstapelRow[]): IDatevBuchungsstapelRow[] => {
+  refuseUnwritableRows(rowsArg);
+  const written: IDatevBuchungsstapelRow[] = new Array(rowsArg.length);
+  // the indexes of the rows of each calendar year, and the first and last day among them
+  const years = new Map<number, { indexes: number[]; first: number; last: number }>();
+  rowsArg.forEach((rowArg, indexArg) => {
+    const year = rowArg.belegDatum.getUTCFullYear();
+    const time = dayOfRow(rowArg);
+    const group = years.get(year);
+    if (group) {
+      group.indexes.push(indexArg);
+      group.first = Math.min(group.first, time);
+      group.last = Math.max(group.last, time);
+    } else {
+      years.set(year, { indexes: [indexArg], first: time, last: time });
+    }
+  });
+  for (const [year, group] of years) {
+    const { csv } = plugins.skrCore.writeExtfBuchungsstapel(group.indexes.map((indexArg) => rowsArg[indexArg]), {
+      createdAt: new Date(Date.UTC(year, 0, 1)),
+      consultantNumber: 0,
+      clientNumber: 0,
+      // a Belegdatum is written TTMM: the reader takes its year from the Wirtschaftsjahr and the period of the header
+      fiscalYearStart: new Date(Date.UTC(year, 0, 1)),
+      dateFrom: new Date(group.first),
+      dateTo: new Date(group.last),
+      label: '',
+      festschreibung: false,
+    });
+    const read = plugins.skrCore.readExtfBuchungsstapel(encodeWindows1252(csv).bytes).rows;
+    if (read.length !== group.indexes.length) {
+      throw new CompatibilityError('export_failed', `${group.indexes.length} row(s) written, ${read.length} read back`);
+    }
+    group.indexes.forEach((indexArg, positionArg) => {
+      written[indexArg] = read[positionArg];
+    });
+  }
+  return written;
+};
+
+/**
+ * The bookings of rows as a Buchungsstapel file states them (`rowsAsWritten`): what a file handed over, read back
+ * with `readExtfBuchungsstapel`, is compared with. `bookingsOfRows` of the rows before writing keeps what the file
+ * does not (a `"` in Belegfeld 1, a Belegfeld 1 longer than its 36 characters, a character Windows-1252 cannot
+ * hold), and Belegfeld 1 is compared, so such a booking would differ from the file forever.
+ */
+export const bookingsAsWritten = (rowsArg: readonly IDatevBuchungsstapelRow[]): IExportBooking[] => bookingsOfRows(rowsAsWritten(rowsArg));
+
+/** Writes a Buchungsstapel: the rows of the drafts, the header and the caption row, encoded in Windows-1252. */
+export const writeBuchungsstapel = (optionsArg: IBuchungsstapelOptions): IBuchungsstapelFile =>
+  fileOfRows(datevRowsOf(optionsArg.drafts, optionsArg.policy), optionsArg.header, optionsArg.filename);
+
+/**
+ * The row a booking handed over was written as, for a general reversal of it: every field the booking keeps
+ * (`IExportBooking`) in its place, the Belegdatum at midnight UTC as the writer reads it.
+ */
+export const rowOfBooking = (bookingArg: IExportBooking): IDatevBuchungsstapelRow => ({
+  umsatzCents: bookingArg.umsatzCents,
+  sollHaben: bookingArg.sollHaben,
+  konto: bookingArg.konto,
+  gegenKonto: bookingArg.gegenkonto,
+  buSchluessel: bookingArg.buKey as IDatevBuchungsstapelRow['buSchluessel'],
+  belegDatum: new Date(`${bookingArg.date}T00:00:00.000Z`),
+  ...(bookingArg.belegfeld1 ? { belegfeld1: bookingArg.belegfeld1 } : {}),
+  ...(bookingArg.belegfeld2 ? { belegfeld2: bookingArg.belegfeld2 } : {}),
+  buchungstext: bookingArg.text,
+  ...(bookingArg.documentGuid ? { belegLink: bookingArg.documentGuid } : {}),
+  ...(bookingArg.kost1 ? { kost1: bookingArg.kost1 } : {}),
+  ...(bookingArg.kost2 ? { kost2: bookingArg.kost2 } : {}),
+  festschreibung: false,
+  ...(bookingArg.generalumkehr ? { generalumkehr: true } : {}),
+});
+
+/** A booking as a refusal names it: its place among the bookings handed over, day, amount, side, accounts and Belegfeld 1. */
+const bookingNameOf = (bookingArg: IExportBooking, indexArg: number): string =>
+  `booking ${indexArg + 1} (${bookingArg.date}, ${bookingArg.umsatzCents} ${bookingArg.sollHaben} ${bookingArg.konto}/${bookingArg.gegenkonto}`
+  + `${bookingArg.belegfeld1 ? `, Belegfeld 1 ${bookingArg.belegfeld1}` : ''})`;
+
+/**
+ * Refuses a state handed over that holds a booking whose cost centres its record does not state (stored before 4.1).
+ * The Stapel sent stated them (fields 37 and 38), so DATEV holds them: whether the booking must be taken back turns on
+ * them, and a reversal that does not state them would leave them standing in DATEV's cost accounting. The rows sent
+ * tell them (`handedOverRows`).
+ */
+const refuseCostCentresUnknown = (handedOverArg: readonly IExportBooking[]): void => {
+  const unknown = handedOverArg.findIndex((bookingArg) => !recordsCostCentres(bookingArg));
+  if (unknown >= 0) {
+    throw new CompatibilityError(
+      'handed_over_cost_centres_unknown',
+      `${bookingNameOf(handedOverArg[unknown], unknown)} was stored without the cost centres it was sent with; pass the rows of the Stapel sent (handedOverRows)`,
+    );
+  }
+};
+
+/**
+ * What a correction of a period handed over changes, compared as `differingBookingCount` compares: the bookings
+ * handed over that the current ones no longer hold (`reversed`, each once for each time it is missing), the ones they
+ * still hold (`kept`, as they were handed over) and the current rows the bookings handed over do not hold (`added`),
+ * each in its order. A booking that stands in both is kept: a changed text or document link is no changed booking,
+ * a changed cost centre is. The current rows are compared as a file states them (`bookingsAsWritten`), as the
+ * bookings handed over are; `added` are the rows themselves, which the writer writes. A booking handed over whose
+ * cost centres its record does not state (stored before 4.1) is refused (`handed_over_cost_centres_unknown`): pass
+ * `bookingsOfRows` of the rows sent instead.
+ */
+export const correctionOf = (
+  handedOverArg: readonly IExportBooking[],
+  currentArg: readonly IDatevBuchungsstapelRow[],
+): { reversed: IExportBooking[]; kept: IExportBooking[]; added: IDatevBuchungsstapelRow[] } => {
+  refuseCostCentresUnknown(handedOverArg);
+  // the current rows as a file states them, as the state handed over was: a reference the writer changes is the same
+  const { leftPaired, rightPaired } = pairBookings(comparableOf(handedOverArg), bookingsAsWritten(currentArg));
+  return {
+    reversed: handedOverArg.filter((_bookingArg, indexArg) => !leftPaired[indexArg]),
+    kept: handedOverArg.filter((_bookingArg, indexArg) => leftPaired[indexArg]),
+    added: currentArg.filter((_rowArg, indexArg) => !rightPaired[indexArg]),
+  };
+};
+
+/**
+ * The state of a period handed over, given once: the bookings stored of it (`handedOver`) or the rows of the Stapel
+ * sent (`handedOverRows`). A general reversal in it is refused: the state handed over is compared, not a correction
+ * file.
+ */
+export interface ICorrectionBuchungsstapelOptions {
+  /**
+   * The bookings of the period as they were handed over, as a whole: the bookings of its Buchungsstapel as stored
+   * (`IBuchungsstapelFile.bookings`), or after a correction the period's bookings as that correction left them
+   * (`bookingsAfter`). Each must state its cost centres: one stored before 4.1 does not, and is refused
+   * (`handed_over_cost_centres_unknown`); pass the rows sent for it. Bookings stored by any version, before or after
+   * writing, are compared as a file states them (`comparableOf`), so a reference the writer changed is no change.
+   */
+  handedOver?: readonly IExportBooking[];
+  /**
+   * The rows of the Buchungsstapel as it was sent: the transmitted file read back (`@fin.cx/skr`
+   * `readExtfBuchungsstapel(bytes).rows`, skr 7.0.1 and later) or the rows given to the writer
+   * (`IBuchungsstapelFile.rows`), taken as the file states them (`bookingsAsWritten`). What DATEV received, cost
+   * centres (fields 37 and 38) included, so a reversal mirrors it exactly. For a Stapel whose bookings were stored
+   * before 4.1, which record no cost centres.
+   */
+  handedOverRows?: readonly IDatevBuchungsstapelRow[];
+  /** the period's drafts as they stand now */
+  drafts: readonly plugins.skrCore.IJournalDraft[];
+  /** the policy the drafts are checked against */
+  policy: plugins.skrCore.IAccountPolicy;
+  /** the header of the file: the same period (`dateFrom`, `dateTo`) as the Stapel handed over, a label of its own */
+  header: IDatevExtfHeaderOptions;
+  filename: string;
+}
+
+export interface ICorrectionBuchungsstapelFile extends IBuchungsstapelFile {
+  /** the bookings handed over it takes back, each written as a general reversal */
+  reversed: IExportBooking[];
+  /** the rows it books anew */
+  added: IDatevBuchungsstapelRow[];
+  /**
+   * The period's bookings as DATEV holds them after this correction: each booking handed over that it keeps, as it
+   * was handed over (its text and document link too), then the rows it books anew. What the next correction is
+   * compared against.
+   */
+  bookingsAfter: IExportBooking[];
+}
+
+/**
+ * Writes the correction Buchungsstapel of a period handed over whose bookings changed since: only what changed. Each
+ * booking handed over that the drafts no longer hold is written again with field 118 "Generalumkehr" set, so DATEV
+ * takes it back on its side and day, and each row the drafts hold that was not handed over is written as it is; rows
+ * in both are not written. Every row keeps its Belegdatum, so it counts in the period it belongs to. A booking handed
+ * over is never changed or replaced (§ 146 Abs. 4 AO): it is taken back and booked anew. Throws `nothing_to_correct`
+ * when nothing changed; `invalid_bookings` for a general reversal in the state handed over, or for a state given
+ * twice or not at all; `handed_over_cost_centres_unknown` for a booking whose cost centres are not known.
+ */
+export const writeCorrectionBuchungsstapel = (optionsArg: ICorrectionBuchungsstapelOptions): ICorrectionBuchungsstapelFile => {
+  // rows read back from the file sent are as written already; rows given to the writer become what it wrote
+  const handedOver = optionsArg.handedOverRows !== undefined ? bookingsAsWritten(optionsArg.handedOverRows) : optionsArg.handedOver;
+  if (handedOver === undefined || (optionsArg.handedOver !== undefined && optionsArg.handedOverRows !== undefined)) {
+    throw new CompatibilityError('invalid_bookings', 'pass the state handed over once: the bookings stored (handedOver) or the rows sent (handedOverRows)');
+  }
+  const reversal = handedOver.findIndex((bookingArg) => bookingArg.generalumkehr === true);
+  if (reversal >= 0) {
+    throw new CompatibilityError('invalid_bookings', `the state handed over holds a general reversal (booking ${reversal + 1}); pass the period's bookings as they stood, not a correction file`);
+  }
+  const current = datevRowsOf(optionsArg.drafts, optionsArg.policy);
+  const { reversed, kept, added } = correctionOf(handedOver, current);
+  if (reversed.length === 0 && added.length === 0) {
+    throw new CompatibilityError('nothing_to_correct', 'the bookings of the period are the ones handed over; there is nothing to correct');
+  }
+  const rows = [...reversed.map((bookingArg) => ({ ...rowOfBooking(bookingArg), generalumkehr: true })), ...added];
+  const file = fileOfRows(rows, optionsArg.header, optionsArg.filename);
+  // the rows booked anew as the correction file states them, after the reversals
+  return { ...file, reversed, added, bookingsAfter: [...kept, ...file.bookings.slice(reversed.length)] };
 };