@orkestrel/database 0.0.4 → 0.0.5

package/dist/src/core/index.d.cts

@@ -1313,15 +1313,20 @@ export declare interface ReadOptions {
 export declare type Row = Record<string, unknown>;
 
 /**
- * The row type a table's {@link Columns} describe — `Infer` of its `objectShape`.
+ * The row type a table's {@link Columns} describe — `Infer` of the `objectShape`
+ * the database wraps them in.
  *
  * @remarks
- * The broad `Columns` (an open `column → shape` map, e.g. when a database is held
- * at its default type) short-circuits to {@link Row}: there is nothing concrete to
- * infer, and expanding `Infer` over the open shape would trip TS's
- * instantiation-depth guard. Concrete column maps infer their exact row.
+ * Contract 0.0.4's non-distributive `Infer` resolves the OPEN case (the broad
+ * `Columns` — e.g. when a database is held at its default type) directly:
+ * `RowOf<Columns>` and {@link Row} are mutually assignable, so no short-circuit
+ * to `Row` and no `additionalProperties: false` pin are needed — `Infer` no
+ * longer trips TS's instantiation-depth guard over the open shape, and the
+ * inferred row matches the CLOSED object `objectShape(columns)` builds at
+ * runtime (its additional-properties parameter defaults to `false`) for every
+ * concrete column map.
  */
-export declare type RowOf<C extends Columns> = [Columns] extends [C] ? Row : Infer<{
+export declare type RowOf<C extends Columns> = Infer<{
     readonly type: 'object';
     readonly properties: C;
 }>;

package/dist/src/core/index.d.ts

@@ -1313,15 +1313,20 @@ export declare interface ReadOptions {
 export declare type Row = Record<string, unknown>;
 
 /**
- * The row type a table's {@link Columns} describe — `Infer` of its `objectShape`.
+ * The row type a table's {@link Columns} describe — `Infer` of the `objectShape`
+ * the database wraps them in.
  *
  * @remarks
- * The broad `Columns` (an open `column → shape` map, e.g. when a database is held
- * at its default type) short-circuits to {@link Row}: there is nothing concrete to
- * infer, and expanding `Infer` over the open shape would trip TS's
- * instantiation-depth guard. Concrete column maps infer their exact row.
+ * Contract 0.0.4's non-distributive `Infer` resolves the OPEN case (the broad
+ * `Columns` — e.g. when a database is held at its default type) directly:
+ * `RowOf<Columns>` and {@link Row} are mutually assignable, so no short-circuit
+ * to `Row` and no `additionalProperties: false` pin are needed — `Infer` no
+ * longer trips TS's instantiation-depth guard over the open shape, and the
+ * inferred row matches the CLOSED object `objectShape(columns)` builds at
+ * runtime (its additional-properties parameter defaults to `false`) for every
+ * concrete column map.
  */
-export declare type RowOf<C extends Columns> = [Columns] extends [C] ? Row : Infer<{
+export declare type RowOf<C extends Columns> = Infer<{
     readonly type: 'object';
     readonly properties: C;
 }>;