agentfootprint 9.129.0 → 9.131.0

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

@@ -0,0 +1,113 @@
+/**
+ * core/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:    core/ 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/core/time/check.js

@@ -0,0 +1,252 @@
+/**
+ * core/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:    core/ 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/core/time/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../../src/core/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"}

package/dist/esm/core/time/checkRecord.d.ts

@@ -0,0 +1,74 @@
+/**
+ * core/time/checkRecord — the record half of the result checks (time design
+ * § 9.2, § 9.6, step T8): the shapes a `period` row carries
+ * (`PeriodDiffers`, `ReadSource`), the checkpoint door's tests for them
+ * (`isPeriodDiffers`, `isShifted`), and the two reads over the turn's
+ * wall-clock sources (`distinctSources`, `clocksDiffer`).
+ *
+ * Pattern: pure shapes and guards; no conversion, no drift, no clock.
+ * Role:    split from `check.ts` BY FILE for the synchronous doors — the
+ *          checkpoint door's row test (`coverage/period.ts` ·
+ *          `periodRowIsWellFormed`) is on every agent's graph, and a bundler
+ *          places a whole file there — so this file imports only
+ *          `instant.ts` and the range and zone types (the optional-family
+ *          law, `test/lib/trace-toolpack/browserGraph.test.ts`). `check.ts`
+ *          re-exports every public name.
+ * Emits:   N/A.
+ *
+ * @example
+ * ```ts
+ * clocksDiffer([
+ *   { toolName: 'orders', zone: 'America/New_York' },
+ *   { toolName: 'tickets', zone: 'Europe/Berlin' },
+ * ]); // { tools: ['orders', 'tickets'], zones: ['America/New_York', 'Europe/Berlin'] }
+ * ```
+ */
+import type { TimeRange } from './range.js';
+import type { ZoneName } from './zone.js';
+/** Where a check's read range came from — see the module table. */
+export type ReadSource = 'declared' | 'sent' | 'shifted' | 'asked';
+/**
+ * `period-differs-from-asked` (§ 9.2): the range compared against, what was
+ * read, and the two lists — each piece half-open, in time order, spelled in
+ * UTC. At least one list is non-empty (an empty check is not filed).
+ */
+export interface PeriodDiffers {
+    /** `asked` — the call's asked range; `person` — the person's window, for a window the model chose. */
+    readonly against: 'asked' | 'person';
+    /** The range compared against. */
+    readonly asked: TimeRange;
+    /** What the call read — one range per declared period, else one. */
+    readonly read: readonly TimeRange[];
+    readonly source: ReadSource;
+    /** The step a declared inclusive end was read back with (§ 3.3) — `source: 'declared'` only. */
+    readonly stepMs?: number;
+    /** Asked but not read. */
+    readonly missing: readonly TimeRange[];
+    /** Read but not asked. */
+    readonly extra: readonly TimeRange[];
+}
+/** A dataset of one call whose declared time axis names a zone — a wall-clock source. */
+export interface SourceClock {
+    readonly toolName: string;
+    readonly zone: ZoneName;
+}
+/** `clocks-differ` (§ 9.6): the wall-clock sources of one answer, when they declare different zones. */
+export interface ClocksDiffer {
+    readonly tools: readonly string[];
+    readonly zones: readonly ZoneName[];
+}
+/**
+ * The wall-clock sources of one answer, one per tool and zone in the order
+ * met — the limits block names each. Fresh plain objects.
+ */
+export declare function distinctSources(sources: readonly SourceClock[]): SourceClock[];
+/**
+ * `clocks-differ` (§ 9.6) — the tools and zones when the wall-clock sources
+ * of one answer declare more than one zone; `undefined` otherwise. A label
+ * only: it changes no standing, and every comparison is made on instants.
+ */
+export declare function clocksDiffer(sources: readonly SourceClock[]): ClocksDiffer | undefined;
+/** The checkpoint door's test for a row's {@link PeriodDiffers}. */
+export declare function isPeriodDiffers(value: unknown): value is PeriodDiffers;
+/** The checkpoint door's test for a row's `shifted`. */
+export declare function isShifted(value: unknown): boolean;

package/dist/esm/core/time/checkRecord.js

@@ -0,0 +1,90 @@
+/**
+ * core/time/checkRecord — the record half of the result checks (time design
+ * § 9.2, § 9.6, step T8): the shapes a `period` row carries
+ * (`PeriodDiffers`, `ReadSource`), the checkpoint door's tests for them
+ * (`isPeriodDiffers`, `isShifted`), and the two reads over the turn's
+ * wall-clock sources (`distinctSources`, `clocksDiffer`).
+ *
+ * Pattern: pure shapes and guards; no conversion, no drift, no clock.
+ * Role:    split from `check.ts` BY FILE for the synchronous doors — the
+ *          checkpoint door's row test (`coverage/period.ts` ·
+ *          `periodRowIsWellFormed`) is on every agent's graph, and a bundler
+ *          places a whole file there — so this file imports only
+ *          `instant.ts` and the range and zone types (the optional-family
+ *          law, `test/lib/trace-toolpack/browserGraph.test.ts`). `check.ts`
+ *          re-exports every public name.
+ * Emits:   N/A.
+ *
+ * @example
+ * ```ts
+ * clocksDiffer([
+ *   { toolName: 'orders', zone: 'America/New_York' },
+ *   { toolName: 'tickets', zone: 'Europe/Berlin' },
+ * ]); // { tools: ['orders', 'tickets'], zones: ['America/New_York', 'Europe/Berlin'] }
+ * ```
+ */
+import { instantOf } from './instant.js';
+// ─── Clocks ──────────────────────────────────────────────────────────────
+/**
+ * The wall-clock sources of one answer, one per tool and zone in the order
+ * met — the limits block names each. Fresh plain objects.
+ */
+export function distinctSources(sources) {
+    const seen = new Set();
+    const out = [];
+    for (const s of sources) {
+        const key = JSON.stringify([s.toolName, s.zone]);
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        out.push({ toolName: s.toolName, zone: s.zone });
+    }
+    return out;
+}
+/**
+ * `clocks-differ` (§ 9.6) — the tools and zones when the wall-clock sources
+ * of one answer declare more than one zone; `undefined` otherwise. A label
+ * only: it changes no standing, and every comparison is made on instants.
+ */
+export function clocksDiffer(sources) {
+    const distinct = distinctSources(sources);
+    const zones = [...new Set(distinct.map((s) => s.zone))];
+    if (zones.length < 2)
+        return undefined;
+    return { tools: [...new Set(distinct.map((s) => s.toolName))], zones };
+}
+// ─── The row arm ─────────────────────────────────────────────────────────
+const isRange = (value) => {
+    if (typeof value !== 'object' || value === null)
+        return false;
+    const r = value;
+    const from = instantOf(r.from, 'lenient')?.ms;
+    const to = instantOf(r.to, 'lenient')?.ms;
+    return from !== undefined && to !== undefined && from < to;
+};
+const isRanges = (value) => Array.isArray(value) && value.every(isRange);
+/** The checkpoint door's test for a row's {@link PeriodDiffers}. */
+export function isPeriodDiffers(value) {
+    if (typeof value !== 'object' || value === null || Array.isArray(value))
+        return false;
+    const d = value;
+    return ((d.against === 'asked' || d.against === 'person') &&
+        isRange(d.asked) &&
+        isRanges(d.read) &&
+        d.read.length > 0 &&
+        (d.source === 'declared' ||
+            d.source === 'sent' ||
+            d.source === 'shifted' ||
+            d.source === 'asked') &&
+        (d.stepMs === undefined || (Number.isInteger(d.stepMs) && d.stepMs > 0)) &&
+        isRanges(d.missing) &&
+        isRanges(d.extra) &&
+        d.missing.length + d.extra.length > 0);
+}
+/** The checkpoint door's test for a row's `shifted`. */
+export function isShifted(value) {
+    return (typeof value === 'object' &&
+        value !== null &&
+        Number.isInteger(value.byMs));
+}
+//# sourceMappingURL=checkRecord.js.map

package/dist/esm/core/time/checkRecord.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkRecord.js","sourceRoot":"","sources":["../../../../src/core/time/checkRecord.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AA0CzC,4EAA4E;AAE5E;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,OAA+B;IAC7D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAkB,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACjD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,OAA+B;IAC1D,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACvC,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;AACzE,CAAC;AAED,4EAA4E;AAE5E,MAAM,OAAO,GAAG,CAAC,KAAc,EAAsB,EAAE;IACrD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,CAAC,GAAG,KAAgC,CAAC;IAC3C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC;IAC9C,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC;IAC1C,OAAO,IAAI,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,IAAI,IAAI,GAAG,EAAE,CAAC;AAC7D,CAAC,CAAC;AACF,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAW,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAE3F,oEAAoE;AACpE,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,CAAC,GAAG,KAAgC,CAAC;IAC3C,OAAO,CACL,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,IAAI,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC;QACjD,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;QAChB,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QACf,CAAC,CAAC,IAAkB,CAAC,MAAM,GAAG,CAAC;QAChC,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU;YACtB,CAAC,CAAC,MAAM,KAAK,MAAM;YACnB,CAAC,CAAC,MAAM,KAAK,SAAS;YACtB,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC;QACvB,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAK,CAAC,CAAC,MAAiB,GAAG,CAAC,CAAC,CAAC;QACpF,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;QACnB,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;QAChB,CAAC,CAAC,OAAqB,CAAC,MAAM,GAAI,CAAC,CAAC,KAAmB,CAAC,MAAM,GAAG,CAAC,CACpE,CAAC;AACJ,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,SAAS,CAAC,KAAc;IACtC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,MAAM,CAAC,SAAS,CAAE,KAAiC,CAAC,IAAI,CAAC,CAC1D,CAAC;AACJ,CAAC"}

package/dist/esm/core/time/convert.d.ts

@@ -79,7 +79,8 @@
  */
 import { type DurationText } from './duration.js';
 import { type InstantText } from './instant.js';
-import { type TimeRange } from './range.js';
+import { sameRange, type TimeRange } from './range.js';
+export { sameRange };
 import { type ZoneName } from './zone.js';
 import { type PeriodFacts, type PeriodForm } from './periodForm.js';
 export { BOUND_AS, DEFAULT_GRANULARITY_MS, FACT_UNITS, FORM_KINDS, formArguments, formIssue, isBoundValue, needsZone, parsesUnderForm, PERIOD_SPELLINGS, periodFactProblem, primaryArgument, sugarForm, sugarForms, TIME_REFUSALS, } from './periodForm.js';
@@ -158,8 +159,6 @@ export declare function readBack(args: Readonly<Record<string, unknown>>, form:
     readonly now: InstantText;
     readonly appZone?: ZoneName;
 }): TimeRange | undefined;
-/** Whether two ranges hold the same instants (their spellings and offsets aside). */
-export declare function sameRange(a: TimeRange, b: TimeRange): boolean;
 /**
  * The absolute range a look-back window was sent as to a bounds form —
  * `[now − L, now)`, which reads back one millisecond shorter than the

package/dist/esm/core/time/convert.js

@@ -78,8 +78,11 @@
  * ```
  */
 import { AXIS_UNITS, durationMs, isDuration, LOOKBACK_UNITS, spellDuration, } from './duration.js';
-import { compareInstants, instantOf, spellInstant, utcWallMs, } from './instant.js';
-import { lookbackRange } from './range.js';
+import { instantOf, spellInstant, utcWallMs } from './instant.js';
+import { lookbackRange, sameRange } from './range.js';
+// `sameRange` moved to `range.ts` (the range owner) so the turn's windows
+// (`windows.ts`) read it without this module; re-exported for its callers.
+export { sameRange };
 import { isZoneName, readWall, wallAt } from './zone.js';
 import { dateOf, DEFAULT_GRANULARITY_MS, epochFromText, FACT_UNITS, isPlain, needsZone, wallOf, } from './periodForm.js';
 export { BOUND_AS, DEFAULT_GRANULARITY_MS, FACT_UNITS, FORM_KINDS, formArguments, formIssue, isBoundValue, needsZone, parsesUnderForm, PERIOD_SPELLINGS, periodFactProblem, primaryArgument, sugarForm, sugarForms, TIME_REFUSALS, } from './periodForm.js';
@@ -564,16 +567,6 @@ export function readBack(args, form, ctx) {
     const to = readBound(toValue, 'to', toAs, edge, zone);
     return from === undefined || to === undefined ? undefined : spanRange(from, to);
 }
-/** Whether two ranges hold the same instants (their spellings and offsets aside). */
-export function sameRange(a, b) {
-    const af = instantOf(a.from, 'strict');
-    const at = instantOf(a.to, 'strict');
-    const bf = instantOf(b.from, 'strict');
-    const bt = instantOf(b.to, 'strict');
-    if (af === undefined || at === undefined || bf === undefined || bt === undefined)
-        return false;
-    return compareInstants(af, bf) === 0 && compareInstants(at, bt) === 0;
-}
 /**
  * The absolute range a look-back window was sent as to a bounds form —
  * `[now − L, now)`, which reads back one millisecond shorter than the