shapecraft 1.0.0

package/packages/samples/src/config.ts

@@ -0,0 +1,50 @@
+import { B } from "@shapecraft/core";
+
+export const LogLevel = B.union(
+  B.literal("trace"),
+  B.literal("debug"),
+  B.literal("info"),
+  B.literal("warn"),
+  B.literal("error"),
+  B.literal("fatal"),
+);
+
+export const DatabaseConfig = B.mapping({
+  driver: B.union(
+    B.literal("postgres"),
+    B.literal("mysql"),
+    B.literal("sqlite"),
+  ),
+  host: B.string().default("localhost"),
+  port: B.uint16(),
+  database: B.string().min(1),
+  user: B.string().optional(),
+  password: B.string().optional(),
+  poolSize: B.uint16().min(1).max(1000).default(10),
+  ssl: B.boolean().default(false),
+});
+
+export const RedisConfig = B.mapping({
+  url: B.string().regex(/^rediss?:\/\//),
+  prefix: B.string().optional(),
+});
+
+export const FeatureFlags = B.record(
+  B.string().regex(/^[a-z0-9_]+$/),
+  B.boolean(),
+);
+
+export const AppConfig = B.mapping({
+  env: B.union(
+    B.literal("development"),
+    B.literal("staging"),
+    B.literal("production"),
+  ),
+  logLevel: LogLevel.default("info"),
+  port: B.uint16().default(3000),
+  baseUrl: B.string().regex(/^https?:\/\//),
+  database: DatabaseConfig,
+  redis: RedisConfig.optional(),
+  features: FeatureFlags.default({}),
+  allowedOrigins: B.array(B.string()).uniqueItems().default([]),
+});

package/packages/samples/src/ecommerce.ts

@@ -0,0 +1,65 @@
+import { B } from "@shapecraft/core";
+
+export const Currency = B.union(
+  B.literal("USD"),
+  B.literal("EUR"),
+  B.literal("GBP"),
+  B.literal("SEK"),
+  B.literal("NOK"),
+);
+
+export const Money = B.mapping({
+  amount: B.int64().describe("Smallest currency unit, e.g. cents"),
+  currency: Currency,
+});
+
+export const Customer = B.mapping({
+  id: B.uint64().primary().autoIncrement(),
+  email: B.string()
+    .regex(/^[^\s@]+@[^\s@]+\.[^\s@]+$/)
+    .unique(),
+  name: B.string().min(1).max(120),
+  createdAt: B.date(),
+}).title("Customer");
+
+export const Product = B.mapping({
+  id: B.uint64().primary().autoIncrement(),
+  sku: B.string()
+    .regex(/^[A-Z0-9-]+$/)
+    .unique(),
+  name: B.string().min(1).max(200),
+  description: B.string().max(4000).optional(),
+  price: Money,
+  weightGrams: B.uint32().optional(),
+  tags: B.array(B.string().min(1).max(32)).max(20).uniqueItems(),
+  embedding: B.vector(1536, B.float32()).describe(
+    "OpenAI text-embedding-3-small",
+  ),
+  inStock: B.boolean().default(true),
+}).title("Product");
+
+export const OrderStatus = B.union(
+  B.literal("pending"),
+  B.literal("paid"),
+  B.literal("shipped"),
+  B.literal("delivered"),
+  B.literal("cancelled"),
+  B.literal("refunded"),
+);
+
+export const Order = B.mapping({
+  id: B.uint64().primary().autoIncrement(),
+  customer: B.uint64().references(Customer, "id"),
+  status: OrderStatus,
+  total: Money,
+  placedAt: B.date(),
+  shippedAt: B.date().optional(),
+}).title("Order");
+
+export const OrderLine = B.mapping({
+  id: B.uint64().primary().autoIncrement(),
+  order: B.uint64().references(Order, "id"),
+  product: B.uint64().references(Product, "id"),
+  quantity: B.uint32().min(1),
+  unitPrice: Money,
+}).title("OrderLine");

package/packages/samples/src/embeddings.ts

@@ -0,0 +1,43 @@
+import { B } from "@shapecraft/core";
+
+export const EmbeddingModel = B.union(
+  B.literal("text-embedding-3-small"),
+  B.literal("text-embedding-3-large"),
+  B.literal("voyage-3"),
+  B.literal("nomic-embed-text-v1.5"),
+);
+
+export const Document = B.mapping({
+  id: B.uint64().primary().autoIncrement(),
+  externalId: B.string().unique(),
+  title: B.string().min(1).max(500),
+  content: B.string(),
+  contentHash: B.string()
+    .regex(/^[a-f0-9]{64}$/)
+    .describe("SHA-256 hex"),
+  metadata: B.record(B.string(), B.string()).default({}),
+  createdAt: B.date(),
+}).title("Document");
+
+export const Chunk = B.mapping({
+  id: B.uint64().primary().autoIncrement(),
+  document: B.uint64().references(Document, "id"),
+  ordinal: B.uint32(),
+  text: B.string().min(1),
+  tokenCount: B.uint32(),
+  embeddingModel: EmbeddingModel,
+  embedding: B.vector(1536, B.float32()),
+}).title("Chunk");
+
+export const SearchHit = B.mapping({
+  chunk: B.uint64().references(Chunk, "id"),
+  score: B.float32().min(0).max(1),
+  snippet: B.string(),
+});
+
+export const SearchResult = B.mapping({
+  query: B.string(),
+  model: EmbeddingModel,
+  hits: B.array(SearchHit).max(100),
+  latencyMs: B.uint32(),
+});

package/packages/samples/src/events.ts

@@ -0,0 +1,52 @@
+import { B } from "@shapecraft/core";
+
+const baseEvent = {
+  id: B.string().regex(/^evt_[a-zA-Z0-9]+$/),
+  occurredAt: B.date(),
+};
+
+export const UserSignedUpEvent = B.mapping({
+  ...baseEvent,
+  type: B.literal("user.signed_up"),
+  userId: B.uint64(),
+  email: B.string(),
+  referrer: B.string().optional(),
+});
+
+export const UserDeletedEvent = B.mapping({
+  ...baseEvent,
+  type: B.literal("user.deleted"),
+  userId: B.uint64(),
+  reason: B.union(
+    B.literal("self_serve"),
+    B.literal("admin"),
+    B.literal("gdpr"),
+  ),
+});
+
+export const PaymentSucceededEvent = B.mapping({
+  ...baseEvent,
+  type: B.literal("payment.succeeded"),
+  paymentId: B.uint64(),
+  userId: B.uint64(),
+  amount: B.int64(),
+  currency: B.string(),
+});
+
+export const PaymentFailedEvent = B.mapping({
+  ...baseEvent,
+  type: B.literal("payment.failed"),
+  paymentId: B.uint64(),
+  userId: B.uint64(),
+  amount: B.int64(),
+  currency: B.string(),
+  errorCode: B.string(),
+  errorMessage: B.string(),
+});
+
+export const Event = B.union(
+  UserSignedUpEvent,
+  UserDeletedEvent,
+  PaymentSucceededEvent,
+  PaymentFailedEvent,
+);

package/packages/samples/src/geometry.ts

@@ -0,0 +1,62 @@
+import { B } from "@shapecraft/core";
+
+export const Vec2 = B.vector(2, B.float32());
+export const Vec3 = B.vector(3, B.float32());
+export const Vec4 = B.vector(4, B.float32());
+
+// Tuple alternatives to the vectors above. `Vec3T` infers a TS
+// `[number, number, number]` (positional) where `Vec3` infers `number[]`.
+// Useful when downstream code needs structural destructuring rather than
+// pgvector storage.
+export const Vec3T = B.tuple(B.float32(), B.float32(), B.float32());
+
+// A triangle as three positional vertices.
+export const TriangleT = B.tuple(Vec3T, Vec3T, Vec3T);
+
+// An edge in a mesh: a pair of vertex indices.
+export const Edge = B.tuple(B.uint32(), B.uint32());
+
+export const Color = B.mapping({
+  r: B.float32().min(0).max(1),
+  g: B.float32().min(0).max(1),
+  b: B.float32().min(0).max(1),
+  a: B.float32().min(0).max(1).default(1),
+});
+
+export const Circle = B.mapping({
+  kind: B.literal("circle"),
+  center: Vec2,
+  radius: B.float32().min(0),
+  fill: Color.optional(),
+});
+
+export const Rect = B.mapping({
+  kind: B.literal("rect"),
+  origin: Vec2,
+  size: Vec2,
+  fill: Color.optional(),
+});
+
+export const Polygon = B.mapping({
+  kind: B.literal("polygon"),
+  points: B.array(Vec2).min(3),
+  fill: Color.optional(),
+});
+
+export const Shape2D = B.union(Circle, Rect, Polygon);
+
+export const Transform = B.mapping({
+  translation: Vec3,
+  rotation: Vec4.describe("Quaternion (x, y, z, w)"),
+  scale: Vec3.default([1, 1, 1]),
+});
+
+export const Mesh = B.mapping({
+  id: B.uint64().primary().autoIncrement(),
+  name: B.string().min(1).max(120),
+  vertices: B.array(Vec3),
+  normals: B.array(Vec3).optional(),
+  uvs: B.array(Vec2).optional(),
+  indices: B.array(B.uint32()),
+  transform: Transform,
+}).title("Mesh");

package/packages/samples/src/index.ts

@@ -0,0 +1,9 @@
+export * as user from "./user";
+export * as relational from "./relational";
+export * as blog from "./blog";
+export * as ecommerce from "./ecommerce";
+export * as geometry from "./geometry";
+export * as events from "./events";
+export * as config from "./config";
+export * as embeddings from "./embeddings";
+export * as tuples from "./tuples";

package/packages/samples/src/relational.ts

@@ -0,0 +1,17 @@
+import { B } from "@shapecraft/core";
+
+export const User = B.mapping({
+  id: B.uint64().primary().autoIncrement(),
+  firstname: B.string(),
+  lastname: B.string(),
+  email: B.string().regex(/^[^\s@]+@[^\s@]+\.[^\s@]+$/),
+  createdAt: B.date(),
+}).title("User");
+
+export const Payment = B.mapping({
+  id: B.uint64().primary().autoIncrement(),
+  user: B.uint64().references(User, "id"),
+  amount: B.int64(),
+  currency: B.string(),
+  createdAt: B.date(),
+}).title("Payment");

package/packages/samples/src/tuples.ts

@@ -0,0 +1,67 @@
+import { B } from "@shapecraft/core";
+
+// RGB / RGBA as positional tuples — distinct from a Color mapping (no field
+// names) and from B.vector (heterogeneous channel widths are possible).
+export const RGB = B.tuple(B.uint8(), B.uint8(), B.uint8());
+export const RGBA = B.tuple(
+  B.uint8(),
+  B.uint8(),
+  B.uint8(),
+  B.float32().min(0).max(1),
+);
+
+// Geographic coordinate: [latitude, longitude]. Tuple captures the convention
+// that the order is meaningful — same shape would be ambiguous as `[number,
+// number]` without the tuple positions.
+export const LatLng = B.tuple(
+  B.float64().min(-90).max(90),
+  B.float64().min(-180).max(180),
+);
+
+// A bounding box in WGS84 as [south, west, north, east] (the GeoJSON / OGC bbox
+// order). Four positional floats — natural fit for a tuple.
+export const BBox = B.tuple(
+  B.float64().min(-90).max(90),
+  B.float64().min(-180).max(180),
+  B.float64().min(-90).max(90),
+  B.float64().min(-180).max(180),
+);
+
+// Inclusive half-open time interval: [startMillis, endMillis].
+export const TimeRange = B.tuple(B.int64(), B.int64());
+
+// A flat key/value entry — useful for serializing Map-shaped data positionally
+// without the overhead of a `{key, value}` object.
+export const StringEntry = B.tuple(B.string(), B.string());
+export const Histogram = B.array(B.tuple(B.string(), B.uint32()));
+
+// Heterogeneous record: a single audit log line.
+// [timestamp, level, userId, message]
+export const LogLine = B.tuple(
+  B.date(),
+  B.union(
+    B.literal("debug"),
+    B.literal("info"),
+    B.literal("warn"),
+    B.literal("error"),
+  ),
+  B.uint64(),
+  B.string(),
+);
+
+// A typed RPC call signature: [method, params, requestId].
+export const RpcCall = B.tuple(B.string(), B.array(B.unknown()), B.uint64());
+
+// Tuples nest cleanly. A 3D triangle as three vertex tuples.
+const Vec3T = B.tuple(B.float32(), B.float32(), B.float32());
+export const Triangle = B.tuple(Vec3T, Vec3T, Vec3T);
+
+// A storable record that uses tuples in jsonb columns — toSQL emits a
+// jsonb_array_length CHECK for each tuple column.
+export const Waypoint = B.mapping({
+  id: B.uint64().primary().autoIncrement(),
+  name: B.string().min(1).max(120),
+  location: LatLng,
+  color: RGB,
+  visitedAt: B.date(),
+}).title("Waypoint");

package/packages/samples/src/user.ts

@@ -0,0 +1,9 @@
+import { B } from "@shapecraft/core";
+
+export const User = B.mapping({
+  id: B.uint64().primary().autoIncrement(),
+  firstname: B.string(),
+  lastname: B.string(),
+  email: B.string().regex(/^[^\s@]+@[^\s@]+\.[^\s@]+$/),
+  createdAt: B.date(),
+});

package/packages/samples/tsconfig.cjs.json

@@ -0,0 +1,11 @@
+{
+  "extends": "./tsconfig.json",
+  "compilerOptions": {
+    "outDir": "./dist/cjs",
+    "module": "commonjs",
+    "moduleResolution": "node10",
+    "ignoreDeprecations": "6.0"
+  },
+  "include": ["./src/**/*.ts"],
+  "exclude": ["./src/**/*.test.ts", "./src/**/*.sample.ts"]
+}

package/packages/samples/tsconfig.esm.json

@@ -0,0 +1,10 @@
+{
+  "extends": "./tsconfig.json",
+  "compilerOptions": {
+    "outDir": "./dist/esm",
+    "module": "esnext",
+    "target": "esnext"
+  },
+  "include": ["./src/**/*.ts"],
+  "exclude": ["./src/**/*.test.ts"]
+}

package/packages/samples/tsconfig.json

@@ -0,0 +1,23 @@
+{
+  "compilerOptions": {
+    "rootDir": "./src",
+    "outDir": "./dist/esm",
+    "module": "esnext",
+    "target": "esnext",
+    "lib": ["esnext"],
+    "types": ["node"],
+    "sourceMap": true,
+    "declaration": true,
+    "declarationMap": true,
+    "noUncheckedIndexedAccess": true,
+    "exactOptionalPropertyTypes": true,
+    "strict": true,
+    "isolatedModules": true,
+    "esModuleInterop": true,
+    "noUncheckedSideEffectImports": true,
+    "moduleDetection": "force",
+    "skipLibCheck": true
+  },
+  "include": ["./src/**/*.ts"],
+  "exclude": ["dist", "node_modules"]
+}

package/pnpm-workspace.yaml

@@ -0,0 +1,3 @@
+packages:
+  - packages/*
+  - apps/*

package/test-data/json-schema/address.json

@@ -0,0 +1,35 @@
+{
+  "$id": "https://example.com/address.schema.json",
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "title": "address",
+  "description": "An address similar to http://microformats.org/wiki/h-card",
+  "type": "object",
+  "properties": {
+    "postOfficeBox": {
+      "type": "string"
+    },
+    "extendedAddress": {
+      "type": "string"
+    },
+    "streetAddress": {
+      "type": "string"
+    },
+    "locality": {
+      "type": "string"
+    },
+    "region": {
+      "type": "string"
+    },
+    "postalCode": {
+      "type": "string"
+    },
+    "countryName": {
+      "type": "string"
+    }
+  },
+  "required": [ "locality", "region", "countryName" ],
+  "dependentRequired": {
+    "postOfficeBox": [ "streetAddress" ],
+    "extendedAddress": [ "streetAddress" ]
+  }
+}

package/test-data/json-schema/array-of-things.json

@@ -0,0 +1,36 @@
+{
+  "$id": "https://example.com/arrays.schema.json",
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "description": "Arrays of strings and objects",
+  "title": "Arrays",
+  "type": "object",
+  "properties": {
+    "fruits": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "vegetables": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/veggie" }
+    }
+  },
+  "$defs": {
+    "veggie": {
+      "type": "object",
+      "required": [ "veggieName", "veggieLike" ],
+      "properties": {
+        "veggieName": {
+          "type": "string",
+          "description": "The name of the vegetable."
+        },
+        "veggieLike": {
+          "type": "boolean",
+          "description": "Do I like this vegetable?"
+        }
+      }
+    }
+  }
+}
+

package/test-data/json-schema/basic.json

@@ -0,0 +1,21 @@
+{
+  "$id": "https://example.com/person.schema.json",
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "title": "Person",
+  "type": "object",
+  "properties": {
+    "firstName": {
+      "type": "string",
+      "description": "The person's first name."
+    },
+    "lastName": {
+      "type": "string",
+      "description": "The person's last name."
+    },
+    "age": {
+      "description": "Age in years which must be equal to or greater than zero.",
+      "type": "integer",
+      "minimum": 0
+    }
+  }
+}

package/test-data/json-schema/blog-post.json

@@ -0,0 +1,29 @@
+{
+  "$id": "https://example.com/blog-post.schema.json",
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "title": "blog-post",
+  "description": "A representation of a blog post",
+  "type": "object",
+  "required": ["title", "content", "author"],
+  "properties": {
+    "title": {
+      "type": "string"
+    },
+    "content": {
+      "type": "string"
+    },
+    "publishedDate": {
+      "type": "string",
+      "format": "date-time"
+    },
+    "author": {
+      "$ref": "https://example.com/user-profile.schema.json"
+    },
+    "tags": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    }
+  }
+}

package/test-data/json-schema/calendar.json

@@ -0,0 +1,48 @@
+{
+  "$id": "https://example.com/calendar.schema.json",
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "title": "calendar",
+  "description": "A representation of an event",
+  "type": "object",
+  "required": [ "dtstart", "summary" ],
+  "properties": {
+    "startDate": {
+      "type": "string",
+      "description": "Event starting time"
+    },
+    "endDate": {
+      "type": "string",
+      "description": "Event ending time"
+    },
+    "summary": {
+      "type": "string"
+    },
+    "location": {
+      "type": "string"
+    },
+    "url": {
+      "type": "string"
+    },
+    "duration": {
+      "type": "string",
+      "description": "Event duration"
+    },
+    "recurrenceDate": {
+      "type": "string",
+      "description": "Recurrence date"
+    },
+    "recurrenceDule": {
+      "type": "string",
+      "description": "Recurrence rule"
+    },
+    "category": {
+      "type": "string"
+    },
+    "description": {
+      "type": "string"
+    },
+    "geo": {
+      "$ref": "https://example.com/geographical-location.schema.json"
+    }
+  }
+}

package/test-data/json-schema/complex-object-with-nested-properties.json

@@ -0,0 +1,41 @@
+{
+  "$id": "https://example.com/complex-object.schema.json",
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "title": "Complex Object",
+  "type": "object",
+  "properties": {
+    "name": {
+      "type": "string"
+    },
+    "age": {
+      "type": "integer",
+      "minimum": 0
+    },
+    "address": {
+      "type": "object",
+      "properties": {
+        "street": {
+          "type": "string"
+        },
+        "city": {
+          "type": "string"
+        },
+        "state": {
+          "type": "string"
+        },
+        "postalCode": {
+          "type": "string",
+          "pattern": "\\d{5}"
+        }
+      },
+      "required": ["street", "city", "state", "postalCode"]
+    },
+    "hobbies": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    }
+  },
+  "required": ["name", "age"]
+}