@yabgu_gm/tensionscript 0.11.4 → 0.13.0

package/dist/importmap.json

@@ -1,7 +1,7 @@
 {
   "imports": {
-    "@yabgu_gm/tensionscript": "https://cdn.jsdelivr.net/npm/@yabgu_gm/tensionscript@0.11.4/dist/assemblyscript.js",
-    "@yabgu_gm/tensionscript/asc": "https://cdn.jsdelivr.net/npm/@yabgu_gm/tensionscript@0.11.4/dist/asc.js",
+    "@yabgu_gm/tensionscript": "https://cdn.jsdelivr.net/npm/@yabgu_gm/tensionscript@0.13.0/dist/assemblyscript.js",
+    "@yabgu_gm/tensionscript/asc": "https://cdn.jsdelivr.net/npm/@yabgu_gm/tensionscript@0.13.0/dist/asc.js",
     "binaryen": "https://cdn.jsdelivr.net/npm/binaryen@131.0.0-nightly.20260721/index.js",
     "long": "https://cdn.jsdelivr.net/npm/long@5.3.2/index.js"
   }

package/dist/web.js

@@ -1,8 +1,8 @@
-var TENSIONSCRIPT_VERSION = "0.11.4";
+var TENSIONSCRIPT_VERSION = "0.13.0";
   var TENSIONSCRIPT_IMPORTMAP = {
   "imports": {
-    "@yabgu_gm/tensionscript": "https://cdn.jsdelivr.net/npm/@yabgu_gm/tensionscript@0.11.4/dist/assemblyscript.js",
-    "@yabgu_gm/tensionscript/asc": "https://cdn.jsdelivr.net/npm/@yabgu_gm/tensionscript@0.11.4/dist/asc.js",
+    "@yabgu_gm/tensionscript": "https://cdn.jsdelivr.net/npm/@yabgu_gm/tensionscript@0.13.0/dist/assemblyscript.js",
+    "@yabgu_gm/tensionscript/asc": "https://cdn.jsdelivr.net/npm/@yabgu_gm/tensionscript@0.13.0/dist/asc.js",
     "binaryen": "https://cdn.jsdelivr.net/npm/binaryen@131.0.0-nightly.20260721/index.js",
     "long": "https://cdn.jsdelivr.net/npm/long@5.3.2/index.js"
   }

package/package.json

@@ -8,7 +8,7 @@
     "tensionscript",
     "wasm"
   ],
-  "version": "0.11.4",
+  "version": "0.13.0",
   "author": "Daniel Wirtz <dcode+assemblyscript@dcode.io>",
   "license": "Apache-2.0",
   "homepage": "https://github.com/Yabgu/Tension",
@@ -77,6 +77,7 @@
     "check": "npm run check:config && npm run check:import && npm run lint",
     "check:config": "tsc --noEmit -p src --diagnostics --listFiles",
     "check:import": "tsc --noEmit --skipLibCheck --target ESNEXT --module nodenext --moduleResolution nodenext --experimentalDecorators tests/import/index",
+    "check:headers": "bash scripts/check-headers.sh",
     "lint": "eslint --max-warnings 0 --ext js . && eslint --max-warnings 0 --ext ts .",
     "build": "node scripts/build",
     "watch": "node scripts/build --watch",
@@ -87,6 +88,7 @@
     "test:flags": "node --enable-source-maps tests/flags.js",
     "test:async": "node --enable-source-maps tests/async/resolver.js && node --enable-source-maps tests/async/lower.js && node --enable-source-maps tests/async/runtime.js",
     "test:compiler": "node --enable-source-maps --no-warnings tests/compiler",
+    "test:bootstrap": "npm run bootstrap:debug && npm run test:compiler -- --wasm build/assemblyscript.debug-bootstrap.js",
     "test:browser": "node --enable-source-maps tests/browser",
     "test:asconfig": "cd tests/asconfig && npm run test",
     "test:transform": "npm run test:transform:esm && npm run test:transform:cjs",

package/std/assembly/dynamicarray.ts

@@ -0,0 +1,39 @@
+/// <reference path="./rt/index.d.ts" />
+
+/**
+ * The descriptor behind `@managed @dynamic [T * n]`.
+ *
+ * A managed dynamic array is a **GC reference** to one of these, so the value is
+ * traced, rooted and nullable exactly like any other class reference. That is
+ * the whole reason this is a class rather than a compiler-internal `Type` with
+ * a "managed" flag: a `TypeKind.DynamicArray` carries `TypeFlags.None`, which
+ * makes `Type#isManaged` answer false (`types.ts`), which makes the collector
+ * skip a local holding it. The buffer would then be freed under a live
+ * descriptor — use-after-free by construction.
+ *
+ * Layout note: the **data buffer is bare**. It has no length header, unlike
+ * `@unmanaged @dynamic [T * n]`, because this descriptor owns the length. So
+ * `y[i]` is `dataPtr + i*sizeof(T)`, with no header offset — the opposite of the
+ * unmanaged form, where the buffer describes itself so that C can build one.
+ *
+ * Two layouts, one syntax family, differing only by memory model. That is
+ * deliberate: `@unmanaged` is the self-describing C-facing form, `@managed` is
+ * the GC-traced form whose length travels in this object. Putting a header in
+ * front of the data as well would give one length two sources of truth.
+ *
+ * This class is not meant to be constructed by user code. Landing 4d.1 makes
+ * `@managed @dynamic [T * n]` **resolve** to it; construction (the two-argument
+ * `changetype`) and indexing are Landing 4d.2.
+ */
+@final
+export class DynamicArray<T> {
+  /** Address of the first element. Caller-owned; not traced. */
+  dataPtr: usize;
+  /** Number of elements. Read as a class field, so no header load. */
+  length: u32;
+
+  constructor(dataPtr: usize, length: u32) {
+    this.dataPtr = dataPtr;
+    this.length = length;
+  }
+}