edfcore 0.1.0

package/dist/tal/annotations.js

@@ -0,0 +1,437 @@
+/**
+ * `decodeAnnotations`: TALs plus EDF+ semantics.
+ *
+ * Layer 3. Sole owner of timekeeping extraction and of the annotation sort. The byte grammar
+ * lives in `grammar.ts`; everything here is about which TAL means what.
+ *
+ * Three rules the rest of the library depends on:
+ *
+ * 1. The FIRST TAL of the FIRST annotation signal of the file is that record's timekeeping TAL.
+ *    "First" is a position, not "the first one that parsed", and "first annotation signal" is
+ *    `header.annotationSignalIndices[0]` — not the first signal this call was asked for. An
+ *    additional annotation signal carries NO timekeeping TAL, and stripping its first TAL would
+ *    silently delete a real event.
+ * 2. `recordOnsetTicks` has one entry for EVERY record in the decoded range, always. A record
+ *    whose timekeeping TAL is missing gets the derived onset `start + recordIndex * duration`
+ *    rather than a hole or a sentinel, and `TIMEKEEPING_TAL_MISSING` carries the record index so
+ *    the derivation is never invisible. Every timeline in edfcore is built from this array.
+ * 3. Onsets are exposed under both conventions as separately named fields, never as an option:
+ *    `onsetSecondsFromHeaderStart` is the verbatim on-disk value and
+ *    `onsetSecondsFromFirstRecord` is rebased to record 0's true start. `onsetTicks` is exact
+ *    and is the only one worth comparing.
+ *
+ * Diagnostic volume is bounded on purpose, by one test: does another occurrence of this code
+ * carry information available nowhere else? `TIMEKEEPING_TAL_MISSING` does — it names a record
+ * whose onset was derived — so it is reported per record. `NEGATIVE_ANNOTATION_ONSET` and
+ * `TIMEKEEPING_TAL_NONCONFORMANT` do not: the onsets are in the result and the shorthand is a
+ * property of the writer, so they are reported once per call. The grammar's own defects are
+ * deduplicated per region and carry an occurrence count.
+ *
+ * Record-onset spacing and monotonicity are deliberately NOT checked here. This module produces
+ * `recordOnsetTicks`; `time/timeline.ts` owns enforcing what a valid timeline is, and splitting
+ * that would give one rule two owners.
+ */
+import { sliceBytes } from '../bytes/view.js';
+import { TICKS_PER_SECOND } from '../constants.js';
+import { DiagnosticSink } from '../diagnostics/collector.js';
+import { EdfRangeError } from '../errors.js';
+import { parseTalRegion, previewBytes, splitChannelLabel, TAL_PREVIEW_MAX_BYTES, } from './grammar.js';
+import { ticksToSeconds } from './ticks.js';
+const ANNOTATIONS_SPEC = "EDF+ specification 2.2 (the 'EDF Annotations' signal)";
+const TIMEKEEPING_SPEC = 'EDF+ specification 2.2.1 (time keeping of data records)';
+const ONSET_SPEC = 'EDF+ specification 2.2.4 (onsets are relative to the startdate/starttime)';
+const ISSUE_RULES = {
+    TAL_MALFORMED: 'a TAL is Onset [ 0x15 Duration ] 0x14 *( Text 0x14 ) 0x00, the onset carries a mandatory ' +
+        'sign and the duration never does',
+    TAL_TRUNCATED_AT_REGION_END: 'a TAL is contained in its own annotation region; the bytes past the region are the next ' +
+        "signal's samples",
+    TAL_REGION_NOT_NUL_TERMINATED: 'the bytes after the last TAL of a region are all 0x00',
+    ANNOTATION_TEXT_NOT_UTF8: 'annotation text is UTF-8',
+};
+const ISSUE_NEXT_STEPS = {
+    TAL_MALFORMED: 'the rest of the region and the rest of the file were kept; hexdump the file at the byte ' +
+        'offset above to see what the writer emitted',
+    TAL_TRUNCATED_AT_REGION_END: "check the writer's samplesPerRecord for this annotation signal — a region too small for " +
+        'the TALs written into it is the usual cause',
+    TAL_REGION_NOT_NUL_TERMINATED: 'hexdump the file at the byte offset above; trailing bytes from an earlier, longer record ' +
+        'mean the writer reused a buffer without clearing it',
+    ANNOTATION_TEXT_NOT_UTF8: 'the affected annotations report textEncoding "latin-1-fallback", so you can re-decode the ' +
+        'bytes yourself if the writer used another code page',
+};
+const ISSUE_SPEC_REFERENCES = {
+    TAL_MALFORMED: ANNOTATIONS_SPEC,
+    TAL_TRUNCATED_AT_REGION_END: ANNOTATIONS_SPEC,
+    TAL_REGION_NOT_NUL_TERMINATED: ANNOTATIONS_SPEC,
+    ANNOTATION_TEXT_NOT_UTF8: ANNOTATIONS_SPEC,
+};
+/** Enough of a region to show what went wrong, without copying a 60 KB region per diagnostic. */
+const RAW_EVIDENCE_MAX_BYTES = TAL_PREVIEW_MAX_BYTES;
+/**
+ * A `BigInt64Array` wraps silently on assignment, so a derived onset is saturated rather than
+ * wrapped. Reaching either bound needs a declared geometry that is already impossible (~29,000
+ * years of records); saturating keeps the array non-decreasing where wrapping would invert it.
+ */
+const INT64_MIN = -(2n ** 63n);
+const INT64_MAX = 2n ** 63n - 1n;
+function saturateToInt64(ticks) {
+    if (ticks > INT64_MAX)
+        return INT64_MAX;
+    if (ticks < INT64_MIN)
+        return INT64_MIN;
+    return ticks;
+}
+function describeRange(range) {
+    return `{ start: ${range.start}, count: ${range.count} }`;
+}
+function assertRecordRange(header, recordBytes, records) {
+    const available = { start: 0, count: header.recordCount };
+    const validIndices = Number.isSafeInteger(records.start) &&
+        records.start >= 0 &&
+        Number.isSafeInteger(records.count) &&
+        records.count >= 0;
+    if (!validIndices || records.start + records.count > header.recordCount) {
+        throw new EdfRangeError(`decodeAnnotations(): records ${describeRange(records)} is not inside the ` +
+            `${header.recordCount} records this file has. ` +
+            `Next: clamp the range to [0, ${header.recordCount}).`, { requested: records, available });
+    }
+    const expected = records.count * header.recordByteLength;
+    if (recordBytes.length !== expected) {
+        const whole = header.recordByteLength > 0 ? Math.floor(recordBytes.length / header.recordByteLength) : 0;
+        throw new EdfRangeError(`decodeAnnotations(): recordBytes is ${recordBytes.length} bytes, but records ` +
+            `${describeRange(records)} of this file is exactly ${expected} bytes ` +
+            `(${records.count} x ${header.recordByteLength}). ` +
+            'Next: pass the buffer readRecordBytes() returned for this exact range, unsliced.', { requested: records, available: { start: records.start, count: whole } });
+    }
+}
+/**
+ * The annotation signals to read, ascending and deduplicated.
+ *
+ * A non-annotation index is refused with a plain `RangeError`, not an `EdfError`: parsing a data
+ * signal's samples as text is exactly the garbage this module exists to prevent, and it can only
+ * happen through a caller's mistake, never through a file's.
+ */
+function resolveSignals(header, requested) {
+    const indices = requested ?? header.annotationSignalIndices;
+    const seen = new Set();
+    const signals = [];
+    for (const index of indices) {
+        if (seen.has(index))
+            continue;
+        seen.add(index);
+        const signal = header.signals[index];
+        if (signal === undefined || signal.kind !== 'annotations') {
+            throw new RangeError(`decodeAnnotations(): signal ${index} is not an annotation signal. This file's ` +
+                `annotation signals are [${header.annotationSignalIndices.join(', ')}]. ` +
+                'Next: pass one of those, or omit signalIndices to read them all.');
+        }
+        signals.push(signal);
+    }
+    return signals.sort((a, b) => a.index - b.index);
+}
+function reportIssue(sink, context, issue) {
+    const repeats = issue.occurrences > 1
+        ? ` (${issue.occurrences} occurrences in this region; the first is described)`
+        : '';
+    const evidenceLength = Math.min(issue.byteLength, RAW_EVIDENCE_MAX_BYTES);
+    sink.report({
+        code: issue.code,
+        message: `annotation region of signal ${context.signal.index} ("${context.signal.label}") in ` +
+            `record ${context.recordIndex}: ${issue.detail}${repeats}. ` +
+            `Bytes at that offset: "${issue.raw}". Rule: ${ISSUE_RULES[issue.code]}. ` +
+            `Next: ${ISSUE_NEXT_STEPS[issue.code]}.`,
+        field: 'annotation region',
+        byteOffset: context.fileOffset + issue.byteOffsetInRegion,
+        byteLength: issue.byteLength,
+        rawBytes: sliceBytes(context.bytes, context.offset + issue.byteOffsetInRegion, evidenceLength),
+        raw: issue.raw,
+        signalIndex: context.signal.index,
+        recordIndex: context.recordIndex,
+        specReference: ISSUE_SPEC_REFERENCES[issue.code],
+    });
+}
+function reportTimekeepingMissing(sink, context) {
+    const shown = Math.min(context.signal.recordByteLength, RAW_EVIDENCE_MAX_BYTES);
+    sink.report({
+        code: 'TIMEKEEPING_TAL_MISSING',
+        message: `record ${context.recordIndex} has no timekeeping TAL: the first TAL slot of annotation ` +
+            `signal ${context.signal.index} ("${context.signal.label}") is empty or did not parse. ` +
+            `Region starts with: "${previewBytes(context.bytes, context.offset, shown)}". ` +
+            'Rule: the first TAL of the first annotation signal of every data record gives that ' +
+            "record's start relative to the file start, and carries no text. " +
+            `Next: this record's onset was derived as start + ${context.recordIndex} x ` +
+            'recordDuration and is in recordOnsetTicks; treat times inside it as nominal, and run ' +
+            'validateRecording() to see how many records are affected.',
+        field: 'timekeeping TAL',
+        byteOffset: context.fileOffset,
+        byteLength: context.signal.recordByteLength,
+        rawBytes: sliceBytes(context.bytes, context.offset, shown),
+        signalIndex: context.signal.index,
+        recordIndex: context.recordIndex,
+        specReference: TIMEKEEPING_SPEC,
+    });
+}
+/**
+ * What is non-conformant about a timekeeping TAL, or `undefined` when it is exactly
+ * `+onset 0x14 0x14 0x00`.
+ *
+ * Zero texts is the widespread `+t 0x14 0x00` shorthand. EDFlib rejects that file outright; we
+ * treat "zero texts" and "one empty text" as the same thing and keep going, because the onset is
+ * unambiguous either way and refusing the file would refuse a large part of the real corpus.
+ */
+function timekeepingDefect(tal) {
+    if (tal.durationRaw !== undefined) {
+        return `carries the duration "${tal.durationRaw}", which a timekeeping TAL never has`;
+    }
+    if (tal.texts.length === 0) {
+        return ('omits the mandatory empty text and is written "+onset 0x14 0x00" — the widespread ' +
+            'shorthand, which EDFlib rejects outright');
+    }
+    const texts = tal.texts.map((run) => run.text).filter((text) => text.length > 0);
+    if (texts.length > 0) {
+        return (`carries the text ${texts.map((text) => `"${text}"`).join(', ')}, which is dropped: the ` +
+            'timekeeping TAL is not an annotation');
+    }
+    if (tal.texts.length > 1) {
+        return `carries ${tal.texts.length} empty texts, where the grammar allows exactly one`;
+    }
+    return undefined;
+}
+function reportTimekeepingDefect(sink, context, tal, defect) {
+    sink.report({
+        code: 'TIMEKEEPING_TAL_NONCONFORMANT',
+        message: `the timekeeping TAL of record ${context.recordIndex} (annotation signal ` +
+            `${context.signal.index}, onset "${tal.onsetRaw}") ${defect}. ` +
+            'Rule: a timekeeping TAL is written "+onset 0x14 0x14 0x00" — one signed onset, no ' +
+            'duration, one empty text. ' +
+            "Next: the onset was used as this record's start and the file was kept; this is " +
+            'reported once per decodeAnnotations() call, so later records are not re-reported.',
+        field: 'timekeeping TAL',
+        byteOffset: context.fileOffset + tal.byteOffsetInRegion,
+        byteLength: tal.byteLength,
+        raw: tal.onsetRaw,
+        signalIndex: context.signal.index,
+        recordIndex: context.recordIndex,
+        specReference: TIMEKEEPING_SPEC,
+    });
+}
+function reportNegativeOnset(sink, context, tal) {
+    sink.report({
+        code: 'NEGATIVE_ANNOTATION_ONSET',
+        message: `annotation onset "${tal.onsetRaw}" in record ${context.recordIndex} (signal ` +
+            `${context.signal.index}) is negative: ${ticksToSeconds(tal.onsetTicks)} s before ` +
+            'the file start. ' +
+            'Rule: EDF+ allows a negative onset and it is how a pre-stimulus event is written, so ' +
+            'this is information, not a warning. ' +
+            'Next: nothing to fix — compare event times with onsetTicks, which is exact and signed. ' +
+            'Reported once per decodeAnnotations() call.',
+        field: 'annotation onset',
+        byteOffset: context.fileOffset + tal.byteOffsetInRegion,
+        byteLength: tal.byteLength,
+        raw: tal.onsetRaw,
+        signalIndex: context.signal.index,
+        recordIndex: context.recordIndex,
+        specReference: ONSET_SPEC,
+    });
+}
+/**
+ * The pinned total order: onset, then signal, then byte offset in the record, then insertion
+ * order. The last key is what makes it total — two annotations in different records can share
+ * all three of the others — and it is spelled out rather than left to `Array.prototype.sort`
+ * being stable, because a test pins this order.
+ */
+function compareAnnotations(a, b) {
+    if (a.onsetTicks !== b.onsetTicks)
+        return a.onsetTicks < b.onsetTicks ? -1 : 1;
+    if (a.signalIndex !== b.signalIndex)
+        return a.signalIndex - b.signalIndex;
+    if (a.byteOffsetInRecord !== b.byteOffsetInRecord) {
+        return a.byteOffsetInRecord - b.byteOffsetInRecord;
+    }
+    return a.order - b.order;
+}
+export function decodeAnnotations(header, recordBytes, records, options) {
+    assertRecordRange(header, recordBytes, records);
+    const sink = new DiagnosticSink(options);
+    const signals = resolveSignals(header, options?.signalIndices);
+    // Timekeeping belongs to the file's first annotation signal, not to the first one this call
+    // was asked for: an additional annotation signal's first TAL is an ordinary annotation. A call
+    // that leaves that signal out reads no timekeeping at all, and every recordOnsetTicks entry is
+    // then the nominal grid — silence the caller asked for, not a missing TAL.
+    const timekeepingSignalIndex = header.annotationSignalIndices[0];
+    const durationTicks = header.recordDurationTicks;
+    const observedOnsets = new Array(records.count).fill(undefined);
+    const pending = [];
+    let firstObserved;
+    let negativeOnsetReported = false;
+    let timekeepingDefectReported = false;
+    for (let position = 0; position < records.count; position += 1) {
+        const recordIndex = records.start + position;
+        const recordOffset = position * header.recordByteLength;
+        for (const signal of signals) {
+            const context = {
+                signal,
+                recordIndex,
+                bytes: recordBytes,
+                offset: recordOffset + signal.recordByteOffset,
+                fileOffset: header.headerByteLength + recordIndex * header.recordByteLength + signal.recordByteOffset,
+            };
+            const parse = parseTalRegion(recordBytes, context.offset, signal.recordByteLength);
+            for (const issue of parse.issues)
+                reportIssue(sink, context, issue);
+            const first = parse.tals[0];
+            const timekeeping = signal.index === timekeepingSignalIndex && first !== undefined && first.ordinal === 0
+                ? first
+                : undefined;
+            if (signal.index === timekeepingSignalIndex) {
+                if (timekeeping === undefined) {
+                    reportTimekeepingMissing(sink, context);
+                }
+                else {
+                    observedOnsets[position] = timekeeping.onsetTicks;
+                    firstObserved ??= {
+                        recordIndex,
+                        ticks: timekeeping.onsetTicks,
+                        raw: timekeeping.onsetRaw,
+                    };
+                    const defect = timekeepingDefect(timekeeping);
+                    if (defect !== undefined && !timekeepingDefectReported) {
+                        timekeepingDefectReported = true;
+                        reportTimekeepingDefect(sink, context, timekeeping, defect);
+                    }
+                }
+            }
+            for (const tal of parse.tals) {
+                if (tal === timekeeping)
+                    continue;
+                for (const run of tal.texts) {
+                    // An empty run is structure, not an event: it is how the grammar terminates a
+                    // timestamp, and every record would otherwise carry a phantom annotation.
+                    if (run.text.length === 0)
+                        continue;
+                    const parts = splitChannelLabel(run.text);
+                    const annotation = {
+                        onsetTicks: tal.onsetTicks,
+                        onsetRaw: tal.onsetRaw,
+                        durationTicks: tal.durationTicks,
+                        durationRaw: tal.durationRaw,
+                        text: parts.text,
+                        channelLabel: parts.channelLabel,
+                        signalIndex: signal.index,
+                        recordIndex,
+                        byteOffsetInRecord: signal.recordByteOffset + run.byteOffsetInRegion,
+                        textEncoding: run.encoding,
+                        order: pending.length,
+                    };
+                    pending.push(annotation);
+                    if (annotation.onsetTicks < 0n && !negativeOnsetReported) {
+                        negativeOnsetReported = true;
+                        reportNegativeOnset(sink, context, tal);
+                    }
+                }
+            }
+        }
+    }
+    // Record 0's onset, observed when it was decoded and derived from the first record that was
+    // otherwise. For a continuous file the derivation is exact; see the rebasing note below.
+    const baseTicks = firstObserved === undefined
+        ? 0n
+        : firstObserved.ticks - BigInt(firstObserved.recordIndex) * durationTicks;
+    const recordOnsetTicks = new BigInt64Array(records.count);
+    for (let position = 0; position < records.count; position += 1) {
+        const observed = observedOnsets[position];
+        recordOnsetTicks[position] =
+            observed ?? saturateToInt64(baseTicks + BigInt(records.start + position) * durationTicks);
+    }
+    const startOffsetTicks = resolveStartOffsetTicks(sink, header, records, recordOnsetTicks, baseTicks, firstObserved);
+    pending.sort(compareAnnotations);
+    const annotations = pending.map((item) => ({
+        onsetSecondsFromHeaderStart: ticksToSeconds(item.onsetTicks),
+        onsetSecondsFromFirstRecord: ticksToSeconds(item.onsetTicks - startOffsetTicks),
+        onsetTicks: item.onsetTicks,
+        onsetRaw: item.onsetRaw,
+        durationSeconds: item.durationTicks === undefined ? undefined : ticksToSeconds(item.durationTicks),
+        durationTicks: item.durationTicks,
+        durationRaw: item.durationRaw,
+        text: item.text,
+        channelLabel: item.channelLabel,
+        signalIndex: item.signalIndex,
+        recordIndex: item.recordIndex,
+        byteOffsetInRecord: item.byteOffsetInRecord,
+        textEncoding: item.textEncoding,
+    }));
+    return {
+        annotations: Object.freeze(annotations),
+        recordOnsetTicks,
+        diagnostics: sink.diagnostics,
+    };
+}
+/**
+ * Record 0's true start, which is what `onsetSecondsFromFirstRecord` is rebased by.
+ *
+ * When the range starts at record 0 the value is read from the file and used as written, even if
+ * it is outside the [0, 1) second the spec allows — it is still that record's start.
+ *
+ * When the range starts later, record 0's onset is not in the bytes we were given, so it is
+ * derived as `onset(first decoded record) - recordIndex * recordDuration`. That is exact for a
+ * continuous file and wrong by the elapsed gaps for an EDF+D one, so the derived value is used
+ * only when it lands inside [0, 1) — where a gap cannot hide, unless it is itself shorter than a
+ * second. Otherwise rebasing is switched off and the two onset conventions become equal.
+ *
+ * A derivation that lands outside [0, 1) is only *reported* for a file that claims to be
+ * continuous, where `onset(r) = start + r * duration` must hold and a violation is the file's
+ * fault. On an EDF+D file it is the expected outcome of not decoding from record 0, and a
+ * diagnostic there would make `strict` reject every conformant discontinuous recording — the
+ * record-index probes read exactly one late record.
+ */
+function resolveStartOffsetTicks(sink, header, records, recordOnsetTicks, baseTicks, firstObserved) {
+    if (records.count === 0)
+        return 0n;
+    const origin = firstObserved === undefined
+        ? 'no timekeeping TAL was found in the decoded range'
+        : firstObserved.recordIndex === 0
+            ? `raw timekeeping onset "${firstObserved.raw}"`
+            : `derived from record ${firstObserved.recordIndex}, timekeeping onset ` +
+                `"${firstObserved.raw}"`;
+    if (records.start === 0) {
+        const onset = recordOnsetTicks[0] ?? 0n;
+        if (onset < 0n || onset >= TICKS_PER_SECOND) {
+            sink.report({
+                code: 'START_OFFSET_OUT_OF_RANGE',
+                message: `record 0 starts ${ticksToSeconds(onset)} s after the header start time, but a ` +
+                    'sub-second start offset must be in [0, 1). ' +
+                    `Origin: ${origin}. ` +
+                    "Rule: the onset of the first record's timekeeping TAL is the recording's sub-second " +
+                    'start offset, and the whole-second part of the start time lives in the header. ' +
+                    'Next: the value was used as written; compare it with the header starttime field, ' +
+                    'because a writer that encodes the start time twice produces exactly this.',
+                field: 'timekeeping TAL',
+                raw: firstObserved?.raw ?? '',
+                recordIndex: 0,
+                specReference: TIMEKEEPING_SPEC,
+            });
+        }
+        return onset;
+    }
+    if (baseTicks >= 0n && baseTicks < TICKS_PER_SECOND)
+        return baseTicks;
+    if (header.continuity === 'continuous') {
+        sink.report({
+            code: 'START_OFFSET_OUT_OF_RANGE',
+            message: `the decoded range starts at record ${records.start}, so record 0's start offset had ` +
+                `to be derived (${origin}); the derived value ${ticksToSeconds(baseTicks)} s is outside ` +
+                '[0, 1), which a continuous file cannot produce — its record onsets are start + ' +
+                'recordIndex * recordDuration by definition. ' +
+                "Rule: the onset of record 0's timekeeping TAL is the recording's sub-second start " +
+                'offset, and it is the only correct rebasing origin. ' +
+                'Next: onsetSecondsFromFirstRecord equals onsetSecondsFromHeaderStart for this call; ' +
+                'the file is either discontinuous while claiming EDF+C, or its record onsets drift — ' +
+                'buildRecordIndex() will say which.',
+            field: 'timekeeping TAL',
+            raw: firstObserved?.raw ?? '',
+            recordIndex: records.start,
+            specReference: TIMEKEEPING_SPEC,
+        });
+    }
+    return 0n;
+}
+//# sourceMappingURL=annotations.js.map

package/dist/tal/annotations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"annotations.js","sourceRoot":"","sources":["../../src/tal/annotations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAS7C,OAAO,EAEL,cAAc,EACd,YAAY,EACZ,iBAAiB,EACjB,qBAAqB,GAItB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C,MAAM,gBAAgB,GAAG,uDAAuD,CAAC;AACjF,MAAM,gBAAgB,GAAG,yDAAyD,CAAC;AACnF,MAAM,UAAU,GAAG,2EAA2E,CAAC;AAE/F,MAAM,WAAW,GAA2C;IAC1D,aAAa,EACX,2FAA2F;QAC3F,kCAAkC;IACpC,2BAA2B,EACzB,0FAA0F;QAC1F,kBAAkB;IACpB,6BAA6B,EAAE,uDAAuD;IACtF,wBAAwB,EAAE,0BAA0B;CACrD,CAAC;AAEF,MAAM,gBAAgB,GAA2C;IAC/D,aAAa,EACX,0FAA0F;QAC1F,6CAA6C;IAC/C,2BAA2B,EACzB,0FAA0F;QAC1F,6CAA6C;IAC/C,6BAA6B,EAC3B,2FAA2F;QAC3F,qDAAqD;IACvD,wBAAwB,EACtB,4FAA4F;QAC5F,qDAAqD;CACxD,CAAC;AAEF,MAAM,qBAAqB,GAA2C;IACpE,aAAa,EAAE,gBAAgB;IAC/B,2BAA2B,EAAE,gBAAgB;IAC7C,6BAA6B,EAAE,gBAAgB;IAC/C,wBAAwB,EAAE,gBAAgB;CAC3C,CAAC;AAEF,iGAAiG;AACjG,MAAM,sBAAsB,GAAG,qBAAqB,CAAC;AAuCrD;;;;GAIG;AACH,MAAM,SAAS,GAAW,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC;AACvC,MAAM,SAAS,GAAW,EAAE,IAAI,GAAG,GAAG,EAAE,CAAC;AAEzC,SAAS,eAAe,CAAC,KAAa;IACpC,IAAI,KAAK,GAAG,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,IAAI,KAAK,GAAG,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,KAAkB;IACvC,OAAO,YAAY,KAAK,CAAC,KAAK,YAAY,KAAK,CAAC,KAAK,IAAI,CAAC;AAC5D,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAiB,EAAE,WAAuB,EAAE,OAAoB;IACzF,MAAM,SAAS,GAAgB,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;IACvE,MAAM,YAAY,GAChB,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC;QACnC,OAAO,CAAC,KAAK,IAAI,CAAC;QAClB,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC;QACnC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC;IACrB,IAAI,CAAC,YAAY,IAAI,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QACxE,MAAM,IAAI,aAAa,CACrB,gCAAgC,aAAa,CAAC,OAAO,CAAC,qBAAqB;YACzE,GAAG,MAAM,CAAC,WAAW,0BAA0B;YAC/C,gCAAgC,MAAM,CAAC,WAAW,IAAI,EACxD,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,CAClC,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,GAAG,MAAM,CAAC,gBAAgB,CAAC;IACzD,IAAI,WAAW,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACpC,MAAM,KAAK,GACT,MAAM,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7F,MAAM,IAAI,aAAa,CACrB,uCAAuC,WAAW,CAAC,MAAM,sBAAsB;YAC7E,GAAG,aAAa,CAAC,OAAO,CAAC,4BAA4B,QAAQ,SAAS;YACtE,IAAI,OAAO,CAAC,KAAK,MAAM,MAAM,CAAC,gBAAgB,KAAK;YACnD,kFAAkF,EACpF,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAC1E,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,cAAc,CACrB,MAAiB,EACjB,SAAwC;IAExC,MAAM,OAAO,GAAG,SAAS,IAAI,MAAM,CAAC,uBAAuB,CAAC;IAC5D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAAgB,EAAE,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QAC9B,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC1D,MAAM,IAAI,UAAU,CAClB,+BAA+B,KAAK,4CAA4C;gBAC9E,2BAA2B,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;gBACzE,kEAAkE,CACrE,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,WAAW,CAAC,IAAoB,EAAE,OAAsB,EAAE,KAAe;IAChF,MAAM,OAAO,GACX,KAAK,CAAC,WAAW,GAAG,CAAC;QACnB,CAAC,CAAC,KAAK,KAAK,CAAC,WAAW,sDAAsD;QAC9E,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,sBAAsB,CAAC,CAAC;IAC1E,IAAI,CAAC,MAAM,CAAC;QACV,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,OAAO,EACL,+BAA+B,OAAO,CAAC,MAAM,CAAC,KAAK,MAAM,OAAO,CAAC,MAAM,CAAC,KAAK,QAAQ;YACrF,UAAU,OAAO,CAAC,WAAW,KAAK,KAAK,CAAC,MAAM,GAAG,OAAO,IAAI;YAC5D,0BAA0B,KAAK,CAAC,GAAG,YAAY,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI;YAC1E,SAAS,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG;QAC1C,KAAK,EAAE,mBAAmB;QAC1B,UAAU,EAAE,OAAO,CAAC,UAAU,GAAG,KAAK,CAAC,kBAAkB;QACzD,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,kBAAkB,EAAE,cAAc,CAAC;QAC9F,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK;QACjC,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,aAAa,EAAE,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC;KACjD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAoB,EAAE,OAAsB;IAC5E,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,gBAAgB,EAAE,sBAAsB,CAAC,CAAC;IAChF,IAAI,CAAC,MAAM,CAAC;QACV,IAAI,EAAE,yBAAyB;QAC/B,OAAO,EACL,UAAU,OAAO,CAAC,WAAW,4DAA4D;YACzF,UAAU,OAAO,CAAC,MAAM,CAAC,KAAK,MAAM,OAAO,CAAC,MAAM,CAAC,KAAK,gCAAgC;YACxF,wBAAwB,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK;YAC/E,qFAAqF;YACrF,kEAAkE;YAClE,oDAAoD,OAAO,CAAC,WAAW,KAAK;YAC5E,uFAAuF;YACvF,2DAA2D;QAC7D,KAAK,EAAE,iBAAiB;QACxB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,gBAAgB;QAC3C,QAAQ,EAAE,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC;QAC1D,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK;QACjC,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,aAAa,EAAE,gBAAgB;KAChC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,iBAAiB,CAAC,GAAc;IACvC,IAAI,GAAG,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,yBAAyB,GAAG,CAAC,WAAW,sCAAsC,CAAC;IACxF,CAAC;IACD,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,CACL,oFAAoF;YACpF,0CAA0C,CAC3C,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACjF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO,CACL,oBAAoB,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,0BAA0B;YACzF,sCAAsC,CACvC,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,WAAW,GAAG,CAAC,KAAK,CAAC,MAAM,oDAAoD,CAAC;IACzF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAoB,EACpB,OAAsB,EACtB,GAAc,EACd,MAAc;IAEd,IAAI,CAAC,MAAM,CAAC;QACV,IAAI,EAAE,+BAA+B;QACrC,OAAO,EACL,iCAAiC,OAAO,CAAC,WAAW,sBAAsB;YAC1E,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,YAAY,GAAG,CAAC,QAAQ,MAAM,MAAM,IAAI;YAC/D,oFAAoF;YACpF,4BAA4B;YAC5B,iFAAiF;YACjF,mFAAmF;QACrF,KAAK,EAAE,iBAAiB;QACxB,UAAU,EAAE,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC,kBAAkB;QACvD,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,GAAG,EAAE,GAAG,CAAC,QAAQ;QACjB,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK;QACjC,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,aAAa,EAAE,gBAAgB;KAChC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAoB,EAAE,OAAsB,EAAE,GAAc;IACvF,IAAI,CAAC,MAAM,CAAC;QACV,IAAI,EAAE,2BAA2B;QACjC,OAAO,EACL,qBAAqB,GAAG,CAAC,QAAQ,eAAe,OAAO,CAAC,WAAW,WAAW;YAC9E,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,kBAAkB,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,YAAY;YACnF,kBAAkB;YAClB,uFAAuF;YACvF,sCAAsC;YACtC,yFAAyF;YACzF,6CAA6C;QAC/C,KAAK,EAAE,kBAAkB;QACzB,UAAU,EAAE,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC,kBAAkB;QACvD,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,GAAG,EAAE,GAAG,CAAC,QAAQ;QACjB,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK;QACjC,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,aAAa,EAAE,UAAU;KAC1B,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,CAAoB,EAAE,CAAoB;IACpE,IAAI,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU;QAAE,OAAO,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW;QAAE,OAAO,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC;IAC1E,IAAI,CAAC,CAAC,kBAAkB,KAAK,CAAC,CAAC,kBAAkB,EAAE,CAAC;QAClD,OAAO,CAAC,CAAC,kBAAkB,GAAG,CAAC,CAAC,kBAAkB,CAAC;IACrD,CAAC;IACD,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,MAAiB,EACjB,WAAuB,EACvB,OAAoB,EACpB,OAAkC;IAElC,iBAAiB,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAEhD,MAAM,IAAI,GAAG,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IAC/D,4FAA4F;IAC5F,+FAA+F;IAC/F,+FAA+F;IAC/F,2EAA2E;IAC3E,MAAM,sBAAsB,GAAG,MAAM,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,MAAM,CAAC,mBAAmB,CAAC;IAEjD,MAAM,cAAc,GAAG,IAAI,KAAK,CAAqB,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACpF,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,IAAI,aAAwC,CAAC;IAC7C,IAAI,qBAAqB,GAAG,KAAK,CAAC;IAClC,IAAI,yBAAyB,GAAG,KAAK,CAAC;IAEtC,KAAK,IAAI,QAAQ,GAAG,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAC,KAAK,EAAE,QAAQ,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,GAAG,QAAQ,CAAC;QAC7C,MAAM,YAAY,GAAG,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC;QAExD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAkB;gBAC7B,MAAM;gBACN,WAAW;gBACX,KAAK,EAAE,WAAW;gBAClB,MAAM,EAAE,YAAY,GAAG,MAAM,CAAC,gBAAgB;gBAC9C,UAAU,EACR,MAAM,CAAC,gBAAgB,GAAG,WAAW,GAAG,MAAM,CAAC,gBAAgB,GAAG,MAAM,CAAC,gBAAgB;aAC5F,CAAC;YACF,MAAM,KAAK,GAAG,cAAc,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,gBAAgB,CAAC,CAAC;YACnF,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM;gBAAE,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YAEpE,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC5B,MAAM,WAAW,GACf,MAAM,CAAC,KAAK,KAAK,sBAAsB,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC;gBACnF,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,SAAS,CAAC;YAEhB,IAAI,MAAM,CAAC,KAAK,KAAK,sBAAsB,EAAE,CAAC;gBAC5C,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;oBAC9B,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC1C,CAAC;qBAAM,CAAC;oBACN,cAAc,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,UAAU,CAAC;oBAClD,aAAa,KAAK;wBAChB,WAAW;wBACX,KAAK,EAAE,WAAW,CAAC,UAAU;wBAC7B,GAAG,EAAE,WAAW,CAAC,QAAQ;qBAC1B,CAAC;oBACF,MAAM,MAAM,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;oBAC9C,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,yBAAyB,EAAE,CAAC;wBACvD,yBAAyB,GAAG,IAAI,CAAC;wBACjC,uBAAuB,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;oBAC9D,CAAC;gBACH,CAAC;YACH,CAAC;YAED,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBAC7B,IAAI,GAAG,KAAK,WAAW;oBAAE,SAAS;gBAClC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;oBAC5B,8EAA8E;oBAC9E,0EAA0E;oBAC1E,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;wBAAE,SAAS;oBACpC,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAC1C,MAAM,UAAU,GAAsB;wBACpC,UAAU,EAAE,GAAG,CAAC,UAAU;wBAC1B,QAAQ,EAAE,GAAG,CAAC,QAAQ;wBACtB,aAAa,EAAE,GAAG,CAAC,aAAa;wBAChC,WAAW,EAAE,GAAG,CAAC,WAAW;wBAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,YAAY,EAAE,KAAK,CAAC,YAAY;wBAChC,WAAW,EAAE,MAAM,CAAC,KAAK;wBACzB,WAAW;wBACX,kBAAkB,EAAE,MAAM,CAAC,gBAAgB,GAAG,GAAG,CAAC,kBAAkB;wBACpE,YAAY,EAAE,GAAG,CAAC,QAAQ;wBAC1B,KAAK,EAAE,OAAO,CAAC,MAAM;qBACtB,CAAC;oBACF,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBACzB,IAAI,UAAU,CAAC,UAAU,GAAG,EAAE,IAAI,CAAC,qBAAqB,EAAE,CAAC;wBACzD,qBAAqB,GAAG,IAAI,CAAC;wBAC7B,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;oBAC1C,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,4FAA4F;IAC5F,yFAAyF;IACzF,MAAM,SAAS,GACb,aAAa,KAAK,SAAS;QACzB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,aAAa,CAAC,KAAK,GAAG,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,GAAG,aAAa,CAAC;IAE9E,MAAM,gBAAgB,GAAG,IAAI,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1D,KAAK,IAAI,QAAQ,GAAG,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAC,KAAK,EAAE,QAAQ,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;QAC1C,gBAAgB,CAAC,QAAQ,CAAC;YACxB,QAAQ,IAAI,eAAe,CAAC,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,GAAG,QAAQ,CAAC,GAAG,aAAa,CAAC,CAAC;IAC9F,CAAC;IAED,MAAM,gBAAgB,GAAG,uBAAuB,CAC9C,IAAI,EACJ,MAAM,EACN,OAAO,EACP,gBAAgB,EAChB,SAAS,EACT,aAAa,CACd,CAAC;IAEF,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACjC,MAAM,WAAW,GAAoB,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC1D,2BAA2B,EAAE,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC;QAC5D,2BAA2B,EAAE,cAAc,CAAC,IAAI,CAAC,UAAU,GAAG,gBAAgB,CAAC;QAC/E,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,eAAe,EACb,IAAI,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC;QACnF,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;QAC3C,YAAY,EAAE,IAAI,CAAC,YAAY;KAChC,CAAC,CAAC,CAAC;IAEJ,OAAO;QACL,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;QACvC,gBAAgB;QAChB,WAAW,EAAE,IAAI,CAAC,WAAW;KAC9B,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAS,uBAAuB,CAC9B,IAAoB,EACpB,MAAiB,EACjB,OAAoB,EACpB,gBAA+B,EAC/B,SAAiB,EACjB,aAAwC;IAExC,IAAI,OAAO,CAAC,KAAK,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEnC,MAAM,MAAM,GACV,aAAa,KAAK,SAAS;QACzB,CAAC,CAAC,mDAAmD;QACrD,CAAC,CAAC,aAAa,CAAC,WAAW,KAAK,CAAC;YAC/B,CAAC,CAAC,0BAA0B,aAAa,CAAC,GAAG,GAAG;YAChD,CAAC,CAAC,uBAAuB,aAAa,CAAC,WAAW,sBAAsB;gBACtE,IAAI,aAAa,CAAC,GAAG,GAAG,CAAC;IAEjC,IAAI,OAAO,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,KAAK,GAAG,EAAE,IAAI,KAAK,IAAI,gBAAgB,EAAE,CAAC;YAC5C,IAAI,CAAC,MAAM,CAAC;gBACV,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EACL,mBAAmB,cAAc,CAAC,KAAK,CAAC,wCAAwC;oBAChF,6CAA6C;oBAC7C,WAAW,MAAM,IAAI;oBACrB,sFAAsF;oBACtF,iFAAiF;oBACjF,mFAAmF;oBACnF,2EAA2E;gBAC7E,KAAK,EAAE,iBAAiB;gBACxB,GAAG,EAAE,aAAa,EAAE,GAAG,IAAI,EAAE;gBAC7B,WAAW,EAAE,CAAC;gBACd,aAAa,EAAE,gBAAgB;aAChC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,SAAS,IAAI,EAAE,IAAI,SAAS,GAAG,gBAAgB;QAAE,OAAO,SAAS,CAAC;IAEtE,IAAI,MAAM,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC;YACV,IAAI,EAAE,2BAA2B;YACjC,OAAO,EACL,sCAAsC,OAAO,CAAC,KAAK,mCAAmC;gBACtF,kBAAkB,MAAM,wBAAwB,cAAc,CAAC,SAAS,CAAC,gBAAgB;gBACzF,iFAAiF;gBACjF,8CAA8C;gBAC9C,oFAAoF;gBACpF,sDAAsD;gBACtD,sFAAsF;gBACtF,sFAAsF;gBACtF,oCAAoC;YACtC,KAAK,EAAE,iBAAiB;YACxB,GAAG,EAAE,aAAa,EAAE,GAAG,IAAI,EAAE;YAC7B,WAAW,EAAE,OAAO,CAAC,KAAK;YAC1B,aAAa,EAAE,gBAAgB;SAChC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC"}

package/dist/tal/grammar.d.ts

@@ -0,0 +1,111 @@
+/**
+ * The byte-level TAL state machine.
+ *
+ * Layer 3. Sole owner of turning ONE annotation region into time-stamped annotation lists.
+ * `annotations.ts` adds provenance and EDF+ semantics on top; nothing here knows about records,
+ * signals, or timekeeping.
+ *
+ * Two rules define the module, and both are where other EDF readers go wrong:
+ *
+ * 1. Parsing is HARD-BOUNDED to `[regionStart, regionStart + regionBytes)`. A TAL with no
+ *    terminating 0x00 inside the region is discarded, never continued past the bound — the bytes
+ *    after it are the next signal's samples, and parsing those is how a reader invents
+ *    annotations that are not in the file.
+ * 2. The region is split on the STRUCTURAL bytes (0x00, 0x14, 0x15) FIRST and each text run is
+ *    decoded as UTF-8 LAST. That order is safe in exactly one direction: every byte of a
+ *    multi-byte UTF-8 sequence is >= 0x80 and can never collide with a structural byte, while a
+ *    string that has already been decoded can no longer be split on bytes at all.
+ *
+ * `src/tal/` is the only part of edfcore allowed to use `TextDecoder`, and only for annotation
+ * text. Header bytes go through `decodeHeaderLatin1`, for the cross-runtime reason documented in
+ * `src/bytes/latin1.ts`.
+ *
+ * Each defect is reported at most once per region, with an occurrence count: a corrupt region
+ * can hold thousands of malformed TALs, and one diagnostic per TAL would be an unbounded
+ * allocation dressed up as diligence. Nothing is hidden — `occurrences` says how many there were.
+ */
+export type TalTextEncoding = 'utf-8' | 'latin-1-fallback';
+/** One text run of a TAL: the bytes between two 0x14 separators, decoded. */
+export interface TalText {
+    /** Verbatim. Never trimmed, never case-folded, and a BOM is kept as a character. */
+    readonly text: string;
+    readonly encoding: TalTextEncoding;
+    readonly byteOffsetInRegion: number;
+    readonly byteLength: number;
+}
+/** The subset of the diagnostic vocabulary this module can observe. */
+export type TalIssueCode = 'TAL_MALFORMED' | 'TAL_TRUNCATED_AT_REGION_END' | 'TAL_REGION_NOT_NUL_TERMINATED' | 'ANNOTATION_TEXT_NOT_UTF8';
+/**
+ * One defect, described once per region.
+ *
+ * `detail` states what was wrong AND what was done about it, because the disposition differs
+ * per defect: a missing onset sign keeps the annotation, a missing duration discards it.
+ */
+export interface TalIssue {
+    readonly code: TalIssueCode;
+    /** Of the first occurrence. Relative to the region start. */
+    readonly byteOffsetInRegion: number;
+    readonly byteLength: number;
+    /** Occurrences in this region. Only the first is described. */
+    readonly occurrences: number;
+    readonly detail: string;
+    /** The first occurrence's bytes, escaped and truncated, for the diagnostic message. */
+    readonly raw: string;
+}
+/** One TAL that survived parsing. Times are exact ticks; the digits they came from are kept. */
+export interface ParsedTal {
+    /**
+     * Position of this TAL in the region, counting the ones that were skipped. Timekeeping is a
+     * property of TAL slot 0, so a record whose first TAL was malformed must not have its second
+     * TAL promoted into the timekeeping role.
+     */
+    readonly ordinal: number;
+    readonly byteOffsetInRegion: number;
+    /** Includes the terminating 0x00. */
+    readonly byteLength: number;
+    readonly onsetRaw: string;
+    readonly onsetTicks: bigint;
+    readonly durationRaw: string | undefined;
+    readonly durationTicks: bigint | undefined;
+    readonly texts: readonly TalText[];
+}
+export interface TalRegionParse {
+    readonly tals: readonly ParsedTal[];
+    readonly issues: readonly TalIssue[];
+}
+/** The two halves of the EDF+ `description@@channel` convention. */
+export interface TalTextParts {
+    /** The description exactly as written, minus a trailing `@@channel` suffix. */
+    readonly text: string;
+    readonly channelLabel: string | undefined;
+}
+/** Caps the bytes copied into a diagnostic. The full region is one hexdump from `byteOffset`. */
+export declare const TAL_PREVIEW_MAX_BYTES: number;
+/**
+ * Bytes as a short, escaped, single-line string for a diagnostic message.
+ *
+ * Latin-1 and not UTF-8 on purpose: this is evidence about bytes, so every byte must map to
+ * exactly one visible character even when the run is the invalid UTF-8 being complained about.
+ */
+export declare function previewBytes(bytes: Uint8Array, offset: number, length: number): string;
+/**
+ * Every TAL in `[regionStart, regionStart + regionBytes)`, and nothing outside it.
+ *
+ * `region = *TAL *%x00`, so a 0x00 where a TAL would start means the padding has begun. Content
+ * after that point is `TAL_REGION_NOT_NUL_TERMINATED`; parsing then RESUMES at those bytes
+ * rather than stopping, because they are still inside this signal's own region and a writer
+ * that pads between TALs would otherwise lose every annotation after the first pad. Recovery is
+ * bounded: each attempt consumes at least one byte, and a slot that does not parse is skipped
+ * to just past its 0x00.
+ */
+export declare function parseTalRegion(bytes: Uint8Array, regionStart: number, regionBytes: number): TalRegionParse;
+/**
+ * `description@@channel` split at the LAST `@@`, because the channel label is the suffix and a
+ * description is free to contain anything.
+ *
+ * A trailing `@@` with nothing after it is not a channel label: the text keeps it verbatim.
+ * `@@Fp1` with nothing before it yields an empty description and the channel — the run itself
+ * is not empty, so it is still a real annotation.
+ */
+export declare function splitChannelLabel(run: string): TalTextParts;
+//# sourceMappingURL=grammar.d.ts.map

package/dist/tal/grammar.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"grammar.d.ts","sourceRoot":"","sources":["../../src/tal/grammar.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAWH,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,kBAAkB,CAAC;AAE3D,6EAA6E;AAC7E,MAAM,WAAW,OAAO;IACtB,oFAAoF;IACpF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,uEAAuE;AACvE,MAAM,MAAM,YAAY,GACpB,eAAe,GACf,6BAA6B,GAC7B,+BAA+B,GAC/B,0BAA0B,CAAC;AAE/B;;;;;GAKG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,6DAA6D;IAC7D,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,+DAA+D;IAC/D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,uFAAuF;IACvF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,gGAAgG;AAChG,MAAM,WAAW,SAAS;IACxB;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,qCAAqC;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,CAAC;CACpC;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,SAAS,SAAS,EAAE,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,CAAC;CACtC;AAED,oEAAoE;AACpE,MAAM,WAAW,YAAY;IAC3B,+EAA+E;IAC/E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,SAAS,CAAC;CAC3C;AAED,iGAAiG;AACjG,eAAO,MAAM,qBAAqB,EAAE,MAAW,CAAC;AAiGhD;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAItF;AAyQD;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,UAAU,EACjB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,GAClB,cAAc,CAkChB;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,CAM3D"}