@elaraai/east-ui 1.0.74 → 1.0.76

package/dist/src/collections/sheet/index.d.ts

@@ -0,0 +1,207 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * `Sheet` — the planning spreadsheet (`libs/east-ui/docs/proposals/Sheet
+ * Spec.md`): a sheet whose rows are the host's records, whose columns are
+ * TYPED (a date, a quantity with a unit, a register lookup, a directed link
+ * between register members, a stamped read-only code), whose blank tail
+ * invites the next row, and whose copilot fills cells and proposes whole
+ * rows from rules the author writes as East functions.
+ *
+ * The module is the namespace assembler over the split sources:
+ * `types.ts` (the closed wire types + the typed constructors) ·
+ * `columns.ts` (`Sheet.column.*`) · `registers.ts` (`Sheet.register.*`,
+ * `Sheet.driver`) · `link.ts` (`Sheet.link.*`) · `bridge.ts` (the typed
+ * bridge) · `root.ts` (`Sheet.Root`).
+ *
+ * One namespace object per category, the `Plan.series` / `Plan.at` /
+ * `Plan.Types` split, so categories never mix as they grow.
+ *
+ * @packageDocumentation
+ */
+import { type ExprType, type StructType } from "@elaraai/east";
+import { SheetMemberType, SheetLinkType, SheetCellType, SheetRowType, SheetRowsCollectionType, SheetRowsType, SheetRegisterMemberType, SheetRegisterType, SheetDriverType, SheetHalfType, SheetSidesValueType, SheetStoreType, SheetMemberKindType, SheetMultipleType, SheetSideLockType, SheetSidesType, SheetCountedType, SheetContextType, SheetFillType, SheetProposalType, SheetProviderType, SheetProposerType, SheetSuggestType, SheetCheckContextType, SheetCheckType, SheetArityType, SheetColumnKindType, SheetColumnType, SheetViewType, SheetSourceType, SheetEditType, SheetSelectionType, SheetFooterItemType, SheetStyleType, SheetRootType, SheetContextTypeFor, SheetFillTypeFor, SheetPatchTypeFor, SheetProposalTypeFor, SheetEditTypeFor, SheetCheckContextTypeFor, type SheetPatchInput, type SheetPatchOf } from "./types.js";
+import { text, date, quantity, integer, lookup, reference, enumColumn, set, link, stamped, custom } from "./columns.js";
+import { createMembers, concatMembers, createDriver } from "./registers.js";
+import { createArity, check, parseLink, printLink, SheetMembersType, SheetRegisterMembersType } from "./link.js";
+import { createSheet } from "./root.js";
+export { SheetMemberType, SheetLinkType, SheetCellType, SheetRowType, SheetRowsCollectionType, SheetRowsType, SheetRegisterMemberType, SheetRegisterType, SheetDriverType, SheetHalfType, type SheetHalfLiteral, SheetSidesValueType, type SheetSidesLiteral, SheetStoreType, type SheetStoreLiteral, SheetMemberKindType, SheetMultipleType, SheetSideLockType, SheetSidesType, SheetCountedType, SheetContextType, SheetFillType, SheetProposalType, SheetProviderType, SheetProposerType, SheetSuggestType, SheetCheckContextType, SheetCheckType, SheetArityType, SheetColumnKindType, type SheetColumnKindLiteral, SheetColumnType, SheetViewType, SheetSourceType, type SheetSourceLiteral, SheetEditType, SheetSelectionType, SheetFooterItemType, SheetStyleType, SheetRootType, SheetContextTypeFor, SheetFillTypeFor, SheetPatchTypeFor, SheetProposalTypeFor, SheetEditTypeFor, SheetCheckContextTypeFor, type SheetContextOf, type SheetFillOf, type SheetPatchOf, type SheetProposalOf, type SheetEditOf, type SheetCheckContextOf, type SheetPatchInput, type SheetFieldsOf, } from "./types.js";
+export { type SheetColumn, type SheetColumnSpec, type SheetFieldKey, type SheetMemberArrayField, type SheetFillInput, type SheetColumnBaseConfig, type SheetValueConfig, type SheetTextConfig, type SheetDateConfig, type SheetQuantityConfig, type SheetIntegerConfig, type SheetLookupConfig, type SheetReferenceConfig, type SheetEnumConfig, type SheetMemberKindInput, type SheetMultipleInput, type SheetSetConfig, type SheetSidesInput, type SheetLinkConfig, type SheetStampedConfig, type SheetCustomConfig, } from "./columns.js";
+export { type SheetRegisterValue, type SheetMembersConfig, type SheetDriverConfig, type SheetDriverValue, } from "./registers.js";
+export { type SheetArityInput, type SheetCheckInput, type SheetExistsCheck, type SheetLocksInput, SheetMembersType, SheetRegisterMembersType, printMember, linkKeys, } from "./link.js";
+export { type SheetOptions, type SheetSuggestInput, type SheetProposerInput, type SheetStringField, type SheetBindHandle, createSheet, } from "./root.js";
+export { type SheetColumnMeta, describeColumn, optionPayload, cellTagOf } from "./bridge.js";
+/**
+ * Builds a row patch — `Sheet.patch(R, { … })`: the fields a proposal sets,
+ * every other field `none` (§3.6). Takes the literal-record form of `R`'s
+ * fields, each a literal or an expression of the FIELD's type.
+ *
+ * @typeParam R - The host's row type
+ * @param rowType - The row type value
+ * @param record - The fields to set
+ * @returns An expression of `Sheet.Types.Patch(R)`
+ *
+ * @example
+ * ```ts
+ * Sheet.patch(PlanRowType, { activity: "Machining", start: some(endAt.addDays(3n)), qty: ctx.row.qty })
+ * ```
+ */
+export declare function createPatch<R extends StructType>(rowType: R, record: SheetPatchInput<R>): ExprType<SheetPatchOf<R>>;
+/**
+ * The type of the {@link Sheet} namespace. Declared explicitly (rather than
+ * inferred from `as const`) so the declaration emit stays within
+ * TypeScript's serialization limit.
+ */
+export interface SheetNamespace {
+    /** Creates the Sheet root (the `<Sheet>` tag's factory). */
+    Root: typeof createSheet;
+    /** The column builders — each takes the row type first (§3.2). */
+    column: {
+        /** Free text. */
+        text: typeof text;
+        /** A UTC-midnight date with the B§3 grammar. */
+        date: typeof date;
+        /** A float with a unit per driver member. */
+        quantity: typeof quantity;
+        /** A whole number. */
+        integer: typeof integer;
+        /** The driver column — scored candidates from the driver's register. */
+        lookup: typeof lookup;
+        /** A lookup over a flat member list. */
+        reference: typeof reference;
+        /** An upper-cased register word with a valence dot. */
+        enum: typeof enumColumn;
+        /** Comma members — the link grammar without an arrow. */
+        set: typeof set;
+        /** `from > to` — the split cell (§3.4). */
+        link: typeof link;
+        /** A read-only code an upstream system owns. */
+        stamped: typeof stamped;
+        /** An author parse / print pair over the field's payload (§3.9). */
+        custom: typeof custom;
+    };
+    /** Registers — the grammar's vocabulary, projected from the host's rows (§3.3). */
+    register: {
+        /** Members from rows through accessors, reified once; duplicates fold by key. */
+        members: typeof createMembers;
+        /** Joins member sets of different kinds into one register. */
+        concat: typeof concatMembers;
+    };
+    /** The driver declaration — the `lookup` column whose member decides what the row does. */
+    driver: typeof createDriver;
+    /** The link value's helpers (§3.4). */
+    link: {
+        /** A link column's arity rule. */
+        arity: typeof createArity;
+        /** The built-in member checks (`exists`). */
+        check: typeof check;
+        /** The grammar's parse — text and a register's members to a link value. */
+        parse: typeof parseLink;
+        /** The grammar's print — a link value to the planner's text. */
+        print: typeof printLink;
+    };
+    /** A row patch — the fields a proposal sets (§3.6). */
+    patch: typeof createPatch;
+    /** The Sheet East types — the closed wire types and the typed constructors. */
+    Types: {
+        /** The Sheet root IR ({@link SheetRootType}). */
+        Root: typeof SheetRootType;
+        /** One wire row — id, `owned`, one cell per declared column ({@link SheetRowType}). */
+        Row: typeof SheetRowType;
+        /** The sheet's row collection ({@link SheetRowsCollectionType}). */
+        Rows: typeof SheetRowsCollectionType;
+        /** How the rows arrive — inline or paged ({@link SheetRowsType}). */
+        RowSource: typeof SheetRowsType;
+        /** One cell — the literal cell plus the typed link ({@link SheetCellType}). */
+        Cell: typeof SheetCellType;
+        /** The typed link value — `{ from, to }` member lists ({@link SheetLinkType}). */
+        Link: typeof SheetLinkType;
+        /** One link member ({@link SheetMemberType}). */
+        Member: typeof SheetMemberType;
+        /** A list of link members. */
+        Members: typeof SheetMembersType;
+        /** A count of a countable member ({@link SheetCountedType}). */
+        Counted: typeof SheetCountedType;
+        /** Which halves a driver member makes live ({@link SheetSidesValueType}). */
+        Sides: typeof SheetSidesValueType;
+        /** One half of a link ({@link SheetHalfType}). */
+        Half: typeof SheetHalfType;
+        /** How a `String`-backed link writes back ({@link SheetStoreType}). */
+        Store: typeof SheetStoreType;
+        /** One register member ({@link SheetRegisterMemberType}). */
+        RegisterMember: typeof SheetRegisterMemberType;
+        /** A list of register members — what `Sheet.link.parse` resolves against. */
+        RegisterMembers: typeof SheetRegisterMembersType;
+        /** One register ({@link SheetRegisterType}). */
+        Register: typeof SheetRegisterType;
+        /** The driver ({@link SheetDriverType}). */
+        Driver: typeof SheetDriverType;
+        /** One member kind a link column accepts ({@link SheetMemberKindType}). */
+        MemberKind: typeof SheetMemberKindType;
+        /** The counted-member grammar ({@link SheetMultipleType}). */
+        Multiple: typeof SheetMultipleType;
+        /** One lock rule ({@link SheetSideLockType}). */
+        SideLock: typeof SheetSideLockType;
+        /** A link column's applied sides declaration ({@link SheetSidesType}). */
+        SidesDeclaration: typeof SheetSidesType;
+        /** One declared column ({@link SheetColumnType}). */
+        Column: typeof SheetColumnType;
+        /** The column kind ({@link SheetColumnKindType}). */
+        ColumnKind: typeof SheetColumnKindType;
+        /** The WIRE copilot context ({@link SheetContextType}); authors use `Context(R, D)`. */
+        WireContext: typeof SheetContextType;
+        /** The WIRE fill ({@link SheetFillType}); authors use `Fill(T)`. */
+        WireFill: typeof SheetFillType;
+        /** The WIRE proposal ({@link SheetProposalType}); authors use `Proposal(R)`. */
+        WireProposal: typeof SheetProposalType;
+        /** A fill provider on the wire — sync or async ({@link SheetProviderType}). */
+        Provider: typeof SheetProviderType;
+        /** A row proposer on the wire ({@link SheetProposerType}). */
+        Proposer: typeof SheetProposerType;
+        /** The row-proposal declaration ({@link SheetSuggestType}). */
+        Suggest: typeof SheetSuggestType;
+        /** The WIRE check context ({@link SheetCheckContextType}); authors use `CheckContext(R)`. */
+        WireCheckContext: typeof SheetCheckContextType;
+        /** One member check ({@link SheetCheckType}). */
+        Check: typeof SheetCheckType;
+        /** A link column's arity rule on the wire ({@link SheetArityType}). */
+        Arity: typeof SheetArityType;
+        /** One saved view ({@link SheetViewType}). */
+        View: typeof SheetViewType;
+        /** Where an edit came from ({@link SheetSourceType}). */
+        Source: typeof SheetSourceType;
+        /** The WIRE edit event ({@link SheetEditType}); authors use `Edit(R)`. */
+        WireEdit: typeof SheetEditType;
+        /** The selection ring's position ({@link SheetSelectionType}). */
+        Selection: typeof SheetSelectionType;
+        /** One footer item ({@link SheetFooterItemType}). */
+        FooterItem: typeof SheetFooterItemType;
+        /** The Sheet style ({@link SheetStyleType}). */
+        Style: typeof SheetStyleType;
+        /** `Context(R, D)` — the copilot context typed over the host's row and the driver's ({@link SheetContextTypeFor}). */
+        Context: typeof SheetContextTypeFor;
+        /** `Fill(T)` — a proposed value of a column's payload ({@link SheetFillTypeFor}). */
+        Fill: typeof SheetFillTypeFor;
+        /** `Patch(R)` — a row patch, every field an `Option` ({@link SheetPatchTypeFor}). */
+        Patch: typeof SheetPatchTypeFor;
+        /** `Proposal(R)` — a patch plus its provenance ({@link SheetProposalTypeFor}). */
+        Proposal: typeof SheetProposalTypeFor;
+        /** `Edit(R)` — the raw edit event typed over the row ({@link SheetEditTypeFor}). */
+        Edit: typeof SheetEditTypeFor;
+        /** `CheckContext(R)` — what an author's member check sees ({@link SheetCheckContextTypeFor}). */
+        CheckContext: typeof SheetCheckContextTypeFor;
+    };
+}
+/**
+ * The `Sheet` namespace — the planning spreadsheet. Assemble a sheet with
+ * `Sheet.Root` (the `<Sheet>` tag), declare columns with `Sheet.column.*`
+ * (row type first), registers with `Sheet.register.members` / `.concat` and
+ * the driver with `Sheet.driver`, link rules with `Sheet.link.*`, proposed
+ * rows with `Sheet.patch`, and reach every East type — the closed wire types
+ * and the typed constructors `Context(R, D)` / `Fill(T)` / `Patch(R)` /
+ * `Proposal(R)` / `Edit(R)` / `CheckContext(R)` — via `Sheet.Types.*`.
+ */
+export declare const Sheet: SheetNamespace;
+//# sourceMappingURL=index.d.ts.map

package/dist/src/collections/sheet/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/collections/sheet/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAEH,KAAK,QAAQ,EAGb,KAAK,UAAU,EAGlB,MAAM,eAAe,CAAC;AAEvB,OAAO,EACH,eAAe,EACf,aAAa,EACb,aAAa,EACb,YAAY,EACZ,uBAAuB,EACvB,aAAa,EACb,uBAAuB,EACvB,iBAAiB,EACjB,eAAe,EACf,aAAa,EACb,mBAAmB,EACnB,cAAc,EACd,mBAAmB,EACnB,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,EACb,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,eAAe,EACf,aAAa,EACb,eAAe,EACf,aAAa,EACb,kBAAkB,EAClB,mBAAmB,EACnB,cAAc,EACd,aAAa,EACb,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,EACjB,oBAAoB,EACpB,gBAAgB,EAChB,wBAAwB,EACxB,KAAK,eAAe,EACpB,KAAK,YAAY,EACpB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACxH,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC5E,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,WAAW,CAAC;AACjH,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAGxC,OAAO,EACH,eAAe,EACf,aAAa,EACb,aAAa,EACb,YAAY,EACZ,uBAAuB,EACvB,aAAa,EACb,uBAAuB,EACvB,iBAAiB,EACjB,eAAe,EACf,aAAa,EACb,KAAK,gBAAgB,EACrB,mBAAmB,EACnB,KAAK,iBAAiB,EACtB,cAAc,EACd,KAAK,iBAAiB,EACtB,mBAAmB,EACnB,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,EACb,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,KAAK,sBAAsB,EAC3B,eAAe,EACf,aAAa,EACb,eAAe,EACf,KAAK,kBAAkB,EACvB,aAAa,EACb,kBAAkB,EAClB,mBAAmB,EACnB,cAAc,EACd,aAAa,EACb,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,EACjB,oBAAoB,EACpB,gBAAgB,EAChB,wBAAwB,EACxB,KAAK,cAAc,EACnB,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,mBAAmB,EACxB,KAAK,eAAe,EACpB,KAAK,aAAa,GACrB,MAAM,YAAY,CAAC;AACpB,OAAO,EACH,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,qBAAqB,EAC1B,KAAK,cAAc,EACnB,KAAK,qBAAqB,EAC1B,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,mBAAmB,EACxB,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,EACtB,KAAK,oBAAoB,EACzB,KAAK,eAAe,EACpB,KAAK,oBAAoB,EACzB,KAAK,kBAAkB,EACvB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,GACzB,MAAM,cAAc,CAAC;AACtB,OAAO,EACH,KAAK,kBAAkB,EACvB,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,GACxB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACH,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,gBAAgB,EAChB,wBAAwB,EACxB,WAAW,EACX,QAAQ,GACX,MAAM,WAAW,CAAC;AACnB,OAAO,EACH,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,WAAW,GACd,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,KAAK,eAAe,EAAE,cAAc,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAM7F;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,UAAU,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAQnH;AAMD;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC3B,4DAA4D;IAC5D,IAAI,EAAE,OAAO,WAAW,CAAC;IACzB,kEAAkE;IAClE,MAAM,EAAE;QACJ,iBAAiB;QACjB,IAAI,EAAE,OAAO,IAAI,CAAC;QAClB,gDAAgD;QAChD,IAAI,EAAE,OAAO,IAAI,CAAC;QAClB,6CAA6C;QAC7C,QAAQ,EAAE,OAAO,QAAQ,CAAC;QAC1B,sBAAsB;QACtB,OAAO,EAAE,OAAO,OAAO,CAAC;QACxB,wEAAwE;QACxE,MAAM,EAAE,OAAO,MAAM,CAAC;QACtB,wCAAwC;QACxC,SAAS,EAAE,OAAO,SAAS,CAAC;QAC5B,uDAAuD;QACvD,IAAI,EAAE,OAAO,UAAU,CAAC;QACxB,yDAAyD;QACzD,GAAG,EAAE,OAAO,GAAG,CAAC;QAChB,2CAA2C;QAC3C,IAAI,EAAE,OAAO,IAAI,CAAC;QAClB,gDAAgD;QAChD,OAAO,EAAE,OAAO,OAAO,CAAC;QACxB,oEAAoE;QACpE,MAAM,EAAE,OAAO,MAAM,CAAC;KACzB,CAAC;IACF,mFAAmF;IACnF,QAAQ,EAAE;QACN,iFAAiF;QACjF,OAAO,EAAE,OAAO,aAAa,CAAC;QAC9B,8DAA8D;QAC9D,MAAM,EAAE,OAAO,aAAa,CAAC;KAChC,CAAC;IACF,2FAA2F;IAC3F,MAAM,EAAE,OAAO,YAAY,CAAC;IAC5B,uCAAuC;IACvC,IAAI,EAAE;QACF,kCAAkC;QAClC,KAAK,EAAE,OAAO,WAAW,CAAC;QAC1B,6CAA6C;QAC7C,KAAK,EAAE,OAAO,KAAK,CAAC;QACpB,2EAA2E;QAC3E,KAAK,EAAE,OAAO,SAAS,CAAC;QACxB,gEAAgE;QAChE,KAAK,EAAE,OAAO,SAAS,CAAC;KAC3B,CAAC;IACF,uDAAuD;IACvD,KAAK,EAAE,OAAO,WAAW,CAAC;IAC1B,+EAA+E;IAC/E,KAAK,EAAE;QACH,iDAAiD;QACjD,IAAI,EAAE,OAAO,aAAa,CAAC;QAC3B,uFAAuF;QACvF,GAAG,EAAE,OAAO,YAAY,CAAC;QACzB,oEAAoE;QACpE,IAAI,EAAE,OAAO,uBAAuB,CAAC;QACrC,qEAAqE;QACrE,SAAS,EAAE,OAAO,aAAa,CAAC;QAChC,+EAA+E;QAC/E,IAAI,EAAE,OAAO,aAAa,CAAC;QAC3B,kFAAkF;QAClF,IAAI,EAAE,OAAO,aAAa,CAAC;QAC3B,iDAAiD;QACjD,MAAM,EAAE,OAAO,eAAe,CAAC;QAC/B,8BAA8B;QAC9B,OAAO,EAAE,OAAO,gBAAgB,CAAC;QACjC,gEAAgE;QAChE,OAAO,EAAE,OAAO,gBAAgB,CAAC;QACjC,6EAA6E;QAC7E,KAAK,EAAE,OAAO,mBAAmB,CAAC;QAClC,kDAAkD;QAClD,IAAI,EAAE,OAAO,aAAa,CAAC;QAC3B,uEAAuE;QACvE,KAAK,EAAE,OAAO,cAAc,CAAC;QAC7B,6DAA6D;QAC7D,cAAc,EAAE,OAAO,uBAAuB,CAAC;QAC/C,6EAA6E;QAC7E,eAAe,EAAE,OAAO,wBAAwB,CAAC;QACjD,gDAAgD;QAChD,QAAQ,EAAE,OAAO,iBAAiB,CAAC;QACnC,4CAA4C;QAC5C,MAAM,EAAE,OAAO,eAAe,CAAC;QAC/B,2EAA2E;QAC3E,UAAU,EAAE,OAAO,mBAAmB,CAAC;QACvC,8DAA8D;QAC9D,QAAQ,EAAE,OAAO,iBAAiB,CAAC;QACnC,iDAAiD;QACjD,QAAQ,EAAE,OAAO,iBAAiB,CAAC;QACnC,0EAA0E;QAC1E,gBAAgB,EAAE,OAAO,cAAc,CAAC;QACxC,qDAAqD;QACrD,MAAM,EAAE,OAAO,eAAe,CAAC;QAC/B,qDAAqD;QACrD,UAAU,EAAE,OAAO,mBAAmB,CAAC;QACvC,wFAAwF;QACxF,WAAW,EAAE,OAAO,gBAAgB,CAAC;QACrC,oEAAoE;QACpE,QAAQ,EAAE,OAAO,aAAa,CAAC;QAC/B,gFAAgF;QAChF,YAAY,EAAE,OAAO,iBAAiB,CAAC;QACvC,+EAA+E;QAC/E,QAAQ,EAAE,OAAO,iBAAiB,CAAC;QACnC,8DAA8D;QAC9D,QAAQ,EAAE,OAAO,iBAAiB,CAAC;QACnC,+DAA+D;QAC/D,OAAO,EAAE,OAAO,gBAAgB,CAAC;QACjC,6FAA6F;QAC7F,gBAAgB,EAAE,OAAO,qBAAqB,CAAC;QAC/C,iDAAiD;QACjD,KAAK,EAAE,OAAO,cAAc,CAAC;QAC7B,uEAAuE;QACvE,KAAK,EAAE,OAAO,cAAc,CAAC;QAC7B,8CAA8C;QAC9C,IAAI,EAAE,OAAO,aAAa,CAAC;QAC3B,yDAAyD;QACzD,MAAM,EAAE,OAAO,eAAe,CAAC;QAC/B,0EAA0E;QAC1E,QAAQ,EAAE,OAAO,aAAa,CAAC;QAC/B,kEAAkE;QAClE,SAAS,EAAE,OAAO,kBAAkB,CAAC;QACrC,qDAAqD;QACrD,UAAU,EAAE,OAAO,mBAAmB,CAAC;QACvC,gDAAgD;QAChD,KAAK,EAAE,OAAO,cAAc,CAAC;QAC7B,sHAAsH;QACtH,OAAO,EAAE,OAAO,mBAAmB,CAAC;QACpC,qFAAqF;QACrF,IAAI,EAAE,OAAO,gBAAgB,CAAC;QAC9B,qFAAqF;QACrF,KAAK,EAAE,OAAO,iBAAiB,CAAC;QAChC,kFAAkF;QAClF,QAAQ,EAAE,OAAO,oBAAoB,CAAC;QACtC,oFAAoF;QACpF,IAAI,EAAE,OAAO,gBAAgB,CAAC;QAC9B,iGAAiG;QACjG,YAAY,EAAE,OAAO,wBAAwB,CAAC;KACjD,CAAC;CACL;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,KAAK,EAAE,cAoDnB,CAAC"}

package/dist/src/collections/sheet/index.js

@@ -0,0 +1,126 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * `Sheet` — the planning spreadsheet (`libs/east-ui/docs/proposals/Sheet
+ * Spec.md`): a sheet whose rows are the host's records, whose columns are
+ * TYPED (a date, a quantity with a unit, a register lookup, a directed link
+ * between register members, a stamped read-only code), whose blank tail
+ * invites the next row, and whose copilot fills cells and proposes whole
+ * rows from rules the author writes as East functions.
+ *
+ * The module is the namespace assembler over the split sources:
+ * `types.ts` (the closed wire types + the typed constructors) ·
+ * `columns.ts` (`Sheet.column.*`) · `registers.ts` (`Sheet.register.*`,
+ * `Sheet.driver`) · `link.ts` (`Sheet.link.*`) · `bridge.ts` (the typed
+ * bridge) · `root.ts` (`Sheet.Root`).
+ *
+ * One namespace object per category, the `Plan.series` / `Plan.at` /
+ * `Plan.Types` split, so categories never mix as they grow.
+ *
+ * @packageDocumentation
+ */
+import { East, some, none, } from "@elaraai/east";
+import { SheetMemberType, SheetLinkType, SheetCellType, SheetRowType, SheetRowsCollectionType, SheetRowsType, SheetRegisterMemberType, SheetRegisterType, SheetDriverType, SheetHalfType, SheetSidesValueType, SheetStoreType, SheetMemberKindType, SheetMultipleType, SheetSideLockType, SheetSidesType, SheetCountedType, SheetContextType, SheetFillType, SheetProposalType, SheetProviderType, SheetProposerType, SheetSuggestType, SheetCheckContextType, SheetCheckType, SheetArityType, SheetColumnKindType, SheetColumnType, SheetViewType, SheetSourceType, SheetEditType, SheetSelectionType, SheetFooterItemType, SheetStyleType, SheetRootType, SheetContextTypeFor, SheetFillTypeFor, SheetPatchTypeFor, SheetProposalTypeFor, SheetEditTypeFor, SheetCheckContextTypeFor, } from "./types.js";
+import { text, date, quantity, integer, lookup, reference, enumColumn, set, link, stamped, custom } from "./columns.js";
+import { createMembers, concatMembers, createDriver } from "./registers.js";
+import { createArity, check, parseLink, printLink, SheetMembersType, SheetRegisterMembersType } from "./link.js";
+import { createSheet } from "./root.js";
+// Re-export the UIComp-free types so consumers reach everything via this barrel.
+export { SheetMemberType, SheetLinkType, SheetCellType, SheetRowType, SheetRowsCollectionType, SheetRowsType, SheetRegisterMemberType, SheetRegisterType, SheetDriverType, SheetHalfType, SheetSidesValueType, SheetStoreType, SheetMemberKindType, SheetMultipleType, SheetSideLockType, SheetSidesType, SheetCountedType, SheetContextType, SheetFillType, SheetProposalType, SheetProviderType, SheetProposerType, SheetSuggestType, SheetCheckContextType, SheetCheckType, SheetArityType, SheetColumnKindType, SheetColumnType, SheetViewType, SheetSourceType, SheetEditType, SheetSelectionType, SheetFooterItemType, SheetStyleType, SheetRootType, SheetContextTypeFor, SheetFillTypeFor, SheetPatchTypeFor, SheetProposalTypeFor, SheetEditTypeFor, SheetCheckContextTypeFor, } from "./types.js";
+export {} from "./columns.js";
+export {} from "./registers.js";
+export { SheetMembersType, SheetRegisterMembersType, printMember, linkKeys, } from "./link.js";
+export { createSheet, } from "./root.js";
+export { describeColumn, optionPayload, cellTagOf } from "./bridge.js";
+// ============================================================================
+// Sheet.patch
+// ============================================================================
+/**
+ * Builds a row patch — `Sheet.patch(R, { … })`: the fields a proposal sets,
+ * every other field `none` (§3.6). Takes the literal-record form of `R`'s
+ * fields, each a literal or an expression of the FIELD's type.
+ *
+ * @typeParam R - The host's row type
+ * @param rowType - The row type value
+ * @param record - The fields to set
+ * @returns An expression of `Sheet.Types.Patch(R)`
+ *
+ * @example
+ * ```ts
+ * Sheet.patch(PlanRowType, { activity: "Machining", start: some(endAt.addDays(3n)), qty: ctx.row.qty })
+ * ```
+ */
+export function createPatch(rowType, record) {
+    const patchType = SheetPatchTypeFor(rowType);
+    const fields = {};
+    const rec = record;
+    for (const name of Object.keys(rowType.fields)) {
+        fields[name] = rec[name] !== undefined ? some(rec[name]) : none;
+    }
+    return East.value(fields, patchType);
+}
+/**
+ * The `Sheet` namespace — the planning spreadsheet. Assemble a sheet with
+ * `Sheet.Root` (the `<Sheet>` tag), declare columns with `Sheet.column.*`
+ * (row type first), registers with `Sheet.register.members` / `.concat` and
+ * the driver with `Sheet.driver`, link rules with `Sheet.link.*`, proposed
+ * rows with `Sheet.patch`, and reach every East type — the closed wire types
+ * and the typed constructors `Context(R, D)` / `Fill(T)` / `Patch(R)` /
+ * `Proposal(R)` / `Edit(R)` / `CheckContext(R)` — via `Sheet.Types.*`.
+ */
+export const Sheet = {
+    Root: createSheet,
+    column: { text, date, quantity, integer, lookup, reference, enum: enumColumn, set, link, stamped, custom },
+    register: { members: createMembers, concat: concatMembers },
+    driver: createDriver,
+    link: { arity: createArity, check, parse: parseLink, print: printLink },
+    patch: createPatch,
+    Types: {
+        Root: SheetRootType,
+        Row: SheetRowType,
+        Rows: SheetRowsCollectionType,
+        RowSource: SheetRowsType,
+        Cell: SheetCellType,
+        Link: SheetLinkType,
+        Member: SheetMemberType,
+        Members: SheetMembersType,
+        Counted: SheetCountedType,
+        Sides: SheetSidesValueType,
+        Half: SheetHalfType,
+        Store: SheetStoreType,
+        RegisterMember: SheetRegisterMemberType,
+        RegisterMembers: SheetRegisterMembersType,
+        Register: SheetRegisterType,
+        Driver: SheetDriverType,
+        MemberKind: SheetMemberKindType,
+        Multiple: SheetMultipleType,
+        SideLock: SheetSideLockType,
+        SidesDeclaration: SheetSidesType,
+        Column: SheetColumnType,
+        ColumnKind: SheetColumnKindType,
+        WireContext: SheetContextType,
+        WireFill: SheetFillType,
+        WireProposal: SheetProposalType,
+        Provider: SheetProviderType,
+        Proposer: SheetProposerType,
+        Suggest: SheetSuggestType,
+        WireCheckContext: SheetCheckContextType,
+        Check: SheetCheckType,
+        Arity: SheetArityType,
+        View: SheetViewType,
+        Source: SheetSourceType,
+        WireEdit: SheetEditType,
+        Selection: SheetSelectionType,
+        FooterItem: SheetFooterItemType,
+        Style: SheetStyleType,
+        Context: SheetContextTypeFor,
+        Fill: SheetFillTypeFor,
+        Patch: SheetPatchTypeFor,
+        Proposal: SheetProposalTypeFor,
+        Edit: SheetEditTypeFor,
+        CheckContext: SheetCheckContextTypeFor,
+    },
+};
+//# sourceMappingURL=index.js.map

package/dist/src/collections/sheet/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/collections/sheet/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAIH,IAAI,EAEJ,IAAI,EACJ,IAAI,GACP,MAAM,eAAe,CAAC;AAEvB,OAAO,EACH,eAAe,EACf,aAAa,EACb,aAAa,EACb,YAAY,EACZ,uBAAuB,EACvB,aAAa,EACb,uBAAuB,EACvB,iBAAiB,EACjB,eAAe,EACf,aAAa,EACb,mBAAmB,EACnB,cAAc,EACd,mBAAmB,EACnB,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,EACb,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,eAAe,EACf,aAAa,EACb,eAAe,EACf,aAAa,EACb,kBAAkB,EAClB,mBAAmB,EACnB,cAAc,EACd,aAAa,EACb,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,EACjB,oBAAoB,EACpB,gBAAgB,EAChB,wBAAwB,GAG3B,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACxH,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC5E,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,WAAW,CAAC;AACjH,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAExC,iFAAiF;AACjF,OAAO,EACH,eAAe,EACf,aAAa,EACb,aAAa,EACb,YAAY,EACZ,uBAAuB,EACvB,aAAa,EACb,uBAAuB,EACvB,iBAAiB,EACjB,eAAe,EACf,aAAa,EAEb,mBAAmB,EAEnB,cAAc,EAEd,mBAAmB,EACnB,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,EACb,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,cAAc,EACd,cAAc,EACd,mBAAmB,EAEnB,eAAe,EACf,aAAa,EACb,eAAe,EAEf,aAAa,EACb,kBAAkB,EAClB,mBAAmB,EACnB,cAAc,EACd,aAAa,EACb,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,EACjB,oBAAoB,EACpB,gBAAgB,EAChB,wBAAwB,GAS3B,MAAM,YAAY,CAAC;AACpB,OAAO,EAsBN,MAAM,cAAc,CAAC;AACtB,OAAO,EAKN,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAKH,gBAAgB,EAChB,wBAAwB,EACxB,WAAW,EACX,QAAQ,GACX,MAAM,WAAW,CAAC;AACnB,OAAO,EAMH,WAAW,GACd,MAAM,WAAW,CAAC;AACnB,OAAO,EAAwB,cAAc,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7F,+EAA+E;AAC/E,cAAc;AACd,+EAA+E;AAE/E;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,WAAW,CAAuB,OAAU,EAAE,MAA0B;IACpF,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAC7C,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,MAAM,GAAG,GAAG,MAAiC,CAAC;IAC9C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAkC,CAAC,EAAE,CAAC;QACzE,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAiC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpG,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,MAAe,EAAE,SAAS,CAA8B,CAAC;AAC/E,CAAC;AAwJD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,KAAK,GAAmB;IACjC,IAAI,EAAE,WAAW;IACjB,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE;IAC1G,QAAQ,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,EAAE;IAC3D,MAAM,EAAE,YAAY;IACpB,IAAI,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE;IACvE,KAAK,EAAE,WAAW;IAClB,KAAK,EAAE;QACH,IAAI,EAAE,aAAa;QACnB,GAAG,EAAE,YAAY;QACjB,IAAI,EAAE,uBAAuB;QAC7B,SAAS,EAAE,aAAa;QACxB,IAAI,EAAE,aAAa;QACnB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gBAAgB;QACzB,OAAO,EAAE,gBAAgB;QACzB,KAAK,EAAE,mBAAmB;QAC1B,IAAI,EAAE,aAAa;QACnB,KAAK,EAAE,cAAc;QACrB,cAAc,EAAE,uBAAuB;QACvC,eAAe,EAAE,wBAAwB;QACzC,QAAQ,EAAE,iBAAiB;QAC3B,MAAM,EAAE,eAAe;QACvB,UAAU,EAAE,mBAAmB;QAC/B,QAAQ,EAAE,iBAAiB;QAC3B,QAAQ,EAAE,iBAAiB;QAC3B,gBAAgB,EAAE,cAAc;QAChC,MAAM,EAAE,eAAe;QACvB,UAAU,EAAE,mBAAmB;QAC/B,WAAW,EAAE,gBAAgB;QAC7B,QAAQ,EAAE,aAAa;QACvB,YAAY,EAAE,iBAAiB;QAC/B,QAAQ,EAAE,iBAAiB;QAC3B,QAAQ,EAAE,iBAAiB;QAC3B,OAAO,EAAE,gBAAgB;QACzB,gBAAgB,EAAE,qBAAqB;QACvC,KAAK,EAAE,cAAc;QACrB,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,eAAe;QACvB,QAAQ,EAAE,aAAa;QACvB,SAAS,EAAE,kBAAkB;QAC7B,UAAU,EAAE,mBAAmB;QAC/B,KAAK,EAAE,cAAc;QACrB,OAAO,EAAE,mBAAmB;QAC5B,IAAI,EAAE,gBAAgB;QACtB,KAAK,EAAE,iBAAiB;QACxB,QAAQ,EAAE,oBAAoB;QAC9B,IAAI,EAAE,gBAAgB;QACtB,YAAY,EAAE,wBAAwB;KACzC;CACJ,CAAC"}