@vibeorm/schema 3.0.0 → 4.1.0

package/dist/ir.d.ts

@@ -70,6 +70,11 @@ export type DefaultValueIR = {
     readonly kind: "dbgenerated";
     readonly sql: string;
 };
+/** A consumer-owned runtime JSON validator export. Validator objects never enter SchemaIR. */
+export type JsonSchemaRefIR = {
+    readonly name: string;
+    readonly from: string;
+};
 /** A scalar/enum column on a model. */
 export type FieldIR = {
     readonly name: string;
@@ -101,6 +106,8 @@ export type FieldIR = {
      * (`@type(Name from "./x")`) the generator reads on Json fields.
      */
     readonly documentation?: string;
+    /** Runtime JSON schema reference, resolved relative to each emitted entry. */
+    readonly jsonSchema?: JsonSchemaRefIR;
     /**
      * Explicit column collation (`@collation("...")`) — String fields. Rendered
      * as `COLLATE` on mysql and silently INERT on postgres/sqlite (the `@db.*`

package/dist/json-schema-ref.d.ts

@@ -0,0 +1,30 @@
+import type { JsonSchemaRefIR } from "./ir.ts";
+/** Whether documentation still contains a schema annotation requiring normalization. */
+export declare function hasJsonSchemaAnnotation(params: {
+    documentation: string | undefined;
+}): boolean;
+/** Structural issue for a legacy assertion-only annotation; it remains documentation in IR. */
+export declare function jsonTypeAnnotationIssue(params: {
+    documentation: string | undefined;
+}): string | undefined;
+/** Resolve the assertion annotation without turning it into a runtime binding. */
+export declare function jsonTypeAnnotationRef(params: {
+    documentation: string | undefined;
+}): JsonSchemaRefIR | undefined;
+/** A reference must contain only serializable named-export and import-specifier data. */
+export declare function jsonSchemaRefIssue(params: {
+    value: unknown;
+}): string | undefined;
+/** Validate and copy a reference; never retain a mutable authoring object or validator. */
+export declare function assertJsonSchemaRef(params: {
+    value: unknown;
+}): JsonSchemaRefIR;
+/** Normalize Prisma/DSL annotations into dedicated IR metadata, retaining other documentation. */
+export declare function normalizeJsonSchemaRef(params: {
+    documentation?: string | undefined;
+    reference?: unknown;
+}): {
+    readonly documentation?: string;
+    readonly jsonSchema?: JsonSchemaRefIR;
+};
+//# sourceMappingURL=json-schema-ref.d.ts.map

package/dist/model-sql-namespace.d.ts

@@ -0,0 +1,8 @@
+import type { Dialect, ModelIR, SchemaIR } from "./ir.ts";
+/** Resolve declared public-only ownership without changing unrelated unqualified models. */
+export declare function modelSqlNamespace(params: {
+    schema: SchemaIR;
+    model: ModelIR;
+    dialect?: Dialect;
+}): string | undefined;
+//# sourceMappingURL=model-sql-namespace.d.ts.map

package/dist/native-rls-admission.d.ts

@@ -0,0 +1,7 @@
+import type { Dialect, SchemaIR } from "./ir.ts";
+/** Admit only the public-table native RLS contract shared by every consumer. */
+export declare function assertNativeRlsAdmission(params: {
+    schema: SchemaIR;
+    dialect?: Dialect;
+}): void;
+//# sourceMappingURL=native-rls-admission.d.ts.map

package/dist/predicate.d.ts

@@ -22,6 +22,7 @@
  * A raw SQL string stays the documented escape hatch for anything this cannot
  * express; raw text is carried verbatim and never parsed back into a predicate.
  */
+import type { Dialect } from "./ir.ts";
 /** Comparison operators a schema predicate may use. Deliberately closed. */
 export type PredicateComparisonOp = "eq" | "ne" | "gt" | "gte" | "lt" | "lte";
 /** All comparison operators, for matrix-style iteration in tests and tooling. */
@@ -42,8 +43,17 @@ export type PredicateValue = {
     readonly kind: "value";
     readonly value: string | number | boolean;
 };
-/** Either side of a comparison: another field, or a literal. */
-export type PredicateOperand = PredicateFieldRef | PredicateValue;
+/** Scalar expressions. Computed expressions are qualified for PostgreSQL CHECKs only. */
+export type PredicateExpression = PredicateFieldRef | {
+    readonly kind: "jsonText";
+    readonly field: PredicateFieldRef;
+    readonly path: readonly string[];
+} | {
+    readonly kind: "length";
+    readonly expression: PredicateExpression;
+};
+/** Either side of a comparison: an expression, or a literal. */
+export type PredicateOperand = PredicateExpression | PredicateValue;
 /**
  * A boolean expression over one model's fields.
  *
@@ -55,7 +65,7 @@ export type PredicateOperand = PredicateFieldRef | PredicateValue;
 export type PredicateIR = {
     readonly kind: "compare";
     readonly op: PredicateComparisonOp;
-    readonly left: PredicateFieldRef;
+    readonly left: PredicateExpression;
     readonly right: PredicateOperand;
 } | {
     readonly kind: "inList";
@@ -75,6 +85,9 @@ export type PredicateIR = {
 } | {
     readonly kind: "not";
     readonly operand: PredicateIR;
+} | {
+    readonly kind: "isTrue";
+    readonly operand: PredicateIR;
 };
 /** Narrow a predicate operand to a field reference. */
 export declare function isPredicateFieldRef(operand: PredicateOperand): operand is PredicateFieldRef;
@@ -87,6 +100,19 @@ export declare function isPredicateFieldRef(operand: PredicateOperand): operand
 export declare function predicateFieldNames(params: {
     predicate: PredicateIR;
 }): readonly string[];
+/** Walk every nested scalar expression and record whether CHECK-only nodes occur. */
+export declare function inspectPredicate(params: {
+    predicate: PredicateIR;
+}): {
+    readonly expressions: readonly PredicateExpression[];
+    readonly checkOnly: boolean;
+};
+/** Refuse CHECK-only expressions in index/exclusion predicates and unqualified dialects. */
+export declare function assertPredicateCapabilities(params: {
+    predicate: PredicateIR;
+    dialect: Dialect;
+    usage: "check" | "indexPredicate" | "exclusionPredicate";
+}): void;
 /**
  * A stable, DIALECT-FREE key for a predicate.
  *

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@vibeorm/schema",
-  "version": "3.0.0",
+  "version": "4.1.0",
   "description": "Canonical schema IR, validation, dialect/capability types, and error codes for VibeORM v2",
   "keywords": [
     "orm",