npm - @aster-cloud/aster-lang-ts - Versions diffs - 1.0.27 → 1.0.29 - Mend

@aster-cloud/aster-lang-ts 1.0.27 → 1.0.29

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.

Files changed (207) hide show

package/dist/src/diagnostics/error_codes.js CHANGED Viewed

@@ -1,7 +1,6 @@
 // 本文件由 scripts/generate_error_codes.ts 自动生成，请勿手动修改。
 // 源数据: shared/error_codes.json
 export const ERROR_MESSAGES = {
-    ["E102" /* ErrorCode.MULTIPLE_ENTRY_RULES */]: "Multiple @entry rules in module: {rules}",
     ["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}",
@@ -21,7 +20,6 @@ export const ERROR_MESSAGES = {
     ["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.",
-    ["E031" /* ErrorCode.DECIMAL_DOUBLE_MIXING */]: "Cannot combine Decimal and Double in '{operator}'. Double is binary floating-point and would inject rounding error into an exact Decimal. Use Decimal literals (e.g. 1.08m) on both sides, or Int/Long (exact promotion).",
     ["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}",
@@ -33,11 +31,14 @@ 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}",
+    ["E031" /* ErrorCode.DECIMAL_DOUBLE_MIXING */]: "Cannot combine Decimal and Double in '{operator}'. Double is binary floating-point and would inject rounding error into an exact Decimal. Use Decimal literals (e.g. 1.08m) on both sides, or Int/Long (exact promotion).",
+    ["E032" /* ErrorCode.CALL_ARITY_MISMATCH */]: "Function '{func}' expects {expected} argument(s), got {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.MULTIPLE_ENTRY_RULES */]: "Multiple @entry rules in module: {rules}",
     ["E103" /* ErrorCode.IMPORT_SYMBOL_CONFLICT */]: "Import symbol conflict: {symbol}",
     ["E104" /* 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.",
@@ -74,86 +75,516 @@ export const ERROR_MESSAGES = {
     ["W106" /* ErrorCode.WORKFLOW_TIMEOUT_UNREASONABLE */]: "Workflow timeout configuration may be unreasonable: {reason}",
 };
 export const ERROR_METADATA = {
-    ["E102" /* ErrorCode.MULTIPLE_ENTRY_RULES */]: { code: "E102" /* ErrorCode.MULTIPLE_ENTRY_RULES */, category: 'scope', severity: 'error', message: "Multiple @entry rules in module: {rules}", help: "Keep at most one Rule annotated with @entry in a module." },
-    ["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." },
-    ["E031" /* ErrorCode.DECIMAL_DOUBLE_MIXING */]: { code: "E031" /* ErrorCode.DECIMAL_DOUBLE_MIXING */, category: 'type', severity: 'error', message: "Cannot combine Decimal and Double in '{operator}'. Double is binary floating-point and would inject rounding error into an exact Decimal. Use Decimal literals (e.g. 1.08m) on both sides, or Int/Long (exact promotion).", help: "Make both operands Decimal (suffix m), or use Int/Long which promote exactly to Decimal." },
-    ["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." },
-    // P0-R2 (codex review Medium #10): PII codes 统一分类为 'pii'（原本是
-    // 'type' 是历史遗留，让 PII_CODES 自动派生不可能正确）
-    ["E070" /* ErrorCode.PII_ASSIGN_DOWNGRADE */]: { code: "E070" /* ErrorCode.PII_ASSIGN_DOWNGRADE */, category: 'pii', 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: 'pii', 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: 'pii', 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." },
-    ["E103" /* ErrorCode.IMPORT_SYMBOL_CONFLICT */]: { code: "E103" /* ErrorCode.IMPORT_SYMBOL_CONFLICT */, category: 'scope', severity: 'warning', message: "Import symbol conflict: {symbol}", help: "Adjust the import alias or the local top-level declaration name to avoid the import symbol conflict." },
-    ["E104" /* ErrorCode.DUPLICATE_SYMBOL */]: { code: "E104" /* 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." },
-    ["E212" /* ErrorCode.EFF_INFER_UNKNOWN_BUILTIN */]: { code: "E212" /* ErrorCode.EFF_INFER_UNKNOWN_BUILTIN */, category: 'effect', severity: 'warning', message: "Effect of builtin '{builtin}' called by '{func}' is unknown; it is NOT assumed pure", help: "Declare it via ASTER_EFFECT_CONFIG prefixes, supply an imported effect signature, or use a known stdlib namespace." },
-    ["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." },
-    ["E404" /* ErrorCode.PII_ANALYZER_FAILED */]: { code: "E404" /* ErrorCode.PII_ANALYZER_FAILED */, category: 'pii', severity: 'error', message: "PII safety analysis failed for this module — the editor cannot verify whether sensitive data is correctly handled. This policy should not be deployed until the analysis succeeds. Internal reason: {reason}", help: "Try saving and reloading the file. If the error persists, contact your administrator or report this issue with the source code attached." },
-    ["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: 'pii', 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: 'pii', 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." },
+    ["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.",
+    },
+    ["E031" /* ErrorCode.DECIMAL_DOUBLE_MIXING */]: {
+        code: "E031" /* ErrorCode.DECIMAL_DOUBLE_MIXING */,
+        category: 'type',
+        severity: 'error',
+        message: "Cannot combine Decimal and Double in '{operator}'. Double is binary floating-point and would inject rounding error into an exact Decimal. Use Decimal literals (e.g. 1.08m) on both sides, or Int/Long (exact promotion).",
+        help: "Make both operands Decimal (suffix m), or use Int/Long which promote exactly to Decimal.",
+    },
+    ["E032" /* ErrorCode.CALL_ARITY_MISMATCH */]: {
+        code: "E032" /* ErrorCode.CALL_ARITY_MISMATCH */,
+        category: 'type',
+        severity: 'error',
+        message: "Function '{func}' expects {expected} argument(s), got {actual}.",
+        help: "Adjust the call to pass exactly the declared number of arguments.",
+    },
+    ["E070" /* ErrorCode.PII_ASSIGN_DOWNGRADE */]: {
+        code: "E070" /* ErrorCode.PII_ASSIGN_DOWNGRADE */,
+        category: 'pii',
+        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: 'pii',
+        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: 'pii',
+        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.MULTIPLE_ENTRY_RULES */]: {
+        code: "E102" /* ErrorCode.MULTIPLE_ENTRY_RULES */,
+        category: 'scope',
+        severity: 'error',
+        message: "Multiple @entry rules in module: {rules}",
+        help: "Keep at most one Rule annotated with @entry in a module.",
+    },
+    ["E103" /* ErrorCode.IMPORT_SYMBOL_CONFLICT */]: {
+        code: "E103" /* ErrorCode.IMPORT_SYMBOL_CONFLICT */,
+        category: 'scope',
+        severity: 'warning',
+        message: "Import symbol conflict: {symbol}",
+        help: "Adjust the import alias or the local top-level declaration name to avoid the import symbol conflict.",
+    },
+    ["E104" /* ErrorCode.DUPLICATE_SYMBOL */]: {
+        code: "E104" /* 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.",
+    },
+    ["E212" /* ErrorCode.EFF_INFER_UNKNOWN_BUILTIN */]: {
+        code: "E212" /* ErrorCode.EFF_INFER_UNKNOWN_BUILTIN */,
+        category: 'effect',
+        severity: 'warning',
+        message: "Effect of builtin '{builtin}' called by '{func}' is unknown; it is NOT assumed pure",
+        help: "Declare it via ASTER_EFFECT_CONFIG prefixes, supply an imported effect signature, or use a known stdlib namespace.",
+    },
+    ["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.",
+    },
+    ["E404" /* ErrorCode.PII_ANALYZER_FAILED */]: {
+        code: "E404" /* ErrorCode.PII_ANALYZER_FAILED */,
+        category: 'pii',
+        severity: 'error',
+        message: "PII safety analysis failed for this module — the editor cannot verify whether sensitive data is correctly handled. This policy should not be deployed until the analysis succeeds. Internal reason: {reason}",
+        help: "Try saving and reloading the file. If the error persists, contact your administrator or report this issue with the source code attached.",
+    },
+    ["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: 'pii',
+        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: 'pii',
+        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, diagnosticMessages) {
-    const template = diagnosticMessages?.[code] ?? ERROR_MESSAGES[code] ?? "";
+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);