@aster-cloud/aster-lang-ts 0.0.1

package/dist/src/diagnostics/error_codes.js

@@ -0,0 +1,551 @@
+// 本文件由 scripts/generate_error_codes.ts 自动生成，请勿手动修改。
+// 源数据: shared/error_codes.json
+export const ERROR_MESSAGES = {
+    ["E001" /* ErrorCode.TYPE_MISMATCH */]: "Type mismatch: expected {expected}, got {actual}",
+    ["E002" /* ErrorCode.TYPE_MISMATCH_ASSIGN */]: "Type mismatch assigning to '{name}': {expected} vs {actual}",
+    ["E003" /* ErrorCode.RETURN_TYPE_MISMATCH */]: "Return type mismatch: expected {expected}, got {actual}",
+    ["E004" /* ErrorCode.TYPE_VAR_UNDECLARED */]: "Type variable '{name}' is used in '{func}' but not declared in its type parameters.",
+    ["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}",
+    ["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}'",
+    ["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}.",
+    ["E017" /* ErrorCode.NON_EXHAUSTIVE_MAYBE */]: "Non-exhaustive match on Maybe type; missing {missing} case.",
+    ["E018" /* ErrorCode.NON_EXHAUSTIVE_ENUM */]: "Non-exhaustive match on {type}; missing: {missing}",
+    ["E019" /* ErrorCode.AMBIGUOUS_INTEROP_NUMERIC */]: "Ambiguous interop call '{target}': mixing numeric kinds (Int={hasInt}, Long={hasLong}, Double={hasDouble}). Overload resolution may widen/box implicitly.",
+    ["E020" /* ErrorCode.LIST_ELEMENT_TYPE_MISMATCH */]: "List literal element type mismatch: expected {expected}, got {actual}",
+    ["E021" /* ErrorCode.OPTIONAL_EXPECTED */]: "Optional value required here: expected Maybe or Option, but got {actual}",
+    ["E022" /* ErrorCode.WORKFLOW_COMPENSATE_TYPE */]: "Compensate block for step '{step}' must return Result<Unit, {expectedErr}>, got {actual}",
+    ["E023" /* ErrorCode.WORKFLOW_COMPENSATE_MISSING */]: "Step '{step}' performs side effects but does not define a compensate block.",
+    ["E024" /* ErrorCode.WORKFLOW_RETRY_INVALID */]: "Workflow retry max attempts must be greater than zero (actual: {maxAttempts}).",
+    ["E025" /* ErrorCode.WORKFLOW_TIMEOUT_INVALID */]: "Workflow timeout must be greater than zero milliseconds (actual: {milliseconds}).",
+    ["E026" /* ErrorCode.WORKFLOW_MISSING_IO_EFFECT */]: "Workflow '{func}' must declare @io effect before using a 'workflow' block.",
+    ["E027" /* ErrorCode.WORKFLOW_UNDECLARED_CAPABILITY */]: "Workflow '{func}' step '{step}' uses capability {capability} that is not declared on the function header.",
+    ["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}",
+    ["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.",
+    ["E200" /* ErrorCode.EFF_MISSING_IO */]: "Function '{func}' may perform I/O but is missing @io effect.",
+    ["E201" /* ErrorCode.EFF_MISSING_CPU */]: "Function '{func}' may perform CPU-bound work but is missing @cpu (or @io) effect.",
+    ["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} 无法推断出具体效果",
+    ["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.",
+    ["E303" /* ErrorCode.CAPABILITY_INFER_MISSING_IO */]: "Function '{func}' uses IO capabilities [{capabilities}] but is missing @io effect (e.g., {calls}).",
+    ["E304" /* ErrorCode.CAPABILITY_INFER_MISSING_CPU */]: "Function '{func}' performs CPU capability calls (e.g., {calls}) but declares neither @cpu nor @io effect.",
+    ["E400" /* ErrorCode.PII_HTTP_UNENCRYPTED */]: "PII data transmitted over HTTP without encryption",
+    ["E401" /* ErrorCode.PII_ANNOTATION_MISSING */]: "PII annotation missing for value flowing into '{sink}'",
+    ["E402" /* ErrorCode.PII_SENSITIVITY_MISMATCH */]: "PII sensitivity mismatch: required {required}, got {actual}",
+    ["E403" /* ErrorCode.PII_MISSING_CONSENT_CHECK */]: "Function '{func}' processes PII data without consent check (GDPR Art. 6)",
+    ["E500" /* ErrorCode.ASYNC_START_NOT_WAITED */]: "Started async task '{task}' not waited",
+    ["E501" /* ErrorCode.ASYNC_WAIT_NOT_STARTED */]: "Waiting for async task '{task}' that was never started",
+    ["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}",
+};
+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 值是否过大或过小。",
+    },
+};
+/**
+ * 使用命名参数填充错误消息模板。
+ */
+export function formatErrorMessage(code, params) {
+    const template = ERROR_MESSAGES[code] ?? "";
+    return template.replace(/\{(\w+)\}/g, (_, key) => {
+        const value = params[key];
+        return value === undefined ? `{${key}}` : String(value);
+    });
+}
+/**
+ * 获取详细元数据，包含分类与帮助信息。
+ */
+export function getErrorMetadata(code) {
+    return ERROR_METADATA[code];
+}
+//# sourceMappingURL=error_codes.js.map

package/dist/src/diagnostics/error_codes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"error_codes.js","sourceRoot":"","sources":["../../../src/diagnostics/error_codes.ts"],"names":[],"mappings":"AAAA,oDAAoD;AACpD,+BAA+B;AAmF/B,MAAM,CAAC,MAAM,cAAc,GAA8B;IACvD,sCAAyB,EAAE,kDAAkD;IAC7E,6CAAgC,EAAE,6DAA6D;IAC/F,6CAAgC,EAAE,yDAAyD;IAC3F,4CAA+B,EAAE,qFAAqF;IACtH,0CAA6B,EAAE,+DAA+D;IAC9F,gDAAmC,EAAE,gGAAgG;IACrI,6CAAgC,EAAE,wEAAwE;IAC1G,2CAA8B,EAAE,qDAAqD;IACrF,8CAAiC,EAAE,wDAAwD;IAC3F,6CAAgC,EAAE,6DAA6D;IAC/F,sCAAyB,EAAE,oCAAoC;IAC/D,4CAA+B,EAAE,kDAAkD;IACnF,+CAAkC,EAAE,4BAA4B;IAChE,uCAA0B,EAAE,6BAA6B;IACzD,mCAAsB,EAAE,mDAAmD;IAC3E,4CAA+B,EAAE,kDAAkD;IACnF,6CAAgC,EAAE,6DAA6D;IAC/F,4CAA+B,EAAE,oDAAoD;IACrF,kDAAqC,EAAE,2JAA2J;IAClM,mDAAsC,EAAE,uEAAuE;IAC/G,0CAA6B,EAAE,0EAA0E;IACzG,iDAAoC,EAAE,0FAA0F;IAChI,oDAAuC,EAAE,6EAA6E;IACtH,+CAAkC,EAAE,gFAAgF;IACpH,iDAAoC,EAAE,mFAAmF;IACzH,mDAAsC,EAAE,4EAA4E;IACpH,uDAA0C,EAAE,2GAA2G;IACvJ,kDAAqC,EAAE,4IAA4I;IACnL,yDAA4C,EAAE,kEAAkE;IAChH,qDAAwC,EAAE,qDAAqD;IAC/F,6CAAgC,EAAE,0CAA0C;IAC5E,6CAAgC,EAAE,qCAAqC;IACvE,0CAA6B,EAAE,yCAAyC;IACxE,+CAAkC,EAAE,mCAAmC;IACvE,2CAA8B,EAAE,4BAA4B;IAC5D,yCAA4B,EAAE,mDAAmD;IACjF,uCAA0B,EAAE,8DAA8D;IAC1F,wCAA2B,EAAE,mFAAmF;IAChH,oDAAuC,EAAE,wGAAwG;IACjJ,2CAA8B,EAAE,0DAA0D;IAC1F,4CAA+B,EAAE,sEAAsE;IACvG,6CAAgC,EAAE,kCAAkC;IACpE,8CAAiC,EAAE,2CAA2C;IAC9E,+CAAkC,EAAE,oCAAoC;IACxE,gDAAmC,EAAE,sCAAsC;IAC3E,wDAA2C,EAAE,gDAAgD;IAC7F,8CAAiC,EAAE,gBAAgB;IACnD,8CAAiC,EAAE,uBAAuB;IAC1D,+CAAkC,EAAE,2FAA2F;IAC/H,wCAA2B,EAAE,2EAA2E;IACxG,4CAA+B,EAAE,iEAAiE;IAClG,oDAAuC,EAAE,oGAAoG;IAC7I,qDAAwC,EAAE,2GAA2G;IACrJ,6CAAgC,EAAE,mDAAmD;IACrF,+CAAkC,EAAE,wDAAwD;IAC5F,iDAAoC,EAAE,6DAA6D;IACnG,kDAAqC,EAAE,0EAA0E;IACjH,+CAAkC,EAAE,wCAAwC;IAC5E,+CAAkC,EAAE,wDAAwD;IAC5F,8CAAiC,EAAE,kEAAkE;IACrG,6CAAgC,EAAE,iEAAiE;IACnG,gDAAmC,EAAE,+DAA+D;IACpG,6CAAgC,EAAE,sCAAsC;IACxE,yCAA4B,EAAE,+BAA+B;IAC7D,oDAAuC,EAAE,kCAAkC;IAC3E,sDAAyC,EAAE,oCAAoC;CAChF,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAqC;IAC9D,sCAAyB,EAAE;QACzB,IAAI,sCAAyB;QAC7B,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kDAAkD;QAC3D,IAAI,EAAE,sBAAsB;KAC7B;IACD,6CAAgC,EAAE;QAChC,IAAI,6CAAgC;QACpC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,6DAA6D;QACtE,IAAI,EAAE,uBAAuB;KAC9B;IACD,6CAAgC,EAAE;QAChC,IAAI,6CAAgC;QACpC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,yDAAyD;QAClE,IAAI,EAAE,uBAAuB;KAC9B;IACD,4CAA+B,EAAE;QAC/B,IAAI,4CAA+B;QACnC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,qFAAqF;QAC9F,IAAI,EAAE,4BAA4B;KACnC;IACD,0CAA6B,EAAE;QAC7B,IAAI,0CAA6B;QACjC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,+DAA+D;QACxE,IAAI,EAAE,oBAAoB;KAC3B;IACD,gDAAmC,EAAE;QACnC,IAAI,gDAAmC;QACvC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gGAAgG;QACzG,IAAI,EAAE,6BAA6B;KACpC;IACD,6CAAgC,EAAE;QAChC,IAAI,6CAAgC;QACpC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,wEAAwE;QACjF,IAAI,EAAE,wBAAwB;KAC/B;IACD,2CAA8B,EAAE;QAC9B,IAAI,2CAA8B;QAClC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,qDAAqD;QAC9D,IAAI,EAAE,qBAAqB;KAC5B;IACD,8CAAiC,EAAE;QACjC,IAAI,8CAAiC;QACrC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,wDAAwD;QACjE,IAAI,EAAE,yBAAyB;KAChC;IACD,6CAAgC,EAAE;QAChC,IAAI,6CAAgC;QACpC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,6DAA6D;QACtE,IAAI,EAAE,yBAAyB;KAChC;IACD,sCAAyB,EAAE;QACzB,IAAI,sCAAyB;QAC7B,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,oCAAoC;QAC7C,IAAI,EAAE,sBAAsB;KAC7B;IACD,4CAA+B,EAAE;QAC/B,IAAI,4CAA+B;QACnC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kDAAkD;QAC3D,IAAI,EAAE,sBAAsB;KAC7B;IACD,+CAAkC,EAAE;QAClC,IAAI,+CAAkC;QACtC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,4BAA4B;QACrC,IAAI,EAAE,oBAAoB;KAC3B;IACD,uCAA0B,EAAE;QAC1B,IAAI,uCAA0B;QAC9B,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,6BAA6B;QACtC,IAAI,EAAE,oBAAoB;KAC3B;IACD,mCAAsB,EAAE;QACtB,IAAI,mCAAsB;QAC1B,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,mDAAmD;QAC5D,IAAI,EAAE,+BAA+B;KACtC;IACD,4CAA+B,EAAE;QAC/B,IAAI,4CAA+B;QACnC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,kDAAkD;QAC3D,IAAI,EAAE,qBAAqB;KAC5B;IACD,6CAAgC,EAAE;QAChC,IAAI,6CAAgC;QACpC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,6DAA6D;QACtE,IAAI,EAAE,+BAA+B;KACtC;IACD,4CAA+B,EAAE;QAC/B,IAAI,4CAA+B;QACnC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,oDAAoD;QAC7D,IAAI,EAAE,sBAAsB;KAC7B;IACD,kDAAqC,EAAE;QACrC,IAAI,kDAAqC;QACzC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,2JAA2J;QACpK,IAAI,EAAE,2BAA2B;KAClC;IACD,mDAAsC,EAAE;QACtC,IAAI,mDAAsC;QAC1C,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,uEAAuE;QAChF,IAAI,EAAE,oBAAoB;KAC3B;IACD,0CAA6B,EAAE;QAC7B,IAAI,0CAA6B;QACjC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,0EAA0E;QACnF,IAAI,EAAE,2BAA2B;KAClC;IACD,iDAAoC,EAAE;QACpC,IAAI,iDAAoC;QACxC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,0FAA0F;QACnG,IAAI,EAAE,2CAA2C;KAClD;IACD,oDAAuC,EAAE;QACvC,IAAI,oDAAuC;QAC3C,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,6EAA6E;QACtF,IAAI,EAAE,uCAAuC;KAC9C;IACD,+CAAkC,EAAE;QAClC,IAAI,+CAAkC;QACtC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gFAAgF;QACzF,IAAI,EAAE,4BAA4B;KACnC;IACD,iDAAoC,EAAE;QACpC,IAAI,iDAAoC;QACxC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,mFAAmF;QAC5F,IAAI,EAAE,8BAA8B;KACrC;IACD,mDAAsC,EAAE;QACtC,IAAI,mDAAsC;QAC1C,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,4EAA4E;QACrF,IAAI,EAAE,gFAAgF;KACvF;IACD,uDAA0C,EAAE;QAC1C,IAAI,uDAA0C;QAC9C,QAAQ,EAAE,YAAY;QACtB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,2GAA2G;QACpH,IAAI,EAAE,yFAAyF;KAChG;IACD,kDAAqC,EAAE;QACrC,IAAI,kDAAqC;QACzC,QAAQ,EAAE,YAAY;QACtB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,4IAA4I;QACrJ,IAAI,EAAE,+DAA+D;KACtE;IACD,yDAA4C,EAAE;QAC5C,IAAI,yDAA4C;QAChD,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kEAAkE;QAC3E,IAAI,EAAE,mCAAmC;KAC1C;IACD,qDAAwC,EAAE;QACxC,IAAI,qDAAwC;QAC5C,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,qDAAqD;QAC9D,IAAI,EAAE,wBAAwB;KAC/B;IACD,6CAAgC,EAAE;QAChC,IAAI,6CAAgC;QACpC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,0CAA0C;QACnD,IAAI,EAAE,4BAA4B;KACnC;IACD,6CAAgC,EAAE;QAChC,IAAI,6CAAgC;QACpC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,qCAAqC;QAC9C,IAAI,EAAE,sCAAsC;KAC7C;IACD,0CAA6B,EAAE;QAC7B,IAAI,0CAA6B;QACjC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,yCAAyC;QAClD,IAAI,EAAE,wBAAwB;KAC/B;IACD,+CAAkC,EAAE;QAClC,IAAI,+CAAkC;QACtC,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,mCAAmC;QAC5C,IAAI,EAAE,oBAAoB;KAC3B;IACD,2CAA8B,EAAE;QAC9B,IAAI,2CAA8B;QAClC,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,4BAA4B;QACrC,IAAI,EAAE,gBAAgB;KACvB;IACD,yCAA4B,EAAE;QAC5B,IAAI,yCAA4B;QAChC,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,mDAAmD;QAC5D,IAAI,EAAE,wBAAwB;KAC/B;IACD,uCAA0B,EAAE;QAC1B,IAAI,uCAA0B;QAC9B,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,8DAA8D;QACvE,IAAI,EAAE,wBAAwB;KAC/B;IACD,wCAA2B,EAAE;QAC3B,IAAI,wCAA2B;QAC/B,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,mFAAmF;QAC5F,IAAI,EAAE,8BAA8B;KACrC;IACD,oDAAuC,EAAE;QACvC,IAAI,oDAAuC;QAC3C,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,MAAM;QAChB,OAAO,EAAE,wGAAwG;QACjH,IAAI,EAAE,8BAA8B;KACrC;IACD,2CAA8B,EAAE;QAC9B,IAAI,2CAA8B;QAClC,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,0DAA0D;QACnE,IAAI,EAAE,yBAAyB;KAChC;IACD,4CAA+B,EAAE;QAC/B,IAAI,4CAA+B;QACnC,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,sEAAsE;QAC/E,IAAI,EAAE,6BAA6B;KACpC;IACD,6CAAgC,EAAE;QAChC,IAAI,6CAAgC;QACpC,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kCAAkC;QAC3C,IAAI,EAAE,qBAAqB;KAC5B;IACD,8CAAiC,EAAE;QACjC,IAAI,8CAAiC;QACrC,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,2CAA2C;QACpD,IAAI,EAAE,yBAAyB;KAChC;IACD,+CAAkC,EAAE;QAClC,IAAI,+CAAkC;QACtC,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,oCAAoC;QAC7C,IAAI,EAAE,kBAAkB;KACzB;IACD,gDAAmC,EAAE;QACnC,IAAI,gDAAmC;QACvC,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,sCAAsC;QAC/C,IAAI,EAAE,yBAAyB;KAChC;IACD,wDAA2C,EAAE;QAC3C,IAAI,wDAA2C;QAC/C,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,gDAAgD;QACzD,IAAI,EAAE,2BAA2B;KAClC;IACD,8CAAiC,EAAE;QACjC,IAAI,8CAAiC;QACrC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gBAAgB;QACzB,IAAI,EAAE,gDAAgD;KACvD;IACD,8CAAiC,EAAE;QACjC,IAAI,8CAAiC;QACrC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,uBAAuB;QAChC,IAAI,EAAE,mDAAmD;KAC1D;IACD,+CAAkC,EAAE;QAClC,IAAI,+CAAkC;QACtC,QAAQ,EAAE,YAAY;QACtB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,2FAA2F;QACpG,IAAI,EAAE,qBAAqB;KAC5B;IACD,wCAA2B,EAAE;QAC3B,IAAI,wCAA2B;QAC/B,QAAQ,EAAE,YAAY;QACtB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,2EAA2E;QACpF,IAAI,EAAE,kBAAkB;KACzB;IACD,4CAA+B,EAAE;QAC/B,IAAI,4CAA+B;QACnC,QAAQ,EAAE,YAAY;QACtB,QAAQ,EAAE,MAAM;QAChB,OAAO,EAAE,iEAAiE;QAC1E,IAAI,EAAE,kBAAkB;KACzB;IACD,oDAAuC,EAAE;QACvC,IAAI,oDAAuC;QAC3C,QAAQ,EAAE,YAAY;QACtB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,oGAAoG;QAC7G,IAAI,EAAE,2CAA2C;KAClD;IACD,qDAAwC,EAAE;QACxC,IAAI,qDAAwC;QAC5C,QAAQ,EAAE,YAAY;QACtB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,2GAA2G;QACpH,IAAI,EAAE,gCAAgC;KACvC;IACD,6CAAgC,EAAE;QAChC,IAAI,6CAAgC;QACpC,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,mDAAmD;QAC5D,IAAI,EAAE,gCAAgC;KACvC;IACD,+CAAkC,EAAE;QAClC,IAAI,+CAAkC;QACtC,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,wDAAwD;QACjE,IAAI,EAAE,sBAAsB;KAC7B;IACD,iDAAoC,EAAE;QACpC,IAAI,iDAAoC;QACxC,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,6DAA6D;QACtE,IAAI,EAAE,mBAAmB;KAC1B;IACD,kDAAqC,EAAE;QACrC,IAAI,kDAAqC;QACzC,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,0EAA0E;QACnF,IAAI,EAAE,wDAAwD;KAC/D;IACD,+CAAkC,EAAE;QAClC,IAAI,+CAAkC;QACtC,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,wCAAwC;QACjD,IAAI,EAAE,yBAAyB;KAChC;IACD,+CAAkC,EAAE;QAClC,IAAI,+CAAkC;QACtC,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,wDAAwD;QACjE,IAAI,EAAE,6BAA6B;KACpC;IACD,8CAAiC,EAAE;QACjC,IAAI,8CAAiC;QACrC,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kEAAkE;QAC3E,IAAI,EAAE,2BAA2B;KAClC;IACD,6CAAgC,EAAE;QAChC,IAAI,6CAAgC;QACpC,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,iEAAiE;QAC1E,IAAI,EAAE,yBAAyB;KAChC;IACD,gDAAmC,EAAE;QACnC,IAAI,gDAAmC;QACvC,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+DAA+D;QACxE,IAAI,EAAE,wCAAwC;KAC/C;IACD,6CAAgC,EAAE;QAChC,IAAI,6CAAgC;QACpC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,sCAAsC;QAC/C,IAAI,EAAE,oBAAoB;KAC3B;IACD,yCAA4B,EAAE;QAC5B,IAAI,yCAA4B;QAChC,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,+BAA+B;QACxC,IAAI,EAAE,wBAAwB;KAC/B;IACD,oDAAuC,EAAE;QACvC,IAAI,oDAAuC;QAC3C,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,kCAAkC;QAC3C,IAAI,EAAE,iDAAiD;KACxD;IACD,sDAAyC,EAAE;QACzC,IAAI,sDAAyC;QAC7C,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,oCAAoC;QAC7C,IAAI,EAAE,sBAAsB;KAC7B;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAe,EAAE,MAAuC;IACzF,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5C,OAAO,QAAQ,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;QAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAe;IAC9C,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC"}

package/dist/src/diagnostics/index.d.ts

@@ -0,0 +1,14 @@
+/**
+ * @module diagnostics
+ *
+ * 诊断系统模块。
+ *
+ * 包含：
+ * - 结构化诊断 (Diagnostic, DiagnosticBuilder, DiagnosticError)
+ * - 诊断严重级别 (DiagnosticSeverity)
+ * - 诊断代码 (DiagnosticCode)
+ * - 错误码定义 (ErrorCode, ErrorMetadata)
+ */
+export { DiagnosticSeverity, DiagnosticCode, DiagnosticError, DiagnosticBuilder, Diagnostics, formatDiagnostic, dummyPosition, type Diagnostic, type FixIt, } from './diagnostics.js';
+export { ErrorCode, ERROR_MESSAGES, ERROR_METADATA, formatErrorMessage, getErrorMetadata, type ErrorCategory, type ErrorSeverity, type ErrorMetadata, } from './error_codes.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/src/diagnostics/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/diagnostics/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,WAAW,EACX,gBAAgB,EAChB,aAAa,EACb,KAAK,UAAU,EACf,KAAK,KAAK,GACX,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,SAAS,EACT,cAAc,EACd,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,GACnB,MAAM,kBAAkB,CAAC"}

package/dist/src/diagnostics/index.js

@@ -0,0 +1,14 @@
+/**
+ * @module diagnostics
+ *
+ * 诊断系统模块。
+ *
+ * 包含：
+ * - 结构化诊断 (Diagnostic, DiagnosticBuilder, DiagnosticError)
+ * - 诊断严重级别 (DiagnosticSeverity)
+ * - 诊断代码 (DiagnosticCode)
+ * - 错误码定义 (ErrorCode, ErrorMetadata)
+ */
+export { DiagnosticSeverity, DiagnosticCode, DiagnosticError, DiagnosticBuilder, Diagnostics, formatDiagnostic, dummyPosition, } from './diagnostics.js';
+export { ERROR_MESSAGES, ERROR_METADATA, formatErrorMessage, getErrorMetadata, } from './error_codes.js';
+//# sourceMappingURL=index.js.map

package/dist/src/diagnostics/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/diagnostics/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,WAAW,EACX,gBAAgB,EAChB,aAAa,GAGd,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAEL,cAAc,EACd,cAAc,EACd,kBAAkB,EAClB,gBAAgB,GAIjB,MAAM,kBAAkB,CAAC"}

package/dist/src/effects/capabilities.d.ts

@@ -0,0 +1,18 @@
+import { CapabilityKind } from '../config/semantic.js';
+export type Capability = CapabilityKind;
+export interface CapabilityManifest {
+    readonly allow: {
+        readonly [K in CapabilityKind]?: readonly string[];
+    };
+    readonly deny?: {
+        readonly [K in CapabilityKind]?: readonly string[];
+    };
+}
+export interface CapabilityContext {
+    readonly moduleName: string;
+}
+export declare function isCapabilityKind(value: unknown): value is CapabilityKind;
+export declare function parseLegacyCapability(cap: 'io' | 'cpu'): CapabilityKind[];
+export declare function normalizeManifest(raw: any): CapabilityManifest;
+export declare function isAllowed(cap: CapabilityKind | 'io' | 'cpu', funcName: string, ctx: CapabilityContext, man: CapabilityManifest | null): boolean;
+//# sourceMappingURL=capabilities.d.ts.map

package/dist/src/effects/capabilities.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capabilities.d.ts","sourceRoot":"","sources":["../../../src/effects/capabilities.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEvD,MAAM,MAAM,UAAU,GAAG,cAAc,CAAC;AAExC,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,SAAS,MAAM,EAAE;KAAE,CAAC;IACvE,QAAQ,CAAC,IAAI,CAAC,EAAE;QAAE,QAAQ,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,SAAS,MAAM,EAAE;KAAE,CAAC;CACxE;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,cAAc,CAKxE;AAED,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,IAAI,GAAG,KAAK,GAAG,cAAc,EAAE,CAYzE;AAED,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,GAAG,GAAG,kBAAkB,CA0C9D;AAED,wBAAgB,SAAS,CACvB,GAAG,EAAE,cAAc,GAAG,IAAI,GAAG,KAAK,EAClC,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,iBAAiB,EACtB,GAAG,EAAE,kBAAkB,GAAG,IAAI,GAC7B,OAAO,CAwBT"}