@yabgu_gm/tensionscript 0.0.0-stage → 0.10.0

package/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "{}"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright {yyyy} {name of copyright owner}
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/NOTICE

@@ -0,0 +1,97 @@
+This package is TensionScript, a fork of AssemblyScript maintained at
+https://github.com/Yabgu/TensionScript for the Tension engine. The attribution
+notices below are retained from the original project, as its license requires.
+
+The following authors have all licensed their contributions to AssemblyScript
+under the licensing terms detailed in LICENSE:
+
+* Daniel Wirtz <dcode@dcode.io>
+* Max Graey <maxgraey@gmail.com>
+* Igor Sbitnev <PinkaminaDianePie@gmail.com>
+* Norton Wang <me@nortonwang.com>
+* Alan Pierce <alangpierce@gmail.com>
+* Palmer <pengliao@live.cn>
+* Linus Unnebäck <linus@folkdatorn.se>
+* Joshua Tenner <tenner.joshua@gmail.com>
+* Nidin Vinayakan <01@01alchemist.com>
+* Aaron Turner <aaron@aaronthedev.com>
+* Willem Wyndham <willem@cs.umd.edu>
+* Bowen Wang <bowen@nearprotocol.com>
+* Emil Laine <laine.emil@gmail.com>
+* Stephen Paul Weber <stephen.weber@shopify.com>
+* Jay Phelps <hello@jayphelps.com>
+* jhwgh1968 <jhwgh1968@protonmail.com>
+* Jeffrey Charles <jeffreycharles@gmail.com>
+* Vladimir Tikhonov <reg@tikhonov.by>
+* Duncan Uszkay <duncan.uszkay@shopify.com>
+* Surma <surma@surma.dev>
+* Julien Letellier <letellier.julien@gmail.com>
+* Guido Zuidhof <me@guido.io>
+* ncave <777696+ncave@users.noreply.github.com>
+* Andrew Davis <pulpdrew@gmail.com>
+* Maël Nison <nison.mael@gmail.com>
+* Valeria Viana Gusmao <valeria.viana.gusmao@gmail.com>
+* Gabor Greif <ggreif@gmail.com>
+* Martin Fredriksson <martin.fredriksson@vikinganalytics.se>
+* forcepusher <bionitsoup@gmail.com>
+* Piotr Oleś <piotrek.oles@gmail.com>
+* Saúl Cabrera <saulecabrera@gmail.com>
+* Chance Snow <git@chancesnow.me>
+* Peter Salomonsen <petersalomonsen@runbox.com>
+* ookangzheng <git-ed@runbox.no>
+* yjhmelody <yjh465402634@gmail.com>
+* bnbarak <bn.barak@gmail.com>
+* Colin Eberhardt <colin.eberhardt@gmail.com>
+* Ryan Pivovar <ryanpivovar@gmail.com>
+* Roman F. <70765447+romdotdog@users.noreply.github.com>
+* Joe Pea <trusktr@gmail.com>
+* Felipe Gasper <FGasper@users.noreply.github.com>
+* Congcong Cai <congcongcai0907@163.com>
+* mooooooi <emwings@outlook.com>
+* Yasushi Ando <andyjpn@gmail.com>
+* Syed Jafri <syed@metalpay.co>
+* Peter Hayman <peteyhayman@gmail.com>
+* ApsarasX <apsarax@outlook.com>
+* Adrien Zinger <zinger.ad@gmail.com>
+* Ruixiang Chen <xiang19890319@gmail.com>
+* Daniel Salvadori <danaugrs@gmail.com>
+* Jairus Tanaka <me@jairus.dev>
+* CountBleck <Mr.YouKnowWhoIAm@protonmail.com>
+* Abdul Rauf <abdulraufmujahid@gmail.com>
+* Bach Le <bach@bullno1.com>
+* Xinquan Xu <xinquan0203@163.com>
+* Matt Johnson-Pint <mattjohnsonpint@gmail.com>
+* Fabián Heredia Montiel <fabianhjr@users.noreply.github.com>
+* Jonas Minnberg <sasq64@gmail.com>
+* Kam Chehresa <kaz.che@gmail.com>
+* Mopsgamer <79159094+Mopsgamer@users.noreply.github.com>
+* EDM115 <github@edm115.dev>
+* Weixie Cui <cuiweixie@gmail.com>
+
+Portions of this software are derived from third-party works licensed under
+the following terms:
+
+* TypeScript: https://github.com/Microsoft/TypeScript
+
+  Copyright (c) Microsoft Corporation
+  Apache License, Version 2.0 (https://opensource.org/licenses/Apache-2.0)
+
+* Binaryen: https://github.com/WebAssembly/binaryen
+
+  Copyright (c) WebAssembly Community Group participants
+  Apache License, Version 2.0 (https://opensource.org/licenses/Apache-2.0)
+
+* musl libc: http://www.musl-libc.org
+
+  Copyright (c) Rich Felker, et al.
+  The MIT License (https://opensource.org/licenses/MIT)
+
+* V8: https://developers.google.com/v8/
+
+  Copyright (c) the V8 project authors
+  The 3-Clause BSD License (https://opensource.org/licenses/BSD-3-Clause)
+
+* Arm Optimized Routines: https://github.com/ARM-software/optimized-routines
+
+  Copyright (c) Arm Limited
+  The MIT License (https://opensource.org/licenses/MIT)

package/README.md

@@ -1,3 +1,159 @@
-# Temporary Holding Version
+# TensionScript
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+**A TypeScript-shaped language for WebAssembly** — the compiler Tension's guests
+are written in.
+
+TensionScript compiles TypeScript syntax to WebAssembly using
+[Binaryen](https://github.com/WebAssembly/binaryen). It is maintained for the
+[Tension](https://github.com/Yabgu/Tension) engine as a fork of
+[AssemblyScript](https://github.com/AssemblyScript/assemblyscript). The command
+and the package are its own: it does not collide with `asc` (AssemblyScript's
+compiler) or `tsc` (TypeScript's), so a project that installs both compilers
+always resolves the one it named.
+
+**Current version: 0.10.0.** The [feature showcase](docs/showcase.md) has one
+section per capability, with runnable examples and the refused forms; the scoping
+notes it draws from are in [`docs/`](docs/).
+
+## Install
+
+```sh
+npm install @yabgu_gm/tensionscript
+```
+
+## Usage
+
+The command is `tensionscript`. From an npm script, `tensionscript …` resolves to
+the installed package's binary; from a shell, `npx tensionscript …` does:
+
+```sh
+npx tensionscript assembly/index.ts -o build/index.wasm --runtime incremental --target release
+```
+
+The compiler is also a library, under the package's `asc` subpath:
+
+```js
+import tensionscript from "@yabgu_gm/tensionscript/asc";
+```
+
+## Status
+
+TensionScript is a **fork of AssemblyScript**, and it does not aim for upstream
+merge: AssemblyScript's repository is a reference, not a target. The base is
+pinned at `b6bda05c` (upstream's tip at fork time) and the fork is **154
+commits ahead of it**, measured at `ef18ae56`. Why the fork exists, what it
+shares, and how it stays current: [`docs/fork-posture.md`](docs/fork-posture.md).
+
+### What this fork adds
+
+- **C-model interop.** `@unmanaged struct` (a plain C-shaped record),
+  `@managed struct` (a GC-owned record with the same layout), `T[N]` inline
+  arrays, `@abi.alias` + `abiNameOf` (a field's C name, distinct from its
+  TensionScript name), `COPY_STRUCT`, and a C-compatible `sizeof` that includes
+  trailing padding. A `layout_hash` computed against the engine catches layout
+  drift when a session opens. See [showcase §1](docs/showcase.md) and
+  §2 for `@managed struct`.
+- **Value types.** `@inline struct` gives a record value semantics: SROA locals,
+  copy on assignment, flattened (SROA) parameters, sret returns through a hidden
+  destination parameter, an `@external` argument temp, and an export-side byval
+  mirror. One-field records are refused at every boundary — the C/WASM tool
+  convention passes a one-scalar struct as the scalar itself, which would
+  disagree silently. See
+  [showcase §3](docs/showcase.md).
+- **Memory-model overrides.** A *use* can name the model it wants
+  (`v: @inline Vec3`) while the declaration keeps its own. `@managed` ↔
+  `@unmanaged` is the free cell; `@inline` over a pointer declaration is the
+  boundary cell (import temp copy, export byval). Three cells are refused by
+  principle: a use cannot confer storage the value does not have. See
+  [showcase §4](docs/showcase.md).
+- **Async/await.** `await` is the marker. The scheduler contract is
+  park / wake / resume with the task table owned by the guest; the shipped
+  implementation is the push path (the pull path was retired in 0.7.0).
+  Host-driven runtime tests cover it. See
+  [showcase §5](docs/showcase.md).
+- **Closures.** Capture, a synthesized environment class, and `this`/environment
+  unification. The captured binding has exactly one home. `this` in an arrow
+  function resolves to the nearest enclosing non-arrow receiver — TypeScript's
+  rule. See [showcase §6](docs/showcase.md).
+- **Lazy expressions.** `@lazy` defers an expression's evaluation to the binding's
+  first read, memoized. Three forms: `@lazy f()` (deferred, synchronous),
+  `@lazy await f()` (deferred, awaited at the read), and
+  `@lazy await spawn(f)` (launched at the declaration, joined at the read).
+  `spawn` is the eager primitive. See
+  [showcase §7](docs/showcase.md).
+- **Bootstrap self-compile.** The compiler compiles its own source: 229 errors
+  down to 0, with the `.wast` fixpoint byte-identical across the stages.
+
+### What the fork deliberately shares
+
+The divergence is bounded, and the sharing is a decision rather than an accident:
+the **parser structure**, the **standard library's core**, and the **Binaryen
+backend** are AssemblyScript's. Where the fork extends one of those, the extension
+lands with fixtures — the `@lazy` prefix arm sits inside AS's expression dispatch,
+the record layout builds on AS's `Type` machinery, and std gains
+`task.ts`/`task-rt.ts` rather than replacing anything.
+
+## Differences from TypeScript
+
+- **No exceptions.** `try`/`catch` is `AS100: Not implemented: Exceptions`.
+- **No implicit `any`.** The type system is strict; a value has a type or the
+  program does not compile.
+- **`async` is the scheduler's contract, not `Promise`'s.** There is no
+  microtask queue and no `Promise<T>`; an async call produces a `Task<T>`, and
+  awaiting it parks the current task until the host resumes it.
+- **Structs are C-shaped, not TypeScript classes.** `@unmanaged struct` and
+  `@managed struct` have C layout and `sizeof`/`offsetof`; a class is a GC
+  reference, as in AssemblyScript.
+
+## Differences from AssemblyScript
+
+The fork is a fork. The divergence is deliberate, it is bounded, and each change
+lands with fixtures — see *What this fork adds* above for the list, and
+[`docs/fork-arc-scope.md`](docs/fork-arc-scope.md) for the measurement that
+established the posture. Features AssemblyScript cannot express — memory-model
+overrides, the scheduler contract — are in scope here; a feature is not rejected
+for lacking an AS equivalent.
+
+## What's next
+
+[`docs/fork-posture.md`](docs/fork-posture.md) is the frame: what this fork is,
+what it deliberately shares with AssemblyScript, what it diverges on, and the
+quarterly sync cadence. [`docs/showcase.md`](docs/showcase.md) is the
+per-capability reference — examples, semantics, and what each feature refuses.
+[`docs/fork-arc-scope.md`](docs/fork-arc-scope.md) sequences the remaining work.
+Deferred and named, each with its reason in
+[`docs/session-findings.md`](docs/session-findings.md):
+
+- **Inline nesting** — an `@inline struct` as a field of another record.
+- **`T[N]` fields in `@inline struct`** — deep SROA, one local per element.
+- **GC-reference fields in `@inline struct`** — an SROA'd field has no address,
+  and the write barrier needs one.
+- **Closure capture of an `@inline` value** — needs inline nesting first.
+- **`@external` return of `@inline struct`** — an ABI version.
+- **SROA for top-level statics** — per-field globals, or a shadow slot.
+- **`lazy-await-type-inference`** — lifting `@lazy await`'s declared-type
+  requirement (`TS6399`).
+
+The full deferred list, with the reason for each, is
+[showcase §9](docs/showcase.md) and [posture §6](docs/fork-posture.md).
+
+## Links
+
+- Tension (the engine these guests run on): https://github.com/Yabgu/Tension
+- TensionScript (this compiler): https://github.com/Yabgu/TensionScript
+- Fork posture — what the fork is, what it shares, how it stays current:
+  [`docs/fork-posture.md`](docs/fork-posture.md)
+- Fork arc and phase sequencing:
+  [`docs/fork-arc-scope.md`](docs/fork-arc-scope.md)
+- Session findings — what each measurement found, and the traps:
+  [`docs/session-findings.md`](docs/session-findings.md)
+- Scheduler contract: [`docs/scheduler-contract.md`](docs/scheduler-contract.md)
+- Changelog: [`CHANGELOG.md`](CHANGELOG.md)
+
+## Attribution and license
+
+Based on AssemblyScript, Apache-2.0 licensed. Original project at
+https://github.com/AssemblyScript/assemblyscript.
+
+The `NOTICE` file retains the original project's attribution, and the license is
+the Apache License 2.0 (`LICENSE`).

package/bin/tensionscript.js

@@ -0,0 +1,35 @@
+#!/usr/bin/env node
+
+const [ nodePath, thisPath, ...args ] = process.argv;
+const nodeArgs = process.execArgv;
+
+const hasSourceMaps = nodeArgs.includes("--enable-source-maps");
+const posCustomArgs = args.indexOf("--");
+const isDeno = typeof Deno !== "undefined";
+
+if (isDeno) {
+  process.on = function() { /* suppress 'not implemented' message */ };
+}
+
+if ((!hasSourceMaps || ~posCustomArgs) && !isDeno) {
+  if (!hasSourceMaps) {
+    nodeArgs.push("--enable-source-maps");
+  }
+  if (~posCustomArgs) {
+    nodeArgs.push(...args.slice(posCustomArgs + 1));
+    args.length = posCustomArgs;
+  }
+  const { status, signal } = (await import("child_process")).spawnSync(
+    nodePath,
+    [...nodeArgs, thisPath, ...args],
+    { stdio: "inherit" }
+  );
+  if (status || signal) process.exitCode = 1;
+} else {
+  const apiResult = (await import("../dist/asc.js")).main(process.argv.slice(2), {
+    stdout: process.stdout,
+    stderr: process.stderr
+  });
+  const { error }  = await apiResult;
+  if (error) process.exitCode = 1;
+}

package/dist/asc.d.ts

@@ -0,0 +1,4 @@
+/// <reference path="./asc.generated.d.ts" />
+export * from "types:tensionscript/cli/index";
+import * as asc from "types:tensionscript/cli/index";
+export default asc;