@elaraai/e3-ui 1.0.86 → 1.0.87

package/dist/src/schedule/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/schedule/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;GAOG;AAEH,OAAO,EACH,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EACrH,UAAU,EAAE,WAAW,EAC1B,MAAM,eAAe,CAAC;AAWvB;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB;;;EAAoD,CAAC;AAEzF,yDAAyD;AACzD,MAAM,MAAM,uBAAuB,GAAG,OAAO,uBAAuB,CAAC;AAErE;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB;;;EAAoD,CAAC;AAEtF,sDAAsD;AACtD,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC;AAE/D;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;EAA8E,CAAC;AAE9G,oDAAoD;AACpD,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC;AAE3D;;;;;GAKG;AACH,MAAM,MAAM,uBAAuB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,UAAU,CAAC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,kBAAkB;CAAE,CAAC,CAAC;AAE5H;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,CAAC,SAAS,WAAW,EAAE,UAAU,EAAE,CAAC,GAAG,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAIhH;AAED;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB;;;EAAyD,CAAC;AAExF,mDAAmD;AACnD,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC;AAEzD,uGAAuG;AACvG,eAAO,MAAM,oBAAoB;;;;;;EAAe,CAAC;AAEjD,sDAAsD;AACtD,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC;AAE/D;;;;;;;;GAQG;AACH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;EAMhC,CAAC;AAEH,uDAAuD;AACvD,MAAM,MAAM,qBAAqB,GAAG,OAAO,qBAAqB,CAAC;AAMjE;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;EAU3B,CAAC;AAEH,kDAAkD;AAClD,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC;AAEvD;;;;;;;GAOG;AACH,eAAO,MAAM,sBAAsB;;;EAA+D,CAAC;AAEnG,wDAAwD;AACxD,MAAM,MAAM,sBAAsB,GAAG,OAAO,sBAAsB,CAAC;AAEnE;;;;;;;GAOG;AACH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;EAK9B,CAAC;AAEH,qDAAqD;AACrD,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC;AAE7D;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;EAAgF,CAAC;AAE/G,mDAAmD;AACnD,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC;AAEzD;;;;;;;;;GASG;AACH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;EAO/B,CAAC;AAEH,sDAAsD;AACtD,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC;AAE/D;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,gCAAiC,CAAC;AAEjE,oDAAoD;AACpD,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC;AAE3D;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB;;;EAAkD,CAAC;AAEtF,wDAAwD;AACxD,MAAM,MAAM,sBAAsB,GAAG,OAAO,sBAAsB,CAAC;AAEnE;;;;;;;;;GASG;AACH,eAAO,MAAM,mBAAmB;;;;;EAK9B,CAAC;AAEH,qDAAqD;AACrD,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC;AAE7D;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB;;;EAAmD,CAAC;AAErF,sDAAsD;AACtD,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC;AAE/D,gFAAgF;AAChF,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;EAAwD,CAAC;AACtF,0CAA0C;AAC1C,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC;AAEvD,gFAAgF;AAChF,eAAO,MAAM,iBAAiB;;;;;;EAG5B,CAAC;AAEH;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAgBzB,kFAAkF;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAElF,uCAAuC;;;;;;;;IAEvC,0DAA0D;;;;;IAE1D,wDAAwD;;EAE1D,CAAC;AAEH,kDAAkD;AAClD,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC;AAEvD;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB;;;;EAAmF,CAAC;AAExH,yDAAyD;AACzD,MAAM,MAAM,uBAAuB,GAAG,OAAO,uBAAuB,CAAC;AAErE;;;;;;;GAOG;AACH,eAAO,MAAM,qBAAqB;;;;;;;;;EAKhC,CAAC;AAEH,uDAAuD;AACvD,MAAM,MAAM,qBAAqB,GAAG,OAAO,qBAAqB,CAAC;AAMjE;;;;;;;GAOG;AACH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAK5B,CAAC;AAEH,mDAAmD;AACnD,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC;AAEzD;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAAyD,CAAC;AAExF,mDAAmD;AACnD,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC;AAEzD;;;;;;;;GAQG;AACH,eAAO,MAAM,kBAAkB;;;;EAI7B,CAAC;AAEH,oDAAoD;AACpD,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC;AAE3D;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA5G1B,kFAAkF;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAElF,uCAAuC;;;;;;;;EAoHzC,CAAC;AAEH,mDAAmD;AACnD,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC;AAEzD;;;;;;;;;;GAUG;AACH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;EAQ9B,CAAC;AAEH,qDAAqD;AACrD,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC;AAE7D;;;;;;;;;;GAUG;AACH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAQ5B,CAAC;AAEH,mDAAmD;AACnD,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC"}

package/dist/src/schedule/types.js

@@ -0,0 +1,374 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * `Schedule`'s East types (#1218): what an author meets (`Calendar Spec.md`
+ * §5.1), and the kinds' wire (§5.2) that a builder's payload holds — the
+ * Calendar's, and Plan's builder's (#1190, `Plan Builder Spec.md` §5.2): the
+ * same kinds with Plan's options resolved beside them.
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, BlobType, BooleanType, DateTimeType, DictType, FunctionType, IntegerType, NullType, OptionType, StringType, StructType, VariantType, } from "@elaraai/east";
+import { RecordCommitInfoType } from "@elaraai/e3-types";
+import { EventStateType, StatusTokenType, StatusValueType, TimeStepType } from "@elaraai/east-ui";
+import { EditingReadinessType, EditingType, FieldSpecType } from "@elaraai/east-ui/internal";
+import { PlanDrawType, PlanQuantityType, PlanRollupType } from "../plan/types.js";
+import { RowInspectorType } from "../utils/row-inspector.js";
+// ============================================================================
+// What an author meets
+// ============================================================================
+/**
+ * A resource: its kind's slot name, and its key's text (a String key as it
+ * is, any other key as East prints it).
+ *
+ * @property kind - The resource kind's slot name (`people`)
+ * @property key - The resource's key, as text
+ */
+export const ScheduleResourceRefType = StructType({ kind: StringType, key: StringType });
+/**
+ * An event: its kind's slot name, and its record key's text.
+ *
+ * @property kind - The event kind's slot name (`shift`)
+ * @property key - The event's record key, as text
+ */
+export const ScheduleEventRefType = StructType({ kind: StringType, key: StringType });
+/**
+ * How one case of an event's status shows.
+ *
+ * @property label - Its words
+ * @property tone - Its tone: success, warning, danger, info or neutral
+ * @property ring - Whether it draws as an open ring, as a tentative status does
+ */
+export const ScheduleStatusType = StructType({ label: StringType, tone: StatusTokenType, ring: BooleanType });
+/**
+ * Constructs the status table of a status variant: one
+ * {@link ScheduleStatusType} per case.
+ *
+ * @typeParam V - The status variant
+ * @param statusType - The status variant
+ * @returns A struct with a field per case
+ * @throws {Error} When the type is not a variant
+ */
+export function ScheduleStatusCasesFor(statusType) {
+    if (statusType.type !== "Variant")
+        throw new Error("Schedule.Types.StatusCases: a status is a variant, one case per status");
+    const cases = Object.keys(statusType.cases);
+    return StructType(Object.fromEntries(cases.map((c) => [c, ScheduleStatusType])));
+}
+/**
+ * A time of day: what a template starts at when it is dropped on a whole day.
+ *
+ * @property hour - The hour, 0–23
+ * @property minute - The minute, 0–59
+ */
+export const ScheduleClockType = StructType({ hour: IntegerType, minute: IntegerType });
+/** How long something takes: the time contract's minutes, hours, days, weeks or months, as a Float. */
+export const ScheduleDurationType = TimeStepType;
+/**
+ * Where a drop would put an event: what a builder's `canDrop` is asked.
+ *
+ * @property kind - The event kind's slot name
+ * @property from - What is dropped: a template's key, a backlog row's key, or an event's key
+ * @property start - Where it would start
+ * @property end - Where it would end
+ * @property resource - The resource it would be on, if any
+ */
+export const ScheduleCandidateType = StructType({
+    kind: StringType,
+    from: VariantType({ template: StringType, backlog: StringType, event: StringType }),
+    start: DateTimeType,
+    end: DateTimeType,
+    resource: OptionType(ScheduleResourceRefType),
+});
+// ============================================================================
+// The kinds' wire
+// ============================================================================
+/**
+ * One event, as every view draws it.
+ *
+ * @property kind - Its kind's slot name
+ * @property key - Its record key's text
+ * @property title - Its title
+ * @property start - When it starts; `none` in the backlog
+ * @property end - When it ends; `none` in the backlog
+ * @property resource - The resource it is on, if any
+ * @property status - Its status, as its kind's `status` shows it
+ * @property minutes - Its length in minutes, or a backlog row's duration (a month counts 30 days)
+ * @property due - When it is due, for a backlog row
+ */
+export const ScheduleItemType = StructType({
+    kind: StringType,
+    key: StringType,
+    title: StringType,
+    start: OptionType(DateTimeType),
+    end: OptionType(DateTimeType),
+    resource: OptionType(ScheduleResourceRefType),
+    status: OptionType(ScheduleStatusType),
+    minutes: IntegerType,
+    due: OptionType(DateTimeType),
+});
+/**
+ * One field written into an event: its path, and its new value as bytes at
+ * the field's type — what an inspector edit writes, and each field a library
+ * card's drop sets (#1195).
+ *
+ * @property path - The field's path, a step per struct
+ * @property value - Its new value, as bytes at the field's type
+ */
+export const ScheduleFieldWriteType = StructType({ path: ArrayType(StringType), value: BlobType });
+/**
+ * One gesture, as `write` takes it.
+ *
+ * @property place - A move, a resize or a schedule: the start, the end and the resource
+ * @property unplace - Back to the backlog: no start and no end
+ * @property field - An inspector edit: the field's path and its new value, as bytes at the field's type
+ * @property create - A template dropped: its key, and where the new event goes
+ */
+export const ScheduleGestureType = VariantType({
+    place: StructType({ start: DateTimeType, end: DateTimeType, resource: OptionType(ScheduleResourceRefType) }),
+    unplace: NullType,
+    field: ScheduleFieldWriteType,
+    create: StructType({ template: StringType, start: DateTimeType, end: DateTimeType, resource: OptionType(ScheduleResourceRefType) }),
+});
+/**
+ * One gesture, written into one entry through the kind's field names.
+ *
+ * @property id - The entry's id: its key's text
+ * @property entry - The entry as the gesture finds it, as bytes at the record's entry type; empty for a `create`
+ * @property gesture - The gesture
+ */
+export const ScheduleWriteType = StructType({ id: StringType, entry: BlobType, gesture: ScheduleGestureType });
+/**
+ * One template, as the library lists it and a drop creates from it.
+ *
+ * @property key - Unique within its kind
+ * @property name - The card's name
+ * @property group - The library's group for it
+ * @property at - When it starts if dropped on a whole day
+ * @property duration - How long it runs
+ * @property values - A value for every field but the start, the end and the resource, as bytes
+ */
+export const ScheduleTemplateType = StructType({
+    key: StringType,
+    name: StringType,
+    group: OptionType(StringType),
+    at: OptionType(ScheduleClockType),
+    duration: ScheduleDurationType,
+    values: BlobType,
+});
+/**
+ * The drafts a seam reads, by entry id: each the entry's draft, as bytes at
+ * the kind's draft type (`Editing.Types.DraftField(R)`) — `value` the entry
+ * as drafted, `missing` an entry deleted.
+ */
+export const ScheduleDraftsType = DictType(StringType, BlobType);
+/**
+ * One drafted entry, as a kind's `ready` reads it.
+ *
+ * @property id - The entry's id: its key's text
+ * @property entry - The drafted entry, as bytes at the record's entry type
+ */
+export const ScheduleReadyEntryType = StructType({ id: StringType, entry: BlobType });
+/**
+ * A kind's record read by key, for a kind read a window at a time (#1199):
+ * what its editing session's base is — the record's revision — and how one
+ * event is read without the record whole.
+ *
+ * @property revision - The record's revision, `none` while it resolves: the snapshot every read of the record is at
+ * @property refresh - Moves every read of the record to a revision, or to the one it holds now
+ * @property entry - One event by its key's text: `none` while its read is in flight, `some(none)` for a key the record does not hold, else its row as bytes at the record's entry type
+ * @property last - The record's largest key's text — how a new Integer key is made past every key it holds: `none` while its read is in flight, `some(none)` for an empty record
+ */
+export const ScheduleEntriesType = StructType({
+    revision: FunctionType([], OptionType(StringType)),
+    refresh: FunctionType([OptionType(StringType)], NullType),
+    entry: FunctionType([StringType], OptionType(OptionType(BlobType))),
+    last: FunctionType([], OptionType(OptionType(StringType))),
+});
+/**
+ * Whether two events of a kind on one resource at once are a conflict.
+ *
+ * @property warn - They are: both wear a warn ring, and the overlaps count them (the default)
+ * @property allow - They are not: the kind's events run in parallel
+ */
+export const ScheduleOverlapsType = VariantType({ warn: NullType, allow: NullType });
+/** One event and its full record row, read with the current drafts in place. */
+export const ScheduleReadType = StructType({ item: ScheduleItemType, row: BlobType });
+/** The fields whose edits are owned by the schedule section of an inspector. */
+export const ScheduleRolesType = StructType({
+    title: StringType, start: StringType, end: StringType,
+    resource: OptionType(StringType), status: OptionType(StringType),
+});
+/**
+ * One event kind, closed: every row crosses as bytes at the record's own entry
+ * type, so a builder's payload is one type whatever the records hold.
+ *
+ * @property key - The kind's slot name
+ * @property name - Its name
+ * @property icon - Its Font Awesome icon
+ * @property takes - The resource kinds its events may be on
+ * @property status - How each case of its status shows
+ * @property backlog - Whether its rows with no time are its backlog
+ * @property templates - Its templates, for the library
+ * @property fields - The inspector's form over its other fields (`Fields`)
+ * @property items - Its events overlapping `[from, to)`, the drafts in place; `none` while a read is in flight
+ * @property unscheduled - Its backlog: the rows with no time, the drafts in place
+ * @property write - Each gesture into its entry's new bytes; `none` for a gesture the kind refuses
+ * @property ready - The author's check over drafted entries, one result each
+ * @property editing - The shared session over the record: its entry and key types, and its patch door — its base the record's snapshot, or for a kind read a window at a time (#1199) its revision
+ * @property entries - The record read by key, for a kind read a window at a time (#1199); `none` for a kind read whole
+ * @property history - The record's commits, newest first
+ */
+export const ScheduleKindType = StructType({
+    key: StringType,
+    name: StringType,
+    icon: StringType,
+    takes: ArrayType(StringType),
+    status: ArrayType(StructType({ case: StringType, status: ScheduleStatusType })),
+    backlog: BooleanType,
+    templates: ArrayType(ScheduleTemplateType),
+    fields: ArrayType(FieldSpecType),
+    items: FunctionType([DateTimeType, DateTimeType, ScheduleDraftsType], OptionType(ArrayType(ScheduleItemType))),
+    unscheduled: FunctionType([ScheduleDraftsType], OptionType(ArrayType(ScheduleItemType))),
+    write: FunctionType([ArrayType(ScheduleWriteType)], ArrayType(OptionType(BlobType))),
+    ready: OptionType(FunctionType([ArrayType(ScheduleReadyEntryType)], ArrayType(EditingReadinessType))),
+    editing: EditingType,
+    entries: OptionType(ScheduleEntriesType),
+    history: FunctionType([], OptionType(ArrayType(RecordCommitInfoType))),
+    /** One event and its row, read from the window or by key, with drafts applied. */
+    event: FunctionType([StringType, ScheduleDraftsType, DateTimeType, DateTimeType], OptionType(ScheduleReadType)),
+    /** The inspector's schedule fields. */
+    schedule: ScheduleRolesType,
+    /** Whether this kind participates in overlap warnings. */
+    overlaps: ScheduleOverlapsType,
+    /** The author's form in place of the default fields. */
+    inspector: OptionType(RowInspectorType),
+});
+/**
+ * One resource, resolved.
+ *
+ * @property key - Its key's text
+ * @property label - Its name
+ * @property meta - Its second line
+ */
+export const ScheduleResourceRowType = StructType({ key: StringType, label: StringType, meta: OptionType(StringType) });
+/**
+ * One resource kind, its rows resolved.
+ *
+ * @property key - The kind's slot name
+ * @property name - Its name
+ * @property icon - Its Font Awesome icon
+ * @property rows - Its resources, in key order
+ */
+export const ScheduleResourcesType = StructType({
+    key: StringType,
+    name: StringType,
+    icon: StringType,
+    rows: ArrayType(ScheduleResourceRowType),
+});
+// ============================================================================
+// The kinds as Plan's builder takes them (#1190)
+// ============================================================================
+/**
+ * One event as Plan draws it: what every view draws ({@link ScheduleItemType}),
+ * with its lifecycle, its quantity and its lane.
+ *
+ * @property state - The lifecycle it wears, from its kind's `state` field; confirmed when the kind has none
+ * @property quantity - Its kind's `quantity` field, with the kind's unit and format: what a bar prints and a parent's rollup sums
+ * @property lane - The lane its tile sits in, from its kind's `lane` field
+ */
+export const PlanEventItemType = StructType({
+    ...ScheduleItemType.fields,
+    state: EventStateType,
+    quantity: OptionType(PlanQuantityType),
+    lane: OptionType(StringType),
+});
+/**
+ * One event read by its key, as a Plan's inspector shows it (#1197).
+ *
+ * @property item - The event as Plan draws it
+ * @property row - Its row, as bytes at the record's entry type: what the kind's form and its own inspector read
+ */
+export const PlanEventReadType = StructType({ item: PlanEventItemType, row: BlobType });
+/**
+ * The fields an event kind's roles read on a Plan, by name: what a gesture
+ * writes to change one (a `field` gesture's path), and what the inspector
+ * draws in its own sections rather than in the kind's form.
+ *
+ * @property state - The `EventStateType` field
+ * @property quantity - The `Float` quantity field
+ * @property lane - The `String` lane field
+ */
+export const PlanEventRolesType = StructType({
+    state: OptionType(StringType),
+    quantity: OptionType(StringType),
+    lane: OptionType(StringType),
+});
+/**
+ * One event kind as Plan's builder takes it: the Calendar's closed kind
+ * ({@link ScheduleKindType}), field for field, with how the kind draws and its
+ * roles, its events as Plan draws them, and its own inspector.
+ *
+ * @property draw - How it draws: bars, tiles, chips or marks
+ * @property instant - Whether each of its events is one instant (`at`), its start and its end the same
+ * @property overlaps - Whether two of its events on one resource at once are a conflict
+ * @property roles - The fields its roles read
+ * @property planItems - Its events overlapping `[from, to)` as Plan draws them, the drafts in place; `none` while a read is in flight
+ * @property planUnscheduled - Its backlog as Plan draws it, the drafts in place
+ * @property planEvent - One event by its key's text, the drafts in place (#1197): as Plan draws it, and its row; `none` when there is no such event. A kind read a window at a time (#1199) looks for it first among the rows its windows hold over `[from, to)` — the range the canvas reads, where a gesture's event is drawn — and its backlog's, then reads it by its key, `none` while that read is in flight; a kind read whole takes no notice of the range
+ * @property inspector - Its own inspector for one event (PB60, #1197): the event's row and a writer of the edited row, as bytes, to what the inspector shows in place of the kind's form; `none`, the form
+ */
+export const PlanEventKindType = StructType({
+    ...ScheduleKindType.fields,
+    draw: PlanDrawType,
+    instant: BooleanType,
+    overlaps: ScheduleOverlapsType,
+    roles: PlanEventRolesType,
+    planItems: FunctionType([DateTimeType, DateTimeType, ScheduleDraftsType], OptionType(ArrayType(PlanEventItemType))),
+    planUnscheduled: FunctionType([ScheduleDraftsType], OptionType(ArrayType(PlanEventItemType))),
+    planEvent: FunctionType([StringType, ScheduleDraftsType, DateTimeType, DateTimeType], OptionType(PlanEventReadType)),
+    inspector: OptionType(RowInspectorType),
+});
+/**
+ * One resource as Plan's builder takes it: what every view draws
+ * ({@link ScheduleResourceRowType}), with where it sits and its gutter.
+ *
+ * @property group - The group strip it sits under (a hall); `none` when the kind has no `group`
+ * @property parent - The key's text of the resource of its kind it nests under
+ * @property sub - The gutter's sub line
+ * @property value - The gutter's value slot
+ * @property status - The gutter's status dot
+ * @property collapsed - Whether it starts folded, when it has resources under it
+ */
+export const PlanResourceRowType = StructType({
+    ...ScheduleResourceRowType.fields,
+    group: OptionType(StringType),
+    parent: OptionType(StringType),
+    sub: OptionType(StringType),
+    value: OptionType(StringType),
+    status: OptionType(StatusValueType),
+    collapsed: BooleanType,
+});
+/**
+ * One resource kind as Plan's builder takes it, its rows resolved.
+ *
+ * @property key - The kind's slot name
+ * @property name - Its name
+ * @property icon - Its Font Awesome icon
+ * @property rollup - How a parent's bands roll its children's events up
+ * @property measures - Its measures' keys, in order: the rows under each of its resources, each at its resource's path (#1197)
+ * @property rows - Its resources, in key order — none for a kind paged a window at a time (#1199)
+ * @property byKey - A paged kind's resource by its key's text (#1199): its window's key search for the key, then a one-row page, as Plan's builder takes it — `none` while either is in flight, `some(none)` for a key the kind does not have; `none` for a kind whose rows are listed
+ */
+export const PlanResourcesType = StructType({
+    key: StringType,
+    name: StringType,
+    icon: StringType,
+    rollup: PlanRollupType,
+    measures: ArrayType(StringType),
+    rows: ArrayType(PlanResourceRowType),
+    byKey: OptionType(FunctionType([StringType], OptionType(OptionType(PlanResourceRowType)))),
+});
+//# sourceMappingURL=types.js.map

package/dist/src/schedule/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/schedule/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;GAOG;AAEH,OAAO,EACH,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EACrH,UAAU,EAAE,WAAW,GAC1B,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAClG,OAAO,EAAE,oBAAoB,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC7F,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClF,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAE7D,+EAA+E;AAC/E,uBAAuB;AACvB,+EAA+E;AAE/E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;AAKzF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;AAKtF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,UAAU,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;AAa9G;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CAAwB,UAAa;IACvE,IAAK,UAA+B,CAAC,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAC;IACnJ,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC5C,OAAO,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAmD,CAAC;AACvI,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,UAAU,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;AAKxF,uGAAuG;AACvG,MAAM,CAAC,MAAM,oBAAoB,GAAG,YAAY,CAAC;AAKjD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,UAAU,CAAC;IAC5C,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,WAAW,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IACnF,KAAK,EAAE,YAAY;IACnB,GAAG,EAAE,YAAY;IACjB,QAAQ,EAAE,UAAU,CAAC,uBAAuB,CAAC;CAChD,CAAC,CAAC;AAKH,+EAA+E;AAC/E,kBAAkB;AAClB,+EAA+E;AAE/E;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,UAAU,CAAC;IACvC,IAAI,EAAE,UAAU;IAChB,GAAG,EAAE,UAAU;IACf,KAAK,EAAE,UAAU;IACjB,KAAK,EAAE,UAAU,CAAC,YAAY,CAAC;IAC/B,GAAG,EAAE,UAAU,CAAC,YAAY,CAAC;IAC7B,QAAQ,EAAE,UAAU,CAAC,uBAAuB,CAAC;IAC7C,MAAM,EAAE,UAAU,CAAC,kBAAkB,CAAC;IACtC,OAAO,EAAE,WAAW;IACpB,GAAG,EAAE,UAAU,CAAC,YAAY,CAAC;CAChC,CAAC,CAAC;AAKH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,UAAU,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;AAKnG;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,WAAW,CAAC;IAC3C,KAAK,EAAE,UAAU,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,CAAC,uBAAuB,CAAC,EAAE,CAAC;IAC5G,OAAO,EAAE,QAAQ;IACjB,KAAK,EAAE,sBAAsB;IAC7B,MAAM,EAAE,UAAU,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,CAAC,uBAAuB,CAAC,EAAE,CAAC;CACtI,CAAC,CAAC;AAKH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,UAAU,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC,CAAC;AAK/G;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,UAAU,CAAC;IAC3C,GAAG,EAAE,UAAU;IACf,IAAI,EAAE,UAAU;IAChB,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC;IAC7B,EAAE,EAAE,UAAU,CAAC,iBAAiB,CAAC;IACjC,QAAQ,EAAE,oBAAoB;IAC9B,MAAM,EAAE,QAAQ;CACnB,CAAC,CAAC;AAKH;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;AAKjE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,UAAU,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;AAKtF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,UAAU,CAAC;IAC1C,QAAQ,EAAE,YAAY,CAAC,EAAE,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;IAClD,OAAO,EAAE,YAAY,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,EAAE,QAAQ,CAAC;IACzD,KAAK,EAAE,YAAY,CAAC,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;IACnE,IAAI,EAAE,YAAY,CAAC,EAAE,EAAE,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;CAC7D,CAAC,CAAC;AAKH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;AAKrF,gFAAgF;AAChF,MAAM,CAAC,MAAM,gBAAgB,GAAG,UAAU,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;AAItF,gFAAgF;AAChF,MAAM,CAAC,MAAM,iBAAiB,GAAG,UAAU,CAAC;IACxC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU;IACrD,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC;CACnE,CAAC,CAAC;AAEH;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,UAAU,CAAC;IACvC,GAAG,EAAE,UAAU;IACf,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,UAAU;IAChB,KAAK,EAAE,SAAS,CAAC,UAAU,CAAC;IAC5B,MAAM,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC,CAAC;IAC/E,OAAO,EAAE,WAAW;IACpB,SAAS,EAAE,SAAS,CAAC,oBAAoB,CAAC;IAC1C,MAAM,EAAE,SAAS,CAAC,aAAa,CAAC;IAChC,KAAK,EAAE,YAAY,CAAC,CAAC,YAAY,EAAE,YAAY,EAAE,kBAAkB,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAC9G,WAAW,EAAE,YAAY,CAAC,CAAC,kBAAkB,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACxF,KAAK,EAAE,YAAY,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC,EAAE,SAAS,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;IACpF,KAAK,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC,EAAE,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACrG,OAAO,EAAE,WAAW;IACpB,OAAO,EAAE,UAAU,CAAC,mBAAmB,CAAC;IACxC,OAAO,EAAE,YAAY,CAAC,EAAE,EAAE,UAAU,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACtE,kFAAkF;IAClF,KAAK,EAAE,YAAY,CAAC,CAAC,UAAU,EAAE,kBAAkB,EAAE,YAAY,EAAE,YAAY,CAAC,EAAE,UAAU,CAAC,gBAAgB,CAAC,CAAC;IAC/G,uCAAuC;IACvC,QAAQ,EAAE,iBAAiB;IAC3B,0DAA0D;IAC1D,QAAQ,EAAE,oBAAoB;IAC9B,wDAAwD;IACxD,SAAS,EAAE,UAAU,CAAC,gBAAgB,CAAC;CAC1C,CAAC,CAAC;AAKH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,UAAU,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;AAKxH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,UAAU,CAAC;IAC5C,GAAG,EAAE,UAAU;IACf,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,SAAS,CAAC,uBAAuB,CAAC;CAC3C,CAAC,CAAC;AAKH,+EAA+E;AAC/E,iDAAiD;AACjD,+EAA+E;AAE/E;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,UAAU,CAAC;IACxC,GAAG,gBAAgB,CAAC,MAAM;IAC1B,KAAK,EAAE,cAAc;IACrB,QAAQ,EAAE,UAAU,CAAC,gBAAgB,CAAC;IACtC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC;CAC/B,CAAC,CAAC;AAKH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,UAAU,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;AAKxF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,UAAU,CAAC;IACzC,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC;IAC7B,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC;IAChC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC;CAC/B,CAAC,CAAC;AAKH;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,UAAU,CAAC;IACxC,GAAG,gBAAgB,CAAC,MAAM;IAC1B,IAAI,EAAE,YAAY;IAClB,OAAO,EAAE,WAAW;IACpB,QAAQ,EAAE,oBAAoB;IAC9B,KAAK,EAAE,kBAAkB;IACzB,SAAS,EAAE,YAAY,CAAC,CAAC,YAAY,EAAE,YAAY,EAAE,kBAAkB,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAC;IACnH,eAAe,EAAE,YAAY,CAAC,CAAC,kBAAkB,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAC7F,SAAS,EAAE,YAAY,CAAC,CAAC,UAAU,EAAE,kBAAkB,EAAE,YAAY,EAAE,YAAY,CAAC,EAAE,UAAU,CAAC,iBAAiB,CAAC,CAAC;IACpH,SAAS,EAAE,UAAU,CAAC,gBAAgB,CAAC;CAC1C,CAAC,CAAC;AAKH;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,UAAU,CAAC;IAC1C,GAAG,uBAAuB,CAAC,MAAM;IACjC,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC;IAC7B,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC;IAC9B,GAAG,EAAE,UAAU,CAAC,UAAU,CAAC;IAC3B,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC;IAC7B,MAAM,EAAE,UAAU,CAAC,eAAe,CAAC;IACnC,SAAS,EAAE,WAAW;CACzB,CAAC,CAAC;AAKH;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,UAAU,CAAC;IACxC,GAAG,EAAE,UAAU;IACf,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,UAAU;IAChB,MAAM,EAAE,cAAc;IACtB,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC;IAC/B,IAAI,EAAE,SAAS,CAAC,mBAAmB,CAAC;IACpC,KAAK,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;CAC7F,CAAC,CAAC"}

package/dist/src/schedule/window.d.ts

@@ -0,0 +1,154 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The window reader (#1199, `Calendar Spec.md` decision 9 and §3.4, `Plan
+ * Builder Spec.md` §9.11, PB54): an event kind's large record read a window
+ * at a time, through its record indexes, never whole — the days in view
+ * through an index on the days each event touches (`Schedule.days`), and the
+ * backlog through an index on the rows with no start (`Schedule.unscheduled`).
+ * The Calendar's windowed reads (#1156) and the Plan's are this one reader: a
+ * kind's seams read through it when the kind is given `window` or
+ * `backlogWindow`, and the record whole otherwise.
+ *
+ * - **A window** is a `Data.bindPaged(record, { index, join: true })` handle:
+ *   its pages are the index's entries in the index's own order, each
+ *   `{ ik, key, value, row }`, its `seek` the index's key search, and its
+ *   revision the record's state, so a Save that moves the record moves the
+ *   window, which reads again. Its type is checked at build
+ *   ({@link checkIndexWindow}). Whether it joins each entry to its row can't
+ *   be told from its type, so a read that meets an entry with no row refuses,
+ *   naming `join: true`.
+ * - **The days of `[from, to)`**: the midnight of the first day is sought in
+ *   the index (a `range` from it), and the pages are read from the one holding
+ *   that row — each page from its start to the next page's, at the reader's
+ *   own page size, so the pages a pan read before are the runtime's again —
+ *   until an entry filed under a day the window does not reach, or the
+ *   index's end. An event filed under several of the days is kept once, by
+ *   its key.
+ * - **The backlog**: every page of the backlog index, from its start.
+ * - **One event by its key** — the inspector's, a draft's original, a Save's
+ *   entries read back and a conflict's — through a paged read of the record's
+ *   own entries (`entries`, `Data.bindPaged(record)`): its key sought, then a
+ *   one-row page at the row the search found ({@link scheduleEntryByKey}).
+ *   The index windows can't be sought by the record's key, as their key leads
+ *   with the index's, and a kind can't open a read of the record's own entries
+ *   itself: a paged read is declared where it is bound, which is what lets a
+ *   `ui()` task read it at all.
+ * - **In flight**, the search or a page answers `none`, and so does the read:
+ *   the reader keeps nothing between reads, and the read that asked is asked
+ *   again when it lands.
+ *
+ * @packageDocumentation
+ */
+import { DateTimeType, DictType, NullType, OptionType, StringType, VariantType, type EastType, type ExprType, type FunctionType } from "@elaraai/east";
+/**
+ * How many index entries the reader asks for at a time: each read starts at a
+ * whole multiple of it and ends at the next, so two windows that share a page
+ * share its read.
+ */
+export declare const SCHEDULE_INDEX_PAGE = 256n;
+/** Which of a kind's windows: the days in view, or the backlog. */
+export type ScheduleWindowProp = "window" | "backlogWindow";
+/**
+ * Checks a kind's `window` or `backlogWindow` at build: a paged read of an
+ * index over the kind's own record, whose pages serve the index's entries —
+ * `Array<{ ik, key, value, row: Option<R> }>`, `ik` the index's key (a
+ * `DateTime` day for `window`, an `Option<DateTime>` due date for
+ * `backlogWindow`), `key` the record's key and `row` its row.
+ *
+ * @param window - The window, as the author gave it
+ * @param prop - Which window it is
+ * @param keyType - The record's key type
+ * @param rowType - The record's row type
+ * @param ik - The index key the window's entries are filed under
+ * @param where - The kind, as a refusal names it
+ * @returns The window, as an East expression
+ * @throws {Error} Naming the window, the index it reads through and what it serves instead
+ */
+export declare function checkIndexWindow(window: unknown, prop: ScheduleWindowProp, keyType: EastType, rowType: EastType, ik: EastType, where: string): ExprType<EastType>;
+/**
+ * The words a read refuses a window in when it meets an entry with no row:
+ * the window reads the index alone, not each entry's row.
+ *
+ * @param where - The kind, as a refusal names it
+ * @param prop - Which window it is
+ * @returns The refusal
+ */
+export declare function joinRefusal(where: string, prop: ScheduleWindowProp): string;
+/**
+ * Reads the days of `[from, to)` through a kind's day index (see the module
+ * docs): the rows filed under them, each once, by the record's key.
+ *
+ * @param window - The kind's `window`, checked ({@link checkIndexWindow})
+ * @param keyType - The record's key type
+ * @param rowType - The record's row type
+ * @param where - The kind, as a refusal names it
+ * @returns `(from, to)` → the rows, by key; `none` while the search or a page is in flight
+ */
+export declare function scheduleDayWindow(window: ExprType<EastType>, keyType: EastType, rowType: EastType, where: string): ExprType<FunctionType<[DateTimeType, DateTimeType], OptionType<DictType<EastType, EastType>>>>;
+/**
+ * Reads a kind's backlog through its backlog index (see the module docs):
+ * the rows the index files, each once, by the record's key.
+ *
+ * @param window - The kind's `backlogWindow`, checked ({@link checkIndexWindow})
+ * @param keyType - The record's key type
+ * @param rowType - The record's row type
+ * @param where - The kind, as a refusal names it
+ * @returns `()` → the rows, by key; `none` while a page is in flight
+ */
+export declare function scheduleBacklogWindow(window: ExprType<EastType>, keyType: EastType, rowType: EastType, where: string): ExprType<FunctionType<[], OptionType<DictType<EastType, EastType>>>>;
+/**
+ * Checks a paged read of a record's own entries at build (#1199): the record's
+ * entries by key, `Data.bindPaged(record)`, which names the snapshot its reads
+ * are at — what a kind given `window` reads one event by, and a paged resource
+ * kind its resources.
+ *
+ * @param entries - The read, as the author gave it
+ * @param keyType - The record's key type
+ * @param rowType - The record's row type
+ * @param where - What reads it, as a refusal names it: the option and its kind
+ * @returns The read, as an East expression
+ * @throws {Error} Naming what it serves instead: the entries whole, an index's window, another collection, or a read that names no snapshot
+ */
+export declare function checkEntries(entries: unknown, keyType: EastType, rowType: EastType, where: string): ExprType<EastType>;
+/**
+ * One entry of a record read by its key (#1199): its read still in flight, the
+ * key the record does not hold, or the entry held — its row.
+ *
+ * @param rowType - The record's row type
+ * @returns The variant
+ */
+export declare function ScheduleKeyReadType<R extends EastType>(rowType: R): VariantType<{
+    reading: NullType;
+    absent: NullType;
+    held: R;
+}>;
+/**
+ * Reads one entry of a record by its key through a paged read of the record's
+ * own entries (#1199): the key sought — the `.east` literal of the key its text
+ * names — then a one-row page at the row the search found.
+ *
+ * @param entries - The read, checked ({@link checkEntries})
+ * @param keyType - The record's key type
+ * @param rowType - The record's row type
+ * @returns `(id)` → the entry's row, held; `absent` for a key the record does not hold; `reading` while the search or the page is in flight
+ */
+export declare function scheduleEntryByKey(entries: ExprType<EastType>, keyType: EastType, rowType: EastType): ExprType<FunctionType<[StringType], VariantType<{
+    reading: NullType;
+    absent: NullType;
+    held: EastType;
+}>>>;
+/**
+ * Reads the largest key of a record through a paged read of its own entries
+ * (#1199) — the last entry, as the read serves them in key order: how a new
+ * Integer key is made past every key the record holds, which no window of it
+ * says.
+ *
+ * @param entries - The read, checked ({@link checkEntries})
+ * @param keyType - The record's key type
+ * @returns `()` → `some(some(text))`, the largest key's text; `some(none)` for an empty record; `none` while a read is in flight
+ */
+export declare function scheduleLastKey(entries: ExprType<EastType>, keyType: EastType): ExprType<FunctionType<[], OptionType<OptionType<StringType>>>>;
+//# sourceMappingURL=window.d.ts.map

package/dist/src/schedule/window.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"window.d.ts","sourceRoot":"","sources":["../../../src/schedule/window.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AAEH,OAAO,EACH,YAAY,EAAE,QAAQ,EAA2B,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAC9E,KAAK,QAAQ,EAAE,KAAK,QAAQ,EAAE,KAAK,YAAY,EAClE,MAAM,eAAe,CAAC;AAIvB;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,OAAO,CAAC;AAWxC,mEAAmE;AACnE,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,eAAe,CAAC;AAoB5D;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAC7G,QAAQ,CAAC,QAAQ,CAAC,CAkBpB;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,GAAG,MAAM,CAG3E;AAED;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAC7B,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAChF,QAAQ,CAAC,YAAY,CAAC,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAgEhG;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CACjC,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAChF,QAAQ,CAAC,YAAY,CAAC,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAmCtE;AAaD;;;;;;;;;;;;GAYG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAatH;AASD;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,CAAC,SAAS,QAAQ,EAAE,OAAO,EAAE,CAAC,GAAG,WAAW,CAAC;IAAE,OAAO,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAEjI;AAED;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAC9B,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,GAClE,QAAQ,CAAC,YAAY,CAAC,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC;IAAE,OAAO,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,CAAC,CAAC,CAqC5G;AAED;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAC3B,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,QAAQ,GAC/C,QAAQ,CAAC,YAAY,CAAC,EAAE,EAAE,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAuBhE"}