bazis 0.115.1 → 0.117.0

package/core/http/Results/normalize.ts

@@ -88,6 +88,12 @@ export function normalizeResult(result: unknown, ctx: HttpContext, defaults: Res
   if (status === 204 || status === 304) {
     payload = null;
   }
+  // A known length survives HEAD: the server answers it with the headers of
+  // this response and no body, and Bun would otherwise send content-length: 0.
+  const length = typeof payload === "string" ? Buffer.byteLength(payload) : payload instanceof Uint8Array || payload instanceof ArrayBuffer ? payload.byteLength : undefined;
+  if (length !== undefined && !headers.has("content-length")) {
+    headers.set("content-length", String(length));
+  }
 
   return new Response(payload, { status, headers });
 }

package/core/infra/connectors/codex/CodexAppServerClient.ts

@@ -232,7 +232,7 @@ export class CodexAppServerClient implements CodexClient {
         if (method === "account/updated") this.modelCache = undefined;
       }, () => { this.clearLogin(); this.modelCache = undefined; });
       const initialized = await client.request("initialize", {
-        clientInfo: { name: "bazis", title: "Bazis", version: "0.115.1" }, capabilities: { experimentalApi: true },
+        clientInfo: { name: "bazis", title: "Bazis", version: "0.117.0" }, capabilities: { experimentalApi: true },
       }, 15_000, signal);
       if (resolve(text(initialized.codexHome, 4096)) !== this.paths.home) throw new CodexError("PROTOCOL_ERROR");
       client.notify("initialized");

package/core/orm/ownedStoreContributions.ts

@@ -58,6 +58,8 @@ function snapshot<TContext extends DbContext>(context: ContextClass<TContext>, e
   const expected = compileExpectedSchema(new OrmModel(entities));
   if (expected.tables.length === 0 || expected.tables.length > 512) fail("ORM_OWNED_STORE_IDENTITY_MISMATCH", `${storeName(definition)} needs 1 to 512 entities, got ${expected.tables.length}`);
   for (const table of expected.tables) {
+    const decimal = table.columns.find((column) => column.physicalType.startsWith("decimal"));
+    if (decimal) fail("ORM_OWNED_STORE_IDENTITY_MISMATCH", `${storeName(definition)}: column "${decimal.column}" of "${table.table}" is decimal; owned stores do not support decimal columns`);
     const partial = table.indexes.find((index) => index.predicate !== undefined);
     if (partial) fail("ORM_OWNED_STORE_IDENTITY_MISMATCH", `${storeName(definition)}: index "${partial.name}" on "${table.table}" has a where condition; owned stores do not support partial indexes`);
   }

package/core/scripts/di-generate.ts

@@ -1173,6 +1173,32 @@ function routeParamNames(controller: ts.ClassDeclaration, method: ts.MethodDecla
   return names;
 }
 
+/** Route parameters with a constraint, `:id(int)` -> id: int, from the controller and method templates. */
+function routeParamConstraints(controller: ts.ClassDeclaration, method: ts.MethodDeclaration): Map<string, string> {
+  const constraints = new Map<string, string>();
+  for (const decorators of [ts.getDecorators(controller) ?? [], ts.getDecorators(method) ?? []]) {
+    for (const decorator of decorators) {
+      const firstArg = decoratorCall(decorator)?.call?.arguments[0];
+      if (!firstArg || !ts.isStringLiteralLike(firstArg)) continue;
+      for (const segment of firstArg.text.split("/")) {
+        const param = /^:([A-Za-z_][A-Za-z0-9_]*)\(([A-Za-z]+)\)/.exec(segment);
+        if (param) constraints.set(param[1] as string, param[2] as string);
+      }
+    }
+  }
+  return constraints;
+}
+
+/**
+ * The router converts a constrained segment before binding, so the parameter
+ * must be declared with the converted type; otherwise its TypeScript type lies.
+ */
+function constraintMismatch(paramName: string, declared: string | undefined, constraint: string | undefined): string | undefined {
+  const expected = constraint === "int" || constraint === "number" ? "number" : constraint === "bool" ? "boolean" : constraint === "uuid" || constraint === "alpha" ? "string" : undefined;
+  if (expected === undefined || declared === undefined || declared === expected) return undefined;
+  return `route parameter "${paramName}" is constrained to (${constraint}), so it arrives as a ${expected}; declare it as ${expected}`;
+}
+
 /** Reuses the request hydration graph; no reflection metadata/runtime TS imports. */
 function collectGrpcBindings(source: ts.SourceFile): void {
   const visit = (node: ts.Node): void => {
@@ -1455,6 +1481,7 @@ function collectControllerBindings(node: ts.ClassDeclaration, controllerName: st
   for (const { name, routes, member } of controllerActions(node)) {
     collectOpenApiOperation(controllerName, member);
     const routeParams = routeParamNames(node, routes);
+    const constraints = routeParamConstraints(node, routes);
     const specs: HttpBindingSpec[] = [];
     let bodyCount = 0;
     let failed: string | undefined;
@@ -1471,6 +1498,12 @@ function collectControllerBindings(node: ts.ClassDeclaration, controllerName: st
       // An explicit source: FromQuery<…>, FromHeader<…>, FromBody<…>, FromRoute<…>.
       const marker = typeNode ? sourceMarker(typeNode) : undefined;
       if (marker !== undefined) {
+        const routeName = marker.kind === "FromRoute" ? marker.name ?? paramName : undefined;
+        const mismatch = routeName === undefined ? undefined : constraintMismatch(routeName, marker.inner?.getText().trim(), constraints.get(routeName));
+        if (mismatch !== undefined) {
+          failed = mismatch;
+          break;
+        }
         const spec = markerBindingSpec(marker, paramName, optional, routeParams);
         if (typeof spec === "string") {
           failed = spec;
@@ -1494,6 +1527,11 @@ function collectControllerBindings(node: ts.ClassDeclaration, controllerName: st
         continue;
       }
       if (routeParams.has(paramName)) {
+        const mismatch = constraintMismatch(paramName, keywordType, constraints.get(paramName));
+        if (mismatch !== undefined) {
+          failed = mismatch;
+          break;
+        }
         // Constraint conversion happens in the router; add type only for plain :params.
         const type = keywordType !== undefined ? PRIMITIVE_QUERY_TYPES[keywordType] : undefined;
         specs.push({ source: "route", name: paramName, type: type === "string" ? undefined : type, optional });

package/library/orm/DbContext.ts

@@ -1,9 +1,9 @@
 import { DatabaseFacade } from "./DatabaseFacade";
 import type { DbContextOptions } from "./DbContextOptions";
-import { EntityNotMappedError } from "./errors";
+import { EntityNotMappedError, OrmError } from "./errors";
 import { DbSet } from "./Query/DbSet";
 import type { DbContextRuntime } from "./runtime";
-import { SaveExecutor } from "./Saving/SaveExecutor";
+import { hasPendingRollback, SaveExecutor } from "./Saving/SaveExecutor";
 import { ChangeTracker } from "./Tracking/ChangeTracker";
 import { EntityState } from "./Tracking/EntityState";
 import { monitorImmediateOperation, monitorWholeOperation, observedProvider, transactionScope } from "./Transactions/TransactionScopeCoordinator";
@@ -88,6 +88,20 @@ export abstract class DbContext {
     return this.changeTracker.stateOf(entity);
   }
 
+  /**
+   * Stops tracking `entity`: its changes are no longer saved and the next
+   * read returns a fresh object (`Entry(e).State = Detached` in EF Core). Use
+   * it to drop the changes a rolled-back scope left in the context; an entity
+   * saved in a scope that is still open cannot be detached, because that
+   * scope's rollback would restore it.
+   */
+  detach(entity: object): void {
+    if (hasPendingRollback(this.changeTracker, entity)) {
+      throw new OrmError(`${entity.constructor.name} was saved in a transaction scope that is still open; detach it after the scope ends.`);
+    }
+    this.changeTracker.detach(entity);
+  }
+
   /**
    * Applies all pending changes in one transaction and returns the number of
    * processed entities. DetectChanges runs before saving, and (if enabled)

package/library/orm/Metadata/DynamicModelBuilder.ts

@@ -118,7 +118,7 @@ const LOGICAL_TO_STORAGE: Record<ScalarLogicalFieldType, StorageColumnType> = {
   string: "text",
   int: "integer",
   bigint: "integer",
-  decimal: "real",
+  decimal: "decimal",
   bool: "boolean",
   datetime: "datetime",
   uuid: "text",

package/library/orm/Metadata/ModelBuilder.ts

@@ -9,6 +9,7 @@ import type {
   CheckModel,
   KeyGeneration,
   PropertyModel,
+  StorageColumnType,
   RelationModel,
 } from "./types";
 import type { CanonicalDefault } from "../Schema/introspection";
@@ -261,6 +262,7 @@ export class ModelBuilder {
       raw.nullable === false ||
       resolved.impliedRequired === true;
     const databaseDefault = ModelBuilder.defaultFor(entityName, raw, storageType, isKey, generated, convention, required);
+    const digits = ModelBuilder.decimalDigits(entityName, raw, storageType);
     return {
       propertyName: raw.propertyName,
       columnName: raw.columnName ?? raw.propertyName,
@@ -272,9 +274,24 @@ export class ModelBuilder {
       convention,
       uuidVersion: raw.uuidVersion,
       databaseDefault,
+      ...digits,
     };
   }
 
+  /** `precision`/`scale` belong to `decimal`: 1–1000 digits, scale 0–precision, scale needs precision. */
+  private static decimalDigits(entityName: string, raw: RawProperty, type: StorageColumnType): { precision?: number; scale?: number } {
+    if (type === "decimal" && raw.isKey === true) throw new ModelBuildError(`Entity "${entityName}": key "${raw.propertyName}" cannot be decimal; use an integer, text or UUID key.`);
+    const { precision, scale } = raw;
+    if (precision === undefined && scale === undefined) return {};
+    const where = `Entity "${entityName}": property "${raw.propertyName}"`;
+    if (type !== "decimal") throw new ModelBuildError(`${where}: precision and scale need @Column({ type: "decimal" }).`);
+    if (precision === undefined) throw new ModelBuildError(`${where}: scale needs precision, for example { precision: 12, scale: 2 }.`);
+    if (!Number.isSafeInteger(precision) || precision < 1 || precision > 1000) throw new ModelBuildError(`${where}: precision must be an integer from 1 to 1000.`);
+    const digitsAfter = scale ?? 0;
+    if (!Number.isSafeInteger(digitsAfter) || digitsAfter < 0 || digitsAfter > precision) throw new ModelBuildError(`${where}: scale must be an integer from 0 to precision (${precision}).`);
+    return { precision, scale: digitsAfter };
+  }
+
   private static primaryKeyFor(
     ctor: new () => object,
     raw: NonNullable<ReturnType<typeof readRawEntity>>,

package/library/orm/Metadata/decorators.ts

@@ -34,6 +34,13 @@ export interface ColumnOptions {
   readonly nullable?: boolean;
   /** Closed physical PostgreSQL default. It is not an application initializer or SQL fragment. */
   readonly default?: ColumnDefaultValue;
+  /**
+   * `type: "decimal"` only: the exact `numeric(precision, scale)` column. The
+   * value is a string (`"19.90"`); a value with more digits than declared is
+   * refused instead of being rounded by the database.
+   */
+  readonly precision?: number;
+  readonly scale?: number;
 }
 export type ColumnDefaultValue = null | boolean | number | string;
 
@@ -95,6 +102,8 @@ export interface RawProperty {
   required?: boolean;
   nullable?: boolean;
   default?: ColumnDefaultValue;
+  precision?: number;
+  scale?: number;
   index?: { unique: boolean; name?: string; where?: import("../Schema/CheckExpression").CheckAst };
   /** `@ForeignKey(() => Principal)` on a scalar column, for the DDL FK. */
   fkTarget?: () => EntityClass;
@@ -286,6 +295,8 @@ export function Column(options: ColumnOptions = {}) {
     prop.columnName = options.name;
     prop.type = options.type;
     prop.default = options.default;
+    prop.precision = options.precision;
+    prop.scale = options.scale;
     if (options.nullable !== undefined) {
       prop.nullable = options.nullable;
     }

package/library/orm/Metadata/types.ts

@@ -7,7 +7,7 @@ import type { CanonicalDefault } from "../Schema/introspection";
  * Physical column type in the database (DDL, encode/decode). The provider
  * dialect maps it to the types of a concrete DBMS (`SqlDialect.columnType`).
  */
-export type StorageColumnType = "integer" | "real" | "text" | "boolean" | "datetime" | "json";
+export type StorageColumnType = "integer" | "real" | "decimal" | "text" | "boolean" | "datetime" | "json";
 
 /**
  * Semantic `@Column({ type })` types with automatic behavior on `SaveChanges`.
@@ -63,6 +63,9 @@ export interface PropertyModel {
   readonly convention?: PropertyConvention;
   /** UUID version for `@UUID` (default v4). */
   readonly uuidVersion?: "v4" | "v7";
+  /** `decimal`: total digits and digits after the point (`numeric(precision, scale)`); absent for plain `numeric`. */
+  readonly precision?: number;
+  readonly scale?: number;
   /** Closed physical database default; it never affects entity initialization. */
   readonly databaseDefault: CanonicalDefault;
 }

package/library/orm/Providers/PostgresDialect.ts

@@ -3,6 +3,7 @@ import type { ForeignKeyConstraint, RowLockMode, SqlDialect, SqlParam } from "./
 import { projectCheckAstIdentifiers, renderCheck } from "../Schema/CheckExpression";
 import { resolvedForeignKey } from "./resolvedForeignKey";
 import { physicalTableIdentity } from "../Schema/tableKey";
+import { decimalParameter } from "./decimalValue";
 
 const jsonScalarParameters = new WeakSet<object>();
 
@@ -55,6 +56,8 @@ export class PostgresDialect implements SqlDialect {
       case "integer":
       case "real":
         return typeof value === "bigint" ? value : Number(value);
+      case "decimal":
+        return decimalParameter(value);
       case "text":
         return typeof value === "string" ? value : String(value);
     }
@@ -78,6 +81,9 @@ export class PostgresDialect implements SqlDialect {
         return typeof value === "bigint" ? value : Number(value);
       case "real":
         return Number(value);
+      case "decimal":
+        // Exact: PostgreSQL numeric stays a string, never a float.
+        return typeof value === "string" ? value : String(value);
       case "text":
         return typeof value === "string" ? value : String(value);
     }
@@ -106,12 +112,14 @@ export class PostgresDialect implements SqlDialect {
     return `$${index + 1}`;
   }
 
-  columnType(type: ColumnType): string {
+  columnType(type: ColumnType, property?: PropertyModel): string {
     switch (type) {
       case "integer":
         return "bigint";
       case "real":
         return "double precision";
+      case "decimal":
+        return property?.precision === undefined ? "numeric" : `numeric(${property.precision}, ${property.scale ?? 0})`;
       case "boolean":
         return "boolean";
       case "datetime":
@@ -137,7 +145,7 @@ export class PostgresDialect implements SqlDialect {
         return `${this.quoteId(property.columnName)} uuid NOT NULL PRIMARY KEY`;
       }
       const foreignKey = foreignKeys.find((candidate) => (candidate.columns ?? [candidate.column]).includes(property.columnName));
-      const parts = [this.quoteId(property.columnName), this.ddlColumnType(this.foreignKeyColumnType(foreignKey, property))];
+      const parts = [this.quoteId(property.columnName), this.ddlColumnType(this.foreignKeyColumnType(foreignKey, property), property)];
       if (property.required) {
         parts.push("NOT NULL");
       }
@@ -175,7 +183,7 @@ export class PostgresDialect implements SqlDialect {
     const parts = [
       `ALTER TABLE ${this.qualifyTable(model)} ADD COLUMN IF NOT EXISTS`,
       this.quoteId(property.columnName),
-      this.ddlColumnType(this.foreignKeyColumnType(foreignKey, property)),
+      this.ddlColumnType(this.foreignKeyColumnType(foreignKey, property), property),
     ];
     if (property.required) {
       // An invented FK value (0/empty UUID) cannot safely backfill existing rows.
@@ -197,6 +205,7 @@ export class PostgresDialect implements SqlDialect {
     switch (type) {
       case "integer":
       case "real":
+      case "decimal":
         return "0";
       case "boolean":
         return "false";
@@ -209,8 +218,8 @@ export class PostgresDialect implements SqlDialect {
     }
   }
 
-  private ddlColumnType(type: ColumnType | "uuid"): string {
-    return type === "uuid" ? "uuid" : this.columnType(type);
+  private ddlColumnType(type: ColumnType | "uuid", property?: PropertyModel): string {
+    return type === "uuid" ? "uuid" : this.columnType(type, property);
   }
 
   private foreignKeyColumnType(fk: ForeignKeyConstraint | undefined, property: PropertyModel): ColumnType | "uuid" {
@@ -233,3 +242,4 @@ export function renderPostgresSkipLocked(dialect: SqlDialect): string {
   }
   return " SKIP LOCKED";
 }
+

package/library/orm/Providers/PostgresSchema.decoder.ts

@@ -9,10 +9,12 @@ export function canonicalPostgresColumn(type: string, defaultExpression: string
   return { physicalType, default: defaultValue.value, generation, unsupported: physicalType === "unknown" || defaultValue.unsupported || (identity !== "" && identity !== "d") };
 }
 
-export function canonicalPostgresType(type: string): "integer" | "real" | "text" | "boolean" | "datetime" | "json" | "uuid" | "unknown" {
+export function canonicalPostgresType(type: string): "integer" | "real" | "text" | "boolean" | "datetime" | "json" | "uuid" | "decimal" | `decimal(${number},${number})` | "unknown" {
+  const numeric = type.trim().toLowerCase().match(/^numeric(?:\((\d+),\s*(\d+)\))?$/u);
+  if (numeric) return numeric[1] === undefined ? "decimal" : `decimal(${Number(numeric[1])},${Number(numeric[2])})`;
   switch (type.trim().toLowerCase()) {
     case "smallint": case "integer": case "bigint": return "integer";
-    case "real": case "double precision": case "numeric": return "real";
+    case "real": case "double precision": return "real";
     case "text": case "character varying": case "character": return "text";
     case "boolean": return "boolean";
     case "timestamp with time zone": return "datetime";
@@ -25,6 +27,8 @@ export function canonicalPostgresType(type: string): "integer" | "real" | "text"
 /** Exact admission accepts only the physical spellings rendered by PostgresDialect. */
 export function exactPostgresType(type: string, canonical: IntrospectedColumn["physicalType"]): IntrospectedColumn["physicalType"] {
   const raw = type.trim().toLowerCase();
+  // numeric and numeric(p,s) are the spellings PostgresDialect renders for decimal.
+  if (/^numeric(?:\(\d+,\s*\d+\))?$/u.test(raw)) return canonical;
   switch (raw) {
     case "bigint": case "double precision": case "text": case "boolean": case "timestamp with time zone": case "jsonb": case "uuid": return canonical;
     default: return `${canonical ?? "unknown"}:${raw}`;

package/library/orm/Providers/decimalValue.ts

@@ -0,0 +1,37 @@
+import { OrmError } from "../errors";
+import type { PropertyModel } from "../Metadata/types";
+
+const DECIMAL_TEXT = /^([+-]?)(\d+)(?:\.(\d+))?$/u;
+
+/**
+ * A decimal is written as text so no digit is lost: a string such as "19.90"
+ * or "-0.5", a bigint, or a safe integer. A float like 0.1 is refused because
+ * it is already inexact.
+ */
+export function decimalText(value: unknown): string | undefined {
+  if (typeof value === "bigint" || (typeof value === "number" && Number.isSafeInteger(value))) return String(value);
+  return typeof value === "string" && DECIMAL_TEXT.test(value) ? value : undefined;
+}
+
+/** The parameter for a decimal column; anything that is not an exact decimal is refused. */
+export function decimalParameter(value: unknown): string {
+  const text = decimalText(value);
+  if (text !== undefined) return text;
+  throw new OrmError(`A decimal value must be a string such as "19.90" (or an integer), got ${typeof value === "string" ? JSON.stringify(value.slice(0, 40)) : typeof value}.`);
+}
+
+/**
+ * Before a write: a value with more digits than `numeric(precision, scale)`
+ * allows is refused, because PostgreSQL would round the fraction silently.
+ * Trailing zeros after the point do not count ("1.500" fits scale 2).
+ */
+export function assertDecimalFits(owner: string, property: PropertyModel, value: unknown): void {
+  if (property.type !== "decimal" || property.precision === undefined || value === null || value === undefined) return;
+  const match = decimalParameter(value).match(DECIMAL_TEXT)!;
+  const whole = match[2]!.replace(/^0+(?=\d)/u, "");
+  const fraction = (match[3] ?? "").replace(/0+$/u, "");
+  const scale = property.scale ?? 0;
+  const where = `${owner}.${property.propertyName}`;
+  if (fraction.length > scale) throw new OrmError(`${where}: "${value}" has ${fraction.length} digits after the point; numeric(${property.precision}, ${scale}) keeps ${scale}. Round it in the code.`);
+  if ((whole === "0" ? 0 : whole.length) > property.precision - scale) throw new OrmError(`${where}: "${value}" does not fit numeric(${property.precision}, ${scale}): at most ${property.precision - scale} digits before the point.`);
+}

package/library/orm/Providers/types.ts

@@ -91,7 +91,7 @@ export interface SqlDialect {
   /** PostgreSQL parameter placeholder by index (0-based): `$1`, `$2`, …. */
   parameter(index: number): string;
   /** Column type in DDL. */
-  columnType(type: ColumnType): string;
+  columnType(type: ColumnType, property?: PropertyModel): string;
   /** Whether `INSERT ... RETURNING` is supported. */
   readonly supportsReturning: boolean;
   /** Encodes a property value into a query parameter for this DBMS. */

package/library/orm/Query/ImmediateMutations.ts

@@ -2,6 +2,7 @@ import { types } from "node:util";
 import { OrmError, OrmTrackedMutationConflictError, OrmUndeclaredConflictTargetError, OrmUnsafeImmediateMutationError } from "../errors";
 import { isDatabaseGenerated, type EntityModel, type PropertyModel } from "../Metadata/types";
 import { convertsValue } from "../Providers/propertyConversion";
+import { assertDecimalFits, decimalText } from "../Providers/decimalValue";
 import type { DbContextRuntime } from "../runtime";
 import { hasTrackedEntriesForModel } from "../Tracking/ChangeTracker";
 import { isPostgresJsonScalarParameter } from "../Providers/PostgresDialect";
@@ -19,7 +20,7 @@ export type OrmUniqueKeySelectorV1<T extends object> = (entity: FieldSelector<T>
 export function executeImmediateUpdate<T extends object>(model: EntityModel, runtime: DbContextRuntime, plan: QueryPlan, values: OrmUpdateValuesV1<T>): Promise<OrmMutationResultV1> {
   return runtime.runImmediateOperation(async () => {
     guard(model, runtime); const admittedPlan = admitPlan(plan, "executeUpdate");
-    const conditions = effectiveConditions(model, admittedPlan, runtime); const assignments = encodeAssignments(runtime, admitUpdateValues(model, values));
+    const conditions = effectiveConditions(model, admittedPlan, runtime); const assignments = encodeAssignments(runtime, model, admitUpdateValues(model, values));
     const compiled = new SqlTranslator(model, runtime.provider.dialect).immediateUpdate(assignments, conditions, (property, value) => encode(runtime, property, snapshot(value), true));
     Object.freeze(compiled.params);
     guard(model, runtime);
@@ -42,7 +43,7 @@ export function executeImmediateDelete(model: EntityModel, runtime: DbContextRun
 export function insertIfAbsent<T extends object>(model: EntityModel, runtime: DbContextRuntime, entity: T, options: { readonly conflictBy: OrmUniqueKeySelectorV1<T> }): Promise<OrmInsertIfAbsentResultV1> {
   return runtime.runImmediateOperation(async () => {
     guard(model, runtime); if (runtime.provider.dialect.name !== "postgres") unsafe();
-    const admitted = admitInsertValues(model, entity); const columns = conflictTarget(model, options); const values = encodeAssignments(runtime, admitted);
+    const admitted = admitInsertValues(model, entity); const columns = conflictTarget(model, options); const values = encodeAssignments(runtime, model, admitted);
     const compiled = new SqlTranslator(model, runtime.provider.dialect).immediateInsert(values, columns);
     Object.freeze(compiled.params);
     guard(model, runtime);
@@ -136,7 +137,8 @@ function admitInsertValues<T extends object>(model: EntityModel, entity: T): rea
   return Object.freeze(out.map((value) => Object.freeze(value)));
 }
 function unsetKey(value: unknown): boolean { return value === undefined || value === null || value === "" || value === 0; }
-function encodeAssignments(runtime: DbContextRuntime, assignments: readonly AdmittedAssignment[]): readonly { readonly property: PropertyModel; readonly value: SqlParam }[] {
+function encodeAssignments(runtime: DbContextRuntime, model: EntityModel, assignments: readonly AdmittedAssignment[]): readonly { readonly property: PropertyModel; readonly value: SqlParam }[] {
+  for (const { property, value } of assignments) if (!property.converter && decimalText(value) !== undefined) assertDecimalFits(model.name, property, value);
   return Object.freeze(assignments.map(({ property, value }) => Object.freeze({ property, value: value === null && !convertsValue(property, null) ? null : encode(runtime, property, value) })));
 }
 function encode(runtime: DbContextRuntime, property: PropertyModel, input: unknown, allowNull = false): SqlParam {
@@ -248,6 +250,7 @@ function storageValue(value: unknown, type: PropertyModel["type"], allowNull = f
   if (type === "boolean" && typeof safe !== "boolean") unsafe();
   if (type === "integer" && !(typeof safe === "bigint" ? safe >= -9223372036854775808n && safe <= 9223372036854775807n : typeof safe === "number" && Number.isSafeInteger(safe))) unsafe();
   if (type === "real" && !(typeof safe === "number" && Number.isFinite(safe))) unsafe();
+  if (type === "decimal" && decimalText(safe) === undefined) unsafe();
   if (type === "datetime" && (typeof safe !== "object" || safe === null || Object.getPrototypeOf(safe) !== capturedDatePrototype)) unsafe();
   if (type === "json" && !jsonValue(safe)) unsafe();
   return safe as SqlParam;

package/library/orm/Saving/CommandBuilder.ts

@@ -1,6 +1,7 @@
 import { isDatabaseGenerated, type EntityModel, type PropertyModel } from "../Metadata/types";
 import type { SqlDialect, SqlParam } from "../Providers/types";
 import { encodeProperty } from "../Providers/propertyConversion";
+import { assertDecimalFits } from "../Providers/decimalValue";
 import { EntityState } from "../Tracking/EntityState";
 import type { TrackedEntry } from "../Tracking/ChangeTracker";
 
@@ -56,7 +57,7 @@ export class CommandBuilder {
     const tuples = entities.map((entity) => {
       const placeholders = columns.map((property) => {
         const placeholder = this.dialect.parameter(params.length);
-        params.push(encodeProperty(property, entity[property.propertyName], this.dialect));
+        params.push(this.written(model, property, entity[property.propertyName]));
         return placeholder;
       });
       return `(${placeholders.join(", ")})`;
@@ -99,7 +100,7 @@ export class CommandBuilder {
     const params: SqlParam[] = [];
     const assignments = columns.map((property) => {
       const placeholder = this.dialect.parameter(params.length);
-      params.push(encodeProperty(property, entity[property.propertyName], this.dialect));
+      params.push(this.written(model, property, entity[property.propertyName]));
       return `${this.dialect.quoteId(property.columnName)} = ${placeholder}`;
     });
     const where = this.keyPredicate(model, entity, params);
@@ -109,6 +110,12 @@ export class CommandBuilder {
     return { sql, params };
   }
 
+  /** A written value; a decimal that would lose digits is refused before SQL. */
+  private written(model: EntityModel, property: PropertyModel, value: unknown): SqlParam {
+    if (!property.converter) assertDecimalFits(model.name, property, value);
+    return encodeProperty(property, value, this.dialect);
+  }
+
   private delete(entity: Record<string, unknown>, model: EntityModel): DbCommand {
     const params: SqlParam[] = [];
     const sql = `DELETE FROM ${this.dialect.qualifyTable(model)} WHERE ${this.keyPredicate(model, entity, params)}`;

package/library/orm/Saving/SaveExecutor.ts

@@ -36,6 +36,11 @@ interface RollbackToken {
 
 /** Per-tracker, per-entity save baselines. It is deliberately transient and never part of TrackedEntry. */
 const rollbackTokens = new WeakMap<ChangeTracker, WeakMap<object, RollbackToken>>();
+
+/** @internal The entity was saved in a transaction scope that has not ended yet. */
+export function hasPendingRollback(tracker: ChangeTracker, entity: object): boolean {
+  return rollbackTokens.get(tracker)?.get(entity) !== undefined;
+}
 const uncertainTrackers = new WeakSet<ChangeTracker>();
 
 export interface SaveOptions {

package/library/orm/Schema/ExpectedSchema.ts

@@ -1,4 +1,4 @@
-import type { EntityModel } from "../Metadata/types";
+import type { EntityModel, PropertyModel } from "../Metadata/types";
 import type { OrmModel } from "../Metadata/OrmModel";
 import type { CanonicalDefault, GenerationStrategy } from "./introspection";
 import { projectCheckAstIdentifiers, type CheckAst } from "./CheckExpression";
@@ -31,7 +31,7 @@ function compileTable(model: EntityModel, byCtor: ReadonlyMap<EntityModel["ctor"
   const columns = model.properties.map((property) => ({
     property: property.propertyName,
     column: property.columnName,
-    physicalType: types.get(property)!,
+    physicalType: property.type === "decimal" ? decimalPhysicalType(property) : types.get(property)!,
     nullable: !property.required,
     default: property.databaseDefault,
     generation: property.generation === "identity" ? "identityByDefault" as const : property.generation === "uuid" ? "uuidDefault" as const : "none" as const,
@@ -43,3 +43,8 @@ function compileTable(model: EntityModel, byCtor: ReadonlyMap<EntityModel["ctor"
   });
   return Object.freeze({ schema, table, columns: Object.freeze(columns), primaryKey: Object.freeze({ name: model.keyName ?? `pk_${table}`, columns: Object.freeze(model.key.map((property) => property.columnName)) }), indexes: Object.freeze(model.indexes.map((index) => Object.freeze({ name: index.name, columns: Object.freeze([...index.columns]), unique: index.unique, method: "btree" as const, ...(index.where === undefined ? {} : { predicate: projectCheckAstIdentifiers(index.where, (name) => model.propertyByName(name)!.columnName) }) }))), foreignKeys: Object.freeze(foreignKeys), checks: Object.freeze(model.checks.map((check) => Object.freeze({ name: check.name, expression: projectCheckAstIdentifiers(check.expression, (name) => model.propertyByName(name)!.columnName) }))) });
 }
+
+/** `decimal(12,2)` for numeric(12, 2), `decimal` for an unbounded numeric: the catalog reports the same label. */
+export function decimalPhysicalType(property: Pick<PropertyModel, "precision" | "scale">): string {
+  return property.precision === undefined ? "decimal" : `decimal(${property.precision},${property.scale ?? 0})`;
+}

package/library/orm/Schema/SafeAdditiveSchema.ts

@@ -94,7 +94,11 @@ function literal(value: ExpectedColumn["default"], physicalType: string): string
   }
   switch (value.kind) { case "null": return "NULL"; case "boolean": return value.value ? "TRUE" : "FALSE"; case "number": return String(value.value); case "string": return `'${value.value.replaceAll("'", "''")}'`; case "uuidV4": return "gen_random_uuid()"; default: throw new Error("Unrenderable PostgreSQL schema default."); }
 }
-function type(value: string): string { return value === "integer" ? "bigint" : value === "real" ? "double precision" : value === "datetime" ? "timestamptz" : value === "json" ? "jsonb" : value; }
+function type(value: string): string {
+  const decimal = value.match(/^decimal(?:\((\d+),(\d+)\))?$/u);
+  if (decimal) return decimal[1] === undefined ? "numeric" : `numeric(${decimal[1]}, ${decimal[2]})`;
+  return value === "integer" ? "bigint" : value === "real" ? "double precision" : value === "datetime" ? "timestamptz" : value === "json" ? "jsonb" : value;
+}
 function q(value: string): string { return `"${value.replaceAll('"', '""')}"`; }
 function tableName(table: Pick<ExpectedTable, "schema" | "table">): string { return `${q(table.schema)}.${q(table.table)}`; }
 function action(value: string): string { return value === "noAction" ? "NO ACTION" : value === "setNull" ? "SET NULL" : value.toUpperCase(); }

package/library/orm/Tracking/ChangeTracker.ts

@@ -243,6 +243,14 @@ export class ChangeTracker {
     this.entries.set(entry.entity, entry);
   }
 
+  /** Stops tracking one entity: it becomes Detached and leaves the identity map. */
+  detach(entity: object): void {
+    const entry = this.entries.get(entity);
+    if (!entry) return;
+    this.unindexByKey(entry);
+    this.entries.delete(entity);
+  }
+
   clear(): void {
     this.entries.clear();
     this.identity.clear();

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "bazis",
-  "version": "0.115.1",
+  "version": "0.117.0",
   "description": "Modular backend framework for Bun in TypeScript: DI wired by codegen, HTTP, a PostgreSQL ORM, JWT, WebSocket, agents and a CLI.",
   "license": "MIT",
   "author": "Alexander Alenin",