agentfootprint 10.3.0 → 10.4.0

package/dist/esm/time/bind.js

@@ -0,0 +1,230 @@
+/**
+ * time/bind — which of the person's windows a tool call carries (time
+ * design § 5.6, § 7.3): fill from one mention, bind by quote, and record a
+ * differing model window and run it.
+ *
+ * Pattern: Walker over recorded rows. The turn's WINDOWS are read from what
+ *          the record already holds — this turn's `time-answer` rows (a
+ *          mention the person settled in the time ask), a `model` reader's
+ *          `time-reading` rows (a reading, never the person's) and the
+ *          `clock` row's `control` window — never from words. A `rule`
+ *          reading settles nothing: it is a proposal the person confirms
+ *          (the owner's decision "Always confirm", time design TQ29). One call's decision
+ *          ({@link callWindowOf}) is a pure function of its arguments, the
+ *          tool's forms and those windows.
+ * Role:    L0 leaf (the time layer). Imports `convert.ts`, `range.ts`,
+ *          `rows.ts`, `resolve.ts`' types and `zone.ts` only. Asked by the
+ *          inputs layer (`arguments/resolve.ts`), which files the argument
+ *          rows and the `call-window` row the decision implies.
+ * Emits:   N/A.
+ *
+ * ## The laws
+ *
+ * - **Fill only when the turn has exactly one window.** A message holding two
+ *   mentions ("this morning vs yesterday morning") fills nothing: which one a
+ *   call means is the model's to say, through the quote. A mention whose
+ *   reading is still open (the person has not chosen) is counted and fills
+ *   nothing; a refused mention (its quote was not in the message) is not the
+ *   person's words and is not counted. A `control` window (`time.window`, set
+ *   in a UI) counts as one more mention with no quote.
+ * - **Fill only what the model left out — exactly, else wider, never
+ *   narrower.** Every argument of every form must be missing; the window goes
+ *   into the first form that holds it exactly (`convert.ts` · `convertExact`),
+ *   else the first that holds MORE (`convertWidened`: a whole day, the
+ *   covering look-back — recorded with what it adds). No such form → the call
+ *   is REFUSED, `no-form-holds` (`convert.ts` · `convertForTool`, the one
+ *   answer): the tool's own rule never stands in for the person's window, so
+ *   an assumed `1h` never silently reads a time the person did not ask about.
+ * - **Refuse before dispatch what the tool cannot honestly read (step
+ *   T5b).** A window — the person's to fill, or the model's sent — outside
+ *   the tool's declared `direction`, wholly beyond its `retention` or wider
+ *   than its `maxRange`; a range across days for a tool whose every form is a
+ *   `day`; a window of the person's no form can read (`no-form-holds`); a
+ *   sent wall time the zone skips. A window only partly beyond `retention`
+ *   runs, marked. An open reading the tool can read in NO reading is refused
+ *   too, and never asked.
+ * - **A present window is never written over.** Bound by quote (the model's
+ *   declared `user` quote names a recorded mention) or by value (the sent
+ *   value, read back, IS a window of this turn); otherwise it runs as sent and
+ *   is recorded `model-chosen` beside the person's window — a drill-down, a
+ *   comparison and a baseline call are normal work.
+ */
+import { convertForTool, formArguments, formFacts, lookbackAsBounds, partlyBeyondRetention, periodFactProblem, readBack, sameRange, wallGapArgument, } from './convert.js';
+// ─── The turn's windows (`windows.ts`) ───────────────────────────────────
+// The record half lives in `windows.ts` (split by FILE so the synchronous doors
+// never load this module's conversions); every public name is re-exported here.
+export { isOpenForPerson, offeredLookback, pendingQuotesOf, readerWindowsOf, turnWindowsOf, windowToConvert, } from './windows.js';
+import { windowToConvert } from './windows.js';
+const normalQuote = (text) => text.toLowerCase().replace(/\s+/g, ' ').trim();
+/** Whether a declared quote names a recorded mention: one holds the other, whitespace and case aside. */
+function quoteNames(declared, mention) {
+    const a = normalQuote(declared);
+    const b = normalQuote(mention);
+    return a.length > 0 && b.length > 0 && (a.includes(b) || b.includes(a));
+}
+/** Whether a sent range is a window: the same instants, or a look-back sent as `[now − L, now)`. */
+function isWindow(sent, window, now) {
+    if (sameRange(sent, window.range))
+        return true;
+    if (window.lookback === undefined)
+        return false;
+    const bounds = lookbackAsBounds(now, window.lookback);
+    return bounds !== undefined && sameRange(sent, bounds);
+}
+/**
+ * Which window one call carries (the module laws). Pure: the same call, forms
+ * and windows always give the same decision.
+ */
+export function callWindowOf(call, turn, ctx) {
+    const periodArguments = [
+        ...new Set(call.forms.flatMap((f) => formArguments(f).map((a) => a.argument))),
+    ];
+    const anyPresent = periodArguments.some((a) => !call.isMissing(a));
+    return anyPresent ? presentWindow(call, turn, ctx) : fillWindow(call, turn, ctx);
+}
+/**
+ * A present window's facts: refused when it breaks one, else marked when partly beyond retention.
+ * The window was SENT in one form, so it is held to that form's own `maxRange` (`formFacts`).
+ */
+function judged(decision, call, now) {
+    const sentIn = call.forms[decision.form];
+    const facts = call.facts === undefined || sentIn === undefined ? call.facts : formFacts(sentIn, call.facts);
+    if (facts === undefined)
+        return decision;
+    const problem = periodFactProblem(decision.asked, facts, now);
+    if (problem !== undefined) {
+        const person = decision.how === 'bound'
+            ? decision.window
+            : decision.how === 'model-chosen'
+                ? decision.person
+                : undefined;
+        return {
+            how: 'refused',
+            refused: problem,
+            form: decision.form,
+            asked: decision.asked,
+            ...(person !== undefined && { person }),
+        };
+    }
+    return partlyBeyondRetention(decision.asked, facts, now)
+        ? { ...decision, partlyBeyondRetention: true }
+        : decision;
+}
+/** The model left every period argument out: fill from the turn's one window, exactly, else widened (§ 7.2). */
+function fillWindow(call, turn, ctx) {
+    if (turn.mentions === 0)
+        return { how: 'not-filled', why: 'no-window' };
+    if (turn.mentions > 1)
+        return { how: 'not-filled', why: 'several-mentions' };
+    const window = turn.windows[0];
+    if (window === undefined)
+        return openReadingWindow(call, turn, ctx);
+    const read = convertForTool(windowToConvert(window), call.forms, call.facts, {
+        now: ctx.now,
+        zone: window.zone,
+        appZone: ctx.appZone,
+        granularityMs: ctx.granularityMs,
+    });
+    // No form reads it (or a fact rules it out): refused with the reason — the tool's own rule
+    // never stands in for the person's window, which its default would silently not read.
+    if ('refused' in read) {
+        return { how: 'refused', refused: read.refused, asked: window.range, person: window };
+    }
+    return {
+        how: 'filled',
+        window,
+        conversion: read.conversion,
+        ...('sent' in read.conversion &&
+            call.facts?.filtersToAsked === true && { trimmedByTool: true }),
+        ...(read.partlyBeyondRetention === true && { partlyBeyondRetention: true }),
+    };
+}
+/**
+ * The turn's one mention is still an open reading (the person has not chosen):
+ * nothing is filled. When the tool can read NONE of the readings left — each
+ * breaks a fact, or no form holds it — nothing is asked (§ 6.3): the call is
+ * refused with the first reading's reason. Otherwise the reading is asked.
+ */
+function openReadingWindow(call, turn, ctx) {
+    const left = turn.open?.[0] ?? [];
+    const reasons = left.map((range) => {
+        const read = convertForTool({ range }, call.forms, call.facts, ctx);
+        return 'refused' in read ? read.refused : undefined;
+    });
+    const first = reasons[0];
+    if (left.length > 0 && first !== undefined && reasons.every((r) => r !== undefined)) {
+        return { how: 'refused', refused: first };
+    }
+    return { how: 'not-filled', why: 'open-reading' };
+}
+/** A present window: bound, the model's own, unread — or refused on a skipped wall time or a fact. */
+function presentWindow(call, turn, ctx) {
+    // The first form whose arguments read back as a range.
+    let form = -1;
+    let asked;
+    for (let i = 0; i < call.forms.length && asked === undefined; i++) {
+        const f = call.forms[i];
+        if (formArguments(f).some((a) => a.role !== 'zone' && call.isMissing(a.argument)))
+            continue;
+        asked = readBack(call.args, f, {
+            now: ctx.now,
+            ...(ctx.appZone !== undefined && { appZone: ctx.appZone }),
+        });
+        if (asked !== undefined)
+            form = i;
+    }
+    if (asked === undefined)
+        return unreadWindow(call, ctx);
+    if (turn.windows.length === 0)
+        return judged({ how: 'model', form, asked }, call, ctx.now);
+    // The windows the declared quote names; when it names several, the one the value matches wins.
+    const named = call.quotes === undefined
+        ? []
+        : turn.windows.filter((w) => w.quote !== undefined && call.quotes?.some((q) => quoteNames(q, w.quote)));
+    const quoted = named.find((w) => isWindow(asked, w, ctx.now)) ?? named[0];
+    if (quoted !== undefined) {
+        return judged(isWindow(asked, quoted, ctx.now)
+            ? { how: 'bound', form, asked, window: quoted, by: 'quote' }
+            : { how: 'model-chosen', form, asked, person: quoted }, call, ctx.now);
+    }
+    const equal = turn.windows.find((w) => isWindow(asked, w, ctx.now));
+    if (equal !== undefined) {
+        return judged({ how: 'bound', form, asked, window: equal, by: 'value' }, call, ctx.now);
+    }
+    return judged({
+        how: 'model-chosen',
+        form,
+        asked,
+        ...(turn.windows.length === 1 && { person: turn.windows[0] }),
+    }, call, ctx.now);
+}
+/** No form reads the call back: a sent wall time the zone skips is refused (§ 7.2); anything else runs `unread`. */
+function unreadWindow(call, ctx) {
+    for (let i = 0; i < call.forms.length; i++) {
+        const f = call.forms[i];
+        if (formArguments(f).some((a) => a.role !== 'zone' && call.isMissing(a.argument)))
+            continue;
+        const argument = wallGapArgument(call.args, f, {
+            ...(ctx.appZone !== undefined && { appZone: ctx.appZone }),
+        });
+        if (argument !== undefined)
+            return { how: 'refused', refused: 'dst-gap', form: i, argument };
+    }
+    return { how: 'unread' };
+}
+/** The range a decision says the call asks for — the person's on a fill, the sent one otherwise. */
+export function askedRangeOf(decision) {
+    switch (decision.how) {
+        case 'filled':
+            return decision.window.range;
+        case 'bound':
+        case 'model-chosen':
+        case 'model':
+            return decision.asked;
+        case 'refused':
+            return decision.asked;
+        default:
+            return undefined;
+    }
+}
+//# sourceMappingURL=bind.js.map

package/dist/esm/time/bind.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bind.js","sourceRoot":"","sources":["../../../src/time/bind.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAEH,OAAO,EACL,cAAc,EACd,aAAa,EACb,SAAS,EACT,gBAAgB,EAChB,qBAAqB,EACrB,iBAAiB,EACjB,QAAQ,EACR,SAAS,EACT,eAAe,GAMhB,MAAM,cAAc,CAAC;AAKtB,4EAA4E;AAE5E,gFAAgF;AAChF,gFAAgF;AAChF,OAAO,EACL,eAAe,EACf,eAAe,EACf,eAAe,EACf,eAAe,EACf,aAAa,EACb,eAAe,GAMhB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,eAAe,EAAqC,MAAM,cAAc,CAAC;AAwFlF,MAAM,WAAW,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAE7F,yGAAyG;AACzG,SAAS,UAAU,CAAC,QAAgB,EAAE,OAAe;IACnD,MAAM,CAAC,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IAChC,MAAM,CAAC,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IAC/B,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED,oGAAoG;AACpG,SAAS,QAAQ,CAAC,IAAe,EAAE,MAAkB,EAAE,GAAgB;IACrE,IAAI,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAChD,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IACtD,OAAO,MAAM,KAAK,SAAS,IAAI,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AACzD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,IAAgB,EAAE,IAAiB,EAAE,GAAgB;IAChF,MAAM,eAAe,GAAG;QACtB,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;KAC/E,CAAC;IACF,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,OAAO,UAAU,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;AACnF,CAAC;AAED;;;GAGG;AACH,SAAS,MAAM,CACb,QAA0E,EAC1E,IAAgB,EAChB,GAAgB;IAEhB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,KAAK,GACT,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAChG,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IACzC,MAAM,OAAO,GAAG,iBAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC9D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,MAAM,GACV,QAAQ,CAAC,GAAG,KAAK,OAAO;YACtB,CAAC,CAAC,QAAQ,CAAC,MAAM;YACjB,CAAC,CAAC,QAAQ,CAAC,GAAG,KAAK,cAAc;gBACjC,CAAC,CAAC,QAAQ,CAAC,MAAM;gBACjB,CAAC,CAAC,SAAS,CAAC;QAChB,OAAO;YACL,GAAG,EAAE,SAAS;YACd,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;SACxC,CAAC;IACJ,CAAC;IACD,OAAO,qBAAqB,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC;QACtD,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,qBAAqB,EAAE,IAAI,EAAE;QAC9C,CAAC,CAAC,QAAQ,CAAC;AACf,CAAC;AAED,gHAAgH;AAChH,SAAS,UAAU,CAAC,IAAgB,EAAE,IAAiB,EAAE,GAAgB;IACvE,IAAI,IAAI,CAAC,QAAQ,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;IACxE,IAAI,IAAI,CAAC,QAAQ,GAAG,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,kBAAkB,EAAE,CAAC;IAC7E,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC/B,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACpE,MAAM,IAAI,GAAG,cAAc,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE;QAC3E,GAAG,EAAE,GAAG,CAAC,GAAG;QACZ,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,aAAa,EAAE,GAAG,CAAC,aAAa;KACjC,CAAC,CAAC;IACH,2FAA2F;IAC3F,sFAAsF;IACtF,IAAI,SAAS,IAAI,IAAI,EAAE,CAAC;QACtB,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACxF,CAAC;IACD,OAAO;QACL,GAAG,EAAE,QAAQ;QACb,MAAM;QACN,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,UAAU;YAC3B,IAAI,CAAC,KAAK,EAAE,cAAc,KAAK,IAAI,IAAI,EAAE,aAAa,EAAE,IAAa,EAAE,CAAC;QAC1E,GAAG,CAAC,IAAI,CAAC,qBAAqB,KAAK,IAAI,IAAI,EAAE,qBAAqB,EAAE,IAAa,EAAE,CAAC;KACrF,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,iBAAiB,CAAC,IAAgB,EAAE,IAAiB,EAAE,GAAgB;IAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAClC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACjC,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACpE,OAAO,SAAS,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IACtD,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC;QACpF,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC5C,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC;AACpD,CAAC;AAED,sGAAsG;AACtG,SAAS,aAAa,CAAC,IAAgB,EAAE,IAAiB,EAAE,GAAgB;IAC1E,uDAAuD;IACvD,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC;IACd,IAAI,KAA4B,CAAC;IACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;QAClE,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAe,CAAC;QACtC,IAAI,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YAAE,SAAS;QAC5F,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE;YAC7B,GAAG,EAAE,GAAG,CAAC,GAAG;YACZ,GAAG,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;SAC3D,CAAC,CAAC;QACH,IAAI,KAAK,KAAK,SAAS;YAAE,IAAI,GAAG,CAAC,CAAC;IACpC,CAAC;IACD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACxD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3F,+FAA+F;IAC/F,MAAM,KAAK,GACT,IAAI,CAAC,MAAM,KAAK,SAAS;QACvB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CACjB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAe,CAAC,CAAC,CACtF,CAAC;IACR,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAkB,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;IACvF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,CACX,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC;YAC9B,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE;YAC5D,CAAC,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EACxD,IAAI,EACJ,GAAG,CAAC,GAAG,CACR,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAkB,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACjF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,MAAM,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,MAAM,CACX;QACE,GAAG,EAAE,cAAc;QACnB,IAAI;QACJ,KAAK;QACL,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAe,EAAE,CAAC;KAC5E,EACD,IAAI,EACJ,GAAG,CAAC,GAAG,CACR,CAAC;AACJ,CAAC;AAED,oHAAoH;AACpH,SAAS,YAAY,CAAC,IAAgB,EAAE,GAAgB;IACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAe,CAAC;QACtC,IAAI,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YAAE,SAAS;QAC5F,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE;YAC7C,GAAG,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;SAC3D,CAAC,CAAC;QACH,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;IAC/F,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AAC3B,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,YAAY,CAAC,QAAoB;IAC/C,QAAQ,QAAQ,CAAC,GAAG,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC;QAC/B,KAAK,OAAO,CAAC;QACb,KAAK,cAAc,CAAC;QACpB,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC,KAAK,CAAC;QACxB,KAAK,SAAS;YACZ,OAAO,QAAQ,CAAC,KAAK,CAAC;QACxB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC"}

package/dist/esm/time/check.d.ts

@@ -0,0 +1,113 @@
+/**
+ * time/check — the result checks (time design § 9.2, § 9.4, § 9.6, step T8).
+ *
+ * Pattern: one pure check per judged call, over what the record already holds
+ *          — the call's `call-window` row (what the call asked, and the
+ *          person's window beside it), its `call` row (the clock at
+ *          dispatch), the periods its result declared, and the tool's facts —
+ *          and one pure read over the turn's wall-clock sources. None reads
+ *          words; none reads a period's offset as a clock.
+ * Role:    L0 leaf (the time layer). Imports `instant.ts`, `range.ts`,
+ *          `convert.ts` and the row types of `rows.ts`. Asked by the results
+ *          layer (`results/subflow.ts` · `checkPeriods`), which files the
+ *          answer on the call's `period` row (`coverage/period.ts` ·
+ *          `PeriodRow`), and by the limits block (`coverage/period.ts` ·
+ *          `periodCheckLine`, `clockLines`).
+ * Emits:   N/A.
+ *
+ * ## Differs from asked — ONE check for narrower, wider and shifted (§ 9.2)
+ *
+ * The range the call asked for is compared with the range it READ, and two
+ * lists come back: `missing` (asked but not read — a narrower read, or the
+ * front of a shifted one) and `extra` (read but not asked — a wider read, or
+ * the tail of a shifted one). What was read, first found wins:
+ *
+ * | Source | The read |
+ * |--------|----------|
+ * | `declared` | the result's own `period.queried` — inclusive at both ends, read back as `[from, to + step)`, `step` the tool's `granularity` (else 1 ms; § 3.3). Several declared: each is a read |
+ * | `sent` | a widened fill the tool does not trim — the `call-window` row's `sent` |
+ * | `shifted` | a look-back that ran as sent after the clock moved past the tool's step — the asked range moved by the `call` row's `drift.byMs` |
+ * | `asked` | nothing says otherwise — the read IS the asked range (a fill, a binding, a redrawn look-back, a widened fill the tool trims) |
+ *
+ * Against what: the call's `asked` range — EXCEPT for a window the model
+ * chose (`how: 'model-chosen'`), which is compared with the person's window
+ * (§ 9.3: claims about the person's window are then "not sure"). A call with
+ * neither — refused, not filled, unread — is not compared.
+ *
+ * Two differences are not differences: a piece no longer than one
+ * millisecond (a closed end read as open — `[now − L, now]` against
+ * `[now − L, now)`), and § 7.4's first row — a call that SENT a look-back
+ * (`drift.ts` · `sentLookback`), with no drift recorded (the dispatch was
+ * within the step), whose declared read has the asked length and moved LATER
+ * by no more than the tool's step (one minute when none): the tool evaluated
+ * the look-back on its own clock, a little after `now`, and that read IS the
+ * asked range. Nothing else moves: a read moved EARLIER, a read of a window
+ * sent as bounds, or a look-back with a recorded drift is compared as read —
+ * its `missing` stands, and the answer is "not sure" (§ 9.2).
+ *
+ * ## Retention (§ 9.4)
+ *
+ * `beyondRetention` — the call was refused before dispatch because the window
+ * was wholly older than the source keeps, or its read lies wholly before
+ * `now − retention`. `partlyBeyondRetention` — the read starts before that
+ * edge and ends after it (the result's `held` decides `partly-held`).
+ *
+ * ## Clocks (§ 9.6)
+ *
+ * A dataset whose declared time axis names a `zone` holds wall times in that
+ * zone — a wall-clock source. {@link clocksDiffer} names the sources and zones
+ * when two sources of one answer declare different zones: a label only, every
+ * comparison is done on instants. A period's offset (`Z`, `-07:00`) is a
+ * spelling of an instant, never a clock, and is never read here.
+ *
+ * @example
+ * ```ts
+ * periodTimeCheck({
+ *   window: { how: 'filled', asked: { from: '2026-10-02T15:40:00Z', to: '2026-10-09T15:40:00Z' } },
+ *   declared: [{ from: '2026-10-07T15:40:00Z', to: '2026-10-09T15:39:59.999Z' }], // clamped to 2 days
+ *   now: '2026-10-09T15:40:00Z',
+ * })?.differs?.missing; // [{ from: '2026-10-02T15:40:00Z', to: '2026-10-07T15:40:00Z' }]
+ * ```
+ */
+import { type InstantText } from './instant.js';
+import { type InclusiveSpan, type TimeRange } from './range.js';
+import { type PeriodFacts, type PeriodForm } from './convert.js';
+import type { CallDrift, CallWindowRow } from './rows.js';
+export { clocksDiffer, distinctSources, isPeriodDiffers, isShifted, type ClocksDiffer, type PeriodDiffers, type ReadSource, type SourceClock, } from './checkRecord.js';
+import type { PeriodDiffers } from './checkRecord.js';
+/** The time layer's result checks on one call — each key present only when it holds. */
+export interface PeriodTimeCheck {
+    readonly differs?: PeriodDiffers;
+    /** `period-shifted` (§ 7.4): the look-back ran as sent, `byMs` after the turn's `now`. */
+    readonly shifted?: {
+        readonly byMs: number;
+    };
+    /** `period-beyond-retention` (§ 9.4). */
+    readonly beyondRetention?: true;
+    /** `partly-beyond-retention` (§ 9.4). */
+    readonly partlyBeyondRetention?: true;
+}
+/** What one call's check reads — every field off a row or a declaration. */
+export interface PeriodCheckInput {
+    /** The call's `call-window` row — absent when the tool declares no forms. */
+    readonly window?: Pick<CallWindowRow, 'how' | 'form' | 'asked' | 'person' | 'sent' | 'trimmedByTool' | 'partlyBeyondRetention' | 'refused'>;
+    /** The call's `call` row's `drift`. */
+    readonly drift?: CallDrift;
+    /** The `queried` span of every period the call's result declared (inclusive ends). */
+    readonly declared?: readonly InclusiveSpan[];
+    readonly facts?: PeriodFacts;
+    /** The tool's period forms — with the window's `form`, whether the call sent a look-back (§ 7.4). */
+    readonly forms?: readonly PeriodForm[];
+    /** The turn's clock `now`. */
+    readonly now: InstantText;
+}
+/** The parts of `asked` not read, and the parts read not asked. */
+export declare function rangeDifference(asked: TimeRange, read: readonly TimeRange[]): {
+    readonly missing: TimeRange[];
+    readonly extra: TimeRange[];
+} | undefined;
+/**
+ * The time layer's result checks on one call (§ 9.2, § 7.4, § 9.4) —
+ * `undefined` when none holds, so an unremarkable call's row gains nothing.
+ */
+export declare function periodTimeCheck(input: PeriodCheckInput): PeriodTimeCheck | undefined;

package/dist/esm/time/check.js

@@ -0,0 +1,252 @@
+/**
+ * time/check — the result checks (time design § 9.2, § 9.4, § 9.6, step T8).
+ *
+ * Pattern: one pure check per judged call, over what the record already holds
+ *          — the call's `call-window` row (what the call asked, and the
+ *          person's window beside it), its `call` row (the clock at
+ *          dispatch), the periods its result declared, and the tool's facts —
+ *          and one pure read over the turn's wall-clock sources. None reads
+ *          words; none reads a period's offset as a clock.
+ * Role:    L0 leaf (the time layer). Imports `instant.ts`, `range.ts`,
+ *          `convert.ts` and the row types of `rows.ts`. Asked by the results
+ *          layer (`results/subflow.ts` · `checkPeriods`), which files the
+ *          answer on the call's `period` row (`coverage/period.ts` ·
+ *          `PeriodRow`), and by the limits block (`coverage/period.ts` ·
+ *          `periodCheckLine`, `clockLines`).
+ * Emits:   N/A.
+ *
+ * ## Differs from asked — ONE check for narrower, wider and shifted (§ 9.2)
+ *
+ * The range the call asked for is compared with the range it READ, and two
+ * lists come back: `missing` (asked but not read — a narrower read, or the
+ * front of a shifted one) and `extra` (read but not asked — a wider read, or
+ * the tail of a shifted one). What was read, first found wins:
+ *
+ * | Source | The read |
+ * |--------|----------|
+ * | `declared` | the result's own `period.queried` — inclusive at both ends, read back as `[from, to + step)`, `step` the tool's `granularity` (else 1 ms; § 3.3). Several declared: each is a read |
+ * | `sent` | a widened fill the tool does not trim — the `call-window` row's `sent` |
+ * | `shifted` | a look-back that ran as sent after the clock moved past the tool's step — the asked range moved by the `call` row's `drift.byMs` |
+ * | `asked` | nothing says otherwise — the read IS the asked range (a fill, a binding, a redrawn look-back, a widened fill the tool trims) |
+ *
+ * Against what: the call's `asked` range — EXCEPT for a window the model
+ * chose (`how: 'model-chosen'`), which is compared with the person's window
+ * (§ 9.3: claims about the person's window are then "not sure"). A call with
+ * neither — refused, not filled, unread — is not compared.
+ *
+ * Two differences are not differences: a piece no longer than one
+ * millisecond (a closed end read as open — `[now − L, now]` against
+ * `[now − L, now)`), and § 7.4's first row — a call that SENT a look-back
+ * (`drift.ts` · `sentLookback`), with no drift recorded (the dispatch was
+ * within the step), whose declared read has the asked length and moved LATER
+ * by no more than the tool's step (one minute when none): the tool evaluated
+ * the look-back on its own clock, a little after `now`, and that read IS the
+ * asked range. Nothing else moves: a read moved EARLIER, a read of a window
+ * sent as bounds, or a look-back with a recorded drift is compared as read —
+ * its `missing` stands, and the answer is "not sure" (§ 9.2).
+ *
+ * ## Retention (§ 9.4)
+ *
+ * `beyondRetention` — the call was refused before dispatch because the window
+ * was wholly older than the source keeps, or its read lies wholly before
+ * `now − retention`. `partlyBeyondRetention` — the read starts before that
+ * edge and ends after it (the result's `held` decides `partly-held`).
+ *
+ * ## Clocks (§ 9.6)
+ *
+ * A dataset whose declared time axis names a `zone` holds wall times in that
+ * zone — a wall-clock source. {@link clocksDiffer} names the sources and zones
+ * when two sources of one answer declare different zones: a label only, every
+ * comparison is done on instants. A period's offset (`Z`, `-07:00`) is a
+ * spelling of an instant, never a clock, and is never read here.
+ *
+ * @example
+ * ```ts
+ * periodTimeCheck({
+ *   window: { how: 'filled', asked: { from: '2026-10-02T15:40:00Z', to: '2026-10-09T15:40:00Z' } },
+ *   declared: [{ from: '2026-10-07T15:40:00Z', to: '2026-10-09T15:39:59.999Z' }], // clamped to 2 days
+ *   now: '2026-10-09T15:40:00Z',
+ * })?.differs?.missing; // [{ from: '2026-10-02T15:40:00Z', to: '2026-10-07T15:40:00Z' }]
+ * ```
+ */
+import { instantOf, spellInstant } from './instant.js';
+import { fromInclusive, stepMsOf } from './range.js';
+import { durationMs } from './duration.js';
+import { FACT_UNITS, granularityMsOf } from './convert.js';
+import { sentLookback } from './drift.js';
+// ─── The shapes ──────────────────────────────────────────────────────────
+// The record half — the row's shapes, the checkpoint door's tests and the two
+// clock reads — lives in `checkRecord.ts`, split by FILE so the synchronous
+// doors (`coverage/period.ts` · `periodRowIsWellFormed`) never load this
+// module's conversions; every public name is re-exported here.
+export { clocksDiffer, distinctSources, isPeriodDiffers, isShifted, } from './checkRecord.js';
+const msAt = (text) => instantOf(text, 'lenient')?.ms;
+function spanOf(range) {
+    const from = msAt(range.from);
+    const to = msAt(range.to);
+    return from === undefined || to === undefined || !(from < to) ? undefined : [from, to];
+}
+function rangeOf([from, to]) {
+    // Both are finite millisecond instants read from a range — each spells.
+    return {
+        from: spellInstant({ ms: from, nanos: 0 }, 0),
+        to: spellInstant({ ms: to, nanos: 0 }, 0),
+    };
+}
+/** The parts of `a` covered by none of `bs`, in time order. */
+function minus(a, bs) {
+    let pieces = [a];
+    for (const [bFrom, bTo] of bs) {
+        const next = [];
+        for (const [from, to] of pieces) {
+            if (bTo <= from || bFrom >= to) {
+                next.push([from, to]);
+                continue;
+            }
+            if (bFrom > from)
+                next.push([from, bFrom]);
+            if (bTo < to)
+                next.push([bTo, to]);
+        }
+        pieces = next;
+    }
+    return pieces;
+}
+/** A piece no longer than one millisecond is a closed end read as open — not a difference. */
+const WIDTH_OF_AN_INSTANT_MS = 1;
+const kept = (pieces) => pieces.filter(([from, to]) => to - from > WIDTH_OF_AN_INSTANT_MS).map(rangeOf);
+/** The parts of `asked` not read, and the parts read not asked. */
+export function rangeDifference(asked, read) {
+    const a = spanOf(asked);
+    const reads = read.map(spanOf);
+    if (a === undefined || reads.some((r) => r === undefined))
+        return undefined;
+    const spans = reads;
+    const missing = kept(minus(a, spans));
+    const extraSpans = [];
+    for (const r of spans)
+        extraSpans.push(...minus(r, [a, ...extraSpans]));
+    return { missing, extra: kept(extraSpans.sort((x, y) => x[0] - y[0])) };
+}
+/**
+ * § 7.4's first row: a look-back sent within the step, whose ONE declared
+ * read has the asked length and starts no earlier than the asked range and no
+ * more than the tool's step later — the tool's own clock ran a little past
+ * `now`. Only forward: dispatch drift never moves a read earlier, so an
+ * earlier read is a read that missed the newest part of what was asked.
+ */
+function lookbackWithinStep(input, read) {
+    const window = input.window;
+    if (read.source !== 'declared' || read.read.length !== 1)
+        return false;
+    if (window?.asked === undefined || input.drift !== undefined)
+        return false;
+    if (!sentLookback(window, input.forms ?? []))
+        return false;
+    const a = spanOf(window.asked);
+    const r = spanOf(read.read[0]);
+    if (a === undefined || r === undefined)
+        return false;
+    const lengthGap = Math.abs(r[1] - r[0] - (a[1] - a[0]));
+    const moved = r[0] - a[0];
+    return lengthGap <= WIDTH_OF_AN_INSTANT_MS && moved >= 0 && moved <= granularityMsOf(input.facts);
+}
+/** What the call read, first found wins (the module table) — `undefined` when nothing says. */
+function readOf(input) {
+    const declared = input.declared ?? [];
+    if (declared.length > 0) {
+        const stepMs = stepMsOf(input.facts?.granularity, FACT_UNITS);
+        try {
+            return { read: declared.map((q) => fromInclusive(q, stepMs)), source: 'declared', stepMs };
+        }
+        catch {
+            return undefined; // a declaration the rule set refused never reaches here; nothing to compare
+        }
+    }
+    const window = input.window;
+    if (window === undefined || window.how === 'refused')
+        return undefined;
+    if (window.sent !== undefined && window.trimmedByTool !== true) {
+        return { read: [window.sent], source: 'sent' };
+    }
+    if (window.asked === undefined)
+        return undefined;
+    const asked = spanOf(window.asked);
+    if (input.drift?.outcome === 'shifted' && asked !== undefined) {
+        const by = input.drift.byMs;
+        return { read: [rangeOf([asked[0] + by, asked[1] + by])], source: 'shifted' };
+    }
+    return { read: [window.asked], source: 'asked' };
+}
+/** The range a call is judged against: the person's window for a model-chosen one, else what it asked. */
+function referenceOf(window) {
+    if (window === undefined || window.how === 'refused')
+        return undefined;
+    if (window.how === 'model-chosen' && window.person !== undefined) {
+        return { against: 'person', asked: { from: window.person.from, to: window.person.to } };
+    }
+    return window.asked === undefined ? undefined : { against: 'asked', asked: window.asked };
+}
+function differsOf(input) {
+    const reference = referenceOf(input.window);
+    const found = readOf(input);
+    if (reference === undefined || found === undefined)
+        return undefined;
+    // Within the step the look-back IS the asked range (§ 7.4) — then judged like one.
+    const read = lookbackWithinStep(input, found) && input.window?.asked !== undefined
+        ? { read: [input.window.asked], source: 'asked' }
+        : found;
+    const difference = rangeDifference(reference.asked, read.read);
+    if (difference === undefined)
+        return undefined;
+    if (difference.missing.length === 0 && difference.extra.length === 0)
+        return undefined;
+    return {
+        against: reference.against,
+        asked: reference.asked,
+        read: read.read,
+        source: read.source,
+        ...(read.stepMs !== undefined && { stepMs: read.stepMs }),
+        missing: difference.missing,
+        extra: difference.extra,
+    };
+}
+/** Where the read lies against `now − retention`: wholly before it, across it, or neither. */
+function retentionOf(input) {
+    if (input.window?.how === 'refused') {
+        return input.window.refused === 'beyond-retention' ? 'beyond' : undefined;
+    }
+    const retention = input.facts?.retention === undefined
+        ? undefined
+        : durationMs(input.facts.retention, FACT_UNITS);
+    const now = msAt(input.now);
+    const read = readOf(input);
+    if (retention === undefined || now === undefined || read === undefined) {
+        return input.window?.partlyBeyondRetention === true ? 'partly' : undefined;
+    }
+    const oldest = now - retention;
+    const spans = read.read.map(spanOf).filter((s) => s !== undefined);
+    if (spans.length > 0 && spans.every(([, to]) => to <= oldest))
+        return 'beyond';
+    if (spans.some(([from, to]) => from < oldest && to > oldest))
+        return 'partly';
+    return input.window?.partlyBeyondRetention === true ? 'partly' : undefined;
+}
+/**
+ * The time layer's result checks on one call (§ 9.2, § 7.4, § 9.4) —
+ * `undefined` when none holds, so an unremarkable call's row gains nothing.
+ */
+export function periodTimeCheck(input) {
+    const differs = differsOf(input);
+    const shifted = input.drift?.outcome === 'shifted' ? { byMs: input.drift.byMs } : undefined;
+    const retention = retentionOf(input);
+    if (differs === undefined && shifted === undefined && retention === undefined)
+        return undefined;
+    return {
+        ...(differs !== undefined && { differs }),
+        ...(shifted !== undefined && { shifted }),
+        ...(retention === 'beyond' && { beyondRetention: true }),
+        ...(retention === 'partly' && { partlyBeyondRetention: true }),
+    };
+}
+//# sourceMappingURL=check.js.map

package/dist/esm/time/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../src/time/check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsEG;AAEH,OAAO,EAAE,SAAS,EAAE,YAAY,EAAoB,MAAM,cAAc,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAsC,MAAM,YAAY,CAAC;AACzF,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,eAAe,EAAqC,MAAM,cAAc,CAAC;AAC9F,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAG1C,4EAA4E;AAE5E,8EAA8E;AAC9E,4EAA4E;AAC5E,yEAAyE;AACzE,+DAA+D;AAC/D,OAAO,EACL,YAAY,EACZ,eAAe,EACf,eAAe,EACf,SAAS,GAKV,MAAM,kBAAkB,CAAC;AA2C1B,MAAM,IAAI,GAAG,CAAC,IAAa,EAAsB,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC;AAEnF,SAAS,MAAM,CAAC,KAAgB;IAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC1B,OAAO,IAAI,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAO;IAC/B,wEAAwE;IACxE,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAgB;QAC5D,EAAE,EAAE,YAAY,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAgB;KACzD,CAAC;AACJ,CAAC;AAED,+DAA+D;AAC/D,SAAS,KAAK,CAAC,CAAO,EAAE,EAAmB;IACzC,IAAI,MAAM,GAAW,CAAC,CAAC,CAAC,CAAC;IACzB,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAW,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC;YAChC,IAAI,GAAG,IAAI,IAAI,IAAI,KAAK,IAAI,EAAE,EAAE,CAAC;gBAC/B,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;gBACtB,SAAS;YACX,CAAC;YACD,IAAI,KAAK,GAAG,IAAI;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YAC3C,IAAI,GAAG,GAAG,EAAE;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACrC,CAAC;QACD,MAAM,GAAG,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,8FAA8F;AAC9F,MAAM,sBAAsB,GAAG,CAAC,CAAC;AAEjC,MAAM,IAAI,GAAG,CAAC,MAAuB,EAAe,EAAE,CACpD,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,IAAI,GAAG,sBAAsB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;AAEjF,mEAAmE;AACnE,MAAM,UAAU,eAAe,CAC7B,KAAgB,EAChB,IAA0B;IAE1B,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IACxB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC/B,IAAI,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5E,MAAM,KAAK,GAAG,KAAe,CAAC;IAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACtC,MAAM,UAAU,GAAW,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACxE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC1E,CAAC;AAED;;;;;;GAMG;AACH,SAAS,kBAAkB,CAAC,KAAuB,EAAE,IAAY;IAC/D,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvE,IAAI,MAAM,EAAE,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC3E,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3D,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAc,CAAC,CAAC;IAC5C,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACrD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1B,OAAO,SAAS,IAAI,sBAAsB,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AACpG,CAAC;AAWD,+FAA+F;AAC/F,SAAS,MAAM,CAAC,KAAuB;IACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC;IACtC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;QAC9D,IAAI,CAAC;YACH,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;QAC7F,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,SAAS,CAAC,CAAC,4EAA4E;QAChG,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACvE,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;QAC/D,OAAO,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACjD,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACjD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,KAAK,CAAC,KAAK,EAAE,OAAO,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAC9D,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;QAC5B,OAAO,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAChF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AACnD,CAAC;AAED,0GAA0G;AAC1G,SAAS,WAAW,CAClB,MAAkC;IAElC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACvE,IAAI,MAAM,CAAC,GAAG,KAAK,cAAc,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACjE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC;IAC1F,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;AAC5F,CAAC;AAED,SAAS,SAAS,CAAC,KAAuB;IACxC,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,SAAS,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACrE,mFAAmF;IACnF,MAAM,IAAI,GACR,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,KAAK,KAAK,SAAS;QACnE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE;QACjD,CAAC,CAAC,KAAK,CAAC;IACZ,MAAM,UAAU,GAAG,eAAe,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC/C,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACvF,OAAO;QACL,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;QACzD,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,KAAK,EAAE,UAAU,CAAC,KAAK;KACxB,CAAC;AACJ,CAAC;AAED,8FAA8F;AAC9F,SAAS,WAAW,CAAC,KAAuB;IAC1C,IAAI,KAAK,CAAC,MAAM,EAAE,GAAG,KAAK,SAAS,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC,MAAM,CAAC,OAAO,KAAK,kBAAkB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,CAAC;IACD,MAAM,SAAS,GACb,KAAK,CAAC,KAAK,EAAE,SAAS,KAAK,SAAS;QAClC,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3B,IAAI,SAAS,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvE,OAAO,KAAK,CAAC,MAAM,EAAE,qBAAqB,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7E,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,GAAG,SAAS,CAAC;IAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAa,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IAC9E,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,MAAM,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC/E,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,MAAM,IAAI,EAAE,GAAG,MAAM,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC9E,OAAO,KAAK,CAAC,MAAM,EAAE,qBAAqB,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,KAAuB;IACrD,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5F,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAChG,OAAO;QACL,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,CAAC;QACzC,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,CAAC;QACzC,GAAG,CAAC,SAAS,KAAK,QAAQ,IAAI,EAAE,eAAe,EAAE,IAAa,EAAE,CAAC;QACjE,GAAG,CAAC,SAAS,KAAK,QAAQ,IAAI,EAAE,qBAAqB,EAAE,IAAa,EAAE,CAAC;KACxE,CAAC;AACJ,CAAC"}