agentfootprint 10.3.0 → 10.3.1

package/dist/esm/semantics/coverage/period.js

@@ -0,0 +1,612 @@
+/**
+ * coverage/period — the ONE period shape a result declares, the ONE rule set
+ * every door asks, and the ONE verdict.
+ *
+ * Pattern: one rule set, every door (the `items.ts` law for `short` and
+ *          `kind`): the three mints — `absent()`, `coverage()`,
+ *          `describedResult()` — REFUSE a malformed period at the line the
+ *          author wrote, and the recognizers READ a period an envelope minted
+ *          elsewhere (a Python helper, an older or newer process) without
+ *          repairing it. Both ask {@link periodProblem}, so a mint and a read
+ *          cannot disagree about what a well-formed period is.
+ * Role:    core/ layer leaf of the result doors (honesty layer 3). Imports only
+ *          `refusal.ts`, the dev-mode flag and the time layer's one instant
+ *          parser (`time/instant.ts` · `instantOf`, lenient profile) and its
+ *          person-facing renderer (`time/present.ts`). The results layer
+ *          (`../../core/agent/results/subflow.ts`) files one verdict per call from
+ *          {@link periodVerdict}; the limits block prints one line per
+ *          declaring call from {@link periodLine}.
+ * Emits:   N/A.
+ *
+ * ## The shape — anchored on the READ
+ *
+ * ```ts
+ * period: {
+ *   queried: { from: '2026-09-26T09:00:00Z', to: '2026-09-26T10:00:00Z' }, // what the read asked for
+ *   held: { from: '2026-08-27T02:00:00Z', to: '2026-09-26T02:00:00Z' },    // what the store holds — or 'unknown'
+ *   readAt: '2026-09-26T10:00:03Z',                                         // when the read ran (optional)
+ * }
+ * // on the wire: "period": { "queried": {…}, "held": {…} | "unknown", "read_at"? }
+ * ```
+ *
+ * Every value is an ISO 8601 instant WITH a zone (`Z` or `±HH:MM`) — the
+ * library compares instants, and an instant without a zone is ambiguous, so it
+ * is refused rather than guessed. `held: 'unknown'` is the store saying out
+ * loud that it cannot vouch for what it holds. Nothing here ever parses a
+ * duration: the library compares instants the tool declared and never reads
+ * "2h" (the inputs layer's `ToolPeriod` says which ARGUMENT set the period;
+ * this shape says what the READ covered).
+ *
+ * ## Why not the word `window`, and why not a coverage item
+ *
+ * `window` names the context window (`core/agent/window/`, `.window()`). A
+ * coverage item's `kind` is a closed, record-only word: it cannot hold two
+ * instants to compare.
+ */
+import { isDevMode } from 'footprintjs';
+import { compareInstants, instantOf } from '../../time/instant.js';
+import { isPeriodDiffers, isShifted, } from '../../time/checkRecord.js';
+import { refusal, spellingMeant } from './refusal.js';
+/**
+ * The period's wire spelling as DATA — every reserved key and the one literal
+ * (`'unknown'`) — so a tool written in another language mints it byte for
+ * byte. `canonical-notes.json` publishes it, generated from this constant
+ * (`scripts/gen-canonical-notes.mjs`): the JSON cannot disagree with the code.
+ *
+ * @example
+ * ```ts
+ * PERIOD_WIRE.readAt; // 'read_at' — the one key whose wire spelling differs
+ * ```
+ */
+export const PERIOD_WIRE = Object.freeze({
+    /** The key a period sits under on `af_absent`, `af_coverage` and `af_semantics`. */
+    key: 'period',
+    queried: 'queried',
+    held: 'held',
+    from: 'from',
+    to: 'to',
+    readAt: 'read_at',
+    /** The literal `held` carries when the store cannot vouch for what it holds. */
+    heldUnknown: 'unknown',
+});
+const isPlainObject = (value) => {
+    if (typeof value !== 'object' || value === null || Array.isArray(value))
+        return false;
+    const prototype = Object.getPrototypeOf(value);
+    return prototype === Object.prototype || prototype === null;
+};
+/** The shown form of a value in a message — JSON, clipped: a message is never a copy of a document. */
+function shown(value) {
+    let text;
+    try {
+        text = JSON.stringify(value) ?? String(value);
+    }
+    catch {
+        text = String(value);
+    }
+    return text.length > 60 ? `${text.slice(0, 57)}…` : text;
+}
+const readAtKey = (s) => (s === 'camel' ? 'readAt' : 'read_at');
+/** The first unknown key of `value`, as a problem — naming the spelling meant when it is a slip. */
+function unknownKey(value, known, at) {
+    for (const key of Object.keys(value)) {
+        if (known.includes(key))
+            continue;
+        const meant = spellingMeant(key, known);
+        return {
+            field: `${at}.${key}`,
+            message: `'${at}.${key}' is not a field this vocabulary has` +
+                (meant === undefined ? '.' : ` — did you mean \`${meant}\`?`) +
+                ` The fields of \`${at}\` are: ${known.join(', ')}.`,
+        };
+    }
+    return undefined;
+}
+/** The problem with one instant field, or `undefined` when it names an instant. */
+function instantProblem(value, at) {
+    if (instantOf(value, 'lenient') !== undefined)
+        return undefined;
+    return {
+        field: at,
+        message: `\`${at}\` must be an ISO 8601 instant with a zone — e.g. '2026-09-26T08:00:00Z' or ` +
+            `'2026-09-26T10:00:00+02:00' — got ${shown(value)}. The library compares instants, and ` +
+            'one with no zone could be any of 24 hours, so it is refused rather than guessed.',
+    };
+}
+/** The problem with one `{ from, to }` span, or `undefined` when it is one. */
+function spanProblem(value, at) {
+    if (!isPlainObject(value)) {
+        return {
+            field: at,
+            message: `\`${at}\` must be { from, to } — two instants, got ${shown(value)}.`,
+        };
+    }
+    const extra = unknownKey(value, ['from', 'to'], at);
+    if (extra !== undefined)
+        return extra;
+    const bad = instantProblem(value.from, `${at}.from`) ?? instantProblem(value.to, `${at}.to`);
+    if (bad !== undefined)
+        return bad;
+    // Both parse — checked just above.
+    if (compareInstants(instantOf(value.from, 'lenient'), instantOf(value.to, 'lenient')) > 0) {
+        return {
+            field: at,
+            message: `\`${at}.from\` (${String(value.from)}) is after \`${at}.to\` (${String(value.to)}) — ` +
+                'a span runs forward.',
+        };
+    }
+    return undefined;
+}
+/**
+ * THE rule set: the first fault in a period, or `undefined` when it is well
+ * formed — asked by every mint (which refuses it) and every recognizer (which
+ * drops it from the record and serves the envelope as the tool wrote it).
+ *
+ * In order: a plain object; no key it does not have (a spelling slip names the
+ * key meant — `read_at` at a camelCase door names `readAt`); `queried` a
+ * `{ from, to }` span of instants with `from` not after `to`; `held` the
+ * literal `'unknown'` or a span by the same rule; `readAt` an instant.
+ *
+ * @example
+ * ```ts
+ * periodProblem({ queried: { from: 'yesterday', to: '2026-09-26T10:00:00Z' }, held: 'unknown' }, 'camel');
+ * // → { field: 'period.queried.from', message: '`period.queried.from` must be an ISO 8601 instant with a zone — …' }
+ * ```
+ */
+export function periodProblem(value, spelling) {
+    const readAt = readAtKey(spelling);
+    if (!isPlainObject(value)) {
+        return {
+            field: 'period',
+            message: `\`period\` must be { queried, held, ${readAt}? } — got ${shown(value)}.`,
+        };
+    }
+    const extra = unknownKey(value, ['queried', 'held', readAt], 'period');
+    if (extra !== undefined)
+        return extra;
+    if (value.queried === undefined || value.queried === null) {
+        return {
+            field: 'period.queried',
+            message: '`period.queried` must say what the read asked for — { from, to }, two instants of the ' +
+                'READ that produced this result.',
+        };
+    }
+    const queried = spanProblem(value.queried, 'period.queried');
+    if (queried !== undefined)
+        return queried;
+    if (value.held !== 'unknown') {
+        if (value.held === undefined || value.held === null) {
+            return {
+                field: 'period.held',
+                message: "`period.held` must say what the store holds — { from, to }, or 'unknown' said out " +
+                    'loud when the tool cannot vouch for it.',
+            };
+        }
+        const held = spanProblem(value.held, 'period.held');
+        if (held !== undefined) {
+            return typeof value.held === 'string'
+                ? {
+                    field: 'period.held',
+                    message: `\`period.held\` is ${shown(value.held)} — it must be { from, to } or the literal ` +
+                        "'unknown'.",
+                }
+                : held;
+        }
+    }
+    const at = value[readAt];
+    if (at !== undefined && at !== null) {
+        const bad = instantProblem(at, `period.${readAt}`);
+        if (bad !== undefined)
+            return bad;
+    }
+    return undefined;
+}
+// ─── The doors ───────────────────────────────────────────────────────────
+/**
+ * Mint the wire form from an author's (camelCase) declaration — THROWS a
+ * refusal (`refused: …`) on the first fault, at the line the author wrote (the
+ * `absent()` law). `undefined` or `null` → `undefined`: not declared. A fresh
+ * object, keys in wire order; nothing of the author's is held.
+ */
+export function mintPeriod(declared) {
+    if (declared === undefined || declared === null)
+        return undefined;
+    const problem = periodProblem(declared, 'camel');
+    if (problem !== undefined)
+        throw refusal(problem.message);
+    const period = declared;
+    return {
+        queried: { from: period.queried.from, to: period.queried.to },
+        held: period.held === 'unknown' ? 'unknown' : { from: period.held.from, to: period.held.to },
+        ...(period.readAt != null && { read_at: period.readAt }),
+    };
+}
+/**
+ * Read a wire period off a recognized envelope — never repaired. `{}` when
+ * the envelope declares none (`undefined` or `null`, a JSON producer's
+ * `None`); `{ period }` in the record's camelCase form when it is well formed;
+ * `{ problem }` when it is not, so the caller can drop it from the record and
+ * say so — the model still reads what the tool wrote.
+ */
+export function readPeriod(wire) {
+    if (wire === undefined || wire === null)
+        return {};
+    const problem = periodProblem(wire, 'wire');
+    if (problem !== undefined)
+        return { problem };
+    const onWire = wire;
+    return {
+        period: {
+            queried: { from: onWire.queried.from, to: onWire.queried.to },
+            held: onWire.held === 'unknown' ? 'unknown' : { from: onWire.held.from, to: onWire.held.to },
+            ...(onWire.read_at != null && { readAt: onWire.read_at }),
+        },
+    };
+}
+/** A declared period as detached plain data — the record's copy. */
+export function copyPeriod(period) {
+    return {
+        queried: { from: period.queried.from, to: period.queried.to },
+        held: period.held === 'unknown' ? 'unknown' : { from: period.held.from, to: period.held.to },
+        ...(period.readAt !== undefined && { readAt: period.readAt }),
+    };
+}
+/** (declaration, tool) pairs already warned about — one warning per tool per PROCESS for each (dev mode only). */
+const warnedTools = new Set();
+const MAX_WARNED = 500;
+/**
+ * Say, once per tool per process and in dev mode only, that a recognized
+ * envelope's `period` — or an absence's `provenance` — could not be read and
+ * was left off the record. The envelope itself is still recognized and served
+ * as the tool wrote it — read, never repaired (the `items.ts` ·
+ * `readItemExtras` precedent).
+ */
+export function warnDroppedDeclaration(toolName, declaration, problem) {
+    const key = `${declaration} ${toolName ?? ''}`;
+    if (warnedTools.has(key) || !isDevMode())
+        return;
+    if (warnedTools.size < MAX_WARNED)
+        warnedTools.add(key);
+    // eslint-disable-next-line no-console
+    console.warn(`agentfootprint coverage: tool '${toolName ?? '(unknown)'}' returned a ${declaration} the ` +
+        `record cannot carry, so the ${declaration} was left off the record (the result itself is ` +
+        `kept and served as written): ${problem.message} This warning fires once per tool per ` +
+        `process.`);
+}
+/**
+ * Forget every dropped-declaration warning issued so far.
+ * @internal test seam — the ledger is process-wide and warn-once.
+ */
+export function _resetPeriodWarnings() {
+    warnedTools.clear();
+}
+// ─── The verdict ─────────────────────────────────────────────────────────
+/**
+ * How far a declared period's READ covered what it asked for — ONE pure rule
+ * over the instants the tool declared; bounds are inclusive:
+ *
+ * ```text
+ * held === 'unknown'                                  → 'unknown'
+ * held.from ≤ queried.from and queried.to ≤ held.to   → 'covered'
+ * queried.to < held.from or queried.from > held.to    → 'not-held'
+ * otherwise                                           → 'partly-held'
+ * ```
+ *
+ * No clock is read and no duration is parsed: the tool declared both spans.
+ * Throws a `TypeError` naming the fault when handed a period that is not well
+ * formed — a caller error; every period the library files was checked first.
+ *
+ * @example
+ * ```ts
+ * periodVerdict({
+ *   queried: { from: '2026-09-26T09:00:00Z', to: '2026-09-26T10:00:00Z' },
+ *   held: { from: '2026-08-27T02:00:00Z', to: '2026-09-26T02:00:00Z' },
+ * }); // 'not-held' — the data ends at 02:00; the hour asked about is after it
+ * ```
+ */
+export function periodVerdict(period) {
+    const problem = periodProblem(period, 'camel');
+    if (problem !== undefined)
+        throw new TypeError(`periodVerdict: ${problem.message}`);
+    if (period.held === 'unknown')
+        return 'unknown';
+    const qFrom = instantOf(period.queried.from, 'lenient');
+    const qTo = instantOf(period.queried.to, 'lenient');
+    const hFrom = instantOf(period.held.from, 'lenient');
+    const hTo = instantOf(period.held.to, 'lenient');
+    if (compareInstants(hFrom, qFrom) <= 0 && compareInstants(qTo, hTo) <= 0)
+        return 'covered';
+    if (compareInstants(qTo, hFrom) < 0 || compareInstants(qFrom, hTo) > 0)
+        return 'not-held';
+    return 'partly-held';
+}
+/**
+ * The verdict a CALL gets when its result declared more than one period (a
+ * `coverage()` around an `absent()`, each with its own): the LEAST held of
+ * them, so a reader is never told more than the weakest declaration covers —
+ * `not-held`, then `partly-held`, then `unknown`, then `covered`.
+ */
+export function leastHeld(verdicts) {
+    for (const verdict of ['not-held', 'partly-held', 'unknown', 'covered']) {
+        if (verdicts.includes(verdict))
+            return verdict;
+    }
+    return undefined;
+}
+/** The key the served verdict word sits under, inside the served `period`. */
+export const SERVED_VERDICT_KEY = 'verdict';
+/**
+ * The ONE note clause per served verdict (honesty step 7b, bench round 1).
+ * Static library text: no instant, no tool value, nothing interpolated — the
+ * `ABSENCE_NOTE` law. Each states the CONSEQUENCE of its word in the terms the
+ * notes already teach ("ground this result does NOT cover"), because the bench
+ * showed a model repeating `period.queried` as the ground a result covered
+ * without ever comparing it with `period.held`.
+ */
+export const PERIOD_VERDICT_CLAUSES = Object.freeze({
+    'not-held': '`period.verdict` is `not-held`: the store holds none of the time this read asked about ' +
+        '(`period.queried`), so all of that time is ground this result does NOT cover — this ' +
+        'result settles nothing about it, and the time the store does hold is `period.held`.',
+    'partly-held': '`period.verdict` is `partly-held`: the store holds only part of the time this read asked ' +
+        'about (`period.queried`), so the part outside `period.held` is ground this result does ' +
+        'NOT cover — what this result says holds for `period.held` only.',
+    unknown: '`period.verdict` is `unknown`: the tool cannot say what time its store holds, so this ' +
+        'result cannot vouch that it covers the time this read asked about (`period.queried`).',
+});
+/**
+ * What the model is served for one declared wire period — `undefined` when
+ * there is nothing to add: no period, a period the rule set refuses (served
+ * as the tool wrote it — read, never repaired), or a `covered` one.
+ *
+ * The verdict is {@link periodVerdict} over the instants the tool declared —
+ * the one rule the record's `period` row is filed by, so the word the model
+ * reads and the row the fold reads cannot disagree. Computed at the SERVE
+ * door, never minted: the tool's own output keeps the bytes it declared, so a
+ * helper in another language mints nothing new.
+ *
+ * @example
+ * ```ts
+ * servedPeriod({
+ *   queried: { from: '2026-09-26T09:00:00Z', to: '2026-09-26T10:00:00Z' },
+ *   held: { from: '2026-08-27T02:00:00Z', to: '2026-09-26T02:00:00Z' },
+ * })?.period; // { queried: {…}, held: {…}, verdict: 'not-held' }
+ * ```
+ */
+export function servedPeriod(wire) {
+    const { period } = readPeriod(wire);
+    if (period === undefined)
+        return undefined;
+    const verdict = periodVerdict(period);
+    if (verdict === 'covered')
+        return undefined;
+    const onWire = mintPeriod(period);
+    return {
+        period: { ...onWire, [SERVED_VERDICT_KEY]: verdict },
+        verdict,
+        clause: PERIOD_VERDICT_CLAUSES[verdict],
+    };
+}
+/**
+ * The inverse, for a reader of what the model was SERVED: a wire period with
+ * its served verdict word removed — when that word is exactly the one
+ * {@link servedPeriod} computes from the rest. Anything else (no word, a word
+ * that disagrees with the instants, a period the rule set refuses) comes back
+ * as the same reference, so the rule set still names it: a verdict is derived
+ * by the library, never declared by a tool.
+ */
+export function unservedPeriod(wire) {
+    if (!isPlainObject(wire) || !(SERVED_VERDICT_KEY in wire))
+        return wire;
+    const { [SERVED_VERDICT_KEY]: word, ...declared } = wire;
+    return servedPeriod(declared)?.verdict === word ? declared : wire;
+}
+/**
+ * A served note with its period clause removed (the inverse of appending
+ * {@link PERIOD_VERDICT_CLAUSES}`[verdict]`), or the note as found.
+ */
+export function noteWithoutClause(note, verdict) {
+    if (typeof note !== 'string')
+        return note;
+    const clause = PERIOD_VERDICT_CLAUSES[verdict];
+    if (note === clause)
+        return undefined;
+    return note.endsWith(` ${clause}`) ? note.slice(0, -(clause.length + 1)) : note;
+}
+/** A served note: the note as found, then the period clause. */
+export function noteWithClause(note, clause) {
+    return typeof note === 'string' && note !== '' ? `${note} ${clause}` : clause;
+}
+// ─── The person's line ───────────────────────────────────────────────────
+/**
+ * The `Period:` line the limits block prints for one declaring call — the
+ * period AS THE TOOL DECLARED IT, instants verbatim (no reformatting, no zone
+ * conversion, no verdict word: the answer's standing owns the verdict's
+ * sentence). Static words around the tool's own values. With a
+ * `presentation` (the run's clock zone, only under `.time()`), the instants
+ * are rendered in that zone instead — see {@link periodLineInZone}.
+ *
+ * @example
+ * ```ts
+ * periodLine('backup_runs', {
+ *   queried: { from: '2026-09-26T09:00:00Z', to: '2026-09-26T10:00:00Z' },
+ *   held: { from: '2026-08-27T02:00:00Z', to: '2026-09-26T02:00:00Z' },
+ * });
+ * // 'backup_runs queried 2026-09-26T09:00:00Z to 2026-09-26T10:00:00Z; the store holds
+ * //  2026-08-27T02:00:00Z to 2026-09-26T02:00:00Z'
+ * ```
+ */
+export function periodLine(toolName, period, presentation) {
+    if (presentation !== undefined)
+        return periodLineInZone(toolName, period, presentation);
+    const queried = `${toolName} queried ${period.queried.from} to ${period.queried.to}`;
+    const held = period.held === 'unknown'
+        ? 'what the store holds is unknown'
+        : `the store holds ${period.held.from} to ${period.held.to}`;
+    const readAt = period.readAt !== undefined ? ` (read at ${period.readAt})` : '';
+    return `${queried}; ${held}${readAt}`;
+}
+/**
+ * The same line under `.time()` (time design § 10.2): every instant rendered
+ * in the presentation zone by the time layer's one renderer
+ * (`time/present.ts`), the zone named, each end AS DECLARED (a declared
+ * period is inclusive, so no end moves). The raw instants stay in the typed
+ * record (`coverageDeclared`, `answerCoverage`); a label is never parsed back.
+ *
+ * @example
+ * ```ts
+ * periodLine('backup_runs', {
+ *   queried: { from: '2026-09-26T09:00:00Z', to: '2026-09-26T10:00:00Z' },
+ *   held: 'unknown',
+ * }, bindPresentation({ zone: 'America/Los_Angeles' })); // time/present.ts
+ * // 'backup_runs queried 2026-09-26 02:00–03:00 America/Los_Angeles (UTC-07:00);
+ * //  what the store holds is unknown'
+ * ```
+ */
+function periodLineInZone(toolName, period, presentation) {
+    const queried = `${toolName} queried ${presentation.span(period.queried.from, period.queried.to)}`;
+    const held = period.held === 'unknown'
+        ? 'what the store holds is unknown'
+        : `the store holds ${presentation.span(period.held.from, period.held.to)}`;
+    const readAt = period.readAt !== undefined ? `; read at ${presentation.instant(period.readAt)}` : '';
+    return `${queried}; ${held}${readAt}`;
+}
+/** Whether a value is a {@link HeldSpan} the rule set accepts — the checkpoint door's test. */
+function isHeldSpan(value) {
+    if (!isPlainObject(value))
+        return false;
+    return (spanProblem(value.queried, 'held.queried') === undefined &&
+        spanProblem(value.held, 'held.held') === undefined &&
+        Object.keys(value).every((k) => k === 'queried' || k === 'held'));
+}
+/** Every verdict a period row may carry, in the order the fold reports them. */
+export const PERIOD_ROW_VERDICTS = Object.freeze([
+    'covered',
+    'partly-held',
+    'not-held',
+    'unknown',
+    'undeclared',
+]);
+/**
+ * The checkpoint door's test for a `period` row (`core/runCheckpoint.ts` ·
+ * `ledgerRowIsWellFormed`) — the one owner of the row's shape, so the door
+ * refuses exactly what this module never files.
+ */
+export function periodRowIsWellFormed(row) {
+    return (row.kind === 'period' &&
+        typeof row.turn === 'number' &&
+        typeof row.toolCallId === 'string' &&
+        typeof row.toolName === 'string' &&
+        typeof row.iteration === 'number' &&
+        typeof row.verdict === 'string' &&
+        PERIOD_ROW_VERDICTS.includes(row.verdict) &&
+        (row.argument === undefined || (typeof row.argument === 'string' && row.argument !== '')) &&
+        (row.differs === undefined || isPeriodDiffers(row.differs)) &&
+        (row.shifted === undefined || isShifted(row.shifted)) &&
+        (row.beyondRetention === undefined || row.beyondRetention === true) &&
+        (row.partlyBeyondRetention === undefined || row.partlyBeyondRetention === true) &&
+        (row.held === undefined || isHeldSpan(row.held)));
+}
+// ─── The time layer's limits lines (step T8) ─────────────────────────────
+/**
+ * The one limits line for a call whose `period` row carries a time check
+ * (time design § 10.2, step T8) — `undefined` when it carries none. Static
+ * words around the two ranges, rendered in the presentation zone by the time
+ * layer's one renderer, HANDED in bound (`time/present.ts` ·
+ * `bindPresentation` → `range`, to the second, the zone named — coverage never
+ * imports the renderer); the raw instants stay on the row.
+ *
+ * @example
+ * ```ts
+ * periodCheckLine(row, bindPresentation({ zone: 'America/Los_Angeles' })); // time/present.ts
+ * // 'search_logs read more than was asked — asked: 2026-10-08 00:00:00–23:59:59 America/Los_Angeles
+ * //  (UTC-07:00); read: 2026-10-08 00:00:00–2026-10-09 08:40:00 America/Los_Angeles (UTC-07:00)'
+ * ```
+ *
+ * `audience` names who reads the line: the PERSON (the limits block, the
+ * default — their window is "your window") or the MODEL (the served time line,
+ * `agent/arguments/serve.ts` · `timeLimitsSentence` — the same window is "the
+ * person's window"). That reference differs, and a SHIFTED read: the model is
+ * handed the library's conclusion ({@link shiftedConclusion}) — which part of
+ * the window the result does not cover, in the person's zone, and that the
+ * answer says so — not the two ranges to compare (T8 bench: after a pause the
+ * two-range line did not stop "1 error in the last 30 minutes", 11/20). The
+ * person's line keeps its bytes.
+ */
+export function periodCheckLine(row, presentation, audience = 'person') {
+    const parts = [];
+    const d = row.differs;
+    if (d !== undefined &&
+        audience === 'model' &&
+        row.shifted !== undefined &&
+        d.missing.length > 0 &&
+        d.extra.length > 0) {
+        parts.push(shiftedConclusion(row.toolName, d, presentation));
+    }
+    else if (d !== undefined) {
+        const person = d.against === 'person';
+        const theirs = audience === 'model' ? "the person's window" : 'your window';
+        const reference = person ? theirs : 'was asked';
+        const what = d.missing.length > 0 && d.extra.length > 0
+            ? row.shifted !== undefined
+                ? 'a shifted window'
+                : 'a different window'
+            : `${d.missing.length > 0 ? 'less' : 'more'} than ${reference}`;
+        const reads = d.read.map((r) => presentation.range(r, 'second')).join('; ');
+        parts.push(`${row.toolName} read ${what} — ${person ? theirs : 'asked'}: ` +
+            `${presentation.range(d.asked, 'second')}; read: ${reads}`);
+    }
+    else if (row.shifted !== undefined) {
+        parts.push(`${row.toolName}'s look-back ran after the clock moved on`);
+    }
+    if (row.beyondRetention === true) {
+        parts.push(`${row.toolName}: the time asked about is older than the oldest data the tool declares its source keeps`);
+    }
+    return parts.length === 0 ? undefined : parts.join('. ');
+}
+// LENS · late-line · request-ephemeral
+// reads: one `period` row's `differs` (asked, missing, extra) and `shifted` — a look-back that ran
+//        after the turn's clock moved on — rendered in the person's zone by the bound renderer
+// law: the library's CONCLUSION for the MODEL: the part of the window the result does not cover,
+//      and that the answer says so and claims nothing about it; never two ranges left to compare.
+/**
+ * The model's line for a SHIFTED read (`period-shifted` with both `missing`
+ * and `extra`): the part of the asked window (or the person's) the result
+ * does not cover and the time it read outside it, in the presentation zone,
+ * then what the answer does with that — says it, and claims nothing about it
+ * from this tool.
+ *
+ * @example
+ * ```ts
+ * shiftedConclusion('search_logs', differs, presentation);
+ * // "search_logs's look-back ran after the clock moved on, so its result does not cover
+ * //  2026-10-09 09:30:00–09:59:59 America/Los_Angeles (UTC-07:00) of the person's window (…),
+ * //  and covers …, outside it. So the answer says that search_logs's result does not cover
+ * //  2026-10-09 09:30:00–09:59:59 America/Los_Angeles (UTC-07:00), and claims nothing about that
+ * //  time from it"
+ * ```
+ */
+function shiftedConclusion(toolName, d, presentation) {
+    const ranges = (rs) => rs.map((r) => presentation.range(r, 'second')).join(' and ');
+    const reference = d.against === 'person' ? "the person's window" : 'the window asked';
+    const missing = ranges(d.missing);
+    const asked = ranges([d.asked]);
+    const none = missing === asked;
+    const gap = none ? `any of ${reference}, ${asked}` : `${missing} of ${reference} (${asked})`;
+    return (`${toolName}'s look-back ran after the clock moved on, so its result does not cover ${gap}, ` +
+        `and covers ${ranges(d.extra)}, outside it. So the answer says that ${toolName}'s result ` +
+        `does not cover ${missing}, and claims nothing about that time from it`);
+}
+/**
+ * The `Clocks` lines (time design § 9.6, § 10.2, step T8): one per wall-clock
+ * source — a dataset whose declared axis names a zone — and, when two sources
+ * declare different zones, the label that they differ. Every comparison is
+ * made on instants; the lines only name the clocks.
+ */
+export function clockLines(sources, differ) {
+    const lines = sources.map((s) => `${s.toolName}'s rows are wall times in ${s.zone} (declared) — compared as instants`);
+    if (differ !== undefined) {
+        lines.push(`the sources' clocks differ (${differ.zones.join(', ')}) — compared as instants`);
+    }
+    return lines;
+}
+//# sourceMappingURL=period.js.map

package/dist/esm/semantics/coverage/period.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"period.js","sourceRoot":"","sources":["../../../../src/semantics/coverage/period.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAExC,OAAO,EAAE,eAAe,EAAE,SAAS,EAAgB,MAAM,uBAAuB,CAAC;AAEjF,OAAO,EACL,eAAe,EACf,SAAS,GAGV,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAiDtD;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IACvC,oFAAoF;IACpF,GAAG,EAAE,QAAQ;IACb,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,MAAM;IACZ,EAAE,EAAE,IAAI;IACR,MAAM,EAAE,SAAS;IACjB,gFAAgF;IAChF,WAAW,EAAE,SAAS;CACd,CAAC,CAAC;AAmCZ,MAAM,aAAa,GAAG,CAAC,KAAc,EAAoC,EAAE;IACzE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,SAAS,GAAY,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IACxD,OAAO,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC;AAC9D,CAAC,CAAC;AAEF,uGAAuG;AACvG,SAAS,KAAK,CAAC,KAAc;IAC3B,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC;IAAC,MAAM,CAAC;QACP,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3D,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,CAAc,EAAU,EAAE,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAErF,oGAAoG;AACpG,SAAS,UAAU,CACjB,KAA8B,EAC9B,KAAwB,EACxB,EAAU;IAEV,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,SAAS;QAClC,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACxC,OAAO;YACL,KAAK,EAAE,GAAG,EAAE,IAAI,GAAG,EAAE;YACrB,OAAO,EACL,IAAI,EAAE,IAAI,GAAG,sCAAsC;gBACnD,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,qBAAqB,KAAK,KAAK,CAAC;gBAC7D,oBAAoB,EAAE,WAAW,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;SACvD,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,mFAAmF;AACnF,SAAS,cAAc,CAAC,KAAc,EAAE,EAAU;IAChD,IAAI,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAChE,OAAO;QACL,KAAK,EAAE,EAAE;QACT,OAAO,EACL,KAAK,EAAE,8EAA8E;YACrF,qCAAqC,KAAK,CAAC,KAAK,CAAC,uCAAuC;YACxF,kFAAkF;KACrF,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,SAAS,WAAW,CAAC,KAAc,EAAE,EAAU;IAC7C,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,KAAK,EAAE,EAAE;YACT,OAAO,EAAE,KAAK,EAAE,+CAA+C,KAAK,CAAC,KAAK,CAAC,GAAG;SAC/E,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IACpD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IAC7F,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC;IAClC,mCAAmC;IACnC,IACE,eAAe,CACb,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAY,EAC3C,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,SAAS,CAAY,CAC1C,GAAG,CAAC,EACL,CAAC;QACD,OAAO;YACL,KAAK,EAAE,EAAE;YACT,OAAO,EACL,KAAK,EAAE,YAAY,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,UAAU,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM;gBACvF,sBAAsB;SACzB,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,aAAa,CAAC,KAAc,EAAE,QAAqB;IACjE,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IACnC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,KAAK,EAAE,QAAQ;YACf,OAAO,EAAE,uCAAuC,MAAM,aAAa,KAAK,CAAC,KAAK,CAAC,GAAG;SACnF,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC;IACvE,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAC1D,OAAO;YACL,KAAK,EAAE,gBAAgB;YACvB,OAAO,EACL,wFAAwF;gBACxF,iCAAiC;SACpC,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;IAC7D,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IAC1C,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpD,OAAO;gBACL,KAAK,EAAE,aAAa;gBACpB,OAAO,EACL,oFAAoF;oBACpF,yCAAyC;aAC5C,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;QACpD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;gBACnC,CAAC,CAAC;oBACE,KAAK,EAAE,aAAa;oBACpB,OAAO,EACL,sBAAsB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,4CAA4C;wBACnF,YAAY;iBACf;gBACH,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;IACH,CAAC;IACD,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IACzB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,EAAE,UAAU,MAAM,EAAE,CAAC,CAAC;QACnD,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,GAAG,CAAC;IACpC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,4EAA4E;AAE5E;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,QAAiB;IAC1C,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAClE,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,QAAqC,CAAC;IACrD,OAAO;QACL,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE;QAC7D,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE;QAC5F,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,IAAI,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;KACzD,CAAC;AACJ,CAAC;AAUD;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,IAAa;IACtC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACnD,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IAC9C,MAAM,MAAM,GAAG,IAAoB,CAAC;IACpC,OAAO;QACL,MAAM,EAAE;YACN,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE;YAC7D,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE;YAC5F,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,IAAI,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;SAC1D;KACF,CAAC;AACJ,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,UAAU,CAAC,MAAsB;IAC/C,OAAO;QACL,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE;QAC7D,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE;QAC5F,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;KAC9D,CAAC;AACJ,CAAC;AAED,kHAAkH;AAClH,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;AACtC,MAAM,UAAU,GAAG,GAAG,CAAC;AAEvB;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CACpC,QAA4B,EAC5B,WAAoC,EACpC,OAAqC;IAErC,MAAM,GAAG,GAAG,GAAG,WAAW,IAAI,QAAQ,IAAI,EAAE,EAAE,CAAC;IAC/C,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE;QAAE,OAAO;IACjD,IAAI,WAAW,CAAC,IAAI,GAAG,UAAU;QAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxD,sCAAsC;IACtC,OAAO,CAAC,IAAI,CACV,kCAAkC,QAAQ,IAAI,WAAW,gBAAgB,WAAW,OAAO;QACzF,+BAA+B,WAAW,iDAAiD;QAC3F,gCAAgC,OAAO,CAAC,OAAO,wCAAwC;QACvF,UAAU,CACb,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB;IAClC,WAAW,CAAC,KAAK,EAAE,CAAC;AACtB,CAAC;AAED,4EAA4E;AAE5E;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,aAAa,CAAC,MAAsB;IAClD,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/C,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,SAAS,CAAC,kBAAkB,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IACpF,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAY,CAAC;IACnE,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,CAAY,CAAC;IAC/D,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAY,CAAC;IAChE,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,CAAY,CAAC;IAC5D,IAAI,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3F,IAAI,eAAe,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,eAAe,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,UAAU,CAAC;IAC1F,OAAO,aAAa,CAAC;AACvB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,QAAkC;IAC1D,KAAK,MAAM,OAAO,IAAI,CAAC,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,SAAS,CAAU,EAAE,CAAC;QACjF,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,OAAO,OAAO,CAAC;IACjD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAYD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,kBAAkB,GAAG,SAAS,CAAC;AAE5C;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAkD,MAAM,CAAC,MAAM,CAAC;IACjG,UAAU,EACR,yFAAyF;QACzF,sFAAsF;QACtF,qFAAqF;IACvF,aAAa,EACX,2FAA2F;QAC3F,yFAAyF;QACzF,iEAAiE;IACnE,OAAO,EACL,wFAAwF;QACxF,uFAAuF;CAC1F,CAAC,CAAC;AAWH;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,YAAY,CAAC,IAAa;IACxC,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAiB,CAAC;IAClD,OAAO;QACL,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC,kBAAkB,CAAC,EAAE,OAAO,EAAE;QACpD,OAAO;QACP,MAAM,EAAE,sBAAsB,CAAC,OAAO,CAAC;KACxC,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,IAAa;IAC1C,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,kBAAkB,IAAI,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACvE,MAAM,EAAE,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,GAAG,QAAQ,EAAE,GAAG,IAAI,CAAC;IACzD,OAAO,YAAY,CAAC,QAAQ,CAAC,EAAE,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;AACpE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAa,EAAE,OAA4B;IAC3E,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,MAAM,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IAC/C,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IACtC,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAClF,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,cAAc,CAAC,IAAa,EAAE,MAAc;IAC1D,OAAO,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AAChF,CAAC;AAED,4EAA4E;AAE5E;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,UAAU,CACxB,QAAgB,EAChB,MAAsB,EACtB,YAAgC;IAEhC,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;IACxF,MAAM,OAAO,GAAG,GAAG,QAAQ,YAAY,MAAM,CAAC,OAAO,CAAC,IAAI,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;IACrF,MAAM,IAAI,GACR,MAAM,CAAC,IAAI,KAAK,SAAS;QACvB,CAAC,CAAC,iCAAiC;QACnC,CAAC,CAAC,mBAAmB,MAAM,CAAC,IAAI,CAAC,IAAI,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;IACjE,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAChF,OAAO,GAAG,OAAO,KAAK,IAAI,GAAG,MAAM,EAAE,CAAC;AACxC,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,SAAS,gBAAgB,CACvB,QAAgB,EAChB,MAAsB,EACtB,YAA+B;IAE/B,MAAM,OAAO,GAAG,GAAG,QAAQ,YAAY,YAAY,CAAC,IAAI,CACtD,MAAM,CAAC,OAAO,CAAC,IAAI,EACnB,MAAM,CAAC,OAAO,CAAC,EAAE,CAClB,EAAE,CAAC;IACJ,MAAM,IAAI,GACR,MAAM,CAAC,IAAI,KAAK,SAAS;QACvB,CAAC,CAAC,iCAAiC;QACnC,CAAC,CAAC,mBAAmB,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;IAC/E,MAAM,MAAM,GACV,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,OAAO,GAAG,OAAO,KAAK,IAAI,GAAG,MAAM,EAAE,CAAC;AACxC,CAAC;AA+DD,+FAA+F;AAC/F,SAAS,UAAU,CAAC,KAAc;IAChC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,OAAO,CACL,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,cAAc,CAAC,KAAK,SAAS;QACxD,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,SAAS;QAClD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,MAAM,CAAC,CACjE,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,MAAM,CAAC,MAAM,mBAAmB,GAAoC,MAAM,CAAC,MAAM,CAAC;IAChF,SAAS;IACT,aAAa;IACb,UAAU;IACV,SAAS;IACT,YAAY;CACb,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,GAAsC;IAC1E,OAAO,CACL,GAAG,CAAC,IAAI,KAAK,QAAQ;QACrB,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ;QAC5B,OAAO,GAAG,CAAC,UAAU,KAAK,QAAQ;QAClC,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ;QAChC,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ;QACjC,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;QAC9B,mBAAyC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC;QAChE,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,GAAG,CAAC,QAAQ,KAAK,EAAE,CAAC,CAAC;QACzF,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3D,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACrD,CAAC,GAAG,CAAC,eAAe,KAAK,SAAS,IAAI,GAAG,CAAC,eAAe,KAAK,IAAI,CAAC;QACnE,CAAC,GAAG,CAAC,qBAAqB,KAAK,SAAS,IAAI,GAAG,CAAC,qBAAqB,KAAK,IAAI,CAAC;QAC/E,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CACjD,CAAC;AACJ,CAAC;AAED,4EAA4E;AAE5E;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,UAAU,eAAe,CAC7B,GAAc,EACd,YAA+B,EAC/B,WAA+B,QAAQ;IAEvC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;IACtB,IACE,CAAC,KAAK,SAAS;QACf,QAAQ,KAAK,OAAO;QACpB,GAAG,CAAC,OAAO,KAAK,SAAS;QACzB,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QACpB,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAClB,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC;IAC/D,CAAC;SAAM,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC;QACtC,MAAM,MAAM,GAAG,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,aAAa,CAAC;QAC5E,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC;QAChD,MAAM,IAAI,GACR,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;YACxC,CAAC,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS;gBACzB,CAAC,CAAC,kBAAkB;gBACpB,CAAC,CAAC,oBAAoB;YACxB,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,SAAS,SAAS,EAAE,CAAC;QACpE,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5E,KAAK,CAAC,IAAI,CACR,GAAG,GAAG,CAAC,QAAQ,SAAS,IAAI,MAAM,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI;YAC7D,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,WAAW,KAAK,EAAE,CAC7D,CAAC;IACJ,CAAC;SAAM,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,QAAQ,2CAA2C,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,GAAG,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CACR,GAAG,GAAG,CAAC,QAAQ,yFAAyF,CACzG,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC3D,CAAC;AAED,uCAAuC;AACvC,mGAAmG;AACnG,+FAA+F;AAC/F,iGAAiG;AACjG,kGAAkG;AAClG;;;;;;;;;;;;;;;;GAgBG;AACH,SAAS,iBAAiB,CACxB,QAAgB,EAChB,CAAgB,EAChB,YAA+B;IAE/B,MAAM,MAAM,GAAG,CAAC,EAAqC,EAAU,EAAE,CAC/D,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/D,MAAM,SAAS,GAAG,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,kBAAkB,CAAC;IACtF,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,OAAO,KAAK,KAAK,CAAC;IAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,UAAU,SAAS,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,OAAO,OAAO,SAAS,KAAK,KAAK,GAAG,CAAC;IAC7F,OAAO,CACL,GAAG,QAAQ,2EAA2E,GAAG,IAAI;QAC7F,cAAc,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,yCAAyC,QAAQ,YAAY;QAC1F,kBAAkB,OAAO,8CAA8C,CACxE,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CACxB,OAA+B,EAC/B,MAAyD;IAEzD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CACvB,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,6BAA6B,CAAC,CAAC,IAAI,oCAAoC,CAC5F,CAAC;IACF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,+BAA+B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IAC/F,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}