From f783dfc21b484201bc9111bccdb1b045fba8e33b Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 9 Dec 2025 12:15:01 +0000
Subject: [PATCH 1/3] Initial plan


From 8b12b4e024f2706e52382547c77cef1eb31945ad Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 9 Dec 2025 12:18:22 +0000
Subject: [PATCH 2/3] Rename tsds.mts to index.mts and update all references

Co-authored-by: hzhangxyz <11623447+hzhangxyz@users.noreply.github.com>
---
 README.md                            |  2 +-
 atsds/{tsds.mts => index.mts}        |  0
 docs/examples/sudoku.md              |  2 +-
 docs/getting-started/installation.md |  2 +-
 examples/main.mjs                    |  2 +-
 package.json                         | 14 +++++++-------
 rollup.config.mjs                    |  4 ++--
 tests/test_item.mjs                  |  2 +-
 tests/test_list.mjs                  |  2 +-
 tests/test_rule.mjs                  |  2 +-
 tests/test_search.mjs                |  2 +-
 tests/test_string.mjs                |  2 +-
 tests/test_term.mjs                  |  2 +-
 tests/test_variable.mjs              |  2 +-
 14 files changed, 20 insertions(+), 20 deletions(-)
 rename atsds/{tsds.mts => index.mts} (100%)

diff --git a/README.md b/README.md
index 73bf4ef..3e63863 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@ A deductive system for logical inference, implemented in C++. The library provid
 
 - **C++ Core**: The core implementation in `src/` and `include/ds/` provides the fundamental data structures and algorithms
 - **Python Bindings**: Built with pybind11, wrapping the C++ core (see `apyds/`)
-- **TypeScript/JavaScript Bindings**: Built with Emscripten, compiling C++ to WebAssembly (see `tsds/`)
+- **TypeScript/JavaScript Bindings**: Built with Emscripten, compiling C++ to WebAssembly (see `atsds/`)
 
 ## Features
 
diff --git a/atsds/tsds.mts b/atsds/index.mts
similarity index 100%
rename from atsds/tsds.mts
rename to atsds/index.mts
diff --git a/docs/examples/sudoku.md b/docs/examples/sudoku.md
index 42af01a..9c6b276 100644
--- a/docs/examples/sudoku.md
+++ b/docs/examples/sudoku.md
@@ -21,7 +21,7 @@ The Sudoku solver encodes Sudoku rules as logical inference rules in the DS syst
 <script>
 (async () => {
   const vue = await import("https://unpkg.com/vue@3.5.25/dist/vue.esm-browser.prod.js");
-  const atsds = await import("https://unpkg.com/atsds@0.0.2/dist/tsds.mjs");
+  const atsds = await import("https://unpkg.com/atsds@0.0.2/dist/index.mjs");
   const { loadModule } = await import("https://unpkg.com/vue3-sfc-loader@0.9.5/dist/vue3-sfc-loader.esm.js");
 
   const options = {
diff --git a/docs/getting-started/installation.md b/docs/getting-started/installation.md
index d6bb655..9455245 100644
--- a/docs/getting-started/installation.md
+++ b/docs/getting-started/installation.md
@@ -26,7 +26,7 @@ The package works in browsers that support WebAssembly:
 
 ```html
 <script type="module">
-  import { term_t } from "https://unpkg.com/atsds/dist/tsds.mjs";
+  import { term_t } from "https://unpkg.com/atsds/dist/index.mjs";
   
   const term = new term_t("(hello world)");
   console.log(term.toString());
diff --git a/examples/main.mjs b/examples/main.mjs
index b04749f..09b6a79 100644
--- a/examples/main.mjs
+++ b/examples/main.mjs
@@ -1,4 +1,4 @@
-import { rule_t, search_t, buffer_size } from "../atsds/tsds.mts";
+import { rule_t, search_t, buffer_size } from "../atsds/index.mts";
 
 function main() {
     const temp_data_size = 1000;
diff --git a/package.json b/package.json
index fb4b8f7..97c91fe 100644
--- a/package.json
+++ b/package.json
@@ -8,14 +8,14 @@
         "url": "https://github.com/USTC-KnowledgeComputingLab/ds.git"
     },
     "type": "module",
-    "exports": "./dist/tsds.mjs",
-    "main": "dist/tsds.mjs",
-    "module": "dist/tsds.mjs",
-    "browser": "dist/tsds.mjs",
-    "types": "dist/tsds.d.mts",
+    "exports": "./dist/index.mjs",
+    "main": "dist/index.mjs",
+    "module": "dist/index.mjs",
+    "browser": "dist/index.mjs",
+    "types": "dist/index.d.mts",
     "files": [
-        "dist/tsds.d.mts",
-        "dist/tsds.mjs"
+        "dist/index.d.mts",
+        "dist/index.mjs"
     ],
     "scripts": {
         "emcc": "emcc -std=c++20 atsds/ds.cc src/*.cc -Iinclude -lembind -o atsds/ds.mjs --emit-tsd ds.d.mts -O3 -ffast-math -flto -s ALLOW_MEMORY_GROWTH=1 -s SINGLE_FILE=1",
diff --git a/rollup.config.mjs b/rollup.config.mjs
index d553929..881d921 100644
--- a/rollup.config.mjs
+++ b/rollup.config.mjs
@@ -6,7 +6,7 @@ import { dts } from "rollup-plugin-dts";
 export default [
     {
         input: {
-            tsds: "atsds/tsds.mts",
+            index: "atsds/index.mts",
             example: "examples/main.mjs",
         },
         output: {
@@ -18,7 +18,7 @@ export default [
     },
     {
         input: {
-            tsds: "atsds/tsds.mts",
+            index: "atsds/index.mts",
         },
         output: {
             dir: "dist",
diff --git a/tests/test_item.mjs b/tests/test_item.mjs
index f89509c..69923a2 100644
--- a/tests/test_item.mjs
+++ b/tests/test_item.mjs
@@ -1,4 +1,4 @@
-import { item_t, buffer_size } from "../atsds/tsds.mts";
+import { item_t, buffer_size } from "../atsds/index.mts";
 
 let v = null;
 
diff --git a/tests/test_list.mjs b/tests/test_list.mjs
index 6f5dbf7..14737d3 100644
--- a/tests/test_list.mjs
+++ b/tests/test_list.mjs
@@ -1,4 +1,4 @@
-import { list_t, buffer_size } from "../atsds/tsds.mts";
+import { list_t, buffer_size } from "../atsds/index.mts";
 
 let v = null;
 
diff --git a/tests/test_rule.mjs b/tests/test_rule.mjs
index dbcc897..faea126 100644
--- a/tests/test_rule.mjs
+++ b/tests/test_rule.mjs
@@ -1,4 +1,4 @@
-import { rule_t, buffer_size } from "../atsds/tsds.mts";
+import { rule_t, buffer_size } from "../atsds/index.mts";
 
 let v = null;
 
diff --git a/tests/test_search.mjs b/tests/test_search.mjs
index 68b9be2..2ac7a4c 100644
--- a/tests/test_search.mjs
+++ b/tests/test_search.mjs
@@ -1,4 +1,4 @@
-import { search_t, rule_t } from "../atsds/tsds.mts";
+import { search_t, rule_t } from "../atsds/index.mts";
 
 let search = null;
 
diff --git a/tests/test_string.mjs b/tests/test_string.mjs
index bec63eb..fe08677 100644
--- a/tests/test_string.mjs
+++ b/tests/test_string.mjs
@@ -1,4 +1,4 @@
-import { string_t, buffer_size } from "../atsds/tsds.mts";
+import { string_t, buffer_size } from "../atsds/index.mts";
 
 let v = null;
 
diff --git a/tests/test_term.mjs b/tests/test_term.mjs
index bf8c9af..5f9ff2d 100644
--- a/tests/test_term.mjs
+++ b/tests/test_term.mjs
@@ -1,4 +1,4 @@
-import { list_t, item_t, variable_t, term_t, buffer_size } from "../atsds/tsds.mts";
+import { list_t, item_t, variable_t, term_t, buffer_size } from "../atsds/index.mts";
 
 let v = null;
 
diff --git a/tests/test_variable.mjs b/tests/test_variable.mjs
index f742268..d829d86 100644
--- a/tests/test_variable.mjs
+++ b/tests/test_variable.mjs
@@ -1,4 +1,4 @@
-import { variable_t, buffer_size } from "../atsds/tsds.mts";
+import { variable_t, buffer_size } from "../atsds/index.mts";
 
 let v = null;
 

From 5ac4b8f16b460c1a4ae1416192cc8218aff5b285 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 9 Dec 2025 12:40:51 +0000
Subject: [PATCH 3/3] Update sudoku example version from 0.0.2 to 0.0.4

Co-authored-by: hzhangxyz <11623447+hzhangxyz@users.noreply.github.com>
---
 docs/examples/sudoku.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/examples/sudoku.md b/docs/examples/sudoku.md
index 9c6b276..3142ed5 100644
--- a/docs/examples/sudoku.md
+++ b/docs/examples/sudoku.md
@@ -21,7 +21,7 @@ The Sudoku solver encodes Sudoku rules as logical inference rules in the DS syst
 <script>
 (async () => {
   const vue = await import("https://unpkg.com/vue@3.5.25/dist/vue.esm-browser.prod.js");
-  const atsds = await import("https://unpkg.com/atsds@0.0.2/dist/index.mjs");
+  const atsds = await import("https://unpkg.com/atsds@0.0.4/dist/index.mjs");
   const { loadModule } = await import("https://unpkg.com/vue3-sfc-loader@0.9.5/dist/vue3-sfc-loader.esm.js");
 
   const options = {