schema-dsl 1.2.4 → 2.0.0

package/{lib/locales/ja-JP.js → src/locales/ja-JP.ts}

@@ -1,4 +1,6 @@
-module.exports = {
+import type { LocaleMessages } from './types.js'
+
+const jaJP: LocaleMessages = {
   // Generic
   required: '{{#label}}は必須です',
   type: '{{#label}}は{{#expected}}型である必要がありますが、{{#actual}}が渡されました',
@@ -12,12 +14,40 @@ module.exports = {
   'max-depth': '{{#label}}で最大再帰深度 ({{#depth}}) を超えました',
   exception: '{{#label}}の検証例外: {{#message}}',
 
-  // Conditional (ConditionalBuilder)
+  // Conditional
   'conditional.underAge': '未成年者は登録できません',
   'conditional.blocked': 'アカウントがブロックされています',
   'conditional.notAllowed': '登録は許可されていません',
 
-  // Formats
+  // I18nError — generic (v2 additions)
+  'error.notFound': '{{#resource}}が見つかりません',
+  'error.forbidden': '{{#resource}}へのアクセスが禁止されています',
+  'error.unauthorized': '認証が必要です。ログインしてください',
+  'error.invalid': '{{#field}}が無効です',
+  'error.duplicate': '{{#resource}}はすでに存在します',
+  'error.conflict': '操作の競合: {{#reason}}',
+
+  // Account (v2 additions)
+  'account.notFound': { code: 'ACCOUNT_NOT_FOUND', message: 'アカウントが見つかりません' },
+  'account.inactive': 'アカウントが無効化されています',
+  'account.banned': 'アカウントが禁止されています',
+  'account.insufficientBalance': {
+    code: 'INSUFFICIENT_BALANCE',
+    message: '残高不足。現在: {{#balance}}、必要: {{#required}}',
+  },
+  'account.insufficientCredits': 'クレジット不足。現在: {{#credits}}、必要: {{#required}}',
+
+  // User (v2 additions)
+  'user.notFound': 'ユーザーが見つかりません',
+  'user.notVerified': 'ユーザーが確認されていません',
+  'user.noPermission': '管理者権限がありません',
+
+  // Order (v2 additions)
+  'order.notPaid': { code: 'ORDER_NOT_PAID', message: '注文が支払われていません' },
+  'order.paymentMissing': '支払い情報がありません',
+  'order.addressMissing': '配送先住所がありません',
+
+  // Format
   'format.email': '{{#label}}は有効なメールアドレスである必要があります',
   'format.url': '{{#label}}は有効なURLである必要があります',
   'format.uuid': '{{#label}}は有効なUUIDである必要があります',
@@ -32,6 +62,11 @@ module.exports = {
   'string.hostname': '{{#label}}は有効なホスト名である必要があります',
   'string.pattern': '{{#label}}の形式が必要なパターンと一致しません',
   'string.enum': '{{#label}}は次のいずれかである必要があります: {{#valids}}',
+  'string.length': '{{#label}}の長さは正確に{{#limit}}文字である必要があります',
+  'string.alphanum': '{{#label}}には英数字のみを含めることができます',
+  'string.trim': '{{#label}}の前後に空白を含めることはできません',
+  'string.lowercase': '{{#label}}は小文字である必要があります',
+  'string.uppercase': '{{#label}}は大文字である必要があります',
 
   // Number
   'number.base': '{{#label}}は数値である必要があります',
@@ -40,6 +75,8 @@ module.exports = {
   'number.integer': '{{#label}}は整数である必要があります',
   'number.positive': '{{#label}}は正の数である必要があります',
   'number.negative': '{{#label}}は負の数である必要があります',
+  'number.precision': '{{#label}}の小数点以下は{{#limit}}桁以内である必要があります',
+  'number.port': '{{#label}}は有効なポート番号 (1-65535) である必要があります',
 
   // Boolean
   'boolean.base': '{{#label}}はブール値である必要があります',
@@ -49,7 +86,8 @@ module.exports = {
   'object.min': '{{#label}}は少なくとも{{#limit}}個のプロパティを持つ必要があります',
   'object.max': '{{#label}}は最大{{#limit}}個のプロパティを持つことができます',
   'object.unknown': '{{#label}}に未知のプロパティが含まれています: {{#key}}',
-  // v1.1.6 - additionalProperties
+  'object.missing': '{{#label}}には必須プロパティがありません',
+  'object.schema': '{{#label}}に追加のプロパティが含まれています',
   'additionalProperties': '{{#label}}に追加のプロパティを含めてはいけません: {{#key}}',
 
   // Array
@@ -58,11 +96,16 @@ module.exports = {
   'array.max': '{{#label}}は最大{{#limit}}個の要素を持つことができます',
   'array.length': '{{#label}}は正確に{{#limit}}個の要素を持つ必要があります',
   'array.unique': '{{#label}}に重複する要素を含めることはできません',
+  'array.sparse': '{{#label}}はスパース配列であってはなりません',
+  'array.includesRequired': '{{#label}}には必須アイテムを含める必要があります',
 
   // Date
   'date.base': '{{#label}}は有効な日付である必要があります',
   'date.min': '{{#label}}は{{#limit}}より前であってはなりません',
   'date.max': '{{#label}}は{{#limit}}より後であってはなりません',
+  'date.format': '{{#label}}の日付形式が無効です',
+  'date.greater': '{{#label}}は{{#limit}}より後である必要があります',
+  'date.less': '{{#label}}は{{#limit}}より前である必要があります',
 
   // Any
   'any.required': '{{#label}}は必須です',
@@ -70,7 +113,7 @@ module.exports = {
   'any.only': '{{#label}}は{{#valids}}と一致する必要があります',
   'any.unknown': 'フィールド{{#key}}は許可されていません',
 
-  // Patterns (Legacy/Specific)
+  // Patterns
   'pattern.phone': '無効な電話番号',
   'pattern.phone.international': '無効な国際電話番号',
   'pattern.idCard': '無効なIDカード番号',
@@ -89,30 +132,29 @@ module.exports = {
   'pattern.macAddress': '無効なMACアドレス',
   'pattern.cron': '無効なCron式',
   'pattern.slug': 'URLスラッグには小文字、数字、ハイフンのみを含めることができます',
-  // v1.0.2 新増
   'pattern.domain': '{{#label}}は有効なドメイン名である必要があります',
   'pattern.ip': '{{#label}}は有効なIPアドレスである必要があります',
   'pattern.base64': '{{#label}}は有効なBase64文字列である必要があります',
   'pattern.jwt': '{{#label}}は有効なJWTトークンである必要があります',
   'pattern.json': '{{#label}}は有効なJSON文字列である必要があります',
-
-  // Username & Password
   'pattern.username': 'ユーザー名は文字で始まり、文字、数字、アンダースコアのみを含む必要があります',
   'pattern.password.weak': 'パスワードは少なくとも6文字である必要があります',
   'pattern.password.medium': 'パスワードは少なくとも8文字で、文字と数字を含む必要があります',
   'pattern.password.strong': 'パスワードは少なくとも8文字で、大文字、小文字、数字を含む必要があります',
   'pattern.password.veryStrong': 'パスワードは少なくとも10文字で、大文字、小文字、数字、特殊文字を含む必要があります',
+  'pattern.emailOrPhone': 'メールアドレスまたは電話番号である必要があります',
+  'pattern.usernameOrEmail': 'ユーザー名またはメールアドレスである必要があります',
+  'pattern.httpOrHttps': 'http または https で始まるURLである必要があります',
 
-  // oneOf (型の結合) - v1.1.0
+  // oneOf
   oneOf: '{{#label}}は次のいずれかの型に一致する必要があります',
   'oneOf.invalid': '{{#label}}の値は許可された型のいずれとも一致しません',
 
-  // Unknown error fallback
-  'UNKNOWN_ERROR': '不明な検証エラー',
-
-  // Custom validation
-  'CUSTOM_VALIDATION_FAILED': '検証に失敗しました',
-  'ASYNC_VALIDATION_NOT_SUPPORTED': '同期validate()では非同期検証はサポートされていません',
-  'VALIDATE_MUST_BE_FUNCTION': 'validateは関数である必要があります'
-};
+  // Error fallback
+  UNKNOWN_ERROR: '不明な検証エラー',
+  CUSTOM_VALIDATION_FAILED: '検証に失敗しました',
+  ASYNC_VALIDATION_NOT_SUPPORTED: '同期validate()では非同期検証はサポートされていません',
+  VALIDATE_MUST_BE_FUNCTION: 'validateは関数である必要があります',
+}
 
+export default jaJP

package/src/locales/types.ts

@@ -0,0 +1,156 @@
+/**
+ * LocaleKey — union type of all locale message keys (118 keys)
+ *
+ * TypeScript compile-time completeness enforcement: every locale file must implement
+ * the LocaleMessages interface; adding a new key causes a compiler error in all locales.
+ */
+
+// ─── Base message value type ──────────────────────────────────────────────────
+/** A message is either a plain string or an object with code (v1.1.5+ format) */
+export type LocaleMessage = string | { code: string | number; message: string }
+
+// ─── Key union (for precise key inference in getMessage) ─────────────────────
+export type LocaleKey =
+  // Generic
+  | 'required'
+  | 'type'
+  | 'min'
+  | 'max'
+  | 'length'
+  | 'pattern'
+  | 'enum'
+  | 'custom'
+  | 'circular'
+  | 'max-depth'
+  | 'exception'
+  // Conditional
+  | 'conditional.underAge'
+  | 'conditional.blocked'
+  | 'conditional.notAllowed'
+  // I18nError — generic
+  | 'error.notFound'
+  | 'error.forbidden'
+  | 'error.unauthorized'
+  | 'error.invalid'
+  | 'error.duplicate'
+  | 'error.conflict'
+  // Account
+  | 'account.notFound'
+  | 'account.inactive'
+  | 'account.banned'
+  | 'account.insufficientBalance'
+  | 'account.insufficientCredits'
+  // User
+  | 'user.notFound'
+  | 'user.notVerified'
+  | 'user.noPermission'
+  // Order
+  | 'order.notPaid'
+  | 'order.paymentMissing'
+  | 'order.addressMissing'
+  // Format
+  | 'format.email'
+  | 'format.url'
+  | 'format.uuid'
+  | 'format.date'
+  | 'format.datetime'
+  | 'format.time'
+  | 'format.ipv4'
+  | 'format.ipv6'
+  | 'format.binary'
+  // String
+  | 'string.hostname'
+  | 'string.pattern'
+  | 'string.enum'
+  | 'string.length'
+  | 'string.alphanum'
+  | 'string.trim'
+  | 'string.lowercase'
+  | 'string.uppercase'
+  // Number
+  | 'number.base'
+  | 'number.min'
+  | 'number.max'
+  | 'number.integer'
+  | 'number.positive'
+  | 'number.negative'
+  | 'number.precision'
+  | 'number.port'
+  // Boolean
+  | 'boolean.base'
+  // Object
+  | 'object.base'
+  | 'object.min'
+  | 'object.max'
+  | 'object.unknown'
+  | 'object.missing'
+  | 'object.schema'
+  | 'additionalProperties'
+  // Array
+  | 'array.base'
+  | 'array.min'
+  | 'array.max'
+  | 'array.length'
+  | 'array.unique'
+  | 'array.sparse'
+  | 'array.includesRequired'
+  // Date
+  | 'date.base'
+  | 'date.min'
+  | 'date.max'
+  | 'date.format'
+  | 'date.greater'
+  | 'date.less'
+  // Any
+  | 'any.required'
+  | 'any.invalid'
+  | 'any.only'
+  | 'any.unknown'
+  // Patterns — formats
+  | 'pattern.phone'
+  | 'pattern.phone.international'
+  | 'pattern.idCard'
+  | 'pattern.creditCard'
+  | 'pattern.creditCard.visa'
+  | 'pattern.creditCard.mastercard'
+  | 'pattern.creditCard.amex'
+  | 'pattern.creditCard.discover'
+  | 'pattern.creditCard.jcb'
+  | 'pattern.creditCard.unionpay'
+  | 'pattern.licensePlate'
+  | 'pattern.postalCode'
+  | 'pattern.passport'
+  | 'pattern.objectId'
+  | 'pattern.hexColor'
+  | 'pattern.macAddress'
+  | 'pattern.cron'
+  | 'pattern.slug'
+  | 'pattern.domain'
+  | 'pattern.ip'
+  | 'pattern.base64'
+  | 'pattern.jwt'
+  | 'pattern.json'
+  // Patterns — username & password
+  | 'pattern.username'
+  | 'pattern.password.weak'
+  | 'pattern.password.medium'
+  | 'pattern.password.strong'
+  | 'pattern.password.veryStrong'
+  // Patterns — union
+  | 'pattern.emailOrPhone'
+  | 'pattern.usernameOrEmail'
+  | 'pattern.httpOrHttps'
+  // oneOf
+  | 'oneOf'
+  | 'oneOf.invalid'
+  // Error fallback
+  | 'UNKNOWN_ERROR'
+  | 'CUSTOM_VALIDATION_FAILED'
+  | 'ASYNC_VALIDATION_NOT_SUPPORTED'
+  | 'VALIDATE_MUST_BE_FUNCTION'
+
+/**
+ * Complete locale interface — every locale file must implement this (Record<LocaleKey, LocaleMessage>).
+ * TypeScript compile-time guarantee: no key can be missing.
+ */
+export type LocaleMessages = Record<LocaleKey, LocaleMessage>

package/{lib/locales/zh-CN.js → src/locales/zh-CN.ts}

@@ -1,4 +1,6 @@
-module.exports = {
+import type { LocaleMessages } from './types.js'
+
+const zhCN: LocaleMessages = {
   // Generic
   required: '{{#label}}不能为空',
   type: '{{#label}}应该是 {{#expected}} 类型',
@@ -12,13 +14,12 @@ module.exports = {
   'max-depth': '超过最大递归深度 ({{#depth}}) at {{#label}}',
   exception: '{{#label}}验证异常: {{#message}}',
 
-  // Conditional (ConditionalBuilder)
+  // Conditional
   'conditional.underAge': '未成年用户不能注册',
   'conditional.blocked': '账号已被封禁',
   'conditional.notAllowed': '不允许注册',
 
-  // I18nError - 通用错误消息 (v1.1.1)
-  // I18nError - 通用错误消息 (v1.1.1)
+  // I18nError — generic
   'error.notFound': '找不到{{#resource}}',
   'error.forbidden': '没有权限访问{{#resource}}',
   'error.unauthorized': '未授权，请先登录',
@@ -26,34 +27,27 @@ module.exports = {
   'error.duplicate': '{{#resource}}已存在',
   'error.conflict': '操作冲突: {{#reason}}',
 
-  // I18nError - 账户相关 (v1.1.1)
-  // v1.1.5: 部分使用对象格式示例
-  'account.notFound': {
-    code: 'ACCOUNT_NOT_FOUND',
-    message: '账户不存在'
-  },
+  // Account
+  'account.notFound': { code: 'ACCOUNT_NOT_FOUND', message: '账户不存在' },
   'account.inactive': '账户未激活',
   'account.banned': '账户已被封禁',
   'account.insufficientBalance': {
     code: 'INSUFFICIENT_BALANCE',
-    message: '余额不足，当前余额{{#balance}}，需要{{#required}}'
+    message: '余额不足，当前余额{{#balance}}，需要{{#required}}',
   },
   'account.insufficientCredits': '积分不足，当前积分{{#credits}}，需要{{#required}}',
 
-  // I18nError - 用户相关 (v1.1.1)
+  // User
   'user.notFound': '用户不存在',
   'user.notVerified': '用户未验证',
   'user.noPermission': '没有管理员权限',
 
-  // I18nError - 订单相关 (v1.1.1)
-  'order.notPaid': {
-    code: 'ORDER_NOT_PAID',
-    message: '订单未支付'
-  },
+  // Order
+  'order.notPaid': { code: 'ORDER_NOT_PAID', message: '订单未支付' },
   'order.paymentMissing': '缺少支付信息',
   'order.addressMissing': '缺少收货地址',
 
-  // Formats
+  // Format
   'format.email': '{{#label}}必须是有效的邮箱地址',
   'format.url': '{{#label}}必须是有效的URL地址',
   'format.uuid': '{{#label}}必须是有效的UUID',
@@ -68,7 +62,6 @@ module.exports = {
   'string.hostname': '{{#label}}必须是有效的主机名',
   'string.pattern': '{{#label}}格式不符合要求',
   'string.enum': '{{#label}}必须是以下值之一: {{#valids}}',
-  // v1.0.2新增
   'string.length': '{{#label}}长度必须是{{#limit}}个字符',
   'string.alphanum': '{{#label}}只能包含字母和数字',
   'string.trim': '{{#label}}不能包含前后空格',
@@ -82,7 +75,6 @@ module.exports = {
   'number.integer': '{{#label}}必须是整数',
   'number.positive': '{{#label}}必须是正数',
   'number.negative': '{{#label}}必须是负数',
-  // v1.0.2新增
   'number.precision': '{{#label}}小数位数不能超过{{#limit}}位',
   'number.port': '{{#label}}必须是有效的端口号(1-65535)',
 
@@ -94,10 +86,8 @@ module.exports = {
   'object.min': '{{#label}}至少需要{{#limit}}个属性',
   'object.max': '{{#label}}最多只能有{{#limit}}个属性',
   'object.unknown': '{{#label}}包含未知属性: {{#key}}',
-  // v1.0.2新增
   'object.missing': '{{#label}}缺少必需属性',
   'object.schema': '{{#label}}包含额外属性',
-  // v1.1.6新增 - additionalProperties
   'additionalProperties': '{{#label}}不允许有额外属性: {{#key}}',
 
   // Array
@@ -106,7 +96,6 @@ module.exports = {
   'array.max': '{{#label}}最多只能有{{#limit}}个元素',
   'array.length': '{{#label}}必须有{{#limit}}个元素',
   'array.unique': '{{#label}}不能包含重复元素',
-  // v1.0.2新增
   'array.sparse': '{{#label}}不能是稀疏数组',
   'array.includesRequired': '{{#label}}必须包含指定元素',
 
@@ -114,7 +103,6 @@ module.exports = {
   'date.base': '{{#label}}必须是有效的日期',
   'date.min': '{{#label}}不能早于{{#limit}}',
   'date.max': '{{#label}}不能晚于{{#limit}}',
-  // v1.0.2新增
   'date.format': '{{#label}}日期格式不正确',
   'date.greater': '{{#label}}必须晚于{{#limit}}',
   'date.less': '{{#label}}必须早于{{#limit}}',
@@ -125,7 +113,7 @@ module.exports = {
   'any.only': '{{#label}}必须匹配{{#valids}}',
   'any.unknown': '不允许字段{{#key}}',
 
-  // Patterns (Legacy/Specific)
+  // Patterns
   'pattern.phone': '请输入有效的手机号',
   'pattern.phone.international': '请输入有效的国际手机号',
   'pattern.idCard': '请输入有效的身份证号码',
@@ -144,34 +132,29 @@ module.exports = {
   'pattern.macAddress': '无效的 MAC 地址',
   'pattern.cron': '无效的 Cron 表达式',
   'pattern.slug': 'URL别名只能包含小写字母、数字和连字符',
-  // v1.0.2新增
   'pattern.domain': '{{#label}}必须是有效的域名',
   'pattern.ip': '{{#label}}必须是有效的IP地址',
   'pattern.base64': '{{#label}}必须是有效的Base64编码',
   'pattern.jwt': '{{#label}}必须是有效的JWT令牌',
   'pattern.json': '{{#label}}必须是有效的JSON字符串',
-
-  // Username & Password
   'pattern.username': '用户名必须以字母开头，只能包含字母、数字和下划线',
   'pattern.password.weak': '密码至少6位',
   'pattern.password.medium': '密码至少8位，需包含字母和数字',
   'pattern.password.strong': '密码至少8位，需包含大小写字母和数字',
   'pattern.password.veryStrong': '密码至少10位，需包含大小写字母、数字和特殊字符',
-
-  // Union Type (联合类型)
   'pattern.emailOrPhone': '必须是邮箱或手机号',
   'pattern.usernameOrEmail': '必须是用户名或邮箱',
   'pattern.httpOrHttps': '必须是 http 或 https 开头的 URL',
 
-  // oneOf (跨类型联合) - v1.1.0 新增
+  // oneOf
   oneOf: '{{#label}}必须匹配以下类型之一',
   'oneOf.invalid': '{{#label}}的值不匹配任何允许的类型',
 
-  // Unknown error fallback
-  'UNKNOWN_ERROR': '未知的验证错误',
+  // Error fallback
+  UNKNOWN_ERROR: '未知的验证错误',
+  CUSTOM_VALIDATION_FAILED: '自定义验证失败',
+  ASYNC_VALIDATION_NOT_SUPPORTED: '同步验证不支持异步操作',
+  VALIDATE_MUST_BE_FUNCTION: 'validate 必须是一个函数',
+}
 
-  // Custom validation
-  'CUSTOM_VALIDATION_FAILED': '自定义验证失败',
-  'ASYNC_VALIDATION_NOT_SUPPORTED': '同步验证不支持异步操作',
-  'VALIDATE_MUST_BE_FUNCTION': 'validate 必须是一个函数'
-};
+export default zhCN

package/src/parser/ConstraintParser.ts

@@ -0,0 +1,101 @@
+import type { JSONSchema } from '../types/schema.js'
+
+/**
+ * ConstraintParser — parses DSL constraint strings into Partial<JSONSchema>
+ *
+ * Fixes:
+ *   DA-03 string:N semantic divergence → always returns exactLength:N (not minLength+maxLength)
+ *   DB-03 negative range support → regex updated to /^(-?\d*\.?\d*)-(-?\d*\.?\d*)$/
+ *
+ * Return type is always Partial<JSONSchema>; never returns a raw string (v1 bug)
+ */
+export const ConstraintParser = {
+  /**
+   * Parse a constraint string
+   * @param constraintStr - The constraint portion (type name and '!' already stripped)
+   * @param baseType - Base type name ('string' | 'number' | 'integer' | 'array' | ...)
+   * @returns Partial<JSONSchema>; returns {} when unparseable (avoids polluting the target schema)
+   */
+  parse(constraintStr: string, baseType: string): Partial<JSONSchema> {
+    if (!constraintStr) return {}
+
+    const s = constraintStr.trim()
+    if (!s) return {}
+
+    // ========== 1. Comparison operators (number/integer only, highest priority) ==========
+    if (baseType === 'number' || baseType === 'integer') {
+      // >= : greater than or equal (supports negative and decimal)
+      const gteMatch = /^>=(-?\d+(?:\.\d+)?)$/.exec(s)
+      if (gteMatch) return { minimum: parseFloat(gteMatch[1]) }
+
+      // <= : less than or equal
+      const lteMatch = /^<=(-?\d+(?:\.\d+)?)$/.exec(s)
+      if (lteMatch) return { maximum: parseFloat(lteMatch[1]) }
+
+      // > : greater than
+      const gtMatch = /^>(-?\d+(?:\.\d+)?)$/.exec(s)
+      if (gtMatch) return { exclusiveMinimum: parseFloat(gtMatch[1]) }
+
+      // < : less than
+      const ltMatch = /^<(-?\d+(?:\.\d+)?)$/.exec(s)
+      if (ltMatch) return { exclusiveMaximum: parseFloat(ltMatch[1]) }
+
+      // = : exact equal
+      const eqMatch = /^=(-?\d+(?:\.\d+)?)$/.exec(s)
+      if (eqMatch) return { enum: [parseFloat(eqMatch[1])] }
+    }
+
+    // ========== 2. Enum (x|y|z) ==========
+    // Only when '|' is present and it is not a pure numeric range
+    if (s.includes('|') && !/^-?\d*\.?\d*--?\d*\.?\d*$/.test(s)) {
+      return { enum: s.split('|').map(v => v.trim()) }
+    }
+
+    // ========== 3. Range constraint (supports negatives — fix DB-03) ==========
+    // Format: N-M, N-, -M (N/M may include a minus sign and decimal point)
+    // Regex: /^(-?\d*\.?\d*)-(-?\d*\.?\d*)$/
+    // Note: in "-M" format the value is treated as an upper bound (absolute value), not a negative lower bound
+    const rangeMatch = /^(-?\d*\.?\d*)-(-?\d*\.?\d*)$/.exec(s)
+    if (rangeMatch) {
+      const [, rawMin, rawMax] = rangeMatch
+      const result: Partial<JSONSchema> = {}
+
+      if (baseType === 'string') {
+        // string type: minLength / maxLength (integers, non-negative)
+        if (rawMin) result.minLength = Math.max(0, parseInt(rawMin, 10))
+        // "-M" format: take absolute value
+        if (rawMax) result.maxLength = Math.abs(parseInt(rawMax, 10))
+      } else if (baseType === 'array') {
+        if (rawMin) result.minItems = Math.max(0, parseInt(rawMin, 10))
+        if (rawMax) result.maxItems = Math.abs(parseInt(rawMax, 10))
+      } else {
+        // number / integer
+        if (rawMin) result.minimum = parseFloat(rawMin)
+        if (rawMax) result.maximum = parseFloat(rawMax)
+      }
+
+      return result
+    }
+
+    // ========== 4. Single-value constraint ==========
+    // Positive integer or decimal, no leading minus (negatives are handled by comparison operators above)
+    const singleMatch = /^(\d+(?:\.\d+)?)$/.exec(s)
+    if (singleMatch) {
+      const value = parseFloat(singleMatch[1])
+
+      if (baseType === 'string') {
+        // v1 compat: string:N → exactLength:N (exact length)
+        return { exactLength: Math.floor(value) }
+      } else if (baseType === 'array') {
+        return { maxItems: Math.floor(value) }
+      } else {
+        // number/integer single value = upper bound (maximum)
+        return { maximum: value }
+      }
+    }
+
+    // ========== 5. Unparseable: warn and return {} ==========
+    console.warn(`[schema-dsl] ConstraintParser: unrecognized constraint "${constraintStr}" for type "${baseType}" — ignored`)
+    return {}
+  },
+}