@aster-cloud/aster-lang-ts 0.1.5 → 0.2.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +72 -0
- package/LICENSE +201 -0
- package/README.md +2 -0
- package/dist/scripts/core-ir-json.d.ts +3 -0
- package/dist/scripts/core-ir-json.d.ts.map +1 -0
- package/dist/scripts/core-ir-json.js +72 -0
- package/dist/scripts/core-ir-json.js.map +1 -0
- package/dist/scripts/golden.js +49 -0
- package/dist/scripts/golden.js.map +1 -1
- package/dist/src/ai/providers/anthropic.d.ts +17 -0
- package/dist/src/ai/providers/anthropic.d.ts.map +1 -1
- package/dist/src/ai/providers/anthropic.js +58 -15
- package/dist/src/ai/providers/anthropic.js.map +1 -1
- package/dist/src/ast/ast.d.ts +2 -2
- package/dist/src/ast/ast.d.ts.map +1 -1
- package/dist/src/ast/ast.js +5 -2
- package/dist/src/ast/ast.js.map +1 -1
- package/dist/src/browser/schema.d.ts +52 -0
- package/dist/src/browser/schema.d.ts.map +1 -0
- package/dist/src/browser/schema.js +205 -0
- package/dist/src/browser/schema.js.map +1 -0
- package/dist/src/browser.d.ts +19 -54
- package/dist/src/browser.d.ts.map +1 -1
- package/dist/src/browser.js +30 -188
- package/dist/src/browser.js.map +1 -1
- package/dist/src/cli/policy-converter.js +8 -1
- package/dist/src/cli/policy-converter.js.map +1 -1
- package/dist/src/config/effect_config.d.ts.map +1 -1
- package/dist/src/config/effect_config.js +7 -1
- package/dist/src/config/effect_config.js.map +1 -1
- package/dist/src/config/lexicons/de-DE.d.ts.map +1 -1
- package/dist/src/config/lexicons/de-DE.js +1 -0
- package/dist/src/config/lexicons/de-DE.js.map +1 -1
- package/dist/src/config/lexicons/en-US.d.ts.map +1 -1
- package/dist/src/config/lexicons/en-US.js +1 -0
- package/dist/src/config/lexicons/en-US.js.map +1 -1
- package/dist/src/config/lexicons/fallback-lexicon.d.ts +41 -0
- package/dist/src/config/lexicons/fallback-lexicon.d.ts.map +1 -0
- package/dist/src/config/lexicons/fallback-lexicon.js +88 -0
- package/dist/src/config/lexicons/fallback-lexicon.js.map +1 -0
- package/dist/src/config/lexicons/identifiers/registry.d.ts +9 -0
- package/dist/src/config/lexicons/identifiers/registry.d.ts.map +1 -1
- package/dist/src/config/lexicons/identifiers/registry.js +12 -0
- package/dist/src/config/lexicons/identifiers/registry.js.map +1 -1
- package/dist/src/config/lexicons/index.d.ts +25 -3
- package/dist/src/config/lexicons/index.d.ts.map +1 -1
- package/dist/src/config/lexicons/index.js +42 -7
- package/dist/src/config/lexicons/index.js.map +1 -1
- package/dist/src/config/lexicons/registry.d.ts.map +1 -1
- package/dist/src/config/lexicons/registry.js +43 -5
- package/dist/src/config/lexicons/registry.js.map +1 -1
- package/dist/src/config/lexicons/template.d.ts.map +1 -1
- package/dist/src/config/lexicons/template.js +2 -0
- package/dist/src/config/lexicons/template.js.map +1 -1
- package/dist/src/config/lexicons/zh-CN.d.ts.map +1 -1
- package/dist/src/config/lexicons/zh-CN.js +36 -20
- package/dist/src/config/lexicons/zh-CN.js.map +1 -1
- package/dist/src/config/semantic.d.ts +13 -0
- package/dist/src/config/semantic.d.ts.map +1 -1
- package/dist/src/config/semantic.js +17 -0
- package/dist/src/config/semantic.js.map +1 -1
- package/dist/src/config/token-kind.d.ts +2 -0
- package/dist/src/config/token-kind.d.ts.map +1 -1
- package/dist/src/config/token-kind.js +3 -1
- package/dist/src/config/token-kind.js.map +1 -1
- package/dist/src/core/core_ir.d.ts +2 -2
- package/dist/src/core/core_ir.d.ts.map +1 -1
- package/dist/src/core/core_ir.js +5 -2
- package/dist/src/core/core_ir.js.map +1 -1
- package/dist/src/core/interpreter.js +6 -1
- package/dist/src/core/interpreter.js.map +1 -1
- package/dist/src/core/visitor.d.ts.map +1 -1
- package/dist/src/core/visitor.js +17 -0
- package/dist/src/core/visitor.js.map +1 -1
- package/dist/src/diagnostics/error_codes.d.ts +2 -0
- package/dist/src/diagnostics/error_codes.d.ts.map +1 -1
- package/dist/src/diagnostics/error_codes.js +11 -5
- package/dist/src/diagnostics/error_codes.js.map +1 -1
- package/dist/src/effects/effect_inference_browser.d.ts.map +1 -1
- package/dist/src/effects/effect_inference_browser.js +22 -4
- package/dist/src/effects/effect_inference_browser.js.map +1 -1
- package/dist/src/frontend/canonicalizer.d.ts +33 -0
- package/dist/src/frontend/canonicalizer.d.ts.map +1 -1
- package/dist/src/frontend/canonicalizer.js +77 -5
- package/dist/src/frontend/canonicalizer.js.map +1 -1
- package/dist/src/frontend/lexer.d.ts.map +1 -1
- package/dist/src/frontend/lexer.js +7 -1
- package/dist/src/frontend/lexer.js.map +1 -1
- package/dist/src/jvm/emitter.js +2 -2
- package/dist/src/jvm/emitter.js.map +1 -1
- package/dist/src/lower_to_core.js +2 -2
- package/dist/src/lower_to_core.js.map +1 -1
- package/dist/src/lsp/config.d.ts +13 -9
- package/dist/src/lsp/config.d.ts.map +1 -1
- package/dist/src/lsp/config.js +19 -5
- package/dist/src/lsp/config.js.map +1 -1
- package/dist/src/lsp/diagnostics.d.ts +10 -0
- package/dist/src/lsp/diagnostics.d.ts.map +1 -1
- package/dist/src/lsp/diagnostics.js +43 -1
- package/dist/src/lsp/diagnostics.js.map +1 -1
- package/dist/src/lsp/pii_diagnostics.d.ts.map +1 -1
- package/dist/src/lsp/pii_diagnostics.js +4 -1
- package/dist/src/lsp/pii_diagnostics.js.map +1 -1
- package/dist/src/lsp/server.js +49 -17
- package/dist/src/lsp/server.js.map +1 -1
- package/dist/src/lsp/utils.js +1 -1
- package/dist/src/lsp/utils.js.map +1 -1
- package/dist/src/parser/context.d.ts.map +1 -1
- package/dist/src/parser/context.js +32 -12
- package/dist/src/parser/context.js.map +1 -1
- package/dist/src/parser/decl-parser.d.ts +2 -2
- package/dist/src/parser/decl-parser.d.ts.map +1 -1
- package/dist/src/parser/decl-parser.js +113 -14
- package/dist/src/parser/decl-parser.js.map +1 -1
- package/dist/src/parser/expr-stmt-parser.d.ts.map +1 -1
- package/dist/src/parser/expr-stmt-parser.js +111 -4
- package/dist/src/parser/expr-stmt-parser.js.map +1 -1
- package/dist/src/parser/import-parser.d.ts +3 -2
- package/dist/src/parser/import-parser.d.ts.map +1 -1
- package/dist/src/parser/import-parser.js +12 -3
- package/dist/src/parser/import-parser.js.map +1 -1
- package/dist/src/parser/input-generator.d.ts +2 -0
- package/dist/src/parser/input-generator.d.ts.map +1 -1
- package/dist/src/parser/input-generator.js +11 -1
- package/dist/src/parser/input-generator.js.map +1 -1
- package/dist/src/parser/type-parser.js +1 -1
- package/dist/src/parser/type-parser.js.map +1 -1
- package/dist/src/typecheck/alias.d.ts +24 -0
- package/dist/src/typecheck/alias.d.ts.map +1 -0
- package/dist/src/typecheck/alias.js +30 -0
- package/dist/src/typecheck/alias.js.map +1 -0
- package/dist/src/typecheck/browser.d.ts +41 -4
- package/dist/src/typecheck/browser.d.ts.map +1 -1
- package/dist/src/typecheck/browser.js +189 -14
- package/dist/src/typecheck/browser.js.map +1 -1
- package/dist/src/typecheck/context.js +1 -1
- package/dist/src/typecheck/context.js.map +1 -1
- package/dist/src/typecheck/effects.d.ts.map +1 -1
- package/dist/src/typecheck/effects.js +18 -4
- package/dist/src/typecheck/effects.js.map +1 -1
- package/dist/src/typecheck/expression.js +1 -1
- package/dist/src/typecheck/expression.js.map +1 -1
- package/dist/src/typecheck/generics.js +1 -1
- package/dist/src/typecheck/generics.js.map +1 -1
- package/dist/src/typecheck/module.d.ts.map +1 -1
- package/dist/src/typecheck/module.js +13 -8
- package/dist/src/typecheck/module.js.map +1 -1
- package/dist/src/typecheck/pattern.js +1 -1
- package/dist/src/typecheck/pattern.js.map +1 -1
- package/dist/src/typecheck/pure.d.ts +66 -0
- package/dist/src/typecheck/pure.d.ts.map +1 -0
- package/dist/src/typecheck/pure.js +163 -0
- package/dist/src/typecheck/pure.js.map +1 -0
- package/dist/src/typecheck/statement.js +1 -1
- package/dist/src/typecheck/statement.js.map +1 -1
- package/dist/src/typecheck/type_system.d.ts +6 -1
- package/dist/src/typecheck/type_system.d.ts.map +1 -1
- package/dist/src/typecheck/type_system.js +61 -13
- package/dist/src/typecheck/type_system.js.map +1 -1
- package/dist/src/typecheck/utils.d.ts +4 -69
- package/dist/src/typecheck/utils.d.ts.map +1 -1
- package/dist/src/typecheck/utils.js +17 -170
- package/dist/src/typecheck/utils.js.map +1 -1
- package/dist/src/typecheck/workflow.js +1 -1
- package/dist/src/typecheck/workflow.js.map +1 -1
- package/dist/src/typecheck-pii.d.ts.map +1 -1
- package/dist/src/typecheck-pii.js +11 -1
- package/dist/src/typecheck-pii.js.map +1 -1
- package/dist/src/types/base.d.ts +1 -0
- package/dist/src/types/base.d.ts.map +1 -1
- package/dist/src/types.d.ts +18 -0
- package/dist/src/types.d.ts.map +1 -1
- package/dist/src/types.js +1 -0
- package/dist/src/types.js.map +1 -1
- package/dist/test/e2e/runner/golden-runner.js +21 -10
- package/dist/test/e2e/runner/golden-runner.js.map +1 -1
- package/dist/test/integration/compliance/compliance-smoke.test.js +27 -35
- package/dist/test/integration/compliance/compliance-smoke.test.js.map +1 -1
- package/dist/test/integration/lsp/lsp-multi-rename.test.js +8 -7
- package/dist/test/integration/lsp/lsp-multi-rename.test.js.map +1 -1
- package/dist/test/policy-converter/round-trip.test.js +6 -4
- package/dist/test/policy-converter/round-trip.test.js.map +1 -1
- package/dist/test/regression/type-checker-golden.test.js +8 -4
- package/dist/test/regression/type-checker-golden.test.js.map +1 -1
- package/dist/test/type-checker/cross-module-packages.test.js +5 -3
- package/dist/test/type-checker/cross-module-packages.test.js.map +1 -1
- package/dist/test/type-checker/pii-propagation.test.js +24 -18
- package/dist/test/type-checker/pii-propagation.test.js.map +1 -1
- package/dist/test/unit/browser/typecheck-browser-pii-failure.test.d.ts +2 -0
- package/dist/test/unit/browser/typecheck-browser-pii-failure.test.d.ts.map +1 -0
- package/dist/test/unit/browser/typecheck-browser-pii-failure.test.js +193 -0
- package/dist/test/unit/browser/typecheck-browser-pii-failure.test.js.map +1 -0
- package/dist/test/unit/browser/typecheck-browser-unsupported.test.d.ts +2 -0
- package/dist/test/unit/browser/typecheck-browser-unsupported.test.d.ts.map +1 -0
- package/dist/test/unit/browser/typecheck-browser-unsupported.test.js +110 -0
- package/dist/test/unit/browser/typecheck-browser-unsupported.test.js.map +1 -0
- package/dist/test/unit/canonicalizer/canonicalizer.test.js +91 -1
- package/dist/test/unit/canonicalizer/canonicalizer.test.js.map +1 -1
- package/dist/test/unit/canonicalizer/cjk-punctuation.test.d.ts +2 -0
- package/dist/test/unit/canonicalizer/cjk-punctuation.test.d.ts.map +1 -0
- package/dist/test/unit/canonicalizer/cjk-punctuation.test.js +118 -0
- package/dist/test/unit/canonicalizer/cjk-punctuation.test.js.map +1 -0
- package/dist/test/unit/canonicalizer/conformance-cjk-v2.test.d.ts +2 -0
- package/dist/test/unit/canonicalizer/conformance-cjk-v2.test.d.ts.map +1 -0
- package/dist/test/unit/canonicalizer/conformance-cjk-v2.test.js +40 -0
- package/dist/test/unit/canonicalizer/conformance-cjk-v2.test.js.map +1 -0
- package/dist/test/unit/config/lexicons/i18n.test.js +31 -14
- package/dist/test/unit/config/lexicons/i18n.test.js.map +1 -1
- package/dist/test/unit/config/lexicons/zh-CN.test.js +150 -143
- package/dist/test/unit/config/lexicons/zh-CN.test.js.map +1 -1
- package/dist/test/unit/keyword-translator.test.js +16 -19
- package/dist/test/unit/keyword-translator.test.js.map +1 -1
- package/dist/test/unit/lexicons/fallback-lexicon.test.d.ts +16 -0
- package/dist/test/unit/lexicons/fallback-lexicon.test.d.ts.map +1 -0
- package/dist/test/unit/lexicons/fallback-lexicon.test.js +98 -0
- package/dist/test/unit/lexicons/fallback-lexicon.test.js.map +1 -0
- package/dist/test/unit/llm-providers.test.js +105 -93
- package/dist/test/unit/llm-providers.test.js.map +1 -1
- package/dist/test/unit/lowering/lowering.test.js +12 -0
- package/dist/test/unit/lowering/lowering.test.js.map +1 -1
- package/dist/test/unit/parser/entry-annotations.test.d.ts +2 -0
- package/dist/test/unit/parser/entry-annotations.test.d.ts.map +1 -0
- package/dist/test/unit/parser/entry-annotations.test.js +110 -0
- package/dist/test/unit/parser/entry-annotations.test.js.map +1 -0
- package/dist/test/unit/parser/parser.test.js +30 -6
- package/dist/test/unit/parser/parser.test.js.map +1 -1
- package/dist/test/unit/scripts/verify-browser-entry.test.d.ts +2 -0
- package/dist/test/unit/scripts/verify-browser-entry.test.d.ts.map +1 -0
- package/dist/test/unit/scripts/verify-browser-entry.test.js +179 -0
- package/dist/test/unit/scripts/verify-browser-entry.test.js.map +1 -0
- package/dist/test/unit/typecheck/function-return-inference.test.d.ts +2 -0
- package/dist/test/unit/typecheck/function-return-inference.test.d.ts.map +1 -0
- package/dist/test/unit/typecheck/function-return-inference.test.js +79 -0
- package/dist/test/unit/typecheck/function-return-inference.test.js.map +1 -0
- package/dist/test/unit/typecheck/pii-cross-runtime-conformance.test.d.ts +2 -0
- package/dist/test/unit/typecheck/pii-cross-runtime-conformance.test.d.ts.map +1 -0
- package/dist/test/unit/typecheck/pii-cross-runtime-conformance.test.js +191 -0
- package/dist/test/unit/typecheck/pii-cross-runtime-conformance.test.js.map +1 -0
- package/dist/test/unit/typecheck/should-enforce-pii.test.js +25 -110
- package/dist/test/unit/typecheck/should-enforce-pii.test.js.map +1 -1
- package/dist/test/unit/typecheck/type-system.test.js +83 -3
- package/dist/test/unit/typecheck/type-system.test.js.map +1 -1
- package/package.json +41 -9
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aster-cloud/aster-lang-ts",
|
|
3
|
-
"version": "0.
|
|
3
|
+
"version": "0.2.2",
|
|
4
4
|
"description": "Aster CNL (Controlled Natural Language) TypeScript Compiler - Lexer, Parser, AST, Core IR, Type Checker",
|
|
5
5
|
"type": "module",
|
|
6
6
|
"main": "./dist/src/index.js",
|
|
@@ -77,10 +77,6 @@
|
|
|
77
77
|
"./browser": {
|
|
78
78
|
"types": "./dist/src/browser.d.ts",
|
|
79
79
|
"import": "./dist/src/browser.js"
|
|
80
|
-
},
|
|
81
|
-
"./browser/bundle": {
|
|
82
|
-
"types": "./dist/src/browser.d.ts",
|
|
83
|
-
"import": "./dist/browser.bundle.js"
|
|
84
80
|
}
|
|
85
81
|
},
|
|
86
82
|
"bin": {
|
|
@@ -116,33 +112,67 @@
|
|
|
116
112
|
},
|
|
117
113
|
"dependencies": {
|
|
118
114
|
"@types/semver": "^7.7.1",
|
|
119
|
-
"
|
|
115
|
+
"semver": "^7.7.3"
|
|
116
|
+
},
|
|
117
|
+
"//peerDependencies": "P0-R19: CLI/LSP-only deps. Consumers importing only the browser/core entries don't need them. Subpath imports (./cli, ./lsp) require them — flagged optional so npm/pnpm install them by default but consumers can opt out with --no-optional.",
|
|
118
|
+
"peerDependencies": {
|
|
119
|
+
"cac": "^6.7.14",
|
|
120
120
|
"ora": "^9.0.0",
|
|
121
121
|
"p-limit": "^7.2.0",
|
|
122
|
-
"semver": "^7.7.3",
|
|
123
122
|
"tar": "^7.5.8",
|
|
124
123
|
"vscode-languageserver": "^9.0.1",
|
|
125
124
|
"vscode-languageserver-textdocument": "^1.0.12",
|
|
126
125
|
"vscode-languageserver-types": "^3.17.5"
|
|
127
126
|
},
|
|
127
|
+
"peerDependenciesMeta": {
|
|
128
|
+
"cac": {
|
|
129
|
+
"optional": true
|
|
130
|
+
},
|
|
131
|
+
"ora": {
|
|
132
|
+
"optional": true
|
|
133
|
+
},
|
|
134
|
+
"p-limit": {
|
|
135
|
+
"optional": true
|
|
136
|
+
},
|
|
137
|
+
"tar": {
|
|
138
|
+
"optional": true
|
|
139
|
+
},
|
|
140
|
+
"vscode-languageserver": {
|
|
141
|
+
"optional": true
|
|
142
|
+
},
|
|
143
|
+
"vscode-languageserver-textdocument": {
|
|
144
|
+
"optional": true
|
|
145
|
+
},
|
|
146
|
+
"vscode-languageserver-types": {
|
|
147
|
+
"optional": true
|
|
148
|
+
}
|
|
149
|
+
},
|
|
128
150
|
"devDependencies": {
|
|
151
|
+
"@aster-cloud/aster-lang-test": "file:vendor/aster-cloud-aster-lang-test-0.0.3.tgz",
|
|
129
152
|
"@changesets/cli": "^2.29.8",
|
|
130
|
-
"esbuild": "^0.24.0",
|
|
131
153
|
"@types/node": "^24.6.0",
|
|
132
154
|
"@typescript-eslint/eslint-plugin": "^8.48.1",
|
|
133
155
|
"@typescript-eslint/parser": "^8.45.0",
|
|
134
156
|
"ajv": "^8.17.1",
|
|
135
157
|
"c8": "^10.1.3",
|
|
158
|
+
"cac": "6.7.14",
|
|
159
|
+
"esbuild": "^0.24.0",
|
|
136
160
|
"eslint": "^9.36.0",
|
|
137
161
|
"eslint-config-prettier": "^10.1.8",
|
|
138
162
|
"eslint-plugin-import": "^2.32.0",
|
|
139
163
|
"fast-check": "^4.3.0",
|
|
140
164
|
"nock": "^14.0.10",
|
|
165
|
+
"ora": "^9.0.0",
|
|
166
|
+
"p-limit": "^7.2.0",
|
|
141
167
|
"peggy": "^5.0.6",
|
|
142
168
|
"prettier": "^3.7.4",
|
|
169
|
+
"tar": "^7.5.8",
|
|
143
170
|
"typedoc": "^0.28.15",
|
|
144
171
|
"typedoc-plugin-markdown": "^4.9.0",
|
|
145
|
-
"typescript": "^5.9.2"
|
|
172
|
+
"typescript": "^5.9.2",
|
|
173
|
+
"vscode-languageserver": "^9.0.1",
|
|
174
|
+
"vscode-languageserver-textdocument": "^1.0.12",
|
|
175
|
+
"vscode-languageserver-types": "^3.17.5"
|
|
146
176
|
},
|
|
147
177
|
"optionalDependencies": {
|
|
148
178
|
"@anthropic-ai/sdk": "^0.71.0",
|
|
@@ -172,6 +202,7 @@
|
|
|
172
202
|
"test:integration:run": "node --test 'dist/test/integration/**/*.test.js'",
|
|
173
203
|
"test:golden": "pnpm run build && pnpm run test:golden:run",
|
|
174
204
|
"test:golden:run": "node dist/scripts/golden.js",
|
|
205
|
+
"dual-engine:runner": "node scripts/dual-engine-runner.mjs",
|
|
175
206
|
"test:property": "pnpm run build && pnpm run test:property:run",
|
|
176
207
|
"test:property:run": "node --test 'dist/test/property/**/*.test.js'",
|
|
177
208
|
"test:fuzz": "pnpm run build && pnpm run test:fuzz:run",
|
|
@@ -193,6 +224,7 @@
|
|
|
193
224
|
"typecheck": "tsc --noEmit",
|
|
194
225
|
"lsp": "node dist/src/lsp/server.js --stdio",
|
|
195
226
|
"repl": "node dist/scripts/repl.js",
|
|
227
|
+
"core-ir-json": "node dist/scripts/core-ir-json.js",
|
|
196
228
|
"docs:api": "typedoc --options typedoc.json",
|
|
197
229
|
"release:patch": "npm version patch && git push && git push --tags",
|
|
198
230
|
"release:minor": "npm version minor && git push && git push --tags",
|