toilscript 0.1.41 → 0.1.43

package/dist/importmap.json

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

@@ -607,7 +607,8 @@ declare module "types:toilscript/src/diagnosticMessages.generated" {
         Scheduled_requires_a_single_string_schedule_argument = 9010,
         Scheduled_spec_0_is_not_a_valid_interval_or_cron_expression = 9011,
         Scheduled_handler_0_must_take_no_arguments_and_return_void = 9012,
-        Stream_scope_must_be_a_StreamScope_enum_member = 9013
+        Stream_scope_must_be_a_StreamScope_enum_member = 9013,
+        Stream_connect_handler_0_has_an_invalid_signature = 9014
     }
     /** Translates a diagnostic code to its respective string. */
     export function diagnosticCodeToString(code: DiagnosticCode): string;
@@ -2989,6 +2990,8 @@ declare module "types:toilscript/src/parser" {
         toildbCodecClasses: Map<string, ClassDeclaration>;
         /** Guards `weaveDataMigrations` so it runs exactly once (before element creation). */
         toildbWoven: boolean;
+        /** Guards `weaveDeriveHandlers` so the module-level `derive_run` export is emitted once. */
+        toildbDerivesWoven: boolean;
         /** Current overridden module name. */
         currentModuleName: string | null;
         /** Compiler options. */
@@ -3011,6 +3014,12 @@ declare module "types:toilscript/src/parser" {
         getDependee(dependent: string): string | null;
         /** Finishes parsing. */
         finish(): void;
+        /** Synthesize the hot/default module-level `derive_run(derive_id)` export for
+         *  `@database` classes with `@derive` methods. Runs before element creation
+         *  from `initializeProgram`, so generated members/exports are compiled as
+         *  ordinary program symbols. Cold artifacts intentionally do not export
+         *  request-path derive runners and do not emit `toildb.derives`. */
+        weaveDeriveHandlers(): void;
         weaveDataMigrations(): void;
         /** Enforce the migration-file convention (folder AND extension): every `@migrate`
          *  must live in a `*.migration.ts` file under a `migrations/` directory. Keeping
@@ -3184,6 +3193,25 @@ declare module "types:toilscript/src/parser" {
          * shape; gating already rejects a hook outside a `@stream`.
          */
         private injectStreamHandler;
+        /** True if `node` is a non-nullable named type whose identifier is exactly `name`
+         *  (e.g. a `StreamPacket` parameter or a `StreamOutbound` return on a raw @message). */
+        private isNamedType;
+        /**
+         * The injected stream ring runtime (spec 05 sections 5-6; byte layouts in 10), emitted once per
+         * program under the `stream_dispatch` export gate. Provides two fixed 128 KiB rings in linear
+         * memory (ingress host->guest, egress guest->host), each a 32-byte `RingControl` + frame region,
+         * exported via `stream_ring_offset/capacity` + `stream_egress_offset/capacity` (the host reads
+         * these at box build, stamps both RingControls, and owns the ingress write_cursor / egress
+         * read_cursor; the guest owns the ingress read_cursor / egress write_cursor - SPSC on the one
+         * resident-box thread). `StreamPacket` drains ONE ingress `RingFrame` (raw @message arg);
+         * `StreamOutbound.reply` stages ONE DATA_RELIABLE frame into the egress ring (bounds-checked ->
+         * `0x0205`); `__encode` lowers to the packed i64 (0 for accept/empty/reply; `-(0x10000 + 0x02xx)`
+         * for a reject, normalized to `0x0208`). The `.d.ts` declares these for the editor only (not
+         * compile-loaded); these injected `@global` classes are the real impls, like `AuthUser`.
+         * RingControl(32B): u32 magic|u16 version|u16 flags|u32 capacity|u32 write|u32 read|u32 dropped|2xu32.
+         * RingFrame(12B): u8 version|u8 type|u16 flags|u32 length|u32 msg_seq|payload.
+         */
+        private streamRuntimeSource;
         /** True if a function signature takes no parameters and returns `void` (the
          *  required `@scheduled` handler shape, spec 03 section 3.5). A missing or
          *  non-`void`-named return type, or any parameter, is false. */
@@ -4458,8 +4486,8 @@ declare module "types:toilscript/src/dbcatalog" {
      * toildb's `SchemaDescriptor::layout_hash` (the runtime side): the algorithm,
      * the `seen` add/remove, and the declaration-order traversal are pinned in lock
      * step. A FLAT type (no field whose type is in `typeMap`) hashes to the SAME
-     * value as the old flat hash, so existing pinned vectors stay green; an absent
-     * `typeMap` (undefined) is flat/back-compatible.
+     * value as the flat hash; an absent `typeMap` (undefined) is treated as a flat
+     * descriptor.
      *
      * `typeMap` MUST contain the SAME set of `@data` types as the runtime's
      * `toildb.types` registry (collection value types + their nested types, EXCLUDING
@@ -4574,6 +4602,23 @@ declare module "types:toilscript/src/dbcatalog" {
      *  missing/non-string arg or an unparseable spec.
      */
     export function buildToilDaemonCatalog(program: Program): Uint8Array | null;
+    /** Build the `toildb.derives` section bytes, or `null` if no `@database` class
+     *  declares a `@derive` materializer. The section wires each `@derive` method to
+     *  the database class that owns it, so the host runner can, after a write to one
+     *  of a database's source collections, re-run that database's derives (each
+     *  recomputes + `view.publish`es its materialized view). `derive_id` is assigned
+     *  globally in source-declaration order across every `@database` class, matching
+     *  the single module-level `derive_run(derive_id)` dispatcher synthesized by the
+     *  parser 1:1. Format (LE):
+     *
+     *    u16 format_version = 1
+     *    u16 n_derives
+     *    per derive:
+     *      u16 derive_id          (global declaration order in the hot/default module)
+     *      str db_name            (the @database class name; the write -> derive key)
+     *      str method_name        (the @derive method, for diagnostics)
+     */
+    export function buildToilDbDerives(program: Program): Uint8Array | null;
     /** Build the `toil.surface` section bytes (always emitted per artifact). Per
      *  Part 5 (LE):
      *
@@ -4587,22 +4632,21 @@ declare module "types:toilscript/src/dbcatalog" {
      *    u32 data_coherence_hash
      *    u32 pair_coherence_hash
      *
-     *  `targetMode` "cold" -> 1; "hot" or null (legacy single artifact, treated as
-     *  hot per Part 5) -> 0. The two coherence hashes use the SAME `layoutHash` /
+     *  `targetMode` "cold" -> 1; "hot" or null (default request artifact, treated
+     *  as hot per Part 5) -> 0. The two coherence hashes use the SAME `layoutHash` /
      *  `recursionTypeMap` machinery as the toildb catalog, so a hot pass and a cold
      *  pass over the same sources compute identical `data_coherence_hash` and
      *  `pair_coherence_hash` independently (doc 02 AN-4). `build_id` is empty and
      *  `abi_version` is 1 in this increment (the toiljs build-identity plumbing and
      *  the export-name fingerprint component land with the codegen increment).
      *
-     *  Returns `null` (no section) for a bare AssemblyScript module compiled in
-     *  LEGACY mode (`targetMode == null`) that declares NO Toil surface at all
+     *  Returns `null` (no section) for a bare AssemblyScript module compiled with
+     *  `targetMode == null` that declares NO Toil surface at all
      *  (`@rest`/`@stream`/`@daemon`/`@scheduled`/`@database`/`@data`), so an ordinary
      *  AS compile stays byte-identical (the same gating philosophy as the existing
      *  `toildb.catalog`, which is absent without `@database`). Part 5 / doc 02 AN-2
-     *  requires the section in every TOIL artifact (including a legacy single-artifact
-     *  toil build, which always carries a toil surface); a non-toil module is not a
-     *  toil artifact. An explicit `--targetMode hot|cold` always emits the section.
+     *  requires the section in every TOIL artifact; a non-toil module is not a toil
+     *  artifact. An explicit `--targetMode hot|cold` always emits the section.
      */
     export function buildToilSurface(program: Program, targetMode: string | null): Uint8Array | null;
 }
@@ -5051,8 +5095,8 @@ declare module "types:toilscript/src/compiler" {
         constructor();
         /** WebAssembly target. Defaults to {@link Target.Wasm32}. */
         target: Target;
-        /** Toil compile surface mode. null = legacy single-artifact build (all surfaces allowed,
-         *  matching pre-split behavior). "hot" = request + stream surface. "cold" = daemon surface. */
+        /** Toil compile surface mode. null = default request artifact. "hot" = request + stream surface.
+         *  "cold" = daemon surface. */
         targetMode: string | null;
         /** Runtime type. Defaults to Incremental GC. */
         runtime: Runtime;
@@ -9964,7 +10008,7 @@ declare module "types:toilscript/src/index-wasm" {
     export function setExportStart(options: Options, exportStart: string | null): void;
     /** Sets the `noUnsafe` option. */
     export function setNoUnsafe(options: Options, noUnsafe: boolean): void;
-    /** Sets the `targetMode` option ("hot", "cold", or null for legacy single-artifact). */
+    /** Sets the `targetMode` option ("hot", "cold", or null for the default request artifact). */
     export function setTargetMode(options: Options, targetMode: string | null): void;
     /** Sets the `lowMemoryLimit` option. */
     export function setLowMemoryLimit(options: Options, lowMemoryLimit: number): void;