@aster-cloud/aster-lang-ts 1.1.0 → 1.2.0

package/dist/src/config/lexicons/diagnostic-overlays.generated.js

@@ -0,0 +1,615 @@
+/**
+ * 本文件由 scripts/generate-diagnostic-overlays.ts 生成，请勿手工修改。
+ * 数据来源：aster-lang-core exportLexicons 导出的 lexicons.json 中各语言包的
+ * diagnosticMessages / diagnosticHelp overlay（译文唯一来源为 aster-lang-locales 与 aster-lang-hi）。
+ */
+/** 语言 id → 诊断译文 overlay（与语言包 overlays/diagnostic-*.json 原样一致）。 */
+export const DIAGNOSTIC_OVERLAYS = {
+    'de-DE': {
+        "diagnosticMessages": {
+            "version": 1,
+            "messages": {
+                "E001": "Typkonflikt: erwartet {expected}, erhalten {actual}",
+                "E002": "Typkonflikt bei Zuweisung an '{name}': {expected} vs {actual}",
+                "E003": "Rückgabetyp passt nicht: erwartet {expected}, erhalten {actual}",
+                "E004": "Typvariable '{name}' wird in '{func}' verwendet, ist aber nicht in dessen Typparametern deklariert.",
+                "E005": "Typparameter '{name}' von '{func}' ist deklariert, wird aber nicht verwendet.",
+                "E006": "Typvariablenähnlicher Name '{name}' wird in '{func}' verwendet, ist aber nicht deklariert; deklarieren Sie ihn mit 'of {name}'.",
+                "E007": "Typvariable '{name}' wurde widersprüchlich abgeleitet: {previous} vs {actual}",
+                "E008": "Typkonflikt zwischen If-Zweigen: then {thenType} vs else {elseType}",
+                "E009": "Rückgabetypen der Match-Fälle unterscheiden sich: {expected} vs {actual}",
+                "E010": "Ganzzahlmuster auf einem Nicht-Int-Prüfwert ({scrutineeType}) verwendet",
+                "E011": "Unbekanntes Feld '{field}' für {type}",
+                "E012": "Feld '{field}' erwartet {expected}, erhalten {actual}",
+                "E013": "Bei der Konstruktion von {type} fehlt das Pflichtfeld '{field}'",
+                "E014": "not(...) erwartet 1 Argument",
+                "E015": "await erwartet Maybe<T> oder Result<T,E>, erhalten {type}",
+                "E016": "Doppelter Enum-Fall '{case}' im Match auf {type}.",
+                "E017": "Unvollständiger Match auf Maybe-Typ; der Fall {missing} fehlt.",
+                "E018": "Unvollständiger Match auf {type}; es fehlen: {missing}",
+                "E019": "Mehrdeutiger Interop-Aufruf '{target}': gemischte Zahlenarten (Int={hasInt}, Long={hasLong}, Double={hasDouble}). Die Überladungsauflösung kann implizit erweitern oder boxen.",
+                "E020": "Elementtyp im Listenliteral passt nicht: erwartet {expected}, erhalten {actual}",
+                "E021": "Hier ist ein optionaler Wert erforderlich: erwartet Maybe oder Option, erhalten {actual}",
+                "E022": "Der Kompensationsblock von Schritt '{step}' muss Result<Unit, {expectedErr}> zurückgeben, erhalten {actual}",
+                "E023": "Schritt '{step}' hat Seiteneffekte, definiert aber keinen Kompensationsblock.",
+                "E024": "Die maximale Anzahl an Workflow-Wiederholungen muss größer als null sein (tatsächlich: {maxAttempts}).",
+                "E025": "Das Workflow-Timeout muss größer als null Millisekunden sein (tatsächlich: {milliseconds}).",
+                "E026": "Workflow '{func}' muss den Effekt @io deklarieren, bevor ein 'workflow'-Block verwendet wird.",
+                "E027": "Schritt '{step}' von Workflow '{func}' nutzt die Fähigkeit {capability}, die im Funktionskopf nicht deklariert ist.",
+                "E028": "Der Kompensationsblock von Schritt '{step}' in Funktion '{func}' führt die neue Fähigkeit {capability} ein, die im Hauptteil des Schritts nicht vorkommt.",
+                "E029": "Workflow-Schritt '{step}' hängt vom undefinierten Schritt '{dependency}' ab.",
+                "E030": "Der Workflow enthält eine zyklische Schrittabhängigkeit: {cycle}",
+                "E031": "Decimal und Double können in '{operator}' nicht kombiniert werden. Double ist eine binäre Gleitkommazahl und würde Rundungsfehler in ein exaktes Decimal einbringen. Verwenden Sie auf beiden Seiten Decimal-Literale (z. B. 1.08m) oder Int/Long (exakte Erweiterung).",
+                "E032": "Funktion '{func}' erwartet {expected} Argument(e), erhalten {actual}.",
+                "E070": "PII-Daten dürfen keinem Ziel mit niedrigerer Stufe zugewiesen werden: {source} -> {target}",
+                "E072": "PII-Daten der Stufe {level} werden ohne Bereinigung an {sinkKind} ausgegeben",
+                "E073": "PII-Argumenttyp passt nicht: erwartet {expected}, erhalten {actual}",
+                "E100": "Doppelter Import-Alias '{alias}'.",
+                "E101": "Undefinierte Variable: {name}",
+                "E102": "Mehrere @entry-Regeln im Modul: {rules}",
+                "E103": "Konflikt beim Importsymbol: {symbol}",
+                "E104": "Symbol '{name}' ist in diesem Gültigkeitsbereich bereits definiert.",
+                "E200": "Funktion '{func}' führt möglicherweise I/O aus, aber der Effekt @io fehlt.",
+                "E201": "Funktion '{func}' führt möglicherweise CPU-intensive Arbeit aus, aber der Effekt @cpu (oder @io) fehlt.",
+                "E202": "Funktion '{func}' deklariert @io, es wurde aber nur CPU-artige Arbeit gefunden; @io umfasst @cpu und ist möglicherweise unnötig.",
+                "E203": "Funktion '{func}' deklariert @io, es wurde aber kein offensichtliches I/O gefunden.",
+                "E204": "Funktion '{func}' deklariert @cpu, es wurde aber keine offensichtliche CPU-intensive Arbeit gefunden.",
+                "E205": "Funktion '{func}' fehlt die Effektdeklaration @io; die Ableitung erfordert IO.",
+                "E206": "Funktion '{func}' fehlt die Effektdeklaration @cpu; die Ableitung erfordert CPU (oder @io).",
+                "E207": "Funktion '{func}' deklariert @io, aber es wurden keine IO-Seiteneffekte abgeleitet.",
+                "E208": "Funktion '{func}' deklariert @cpu, aber es wurden keine CPU-Seiteneffekte abgeleitet.",
+                "E209": "Funktion '{func}' deklariert sowohl @cpu als auch @io; @cpu ist überflüssig, da @io erforderlich ist.",
+                "E210": "Effektvariable {var} ist nicht deklariert",
+                "E211": "Effektvariable {vars} konnte nicht in konkrete Effekte aufgelöst werden",
+                "E212": "Der Effekt der eingebauten Funktion '{builtin}', aufgerufen von '{func}', ist unbekannt; sie wird NICHT als rein angenommen",
+                "E300": "Funktion '{func}' benötigt die Fähigkeit {cap}, aber das Manifest für Modul '{module}' verweigert sie.",
+                "E301": "Funktion '{func}' nutzt die Fähigkeit {cap}, aber der Kopf deklariert [{declared}].",
+                "E302": "Funktion '{func}' deklariert die Fähigkeit {cap}, nutzt sie aber nicht.",
+                "E303": "Funktion '{func}' nutzt IO-Fähigkeiten [{capabilities}], aber der Effekt @io fehlt (z. B. {calls}).",
+                "E304": "Funktion '{func}' ruft CPU-Fähigkeiten auf (z. B. {calls}), deklariert aber weder den Effekt @cpu noch @io.",
+                "E400": "PII-Daten werden unverschlüsselt über HTTP übertragen",
+                "E401": "PII-Annotation fehlt für einen Wert, der in '{sink}' fließt",
+                "E402": "PII-Sensitivität passt nicht: erforderlich {required}, erhalten {actual}",
+                "E403": "Funktion '{func}' verarbeitet PII-Daten ohne Einwilligungsprüfung (DSGVO Art. 6)",
+                "E404": "Die PII-Sicherheitsanalyse für dieses Modul ist fehlgeschlagen – der Editor kann nicht prüfen, ob sensible Daten korrekt behandelt werden. Diese Richtlinie sollte erst bereitgestellt werden, wenn die Analyse erfolgreich ist. Interner Grund: {reason}",
+                "E500": "Gestartete asynchrone Aufgabe '{task}' wird nicht erwartet",
+                "E501": "Es wird auf die asynchrone Aufgabe '{task}' gewartet, die nie gestartet wurde",
+                "E502": "Asynchrone Aufgabe '{task}' wurde mehrfach gestartet ({count} Vorkommen)",
+                "E503": "Auf die asynchrone Aufgabe '{task}' wird mehrfach gewartet ({count} Vorkommen)",
+                "E504": "Das Warten auf die asynchrone Aufgabe '{task}' erfolgt vor jedem passenden Start",
+                "W071": "Implizite Erhöhung der PII-Stufe erkannt: {source} -> {target}",
+                "W074": "PII-Daten fließen möglicherweise ohne Annotation an {sinkKind}",
+                "W105": "Die Wiederholungskonfiguration des Workflows ist möglicherweise unangemessen: {reason}",
+                "W106": "Die Timeout-Konfiguration des Workflows ist möglicherweise unangemessen: {reason}",
+                "W700": "Regel '{rule}' gibt Verdict zurück, hat aber keine @id-Annotation",
+                "E701": "Doppelte Regel-@id '{id}' bei den Regeln: {rules}",
+                "E702": "Annotation @{annotation} an Regel '{rule}' erwartet genau ein String-Literal als Argument",
+                "E703": "{func} erwartet {expected} Argument(e), erhalten {actual}",
+                "W704": "Kontrolle '{control}' an Regel '{rule}' ist nicht registriert (Kontrollregister {version})",
+                "E705": "Modul '{module}' deklariert das unbekannte Profil '{profile}' (Kontrollregister {version})",
+                "E706": "Regel '{rule}' verletzt das Profil '{profile}': {requirement}",
+                "E707": "Die Governance-Prüfung für Modul '{module}' (Profil '{profile}') konnte nicht ausgeführt werden; Speichern ist blockiert, bis sie erfolgreich ist",
+                "E720": "Regel '{rule}' kann nicht nach Cedar exportiert werden: {reason}",
+                "E721": "Regel '{rule}' verwendet {construct}, wofür es keine Cedar-Übersetzung gibt",
+                "E722": "Kontextschlüssel '{key}' in Regel '{rule}' wird sowohl als {first} als auch als {second} verwendet",
+                "E723": "Der Cedar-Export von Regel '{rule}' weicht bei Probe {probe} von Aster ab: Aster {aster}, Cedar {cedar}",
+                "E724": "Das für Regel '{rule}' erzeugte Cedar hat die Schemavalidierung nicht bestanden: {detail}",
+                "E800": "Typ '{written}' kann an Position {role} nicht aufgelöst werden",
+                "E801": "Feld '{written}' kann an Position {role} nicht aufgelöst werden",
+                "E802": "Name '{written}' kann an Position {role} nicht aufgelöst werden",
+                "E803": "Muster '{written}' kann an Position {role} nicht aufgelöst werden",
+                "E804": "Name '{written}' an Position {role} ist mehrdeutig zwischen: {candidates}",
+                "E805": "Feld '{written}' an Position {role} ist mehrdeutig zwischen: {candidates}",
+                "E806": "Muster '{written}' an Position {role} ist mehrdeutig zwischen: {candidates}",
+                "E807": "Doppelte Deklaration von '{written}' an Position {role}",
+                "W800": "Deklaration '{written}' an Position {role} verdeckt einen Vokabulareintrag",
+                "W801": "'{written}' an Position {role} wurde ohne bekannten Empfängertyp aufgelöst"
+            }
+        },
+        "diagnosticHelp": {
+            "version": 1,
+            "help": {
+                "E001": "Prüfen Sie, ob die Typannotation zum abgeleiteten Typ des Ausdrucks passt.",
+                "E002": "Stellen Sie sicher, dass der Typ der vorherigen Bindung der Variablen zur aktuellen Zuweisung passt.",
+                "E003": "Prüfen Sie, ob die Return-Anweisung zum deklarierten Rückgabetyp passt.",
+                "E004": "Deklarieren Sie verwendete Typvariablen in der 'of'-Klausel der Funktionssignatur.",
+                "E005": "Entfernen Sie ungenutzte Typparameter, um Verwirrung zu vermeiden.",
+                "E006": "Deklarieren Sie Namen, die wie Typvariablen aussehen, in der 'of'-Klausel.",
+                "E007": "Stellen Sie sicher, dass alle Verwendungsstellen einer Typvariablen denselben konkreten Typ ergeben.",
+                "E008": "Stellen Sie sicher, dass beide Zweige eines If-Ausdrucks denselben Typ zurückgeben.",
+                "E009": "Prüfen Sie, ob alle Match-Zweige denselben Typ zurückgeben.",
+                "E010": "Verwenden Sie Ganzzahlmuster nur in Match-Ausdrücken vom Typ Int.",
+                "E011": "Prüfen Sie, ob der Feldname für den Datentyp korrekt ist.",
+                "E012": "Prüfen Sie, ob der Initialisierungsausdruck des Felds zum deklarierten Typ passt.",
+                "E013": "Geben Sie alle im Datentyp deklarierten Pflichtfelder an.",
+                "E014": "Rufen Sie not() mit genau 1 Argument auf.",
+                "E015": "Verwenden Sie await nur mit Maybe- oder Result-Typen.",
+                "E016": "Entfernen Sie doppelte Enum-Zweige, damit der Match übersichtlich bleibt.",
+                "E017": "Ergänzen Sie für Maybe-Matches sowohl den null- als auch den Nicht-null-Zweig.",
+                "E018": "Ergänzen Sie alle nicht abgedeckten Enum-Zweige oder fügen Sie einen Platzhalter hinzu.",
+                "E019": "Vereinheitlichen Sie die numerischen Argumenttypen in Interop-Aufrufen, um implizites Boxing und Erweitern zu vermeiden.",
+                "E020": "Stellen Sie sicher, dass alle Elemente eines Listenliterals denselben Typ haben.",
+                "E021": "Übergeben Sie einen Maybe-/Option-Typ oder verpacken Sie den Wert explizit.",
+                "E022": "Stellen Sie sicher, dass der Kompensationsblock Result<Unit, E> zurückgibt, wobei E der Fehlertyp des Schritts ist.",
+                "E023": "Geben Sie Schritten mit IO-Seiteneffekten einen Kompensationsblock, damit ein Rollback möglich ist.",
+                "E024": "Setzen Sie retry.maxAttempts auf eine positive ganze Zahl.",
+                "E025": "Setzen Sie das Timeout auf einen positiven Wert, damit die Kompensationslogik ausgelöst werden kann.",
+                "E026": "Fügen Sie dem Funktionskopf die Effektdeklaration @io hinzu.",
+                "E027": "Deklarieren Sie {capability} im Funktionskopf oder passen Sie den Code des Schritts an.",
+                "E028": "Kompensationsblöcke dürfen nur Fähigkeiten aus dem Hauptteil des Schritts wiederverwenden.",
+                "E029": "Verweisen Sie nur auf deklarierte Schrittnamen im aktuellen Workflow.",
+                "E030": "Entfernen Sie zyklische Abhängigkeiten oder strukturieren Sie sie um, damit eine topologische Ausführung möglich ist.",
+                "E031": "Machen Sie beide Operanden zu Decimal (Suffix m) oder verwenden Sie Int/Long, die exakt zu Decimal erweitert werden.",
+                "E032": "Passen Sie den Aufruf so an, dass genau die deklarierte Anzahl an Argumenten übergeben wird.",
+                "E070": "Verwenden Sie eine Bereinigungsfunktion oder deklarieren Sie am Ziel eine passende @pii-Stufe.",
+                "E072": "Rufen Sie vor der Ausgabe redact() oder tokenize() auf, um die Sensitivität zu verringern.",
+                "E073": "Prüfen Sie die Funktionssignatur, damit PII-Stufen und -Kategorien übereinstimmen.",
+                "E100": "Verwenden Sie für verschiedene Importe eindeutige Aliase, um Verdeckungen zu vermeiden.",
+                "E101": "Deklarieren und initialisieren Sie die Variable vor der Verwendung.",
+                "E102": "Behalten Sie in einem Modul höchstens eine mit @entry annotierte Regel.",
+                "E103": "Passen Sie den Import-Alias oder den Namen der lokalen Top-Level-Deklaration an, um den Konflikt beim Importsymbol zu vermeiden.",
+                "E104": "Wählen Sie einen anderen Namen oder prüfen Sie auf unbeabsichtigte doppelte Deklarationen.",
+                "E200": "Deklarieren Sie den Effekt @io für Funktionen, die I/O ausführen.",
+                "E201": "Deklarieren Sie den Effekt @cpu oder @io für CPU-intensive Funktionen.",
+                "E202": "Wenn die Funktion nur CPU-Arbeit leistet, entfernen Sie die überflüssige @io-Deklaration.",
+                "E203": "Prüfen Sie, ob @io nötig ist; entfernen Sie es, wenn kein I/O-Verhalten vorliegt.",
+                "E204": "Entfernen Sie die überflüssige @cpu-Deklaration oder ergänzen Sie die entsprechende CPU-Arbeit.",
+                "E205": "Fügen Sie den Effekt @io gemäß den Ableitungsergebnissen hinzu.",
+                "E206": "Fügen Sie den Effekt @cpu oder @io gemäß den Ableitungsergebnissen hinzu.",
+                "E207": "Prüfen Sie, ob die @io-Deklaration beibehalten werden soll.",
+                "E208": "Entfernen Sie die @cpu-Deklaration, wenn keine CPU-Seiteneffekte vorliegen.",
+                "E209": "Behalten Sie nur @io; entfernen Sie das überflüssige @cpu.",
+                "E210": "Fügen Sie den Effekttypparameter der Effektparameterliste der Funktionssignatur hinzu.",
+                "E211": "Geben Sie explizite Effekte an (pure/cpu/io/workflow) oder entfernen Sie ungenutzte Effektvariablen.",
+                "E212": "Deklarieren Sie ihn über ASTER_EFFECT_CONFIG-Präfixe, geben Sie eine importierte Effektsignatur an oder verwenden Sie einen bekannten Stdlib-Namensraum.",
+                "E300": "Aktualisieren Sie das Fähigkeitsmanifest oder passen Sie die Funktion an.",
+                "E301": "Deklarieren Sie die tatsächlich genutzten Fähigkeiten im Funktionskopf.",
+                "E302": "Entfernen Sie ungenutzte Fähigkeitsdeklarationen der Übersichtlichkeit halber.",
+                "E303": "Deklarieren Sie den Effekt @io im Funktionskopf oder entfernen Sie die betreffenden Aufrufe, damit die Funktion rein bleibt.",
+                "E304": "Fügen Sie den Effekt @cpu oder @io hinzu, um die CPU-Fähigkeiten abzudecken.",
+                "E400": "Verwenden Sie einen verschlüsselten Kanal (HTTPS) oder bereinigen Sie PII-Daten vor der Übertragung.",
+                "E401": "Fügen Sie sensiblen Daten eine @pii-Annotation hinzu, damit sie nachverfolgt werden können.",
+                "E402": "Passen Sie die Sensitivitätsstufe der Daten an oder aktualisieren Sie die Prozessanforderungen.",
+                "E403": "Rufen Sie vor der Verarbeitung von PII-Daten checkConsent() auf oder fügen Sie die Annotation @consent_required hinzu.",
+                "E404": "Speichern Sie die Datei und laden Sie sie neu. Bleibt der Fehler bestehen, wenden Sie sich an Ihren Administrator oder melden Sie das Problem mit angehängtem Quellcode.",
+                "E500": "Rufen Sie wait für gestartete asynchrone Aufgaben auf, um ihren Abschluss sicherzustellen.",
+                "E501": "Stellen Sie sicher, dass der Aufgabenname in wait einer gestarteten Aufgabe entspricht.",
+                "E502": "Starten Sie dieselbe Aufgabe nicht mehrfach; verwenden Sie sie wieder oder benennen Sie sie um.",
+                "E503": "Stellen Sie sicher, dass auf jede Aufgabe nur einmal gewartet wird, oder verwenden Sie einen separaten Synchronisationsmechanismus.",
+                "E504": "Führen Sie start vor wait aus und stellen Sie sicher, dass beide auf kompatiblen Kontrollpfaden liegen.",
+                "W071": "Fügen Sie für Stufenänderungen explizite Typannotationen hinzu, um die Prüfung zu erleichtern.",
+                "W074": "Fügen Sie eine @pii-Annotation hinzu, um den Fluss sensibler Daten zu verfolgen.",
+                "W105": "Prüfen Sie die Kombination aus Gesamtwartezeit, maxAttempts und Backoff-Strategie.",
+                "W106": "Prüfen Sie, ob der Timeout-Wert zu groß oder zu klein ist.",
+                "W700": "Fügen Sie @id(\"RULE-001\") hinzu, damit jede Entscheidung auf eine stabile Regelidentität zurückgeführt werden kann.",
+                "E701": "Regel-IDs müssen innerhalb eines Moduls eindeutig sein. Geben Sie jeder Regel eine eigene @id.",
+                "E702": "Schreiben Sie @id(\"RULE-001\"), @reason(\"...\") oder @control(\"EU_AI_ACT:ART14\").",
+                "E703": "Verdict.allow() nimmt keine Argumente; Verdict.deny(reason) und Verdict.escalate(reason) nehmen einen Text; Verdict.require_approval(role, reason) nimmt zwei Text.",
+                "W704": "Verwenden Sie einen registrierten Schlüssel wie EU_AI_ACT:ART14 oder ergänzen Sie ihn in controls/registry.json von aster-lang-locales (Format FRAMEWORK:ARTICLE, höchstens 64 Zeichen).",
+                "E705": "Verwenden Sie ein in controls/registry.json von aster-lang-locales definiertes Profil, etwa governed oder eu-ai-act-high-risk.",
+                "E706": "Erfüllen Sie die Profilanforderung oder entfernen Sie die Profile-Deklaration.",
+                "E707": "Versuchen Sie es später erneut; dies ist ein Dienstfehler, kein Richtlinienverstoß.",
+                "E720": "Exportierbare Regeln benötigen @id, einen Parameter mit den Guard-Anfragefeldern (principal_id, principal_type, principal_roles, action, resource_type, resource_id, context, agent_model) und ein Verdict-Ergebnis.",
+                "E721": "Verwenden Sie Vergleiche, and/or/not, List.contains auf principal_roles und Ganzzahlarithmetik mit Literalen oder belassen Sie diese Regel nur in Aster.",
+                "E722": "Verwenden Sie jeden Kontextschlüssel mit nur einem Typ (Zahl, Text oder Boolean).",
+                "E723": "Dies ist ein Fehler des Exporters; der Export wurde zurückgehalten. Bitte melden Sie ihn.",
+                "E724": "Dies ist ein Fehler des Exporters; der Export wurde zurückgehalten. Bitte melden Sie ihn.",
+                "E800": "Prüfen Sie die Schreibweise, importieren Sie den Typ oder verwenden Sie einen Namen aus dem aktiven Vokabular.",
+                "E801": "Prüfen Sie den Feldnamen anhand der Datentypdeklaration oder des aktiven Vokabulars.",
+                "E802": "Deklarieren oder importieren Sie den Namen, verwenden Sie einen Namen aus dem aktiven Vokabular oder schreiben Sie ein qualifiziertes Enum-Mitglied (z. B. Stufe.Hoch).",
+                "E803": "Prüfen Sie, ob das Muster einen vorhandenen Konstruktor oder Enum-Fall des geprüften Typs benennt.",
+                "E804": "Schreiben Sie einen qualifizierten Namen (z. B. Stufe.Hoch) oder fügen Sie eine Typannotation hinzu.",
+                "E805": "Fügen Sie dem Empfänger (Parameter oder Let) eine Typannotation hinzu, damit das Feld anhand seines deklarierten Typs aufgelöst wird, oder benennen Sie eines der kollidierenden Felder um.",
+                "E806": "Schreiben Sie einen qualifizierten Namen (z. B. Stufe.Hoch) oder fügen Sie eine Typannotation hinzu.",
+                "E807": "Benennen Sie eine der Deklarationen um oder entfernen Sie das Duplikat.",
+                "W800": "Benennen Sie die Deklaration um, falls die Verdeckung unbeabsichtigt ist; die Deklaration hat Vorrang vor dem Vokabulareintrag.",
+                "W801": "Fügen Sie dem Empfänger eine Typannotation hinzu, damit der Name anhand seines Typs geprüft werden kann."
+            }
+        }
+    },
+    'hi-IN': {
+        "diagnosticMessages": {
+            "version": 1,
+            "messages": {
+                "E001": "टाइप बेमेल: अपेक्षित {expected}, मिला {actual}",
+                "E002": "'{name}' को मान देते समय टाइप बेमेल: {expected} बनाम {actual}",
+                "E003": "रिटर्न टाइप बेमेल: अपेक्षित {expected}, मिला {actual}",
+                "E004": "टाइप चर '{name}' का उपयोग '{func}' में हुआ है, पर यह उसके टाइप पैरामीटरों में घोषित नहीं है।",
+                "E005": "'{func}' का टाइप पैरामीटर '{name}' घोषित है, पर उपयोग नहीं हुआ।",
+                "E006": "टाइप चर जैसा नाम '{name}' '{func}' में उपयोग हुआ है पर घोषित नहीं है; इसे 'of {name}' से घोषित करें।",
+                "E007": "टाइप चर '{name}' का अनुमान असंगत है: {previous} बनाम {actual}",
+                "E008": "यदि शाखाओं के टाइप बेमेल: तो {thenType} बनाम अन्यथा {elseType}",
+                "E009": "मिलान की शाखाओं के रिटर्न टाइप अलग हैं: {expected} बनाम {actual}",
+                "E010": "पूर्णांक पैटर्न ऐसे मिलान मान पर उपयोग हुआ जो Int नहीं है ({scrutineeType})",
+                "E011": "{type} के लिए अज्ञात फ़ील्ड '{field}'",
+                "E012": "फ़ील्ड '{field}' को {expected} अपेक्षित है, मिला {actual}",
+                "E013": "{type} के निर्माण में आवश्यक फ़ील्ड '{field}' नहीं है",
+                "E014": "not(...) को 1 तर्क चाहिए",
+                "E015": "await को Maybe<T> या Result<T,E> चाहिए, मिला {type}",
+                "E016": "{type} पर मिलान में एनम केस '{case}' दोहराया गया है।",
+                "E017": "Maybe टाइप पर मिलान अधूरा है; {missing} केस नहीं है।",
+                "E018": "{type} पर मिलान अधूरा है; अनुपस्थित: {missing}",
+                "E019": "इंटरऑप कॉल '{target}' अस्पष्ट है: संख्यात्मक टाइप मिश्रित हैं (Int={hasInt}, Long={hasLong}, Double={hasDouble})। ओवरलोड चयन अप्रत्यक्ष रूप से चौड़ा या box कर सकता है।",
+                "E020": "सूची लिटरल के तत्व का टाइप बेमेल: अपेक्षित {expected}, मिला {actual}",
+                "E021": "यहाँ वैकल्पिक मान आवश्यक है: Maybe या Option अपेक्षित, मिला {actual}",
+                "E022": "चरण '{step}' के क्षतिपूर्ति ब्लॉक को Result<Unit, {expectedErr}> लौटाना चाहिए, मिला {actual}",
+                "E023": "चरण '{step}' साइड इफ़ेक्ट करता है पर क्षतिपूर्ति ब्लॉक परिभाषित नहीं करता।",
+                "E024": "कार्यप्रवाह के अधिकतम पुनःप्रयास शून्य से अधिक होने चाहिए (वास्तविक: {maxAttempts})।",
+                "E025": "कार्यप्रवाह समय समाप्ति शून्य मिलीसेकंड से अधिक होना चाहिए (वास्तविक: {milliseconds})।",
+                "E026": "कार्यप्रवाह '{func}' को 'कार्यप्रवाह' ब्लॉक उपयोग करने से पहले @io प्रभाव घोषित करना होगा।",
+                "E027": "कार्यप्रवाह '{func}' का चरण '{step}' क्षमता {capability} का उपयोग करता है जो फ़ंक्शन हेडर में घोषित नहीं है।",
+                "E028": "फ़ंक्शन '{func}' में चरण '{step}' का क्षतिपूर्ति ब्लॉक नई क्षमता {capability} लाता है जो चरण के मुख्य भाग में नहीं है।",
+                "E029": "कार्यप्रवाह चरण '{step}' अपरिभाषित चरण '{dependency}' पर निर्भर है।",
+                "E030": "कार्यप्रवाह में चरणों की चक्रीय निर्भरता है: {cycle}",
+                "E031": "'{operator}' में Decimal और Double को मिलाया नहीं जा सकता। Double बाइनरी फ़्लोटिंग-पॉइंट है और सटीक Decimal में पूर्णांकन त्रुटि लाएगा। दोनों ओर Decimal लिटरल (जैसे 1.08m) या Int/Long (सटीक प्रोन्नति) उपयोग करें।",
+                "E032": "फ़ंक्शन '{func}' को {expected} तर्क चाहिए, मिले {actual}।",
+                "E070": "PII डेटा को निचले स्तर के लक्ष्य को नहीं सौंपा जा सकता: {source} -> {target}",
+                "E072": "स्तर {level} का PII डेटा बिना शोधन के {sinkKind} को आउटपुट हुआ",
+                "E073": "PII तर्क टाइप बेमेल: अपेक्षित {expected}, मिला {actual}",
+                "E100": "आयात उपनाम '{alias}' दोहराया गया है।",
+                "E101": "अपरिभाषित चर: {name}",
+                "E102": "मॉड्यूल में कई @entry नियम हैं: {rules}",
+                "E103": "आयात प्रतीक टकराव: {symbol}",
+                "E104": "प्रतीक '{name}' इस दायरे में पहले से परिभाषित है।",
+                "E200": "फ़ंक्शन '{func}' I/O कर सकता है, पर @io प्रभाव नहीं है।",
+                "E201": "फ़ंक्शन '{func}' CPU-गहन कार्य कर सकता है, पर @cpu (या @io) प्रभाव नहीं है।",
+                "E202": "फ़ंक्शन '{func}' @io घोषित करता है पर केवल CPU जैसा कार्य मिला; @io में @cpu शामिल है और यह अनावश्यक हो सकता है।",
+                "E203": "फ़ंक्शन '{func}' @io घोषित करता है पर कोई स्पष्ट I/O नहीं मिला।",
+                "E204": "फ़ंक्शन '{func}' @cpu घोषित करता है पर कोई स्पष्ट CPU-गहन कार्य नहीं मिला।",
+                "E205": "फ़ंक्शन '{func}' में @io प्रभाव घोषणा नहीं है, अनुमान के अनुसार IO आवश्यक है।",
+                "E206": "फ़ंक्शन '{func}' में @cpu प्रभाव घोषणा नहीं है, अनुमान के अनुसार CPU (या @io) आवश्यक है।",
+                "E207": "फ़ंक्शन '{func}' @io घोषित करता है पर कोई IO साइड इफ़ेक्ट अनुमानित नहीं हुआ।",
+                "E208": "फ़ंक्शन '{func}' @cpu घोषित करता है पर कोई CPU साइड इफ़ेक्ट अनुमानित नहीं हुआ।",
+                "E209": "फ़ंक्शन '{func}' @cpu और @io दोनों घोषित करता है; @io आवश्यक होने से @cpu अनावश्यक है।",
+                "E210": "प्रभाव चर {var} घोषित नहीं है",
+                "E211": "प्रभाव चर {vars} को ठोस प्रभावों में हल नहीं किया जा सका",
+                "E212": "'{func}' द्वारा बुलाए गए अंतर्निर्मित '{builtin}' का प्रभाव अज्ञात है; इसे शुद्ध नहीं माना जाता",
+                "E300": "फ़ंक्शन '{func}' को {cap} क्षमता चाहिए पर मॉड्यूल '{module}' का मैनिफ़ेस्ट इसे अस्वीकार करता है।",
+                "E301": "फ़ंक्शन '{func}' {cap} क्षमता उपयोग करता है पर हेडर [{declared}] घोषित करता है।",
+                "E302": "फ़ंक्शन '{func}' {cap} क्षमता घोषित करता है पर उसका उपयोग नहीं करता।",
+                "E303": "फ़ंक्शन '{func}' IO क्षमताएँ [{capabilities}] उपयोग करता है पर @io प्रभाव नहीं है (उदा. {calls})।",
+                "E304": "फ़ंक्शन '{func}' CPU क्षमता कॉल करता है (उदा. {calls}) पर न @cpu न @io प्रभाव घोषित करता है।",
+                "E400": "PII डेटा बिना एन्क्रिप्शन के HTTP पर भेजा गया",
+                "E401": "'{sink}' में जाने वाले मान पर PII एनोटेशन नहीं है",
+                "E402": "PII संवेदनशीलता बेमेल: आवश्यक {required}, मिला {actual}",
+                "E403": "फ़ंक्शन '{func}' सहमति जाँच के बिना PII डेटा संसाधित करता है (GDPR अनु. 6)",
+                "E404": "इस मॉड्यूल का PII सुरक्षा विश्लेषण विफल रहा — संपादक यह सत्यापित नहीं कर सकता कि संवेदनशील डेटा सही ढंग से संभाला गया है। विश्लेषण सफल होने तक इस नीति को परिनियोजित न करें। आंतरिक कारण: {reason}",
+                "E500": "शुरू किए गए async कार्य '{task}' की प्रतीक्षा नहीं की गई",
+                "E501": "async कार्य '{task}' की प्रतीक्षा हो रही है जो कभी शुरू नहीं हुआ",
+                "E502": "async कार्य '{task}' कई बार शुरू हुआ ({count} बार)",
+                "E503": "async कार्य '{task}' की कई बार प्रतीक्षा हुई ({count} बार)",
+                "E504": "async कार्य '{task}' की प्रतीक्षा किसी मेल खाते आरंभ से पहले होती है",
+                "W071": "PII स्तर में अप्रत्यक्ष वृद्धि मिली: {source} -> {target}",
+                "W074": "PII डेटा बिना एनोटेशन के {sinkKind} तक जा सकता है",
+                "W105": "कार्यप्रवाह पुनः प्रयास कॉन्फ़िगरेशन अनुचित हो सकता है: {reason}",
+                "W106": "कार्यप्रवाह समय समाप्ति कॉन्फ़िगरेशन अनुचित हो सकता है: {reason}",
+                "W700": "नियम '{rule}' Verdict लौटाता है पर उसमें @id एनोटेशन नहीं है",
+                "E701": "नियमों पर दोहराया गया नियम @id '{id}': {rules}",
+                "E702": "नियम '{rule}' पर एनोटेशन @{annotation} को ठीक एक स्ट्रिंग लिटरल तर्क चाहिए",
+                "E703": "{func} को {expected} तर्क चाहिए, मिले {actual}",
+                "W704": "नियम '{rule}' पर नियंत्रण '{control}' पंजीकृत नहीं है (नियंत्रण रजिस्ट्री {version})",
+                "E705": "मॉड्यूल '{module}' अज्ञात प्रोफ़ाइल '{profile}' घोषित करता है (नियंत्रण रजिस्ट्री {version})",
+                "E706": "नियम '{rule}' प्रोफ़ाइल '{profile}' का उल्लंघन करता है: {requirement}",
+                "E707": "मॉड्यूल '{module}' (प्रोफ़ाइल '{profile}') की गवर्नेंस जाँच नहीं चल सकी; सफल होने तक सहेजना अवरुद्ध है",
+                "E720": "नियम '{rule}' को Cedar में निर्यात नहीं किया जा सकता: {reason}",
+                "E721": "नियम '{rule}' {construct} का उपयोग करता है, जिसका कोई Cedar अनुवाद नहीं है",
+                "E722": "नियम '{rule}' में संदर्भ कुंजी '{key}' का उपयोग {first} और {second} दोनों रूपों में हुआ है",
+                "E723": "नियम '{rule}' का Cedar निर्यात प्रोब {probe} पर Aster से असहमत है: Aster {aster}, Cedar {cedar}",
+                "E724": "नियम '{rule}' के लिए बना Cedar स्कीमा सत्यापन में विफल रहा: {detail}",
+                "E800": "{role} स्थान पर टाइप '{written}' हल नहीं हो सका",
+                "E801": "{role} स्थान पर फ़ील्ड '{written}' हल नहीं हो सका",
+                "E802": "{role} स्थान पर नाम '{written}' हल नहीं हो सका",
+                "E803": "{role} स्थान पर पैटर्न '{written}' हल नहीं हो सका",
+                "E804": "{role} स्थान पर नाम '{written}' अस्पष्ट है, विकल्प: {candidates}",
+                "E805": "{role} स्थान पर फ़ील्ड '{written}' अस्पष्ट है, विकल्प: {candidates}",
+                "E806": "{role} स्थान पर पैटर्न '{written}' अस्पष्ट है, विकल्प: {candidates}",
+                "E807": "{role} स्थान पर '{written}' की दोहरी घोषणा",
+                "W800": "{role} स्थान पर घोषणा '{written}' एक शब्दावली प्रविष्टि को ढक देती है",
+                "W801": "{role} स्थान पर '{written}' ज्ञात रिसीवर टाइप के बिना हल हुआ"
+            }
+        },
+        "diagnosticHelp": {
+            "version": 1,
+            "help": {
+                "E001": "जाँचें कि टाइप एनोटेशन अभिव्यक्ति के अनुमानित टाइप से मेल खाता है।",
+                "E002": "सुनिश्चित करें कि चर की पिछली बाइंडिंग का टाइप वर्तमान असाइनमेंट से मेल खाता है।",
+                "E003": "जाँचें कि रिटर्न कथन घोषित रिटर्न टाइप से मेल खाता है।",
+                "E004": "उपयोग किए गए टाइप चरों को फ़ंक्शन हस्ताक्षर के 'of' खंड में घोषित करें।",
+                "E005": "भ्रम से बचने के लिए अप्रयुक्त टाइप पैरामीटर हटाएँ।",
+                "E006": "जो नाम टाइप चर जैसे दिखते हैं, उन्हें 'of' खंड में घोषित करें।",
+                "E007": "सुनिश्चित करें कि टाइप चर के सभी उपयोग स्थान एक ही ठोस टाइप देते हैं।",
+                "E008": "सुनिश्चित करें कि यदि अभिव्यक्ति की दोनों शाखाएँ एक ही टाइप लौटाती हैं।",
+                "E009": "जाँचें कि सभी मिलान शाखाएँ एक ही टाइप लौटाती हैं।",
+                "E010": "पूर्णांक पैटर्न केवल Int टाइप की मिलान अभिव्यक्तियों में उपयोग करें।",
+                "E011": "जाँचें कि डेटा टाइप के लिए फ़ील्ड नाम सही है।",
+                "E012": "सत्यापित करें कि फ़ील्ड की प्रारंभिक अभिव्यक्ति घोषित टाइप से मेल खाती है।",
+                "E013": "डेटा टाइप में घोषित सभी आवश्यक फ़ील्ड दें।",
+                "E014": "not() कॉल में ठीक 1 तर्क दें।",
+                "E015": "await केवल Maybe या Result टाइपों पर उपयोग करें।",
+                "E016": "मिलान को संक्षिप्त रखने के लिए दोहराई गई एनम शाखाएँ हटाएँ।",
+                "E017": "Maybe मिलान के लिए null और गैर-null दोनों शाखाएँ जोड़ें।",
+                "E018": "सभी अनकवर एनम शाखाएँ जोड़ें, या वाइल्डकार्ड जोड़ें।",
+                "E019": "अप्रत्यक्ष boxing और चौड़ीकरण से बचने के लिए इंटरऑप कॉल में संख्यात्मक तर्क टाइप एक जैसे रखें।",
+                "E020": "सुनिश्चित करें कि सूची लिटरल के सभी तत्वों का टाइप एक ही है।",
+                "E021": "Maybe/Option टाइप दें या मान को स्पष्ट रूप से लपेटें।",
+                "E022": "सुनिश्चित करें कि क्षतिपूर्ति ब्लॉक Result<Unit, E> लौटाए, जहाँ E चरण का त्रुटि टाइप है।",
+                "E023": "IO साइड इफ़ेक्ट वाले चरणों के लिए क्षतिपूर्ति ब्लॉक दें ताकि रोलबैक हो सके।",
+                "E024": "retry.maxAttempts को धनात्मक पूर्णांक पर सेट करें।",
+                "E025": "समय समाप्ति को धनात्मक मान पर सेट करें ताकि क्षतिपूर्ति तर्क चालू हो सके।",
+                "E026": "फ़ंक्शन हेडर में @io प्रभाव घोषणा जोड़ें।",
+                "E027": "फ़ंक्शन हेडर में {capability} घोषित करें या चरण का कोड बदलें।",
+                "E028": "क्षतिपूर्ति ब्लॉक केवल चरण के मुख्य भाग की क्षमताएँ दोबारा उपयोग कर सकते हैं।",
+                "E029": "वर्तमान कार्यप्रवाह में केवल घोषित चरण नामों का संदर्भ दें।",
+                "E030": "टोपोलॉजिकल निष्पादन के लिए चक्रीय निर्भरताएँ हटाएँ या पुनर्गठित करें।",
+                "E031": "दोनों ऑपरेंड Decimal (प्रत्यय m) बनाएँ, या Int/Long उपयोग करें जो सटीक रूप से Decimal में प्रोन्नत होते हैं।",
+                "E032": "कॉल में ठीक उतने तर्क दें जितने घोषित हैं।",
+                "E070": "शोधन फ़ंक्शन उपयोग करें या लक्ष्य पर मेल खाता @pii स्तर घोषित करें।",
+                "E072": "संवेदनशीलता घटाने के लिए आउटपुट से पहले redact() या tokenize() कॉल करें।",
+                "E073": "फ़ंक्शन हस्ताक्षर जाँचें ताकि PII स्तर और श्रेणियाँ मेल खाएँ।",
+                "E100": "छाया से बचने के लिए अलग-अलग आयातों के लिए अद्वितीय उपनाम उपयोग करें।",
+                "E101": "उपयोग से पहले चर घोषित और प्रारंभ करें।",
+                "E102": "एक मॉड्यूल में @entry से एनोटेट अधिकतम एक नियम रखें।",
+                "E103": "आयात प्रतीक टकराव से बचने के लिए आयात उपनाम या स्थानीय शीर्ष-स्तरीय घोषणा का नाम बदलें।",
+                "E104": "दूसरा नाम चुनें या अनचाही दोहरी घोषणाओं की जाँच करें।",
+                "E200": "I/O करने वाले फ़ंक्शनों के लिए @io प्रभाव घोषित करें।",
+                "E201": "CPU-गहन फ़ंक्शनों के लिए @cpu या @io प्रभाव घोषित करें।",
+                "E202": "यदि फ़ंक्शन केवल CPU कार्य करता है, तो अनावश्यक @io घोषणा हटाने पर विचार करें।",
+                "E203": "पुष्टि करें कि @io आवश्यक है; I/O व्यवहार न हो तो हटाएँ।",
+                "E204": "अनावश्यक @cpu घोषणा हटाएँ या संबंधित CPU कार्य जोड़ें।",
+                "E205": "अनुमान परिणामों के आधार पर @io प्रभाव जोड़ें।",
+                "E206": "अनुमान परिणामों के आधार पर @cpu या @io प्रभाव जोड़ें।",
+                "E207": "पुष्टि करें कि @io घोषणा रखनी है या नहीं।",
+                "E208": "यदि CPU साइड इफ़ेक्ट नहीं हैं तो @cpu घोषणा हटाएँ।",
+                "E209": "केवल @io रखें; अनावश्यक @cpu हटाएँ।",
+                "E210": "फ़ंक्शन हस्ताक्षर की प्रभाव पैरामीटर सूची में प्रभाव टाइप पैरामीटर जोड़ें।",
+                "E211": "स्पष्ट प्रभाव (pure/cpu/io/workflow) दें या अप्रयुक्त प्रभाव चर हटाएँ।",
+                "E212": "इसे ASTER_EFFECT_CONFIG उपसर्गों से घोषित करें, आयातित प्रभाव हस्ताक्षर दें, या ज्ञात stdlib नामस्थान उपयोग करें।",
+                "E300": "क्षमता मैनिफ़ेस्ट अपडेट करें या फ़ंक्शन को अनुपालन हेतु बदलें।",
+                "E301": "वास्तव में उपयोग की गई क्षमताएँ फ़ंक्शन हेडर में घोषित करें।",
+                "E302": "स्पष्टता के लिए अप्रयुक्त क्षमता घोषणाएँ हटाएँ।",
+                "E303": "फ़ंक्शन हेडर में @io प्रभाव घोषित करें, या शुद्ध रहने के लिए संबंधित कॉल हटाएँ।",
+                "E304": "CPU क्षमताओं को कवर करने के लिए @cpu या @io प्रभाव जोड़ें।",
+                "E400": "एन्क्रिप्टेड चैनल (HTTPS) उपयोग करें या PII डेटा भेजने से पहले शोधित करें।",
+                "E401": "ट्रैकिंग के लिए संवेदनशील डेटा पर @pii एनोटेशन जोड़ें।",
+                "E402": "डेटा का संवेदनशीलता स्तर समायोजित करें या प्रक्रिया आवश्यकताएँ अपडेट करें।",
+                "E403": "PII डेटा संसाधित करने से पहले checkConsent() कॉल करें या @consent_required एनोटेशन जोड़ें।",
+                "E404": "फ़ाइल सहेजकर फिर से लोड करें। त्रुटि बनी रहे तो अपने व्यवस्थापक से संपर्क करें या स्रोत कोड संलग्न करके यह समस्या रिपोर्ट करें।",
+                "E500": "पूर्णता सुनिश्चित करने के लिए शुरू किए गए async कार्यों का इंतजार करें।",
+                "E501": "सुनिश्चित करें कि इंतजार में कार्य का नाम किसी शुरू किए गए कार्य से मेल खाता है।",
+                "E502": "एक ही कार्य को कई बार शुरू न करें; उसे दोबारा उपयोग करें या नाम बदलें।",
+                "E503": "सुनिश्चित करें कि हर कार्य की प्रतीक्षा केवल एक बार हो, या अलग समकालिकता तंत्र उपयोग करें।",
+                "E504": "इंतजार से पहले आरंभ चलाएँ, और सुनिश्चित करें कि दोनों संगत नियंत्रण पथों पर हों।",
+                "W071": "ऑडिट में सहायता के लिए स्तर परिवर्तनों पर स्पष्ट टाइप एनोटेशन जोड़ें।",
+                "W074": "संवेदनशील डेटा प्रवाह ट्रैक करने के लिए @pii एनोटेशन जोड़ें।",
+                "W105": "कुल प्रतीक्षा समय, maxAttempts और backoff रणनीति का संयोजन जाँचें।",
+                "W106": "जाँचें कि समय समाप्ति मान बहुत बड़ा या बहुत छोटा तो नहीं है।",
+                "W700": "@id(\"RULE-001\") जोड़ें ताकि हर निर्णय एक स्थिर नियम पहचान तक ट्रेस हो सके।",
+                "E701": "मॉड्यूल में नियम id अद्वितीय होने चाहिए। हर नियम को अपना @id दें।",
+                "E702": "@id(\"RULE-001\"), @reason(\"...\") या @control(\"EU_AI_ACT:ART14\") लिखें।",
+                "E703": "Verdict.allow() कोई तर्क नहीं लेता; Verdict.deny(reason) और Verdict.escalate(reason) एक Text लेते हैं; Verdict.require_approval(role, reason) दो Text लेता है।",
+                "W704": "EU_AI_ACT:ART14 जैसी पंजीकृत कुंजी उपयोग करें, या इसे aster-lang-locales की controls/registry.json में जोड़ें (प्रारूप FRAMEWORK:ARTICLE, अधिकतम 64 वर्ण)।",
+                "E705": "aster-lang-locales की controls/registry.json में परिभाषित प्रोफ़ाइल उपयोग करें, जैसे governed या eu-ai-act-high-risk।",
+                "E706": "प्रोफ़ाइल की आवश्यकता पूरी करें या Profile घोषणा हटाएँ।",
+                "E707": "बाद में पुनः प्रयास करें; यह सेवा दोष है, नीति उल्लंघन नहीं।",
+                "E720": "निर्यात योग्य नियमों को @id, गार्ड अनुरोध फ़ील्ड (principal_id, principal_type, principal_roles, action, resource_type, resource_id, context, agent_model) वाला एक पैरामीटर और Verdict परिणाम चाहिए।",
+                "E721": "तुलना, and/or/not, principal_roles पर List.contains और लिटरल के साथ पूर्णांक अंकगणित उपयोग करें, या इस नियम को केवल Aster में रखें।",
+                "E722": "हर संदर्भ कुंजी को एक ही टाइप (संख्या, पाठ या बूलियन) के साथ उपयोग करें।",
+                "E723": "यह निर्यातक का दोष है; निर्यात रोक दिया गया। कृपया इसकी रिपोर्ट करें।",
+                "E724": "यह निर्यातक का दोष है; निर्यात रोक दिया गया। कृपया इसकी रिपोर्ट करें।",
+                "E800": "वर्तनी जाँचें, टाइप आयात करें, या सक्रिय शब्दावली का नाम उपयोग करें।",
+                "E801": "फ़ील्ड नाम को डेटा टाइप घोषणा या सक्रिय शब्दावली से मिलाएँ।",
+                "E802": "नाम घोषित या आयात करें, सक्रिय शब्दावली का नाम उपयोग करें, या योग्य एनम सदस्य लिखें (जैसे Stufe.Hoch)।",
+                "E803": "जाँचें कि पैटर्न मिलान किए गए टाइप के किसी मौजूदा कंस्ट्रक्टर या एनम केस का नाम है।",
+                "E804": "योग्य नाम लिखें (जैसे Stufe.Hoch) या टाइप एनोटेशन जोड़ें।",
+                "E805": "रिसीवर (पैरामीटर या Let) पर टाइप एनोटेशन जोड़ें ताकि फ़ील्ड उसके घोषित टाइप से हल हो, या टकराने वाले फ़ील्डों में से एक का नाम बदलें।",
+                "E806": "योग्य नाम लिखें (जैसे Stufe.Hoch) या टाइप एनोटेशन जोड़ें।",
+                "E807": "घोषणाओं में से एक का नाम बदलें या दोहराव हटाएँ।",
+                "W800": "यदि ढकना अनचाहा है तो घोषणा का नाम बदलें; घोषणा को शब्दावली प्रविष्टि पर वरीयता मिलती है।",
+                "W801": "रिसीवर पर टाइप एनोटेशन जोड़ें ताकि नाम को उसके टाइप से जाँचा जा सके।"
+            }
+        }
+    },
+    'zh-CN': {
+        "diagnosticMessages": {
+            "version": 1,
+            "messages": {
+                "E001": "类型不匹配：期望 {expected}，实际 {actual}",
+                "E002": "给 '{name}' 赋值时类型不匹配：{expected} vs {actual}",
+                "E003": "返回类型不匹配：期望 {expected}，实际 {actual}",
+                "E004": "类型变量 '{name}' 在 '{func}' 中被使用，但未在其类型参数中声明。",
+                "E005": "'{func}' 的类型参数 '{name}' 已声明但未使用。",
+                "E006": "疑似类型变量 '{name}' 在 '{func}' 中被使用但未声明；请用 'of {name}' 声明。",
+                "E007": "类型变量 '{name}' 的推断结果不一致：{previous} vs {actual}",
+                "E008": "If分支返回类型不一致: then分支 {thenType} vs else分支 {elseType}",
+                "E009": "match 各分支的返回类型不同：{expected} vs {actual}",
+                "E010": "整数模式用于非 Int 的匹配对象（{scrutineeType}）",
+                "E011": "{type} 没有字段 '{field}'",
+                "E012": "字段 '{field}' 期望 {expected}，实际 {actual}",
+                "E013": "构造 {type} 缺少必需字段 '{field}'",
+                "E014": "not(...) 需要 1 个参数",
+                "E015": "await 需要 Maybe<T> 或 Result<T,E>，实际为 {type}",
+                "E016": "对 {type} 的 match 中枚举分支 '{case}' 重复。",
+                "E017": "对 Maybe 类型的 match 不完整；缺少 {missing} 分支。",
+                "E018": "对 {type} 的 match 不完整；缺少：{missing}",
+                "E019": "互操作调用 '{target}' 存在歧义：混用了数值类型（Int={hasInt}，Long={hasLong}，Double={hasDouble}），重载解析可能隐式拓宽或装箱。",
+                "E020": "列表字面量元素类型不匹配：期望 {expected}，实际 {actual}",
+                "E021": "此处需要可选值：期望 Maybe 或 Option，实际为 {actual}",
+                "E022": "步骤 '{step}' 的补偿块必须返回 Result<Unit, {expectedErr}>，实际为 {actual}",
+                "E023": "步骤 '{step}' 有副作用，但没有定义补偿块。",
+                "E024": "Workflow 的最大重试次数必须大于零（实际：{maxAttempts}）。",
+                "E025": "Workflow 超时必须大于零毫秒（实际：{milliseconds}）。",
+                "E026": "Workflow '{func}' 使用 'workflow' 块前必须声明 @io 效果。",
+                "E027": "Workflow '{func}' 的步骤 '{step}' 使用了函数头未声明的能力 {capability}。",
+                "E028": "函数 '{func}' 中步骤 '{step}' 的补偿块引入了步骤主体中没有的新能力 {capability}。",
+                "E029": "Workflow 步骤 '{step}' 依赖未定义的步骤 '{dependency}'。",
+                "E030": "Workflow 存在循环的步骤依赖：{cycle}",
+                "E031": "'{operator}' 中不能混用 Decimal 与 Double。Double 是二进制浮点数，会给精确的 Decimal 引入舍入误差。请两侧都使用 Decimal 字面量（如 1.08m），或使用可精确提升的 Int/Long。",
+                "E032": "函数 '{func}' 需要 {expected} 个参数，实际传入 {actual} 个。",
+                "E070": "禁止将 PII 数据赋给较低等级目标: {source} -> {target}",
+                "E072": "PII 等级 {level} 数据未脱敏即输出到 {sinkKind}",
+                "E073": "PII 参数类型不匹配: 期望 {expected}, 实际 {actual}",
+                "E100": "导入别名 '{alias}' 重复。",
+                "E101": "未定义的变量：{name}",
+                "E102": "模块中存在多个 @entry Rule: {rules}",
+                "E103": "导入符号冲突: {symbol}",
+                "E104": "符号 '{name}' 在当前作用域中已定义。",
+                "E200": "函数 '{func}' 可能执行 I/O，但缺少 @io 效果。",
+                "E201": "函数 '{func}' 可能执行 CPU 密集型工作，但缺少 @cpu（或 @io）效果。",
+                "E202": "函数 '{func}' 声明了 @io，但只发现类 CPU 工作；@io 已涵盖 @cpu，可能没有必要。",
+                "E203": "函数 '{func}' 声明了 @io，但未发现明显的 I/O。",
+                "E204": "函数 '{func}' 声明了 @cpu，但未发现明显的 CPU 密集型工作。",
+                "E205": "函数 '{func}' 缺少 @io 效果声明，推断要求 IO。",
+                "E206": "函数 '{func}' 缺少 @cpu 效果声明，推断要求 CPU（或 @io）。",
+                "E207": "函数 '{func}' 声明了 @io，但推断未发现 IO 副作用。",
+                "E208": "函数 '{func}' 声明了 @cpu，但推断未发现 CPU 副作用。",
+                "E209": "函数 '{func}' 同时声明 @cpu 和 @io；由于需要 @io，@cpu 可移除。",
+                "E210": "效应变量 {var} 未声明",
+                "E211": "效应变量 {vars} 无法推断出具体效果",
+                "E212": "'{func}' 调用的内置函数 '{builtin}' 效果未知；不会假定其为纯函数",
+                "E300": "函数 '{func}' 需要 {cap} 能力，但模块 '{module}' 的能力清单禁止该能力。",
+                "E301": "函数 '{func}' 使用了 {cap} 能力，但函数头声明的是 [{declared}]。",
+                "E302": "函数 '{func}' 声明了 {cap} 能力，但并未使用。",
+                "E303": "函数 '{func}' 使用了 IO 能力 [{capabilities}]，但缺少 @io 效果（例如 {calls}）。",
+                "E304": "函数 '{func}' 调用了 CPU 能力（例如 {calls}），但既未声明 @cpu 也未声明 @io 效果。",
+                "E400": "PII 数据经未加密的 HTTP 传输",
+                "E401": "流入 '{sink}' 的值缺少 PII 注解",
+                "E402": "PII 敏感级别不匹配：要求 {required}，实际 {actual}",
+                "E403": "函数 '{func}' 未经同意检查即处理 PII 数据（GDPR 第 6 条）",
+                "E404": "本模块的 PII 安全分析失败——编辑器无法确认敏感数据是否被正确处理。分析成功前不应部署此策略。内部原因：{reason}",
+                "E500": "已启动的异步任务 '{task}' 未被等待",
+                "E501": "等待的异步任务 '{task}' 从未启动",
+                "E502": "异步任务 '{task}' 被多次启动（{count} 次）",
+                "E503": "异步任务 '{task}' 被多次等待（{count} 次）",
+                "E504": "对异步任务 '{task}' 的等待出现在任何对应的启动之前",
+                "W071": "检测到隐式 PII 等级提升: {source} -> {target}",
+                "W074": "可能有 PII 数据流向 {sinkKind} 但缺少注解",
+                "W105": "Workflow retry 配置可能不合理: {reason}",
+                "W106": "Workflow timeout 配置可能不合理: {reason}",
+                "W700": "规则 '{rule}' 返回 Verdict，但没有 @id 注解",
+                "E701": "规则 @id '{id}' 重复，涉及规则：{rules}",
+                "E702": "规则 '{rule}' 上的注解 @{annotation} 只接受一个字符串字面量参数",
+                "E703": "{func} 需要 {expected} 个参数，实际传入 {actual} 个",
+                "W704": "规则 '{rule}' 上的控制点 '{control}' 未登记（控制注册表 {version}）",
+                "E705": "模块 '{module}' 声明了未知的档案 '{profile}'（控制注册表 {version}）",
+                "E706": "规则 '{rule}' 违反档案 '{profile}'：{requirement}",
+                "E707": "无法对模块 '{module}' 执行治理检查（档案 '{profile}'）；检查成功前禁止保存",
+                "E720": "规则 '{rule}' 无法导出为 Cedar：{reason}",
+                "E721": "规则 '{rule}' 使用了 {construct}，它没有对应的 Cedar 翻译",
+                "E722": "规则 '{rule}' 中的上下文键 '{key}' 同时被当作 {first} 和 {second} 使用",
+                "E723": "规则 '{rule}' 的 Cedar 导出在探针 {probe} 上与 Aster 结果不一致：Aster {aster}，Cedar {cedar}",
+                "E724": "为规则 '{rule}' 生成的 Cedar 未通过 schema 校验：{detail}",
+                "E800": "无法在 {role} 位置解析类型 '{written}'",
+                "E801": "无法在 {role} 位置解析字段 '{written}'",
+                "E802": "无法在 {role} 位置解析名称 '{written}'",
+                "E803": "无法在 {role} 位置解析模式 '{written}'",
+                "E804": "{role} 位置的名称 '{written}' 存在歧义，候选: {candidates}",
+                "E805": "{role} 位置的字段 '{written}' 存在歧义，候选: {candidates}",
+                "E806": "{role} 位置的模式 '{written}' 存在歧义，候选: {candidates}",
+                "E807": "在 {role} 位置重复声明 '{written}'",
+                "W800": "{role} 位置的声明 '{written}' 遮蔽了词汇表条目",
+                "W801": "在 {role} 位置解析 '{written}' 时接收者类型未知"
+            }
+        },
+        "diagnosticHelp": {
+            "version": 1,
+            "help": {
+                "E001": "检查类型标注与表达式的推断结果是否一致。",
+                "E002": "确认变量先前绑定的类型与当前赋值结果一致。",
+                "E003": "检查函数返回语句与声明的返回类型是否一致。",
+                "E004": "在函数签名的 of 子句中显式声明使用到的类型变量。",
+                "E005": "移除未使用的类型参数，避免造成误导。",
+                "E006": "对于看起来像类型变量的名称，务必在 of 子句中声明。",
+                "E007": "确认类型推断的多个使用点产出相同的具体类型。",
+                "E008": "确保 if 两个分支返回类型保持一致。",
+                "E009": "检查 match 每个分支的返回类型是否统一。",
+                "E010": "仅在 Int 类型的匹配表达式中使用整数模式。",
+                "E011": "检查构造体或数据类型的字段名称是否正确。",
+                "E012": "校验字段初始化表达式的类型是否匹配声明。",
+                "E013": "为数据构造提供声明中的所有必需字段。",
+                "E014": "调整 not 调用的参数数量为 1。",
+                "E015": "仅对 Maybe 或 Result 类型调用 await。",
+                "E016": "移除重复的枚举分支，保持匹配语句简洁。",
+                "E017": "为 Maybe 匹配补齐 null 与非 null 分支。",
+                "E018": "补充所有未覆盖的枚举分支，或添加通配符。",
+                "E019": "统一互操作调用的参数数值类型，避免隐式装箱与拓宽。",
+                "E020": "确保列表字面量中的所有元素类型一致。",
+                "E021": "传入 Maybe/Option 类型或显式包装值。",
+                "E022": "确保补偿块返回 Result<Unit, E>，其中 E 为 step 错误类型。",
+                "E023": "为包含 IO 副作用的 step 提供 compensate 块以便回滚。",
+                "E024": "设置 retry.maxAttempts 为正整数。",
+                "E025": "将 timeout 设置为正值，确保补偿逻辑可被触发。",
+                "E026": "在函数头部添加 @io 效果声明，否则编译器拒绝 workflow 语句。",
+                "E027": "在函数头部声明 {capability}，或调整该步骤的代码。",
+                "E028": "Compensate 只能重复主体已使用的能力。",
+                "E029": "仅引用当前 workflow 中已声明的步骤名称，或修正依赖拼写。",
+                "E030": "移除或重构循环依赖，确保步骤可拓扑排序执行。",
+                "E031": "让两个操作数都是 Decimal（后缀 m），或使用可精确提升为 Decimal 的 Int/Long。",
+                "E032": "调整调用，传入与声明数量相同的参数。",
+                "E070": "使用脱敏函数或为目标变量声明匹配的 @pii 等级。",
+                "E072": "在输出前调用 redact() 或 tokenize() 以降低敏感度。",
+                "E073": "检查函数签名，确保 PII 等级与类别一致。",
+                "E100": "为不同的导入使用唯一别名，避免覆盖。",
+                "E101": "在使用变量前先声明并初始化。",
+                "E102": "每个模块最多保留一个 @entry Rule。",
+                "E103": "调整 import alias 或本地顶层声明名称，避免导入符号冲突。",
+                "E104": "选择不同的名称或检查是否存在意外的重复声明。",
+                "E200": "为具有 IO 行为的函数声明 @io 效果。",
+                "E201": "为 CPU 密集型函数声明 @cpu 或 @io 效果。",
+                "E202": "若函数仅执行 CPU 工作，可移除多余的 @io 声明。",
+                "E203": "确认是否需要 @io；若无 IO 行为可移除。",
+                "E204": "移除多余的 @cpu 声明或增加相应的 CPU 工作。",
+                "E205": "根据推断结果为函数添加 @io 效果。",
+                "E206": "根据推断结果补齐 @cpu 或 @io 效果。",
+                "E207": "确认是否需要保留 @io 声明。",
+                "E208": "若无 CPU 副作用，可删除 @cpu 声明。",
+                "E209": "保留 @io 即可满足需求，移除多余的 @cpu。",
+                "E210": "在函数签名的效果参数列表中添加效应类型参数。",
+                "E211": "参考调用或声明补充明确的效果（pure/cpu/io/workflow），或移除未使用的效应变量。",
+                "E212": "通过 ASTER_EFFECT_CONFIG 前缀声明其效果、提供导入的效果签名，或使用已知的标准库命名空间。",
+                "E300": "更新能力清单或修改函数实现以符合限制。",
+                "E301": "在函数头部声明实际使用到的能力。",
+                "E302": "移除未使用的能力声明以保持清晰。",
+                "E303": "在函数头部声明 @io 效果，或移除相关调用保持纯度。",
+                "E304": "为函数添加 @cpu 或 @io 效果以覆盖 CPU 能力。",
+                "E400": "使用加密通道（HTTPS）或脱敏处理后再传输 PII 数据。",
+                "E401": "为敏感数据添加 @pii 标注以便跟踪。",
+                "E402": "调整数据的敏感级别或更新流程要求。",
+                "E403": "在处理 PII 数据前调用 checkConsent() 或添加 @consent_required 注解。",
+                "E404": "尝试保存并重新加载文件。若错误仍然存在，请联系管理员，或附上源代码报告此问题。",
+                "E500": "对启动的异步任务调用 wait，确保执行完毕。",
+                "E501": "确认 wait 的任务名称在 Start 中正确出现。",
+                "E502": "避免重复启动同名任务，可复用已有任务或改用新名称。",
+                "E503": "确保每个任务仅等待一次，或使用单独的同步机制。",
+                "E504": "在 wait for 之前先执行 start，并确保两者位于兼容的控制路径。",
+                "W071": "为等级变化添加显式类型注解以便审计。",
+                "W074": "为数据增加 @pii 注解以追踪敏感数据流。",
+                "W105": "检查 retry 总等待时间、maxAttempts 与 backoff 策略的组合是否合理。",
+                "W106": "检查 timeout 值是否过大或过小。",
+                "W700": "添加 @id(\"RULE-001\")，让每个决策都能追溯到稳定的规则标识。",
+                "E701": "规则 id 在模块内必须唯一。为每条规则设置各自的 @id。",
+                "E702": "写成 @id(\"RULE-001\")、@reason(\"...\") 或 @control(\"EU_AI_ACT:ART14\")。",
+                "E703": "Verdict.allow() 不接受参数；Verdict.deny(reason) 与 Verdict.escalate(reason) 接受一个 Text；Verdict.require_approval(role, reason) 接受两个 Text。",
+                "W704": "使用已登记的键（如 EU_AI_ACT:ART14），或将其加入 aster-lang-locales 的 controls/registry.json（格式 FRAMEWORK:ARTICLE，最多 64 个字符）。",
+                "E705": "使用 aster-lang-locales controls/registry.json 中定义的档案，例如 governed 或 eu-ai-act-high-risk。",
+                "E706": "满足档案要求，或删除 Profile 声明。",
+                "E707": "请稍后重试；这是服务故障，不是策略违规。",
+                "E720": "可导出的规则需要 @id、一个带守卫请求字段（principal_id、principal_type、principal_roles、action、resource_type、resource_id、context、agent_model）的参数，以及 Verdict 结果。",
+                "E721": "使用比较、and/or/not、对 principal_roles 的 List.contains 以及与字面量的整数运算，或让该规则只在 Aster 中使用。",
+                "E722": "每个上下文键只使用一种类型（数字、文本或布尔）。",
+                "E723": "这是导出器缺陷，导出已被拦截。请报告此问题。",
+                "E724": "这是导出器缺陷，导出已被拦截。请报告此问题。",
+                "E800": "检查拼写、导入该类型，或使用当前词汇表中的名称。",
+                "E801": "对照数据类型声明或当前词汇表检查字段名。",
+                "E802": "先声明或导入该名称、使用当前词汇表中的名称，或写限定的枚举成员（如 Stufe.Hoch）。",
+                "E803": "确认该模式是被匹配类型已有的构造器或枚举成员。",
+                "E804": "请写限定名（如 Stufe.Hoch）或添加类型注解。",
+                "E805": "为接收者（参数或 Let）添加类型注解，使字段按其声明类型解析；或重命名冲突的字段。",
+                "E806": "请写限定名（如 Stufe.Hoch）或添加类型注解。",
+                "E807": "重命名其中一个声明，或删除重复项。",
+                "W800": "若非有意遮蔽请重命名声明；声明优先于词汇表条目。",
+                "W801": "为接收者添加类型注解，以便按其类型校验该名称。"
+            }
+        }
+    },
+};
+//# sourceMappingURL=diagnostic-overlays.generated.js.map