@yabgu_gm/tensionscript 0.11.3 → 0.11.4

package/dist/assemblyscript.generated.d.ts

@@ -6215,8 +6215,14 @@ declare module "types:tensionscript/src/compiler" {
         /** The bytes one call-temp slot needs for `type`, rounded up to the region's
          *  16-byte alignment so every slot stays aligned for any field. */
         private sretSizeOf;
-        /** `base + mark`, freshly built. Callers must not share the node: Binaryen
-         *  passes assume a single parent per expression. */
+        /** The call-temp slot address: the mark alone, freshly built so callers never
+         *  share a node (Binaryen's passes assume a single parent per expression).
+         *
+         *  **Not `base + mark`.** `ensureSretStack` initialises the bump global to
+         *  `base`, so a mark saved from it is already absolute — which is also what
+         *  `makeSretGuard` assumes when it tests `mark + size > base + SIZE`. Adding
+         *  `base` a second time yields `2 * base + ...`; measured, that produced a
+         *  fault at exactly `0x1002a60 = 2 * 0x801418`. */
         private makeSretAddress;
         /** A load of one field of an `@inline struct` at a slot address. */
         private makeSretFieldLoad;
@@ -6236,7 +6242,7 @@ declare module "types:tensionscript/src/compiler" {
          * the caller's later mutation of the struct cannot be observed by the body.
          */
         private emitExportByValPrologue;
-        /** `base + mark + extra`, freshly built. Callers must not share the node:
+        /** `mark + extra`, freshly built. Callers must not share the node:
          *  Binaryen's passes assume a single parent per expression. */
         private makeSretAddressPlus;
         /**
@@ -6247,7 +6253,7 @@ declare module "types:tensionscript/src/compiler" {
          * descended into. Keeping one recursion is what makes a nested value cross a
          * host boundary at the layout the C side expects.
          */
-        emitTempArgumentLeaves(type: Type, fieldLocals: Map<string, Local>, base: number, markLocal: Local, baseOffset: number, stmts: ExpressionRef[]): void;
+        emitTempArgumentLeaves(type: Type, fieldLocals: Map<string, Local>, markLocal: Local, baseOffset: number, stmts: ExpressionRef[]): void;
         /**
          * Materialises one `@inline struct` argument of an `@external` call on the
          * static call-temp stack and returns the address to pass.
@@ -6382,7 +6388,7 @@ declare module "types:tensionscript/src/compiler" {
          * back into the leaf locals a read path walks. A fresh slot address per load,
          * for the same one-parent-per-node reason.
          */
-        emitSretLoadsInto(type: Type, fieldLocals: Map<string, Local>, base: number, markLocal: Local, baseOffset: number, stmts: ExpressionRef[]): void;
+        emitSretLoadsInto(type: Type, fieldLocals: Map<string, Local>, markLocal: Local, baseOffset: number, stmts: ExpressionRef[]): void;
         /**
          * The `fieldLocals` tree behind an SROA-tracked expression, or `null`.
          *