@aster-cloud/aster-lang-ts 1.3.0 → 1.5.0
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 +64 -0
- package/dist/scripts/generate_error_code_docs.js +4 -0
- package/dist/scripts/generate_error_code_docs.js.map +1 -1
- package/dist/scripts/generate_error_codes.js +2 -0
- package/dist/scripts/generate_error_codes.js.map +1 -1
- package/dist/src/browser.d.ts +11 -1
- package/dist/src/browser.d.ts.map +1 -1
- package/dist/src/browser.js +16 -3
- package/dist/src/browser.js.map +1 -1
- package/dist/src/compile-pipeline.d.ts +6 -0
- package/dist/src/compile-pipeline.d.ts.map +1 -1
- package/dist/src/compile-pipeline.js +15 -2
- package/dist/src/compile-pipeline.js.map +1 -1
- package/dist/src/config/lexicons/diagnostic-overlays.generated.d.ts.map +1 -1
- package/dist/src/config/lexicons/diagnostic-overlays.generated.js +51 -3
- package/dist/src/config/lexicons/diagnostic-overlays.generated.js.map +1 -1
- package/dist/src/diagnostics/diagnostics.d.ts +2 -2
- package/dist/src/diagnostics/diagnostics.d.ts.map +1 -1
- package/dist/src/diagnostics/diagnostics.js +9 -2
- package/dist/src/diagnostics/diagnostics.js.map +1 -1
- package/dist/src/diagnostics/error_codes.d.ts +9 -1
- package/dist/src/diagnostics/error_codes.d.ts.map +1 -1
- package/dist/src/diagnostics/error_codes.js +64 -0
- package/dist/src/diagnostics/error_codes.js.map +1 -1
- package/dist/src/diagnostics/lowering.d.ts +22 -0
- package/dist/src/diagnostics/lowering.d.ts.map +1 -0
- package/dist/src/diagnostics/lowering.js +47 -0
- package/dist/src/diagnostics/lowering.js.map +1 -0
- package/dist/src/effects/effect_inference.js +3 -1
- package/dist/src/effects/effect_inference.js.map +1 -1
- package/dist/src/effects/effect_inference_browser.js +3 -1
- package/dist/src/effects/effect_inference_browser.js.map +1 -1
- package/dist/src/governance/controls-registry.data.d.ts +1 -0
- package/dist/src/governance/controls-registry.data.d.ts.map +1 -1
- package/dist/src/governance/controls-registry.data.js +3 -3
- package/dist/src/governance/controls-registry.data.js.map +1 -1
- package/dist/src/governance/controls.d.ts +2 -0
- package/dist/src/governance/controls.d.ts.map +1 -1
- package/dist/src/governance/controls.js +9 -4
- package/dist/src/governance/controls.js.map +1 -1
- package/dist/src/governance/input-refs.d.ts +35 -0
- package/dist/src/governance/input-refs.d.ts.map +1 -0
- package/dist/src/governance/input-refs.js +386 -0
- package/dist/src/governance/input-refs.js.map +1 -0
- package/dist/src/lower_to_core.js +10 -13
- package/dist/src/lower_to_core.js.map +1 -1
- package/dist/src/parser/context.d.ts +28 -6
- package/dist/src/parser/context.d.ts.map +1 -1
- package/dist/src/parser/context.js +26 -7
- package/dist/src/parser/context.js.map +1 -1
- package/dist/src/parser/type-parser.d.ts.map +1 -1
- package/dist/src/parser/type-parser.js +35 -5
- package/dist/src/parser/type-parser.js.map +1 -1
- package/dist/src/typecheck/governance.d.ts +3 -2
- package/dist/src/typecheck/governance.d.ts.map +1 -1
- package/dist/src/typecheck/governance.js +19 -5
- package/dist/src/typecheck/governance.js.map +1 -1
- package/dist/src/types.d.ts +6 -0
- package/dist/src/types.d.ts.map +1 -1
- package/dist/test/unit/config/lexicons/hi-IN.test.js +3 -3
- package/dist/test/unit/config/lexicons/hi-IN.test.js.map +1 -1
- package/dist/test/unit/diagnostics/diagnostic-overlays.test.js +32 -0
- package/dist/test/unit/diagnostics/diagnostic-overlays.test.js.map +1 -1
- package/dist/test/unit/diagnostics/lowering-diagnostics-parity.test.d.ts +11 -0
- package/dist/test/unit/diagnostics/lowering-diagnostics-parity.test.d.ts.map +1 -0
- package/dist/test/unit/diagnostics/lowering-diagnostics-parity.test.js +213 -0
- package/dist/test/unit/diagnostics/lowering-diagnostics-parity.test.js.map +1 -0
- package/dist/test/unit/formatter-corpus-roundtrip.test.js +1 -0
- package/dist/test/unit/formatter-corpus-roundtrip.test.js.map +1 -1
- package/dist/test/unit/governance/controls-registry-profiles.test.js +30 -1
- package/dist/test/unit/governance/controls-registry-profiles.test.js.map +1 -1
- package/dist/test/unit/governance/input-refs-parity.test.d.ts +2 -0
- package/dist/test/unit/governance/input-refs-parity.test.d.ts.map +1 -0
- package/dist/test/unit/governance/input-refs-parity.test.js +64 -0
- package/dist/test/unit/governance/input-refs-parity.test.js.map +1 -0
- package/dist/test/unit/governance/input-refs.test.d.ts +2 -0
- package/dist/test/unit/governance/input-refs.test.d.ts.map +1 -0
- package/dist/test/unit/governance/input-refs.test.js +133 -0
- package/dist/test/unit/governance/input-refs.test.js.map +1 -0
- package/dist/test/unit/governance/no-profile-ir-unchanged.test.d.ts +2 -0
- package/dist/test/unit/governance/no-profile-ir-unchanged.test.d.ts.map +1 -0
- package/dist/test/unit/governance/no-profile-ir-unchanged.test.js +66 -0
- package/dist/test/unit/governance/no-profile-ir-unchanged.test.js.map +1 -0
- package/dist/test/unit/governance/profile-check.test.js +50 -4
- package/dist/test/unit/governance/profile-check.test.js.map +1 -1
- package/dist/test/unit/lowering/lowering.test.js +5 -2
- package/dist/test/unit/lowering/lowering.test.js.map +1 -1
- package/dist/test/unit/parse-type-recursion.test.js +71 -6
- package/dist/test/unit/parse-type-recursion.test.js.map +1 -1
- package/dist/test/unit/parser/effect-unknown-name.test.d.ts +2 -0
- package/dist/test/unit/parser/effect-unknown-name.test.d.ts.map +1 -0
- package/dist/test/unit/parser/effect-unknown-name.test.js +97 -0
- package/dist/test/unit/parser/effect-unknown-name.test.js.map +1 -0
- package/dist/test/unit/parser/func-type.test.js +2 -2
- package/dist/test/unit/parser/func-type.test.js.map +1 -1
- package/dist/test/unit/parser/then-localization.test.js +4 -4
- package/dist/test/unit/parser/then-localization.test.js.map +1 -1
- package/package.json +1 -1
package/CHANGELOG.md
CHANGED
|
@@ -1,5 +1,69 @@
|
|
|
1
1
|
# Changelog
|
|
2
2
|
|
|
3
|
+
## 1.5.0
|
|
4
|
+
|
|
5
|
+
### 规则输入引用 `Core.Func.inputRefs`、E708 与控制注册表 1.2.0（ADR 0046 §11 R62，与 aster-lang-core 同车次）
|
|
6
|
+
|
|
7
|
+
- **新增 `Core.Func.inputRefs?: readonly string[]`**：声明了档案（`Profile "…"`）的模块中，返回 Verdict 的规则写入它对
|
|
8
|
+
第一个参数读取的源码字段路径（点连接，按 UTF-16 码元字典序去重；`""` 为参数本身，`["*"]` 为无法静态确定，`[]` 为不读输入）。
|
|
9
|
+
在名称解析 R2 之后计算（`src/governance/input-refs.ts`，Java 镜像 `InputRefsAnalyzer`），zh / de 源码产出规范路径。
|
|
10
|
+
**未声明档案的模块 IR 逐字节不变**；声明档案模块的 IR 只多出该字段。传播规则见 ADR 0046 §11.2 D2 与 §11.6。
|
|
11
|
+
- **新增 E708 `GOV_PROFILE_INPUT_UNRESOLVABLE`（error）**：档案要求 `verifiedInputs` 且规则的 `inputRefs` 为 `["*"]` 时报告，
|
|
12
|
+
参数 `{rule, profile, construct}`，`construct` 取先序遍历中第一个产生 `*` 的构造（闭集九项，值不翻译）。
|
|
13
|
+
`src/diagnostics/error_codes.ts` 与 `docs/error-codes.md` 随共享码表同步；zh / de / hi 译文按 aster-lang-locales /
|
|
14
|
+
aster-lang-hi 同名分支（`feat/r62-input-refs`）的语言包重新生成 `diagnostic-overlays.generated.ts`。
|
|
15
|
+
- **控制注册表内置副本升到 1.2.0**：两个档案都显式 `"verifiedInputs": false`，因此本版本对任何现有策略**不新增诊断**。
|
|
16
|
+
`ProfileDef` 新增 `verifiedInputs: boolean`：注册表缺该键时为 `false`，出现但不是布尔时该档案不登记（声明它的模块得到 E705），
|
|
17
|
+
与 Java `ControlRegistry` 同口径；其余未知键照旧忽略。
|
|
18
|
+
- 共享夹具 `shared/governance_input_refs_parity.json`（与 aster-lang-core 测试资源 byte-identical）：ADR 正反例表逐行、
|
|
19
|
+
补充规则 (a)–(c)、`Use … as Alias` 与本模块函数同名、两处 `*` 的遍历顺序、非 Verdict 函数、zh / de 规范路径。
|
|
20
|
+
|
|
21
|
+
### 类型嵌套上限 300 → 64（收紧，行为变化，与 aster-lang-core#250 同车次）
|
|
22
|
+
|
|
23
|
+
- `MAX_TYPE_RECURSION_DEPTH` 由 300 降到 **64**，与 core 新增的词法期类型守卫 `AsterCustomLexer.MAX_TYPE_NESTING_DEPTH`
|
|
24
|
+
同值同单位：每进入一次 `parseType` 计 1（含叶子类型名），`list of` 元素、`Map` 键和值、`result of` 每个分量、
|
|
25
|
+
`option of` 参数各占一层。core 此前没有类型守卫，1MB 线程栈 `-Xint` 下 `result of Int and result of …` 约 206–211 层
|
|
26
|
+
即在 ANTLR 解析期栈溢出；64 取在该值一半以下，512K 栈仍有余量。
|
|
27
|
+
- **行为变化**：类型嵌套深度在 65–300 之间的源码，此前 ts 通过，现在报 E054。降低上限的前提是发版前的生产源码
|
|
28
|
+
gate scan 结果为 0（发版计划 §4 第 6 条）。
|
|
29
|
+
- 共享夹具 `shared/parse_diagnostics_parity.json` 新增 list 链、Map 键 / 值交替、result 失败分量嵌套三种形态的
|
|
30
|
+
「64 层放行 / 65 层 E054」六例（与 core 副本 byte-identical）。
|
|
31
|
+
|
|
32
|
+
### 未知效果名与 core 对齐（放宽，#304）
|
|
33
|
+
|
|
34
|
+
- `It performs <名字>` 接受任意基效果名（如 `teleport`、`pure`），与 aster-lang-core 文法 `IT PERFORMS IDENT` 一致；
|
|
35
|
+
此前 ts 在解析期报错，core 一直接受。core 词法保留的关键词（`return`、`to`、`async` 等，含 zh / de 翻译后同词）
|
|
36
|
+
不是 IDENT，两端都拒绝；core 不保留的软关键词（如 `maybe`）两端都接受。能力名（首字母大写）的处理不变。
|
|
37
|
+
- lowering 不再对未知效果抛 E601：名字原样保留在 Core IR 的 `effects` / `declaredEffects`（core 同样透传），
|
|
38
|
+
检查阶段按 pure 处理（效果推断把未知名折算为 PURE，与 core `EffectChecker` 一致）。E601 仍留在码表中，
|
|
39
|
+
两引擎都不再有发出点；共享夹具 `shared/lowering_diagnostics_parity.json` 不变，其中 E601 例在 ts 侧改为断言
|
|
40
|
+
「lowering 接受并保留该名字」，渲染 parity 照旧。
|
|
41
|
+
|
|
42
|
+
## 1.4.0
|
|
43
|
+
|
|
44
|
+
### lowering 诊断进入共享错误码表（E600–E606，#302 / #303，与 aster-lang-core#248 同车次）
|
|
45
|
+
|
|
46
|
+
- 共享码表新增 category=`lowering` 的 E600–E605（AST → Core IR 的不变量守卫：未知声明 / 效果 / 语句 /
|
|
47
|
+
表达式 / 模式 / 类型种类）与 E606（lowering 阶段内部异常，`detail` 为异常消息）。守卫的英文 `message`
|
|
48
|
+
原句不变，诊断的 `code` 由本地码 L101–L106 改为新码并带命名参数（`params`）。
|
|
49
|
+
- `compile()` / `compileAndTypecheck()` 新增 `loweringDiagnostics?: TypecheckDiagnostic[]`（与
|
|
50
|
+
`resolutionDiagnostics` / `typeErrors` 同形，`data` 为命名参数，传入 lexicon 时按语言包 overlay 本地化，缺译回退英文）。
|
|
51
|
+
只有 lowering 调用（R1 → lower → R2）的异常才转为 lowering 诊断；规范化 / 词法 / 解析阶段的非诊断异常保持原行为。
|
|
52
|
+
- `loweringErrors?: string[]` 标 **@deprecated**，并行保留一个 minor 版本（lowering 失败时为各条诊断的英文 message；
|
|
53
|
+
前置阶段异常仍只出现在这里）。消费方（aster-cloud `useAsterCompiler` / `seed-compile-gate`）改读
|
|
54
|
+
`loweringDiagnostics` 并直接取 `code`、不再映射 E000 后，**下一 minor 删除 `loweringErrors`**（与 R56 的 legacyCode 过渡同理）。
|
|
55
|
+
- 共享 parity 夹具 `shared/lowering_diagnostics_parity.json`（与 core 副本 byte-identical）：每码 en / zh / de 各一例。
|
|
56
|
+
- zh / de / hi 译文按 aster-lang-locales / aster-lang-hi 同名分支（`fix/302-lowering-error-codes`，locales#126）的语言包重新生成
|
|
57
|
+
diagnostic overlay；overlay 校验对 lowering 码保留缺译豁免（范围断言锁定为 E600–E606），语言包发版后删除。
|
|
58
|
+
|
|
59
|
+
### 解析（收紧，与 core 对齐，aster-api#472，#305）
|
|
60
|
+
|
|
61
|
+
- 表达式嵌套上限 `MAX_RECURSION_DEPTH` 300 → **64**，与 aster-lang-core 两道守卫同值：Java 侧 1MB 线程栈上
|
|
62
|
+
157–196 层括号就栈溢出，原上限形同虚设，core 下调到 64 后 TS 随之对齐。共享夹具
|
|
63
|
+
`shared/parse_diagnostics_parity.json` 新增「63 层括号放行 / 64 层 E054」两例。
|
|
64
|
+
- 类型递归（`maybe` / `list of` 链）改用独立上限 `MAX_TYPE_RECURSION_DEPTH`，保持 300：Java 侧类型嵌套无守卫，
|
|
65
|
+
TS 不得比 Java 更严。`ParserContext.enterRecursion(limit?)` 新增可选上限参数。
|
|
66
|
+
|
|
3
67
|
## 1.3.0
|
|
4
68
|
|
|
5
69
|
### 破坏性：删除过渡字段 legacyCode（ADR 0051 §16 R56 过渡结束，#300）
|
|
@@ -69,6 +69,9 @@ function generateDocs(errorCodes) {
|
|
|
69
69
|
- **E300-E399**: 能力系统错误
|
|
70
70
|
- **E400-E499**: PII 隐私相关错误
|
|
71
71
|
- **E500-E599**: 异步编程错误
|
|
72
|
+
- **E600-E699**: 降级（AST → Core IR）错误，lowering 阶段的 AST 不变量守卫与内部异常
|
|
73
|
+
- **E700-E799**: 治理（ADR 0039）与 Cedar 导出错误
|
|
74
|
+
- **E800-E899**: 名称解析（ADR 0051）错误
|
|
72
75
|
- **W0xx**: 警告级别错误码（使用 W 前缀）
|
|
73
76
|
|
|
74
77
|
---
|
|
@@ -86,6 +89,7 @@ function getCategoryDisplayName(category) {
|
|
|
86
89
|
scope: '作用域与导入',
|
|
87
90
|
pii: 'PII 隐私保护',
|
|
88
91
|
syntax: '语法',
|
|
92
|
+
lowering: '降级（AST → Core IR）',
|
|
89
93
|
semantic: '语义',
|
|
90
94
|
};
|
|
91
95
|
return names[category] || category;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"generate_error_code_docs.js","sourceRoot":"","sources":["../../scripts/generate_error_code_docs.ts"],"names":[],"mappings":";AACA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,OAAO,MAAM,cAAc,CAAC;AAYnC,SAAS,YAAY,CAAC,UAAsB;IAC1C,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAE3C,gBAAgB;IAChB,MAAM,UAAU,GAAG,IAAI,GAAG,EAA2C,CAAC;IACtE,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QACnC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC;IAED,gBAAgB;IAChB,MAAM,gBAAgB,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAE9D,IAAI,QAAQ,GAAG;;;;UAIP,OAAO,CAAC,MAAM;;;;CAIvB,CAAC;IAEA,KAAK,MAAM,QAAQ,IAAI,gBAAgB,EAAE,CAAC;QACxC,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;QAClD,YAAY;QACZ,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAEnE,MAAM,YAAY,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;QACtD,QAAQ,IAAI,OAAO,YAAY,KAAK,QAAQ,OAAO,CAAC;QACpD,QAAQ,IAAI,KAAK,eAAe,CAAC,MAAM,WAAW,CAAC;QACnD,QAAQ,IAAI,+BAA+B,CAAC;QAC5C,QAAQ,IAAI,6CAA6C,CAAC;QAE1D,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,eAAe,EAAE,CAAC;YAC3C,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACjD,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzC,QAAQ,IAAI,OAAO,KAAK,CAAC,IAAI,QAAQ,GAAG,QAAQ,QAAQ,MAAM,OAAO,MAAM,IAAI,MAAM,CAAC;QACxF,CAAC;QAED,QAAQ,IAAI,IAAI,CAAC;IACnB,CAAC;IAED,OAAO;IACP,QAAQ,IAAI
|
|
1
|
+
{"version":3,"file":"generate_error_code_docs.js","sourceRoot":"","sources":["../../scripts/generate_error_code_docs.ts"],"names":[],"mappings":";AACA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,OAAO,MAAM,cAAc,CAAC;AAYnC,SAAS,YAAY,CAAC,UAAsB;IAC1C,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAE3C,gBAAgB;IAChB,MAAM,UAAU,GAAG,IAAI,GAAG,EAA2C,CAAC;IACtE,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QACnC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC;IAED,gBAAgB;IAChB,MAAM,gBAAgB,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAE9D,IAAI,QAAQ,GAAG;;;;UAIP,OAAO,CAAC,MAAM;;;;CAIvB,CAAC;IAEA,KAAK,MAAM,QAAQ,IAAI,gBAAgB,EAAE,CAAC;QACxC,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;QAClD,YAAY;QACZ,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAEnE,MAAM,YAAY,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;QACtD,QAAQ,IAAI,OAAO,YAAY,KAAK,QAAQ,OAAO,CAAC;QACpD,QAAQ,IAAI,KAAK,eAAe,CAAC,MAAM,WAAW,CAAC;QACnD,QAAQ,IAAI,+BAA+B,CAAC;QAC5C,QAAQ,IAAI,6CAA6C,CAAC;QAE1D,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,eAAe,EAAE,CAAC;YAC3C,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACjD,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzC,QAAQ,IAAI,OAAO,KAAK,CAAC,IAAI,QAAQ,GAAG,QAAQ,QAAQ,MAAM,OAAO,MAAM,IAAI,MAAM,CAAC;QACxF,CAAC;QAED,QAAQ,IAAI,IAAI,CAAC;IACnB,CAAC;IAED,OAAO;IACP,QAAQ,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+Bb,CAAC;IAEA,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,sBAAsB,CAAC,QAAgB;IAC9C,MAAM,KAAK,GAA2B;QACpC,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,MAAM;QACd,UAAU,EAAE,MAAM;QAClB,KAAK,EAAE,MAAM;QACb,KAAK,EAAE,QAAQ;QACf,GAAG,EAAE,UAAU;QACf,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,mBAAmB;QAC7B,QAAQ,EAAE,IAAI;KACf,CAAC;IACF,OAAO,KAAK,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC;AACrC,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,IAAY;IACnC,2CAA2C;IAC3C,4DAA4D;IAC5D,qCAAqC;IACrC,OAAO,IAAI;SACR,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC;SACzB,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC;SACxB,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC;SACxB,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC;SACxB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,eAAe,CAAC,QAAgB;IACvC,MAAM,KAAK,GAA2B;QACpC,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,YAAY;QACrB,IAAI,EAAE,SAAS;KAChB,CAAC;IACF,OAAO,KAAK,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC;AACrC,CAAC;AAED,SAAS,IAAI;IACX,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,yBAAyB,CAAC;IAC/D,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,qBAAqB,CAAC;IAE5D,OAAO,CAAC,GAAG,CAAC,UAAU,SAAS,EAAE,CAAC,CAAC;IAEnC,IAAI,UAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACnD,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAe,CAAC;IACjD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,eAAe,SAAS,EAAE,CAAC,CAAC;QAC1C,OAAO,CAAC,KAAK,CAAE,KAAe,CAAC,OAAO,CAAC,CAAC;QACxC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,SAAS,UAAU,EAAE,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IAE1C,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC/C,OAAO,CAAC,GAAG,CAAC,UAAU,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,UAAU,CAAC,CAAC;AAClE,CAAC;AAED,IAAI,EAAE,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"generate_error_codes.js","sourceRoot":"","sources":["../../scripts/generate_error_codes.ts"],"names":[],"mappings":";AACA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAiB7C,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;AAC3E,MAAM,gBAAgB,GAAG,OAAO,CAAC,YAAY,EAAE,QAAQ,EAAE,kBAAkB,CAAC,CAAC;AAC7E,8DAA8D;AAC9D,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,EAAE,KAAK,EAAE,aAAa,EAAE,gBAAgB,CAAC,CAAC;AAChF,gEAAgE;AAChE,MAAM,WAAW,GAAG,OAAO,CACzB,YAAY,EACZ,IAAI,EACJ,iBAAiB,EACjB,KAAK,EACL,MAAM,EACN,MAAM,EACN,OAAO,EACP,MAAM,EACN,WAAW,EACX,gBAAgB,CACjB,CAAC;AAEF,KAAK,UAAU,IAAI;IACjB,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAe,CAAC;IAE5C,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3D,IAAI;QACJ,GAAG,IAAI;KACR,CAAC,CAAC,CAAC;IAEJ,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAErD,6CAA6C;IAC7C,0DAA0D;IAC1D,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,OAAO,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;YAC7C,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACjD,OAAO,CAAC,KAAK,CAAC,mDAAmD,CAAC,CAAC;YACnE,OAAO,CAAC,KAAK,CAAC,wCAAwC,CAAC,CAAC;YACxD,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YACrB,OAAO;QACT,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,qDAAqD,CAAC,CAAC;QACnE,OAAO;IACT,CAAC;IAED,MAAM,OAAO,CAAC,GAAG,CAAC;QAChB,eAAe,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACnC,eAAe,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;KACtC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,GAAG,CAAC;QAChB,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,gBAAgB,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QAC1D,EAAE,CAAC,SAAS,CAAC,WAAW,EAAE,UAAU,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;KACvD,CAAC,CAAC;IAEH,OAAO,CAAC,GAAG,CAAC,yCAAyC,CAAC,CAAC;IACvD,OAAO,CAAC,GAAG,CAAC,OAAO,SAAS,EAAE,CAAC,CAAC;IAChC,OAAO,CAAC,GAAG,CAAC,OAAO,WAAW,EAAE,CAAC,CAAC;AACpC,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,GAAW;IACxC,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AAC3C,CAAC;AAED;;;;GAIG;AACH,KAAK,UAAU,UAAU,CACvB,OAA4C;IAE5C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,MAAM,SAAS,GAAG,CAAC,GAAW,EAAE,EAAU,EAAuB,EAAE;QACjE,MAAM,CAAC,GAAG,IAAI,GAAG,EAAkB,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QACtD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IAEF,yBAAyB;IACzB,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,uCAAuC,CAAC,CAAC;QAC1E,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC/C,CAAC;IAAC,MAAM,CAAC;QACP,QAAQ,CAAC,IAAI,CAAC,eAAe,SAAS,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,6BAA6B;IAC7B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,EAAE,iCAAiC,CAAC,CAAC;QACxE,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACnD,CAAC;IAAC,MAAM,CAAC;QACP,QAAQ,CAAC,IAAI,CAAC,iBAAiB,WAAW,EAAE,CAAC,CAAC;IAChD,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,SAAS,CAChB,KAAa,EACb,QAA6B,EAC7B,MAA2B,EAC3B,QAAkB;IAElB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;QACpC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,QAAQ,IAAI,KAAK,IAAI,GAAG,CAAC,CAAC;QAClD,CAAC;aAAM,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACrC,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,KAAK,IAAI,kBAAkB,IAAI,IAAI,KAAK,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;QACjC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,QAAQ,IAAI,sBAAsB,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,OAA4C;IACpE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAEzD,MAAM,MAAM,GACV,wDAAwD;QACxD,qCAAqC,CAAC;IAExC,MAAM,aAAa,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrE,MAAM,aAAa,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAErE,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAC3B,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,IAAI,CAClC,CAAC;IAEF,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAC9B,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,IAAI,OAAO,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CACvE,CAAC;IAEF,MAAM,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QACpC,MAAM,IAAI,GAAG,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACjD,OAAO;YACL,gBAAgB,CAAC,CAAC,IAAI,MAAM;YAC5B,uBAAuB,CAAC,CAAC,IAAI,GAAG;YAChC,kBAAkB,CAAC,CAAC,QAAQ,IAAI;YAChC,kBAAkB,CAAC,CAAC,QAAQ,IAAI;YAChC,iBAAiB,OAAO,IAAI;YAC5B,cAAc,IAAI,IAAI;YACtB,MAAM;SACP,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,MAAM;QACN,+BAA+B,aAAa,GAAG;QAC/C,+BAA+B,aAAa,GAAG;QAC/C,EAAE;QACF,+BAA+B;QAC/B,GAAG,SAAS;QACZ,GAAG;QACH,EAAE;QACF,kCAAkC;QAClC,6BAA6B;QAC7B,qCAAqC;QACrC,qCAAqC;QACrC,6BAA6B;QAC7B,0BAA0B;QAC1B,GAAG;QACH,EAAE;QACF,4DAA4D;QAC5D,GAAG,YAAY;QACf,IAAI;QACJ,EAAE;QACF,mEAAmE;QACnE,GAAG,aAAa;QAChB,IAAI;QACJ,EAAE;QACF,KAAK;QACL,oBAAoB;QACpB,KAAK;QACL,wGAAwG;QACxG,gDAAgD;QAChD,0DAA0D;QAC1D,gCAAgC;QAChC,8DAA8D;QAC9D,OAAO;QACP,GAAG;QACH,EAAE;QACF,KAAK;QACL,uBAAuB;QACvB,KAAK;QACL,oEAAoE;QACpE,gCAAgC;QAChC,GAAG;QACH,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,OAA4C;IAC9D,MAAM,MAAM,GACV,wDAAwD;QACxD,mCAAmC,CAAC;IAEtC,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QAChC,MAAM,WAAW,GAAG,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAC5C,OAAO,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,eAAe,QAAQ,cAAc,QAAQ,MAAM,WAAW,OAAO,IAAI,KAAK,CAAC;IAC9G,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,GAAG,MAAM,EAAE;QACX,+BAA+B;QAC/B,EAAE;QACF,EAAE;QACF,KAAK;QACL,2DAA2D;QAC3D,KAAK;QACL,yBAAyB;QACzB,GAAG,SAAS;QACZ,KAAK;QACL,EAAE;QACF,8BAA8B;QAC9B,oCAAoC;QACpC,oCAAoC;QACpC,yCAAyC;QACzC,8BAA8B;QAC9B,EAAE;QACF,uGAAuG;QACvG,uBAAuB;QACvB,+BAA+B;QAC/B,+BAA+B;QAC/B,6CAA6C;QAC7C,uBAAuB;QACvB,KAAK;QACL,EAAE;QACF,0BAA0B;QAC1B,kBAAkB;QAClB,KAAK;QACL,EAAE;QACF,gCAAgC;QAChC,sBAAsB;QACtB,KAAK;QACL,EAAE;QACF,gCAAgC;QAChC,sBAAsB;QACtB,KAAK;QACL,EAAE;QACF,qCAAqC;QACrC,6BAA6B;QAC7B,KAAK;QACL,EAAE;QACF,0BAA0B;QAC1B,kBAAkB;QAClB,KAAK;QACL,EAAE;QACF,4DAA4D;QAC5D,8DAA8D;QAC9D,0DAA0D;QAC1D,EAAE;QACF,OAAO;QACP,uBAAuB;QACvB,MAAM;QACN,yDAAyD;QACzD,mEAAmE;QACnE,6DAA6D;QAC7D,qDAAqD;QACrD,qDAAqD;QACrD,MAAM;QACN,qCAAqC;QACrC,0CAA0C;QAC1C,OAAO;QACP,gEAAgE;QAChE,qFAAqF;QACrF,yDAAyD;QACzD,oCAAoC;QACpC,8BAA8B;QAC9B,+CAA+C;QAC/C,2BAA2B;QAC3B,4BAA4B;QAC5B,qDAAqD;QACrD,6DAA6D;QAC7D,uFAAuF;QACvF,qDAAqD;QACrD,wGAAwG;QACxG,gBAAgB;QAChB,8CAA8C;QAC9C,SAAS;QACT,8FAA8F;QAC9F,OAAO;QACP,8BAA8B;QAC9B,4BAA4B;QAC5B,KAAK;QACL,EAAE;QACF,0BAA0B;QAC1B,WAAW;QACX,aAAa;QACb,YAAY;QACZ,aAAa;QACb,iBAAiB;QACjB,UAAU;QACV,YAAY;QACZ,WAAW;QACX,KAAK;QACL,EAAE;QACF,0BAA0B;QAC1B,YAAY;QACZ,cAAc;QACd,UAAU;QACV,KAAK;QACL,GAAG;QACH,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAa;IAC1C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC3D,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,cAAc,CAAC,OAAe;IACrC,OAAO,qBAAqB,CAAC,OAAO,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,cAAc,CAAC,QAA8B;IACpD,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,YAAY;YACf,OAAO,YAAY,CAAC;QACtB,KAAK,KAAK;YACR,OAAO,KAAK,CAAC;QACf,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,YAAY;YACf,OAAO,YAAY,CAAC;QACtB;YACE,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,QAA8B;IACpD,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB;YACE,OAAO,MAAM,CAAC;IAClB,CAAC;AACH,CAAC;AAED,KAAK,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;IACtB,OAAO,CAAC,KAAK,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;IACjC,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;AACvB,CAAC,CAAC,CAAC"}
|
|
1
|
+
{"version":3,"file":"generate_error_codes.js","sourceRoot":"","sources":["../../scripts/generate_error_codes.ts"],"names":[],"mappings":";AACA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAiB7C,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;AAC3E,MAAM,gBAAgB,GAAG,OAAO,CAAC,YAAY,EAAE,QAAQ,EAAE,kBAAkB,CAAC,CAAC;AAC7E,8DAA8D;AAC9D,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,EAAE,KAAK,EAAE,aAAa,EAAE,gBAAgB,CAAC,CAAC;AAChF,gEAAgE;AAChE,MAAM,WAAW,GAAG,OAAO,CACzB,YAAY,EACZ,IAAI,EACJ,iBAAiB,EACjB,KAAK,EACL,MAAM,EACN,MAAM,EACN,OAAO,EACP,MAAM,EACN,WAAW,EACX,gBAAgB,CACjB,CAAC;AAEF,KAAK,UAAU,IAAI;IACjB,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAe,CAAC;IAE5C,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3D,IAAI;QACJ,GAAG,IAAI;KACR,CAAC,CAAC,CAAC;IAEJ,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAErD,6CAA6C;IAC7C,0DAA0D;IAC1D,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,OAAO,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;YAC7C,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACjD,OAAO,CAAC,KAAK,CAAC,mDAAmD,CAAC,CAAC;YACnE,OAAO,CAAC,KAAK,CAAC,wCAAwC,CAAC,CAAC;YACxD,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YACrB,OAAO;QACT,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,qDAAqD,CAAC,CAAC;QACnE,OAAO;IACT,CAAC;IAED,MAAM,OAAO,CAAC,GAAG,CAAC;QAChB,eAAe,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACnC,eAAe,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;KACtC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,GAAG,CAAC;QAChB,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,gBAAgB,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QAC1D,EAAE,CAAC,SAAS,CAAC,WAAW,EAAE,UAAU,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;KACvD,CAAC,CAAC;IAEH,OAAO,CAAC,GAAG,CAAC,yCAAyC,CAAC,CAAC;IACvD,OAAO,CAAC,GAAG,CAAC,OAAO,SAAS,EAAE,CAAC,CAAC;IAChC,OAAO,CAAC,GAAG,CAAC,OAAO,WAAW,EAAE,CAAC,CAAC;AACpC,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,GAAW;IACxC,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AAC3C,CAAC;AAED;;;;GAIG;AACH,KAAK,UAAU,UAAU,CACvB,OAA4C;IAE5C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,MAAM,SAAS,GAAG,CAAC,GAAW,EAAE,EAAU,EAAuB,EAAE;QACjE,MAAM,CAAC,GAAG,IAAI,GAAG,EAAkB,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QACtD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IAEF,yBAAyB;IACzB,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,uCAAuC,CAAC,CAAC;QAC1E,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC/C,CAAC;IAAC,MAAM,CAAC;QACP,QAAQ,CAAC,IAAI,CAAC,eAAe,SAAS,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,6BAA6B;IAC7B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,EAAE,iCAAiC,CAAC,CAAC;QACxE,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACnD,CAAC;IAAC,MAAM,CAAC;QACP,QAAQ,CAAC,IAAI,CAAC,iBAAiB,WAAW,EAAE,CAAC,CAAC;IAChD,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,SAAS,CAChB,KAAa,EACb,QAA6B,EAC7B,MAA2B,EAC3B,QAAkB;IAElB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;QACpC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,QAAQ,IAAI,KAAK,IAAI,GAAG,CAAC,CAAC;QAClD,CAAC;aAAM,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACrC,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,KAAK,IAAI,kBAAkB,IAAI,IAAI,KAAK,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;QACjC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,QAAQ,IAAI,sBAAsB,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,OAA4C;IACpE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAEzD,MAAM,MAAM,GACV,wDAAwD;QACxD,qCAAqC,CAAC;IAExC,MAAM,aAAa,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrE,MAAM,aAAa,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAErE,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAC3B,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,IAAI,CAClC,CAAC;IAEF,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAC9B,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,IAAI,OAAO,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CACvE,CAAC;IAEF,MAAM,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QACpC,MAAM,IAAI,GAAG,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACjD,OAAO;YACL,gBAAgB,CAAC,CAAC,IAAI,MAAM;YAC5B,uBAAuB,CAAC,CAAC,IAAI,GAAG;YAChC,kBAAkB,CAAC,CAAC,QAAQ,IAAI;YAChC,kBAAkB,CAAC,CAAC,QAAQ,IAAI;YAChC,iBAAiB,OAAO,IAAI;YAC5B,cAAc,IAAI,IAAI;YACtB,MAAM;SACP,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,MAAM;QACN,+BAA+B,aAAa,GAAG;QAC/C,+BAA+B,aAAa,GAAG;QAC/C,EAAE;QACF,+BAA+B;QAC/B,GAAG,SAAS;QACZ,GAAG;QACH,EAAE;QACF,kCAAkC;QAClC,6BAA6B;QAC7B,qCAAqC;QACrC,qCAAqC;QACrC,6BAA6B;QAC7B,0BAA0B;QAC1B,GAAG;QACH,EAAE;QACF,4DAA4D;QAC5D,GAAG,YAAY;QACf,IAAI;QACJ,EAAE;QACF,mEAAmE;QACnE,GAAG,aAAa;QAChB,IAAI;QACJ,EAAE;QACF,KAAK;QACL,oBAAoB;QACpB,KAAK;QACL,wGAAwG;QACxG,gDAAgD;QAChD,0DAA0D;QAC1D,gCAAgC;QAChC,8DAA8D;QAC9D,OAAO;QACP,GAAG;QACH,EAAE;QACF,KAAK;QACL,uBAAuB;QACvB,KAAK;QACL,oEAAoE;QACpE,gCAAgC;QAChC,GAAG;QACH,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,OAA4C;IAC9D,MAAM,MAAM,GACV,wDAAwD;QACxD,mCAAmC,CAAC;IAEtC,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QAChC,MAAM,WAAW,GAAG,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAC5C,OAAO,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,eAAe,QAAQ,cAAc,QAAQ,MAAM,WAAW,OAAO,IAAI,KAAK,CAAC;IAC9G,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,GAAG,MAAM,EAAE;QACX,+BAA+B;QAC/B,EAAE;QACF,EAAE;QACF,KAAK;QACL,2DAA2D;QAC3D,KAAK;QACL,yBAAyB;QACzB,GAAG,SAAS;QACZ,KAAK;QACL,EAAE;QACF,8BAA8B;QAC9B,oCAAoC;QACpC,oCAAoC;QACpC,yCAAyC;QACzC,8BAA8B;QAC9B,EAAE;QACF,uGAAuG;QACvG,uBAAuB;QACvB,+BAA+B;QAC/B,+BAA+B;QAC/B,6CAA6C;QAC7C,uBAAuB;QACvB,KAAK;QACL,EAAE;QACF,0BAA0B;QAC1B,kBAAkB;QAClB,KAAK;QACL,EAAE;QACF,gCAAgC;QAChC,sBAAsB;QACtB,KAAK;QACL,EAAE;QACF,gCAAgC;QAChC,sBAAsB;QACtB,KAAK;QACL,EAAE;QACF,qCAAqC;QACrC,6BAA6B;QAC7B,KAAK;QACL,EAAE;QACF,0BAA0B;QAC1B,kBAAkB;QAClB,KAAK;QACL,EAAE;QACF,4DAA4D;QAC5D,8DAA8D;QAC9D,0DAA0D;QAC1D,EAAE;QACF,OAAO;QACP,uBAAuB;QACvB,MAAM;QACN,yDAAyD;QACzD,mEAAmE;QACnE,6DAA6D;QAC7D,qDAAqD;QACrD,qDAAqD;QACrD,MAAM;QACN,qCAAqC;QACrC,0CAA0C;QAC1C,OAAO;QACP,gEAAgE;QAChE,qFAAqF;QACrF,yDAAyD;QACzD,oCAAoC;QACpC,8BAA8B;QAC9B,+CAA+C;QAC/C,2BAA2B;QAC3B,4BAA4B;QAC5B,qDAAqD;QACrD,6DAA6D;QAC7D,uFAAuF;QACvF,qDAAqD;QACrD,wGAAwG;QACxG,gBAAgB;QAChB,8CAA8C;QAC9C,SAAS;QACT,8FAA8F;QAC9F,OAAO;QACP,8BAA8B;QAC9B,4BAA4B;QAC5B,KAAK;QACL,EAAE;QACF,0BAA0B;QAC1B,WAAW;QACX,aAAa;QACb,YAAY;QACZ,aAAa;QACb,iBAAiB;QACjB,UAAU;QACV,YAAY;QACZ,WAAW;QACX,KAAK;QACL,EAAE;QACF,0BAA0B;QAC1B,YAAY;QACZ,cAAc;QACd,UAAU;QACV,KAAK;QACL,GAAG;QACH,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAa;IAC1C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC3D,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,cAAc,CAAC,OAAe;IACrC,OAAO,qBAAqB,CAAC,OAAO,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,cAAc,CAAC,QAA8B;IACpD,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,YAAY;YACf,OAAO,YAAY,CAAC;QACtB,KAAK,KAAK;YACR,OAAO,KAAK,CAAC;QACf,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,UAAU;YACb,OAAO,UAAU,CAAC;QACpB,KAAK,YAAY;YACf,OAAO,YAAY,CAAC;QACtB;YACE,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,QAA8B;IACpD,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB;YACE,OAAO,MAAM,CAAC;IAClB,CAAC;AACH,CAAC;AAED,KAAK,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;IACtB,OAAO,CAAC,KAAK,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;IACjC,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;AACvB,CAAC,CAAC,CAAC"}
|
package/dist/src/browser.d.ts
CHANGED
|
@@ -89,7 +89,17 @@ export interface CompileResult {
|
|
|
89
89
|
core?: CoreTypes.Module;
|
|
90
90
|
/** Parse errors (if any) - now includes position information */
|
|
91
91
|
parseErrors?: ParseError[];
|
|
92
|
-
/**
|
|
92
|
+
/**
|
|
93
|
+
* lowering（AST → Core IR）诊断（E600–E606，aster-lang-ts#302），仅在非空时出现，此时 success 为 false
|
|
94
|
+
* 且不产出 core。与 resolutionDiagnostics / typeErrors 同形：`data` 为码表模板的命名参数，
|
|
95
|
+
* 消费方按 code + data 取译文；传入 lexicon 时已按语言包 overlay 本地化（缺译回退英文）。
|
|
96
|
+
*/
|
|
97
|
+
loweringDiagnostics?: TypecheckDiagnostic[];
|
|
98
|
+
/**
|
|
99
|
+
* @deprecated 过渡字段（一个 minor 版本，与 R56 的 legacyCode 同理）：lowering 失败时为
|
|
100
|
+
* `loweringDiagnostics` 各条的英文 message；前置阶段（规范化 / 词法 / 解析）的非诊断异常仍只出现在这里
|
|
101
|
+
* （保持改码前行为，不标为 E606）。消费方改读 `loweringDiagnostics` 后于下一 minor 删除。
|
|
102
|
+
*/
|
|
93
103
|
loweringErrors?: string[];
|
|
94
104
|
/**
|
|
95
105
|
* 名称解析诊断（ADR 0051 E800–E807 / W800–W801），仅在非空时出现。
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"browser.d.ts","sourceRoot":"","sources":["../../src/browser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAGpC,OAAO,EACL,uBAAuB,EACvB,4BAA4B,EAC5B,yBAAyB,EACzB,eAAe,EACf,0BAA0B,EAC1B,cAAc,EACd,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAC1C,YAAY,EACV,uBAAuB,EACvB,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAGpC,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AACtE,YAAY,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGxD,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,QAAQ,EACR,SAAS,EACT,aAAa,GACd,MAAM,6BAA6B,CAAC;AAGrC,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAG/E,mBAAmB,YAAY,CAAC;AAOhC,OAAO,EACL,KAAK,EACL,KAAK,EACL,KAAK,EACL,KAAK,EACL,eAAe,EACf,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,4BAA4B,CAAC;AACpC,YAAY,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAG1D,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAClE,YAAY,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AAKpE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,uBAAuB,EACvB,kBAAkB,EAClB,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,EACnB,OAAO,EACP,kBAAkB,EAClB,eAAe,EACf,oBAAoB,GACrB,MAAM,wCAAwC,CAAC;AAChD,YAAY,EACV,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,SAAS,EACT,gBAAgB,EAChB,wBAAwB,EACxB,aAAa,EACb,aAAa,GACd,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AACxE,YAAY,EACV,WAAW,EACX,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,OAAO,GACR,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EAAE,WAAW,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AACjG,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AASxE,OAAO,KAAK,EAAE,IAAI,IAAI,SAAS,EAAE,KAAK,EAAE,MAAM,IAAI,SAAS,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACrG,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAG1D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;
|
|
1
|
+
{"version":3,"file":"browser.d.ts","sourceRoot":"","sources":["../../src/browser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAGpC,OAAO,EACL,uBAAuB,EACvB,4BAA4B,EAC5B,yBAAyB,EACzB,eAAe,EACf,0BAA0B,EAC1B,cAAc,EACd,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAC1C,YAAY,EACV,uBAAuB,EACvB,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAGpC,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AACtE,YAAY,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGxD,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,QAAQ,EACR,SAAS,EACT,aAAa,GACd,MAAM,6BAA6B,CAAC;AAGrC,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAG/E,mBAAmB,YAAY,CAAC;AAOhC,OAAO,EACL,KAAK,EACL,KAAK,EACL,KAAK,EACL,KAAK,EACL,eAAe,EACf,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,4BAA4B,CAAC;AACpC,YAAY,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAG1D,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAClE,YAAY,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AAKpE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,uBAAuB,EACvB,kBAAkB,EAClB,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,EACnB,OAAO,EACP,kBAAkB,EAClB,eAAe,EACf,oBAAoB,GACrB,MAAM,wCAAwC,CAAC;AAChD,YAAY,EACV,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,SAAS,EACT,gBAAgB,EAChB,wBAAwB,EACxB,aAAa,EACb,aAAa,GACd,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AACxE,YAAY,EACV,WAAW,EACX,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,OAAO,GACR,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EAAE,WAAW,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AACjG,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AASxE,OAAO,KAAK,EAAE,IAAI,IAAI,SAAS,EAAE,KAAK,EAAE,MAAM,IAAI,SAAS,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACrG,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAG1D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAOhE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAC;AAI/E;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,oBAAoB;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,oDAAoD;IACpD,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC;IACnD,kEAAkE;IAClE,IAAI,CAAC,EAAE;QACL,KAAK,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;QACrC,GAAG,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;KACpC,CAAC;CACH;AASD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,oCAAoC;IACpC,OAAO,EAAE,OAAO,CAAC;IACjB,8CAA8C;IAC9C,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC;IACxB,gEAAgE;IAChE,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC;IAC3B;;;;OAIG;IACH,mBAAmB,CAAC,EAAE,mBAAmB,EAAE,CAAC;IAC5C;;;;OAIG;IACH,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B;;;;;OAKG;IACH,qBAAqB,CAAC,EAAE,mBAAmB,EAAE,CAAC;IAC9C,qEAAqE;IACrE,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC;IACjB,yEAAyE;IACzE,GAAG,CAAC,EAAE,SAAS,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,4EAA4E;IAC5E,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB;;;OAGG;IACH,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAC9B,0DAA0D;IAC1D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,qDAAqD;IACrD,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,8BAA8B;IAC9B,QAAQ,CAAC,EAAE,eAAe,CAAC;CAC5B;AAYD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,aAAa,CAuD/E;AAED;;;;;;;;;GASG;AACH;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,oBAAoB;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,oDAAoD;IACpD,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC;IACnD,sCAAsC;IACtC,IAAI,CAAC,EAAE;QACL,KAAK,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;QACrC,GAAG,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;KACpC,CAAC;CACH;AAED;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,eAAe,EAAE,CA4B3F;AAGD;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,KAAK,EAAE,CAInE;AAQD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAMvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,YAAY,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACvF,YAAY,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,wCAAwC,CAAC;AAC3E,YAAY,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AACnG,YAAY,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAEtD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,MAAM,EACd,OAAO,CAAC,EAAE,cAAc,GAAG;IACzB;;;;OAIG;IACH,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB,GACA,aAAa,GAAG;IAAE,UAAU,EAAE,OAAO,YAAY,EAAE,mBAAmB,EAAE,CAAA;CAAE,CAwB5E"}
|
package/dist/src/browser.js
CHANGED
|
@@ -68,6 +68,7 @@ import { localizeDiagnostics } from './typecheck/diagnostics.js';
|
|
|
68
68
|
import { createKeywordTranslator, needsKeywordTranslation } from './frontend/keyword-translator.js';
|
|
69
69
|
import { attachTypeInferenceRules } from './config/lexicons/type-inference-rules.js';
|
|
70
70
|
import { DiagnosticError } from './diagnostics/diagnostics.js';
|
|
71
|
+
import { toLoweringDiagnostic } from './diagnostics/lowering.js';
|
|
71
72
|
import { buildVocabularyScopes } from './config/lexicons/identifiers/scopes.js';
|
|
72
73
|
import { vocabularyRegistry, initBuiltinVocabularies } from './config/lexicons/identifiers/registry.js';
|
|
73
74
|
import { hasErrors, parseSource, resolveAndLower } from './compile-pipeline.js';
|
|
@@ -131,8 +132,19 @@ export function compile(source, options) {
|
|
|
131
132
|
}
|
|
132
133
|
return result;
|
|
133
134
|
}
|
|
134
|
-
// 名称解析：R1 → lower → R2；任一 E8xx 不产出 core
|
|
135
|
-
|
|
135
|
+
// 名称解析：R1 → lower → R2；任一 E8xx 不产出 core。
|
|
136
|
+
// 只有这一步的异常才是 lowering 诊断：守卫 E600–E605，其它异常 E606（#302）。
|
|
137
|
+
let resolved;
|
|
138
|
+
try {
|
|
139
|
+
resolved = resolveAndLower(parsed.ast, scopes);
|
|
140
|
+
}
|
|
141
|
+
catch (error) {
|
|
142
|
+
const lowering = toLoweringDiagnostic(error);
|
|
143
|
+
if (!lowering)
|
|
144
|
+
throw error;
|
|
145
|
+
const loweringDiagnostics = localizeDiagnostics([lowering], lexicon);
|
|
146
|
+
return { success: false, loweringDiagnostics, loweringErrors: loweringDiagnostics.map((d) => d.message) };
|
|
147
|
+
}
|
|
136
148
|
const success = !hasErrors(resolved.diagnostics);
|
|
137
149
|
const result = success ? { success, core: resolved.core } : { success };
|
|
138
150
|
if (parseErrors.length > 0) {
|
|
@@ -149,7 +161,8 @@ export function compile(source, options) {
|
|
|
149
161
|
return result;
|
|
150
162
|
}
|
|
151
163
|
catch (error) {
|
|
152
|
-
//
|
|
164
|
+
// 前置阶段（规范化 / 词法 / 解析）：带位置的 DiagnosticError 按解析诊断返回，
|
|
165
|
+
// 其它异常保持改码前行为——只给裸消息，不标为 lowering 诊断。
|
|
153
166
|
if (error instanceof DiagnosticError) {
|
|
154
167
|
return { success: false, parseErrors: [toParseError(error.diagnostic)] };
|
|
155
168
|
}
|
package/dist/src/browser.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"browser.js","sourceRoot":"","sources":["../../src/browser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,sCAAsC;AACtC,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC,mDAAmD;AACnD,OAAO,EACL,uBAAuB,EACvB,4BAA4B,EAC5B,yBAAyB,EACzB,eAAe,EACf,0BAA0B,EAC1B,cAAc,EACd,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAO1C,uBAAuB;AACvB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAEpC,yDAAyD;AACzD,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAGtE,gDAAgD;AAChD,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AAOrC,yBAAyB;AACzB,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAK/E,uCAAuC;AACvC,6DAA6D;AAC7D,kDAAkD;AAClD,kDAAkD;AAClD,OAAO,EAAE,eAAe,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC3F,OAAO,EACL,KAAK,EACL,KAAK,EACL,KAAK,EACL,KAAK,EACL,eAAe,EACf,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,4BAA4B,CAAC;AAGpC,8DAA8D;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAGlE,6EAA6E;AAC7E,8EAA8E;AAC9E,uEAAuE;AACvE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,uBAAuB,EACvB,kBAAkB,EAClB,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,EACnB,OAAO,EACP,kBAAkB,EAClB,eAAe,EACf,oBAAoB,GACrB,MAAM,wCAAwC,CAAC;AAYhD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AAQxE,kEAAkE;AAClE,OAAO,EAAE,WAAW,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAGjG,+EAA+E;AAC/E,gDAAgD;AAChD,+EAA+E;AAE/E,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAGpC,OAAO,EAAE,gBAAgB,IAAI,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC/E,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAEjE,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAC;AACpG,OAAO,EAAE,wBAAwB,EAAE,MAAM,2CAA2C,CAAC;AACrF,OAAO,EAAE,eAAe,EAAmB,MAAM,8BAA8B,CAAC;AAChF,OAAO,EAAE,qBAAqB,EAAE,MAAM,yCAAyC,CAAC;AAGhF,OAAO,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,2CAA2C,CAAC;AACxG,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAsBhF,sCAAsC;AACtC,SAAS,YAAY,CAAC,CAAa;IACjC,MAAM,GAAG,GAAe,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3E,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;QAAE,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;IAClD,OAAO,GAAG,CAAC;AACb,CAAC;
|
|
1
|
+
{"version":3,"file":"browser.js","sourceRoot":"","sources":["../../src/browser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,sCAAsC;AACtC,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC,mDAAmD;AACnD,OAAO,EACL,uBAAuB,EACvB,4BAA4B,EAC5B,yBAAyB,EACzB,eAAe,EACf,0BAA0B,EAC1B,cAAc,EACd,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAO1C,uBAAuB;AACvB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAEpC,yDAAyD;AACzD,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAGtE,gDAAgD;AAChD,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AAOrC,yBAAyB;AACzB,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAK/E,uCAAuC;AACvC,6DAA6D;AAC7D,kDAAkD;AAClD,kDAAkD;AAClD,OAAO,EAAE,eAAe,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC3F,OAAO,EACL,KAAK,EACL,KAAK,EACL,KAAK,EACL,KAAK,EACL,eAAe,EACf,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,4BAA4B,CAAC;AAGpC,8DAA8D;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAGlE,6EAA6E;AAC7E,8EAA8E;AAC9E,uEAAuE;AACvE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,uBAAuB,EACvB,kBAAkB,EAClB,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,EACnB,OAAO,EACP,kBAAkB,EAClB,eAAe,EACf,oBAAoB,GACrB,MAAM,wCAAwC,CAAC;AAYhD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AAQxE,kEAAkE;AAClE,OAAO,EAAE,WAAW,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAGjG,+EAA+E;AAC/E,gDAAgD;AAChD,+EAA+E;AAE/E,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAGpC,OAAO,EAAE,gBAAgB,IAAI,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC/E,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAEjE,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAC;AACpG,OAAO,EAAE,wBAAwB,EAAE,MAAM,2CAA2C,CAAC;AACrF,OAAO,EAAE,eAAe,EAAmB,MAAM,8BAA8B,CAAC;AAChF,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,yCAAyC,CAAC;AAGhF,OAAO,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,2CAA2C,CAAC;AACxG,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAsBhF,sCAAsC;AACtC,SAAS,YAAY,CAAC,CAAa;IACjC,MAAM,GAAG,GAAe,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3E,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;QAAE,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;IAClD,OAAO,GAAG,CAAC;AACb,CAAC;AA6DD,uDAAuD;AACvD,SAAS,kBAAkB,CAAC,OAAmC;IAC7D,IAAI,OAAO,EAAE,UAAU;QAAE,OAAO,qBAAqB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC1E,IAAI,CAAC,OAAO,EAAE,MAAM;QAAE,OAAO,SAAS,CAAC;IACvC,uCAAuC;IACvC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,4BAA4B,EAAE,EAAE,eAAe,CAAC,UAAU,EAAE,CAAC,CAAC;IAClG,uBAAuB,EAAE,CAAC;IAC1B,OAAO,kBAAkB,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;AACxF,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,UAAU,OAAO,CAAC,MAAc,EAAE,OAAwB;IAC9D,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,CAAC;QACjC,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7B,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAEzD,sDAAsD;QACtD,2CAA2C;QAC3C,2CAA2C;QAC3C,IAAI,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;YAClC,MAAM,MAAM,GAAkB,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;YAC9D,IAAI,OAAO,EAAE,oBAAoB,EAAE,CAAC;gBAClC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC;YACzB,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,yCAAyC;QACzC,uDAAuD;QACvD,IAAI,QAA4C,CAAC;QACjD,IAAI,CAAC;YACH,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACjD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;YAC7C,IAAI,CAAC,QAAQ;gBAAE,MAAM,KAAK,CAAC;YAC3B,MAAM,mBAAmB,GAAG,mBAAmB,CAAC,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;YACrE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,cAAc,EAAE,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5G,CAAC;QACD,MAAM,OAAO,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACjD,MAAM,MAAM,GAAkB,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;QACvF,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,mDAAmD;YACnD,MAAM,CAAC,WAAW,GAAG,WAAW,CAAC;QACnC,CAAC;QACD,IAAI,QAAQ,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpC,MAAM,CAAC,qBAAqB,GAAG,mBAAmB,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACpF,CAAC;QACD,IAAI,OAAO,EAAE,oBAAoB,EAAE,CAAC;YAClC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC;YACvB,MAAM,CAAC,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC;QAC5B,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,oDAAoD;QACpD,sCAAsC;QACtC,IAAI,KAAK,YAAY,eAAe,EAAE,CAAC;YACrC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QAC3E,CAAC;QACD,OAAO;YACL,OAAO,EAAE,KAAK;YACd,cAAc,EAAE,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;SACzE,CAAC;IACJ,CAAC;AACH,CAAC;AAgCD;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAc,EAAE,OAAiB;IACtE,IAAI,CAAC;QACH,gEAAgE;QAChE,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAChD,IAAI,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAErC,mEAAmE;QACnE,IAAI,OAAO,IAAI,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;YAChD,MAAM,UAAU,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;YACpD,MAAM,GAAG,UAAU,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;QAC9C,CAAC;QAED,MAAM,yBAAyB,GAAG,OAAO,CAAC,CAAC,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1F,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC;QAExD,oBAAoB;QACpB,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,OAAO,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC9C,CAAC;QAED,OAAO,EAAE,CAAC;IACZ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,mDAAmD;QACnD,IAAI,KAAK,YAAY,eAAe,EAAE,CAAC;YACrC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,CAAC,EAAE,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC/E,CAAC;AACH,CAAC;AAGD;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAc,EAAE,OAAiB;IACxD,gEAAgE;IAChE,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChD,OAAO,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;AACjC,CAAC;AAED,+EAA+E;AAC/E,sDAAsD;AACtD,+EAA+E;AAC/E,+CAA+C;AAC/C,wBAAwB;AAExB,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAGpD,+EAA+E;AAC/E,uCAAuC;AACvC,+EAA+E;AAE/E,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE1D,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAEvF,OAAO,EAAE,iBAAiB,EAAE,MAAM,wCAAwC,CAAC;AAI3E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAc,EACd,OAOC;IAED,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAE/C,IAAI,CAAC,aAAa,CAAC,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;QAClD,OAAO;YACL,GAAG,aAAa;YAChB,UAAU,EAAE,EAAE;SACf,CAAC;IACJ,CAAC;IAED,0EAA0E;IAC1E,qCAAqC;IACrC,MAAM,gBAAgB,GAAyD,EAAE,CAAC;IAClF,IAAI,OAAO,EAAE,UAAU,KAAK,SAAS,EAAE,CAAC;QACtC,gBAAgB,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;IACnD,CAAC;IACD,IAAI,OAAO,EAAE,QAAQ;QAAE,gBAAgB,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;IAEpE,MAAM,UAAU,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,aAAa,CAAC,IAAI,EAAE,gBAAgB,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAElH,OAAO;QACL,GAAG,aAAa;QAChB,UAAU;KACX,CAAC;AACJ,CAAC"}
|
|
@@ -28,6 +28,12 @@ export interface ResolvedCore {
|
|
|
28
28
|
* @internal 不从包入口导出：返回值在有 E8xx 时仍含 core，外部调用方应使用 resolveAndLowerChecked。
|
|
29
29
|
*/
|
|
30
30
|
export declare function resolveAndLower(ast: AstModule, scopes?: VocabularyScopes, observer?: TypedReferenceObserver): ResolvedCore;
|
|
31
|
+
/**
|
|
32
|
+
* ADR 0046 §11 D2：为声明了档案的模块中返回 Verdict 的规则写入 inputRefs（与 Java NameResolution.withInputRefs 一致）。
|
|
33
|
+
* 必须在 R2 之后计算——R2 把本地化名称规范化，之前计算会让 zh / de 源码产出本地化路径。
|
|
34
|
+
* 未声明档案的模块原样返回（IR 逐字节不变）。
|
|
35
|
+
*/
|
|
36
|
+
export declare function withInputRefs(core: Core.Module): Core.Module;
|
|
31
37
|
export declare function hasErrors(diagnostics: readonly {
|
|
32
38
|
readonly severity: string;
|
|
33
39
|
}[]): boolean;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"compile-pipeline.d.ts","sourceRoot":"","sources":["../../src/compile-pipeline.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;
|
|
1
|
+
{"version":3,"file":"compile-pipeline.d.ts","sourceRoot":"","sources":["../../src/compile-pipeline.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAGjF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAC;AAChF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,IAAI,SAAS,EAAE,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAExF,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,gBAAgB,GAAG,YAAY,CAStG;AAED,MAAM,WAAW,YAAY;IAC3B,kCAAkC;IAClC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,6CAA6C;IAC7C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;IAC3B,yCAAyC;IACzC,QAAQ,CAAC,WAAW,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACtD;AAaD;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,gBAAgB,EAAE,QAAQ,CAAC,EAAE,sBAAsB,GAAG,YAAY,CAK1H;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAM5D;AAED,wBAAgB,SAAS,CAAC,WAAW,EAAE,SAAS;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,EAAE,GAAG,OAAO,CAExF;AAED,4DAA4D;AAC5D,qBAAa,mBAAoB,SAAQ,KAAK;IAC5C,QAAQ,CAAC,WAAW,EAAE,SAAS,mBAAmB,EAAE,CAAC;gBAEzC,WAAW,EAAE,SAAS,mBAAmB,EAAE;CAMxD;AAED,uCAAuC;AACvC,wBAAgB,0BAA0B,CAAC,CAAC,EAAE,mBAAmB,GAAG,MAAM,CAGzE;AAED,iEAAiE;AACjE,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,gBAAgB,GAAG;IAAE,GAAG,EAAE,SAAS,CAAC;IAAC,WAAW,EAAE,SAAS,mBAAmB,EAAE,CAAA;CAAE,CAGlJ;AAED,yEAAyE;AACzE,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,gBAAgB,GAAG,YAAY,CAI9F"}
|
|
@@ -5,7 +5,7 @@
|
|
|
5
5
|
*
|
|
6
6
|
* ```
|
|
7
7
|
* 源码 ─canonicalize（关键词 / 别名 / 字面量宏 / 空白）─▶ lex ─▶ 关键词翻译 ─▶ parse ─▶ AST
|
|
8
|
-
* ─▶ R1 resolveDeclarations ─▶ lowerModule ─▶ R2 resolveTypedReferences ─▶ Core（只含规范名）
|
|
8
|
+
* ─▶ R1 resolveDeclarations ─▶ lowerModule ─▶ R2 resolveTypedReferences ─▶ inputRefs（仅档案模块）─▶ Core（只含规范名）
|
|
9
9
|
* ```
|
|
10
10
|
*
|
|
11
11
|
* R2 依赖 lower 在同一进程内登记的 ResolutionMark（按对象身份的旁路表），因此必须紧接 lower、
|
|
@@ -20,6 +20,8 @@ import { attachTypeInferenceRules } from './config/lexicons/type-inference-rules
|
|
|
20
20
|
import { resolveDeclarations } from './frontend/resolve-declarations.js';
|
|
21
21
|
import { NO_IMPORTS } from './frontend/resolution-context.js';
|
|
22
22
|
import { resolveTypedReferences } from './core/resolve-typed-references.js';
|
|
23
|
+
import { analyzeInputRefs } from './governance/input-refs.js';
|
|
24
|
+
import { returnsVerdict } from './typecheck/governance.js';
|
|
23
25
|
/**
|
|
24
26
|
* canonicalize → lex → 关键词翻译 → parse。词汇只用于字面量宏展开，标识符保持原写法。
|
|
25
27
|
* 词法错误以 DiagnosticError 抛出，由调用方处理。
|
|
@@ -54,7 +56,18 @@ export function resolveAndLower(ast, scopes, observer) {
|
|
|
54
56
|
const ctx = contextOf(scopes);
|
|
55
57
|
const r1 = resolveDeclarations(ast, ctx);
|
|
56
58
|
const r2 = resolveTypedReferences(lowerModule(r1.module), ctx, observer);
|
|
57
|
-
return { ast: r1.module, core: r2.module, diagnostics: [...r1.diagnostics, ...r2.diagnostics] };
|
|
59
|
+
return { ast: r1.module, core: withInputRefs(r2.module), diagnostics: [...r1.diagnostics, ...r2.diagnostics] };
|
|
60
|
+
}
|
|
61
|
+
/**
|
|
62
|
+
* ADR 0046 §11 D2：为声明了档案的模块中返回 Verdict 的规则写入 inputRefs（与 Java NameResolution.withInputRefs 一致）。
|
|
63
|
+
* 必须在 R2 之后计算——R2 把本地化名称规范化，之前计算会让 zh / de 源码产出本地化路径。
|
|
64
|
+
* 未声明档案的模块原样返回（IR 逐字节不变）。
|
|
65
|
+
*/
|
|
66
|
+
export function withInputRefs(core) {
|
|
67
|
+
if (core.profile === undefined)
|
|
68
|
+
return core;
|
|
69
|
+
const decls = core.decls.map((d) => d.kind === 'Func' && returnsVerdict(d) ? { ...d, inputRefs: analyzeInputRefs(core, d).inputRefs } : d);
|
|
70
|
+
return { ...core, decls };
|
|
58
71
|
}
|
|
59
72
|
export function hasErrors(diagnostics) {
|
|
60
73
|
return diagnostics.some((d) => d.severity === 'error');
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"compile-pipeline.js","sourceRoot":"","sources":["../../src/compile-pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAC;AACpG,OAAO,EAAE,wBAAwB,EAAE,MAAM,2CAA2C,CAAC;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AAE9D,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;
|
|
1
|
+
{"version":3,"file":"compile-pipeline.js","sourceRoot":"","sources":["../../src/compile-pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAC;AACpG,OAAO,EAAE,wBAAwB,EAAE,MAAM,2CAA2C,CAAC;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AAE9D,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAE5E,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAY3D;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,OAAiB,EAAE,MAAyB;IACtF,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;IACxE,IAAI,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACrC,4CAA4C;IAC5C,IAAI,OAAO,IAAI,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;QAChD,MAAM,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACtF,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;AACtE,CAAC;AAWD;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,MAAoC;IACrD,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AAC5E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,GAAc,EAAE,MAAyB,EAAE,QAAiC;IAC1G,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAC9B,MAAM,EAAE,GAAG,mBAAmB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACzC,MAAM,EAAE,GAAG,sBAAsB,CAAC,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;IACzE,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC;AACjH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,IAAiB;IAC7C,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACjC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CACtG,CAAC;IACF,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,WAAqD;IAC7E,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;AACzD,CAAC;AAED,4DAA4D;AAC5D,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IACnC,WAAW,CAAiC;IAErD,YAAY,WAA2C;QACrD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;QACjE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;QAClC,IAAI,CAAC,WAAW,GAAG,MAAM,CAAC;IAC5B,CAAC;CACF;AAED,uCAAuC;AACvC,MAAM,UAAU,0BAA0B,CAAC,CAAsB;IAC/D,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACrE,OAAO,GAAG,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;AACvC,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,uBAAuB,CAAC,GAAc,EAAE,MAAyB;IAC/E,MAAM,EAAE,GAAG,mBAAmB,CAAC,GAAG,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IACvD,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC,WAAW,EAAE,CAAC;AACzD,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,sBAAsB,CAAC,GAAc,EAAE,MAAyB;IAC9E,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC9C,IAAI,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC;QAAE,MAAM,IAAI,mBAAmB,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACzF,OAAO,QAAQ,CAAC;AAClB,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"diagnostic-overlays.generated.d.ts","sourceRoot":"","sources":["../../../../src/config/lexicons/diagnostic-overlays.generated.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAEvD,kEAAkE;AAClE,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,WAAW,EAAE,oBAAoB,GAAG,gBAAgB,CAAC,CAAC,
|
|
1
|
+
{"version":3,"file":"diagnostic-overlays.generated.d.ts","sourceRoot":"","sources":["../../../../src/config/lexicons/diagnostic-overlays.generated.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAEvD,kEAAkE;AAClE,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,WAAW,EAAE,oBAAoB,GAAG,gBAAgB,CAAC,CAAC,CAuwBpH,CAAC"}
|
|
@@ -52,14 +52,14 @@ export const DIAGNOSTIC_OVERLAYS = {
|
|
|
52
52
|
"E058": "{token} nach {after} in {context} erwartet",
|
|
53
53
|
"E059": "{token} am Ende der Anweisung erwartet",
|
|
54
54
|
"E060": "{token} vor {before} erwartet",
|
|
55
|
-
"E061": "
|
|
56
|
-
"E062": "
|
|
55
|
+
"E061": "Unerwartet: {token}",
|
|
56
|
+
"E062": "Unerwartet: {token}; erwartet: {expected}",
|
|
57
57
|
"E063": "Die Syntax in der Nähe von {token} kann nicht geparst werden",
|
|
58
58
|
"E064": "Unerwartetes Konstrukt: {construct}",
|
|
59
59
|
"E065": "{construct} muss {position} stehen",
|
|
60
60
|
"E066": "{block} muss mindestens ein Element vom Typ {item} enthalten",
|
|
61
61
|
"E067": "Ungültiger Wert für {construct}: {value}; erlaubt: {allowed}",
|
|
62
|
-
"E068": "{callee} erwartet genau {expected} Argument(e),
|
|
62
|
+
"E068": "{callee} erwartet genau {expected} Argument(e), {actual} erhalten",
|
|
63
63
|
"E069": "Unbekannt ({kind}): {name}",
|
|
64
64
|
"E070": "PII-Daten dürfen keinem Ziel mit niedrigerer Stufe zugewiesen werden: {source} -> {target}",
|
|
65
65
|
"E072": "PII-Daten der Stufe {level} werden ohne Bereinigung an {sinkKind} ausgegeben",
|
|
@@ -97,6 +97,13 @@ export const DIAGNOSTIC_OVERLAYS = {
|
|
|
97
97
|
"E502": "Asynchrone Aufgabe '{task}' wurde mehrfach gestartet ({count} Vorkommen)",
|
|
98
98
|
"E503": "Auf die asynchrone Aufgabe '{task}' wird mehrfach gewartet ({count} Vorkommen)",
|
|
99
99
|
"E504": "Das Warten auf die asynchrone Aufgabe '{task}' erfolgt vor jedem passenden Start",
|
|
100
|
+
"E600": "Unbekannte Deklarationsart: {kind}",
|
|
101
|
+
"E601": "Unbekannter Effekt '{effect}', gültige Werte: {valid}",
|
|
102
|
+
"E602": "lowerStmt: nicht behandelte Anweisungsart '{kind}'",
|
|
103
|
+
"E603": "Unbekannte Ausdrucksart: {kind}",
|
|
104
|
+
"E604": "Unbekannte Musterart: {kind}",
|
|
105
|
+
"E605": "Unbekannte Typart: {kind}",
|
|
106
|
+
"E606": "Interner Fehler beim Lowering: {detail}",
|
|
100
107
|
"W071": "Implizite Erhöhung der PII-Stufe erkannt: {source} -> {target}",
|
|
101
108
|
"W074": "PII-Daten fließen möglicherweise ohne Annotation an {sinkKind}",
|
|
102
109
|
"W105": "Die Wiederholungskonfiguration des Workflows ist möglicherweise unangemessen: {reason}",
|
|
@@ -109,6 +116,7 @@ export const DIAGNOSTIC_OVERLAYS = {
|
|
|
109
116
|
"E705": "Modul '{module}' deklariert das unbekannte Profil '{profile}' (Kontrollregister {version})",
|
|
110
117
|
"E706": "Regel '{rule}' verletzt das Profil '{profile}': {requirement}",
|
|
111
118
|
"E707": "Die Governance-Prüfung für Modul '{module}' (Profil '{profile}') konnte nicht ausgeführt werden; Speichern ist blockiert, bis sie erfolgreich ist",
|
|
119
|
+
"E708": "Regel '{rule}' liest Eingaben, die sich nicht statisch bestimmen lassen ({construct}); Profil '{profile}' verlangt verifizierte Eingaben",
|
|
112
120
|
"E720": "Regel '{rule}' kann nicht nach Cedar exportiert werden: {reason}",
|
|
113
121
|
"E721": "Regel '{rule}' verwendet {construct}, wofür es keine Cedar-Übersetzung gibt",
|
|
114
122
|
"E722": "Kontextschlüssel '{key}' in Regel '{rule}' wird sowohl als {first} als auch als {second} verwendet",
|
|
@@ -217,6 +225,13 @@ export const DIAGNOSTIC_OVERLAYS = {
|
|
|
217
225
|
"E502": "Starten Sie dieselbe Aufgabe nicht mehrfach; verwenden Sie sie wieder oder benennen Sie sie um.",
|
|
218
226
|
"E503": "Stellen Sie sicher, dass auf jede Aufgabe nur einmal gewartet wird, oder verwenden Sie einen separaten Synchronisationsmechanismus.",
|
|
219
227
|
"E504": "Führen Sie start vor wait aus und stellen Sie sicher, dass beide auf kompatiblen Kontrollpfaden liegen.",
|
|
228
|
+
"E600": "Die Lowering-Phase hat einen Deklarationsknoten erhalten, den sie nicht kennt. Das ist ein Defekt der Engine, kein Problem der Policy; melden Sie ihn zusammen mit dem Quelltext.",
|
|
229
|
+
"E601": "Deklarieren Sie nur die unterstützten Effekte (io, cpu) oder eine auf der Regel deklarierte Effektvariable.",
|
|
230
|
+
"E602": "Die Lowering-Phase hat einen Anweisungsknoten erhalten, den sie nicht kennt. Das ist ein Defekt der Engine, kein Problem der Policy; melden Sie ihn zusammen mit dem Quelltext.",
|
|
231
|
+
"E603": "Die Lowering-Phase hat einen Ausdrucksknoten erhalten, den sie nicht kennt. Das ist ein Defekt der Engine, kein Problem der Policy; melden Sie ihn zusammen mit dem Quelltext.",
|
|
232
|
+
"E604": "Die Lowering-Phase hat einen Musterknoten erhalten, den sie nicht kennt. Das ist ein Defekt der Engine, kein Problem der Policy; melden Sie ihn zusammen mit dem Quelltext.",
|
|
233
|
+
"E605": "Die Lowering-Phase hat einen Typknoten erhalten, den sie nicht kennt. Das ist ein Defekt der Engine, kein Problem der Policy; melden Sie ihn zusammen mit dem Quelltext.",
|
|
234
|
+
"E606": "Der Compiler ist beim Lowering der Policy nach Core IR fehlgeschlagen. Das ist ein Defekt der Engine, kein Problem der Policy; melden Sie ihn zusammen mit dem Quelltext.",
|
|
220
235
|
"W071": "Fügen Sie für Stufenänderungen explizite Typannotationen hinzu, um die Prüfung zu erleichtern.",
|
|
221
236
|
"W074": "Fügen Sie eine @pii-Annotation hinzu, um den Fluss sensibler Daten zu verfolgen.",
|
|
222
237
|
"W105": "Prüfen Sie die Kombination aus Gesamtwartezeit, maxAttempts und Backoff-Strategie.",
|
|
@@ -229,6 +244,7 @@ export const DIAGNOSTIC_OVERLAYS = {
|
|
|
229
244
|
"E705": "Verwenden Sie ein in controls/registry.json von aster-lang-locales definiertes Profil, etwa governed oder eu-ai-act-high-risk.",
|
|
230
245
|
"E706": "Erfüllen Sie die Profilanforderung oder entfernen Sie die Profile-Deklaration.",
|
|
231
246
|
"E707": "Versuchen Sie es später erneut; dies ist ein Dienstfehler, kein Richtlinienverstoß.",
|
|
247
|
+
"E708": "Lesen Sie Eingabefelder über einen literalen Pfad (zum Beispiel req.context.amount) oder verlagern Sie den dynamischen Zugriff aus dieser Regel, damit ihre Eingabereferenzen zur Kompilierzeit bekannt sind.",
|
|
232
248
|
"E720": "Exportierbare Regeln benötigen @id, einen Parameter mit den Guard-Anfragefeldern (principal_id, principal_type, principal_roles, action, resource_type, resource_id, context, agent_model) und ein Verdict-Ergebnis.",
|
|
233
249
|
"E721": "Verwenden Sie Vergleiche, and/or/not, List.contains auf principal_roles und Ganzzahlarithmetik mit Literalen oder belassen Sie diese Regel nur in Aster.",
|
|
234
250
|
"E722": "Verwenden Sie jeden Kontextschlüssel mit nur einem Typ (Zahl, Text oder Boolean).",
|
|
@@ -339,6 +355,13 @@ export const DIAGNOSTIC_OVERLAYS = {
|
|
|
339
355
|
"E502": "async कार्य '{task}' कई बार शुरू हुआ ({count} बार)",
|
|
340
356
|
"E503": "async कार्य '{task}' की कई बार प्रतीक्षा हुई ({count} बार)",
|
|
341
357
|
"E504": "async कार्य '{task}' की प्रतीक्षा किसी मेल खाते आरंभ से पहले होती है",
|
|
358
|
+
"E600": "अज्ञात घोषणा किस्म: {kind}",
|
|
359
|
+
"E601": "अज्ञात प्रभाव '{effect}', मान्य मान: {valid}",
|
|
360
|
+
"E602": "lowerStmt: असंभाली गई कथन किस्म '{kind}'",
|
|
361
|
+
"E603": "अज्ञात व्यंजक किस्म: {kind}",
|
|
362
|
+
"E604": "अज्ञात पैटर्न किस्म: {kind}",
|
|
363
|
+
"E605": "अज्ञात प्रकार किस्म: {kind}",
|
|
364
|
+
"E606": "लोअरिंग के दौरान आंतरिक त्रुटि: {detail}",
|
|
342
365
|
"W071": "PII स्तर में अप्रत्यक्ष वृद्धि मिली: {source} -> {target}",
|
|
343
366
|
"W074": "PII डेटा बिना एनोटेशन के {sinkKind} तक जा सकता है",
|
|
344
367
|
"W105": "कार्यप्रवाह पुनः प्रयास कॉन्फ़िगरेशन अनुचित हो सकता है: {reason}",
|
|
@@ -351,6 +374,7 @@ export const DIAGNOSTIC_OVERLAYS = {
|
|
|
351
374
|
"E705": "मॉड्यूल '{module}' अज्ञात प्रोफ़ाइल '{profile}' घोषित करता है (नियंत्रण रजिस्ट्री {version})",
|
|
352
375
|
"E706": "नियम '{rule}' प्रोफ़ाइल '{profile}' का उल्लंघन करता है: {requirement}",
|
|
353
376
|
"E707": "मॉड्यूल '{module}' (प्रोफ़ाइल '{profile}') की गवर्नेंस जाँच नहीं चल सकी; सफल होने तक सहेजना अवरुद्ध है",
|
|
377
|
+
"E708": "नियम '{rule}' ऐसे इनपुट पढ़ता है जिन्हें स्थिर रूप से निर्धारित नहीं किया जा सकता ({construct}); प्रोफ़ाइल '{profile}' को सत्यापित इनपुट चाहिए",
|
|
354
378
|
"E720": "नियम '{rule}' को Cedar में निर्यात नहीं किया जा सकता: {reason}",
|
|
355
379
|
"E721": "नियम '{rule}' {construct} का उपयोग करता है, जिसका कोई Cedar अनुवाद नहीं है",
|
|
356
380
|
"E722": "नियम '{rule}' में संदर्भ कुंजी '{key}' का उपयोग {first} और {second} दोनों रूपों में हुआ है",
|
|
@@ -459,6 +483,13 @@ export const DIAGNOSTIC_OVERLAYS = {
|
|
|
459
483
|
"E502": "एक ही कार्य को कई बार शुरू न करें; उसे दोबारा उपयोग करें या नाम बदलें।",
|
|
460
484
|
"E503": "सुनिश्चित करें कि हर कार्य की प्रतीक्षा केवल एक बार हो, या अलग समकालिकता तंत्र उपयोग करें।",
|
|
461
485
|
"E504": "इंतजार से पहले आरंभ चलाएँ, और सुनिश्चित करें कि दोनों संगत नियंत्रण पथों पर हों।",
|
|
486
|
+
"E600": "लोअरिंग चरण को ऐसा घोषणा नोड मिला जिसे वह नहीं पहचानता। यह इंजन का दोष है, नीति की समस्या नहीं; इसे स्रोत सहित रिपोर्ट करें।",
|
|
487
|
+
"E601": "केवल समर्थित प्रभाव (io, cpu) या नियम पर घोषित प्रभाव चर ही घोषित करें।",
|
|
488
|
+
"E602": "लोअरिंग चरण को ऐसा कथन नोड मिला जिसे वह नहीं पहचानता। यह इंजन का दोष है, नीति की समस्या नहीं; इसे स्रोत सहित रिपोर्ट करें।",
|
|
489
|
+
"E603": "लोअरिंग चरण को ऐसा व्यंजक नोड मिला जिसे वह नहीं पहचानता। यह इंजन का दोष है, नीति की समस्या नहीं; इसे स्रोत सहित रिपोर्ट करें।",
|
|
490
|
+
"E604": "लोअरिंग चरण को ऐसा पैटर्न नोड मिला जिसे वह नहीं पहचानता। यह इंजन का दोष है, नीति की समस्या नहीं; इसे स्रोत सहित रिपोर्ट करें।",
|
|
491
|
+
"E605": "लोअरिंग चरण को ऐसा प्रकार (type) नोड मिला जिसे वह नहीं पहचानता। यह इंजन का दोष है, नीति की समस्या नहीं; इसे स्रोत सहित रिपोर्ट करें।",
|
|
492
|
+
"E606": "कंपाइलर नीति को Core IR में लोअर करते समय विफल रहा। यह इंजन का दोष है, नीति की समस्या नहीं; इसे स्रोत सहित रिपोर्ट करें।",
|
|
462
493
|
"W071": "ऑडिट में सहायता के लिए स्तर परिवर्तनों पर स्पष्ट टाइप एनोटेशन जोड़ें।",
|
|
463
494
|
"W074": "संवेदनशील डेटा प्रवाह ट्रैक करने के लिए @pii एनोटेशन जोड़ें।",
|
|
464
495
|
"W105": "कुल प्रतीक्षा समय, maxAttempts और backoff रणनीति का संयोजन जाँचें।",
|
|
@@ -471,6 +502,7 @@ export const DIAGNOSTIC_OVERLAYS = {
|
|
|
471
502
|
"E705": "aster-lang-locales की controls/registry.json में परिभाषित प्रोफ़ाइल उपयोग करें, जैसे governed या eu-ai-act-high-risk।",
|
|
472
503
|
"E706": "प्रोफ़ाइल की आवश्यकता पूरी करें या Profile घोषणा हटाएँ।",
|
|
473
504
|
"E707": "बाद में पुनः प्रयास करें; यह सेवा दोष है, नीति उल्लंघन नहीं।",
|
|
505
|
+
"E708": "इनपुट फ़ील्ड को लिटरल पथ से पढ़ें (उदाहरण req.context.amount), या गतिशील पहुँच को इस नियम से बाहर ले जाएँ, ताकि इसके इनपुट संदर्भ संकलन के समय ज्ञात हों।",
|
|
474
506
|
"E720": "निर्यात योग्य नियमों को @id, गार्ड अनुरोध फ़ील्ड (principal_id, principal_type, principal_roles, action, resource_type, resource_id, context, agent_model) वाला एक पैरामीटर और Verdict परिणाम चाहिए।",
|
|
475
507
|
"E721": "तुलना, and/or/not, principal_roles पर List.contains और लिटरल के साथ पूर्णांक अंकगणित उपयोग करें, या इस नियम को केवल Aster में रखें।",
|
|
476
508
|
"E722": "हर संदर्भ कुंजी को एक ही टाइप (संख्या, पाठ या बूलियन) के साथ उपयोग करें।",
|
|
@@ -581,6 +613,13 @@ export const DIAGNOSTIC_OVERLAYS = {
|
|
|
581
613
|
"E502": "异步任务 '{task}' 被多次启动（{count} 次）",
|
|
582
614
|
"E503": "异步任务 '{task}' 被多次等待（{count} 次）",
|
|
583
615
|
"E504": "对异步任务 '{task}' 的等待出现在任何对应的启动之前",
|
|
616
|
+
"E600": "未知的声明种类：{kind}",
|
|
617
|
+
"E601": "未知的效果 '{effect}'，有效取值：{valid}",
|
|
618
|
+
"E602": "lowerStmt：未处理的语句种类 '{kind}'",
|
|
619
|
+
"E603": "未知的表达式种类：{kind}",
|
|
620
|
+
"E604": "未知的模式种类：{kind}",
|
|
621
|
+
"E605": "未知的类型种类：{kind}",
|
|
622
|
+
"E606": "降级到 Core IR 时发生内部错误：{detail}",
|
|
584
623
|
"W071": "检测到隐式 PII 等级提升: {source} -> {target}",
|
|
585
624
|
"W074": "可能有 PII 数据流向 {sinkKind} 但缺少注解",
|
|
586
625
|
"W105": "Workflow retry 配置可能不合理: {reason}",
|
|
@@ -593,6 +632,7 @@ export const DIAGNOSTIC_OVERLAYS = {
|
|
|
593
632
|
"E705": "模块 '{module}' 声明了未知的档案 '{profile}'（控制注册表 {version}）",
|
|
594
633
|
"E706": "规则 '{rule}' 违反档案 '{profile}'：{requirement}",
|
|
595
634
|
"E707": "无法对模块 '{module}' 执行治理检查（档案 '{profile}'）；检查成功前禁止保存",
|
|
635
|
+
"E708": "规则 '{rule}' 读取的输入无法静态确定（{construct}）；档案 '{profile}' 要求输入经过验证",
|
|
596
636
|
"E720": "规则 '{rule}' 无法导出为 Cedar：{reason}",
|
|
597
637
|
"E721": "规则 '{rule}' 使用了 {construct}，它没有对应的 Cedar 翻译",
|
|
598
638
|
"E722": "规则 '{rule}' 中的上下文键 '{key}' 同时被当作 {first} 和 {second} 使用",
|
|
@@ -701,6 +741,13 @@ export const DIAGNOSTIC_OVERLAYS = {
|
|
|
701
741
|
"E502": "避免重复启动同名任务，可复用已有任务或改用新名称。",
|
|
702
742
|
"E503": "确保每个任务仅等待一次，或使用单独的同步机制。",
|
|
703
743
|
"E504": "在 wait for 之前先执行 start，并确保两者位于兼容的控制路径。",
|
|
744
|
+
"E600": "降级阶段收到了无法识别的声明节点。这是引擎缺陷而非策略问题；请连同源码一起报告。",
|
|
745
|
+
"E601": "只声明受支持的效果（io、cpu）或规则上已声明的效果变量。",
|
|
746
|
+
"E602": "降级阶段收到了无法识别的语句节点。这是引擎缺陷而非策略问题；请连同源码一起报告。",
|
|
747
|
+
"E603": "降级阶段收到了无法识别的表达式节点。这是引擎缺陷而非策略问题；请连同源码一起报告。",
|
|
748
|
+
"E604": "降级阶段收到了无法识别的模式节点。这是引擎缺陷而非策略问题；请连同源码一起报告。",
|
|
749
|
+
"E605": "降级阶段收到了无法识别的类型节点。这是引擎缺陷而非策略问题；请连同源码一起报告。",
|
|
750
|
+
"E606": "编译器在把策略降级到 Core IR 时失败。这是引擎缺陷而非策略问题；请连同源码一起报告。",
|
|
704
751
|
"W071": "为等级变化添加显式类型注解以便审计。",
|
|
705
752
|
"W074": "为数据增加 @pii 注解以追踪敏感数据流。",
|
|
706
753
|
"W105": "检查 retry 总等待时间、maxAttempts 与 backoff 策略的组合是否合理。",
|
|
@@ -713,6 +760,7 @@ export const DIAGNOSTIC_OVERLAYS = {
|
|
|
713
760
|
"E705": "使用 aster-lang-locales controls/registry.json 中定义的档案，例如 governed 或 eu-ai-act-high-risk。",
|
|
714
761
|
"E706": "满足档案要求，或删除 Profile 声明。",
|
|
715
762
|
"E707": "请稍后重试；这是服务故障，不是策略违规。",
|
|
763
|
+
"E708": "请按字面路径读取输入字段（例如 req.context.amount），或把动态访问移出本规则，使其输入引用在编译期可知。",
|
|
716
764
|
"E720": "可导出的规则需要 @id、一个带守卫请求字段（principal_id、principal_type、principal_roles、action、resource_type、resource_id、context、agent_model）的参数，以及 Verdict 结果。",
|
|
717
765
|
"E721": "使用比较、and/or/not、对 principal_roles 的 List.contains 以及与字面量的整数运算，或让该规则只在 Aster 中使用。",
|
|
718
766
|
"E722": "每个上下文键只使用一种类型（数字、文本或布尔）。",
|