toilscript 0.1.45 → 0.1.47

package/dist/importmap.json

@@ -1,7 +1,7 @@
 {
   "imports": {
-    "toilscript": "https://cdn.jsdelivr.net/npm/toilscript@0.1.45/dist/toilscript.js",
-    "toilscript/cli": "https://cdn.jsdelivr.net/npm/toilscript@0.1.45/dist/cli.js",
+    "toilscript": "https://cdn.jsdelivr.net/npm/toilscript@0.1.47/dist/toilscript.js",
+    "toilscript/cli": "https://cdn.jsdelivr.net/npm/toilscript@0.1.47/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

@@ -609,7 +609,9 @@ declare module "types:toilscript/src/diagnosticMessages.generated" {
         Scheduled_handler_0_must_take_no_arguments_and_return_void = 9012,
         Stream_scope_must_be_a_StreamScope_enum_member = 9013,
         Stream_connect_handler_0_has_an_invalid_signature = 9014,
-        Stream_message_handler_0_has_an_invalid_signature = 9015
+        Stream_message_handler_0_has_an_invalid_signature = 9015,
+        Stream_close_handler_0_has_an_invalid_signature = 9016,
+        Stream_disconnect_handler_0_has_an_invalid_signature = 9017
     }
     /** Translates a diagnostic code to its respective string. */
     export function diagnosticCodeToString(code: DiagnosticCode): string;
@@ -3127,9 +3129,10 @@ declare module "types:toilscript/src/parser" {
         /**
          * Wire `@service` classes and free `@remote` functions onto the global `Rpc` registry. Runs ONCE
          * before element creation (via `weaveDataMigrations`). `@service` could be done at parse time, but
-         * folding both here gives a SINGLE place to honor the `@stream` gating: a project using `@stream`
-         * cannot declare `@service`/`@remote` (the 9003 diagnostic fires at element creation), so we must not
-         * half-inject first or the build crashes instead of reporting it.
+         * folding both here gives a SINGLE place to honor the same-source `@stream` rule: ONE source cannot
+         * declare both `@stream` and `@service`/`@remote`, so we SKIP the RPC weave for any source that also has
+         * a `@stream` - weaving it would half-inject an unresolvable import and crash instead of letting
+         * enforceStreamServiceExclusion report it. (`@stream` + `@service`/`@remote` DO coexist across tiers.)
          */
         private weaveRpc;
         /** Reject duplicate client-facing `Server` keys (two @services lowercasing to the same key, a free
@@ -3137,8 +3140,8 @@ declare module "types:toilscript/src/parser" {
          *  surface is emitted - else the generated `Server` object/type silently overwrites a key, or a collided
          *  id routes to the wrong method at dispatch. */
         private checkRpcSurfaceCollisions;
-        /** True if the program declares any `@stream` class (gates the RPC weave; see diagnostic 9003). */
-        private projectHasStream;
+        /** True if `source` declares any `@stream` class (the RPC weave skips such a source; diagnostic 9003). */
+        private sourceHasStream;
         /** Inject the RPC dispatch fn + its registration for one free `@remote` function (id = FNV of the
          *  bare function name, matching the generated client). */
         private injectRemote;
@@ -3675,12 +3678,11 @@ declare module "types:toilscript/src/program" {
         /** Initializes the program and its elements prior to compilation. */
         initialize(): void;
         /**
-         * Enforces the project-wide rule that a compilation unit using `@stream` cannot also
-         * declare `@service` or `@remote` anywhere (spec 03 section 4.4). The host loads one
-         * `hot.wasm` whose surface is either a stream node or an RPC service node, never both,
-         * so mixing them is a deploy-time ambiguity caught fail-closed at compile time. Reported
-         * at the offending `@service`/`@remote` site. Skipped in cold mode (neither flag is
-         * admitted there anyway).
+         * Enforces that a SINGLE source (one emitted surface) cannot declare BOTH `@stream` AND
+         * `@service`/`@remote`: the host loads one artifact whose surface is either a stream node or an RPC
+         * service node, never both. `@stream` and `@service`/`@remote` DO coexist across separate tier files
+         * (main.ts vs main.stream.ts); only the same-source clash is the deploy-time ambiguity caught here.
+         * Reported at the offending `@service`/`@remote` site. Skipped in cold mode.
          */
         private enforceStreamServiceExclusion;
         /** Processes overridden members by this class in a base class. */
@@ -4628,8 +4630,8 @@ declare module "types:toilscript/src/dbcatalog" {
      *      u8   hook_presence_bitmask   (bit0 connect..bit3 disconnect)
      *      u8   declared_scope          (0 regional/L2, 1 continental/L3)
      *      u8   message_mode            (0 raw, 1 @data-typed)
-     *      u32  max_frame_bytes         (0 = use plan default)
-     *      u32  ingress_ring_bytes      (0 = host chooses)
+     *      u32  max_frame_bytes         (RESERVED: parsed, not yet consumed; the runtime ignores it)
+     *      u32  ingress_ring_bytes      (RESERVED: parsed, not yet consumed; the runtime ignores it)
      *      u32  message_value_data_id   (fnv1a(typeName); 0 when raw)
      *      u32  message_schema_version  (recursive layoutHash; 0 when raw)
      *      u16  stream_index            (0-based position in this array)