typesea 0.1.0 → 0.3.0

package/dist/message/index.d.ts

@@ -1,10 +1,14 @@
 import { type CheckResult, type Issue, type IssueCode, type PathSegment } from "../issue/index.js";
 /**
- * @brief message locale.
+ * @brief Built-in locale identifiers accepted by the message renderer.
+ * @details Message helpers keep structured issues separate from human-readable formatting
+ * until callers request text.
  */
 export type MessageLocale = "en" | "ko";
 /**
- * @brief issue message context.
+ * @brief Render-time fields exposed to message templates.
+ * @details The context is deliberately string-only so user formatters never
+ * depend on internal issue object layout beyond the documented fields.
  */
 export interface IssueMessageContext {
     readonly path: string;
@@ -13,19 +17,31 @@ export interface IssueMessageContext {
     readonly actual: string;
 }
 /**
- * @brief issue message formatter.
+ * @brief User supplied issue formatter callback.
+ * @details Message helpers keep structured issues separate from human-readable formatting
+ * until callers request text.
+ * @param issue Frozen issue being rendered.
+ * @param context Preformatted string fields for template authors.
+ * @returns Final message text for that issue.
  */
 export type IssueMessageFormatter = (issue: Issue, context: IssueMessageContext) => string;
 /**
- * @brief issue message template.
+ * @brief Message template accepted by a locale catalog.
+ * @details String templates use `{path}`, `{code}`, `{expected}`, and
+ * `{actual}` replacement tokens. Function templates are checked at runtime so
+ * incorrect user callbacks fail at the API boundary.
  */
 export type IssueMessageTemplate = string | IssueMessageFormatter;
 /**
- * @brief issue message catalog.
+ * @brief Partial mapping from TypeSea issue codes to render templates.
+ * @details Message helpers keep structured issues separate from human-readable formatting
+ * until callers request text.
  */
 export type IssueMessageCatalog = Partial<Readonly<Record<IssueCode, IssueMessageTemplate>>>;
 /**
- * @brief issue message options.
+ * @brief Optional message rendering configuration supplied by callers.
+ * @details Every field is optional at the API edge; `readOptions` normalizes
+ * this shape into a fully populated internal configuration.
  */
 export interface IssueMessageOptions {
     readonly locale: MessageLocale | undefined;
@@ -33,19 +49,57 @@ export interface IssueMessageOptions {
     readonly pathFormatter: ((path: readonly PathSegment[]) => string) | undefined;
 }
 /**
- * @brief define messages.
+ * @brief Zod-style flattened message view.
+ * @details Root issues go into formErrors. Field issues are grouped by the
+ * first path segment so form adapters can attach messages to top-level fields.
+ */
+export interface FlattenedIssueMessages {
+    readonly formErrors: readonly string[];
+    readonly fieldErrors: Readonly<Record<string, readonly string[]>>;
+}
+/**
+ * @brief Freeze a user catalog after validating its keys and templates.
+ * @details Message helpers keep structured issues separate from human-readable formatting
+ * until callers request text.
+ * @param catalog Partial message catalog supplied by the application.
+ * @returns Frozen catalog that can be reused across validations.
  */
 export declare function defineMessages(catalog: IssueMessageCatalog): IssueMessageCatalog;
 /**
- * @brief format issue.
+ * @brief Render one issue into a localized human-readable message.
+ * @details The issue is copied before rendering so user callbacks cannot mutate
+ * shared diagnostic objects through accidental aliasing.
+ * @param issue Issue object to render.
+ * @param options Optional locale, catalog, and path formatter.
+ * @returns Rendered message text.
  */
 export declare function formatIssue(issue: Issue, options?: Partial<IssueMessageOptions>): string;
 /**
- * @brief format issues.
+ * @brief Render a frozen list of issues into localized message strings.
+ * @details The issue array is copied before rendering so caller-owned issue
+ * objects cannot change while user path formatters or templates execute.
+ * @param issues Issue list to render.
+ * @param options Optional locale, catalog, and path formatter.
+ * @returns Frozen list of rendered messages aligned with the input issue order.
  */
 export declare function formatIssues(issues: readonly Issue[], options?: Partial<IssueMessageOptions>): readonly string[];
 /**
- * @brief with messages.
+ * @brief Flatten issues into root and top-level field message buckets.
+ * @param issues Issue list returned by check-like APIs.
+ * @param options Optional locale, catalog, and path formatter.
+ * @returns Frozen flattened message object.
+ * @details This mirrors the practical shape of Zod's `error.flatten()` without
+ * changing TypeSea's allocation-free boolean path or array-based diagnostics.
+ */
+export declare function flattenIssues(issues: readonly Issue[], options?: Partial<IssueMessageOptions>): FlattenedIssueMessages;
+/**
+ * @brief Attach rendered messages to every issue in a failed check result.
+ * @details Successful results are returned unchanged. Failed results are copied
+ * into fresh issue objects so structured diagnostics keep their original fields
+ * while gaining a stable human-readable message.
+ * @param result Check result to decorate.
+ * @param options Optional locale, catalog, and path formatter.
+ * @returns Original success result or a failed result with rendered messages.
  */
 export declare function withMessages<TValue>(result: CheckResult<TValue>, options?: Partial<IssueMessageOptions>): CheckResult<TValue>;
 //# sourceMappingURL=index.d.ts.map

package/dist/message/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/message/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,KAAK,WAAW,EAChB,KAAK,KAAK,EACV,KAAK,SAAS,EACd,KAAK,WAAW,EACjB,MAAM,mBAAmB,CAAC;AAG3B;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,IAAI,GAAG,IAAI,CAAC;AAExC;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,CAClC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,mBAAmB,KACzB,MAAM,CAAC;AAEZ;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG,qBAAqB,CAAC;AAElE;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG,OAAO,CACvC,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC,CAClD,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,aAAa,GAAG,SAAS,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,mBAAmB,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,aAAa,EAClB,CAAC,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,KAAK,MAAM,CAAC,GAC1C,SAAS,CAAC;CACf;AAWD;;GAEG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,mBAAmB,GAAG,mBAAmB,CAEhF;AAED;;GAEG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,KAAK,EACZ,OAAO,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,GACrC,MAAM,CAOR;AAED;;GAEG;AACH,wBAAgB,YAAY,CAC1B,MAAM,EAAE,SAAS,KAAK,EAAE,EACxB,OAAO,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,GACrC,SAAS,MAAM,EAAE,CAWnB;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,MAAM,EACjC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,EAC3B,OAAO,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,GACrC,WAAW,CAAC,MAAM,CAAC,CAoBrB"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/message/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAKH,KAAK,WAAW,EAChB,KAAK,KAAK,EACV,KAAK,SAAS,EACd,KAAK,WAAW,EACnB,MAAM,mBAAmB,CAAC;AAG3B;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,IAAI,GAAG,IAAI,CAAC;AAExC;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,qBAAqB,GAAG,CAChC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,mBAAmB,KAC3B,MAAM,CAAC;AAEZ;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG,qBAAqB,CAAC;AAElE;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG,OAAO,CACrC,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC,CACpD,CAAC;AAEF;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAChC,QAAQ,CAAC,MAAM,EAAE,aAAa,GAAG,SAAS,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,mBAAmB,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,aAAa,EAChB,CAAC,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,KAAK,MAAM,CAAC,GAC1C,SAAS,CAAC;CACnB;AAED;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACnC,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;CACrE;AAaD;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,mBAAmB,GAAG,mBAAmB,CAEhF;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CACvB,KAAK,EAAE,KAAK,EACZ,OAAO,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,GACvC,MAAM,CAOR;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CACxB,MAAM,EAAE,SAAS,KAAK,EAAE,EACxB,OAAO,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,GACvC,SAAS,MAAM,EAAE,CAWnB;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CACzB,MAAM,EAAE,SAAS,KAAK,EAAE,EACxB,OAAO,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,GACvC,sBAAsB,CA4BxB;AAED;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAC/B,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,EAC3B,OAAO,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,GACvC,WAAW,CAAC,MAAM,CAAC,CAoBrB"}

package/dist/message/index.js

@@ -1,13 +1,22 @@
 import { copyIssueArray, freezeIssueArray, isIssueCodeValue, makeIssue } from "../issue/index.js";
 import { err } from "../result/index.js";
 /**
- * @brief define messages.
+ * @brief Freeze a user catalog after validating its keys and templates.
+ * @details Message helpers keep structured issues separate from human-readable formatting
+ * until callers request text.
+ * @param catalog Partial message catalog supplied by the application.
+ * @returns Frozen catalog that can be reused across validations.
  */
 export function defineMessages(catalog) {
     return Object.freeze(copyCatalog(catalog));
 }
 /**
- * @brief format issue.
+ * @brief Render one issue into a localized human-readable message.
+ * @details The issue is copied before rendering so user callbacks cannot mutate
+ * shared diagnostic objects through accidental aliasing.
+ * @param issue Issue object to render.
+ * @param options Optional locale, catalog, and path formatter.
+ * @returns Rendered message text.
  */
 export function formatIssue(issue, options) {
     const copied = copyIssueArray([issue]);
@@ -18,7 +27,12 @@ export function formatIssue(issue, options) {
     return renderIssue(first, readOptions(options));
 }
 /**
- * @brief format issues.
+ * @brief Render a frozen list of issues into localized message strings.
+ * @details The issue array is copied before rendering so caller-owned issue
+ * objects cannot change while user path formatters or templates execute.
+ * @param issues Issue list to render.
+ * @param options Optional locale, catalog, and path formatter.
+ * @returns Frozen list of rendered messages aligned with the input issue order.
  */
 export function formatIssues(issues, options) {
     const copied = copyIssueArray(issues);
@@ -33,7 +47,51 @@ export function formatIssues(issues, options) {
     return Object.freeze(messages);
 }
 /**
- * @brief with messages.
+ * @brief Flatten issues into root and top-level field message buckets.
+ * @param issues Issue list returned by check-like APIs.
+ * @param options Optional locale, catalog, and path formatter.
+ * @returns Frozen flattened message object.
+ * @details This mirrors the practical shape of Zod's `error.flatten()` without
+ * changing TypeSea's allocation-free boolean path or array-based diagnostics.
+ */
+export function flattenIssues(issues, options) {
+    const copied = copyIssueArray(issues);
+    const config = readOptions(options);
+    const formErrors = [];
+    const fieldErrors = Object.create(null);
+    for (let index = 0; index < copied.length; index += 1) {
+        const issue = copied[index];
+        if (issue === undefined) {
+            continue;
+        }
+        const message = renderIssue(issue, config);
+        const first = issue.path[0];
+        if (first === undefined) {
+            formErrors.push(message);
+            continue;
+        }
+        const key = String(first);
+        const bucket = fieldErrors[key];
+        if (bucket === undefined) {
+            fieldErrors[key] = [message];
+        }
+        else {
+            bucket.push(message);
+        }
+    }
+    return Object.freeze({
+        formErrors: Object.freeze(formErrors),
+        fieldErrors: freezeFieldErrors(fieldErrors)
+    });
+}
+/**
+ * @brief Attach rendered messages to every issue in a failed check result.
+ * @details Successful results are returned unchanged. Failed results are copied
+ * into fresh issue objects so structured diagnostics keep their original fields
+ * while gaining a stable human-readable message.
+ * @param result Check result to decorate.
+ * @param options Optional locale, catalog, and path formatter.
+ * @returns Original success result or a failed result with rendered messages.
  */
 export function withMessages(result, options) {
     if (result.ok) {
@@ -51,7 +109,13 @@ export function withMessages(result, options) {
     return err(freezeIssueArray(issues));
 }
 /**
- * @brief render issue.
+ * @brief Select the template source and render one normalized issue.
+ * @details Custom catalogs take precedence, issue-local messages are respected
+ * next, and built-in catalogs are the final fallback. That order lets adapters
+ * inject precise messages without losing defaults.
+ * @param issue Issue currently being rendered.
+ * @param options Resolved message rendering configuration.
+ * @returns Rendered message text.
  */
 function renderIssue(issue, options) {
     const context = makeContext(issue, options.pathFormatter);
@@ -65,7 +129,27 @@ function renderIssue(issue, options) {
     return renderTemplate(defaultCatalogs[options.locale][issue.code], issue, context);
 }
 /**
- * @brief make context.
+ * @brief Freeze flattened field-error buckets.
+ * @param value Mutable field-error table.
+ * @returns Frozen table with frozen message arrays.
+ */
+function freezeFieldErrors(value) {
+    const keys = Object.keys(value);
+    for (let index = 0; index < keys.length; index += 1) {
+        const key = keys[index];
+        if (key !== undefined) {
+            Object.freeze(value[key]);
+        }
+    }
+    return Object.freeze(value);
+}
+/**
+ * @brief Build the stable template context for one issue.
+ * @details Missing expected or actual fields become `"unknown"` so templates
+ * can stay branch-free and every placeholder always has a string value.
+ * @param issue Issue currently being rendered.
+ * @param pathFormatter Formatter selected by resolved options.
+ * @returns Context object passed to string and function templates.
  */
 function makeContext(issue, pathFormatter) {
     return {
@@ -76,7 +160,14 @@ function makeContext(issue, pathFormatter) {
     };
 }
 /**
- * @brief render template.
+ * @brief Render a string or callback template against one issue context.
+ * @details Function templates are checked at runtime because they cross into
+ * user code. String templates use fixed token replacement without regular
+ * expressions, keeping the common path allocation pattern predictable.
+ * @param template Template selected for this issue code.
+ * @param issue Issue currently being rendered.
+ * @param context Preformatted replacement context.
+ * @returns Rendered message text.
  */
 function renderTemplate(template, issue, context) {
     if (typeof template === "function") {
@@ -93,7 +184,11 @@ function renderTemplate(template, issue, context) {
         .split("{actual}").join(context.actual);
 }
 /**
- * @brief read options.
+ * @brief Normalize public rendering options into the internal shape.
+ * @details Validation happens once at the entry point. The render loop then
+ * works with concrete locale and formatter values without repeated guards.
+ * @param options Optional user configuration.
+ * @returns Resolved message rendering configuration.
  */
 function readOptions(options) {
     if (options === undefined) {
@@ -116,7 +211,11 @@ function readOptions(options) {
     };
 }
 /**
- * @brief read locale.
+ * @brief Validate and normalize the requested message locale.
+ * @details Message helpers keep structured issues separate from human-readable formatting
+ * until callers request text.
+ * @param value Locale field from the public options object.
+ * @returns Built-in locale identifier, defaulting to English.
  */
 function readLocale(value) {
     if (value === undefined || value === "en") {
@@ -128,7 +227,12 @@ function readLocale(value) {
     throw new TypeError("message locale must be en or ko");
 }
 /**
- * @brief read path formatter.
+ * @brief Validate the optional user path formatter.
+ * @details The returned wrapper enforces the string return contract at the
+ * boundary where user code is invoked, keeping downstream template replacement
+ * code simple.
+ * @param value Formatter value from public options.
+ * @returns Safe formatter callback used by the renderer.
  */
 function readPathFormatter(value) {
     if (value === undefined) {
@@ -147,7 +251,12 @@ function readPathFormatter(value) {
     };
 }
 /**
- * @brief copy catalog.
+ * @brief Validate and copy a user message catalog.
+ * @details The renderer stores only recognized issue-code keys and accepted
+ * template forms. Copying also prevents later caller mutation from changing
+ * messages during validation.
+ * @param value Candidate catalog object.
+ * @returns Catalog copy accepted by the renderer.
  */
 function copyCatalog(value) {
     if (!isRecord(value)) {
@@ -172,13 +281,21 @@ function copyCatalog(value) {
     return copied;
 }
 /**
- * @brief is issue message template.
+ * @brief Check whether a catalog value is an accepted template form.
+ * @details Message helpers keep structured issues separate from human-readable formatting
+ * until callers request text.
+ * @param value Candidate catalog entry value.
+ * @returns True for string templates or formatter functions.
  */
 function isIssueMessageTemplate(value) {
     return typeof value === "string" || typeof value === "function";
 }
 /**
- * @brief default path formatter.
+ * @brief Render a TypeSea issue path using JSON-like bracket segments.
+ * @details The root is `$`, numeric segments render as indexes, and string
+ * segments are JSON-escaped so dots or brackets in field names stay unambiguous.
+ * @param path Issue path to render.
+ * @returns Stable path string for message templates.
  */
 function defaultPathFormatter(path) {
     if (path.length === 0) {
@@ -197,23 +314,30 @@ function defaultPathFormatter(path) {
     return result;
 }
 /**
- * @brief is record.
+ * @brief Check record.
+ * @details This helper keeps a local invariant explicit at the module boundary.
  */
 function isRecord(value) {
     return typeof value === "object" && value !== null && !Array.isArray(value);
 }
 /**
- * @brief en catalog.
+ * @brief Built-in English issue message catalog.
+ * @details Templates stay terse and token-based so the same renderer can handle
+ * built-in and user-defined catalogs without locale-specific code paths.
  */
 const enCatalog = Object.freeze({
     expected_string: "Expected string at {path}; received {actual}.",
     expected_number: "Expected number at {path}; received {actual}.",
+    expected_date: "Expected valid Date at {path}; received {actual}.",
     expected_bigint: "Expected bigint at {path}; received {actual}.",
     expected_symbol: "Expected symbol at {path}; received {actual}.",
     expected_boolean: "Expected boolean at {path}; received {actual}.",
     expected_never: "Expected never at {path}; received {actual}.",
     expected_literal: "Expected literal {expected} at {path}; received {actual}.",
     expected_array: "Expected array at {path}; received {actual}.",
+    expected_map: "Expected Map at {path}; received {actual}.",
+    expected_set: "Expected Set at {path}; received {actual}.",
+    expected_instance: "Expected instance of {expected} at {path}; received {actual}.",
     expected_tuple: "Expected tuple at {path}; received {actual}.",
     expected_tuple_length: "Expected tuple {expected} at {path}; received {actual}.",
     expected_object: "Expected object at {path}; received {actual}.",
@@ -224,6 +348,9 @@ const enCatalog = Object.freeze({
     expected_pattern: "Expected pattern {expected} at {path}; received {actual}.",
     expected_gte: "Expected value {expected} at {path}; received {actual}.",
     expected_lte: "Expected value {expected} at {path}; received {actual}.",
+    expected_gt: "Expected value {expected} at {path}; received {actual}.",
+    expected_lt: "Expected value {expected} at {path}; received {actual}.",
+    expected_multiple_of: "Expected value {expected} at {path}; received {actual}.",
     expected_required_key: "Expected required key at {path}; received {actual}.",
     expected_union: "Expected union at {path}; received {actual}.",
     expected_discriminant: "Expected discriminant {expected} at {path}; received {actual}.",
@@ -232,17 +359,23 @@ const enCatalog = Object.freeze({
     unrecognized_key: "Unrecognized key at {path}; expected {expected}."
 });
 /**
- * @brief ko catalog.
+ * @brief Built-in Korean issue message catalog.
+ * @details The catalog mirrors English issue-code coverage exactly so locale
+ * switching cannot expose missing template keys at runtime.
  */
 const koCatalog = Object.freeze({
     expected_string: "{path}에서 문자열이 필요하지만 {actual}을 받았습니다.",
     expected_number: "{path}에서 숫자가 필요하지만 {actual}을 받았습니다.",
+    expected_date: "{path}에서 유효한 Date가 필요하지만 {actual}을 받았습니다.",
     expected_bigint: "{path}에서 bigint가 필요하지만 {actual}을 받았습니다.",
     expected_symbol: "{path}에서 symbol이 필요하지만 {actual}을 받았습니다.",
     expected_boolean: "{path}에서 boolean이 필요하지만 {actual}을 받았습니다.",
     expected_never: "{path}에서 never가 필요하지만 {actual}을 받았습니다.",
     expected_literal: "{path}에서 literal {expected}이 필요하지만 {actual}을 받았습니다.",
     expected_array: "{path}에서 배열이 필요하지만 {actual}을 받았습니다.",
+    expected_map: "{path}에서 Map이 필요하지만 {actual}을 받았습니다.",
+    expected_set: "{path}에서 Set이 필요하지만 {actual}을 받았습니다.",
+    expected_instance: "{path}에서 {expected} 인스턴스가 필요하지만 {actual}을 받았습니다.",
     expected_tuple: "{path}에서 튜플이 필요하지만 {actual}을 받았습니다.",
     expected_tuple_length: "{path}에서 튜플 {expected}이 필요하지만 {actual}을 받았습니다.",
     expected_object: "{path}에서 객체가 필요하지만 {actual}을 받았습니다.",
@@ -253,6 +386,9 @@ const koCatalog = Object.freeze({
     expected_pattern: "{path}에서 패턴 {expected}이 필요하지만 {actual}을 받았습니다.",
     expected_gte: "{path}에서 값 {expected}이 필요하지만 {actual}을 받았습니다.",
     expected_lte: "{path}에서 값 {expected}이 필요하지만 {actual}을 받았습니다.",
+    expected_gt: "{path}에서 값 {expected}이 필요하지만 {actual}을 받았습니다.",
+    expected_lt: "{path}에서 값 {expected}이 필요하지만 {actual}을 받았습니다.",
+    expected_multiple_of: "{path}에서 값 {expected}이 필요하지만 {actual}을 받았습니다.",
     expected_required_key: "{path}에 필수 키가 필요하지만 {actual}입니다.",
     expected_union: "{path}에서 유니온 값이 필요하지만 {actual}을 받았습니다.",
     expected_discriminant: "{path}에서 discriminant {expected}이 필요하지만 {actual}을 받았습니다.",
@@ -261,7 +397,9 @@ const koCatalog = Object.freeze({
     unrecognized_key: "{path}에서 알 수 없는 키입니다. 기대값은 {expected}입니다."
 });
 /**
- * @brief default catalogs.
+ * @brief Frozen lookup table for built-in message catalogs.
+ * @details The table is keyed by normalized locale values, letting renderIssue
+ * index without optional fallback logic after option resolution.
  */
 const defaultCatalogs = Object.freeze({
     en: enCatalog,

package/dist/optimize/algebraic.d.ts

@@ -0,0 +1,54 @@
+/**
+ * @file algebraic.ts
+ * @brief Boolean algebra simplification for validation predicates.
+ * @details Optimizer helpers preserve graph equivalence while shrinking redundant nodes
+ * before code generation consumes the graph.
+ */
+import { NodeTag } from "../kind/index.js";
+import type { GraphNode, NodeId } from "../ir/index.js";
+export interface AlgebraicFold {
+    /**
+     * @brief True when an And fold has proven false.
+     * @details The caller replaces the whole conjunction with a constant false node.
+     */
+    readonly contradiction: boolean;
+    /**
+     * @brief True when an Or fold has proven true.
+     * @details The caller replaces the whole disjunction with a constant true node.
+     */
+    readonly tautology: boolean;
+    /**
+     * @brief Remaining operand ids after algebraic simplification.
+     * @details Operand order is preserved so generated code keeps stable branch ordering.
+     */
+    readonly values: readonly NodeId[];
+}
+/**
+ * @brief Flatten nested boolean folds of the same kind.
+ * @details Optimizer helpers preserve graph equivalence while shrinking redundant nodes
+ * before code generation consumes the graph.
+ * @param values Input operand ids.
+ * @param nodes Graph node table used to inspect nested folds.
+ * @param tag Boolean fold kind to flatten.
+ * @returns Operand list with same-kind nested folds expanded in place.
+ */
+export declare function flattenBooleanValues(values: readonly NodeId[], nodes: readonly GraphNode[], tag: typeof NodeTag.And | typeof NodeTag.Or): readonly NodeId[];
+/**
+ * @brief Simplify operands of an And fold.
+ * @details Optimizer helpers preserve graph equivalence while shrinking redundant nodes
+ * before code generation consumes the graph.
+ * @param values Input operand ids.
+ * @param nodes Graph node table used to inspect nested complement forms.
+ * @returns Simplification result with contradiction status and kept operands.
+ */
+export declare function simplifyAndValues(values: readonly NodeId[], nodes: readonly GraphNode[]): AlgebraicFold;
+/**
+ * @brief Simplify operands of an Or fold.
+ * @details Optimizer helpers preserve graph equivalence while shrinking redundant nodes
+ * before code generation consumes the graph.
+ * @param values Input operand ids.
+ * @param nodes Graph node table used to inspect nested complement forms.
+ * @returns Simplification result with tautology status and kept operands.
+ */
+export declare function simplifyOrValues(values: readonly NodeId[], nodes: readonly GraphNode[]): AlgebraicFold;
+//# sourceMappingURL=algebraic.d.ts.map

package/dist/optimize/algebraic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"algebraic.d.ts","sourceRoot":"","sources":["../../src/optimize/algebraic.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,KAAK,EACR,SAAS,EACT,MAAM,EACT,MAAM,gBAAgB,CAAC;AAExB,MAAM,WAAW,aAAa;IAC1B;;;OAGG;IACH,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAEhC;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAE5B;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,GAAG,EAAE,OAAO,OAAO,CAAC,GAAG,GAAG,OAAO,OAAO,CAAC,EAAE,GAC5C,SAAS,MAAM,EAAE,CAmBnB;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC7B,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,KAAK,EAAE,SAAS,SAAS,EAAE,GAC5B,aAAa,CAuCf;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,KAAK,EAAE,SAAS,SAAS,EAAE,GAC5B,aAAa,CAuCf"}