@aster-cloud/aster-lang-ts 0.0.32 → 0.1.1

package/dist/src/diagnostics/error_codes.js

@@ -8,12 +8,12 @@ export const ERROR_MESSAGES = {
     ["E005" /* ErrorCode.TYPE_PARAM_UNUSED */]: "Type parameter '{name}' on '{func}' is declared but not used.",
     ["E006" /* ErrorCode.TYPEVAR_LIKE_UNDECLARED */]: "Type variable-like '{name}' is used in '{func}' but not declared; declare it with 'of {name}'.",
     ["E007" /* ErrorCode.TYPEVAR_INCONSISTENT */]: "Type variable '{name}' inferred inconsistently: {previous} vs {actual}",
-    ["E008" /* ErrorCode.IF_BRANCH_MISMATCH */]: "If分支返回类型不一致: then分支 {thenType} vs else分支 {elseType}",
+    ["E008" /* ErrorCode.IF_BRANCH_MISMATCH */]: "If branch type mismatch: then {thenType} vs else {elseType}",
     ["E009" /* ErrorCode.MATCH_BRANCH_MISMATCH */]: "Match case return types differ: {expected} vs {actual}",
     ["E010" /* ErrorCode.INTEGER_PATTERN_TYPE */]: "Integer pattern used on non-Int scrutinee ({scrutineeType})",
     ["E011" /* ErrorCode.UNKNOWN_FIELD */]: "Unknown field '{field}' for {type}",
     ["E012" /* ErrorCode.FIELD_TYPE_MISMATCH */]: "Field '{field}' expects {expected}, got {actual}",
-    ["E013" /* ErrorCode.MISSING_REQUIRED_FIELD */]: "构造 {type} 缺少必需字段 '{field}'",
+    ["E013" /* ErrorCode.MISSING_REQUIRED_FIELD */]: "Construction of {type} missing required field '{field}'",
     ["E014" /* ErrorCode.NOT_CALL_ARITY */]: "not(...) expects 1 argument",
     ["E015" /* ErrorCode.AWAIT_TYPE */]: "await expects Maybe<T> or Result<T,E>, got {type}",
     ["E016" /* ErrorCode.DUPLICATE_ENUM_CASE */]: "Duplicate enum case '{case}' in match on {type}.",
@@ -31,9 +31,9 @@ export const ERROR_MESSAGES = {
     ["E028" /* ErrorCode.COMPENSATE_NEW_CAPABILITY */]: "Compensate block for step '{step}' in function '{func}' introduces new capability {capability} that does not appear in the main step body.",
     ["E029" /* ErrorCode.WORKFLOW_UNKNOWN_STEP_DEPENDENCY */]: "Workflow step '{step}' depends on undefined step '{dependency}'.",
     ["E030" /* ErrorCode.WORKFLOW_CIRCULAR_DEPENDENCY */]: "Workflow contains circular step dependency: {cycle}",
-    ["E070" /* ErrorCode.PII_ASSIGN_DOWNGRADE */]: "禁止将 PII 数据赋给较低等级目标: {source} -> {target}",
-    ["E072" /* ErrorCode.PII_SINK_UNSANITIZED */]: "PII 等级 {level} 数据未脱敏即输出到 {sinkKind}",
-    ["E073" /* ErrorCode.PII_ARG_VIOLATION */]: "PII 参数类型不匹配: 期望 {expected}, 实际 {actual}",
+    ["E070" /* ErrorCode.PII_ASSIGN_DOWNGRADE */]: "Cannot assign PII data to lower-level target: {source} -> {target}",
+    ["E072" /* ErrorCode.PII_SINK_UNSANITIZED */]: "PII level {level} data output to {sinkKind} without sanitization",
+    ["E073" /* ErrorCode.PII_ARG_VIOLATION */]: "PII argument type mismatch: expected {expected}, got {actual}",
     ["E100" /* ErrorCode.DUPLICATE_IMPORT_ALIAS */]: "Duplicate import alias '{alias}'.",
     ["E101" /* ErrorCode.UNDEFINED_VARIABLE */]: "Undefined variable: {name}",
     ["E102" /* ErrorCode.DUPLICATE_SYMBOL */]: "Symbol '{name}' is already defined in this scope.",
@@ -42,13 +42,13 @@ export const ERROR_MESSAGES = {
     ["E202" /* ErrorCode.EFF_SUPERFLUOUS_IO_CPU_ONLY */]: "Function '{func}' declares @io but only CPU-like work found; @io subsumes @cpu and may be unnecessary.",
     ["E203" /* ErrorCode.EFF_SUPERFLUOUS_IO */]: "Function '{func}' declares @io but no obvious I/O found.",
     ["E204" /* ErrorCode.EFF_SUPERFLUOUS_CPU */]: "Function '{func}' declares @cpu but no obvious CPU-bound work found.",
-    ["E205" /* ErrorCode.EFF_INFER_MISSING_IO */]: "函数 '{func}' 缺少 @io 效果声明，推断要求 IO。",
-    ["E206" /* ErrorCode.EFF_INFER_MISSING_CPU */]: "函数 '{func}' 缺少 @cpu 效果声明，推断要求 CPU（或 @io）。",
-    ["E207" /* ErrorCode.EFF_INFER_REDUNDANT_IO */]: "函数 '{func}' 声明了 @io，但推断未发现 IO 副作用。",
-    ["E208" /* ErrorCode.EFF_INFER_REDUNDANT_CPU */]: "函数 '{func}' 声明了 @cpu，但推断未发现 CPU 副作用。",
-    ["E209" /* ErrorCode.EFF_INFER_REDUNDANT_CPU_WITH_IO */]: "函数 '{func}' 同时声明 @cpu 和 @io；由于需要 @io，@cpu 可移除。",
-    ["E210" /* ErrorCode.EFFECT_VAR_UNDECLARED */]: "效应变量 {var} 未声明",
-    ["E211" /* ErrorCode.EFFECT_VAR_UNRESOLVED */]: "效应变量 {vars} 无法推断出具体效果",
+    ["E205" /* ErrorCode.EFF_INFER_MISSING_IO */]: "Function '{func}' missing @io effect declaration, inference requires IO.",
+    ["E206" /* ErrorCode.EFF_INFER_MISSING_CPU */]: "Function '{func}' missing @cpu effect declaration, inference requires CPU (or @io).",
+    ["E207" /* ErrorCode.EFF_INFER_REDUNDANT_IO */]: "Function '{func}' declares @io but no IO side effects inferred.",
+    ["E208" /* ErrorCode.EFF_INFER_REDUNDANT_CPU */]: "Function '{func}' declares @cpu but no CPU side effects inferred.",
+    ["E209" /* ErrorCode.EFF_INFER_REDUNDANT_CPU_WITH_IO */]: "Function '{func}' declares both @cpu and @io; @cpu is redundant since @io is required.",
+    ["E210" /* ErrorCode.EFFECT_VAR_UNDECLARED */]: "Effect variable {var} undeclared",
+    ["E211" /* ErrorCode.EFFECT_VAR_UNRESOLVED */]: "Effect variable {vars} could not be resolved to concrete effects",
     ["E300" /* ErrorCode.CAPABILITY_NOT_ALLOWED */]: "Function '{func}' requires {cap} capability but manifest for module '{module}' denies it.",
     ["E301" /* ErrorCode.EFF_CAP_MISSING */]: "Function '{func}' uses {cap} capability but header declares [{declared}].",
     ["E302" /* ErrorCode.EFF_CAP_SUPERFLUOUS */]: "Function '{func}' declares {cap} capability but it is not used.",
@@ -63,480 +63,85 @@ export const ERROR_MESSAGES = {
     ["E502" /* ErrorCode.ASYNC_DUPLICATE_START */]: "Async task '{task}' started multiple times ({count} occurrences)",
     ["E503" /* ErrorCode.ASYNC_DUPLICATE_WAIT */]: "Async task '{task}' waited multiple times ({count} occurrences)",
     ["E504" /* ErrorCode.ASYNC_WAIT_BEFORE_START */]: "Wait for async task '{task}' occurs before any matching start",
-    ["W071" /* ErrorCode.PII_IMPLICIT_UPLEVEL */]: "检测到隐式 PII 等级提升: {source} -> {target}",
-    ["W074" /* ErrorCode.PII_SINK_UNKNOWN */]: "可能有 PII 数据流向 {sinkKind} 但缺少注解",
-    ["W105" /* ErrorCode.WORKFLOW_RETRY_INCONSISTENT */]: "Workflow retry 配置可能不合理: {reason}",
-    ["W106" /* ErrorCode.WORKFLOW_TIMEOUT_UNREASONABLE */]: "Workflow timeout 配置可能不合理: {reason}",
+    ["W071" /* ErrorCode.PII_IMPLICIT_UPLEVEL */]: "Implicit PII level escalation detected: {source} -> {target}",
+    ["W074" /* ErrorCode.PII_SINK_UNKNOWN */]: "PII data may flow to {sinkKind} without annotation",
+    ["W105" /* ErrorCode.WORKFLOW_RETRY_INCONSISTENT */]: "Workflow retry configuration may be unreasonable: {reason}",
+    ["W106" /* ErrorCode.WORKFLOW_TIMEOUT_UNREASONABLE */]: "Workflow timeout configuration may be unreasonable: {reason}",
 };
 export const ERROR_METADATA = {
-    ["E001" /* ErrorCode.TYPE_MISMATCH */]: {
-        code: "E001" /* ErrorCode.TYPE_MISMATCH */,
-        category: 'type',
-        severity: 'error',
-        message: "Type mismatch: expected {expected}, got {actual}",
-        help: "检查类型标注与表达式的推断结果是否一致。",
-    },
-    ["E002" /* ErrorCode.TYPE_MISMATCH_ASSIGN */]: {
-        code: "E002" /* ErrorCode.TYPE_MISMATCH_ASSIGN */,
-        category: 'type',
-        severity: 'error',
-        message: "Type mismatch assigning to '{name}': {expected} vs {actual}",
-        help: "确认变量先前绑定的类型与当前赋值结果一致。",
-    },
-    ["E003" /* ErrorCode.RETURN_TYPE_MISMATCH */]: {
-        code: "E003" /* ErrorCode.RETURN_TYPE_MISMATCH */,
-        category: 'type',
-        severity: 'error',
-        message: "Return type mismatch: expected {expected}, got {actual}",
-        help: "检查函数返回语句与声明的返回类型是否一致。",
-    },
-    ["E004" /* ErrorCode.TYPE_VAR_UNDECLARED */]: {
-        code: "E004" /* ErrorCode.TYPE_VAR_UNDECLARED */,
-        category: 'type',
-        severity: 'error',
-        message: "Type variable '{name}' is used in '{func}' but not declared in its type parameters.",
-        help: "在函数签名的 of 子句中显式声明使用到的类型变量。",
-    },
-    ["E005" /* ErrorCode.TYPE_PARAM_UNUSED */]: {
-        code: "E005" /* ErrorCode.TYPE_PARAM_UNUSED */,
-        category: 'type',
-        severity: 'warning',
-        message: "Type parameter '{name}' on '{func}' is declared but not used.",
-        help: "移除未使用的类型参数，避免造成误导。",
-    },
-    ["E006" /* ErrorCode.TYPEVAR_LIKE_UNDECLARED */]: {
-        code: "E006" /* ErrorCode.TYPEVAR_LIKE_UNDECLARED */,
-        category: 'type',
-        severity: 'error',
-        message: "Type variable-like '{name}' is used in '{func}' but not declared; declare it with 'of {name}'.",
-        help: "对于看起来像类型变量的名称，务必在 of 子句中声明。",
-    },
-    ["E007" /* ErrorCode.TYPEVAR_INCONSISTENT */]: {
-        code: "E007" /* ErrorCode.TYPEVAR_INCONSISTENT */,
-        category: 'type',
-        severity: 'error',
-        message: "Type variable '{name}' inferred inconsistently: {previous} vs {actual}",
-        help: "确认类型推断的多个使用点产出相同的具体类型。",
-    },
-    ["E008" /* ErrorCode.IF_BRANCH_MISMATCH */]: {
-        code: "E008" /* ErrorCode.IF_BRANCH_MISMATCH */,
-        category: 'type',
-        severity: 'error',
-        message: "If分支返回类型不一致: then分支 {thenType} vs else分支 {elseType}",
-        help: "确保 if 两个分支返回类型保持一致。",
-    },
-    ["E009" /* ErrorCode.MATCH_BRANCH_MISMATCH */]: {
-        code: "E009" /* ErrorCode.MATCH_BRANCH_MISMATCH */,
-        category: 'type',
-        severity: 'error',
-        message: "Match case return types differ: {expected} vs {actual}",
-        help: "检查 match 每个分支的返回类型是否统一。",
-    },
-    ["E010" /* ErrorCode.INTEGER_PATTERN_TYPE */]: {
-        code: "E010" /* ErrorCode.INTEGER_PATTERN_TYPE */,
-        category: 'type',
-        severity: 'error',
-        message: "Integer pattern used on non-Int scrutinee ({scrutineeType})",
-        help: "仅在 Int 类型的匹配表达式中使用整数模式。",
-    },
-    ["E011" /* ErrorCode.UNKNOWN_FIELD */]: {
-        code: "E011" /* ErrorCode.UNKNOWN_FIELD */,
-        category: 'type',
-        severity: 'error',
-        message: "Unknown field '{field}' for {type}",
-        help: "检查构造体或数据类型的字段名称是否正确。",
-    },
-    ["E012" /* ErrorCode.FIELD_TYPE_MISMATCH */]: {
-        code: "E012" /* ErrorCode.FIELD_TYPE_MISMATCH */,
-        category: 'type',
-        severity: 'error',
-        message: "Field '{field}' expects {expected}, got {actual}",
-        help: "校验字段初始化表达式的类型是否匹配声明。",
-    },
-    ["E013" /* ErrorCode.MISSING_REQUIRED_FIELD */]: {
-        code: "E013" /* ErrorCode.MISSING_REQUIRED_FIELD */,
-        category: 'type',
-        severity: 'error',
-        message: "构造 {type} 缺少必需字段 '{field}'",
-        help: "为数据构造提供声明中的所有必需字段。",
-    },
-    ["E014" /* ErrorCode.NOT_CALL_ARITY */]: {
-        code: "E014" /* ErrorCode.NOT_CALL_ARITY */,
-        category: 'type',
-        severity: 'error',
-        message: "not(...) expects 1 argument",
-        help: "调整 not 调用的参数数量为 1。",
-    },
-    ["E015" /* ErrorCode.AWAIT_TYPE */]: {
-        code: "E015" /* ErrorCode.AWAIT_TYPE */,
-        category: 'type',
-        severity: 'warning',
-        message: "await expects Maybe<T> or Result<T,E>, got {type}",
-        help: "仅对 Maybe 或 Result 类型调用 await。",
-    },
-    ["E016" /* ErrorCode.DUPLICATE_ENUM_CASE */]: {
-        code: "E016" /* ErrorCode.DUPLICATE_ENUM_CASE */,
-        category: 'type',
-        severity: 'warning',
-        message: "Duplicate enum case '{case}' in match on {type}.",
-        help: "移除重复的枚举分支，保持匹配语句简洁。",
-    },
-    ["E017" /* ErrorCode.NON_EXHAUSTIVE_MAYBE */]: {
-        code: "E017" /* ErrorCode.NON_EXHAUSTIVE_MAYBE */,
-        category: 'type',
-        severity: 'warning',
-        message: "Non-exhaustive match on Maybe type; missing {missing} case.",
-        help: "为 Maybe 匹配补齐 null 与非 null 分支。",
-    },
-    ["E018" /* ErrorCode.NON_EXHAUSTIVE_ENUM */]: {
-        code: "E018" /* ErrorCode.NON_EXHAUSTIVE_ENUM */,
-        category: 'type',
-        severity: 'warning',
-        message: "Non-exhaustive match on {type}; missing: {missing}",
-        help: "补充所有未覆盖的枚举分支，或添加通配符。",
-    },
-    ["E019" /* ErrorCode.AMBIGUOUS_INTEROP_NUMERIC */]: {
-        code: "E019" /* ErrorCode.AMBIGUOUS_INTEROP_NUMERIC */,
-        category: 'type',
-        severity: 'warning',
-        message: "Ambiguous interop call '{target}': mixing numeric kinds (Int={hasInt}, Long={hasLong}, Double={hasDouble}). Overload resolution may widen/box implicitly.",
-        help: "统一互操作调用的参数数值类型，避免隐式装箱与拓宽。",
-    },
-    ["E020" /* ErrorCode.LIST_ELEMENT_TYPE_MISMATCH */]: {
-        code: "E020" /* ErrorCode.LIST_ELEMENT_TYPE_MISMATCH */,
-        category: 'type',
-        severity: 'error',
-        message: "List literal element type mismatch: expected {expected}, got {actual}",
-        help: "确保列表字面量中的所有元素类型一致。",
-    },
-    ["E021" /* ErrorCode.OPTIONAL_EXPECTED */]: {
-        code: "E021" /* ErrorCode.OPTIONAL_EXPECTED */,
-        category: 'type',
-        severity: 'error',
-        message: "Optional value required here: expected Maybe or Option, but got {actual}",
-        help: "传入 Maybe/Option 类型或显式包装值。",
-    },
-    ["E022" /* ErrorCode.WORKFLOW_COMPENSATE_TYPE */]: {
-        code: "E022" /* ErrorCode.WORKFLOW_COMPENSATE_TYPE */,
-        category: 'type',
-        severity: 'error',
-        message: "Compensate block for step '{step}' must return Result<Unit, {expectedErr}>, got {actual}",
-        help: "确保补偿块返回 Result<Unit, E>，其中 E 为 step 错误类型。",
-    },
-    ["E023" /* ErrorCode.WORKFLOW_COMPENSATE_MISSING */]: {
-        code: "E023" /* ErrorCode.WORKFLOW_COMPENSATE_MISSING */,
-        category: 'effect',
-        severity: 'warning',
-        message: "Step '{step}' performs side effects but does not define a compensate block.",
-        help: "为包含 IO 副作用的 step 提供 compensate 块以便回滚。",
-    },
-    ["E024" /* ErrorCode.WORKFLOW_RETRY_INVALID */]: {
-        code: "E024" /* ErrorCode.WORKFLOW_RETRY_INVALID */,
-        category: 'type',
-        severity: 'error',
-        message: "Workflow retry max attempts must be greater than zero (actual: {maxAttempts}).",
-        help: "设置 retry.maxAttempts 为正整数。",
-    },
-    ["E025" /* ErrorCode.WORKFLOW_TIMEOUT_INVALID */]: {
-        code: "E025" /* ErrorCode.WORKFLOW_TIMEOUT_INVALID */,
-        category: 'type',
-        severity: 'error',
-        message: "Workflow timeout must be greater than zero milliseconds (actual: {milliseconds}).",
-        help: "配置 timeout 秒数为正值，确保补偿逻辑可被触发。",
-    },
-    ["E026" /* ErrorCode.WORKFLOW_MISSING_IO_EFFECT */]: {
-        code: "E026" /* ErrorCode.WORKFLOW_MISSING_IO_EFFECT */,
-        category: 'effect',
-        severity: 'error',
-        message: "Workflow '{func}' must declare @io effect before using a 'workflow' block.",
-        help: "在函数 '{func}' 的头部添加 `It performs io ...`（可同时声明 capability），否则编译器拒绝 workflow 语句。",
-    },
-    ["E027" /* ErrorCode.WORKFLOW_UNDECLARED_CAPABILITY */]: {
-        code: "E027" /* ErrorCode.WORKFLOW_UNDECLARED_CAPABILITY */,
-        category: 'capability',
-        severity: 'error',
-        message: "Workflow '{func}' step '{step}' uses capability {capability} that is not declared on the function header.",
-        help: "在 `It performs io with ...` 中列出 {capability}（例如 Http、Sql、Secrets），或调整 step 代码避免调用未授权能力。",
-    },
-    ["E028" /* ErrorCode.COMPENSATE_NEW_CAPABILITY */]: {
-        code: "E028" /* ErrorCode.COMPENSATE_NEW_CAPABILITY */,
-        category: 'capability',
-        severity: 'error',
-        message: "Compensate block for step '{step}' in function '{func}' introduces new capability {capability} that does not appear in the main step body.",
-        help: "Compensate 只能重复主体已使用的能力；如需额外调用，请将相同行为移至主体或在主体中声明该 capability。",
-    },
-    ["E029" /* ErrorCode.WORKFLOW_UNKNOWN_STEP_DEPENDENCY */]: {
-        code: "E029" /* ErrorCode.WORKFLOW_UNKNOWN_STEP_DEPENDENCY */,
-        category: 'scope',
-        severity: 'error',
-        message: "Workflow step '{step}' depends on undefined step '{dependency}'.",
-        help: "仅引用当前 workflow 中已声明的步骤名称，或修正依赖拼写。",
-    },
-    ["E030" /* ErrorCode.WORKFLOW_CIRCULAR_DEPENDENCY */]: {
-        code: "E030" /* ErrorCode.WORKFLOW_CIRCULAR_DEPENDENCY */,
-        category: 'type',
-        severity: 'error',
-        message: "Workflow contains circular step dependency: {cycle}",
-        help: "移除或重构循环依赖，确保步骤可拓扑排序执行。",
-    },
-    ["E070" /* ErrorCode.PII_ASSIGN_DOWNGRADE */]: {
-        code: "E070" /* ErrorCode.PII_ASSIGN_DOWNGRADE */,
-        category: 'type',
-        severity: 'error',
-        message: "禁止将 PII 数据赋给较低等级目标: {source} -> {target}",
-        help: "使用脱敏函数或为目标变量声明匹配的 @pii 等级。",
-    },
-    ["E072" /* ErrorCode.PII_SINK_UNSANITIZED */]: {
-        code: "E072" /* ErrorCode.PII_SINK_UNSANITIZED */,
-        category: 'type',
-        severity: 'error',
-        message: "PII 等级 {level} 数据未脱敏即输出到 {sinkKind}",
-        help: "在输出前调用 redact() 或 tokenize() 以降低敏感度。",
-    },
-    ["E073" /* ErrorCode.PII_ARG_VIOLATION */]: {
-        code: "E073" /* ErrorCode.PII_ARG_VIOLATION */,
-        category: 'type',
-        severity: 'error',
-        message: "PII 参数类型不匹配: 期望 {expected}, 实际 {actual}",
-        help: "检查函数签名，确保 PII 等级与类别一致。",
-    },
-    ["E100" /* ErrorCode.DUPLICATE_IMPORT_ALIAS */]: {
-        code: "E100" /* ErrorCode.DUPLICATE_IMPORT_ALIAS */,
-        category: 'scope',
-        severity: 'warning',
-        message: "Duplicate import alias '{alias}'.",
-        help: "为不同的导入使用唯一别名，避免覆盖。",
-    },
-    ["E101" /* ErrorCode.UNDEFINED_VARIABLE */]: {
-        code: "E101" /* ErrorCode.UNDEFINED_VARIABLE */,
-        category: 'scope',
-        severity: 'error',
-        message: "Undefined variable: {name}",
-        help: "在使用变量前先声明并初始化。",
-    },
-    ["E102" /* ErrorCode.DUPLICATE_SYMBOL */]: {
-        code: "E102" /* ErrorCode.DUPLICATE_SYMBOL */,
-        category: 'scope',
-        severity: 'error',
-        message: "Symbol '{name}' is already defined in this scope.",
-        help: "选择不同的名称或检查是否存在意外的重复声明。",
-    },
-    ["E200" /* ErrorCode.EFF_MISSING_IO */]: {
-        code: "E200" /* ErrorCode.EFF_MISSING_IO */,
-        category: 'effect',
-        severity: 'error',
-        message: "Function '{func}' may perform I/O but is missing @io effect.",
-        help: "为具有 IO 行为的函数声明 @io 效果。",
-    },
-    ["E201" /* ErrorCode.EFF_MISSING_CPU */]: {
-        code: "E201" /* ErrorCode.EFF_MISSING_CPU */,
-        category: 'effect',
-        severity: 'error',
-        message: "Function '{func}' may perform CPU-bound work but is missing @cpu (or @io) effect.",
-        help: "为 CPU 密集型函数声明 @cpu 或 @io 效果。",
-    },
-    ["E202" /* ErrorCode.EFF_SUPERFLUOUS_IO_CPU_ONLY */]: {
-        code: "E202" /* ErrorCode.EFF_SUPERFLUOUS_IO_CPU_ONLY */,
-        category: 'effect',
-        severity: 'info',
-        message: "Function '{func}' declares @io but only CPU-like work found; @io subsumes @cpu and may be unnecessary.",
-        help: "若函数仅执行 CPU 工作，可移除多余的 @io 声明。",
-    },
-    ["E203" /* ErrorCode.EFF_SUPERFLUOUS_IO */]: {
-        code: "E203" /* ErrorCode.EFF_SUPERFLUOUS_IO */,
-        category: 'effect',
-        severity: 'warning',
-        message: "Function '{func}' declares @io but no obvious I/O found.",
-        help: "确认是否需要 @io；若无 IO 行为可移除。",
-    },
-    ["E204" /* ErrorCode.EFF_SUPERFLUOUS_CPU */]: {
-        code: "E204" /* ErrorCode.EFF_SUPERFLUOUS_CPU */,
-        category: 'effect',
-        severity: 'warning',
-        message: "Function '{func}' declares @cpu but no obvious CPU-bound work found.",
-        help: "移除多余的 @cpu 声明或增加相应的 CPU 工作。",
-    },
-    ["E205" /* ErrorCode.EFF_INFER_MISSING_IO */]: {
-        code: "E205" /* ErrorCode.EFF_INFER_MISSING_IO */,
-        category: 'effect',
-        severity: 'error',
-        message: "函数 '{func}' 缺少 @io 效果声明，推断要求 IO。",
-        help: "根据推断结果为函数添加 @io 效果。",
-    },
-    ["E206" /* ErrorCode.EFF_INFER_MISSING_CPU */]: {
-        code: "E206" /* ErrorCode.EFF_INFER_MISSING_CPU */,
-        category: 'effect',
-        severity: 'error',
-        message: "函数 '{func}' 缺少 @cpu 效果声明，推断要求 CPU（或 @io）。",
-        help: "根据推断结果补齐 @cpu 或 @io 效果。",
-    },
-    ["E207" /* ErrorCode.EFF_INFER_REDUNDANT_IO */]: {
-        code: "E207" /* ErrorCode.EFF_INFER_REDUNDANT_IO */,
-        category: 'effect',
-        severity: 'warning',
-        message: "函数 '{func}' 声明了 @io，但推断未发现 IO 副作用。",
-        help: "确认是否需要保留 @io 声明。",
-    },
-    ["E208" /* ErrorCode.EFF_INFER_REDUNDANT_CPU */]: {
-        code: "E208" /* ErrorCode.EFF_INFER_REDUNDANT_CPU */,
-        category: 'effect',
-        severity: 'warning',
-        message: "函数 '{func}' 声明了 @cpu，但推断未发现 CPU 副作用。",
-        help: "若无 CPU 副作用，可删除 @cpu 声明。",
-    },
-    ["E209" /* ErrorCode.EFF_INFER_REDUNDANT_CPU_WITH_IO */]: {
-        code: "E209" /* ErrorCode.EFF_INFER_REDUNDANT_CPU_WITH_IO */,
-        category: 'effect',
-        severity: 'warning',
-        message: "函数 '{func}' 同时声明 @cpu 和 @io；由于需要 @io，@cpu 可移除。",
-        help: "保留 @io 即可满足需求，移除多余的 @cpu。",
-    },
-    ["E210" /* ErrorCode.EFFECT_VAR_UNDECLARED */]: {
-        code: "E210" /* ErrorCode.EFFECT_VAR_UNDECLARED */,
-        category: 'type',
-        severity: 'error',
-        message: '效应变量 {var} 未声明',
-        help: "在函数签名的效果参数列表中添加效应类型参数，例如：fn foo<E>(...) with E",
-    },
-    ["E211" /* ErrorCode.EFFECT_VAR_UNRESOLVED */]: {
-        code: "E211" /* ErrorCode.EFFECT_VAR_UNRESOLVED */,
-        category: 'type',
-        severity: 'error',
-        message: '效应变量 {vars} 无法推断出具体效果',
-        help: '参考调用或声明补充明确的效果（pure/cpu/io/workflow），或移除未使用的效应变量。',
-    },
-    ["E300" /* ErrorCode.CAPABILITY_NOT_ALLOWED */]: {
-        code: "E300" /* ErrorCode.CAPABILITY_NOT_ALLOWED */,
-        category: 'capability',
-        severity: 'error',
-        message: "Function '{func}' requires {cap} capability but manifest for module '{module}' denies it.",
-        help: "更新能力清单或修改函数实现以符合限制。",
-    },
-    ["E301" /* ErrorCode.EFF_CAP_MISSING */]: {
-        code: "E301" /* ErrorCode.EFF_CAP_MISSING */,
-        category: 'capability',
-        severity: 'error',
-        message: "Function '{func}' uses {cap} capability but header declares [{declared}].",
-        help: "在函数头部声明实际使用到的能力。",
-    },
-    ["E302" /* ErrorCode.EFF_CAP_SUPERFLUOUS */]: {
-        code: "E302" /* ErrorCode.EFF_CAP_SUPERFLUOUS */,
-        category: 'capability',
-        severity: 'info',
-        message: "Function '{func}' declares {cap} capability but it is not used.",
-        help: "移除未使用的能力声明以保持清晰。",
-    },
-    ["E303" /* ErrorCode.CAPABILITY_INFER_MISSING_IO */]: {
-        code: "E303" /* ErrorCode.CAPABILITY_INFER_MISSING_IO */,
-        category: 'capability',
-        severity: 'error',
-        message: "Function '{func}' uses IO capabilities [{capabilities}] but is missing @io effect (e.g., {calls}).",
-        help: "在函数头部声明 `It performs io ...`，或移除相关调用保持纯度。",
-    },
-    ["E304" /* ErrorCode.CAPABILITY_INFER_MISSING_CPU */]: {
-        code: "E304" /* ErrorCode.CAPABILITY_INFER_MISSING_CPU */,
-        category: 'capability',
-        severity: 'error',
-        message: "Function '{func}' performs CPU capability calls (e.g., {calls}) but declares neither @cpu nor @io effect.",
-        help: "为函数添加 @cpu 或 @io 效果以覆盖 CPU 能力。",
-    },
-    ["E400" /* ErrorCode.PII_HTTP_UNENCRYPTED */]: {
-        code: "E400" /* ErrorCode.PII_HTTP_UNENCRYPTED */,
-        category: 'pii',
-        severity: 'error',
-        message: "PII data transmitted over HTTP without encryption",
-        help: "使用加密通道（HTTPS）或脱敏处理后再传输 PII 数据。",
-    },
-    ["E401" /* ErrorCode.PII_ANNOTATION_MISSING */]: {
-        code: "E401" /* ErrorCode.PII_ANNOTATION_MISSING */,
-        category: 'pii',
-        severity: 'error',
-        message: "PII annotation missing for value flowing into '{sink}'",
-        help: "为敏感数据添加 @pii 标注以便跟踪。",
-    },
-    ["E402" /* ErrorCode.PII_SENSITIVITY_MISMATCH */]: {
-        code: "E402" /* ErrorCode.PII_SENSITIVITY_MISMATCH */,
-        category: 'pii',
-        severity: 'warning',
-        message: "PII sensitivity mismatch: required {required}, got {actual}",
-        help: "调整数据的敏感级别或更新流程要求。",
-    },
-    ["E403" /* ErrorCode.PII_MISSING_CONSENT_CHECK */]: {
-        code: "E403" /* ErrorCode.PII_MISSING_CONSENT_CHECK */,
-        category: 'pii',
-        severity: 'warning',
-        message: "Function '{func}' processes PII data without consent check (GDPR Art. 6)",
-        help: "在处理 PII 数据前调用 checkConsent() 或添加 @consent_required 注解。",
-    },
-    ["E500" /* ErrorCode.ASYNC_START_NOT_WAITED */]: {
-        code: "E500" /* ErrorCode.ASYNC_START_NOT_WAITED */,
-        category: 'async',
-        severity: 'error',
-        message: "Started async task '{task}' not waited",
-        help: "对启动的异步任务调用 wait，确保执行完毕。",
-    },
-    ["E501" /* ErrorCode.ASYNC_WAIT_NOT_STARTED */]: {
-        code: "E501" /* ErrorCode.ASYNC_WAIT_NOT_STARTED */,
-        category: 'async',
-        severity: 'error',
-        message: "Waiting for async task '{task}' that was never started",
-        help: "确认 wait 的任务名称在 Start 中正确出现。",
-    },
-    ["E502" /* ErrorCode.ASYNC_DUPLICATE_START */]: {
-        code: "E502" /* ErrorCode.ASYNC_DUPLICATE_START */,
-        category: 'async',
-        severity: 'error',
-        message: "Async task '{task}' started multiple times ({count} occurrences)",
-        help: "避免重复启动同名任务，可复用已有任务或改用新名称。",
-    },
-    ["E503" /* ErrorCode.ASYNC_DUPLICATE_WAIT */]: {
-        code: "E503" /* ErrorCode.ASYNC_DUPLICATE_WAIT */,
-        category: 'async',
-        severity: 'warning',
-        message: "Async task '{task}' waited multiple times ({count} occurrences)",
-        help: "确保每个任务仅等待一次，或使用单独的同步机制。",
-    },
-    ["E504" /* ErrorCode.ASYNC_WAIT_BEFORE_START */]: {
-        code: "E504" /* ErrorCode.ASYNC_WAIT_BEFORE_START */,
-        category: 'async',
-        severity: 'error',
-        message: "Wait for async task '{task}' occurs before any matching start",
-        help: "在 wait for 之前先执行 start，并确保两者位于兼容的控制路径。",
-    },
-    ["W071" /* ErrorCode.PII_IMPLICIT_UPLEVEL */]: {
-        code: "W071" /* ErrorCode.PII_IMPLICIT_UPLEVEL */,
-        category: 'type',
-        severity: 'warning',
-        message: "检测到隐式 PII 等级提升: {source} -> {target}",
-        help: "为等级变化添加显式类型注解以便审计。",
-    },
-    ["W074" /* ErrorCode.PII_SINK_UNKNOWN */]: {
-        code: "W074" /* ErrorCode.PII_SINK_UNKNOWN */,
-        category: 'type',
-        severity: 'warning',
-        message: "可能有 PII 数据流向 {sinkKind} 但缺少注解",
-        help: "为数据增加 @pii 注解以追踪敏感数据流。",
-    },
-    ["W105" /* ErrorCode.WORKFLOW_RETRY_INCONSISTENT */]: {
-        code: "W105" /* ErrorCode.WORKFLOW_RETRY_INCONSISTENT */,
-        category: 'type',
-        severity: 'warning',
-        message: "Workflow retry 配置可能不合理: {reason}",
-        help: "检查 retry 总等待时间、maxAttempts 与 backoff 策略的组合是否合理。",
-    },
-    ["W106" /* ErrorCode.WORKFLOW_TIMEOUT_UNREASONABLE */]: {
-        code: "W106" /* ErrorCode.WORKFLOW_TIMEOUT_UNREASONABLE */,
-        category: 'type',
-        severity: 'warning',
-        message: "Workflow timeout 配置可能不合理: {reason}",
-        help: "检查 timeout 值是否过大或过小。",
-    },
+    ["E001" /* ErrorCode.TYPE_MISMATCH */]: { code: "E001" /* ErrorCode.TYPE_MISMATCH */, category: 'type', severity: 'error', message: "Type mismatch: expected {expected}, got {actual}", help: "Check that the type annotation matches the inferred expression type." },
+    ["E002" /* ErrorCode.TYPE_MISMATCH_ASSIGN */]: { code: "E002" /* ErrorCode.TYPE_MISMATCH_ASSIGN */, category: 'type', severity: 'error', message: "Type mismatch assigning to '{name}': {expected} vs {actual}", help: "Ensure the variable's previous binding type matches the current assignment." },
+    ["E003" /* ErrorCode.RETURN_TYPE_MISMATCH */]: { code: "E003" /* ErrorCode.RETURN_TYPE_MISMATCH */, category: 'type', severity: 'error', message: "Return type mismatch: expected {expected}, got {actual}", help: "Check that the return statement matches the declared return type." },
+    ["E004" /* ErrorCode.TYPE_VAR_UNDECLARED */]: { code: "E004" /* ErrorCode.TYPE_VAR_UNDECLARED */, category: 'type', severity: 'error', message: "Type variable '{name}' is used in '{func}' but not declared in its type parameters.", help: "Declare used type variables in the function signature's 'of' clause." },
+    ["E005" /* ErrorCode.TYPE_PARAM_UNUSED */]: { code: "E005" /* ErrorCode.TYPE_PARAM_UNUSED */, category: 'type', severity: 'warning', message: "Type parameter '{name}' on '{func}' is declared but not used.", help: "Remove unused type parameters to avoid confusion." },
+    ["E006" /* ErrorCode.TYPEVAR_LIKE_UNDECLARED */]: { code: "E006" /* ErrorCode.TYPEVAR_LIKE_UNDECLARED */, category: 'type', severity: 'error', message: "Type variable-like '{name}' is used in '{func}' but not declared; declare it with 'of {name}'.", help: "For names that look like type variables, declare them in the 'of' clause." },
+    ["E007" /* ErrorCode.TYPEVAR_INCONSISTENT */]: { code: "E007" /* ErrorCode.TYPEVAR_INCONSISTENT */, category: 'type', severity: 'error', message: "Type variable '{name}' inferred inconsistently: {previous} vs {actual}", help: "Ensure all usage sites of a type variable produce the same concrete type." },
+    ["E008" /* ErrorCode.IF_BRANCH_MISMATCH */]: { code: "E008" /* ErrorCode.IF_BRANCH_MISMATCH */, category: 'type', severity: 'error', message: "If branch type mismatch: then {thenType} vs else {elseType}", help: "Ensure both branches of an if expression return the same type." },
+    ["E009" /* ErrorCode.MATCH_BRANCH_MISMATCH */]: { code: "E009" /* ErrorCode.MATCH_BRANCH_MISMATCH */, category: 'type', severity: 'error', message: "Match case return types differ: {expected} vs {actual}", help: "Check that all match branches return the same type." },
+    ["E010" /* ErrorCode.INTEGER_PATTERN_TYPE */]: { code: "E010" /* ErrorCode.INTEGER_PATTERN_TYPE */, category: 'type', severity: 'error', message: "Integer pattern used on non-Int scrutinee ({scrutineeType})", help: "Only use integer patterns on Int-typed match expressions." },
+    ["E011" /* ErrorCode.UNKNOWN_FIELD */]: { code: "E011" /* ErrorCode.UNKNOWN_FIELD */, category: 'type', severity: 'error', message: "Unknown field '{field}' for {type}", help: "Check that the field name is correct for the data type." },
+    ["E012" /* ErrorCode.FIELD_TYPE_MISMATCH */]: { code: "E012" /* ErrorCode.FIELD_TYPE_MISMATCH */, category: 'type', severity: 'error', message: "Field '{field}' expects {expected}, got {actual}", help: "Verify the field initializer expression matches the declared type." },
+    ["E013" /* ErrorCode.MISSING_REQUIRED_FIELD */]: { code: "E013" /* ErrorCode.MISSING_REQUIRED_FIELD */, category: 'type', severity: 'error', message: "Construction of {type} missing required field '{field}'", help: "Provide all required fields declared in the data type." },
+    ["E014" /* ErrorCode.NOT_CALL_ARITY */]: { code: "E014" /* ErrorCode.NOT_CALL_ARITY */, category: 'type', severity: 'error', message: "not(...) expects 1 argument", help: "Adjust the not() call to have exactly 1 argument." },
+    ["E015" /* ErrorCode.AWAIT_TYPE */]: { code: "E015" /* ErrorCode.AWAIT_TYPE */, category: 'type', severity: 'warning', message: "await expects Maybe<T> or Result<T,E>, got {type}", help: "Only use await on Maybe or Result types." },
+    ["E016" /* ErrorCode.DUPLICATE_ENUM_CASE */]: { code: "E016" /* ErrorCode.DUPLICATE_ENUM_CASE */, category: 'type', severity: 'warning', message: "Duplicate enum case '{case}' in match on {type}.", help: "Remove duplicate enum branches to keep the match concise." },
+    ["E017" /* ErrorCode.NON_EXHAUSTIVE_MAYBE */]: { code: "E017" /* ErrorCode.NON_EXHAUSTIVE_MAYBE */, category: 'type', severity: 'warning', message: "Non-exhaustive match on Maybe type; missing {missing} case.", help: "Add both null and non-null branches for Maybe matches." },
+    ["E018" /* ErrorCode.NON_EXHAUSTIVE_ENUM */]: { code: "E018" /* ErrorCode.NON_EXHAUSTIVE_ENUM */, category: 'type', severity: 'warning', message: "Non-exhaustive match on {type}; missing: {missing}", help: "Add all uncovered enum branches, or add a wildcard." },
+    ["E019" /* ErrorCode.AMBIGUOUS_INTEROP_NUMERIC */]: { code: "E019" /* ErrorCode.AMBIGUOUS_INTEROP_NUMERIC */, category: 'type', severity: 'warning', message: "Ambiguous interop call '{target}': mixing numeric kinds (Int={hasInt}, Long={hasLong}, Double={hasDouble}). Overload resolution may widen/box implicitly.", help: "Unify numeric argument types in interop calls to avoid implicit boxing and widening." },
+    ["E020" /* ErrorCode.LIST_ELEMENT_TYPE_MISMATCH */]: { code: "E020" /* ErrorCode.LIST_ELEMENT_TYPE_MISMATCH */, category: 'type', severity: 'error', message: "List literal element type mismatch: expected {expected}, got {actual}", help: "Ensure all elements in a list literal have the same type." },
+    ["E021" /* ErrorCode.OPTIONAL_EXPECTED */]: { code: "E021" /* ErrorCode.OPTIONAL_EXPECTED */, category: 'type', severity: 'error', message: "Optional value required here: expected Maybe or Option, but got {actual}", help: "Pass a Maybe/Option type or explicitly wrap the value." },
+    ["E022" /* ErrorCode.WORKFLOW_COMPENSATE_TYPE */]: { code: "E022" /* ErrorCode.WORKFLOW_COMPENSATE_TYPE */, category: 'type', severity: 'error', message: "Compensate block for step '{step}' must return Result<Unit, {expectedErr}>, got {actual}", help: "Ensure the compensate block returns Result<Unit, E> where E is the step error type." },
+    ["E023" /* ErrorCode.WORKFLOW_COMPENSATE_MISSING */]: { code: "E023" /* ErrorCode.WORKFLOW_COMPENSATE_MISSING */, category: 'effect', severity: 'warning', message: "Step '{step}' performs side effects but does not define a compensate block.", help: "Provide a compensate block for steps with IO side effects to enable rollback." },
+    ["E024" /* ErrorCode.WORKFLOW_RETRY_INVALID */]: { code: "E024" /* ErrorCode.WORKFLOW_RETRY_INVALID */, category: 'type', severity: 'error', message: "Workflow retry max attempts must be greater than zero (actual: {maxAttempts}).", help: "Set retry.maxAttempts to a positive integer." },
+    ["E025" /* ErrorCode.WORKFLOW_TIMEOUT_INVALID */]: { code: "E025" /* ErrorCode.WORKFLOW_TIMEOUT_INVALID */, category: 'type', severity: 'error', message: "Workflow timeout must be greater than zero milliseconds (actual: {milliseconds}).", help: "Set the timeout to a positive value to ensure compensate logic can be triggered." },
+    ["E026" /* ErrorCode.WORKFLOW_MISSING_IO_EFFECT */]: { code: "E026" /* ErrorCode.WORKFLOW_MISSING_IO_EFFECT */, category: 'effect', severity: 'error', message: "Workflow '{func}' must declare @io effect before using a 'workflow' block.", help: "Add @io effect declaration to the function header." },
+    ["E027" /* ErrorCode.WORKFLOW_UNDECLARED_CAPABILITY */]: { code: "E027" /* ErrorCode.WORKFLOW_UNDECLARED_CAPABILITY */, category: 'capability', severity: 'error', message: "Workflow '{func}' step '{step}' uses capability {capability} that is not declared on the function header.", help: "Declare {capability} in the function header or adjust the step code." },
+    ["E028" /* ErrorCode.COMPENSATE_NEW_CAPABILITY */]: { code: "E028" /* ErrorCode.COMPENSATE_NEW_CAPABILITY */, category: 'capability', severity: 'error', message: "Compensate block for step '{step}' in function '{func}' introduces new capability {capability} that does not appear in the main step body.", help: "Compensate blocks can only reuse capabilities from the main step body." },
+    ["E029" /* ErrorCode.WORKFLOW_UNKNOWN_STEP_DEPENDENCY */]: { code: "E029" /* ErrorCode.WORKFLOW_UNKNOWN_STEP_DEPENDENCY */, category: 'scope', severity: 'error', message: "Workflow step '{step}' depends on undefined step '{dependency}'.", help: "Only reference declared step names in the current workflow." },
+    ["E030" /* ErrorCode.WORKFLOW_CIRCULAR_DEPENDENCY */]: { code: "E030" /* ErrorCode.WORKFLOW_CIRCULAR_DEPENDENCY */, category: 'type', severity: 'error', message: "Workflow contains circular step dependency: {cycle}", help: "Remove or restructure circular dependencies to enable topological execution." },
+    ["E070" /* ErrorCode.PII_ASSIGN_DOWNGRADE */]: { code: "E070" /* ErrorCode.PII_ASSIGN_DOWNGRADE */, category: 'type', severity: 'error', message: "Cannot assign PII data to lower-level target: {source} -> {target}", help: "Use a sanitization function or declare a matching @pii level on the target." },
+    ["E072" /* ErrorCode.PII_SINK_UNSANITIZED */]: { code: "E072" /* ErrorCode.PII_SINK_UNSANITIZED */, category: 'type', severity: 'error', message: "PII level {level} data output to {sinkKind} without sanitization", help: "Call redact() or tokenize() before output to reduce sensitivity." },
+    ["E073" /* ErrorCode.PII_ARG_VIOLATION */]: { code: "E073" /* ErrorCode.PII_ARG_VIOLATION */, category: 'type', severity: 'error', message: "PII argument type mismatch: expected {expected}, got {actual}", help: "Check the function signature to ensure PII levels and categories match." },
+    ["E100" /* ErrorCode.DUPLICATE_IMPORT_ALIAS */]: { code: "E100" /* ErrorCode.DUPLICATE_IMPORT_ALIAS */, category: 'scope', severity: 'warning', message: "Duplicate import alias '{alias}'.", help: "Use unique aliases for different imports to avoid shadowing." },
+    ["E101" /* ErrorCode.UNDEFINED_VARIABLE */]: { code: "E101" /* ErrorCode.UNDEFINED_VARIABLE */, category: 'scope', severity: 'error', message: "Undefined variable: {name}", help: "Declare and initialize the variable before use." },
+    ["E102" /* ErrorCode.DUPLICATE_SYMBOL */]: { code: "E102" /* ErrorCode.DUPLICATE_SYMBOL */, category: 'scope', severity: 'error', message: "Symbol '{name}' is already defined in this scope.", help: "Choose a different name or check for unintended duplicate declarations." },
+    ["E200" /* ErrorCode.EFF_MISSING_IO */]: { code: "E200" /* ErrorCode.EFF_MISSING_IO */, category: 'effect', severity: 'error', message: "Function '{func}' may perform I/O but is missing @io effect.", help: "Declare @io effect for functions that perform I/O." },
+    ["E201" /* ErrorCode.EFF_MISSING_CPU */]: { code: "E201" /* ErrorCode.EFF_MISSING_CPU */, category: 'effect', severity: 'error', message: "Function '{func}' may perform CPU-bound work but is missing @cpu (or @io) effect.", help: "Declare @cpu or @io effect for CPU-intensive functions." },
+    ["E202" /* ErrorCode.EFF_SUPERFLUOUS_IO_CPU_ONLY */]: { code: "E202" /* ErrorCode.EFF_SUPERFLUOUS_IO_CPU_ONLY */, category: 'effect', severity: 'info', message: "Function '{func}' declares @io but only CPU-like work found; @io subsumes @cpu and may be unnecessary.", help: "If the function only does CPU work, consider removing the redundant @io declaration." },
+    ["E203" /* ErrorCode.EFF_SUPERFLUOUS_IO */]: { code: "E203" /* ErrorCode.EFF_SUPERFLUOUS_IO */, category: 'effect', severity: 'warning', message: "Function '{func}' declares @io but no obvious I/O found.", help: "Confirm @io is needed; remove if no I/O behavior exists." },
+    ["E204" /* ErrorCode.EFF_SUPERFLUOUS_CPU */]: { code: "E204" /* ErrorCode.EFF_SUPERFLUOUS_CPU */, category: 'effect', severity: 'warning', message: "Function '{func}' declares @cpu but no obvious CPU-bound work found.", help: "Remove the redundant @cpu declaration or add corresponding CPU work." },
+    ["E205" /* ErrorCode.EFF_INFER_MISSING_IO */]: { code: "E205" /* ErrorCode.EFF_INFER_MISSING_IO */, category: 'effect', severity: 'error', message: "Function '{func}' missing @io effect declaration, inference requires IO.", help: "Add @io effect based on inference results." },
+    ["E206" /* ErrorCode.EFF_INFER_MISSING_CPU */]: { code: "E206" /* ErrorCode.EFF_INFER_MISSING_CPU */, category: 'effect', severity: 'error', message: "Function '{func}' missing @cpu effect declaration, inference requires CPU (or @io).", help: "Add @cpu or @io effect based on inference results." },
+    ["E207" /* ErrorCode.EFF_INFER_REDUNDANT_IO */]: { code: "E207" /* ErrorCode.EFF_INFER_REDUNDANT_IO */, category: 'effect', severity: 'warning', message: "Function '{func}' declares @io but no IO side effects inferred.", help: "Confirm whether to keep the @io declaration." },
+    ["E208" /* ErrorCode.EFF_INFER_REDUNDANT_CPU */]: { code: "E208" /* ErrorCode.EFF_INFER_REDUNDANT_CPU */, category: 'effect', severity: 'warning', message: "Function '{func}' declares @cpu but no CPU side effects inferred.", help: "Remove the @cpu declaration if no CPU side effects exist." },
+    ["E209" /* ErrorCode.EFF_INFER_REDUNDANT_CPU_WITH_IO */]: { code: "E209" /* ErrorCode.EFF_INFER_REDUNDANT_CPU_WITH_IO */, category: 'effect', severity: 'warning', message: "Function '{func}' declares both @cpu and @io; @cpu is redundant since @io is required.", help: "Keep @io only; remove the redundant @cpu." },
+    ["E210" /* ErrorCode.EFFECT_VAR_UNDECLARED */]: { code: "E210" /* ErrorCode.EFFECT_VAR_UNDECLARED */, category: 'type', severity: 'error', message: "Effect variable {var} undeclared", help: "Add the effect type parameter to the function signature's effect parameter list." },
+    ["E211" /* ErrorCode.EFFECT_VAR_UNRESOLVED */]: { code: "E211" /* ErrorCode.EFFECT_VAR_UNRESOLVED */, category: 'type', severity: 'error', message: "Effect variable {vars} could not be resolved to concrete effects", help: "Provide explicit effects (pure/cpu/io/workflow) or remove unused effect variables." },
+    ["E300" /* ErrorCode.CAPABILITY_NOT_ALLOWED */]: { code: "E300" /* ErrorCode.CAPABILITY_NOT_ALLOWED */, category: 'capability', severity: 'error', message: "Function '{func}' requires {cap} capability but manifest for module '{module}' denies it.", help: "Update the capability manifest or modify the function to comply." },
+    ["E301" /* ErrorCode.EFF_CAP_MISSING */]: { code: "E301" /* ErrorCode.EFF_CAP_MISSING */, category: 'capability', severity: 'error', message: "Function '{func}' uses {cap} capability but header declares [{declared}].", help: "Declare the actually used capabilities in the function header." },
+    ["E302" /* ErrorCode.EFF_CAP_SUPERFLUOUS */]: { code: "E302" /* ErrorCode.EFF_CAP_SUPERFLUOUS */, category: 'capability', severity: 'info', message: "Function '{func}' declares {cap} capability but it is not used.", help: "Remove unused capability declarations for clarity." },
+    ["E303" /* ErrorCode.CAPABILITY_INFER_MISSING_IO */]: { code: "E303" /* ErrorCode.CAPABILITY_INFER_MISSING_IO */, category: 'capability', severity: 'error', message: "Function '{func}' uses IO capabilities [{capabilities}] but is missing @io effect (e.g., {calls}).", help: "Declare @io effect in the function header, or remove related calls to stay pure." },
+    ["E304" /* ErrorCode.CAPABILITY_INFER_MISSING_CPU */]: { code: "E304" /* ErrorCode.CAPABILITY_INFER_MISSING_CPU */, category: 'capability', severity: 'error', message: "Function '{func}' performs CPU capability calls (e.g., {calls}) but declares neither @cpu nor @io effect.", help: "Add @cpu or @io effect to cover CPU capabilities." },
+    ["E400" /* ErrorCode.PII_HTTP_UNENCRYPTED */]: { code: "E400" /* ErrorCode.PII_HTTP_UNENCRYPTED */, category: 'pii', severity: 'error', message: "PII data transmitted over HTTP without encryption", help: "Use an encrypted channel (HTTPS) or sanitize before transmitting PII data." },
+    ["E401" /* ErrorCode.PII_ANNOTATION_MISSING */]: { code: "E401" /* ErrorCode.PII_ANNOTATION_MISSING */, category: 'pii', severity: 'error', message: "PII annotation missing for value flowing into '{sink}'", help: "Add @pii annotation to sensitive data for tracking." },
+    ["E402" /* ErrorCode.PII_SENSITIVITY_MISMATCH */]: { code: "E402" /* ErrorCode.PII_SENSITIVITY_MISMATCH */, category: 'pii', severity: 'warning', message: "PII sensitivity mismatch: required {required}, got {actual}", help: "Adjust the data sensitivity level or update the process requirements." },
+    ["E403" /* ErrorCode.PII_MISSING_CONSENT_CHECK */]: { code: "E403" /* ErrorCode.PII_MISSING_CONSENT_CHECK */, category: 'pii', severity: 'warning', message: "Function '{func}' processes PII data without consent check (GDPR Art. 6)", help: "Call checkConsent() or add @consent_required annotation before processing PII data." },
+    ["E500" /* ErrorCode.ASYNC_START_NOT_WAITED */]: { code: "E500" /* ErrorCode.ASYNC_START_NOT_WAITED */, category: 'async', severity: 'error', message: "Started async task '{task}' not waited", help: "Call wait on started async tasks to ensure completion." },
+    ["E501" /* ErrorCode.ASYNC_WAIT_NOT_STARTED */]: { code: "E501" /* ErrorCode.ASYNC_WAIT_NOT_STARTED */, category: 'async', severity: 'error', message: "Waiting for async task '{task}' that was never started", help: "Ensure the task name in wait matches a started task." },
+    ["E502" /* ErrorCode.ASYNC_DUPLICATE_START */]: { code: "E502" /* ErrorCode.ASYNC_DUPLICATE_START */, category: 'async', severity: 'error', message: "Async task '{task}' started multiple times ({count} occurrences)", help: "Avoid starting the same task multiple times; reuse or rename." },
+    ["E503" /* ErrorCode.ASYNC_DUPLICATE_WAIT */]: { code: "E503" /* ErrorCode.ASYNC_DUPLICATE_WAIT */, category: 'async', severity: 'warning', message: "Async task '{task}' waited multiple times ({count} occurrences)", help: "Ensure each task is waited on only once, or use a separate synchronization mechanism." },
+    ["E504" /* ErrorCode.ASYNC_WAIT_BEFORE_START */]: { code: "E504" /* ErrorCode.ASYNC_WAIT_BEFORE_START */, category: 'async', severity: 'error', message: "Wait for async task '{task}' occurs before any matching start", help: "Execute start before wait, and ensure both are on compatible control paths." },
+    ["W071" /* ErrorCode.PII_IMPLICIT_UPLEVEL */]: { code: "W071" /* ErrorCode.PII_IMPLICIT_UPLEVEL */, category: 'type', severity: 'warning', message: "Implicit PII level escalation detected: {source} -> {target}", help: "Add explicit type annotations for level changes to aid auditing." },
+    ["W074" /* ErrorCode.PII_SINK_UNKNOWN */]: { code: "W074" /* ErrorCode.PII_SINK_UNKNOWN */, category: 'type', severity: 'warning', message: "PII data may flow to {sinkKind} without annotation", help: "Add @pii annotation to track sensitive data flow." },
+    ["W105" /* ErrorCode.WORKFLOW_RETRY_INCONSISTENT */]: { code: "W105" /* ErrorCode.WORKFLOW_RETRY_INCONSISTENT */, category: 'type', severity: 'warning', message: "Workflow retry configuration may be unreasonable: {reason}", help: "Check the combination of total wait time, maxAttempts, and backoff strategy." },
+    ["W106" /* ErrorCode.WORKFLOW_TIMEOUT_UNREASONABLE */]: { code: "W106" /* ErrorCode.WORKFLOW_TIMEOUT_UNREASONABLE */, category: 'type', severity: 'warning', message: "Workflow timeout configuration may be unreasonable: {reason}", help: "Check whether the timeout value is too large or too small." },
 };
 /**
  * 使用命名参数填充错误消息模板。
+ * 可选传入 lexicon 以获取本地化翻译。
  */
-export function formatErrorMessage(code, params) {
-    const template = ERROR_MESSAGES[code] ?? "";
+export function formatErrorMessage(code, params, diagnosticMessages) {
+    const template = diagnosticMessages?.[code] ?? ERROR_MESSAGES[code] ?? "";
     return template.replace(/\{(\w+)\}/g, (_, key) => {
         const value = params[key];
         return value === undefined ? `{${key}}` : String(value);