toilscript 0.1.54 → 0.1.56

package/dist/importmap.json

@@ -1,7 +1,7 @@
 {
   "imports": {
-    "toilscript": "https://cdn.jsdelivr.net/npm/toilscript@0.1.54/dist/toilscript.js",
-    "toilscript/cli": "https://cdn.jsdelivr.net/npm/toilscript@0.1.54/dist/cli.js",
+    "toilscript": "https://cdn.jsdelivr.net/npm/toilscript@0.1.56/dist/toilscript.js",
+    "toilscript/cli": "https://cdn.jsdelivr.net/npm/toilscript@0.1.56/dist/cli.js",
     "binaryen": "https://cdn.jsdelivr.net/npm/binaryen@130.0.0-nightly.20260609/index.js",
     "long": "https://cdn.jsdelivr.net/npm/long@5.3.2/index.js"
   }

package/dist/toilscript.generated.d.ts

@@ -4523,6 +4523,7 @@ declare module "types:toilscript/src/dbcatalog" {
         name: string;
         typeName: string;
         isArray: boolean;
+        unique: boolean;
     }
     /**
      * `schema_version`: a hash over the ORDERED field layout (name, type, is_array),
@@ -4596,6 +4597,13 @@ declare module "types:toilscript/src/dbcatalog" {
      * no `@database`.
      */
     export function buildToilDbCatalog(program: Program): Uint8Array | null;
+    /** Validate every `@unique` field decorator (spec: field-level uniqueness). It is
+     *  only meaningful on a `string`/`Uint8Array` field of a `@data`/`@user` class -
+     *  exactly the shapes the edge's uniqueness walker can extract and claim. Anything
+     *  else (a scalar, an `Array<T>`, a nested `@data`, or a field on a non-data class)
+     *  is a compile error, so a misuse fails loudly at build time instead of at the
+     *  first write. */
+    export function validateUniqueDecorators(program: Program): void;
     export function buildToilDbTypes(program: Program): Uint8Array | null;
     /** Build the `toildb.route_kinds` section bytes, or `null` when no route needs
      *  an extra runtime DB-policy clamp. The edge already derives the default kind
@@ -8332,14 +8340,15 @@ declare module "types:toilscript/src/ast" {
         Job = 35,
         Derive = 36,
         Migrate = 37,
-        Admin = 38,
-        Daemon = 39,// @daemon       class decorator (L4 entry; at most one per project)
-        Scheduled = 40,// @scheduled(spec)  method decorator inside a @daemon class
-        Stream = 41,// @stream       class decorator (L2/L3 stream protocol handler)
-        Connect = 42,// @connect      method in a @stream class (lifecycle hook)
-        Message = 43,// @message      method in a @stream class (lifecycle hook)
-        Close = 44,// @close        method in a @stream class (lifecycle hook)
-        Disconnect = 45
+        Unique = 38,
+        Admin = 39,
+        Daemon = 40,// @daemon       class decorator (L4 entry; at most one per project)
+        Scheduled = 41,// @scheduled(spec)  method decorator inside a @daemon class
+        Stream = 42,// @stream       class decorator (L2/L3 stream protocol handler)
+        Connect = 43,// @connect      method in a @stream class (lifecycle hook)
+        Message = 44,// @message      method in a @stream class (lifecycle hook)
+        Close = 45,// @close        method in a @stream class (lifecycle hook)
+        Disconnect = 46
     }
     export namespace DecoratorKind {
         /** Returns the kind of the specified decorator name node. Defaults to {@link DecoratorKind.CUSTOM}. */