schema-dsl 2.0.0 → 2.0.1

package/src/locales/zh-CN.ts

@@ -1,160 +1,160 @@
-import type { LocaleMessages } from './types.js'
-
-const zhCN: LocaleMessages = {
-  // Generic
-  required: '{{#label}}不能为空',
-  type: '{{#label}}应该是 {{#expected}} 类型',
-  min: '{{#label}}长度不能少于{{#limit}}个字符',
-  max: '{{#label}}长度不能超过{{#limit}}个字符',
-  length: '{{#label}}长度必须是{{#limit}}个字符',
-  pattern: '{{#label}}格式不正确',
-  enum: '{{#label}}必须是以下值之一: {{#allowed}}',
-  custom: '{{#label}}验证失败: {{#message}}',
-  circular: '{{#label}}检测到循环引用',
-  'max-depth': '超过最大递归深度 ({{#depth}}) at {{#label}}',
-  exception: '{{#label}}验证异常: {{#message}}',
-
-  // Conditional
-  'conditional.underAge': '未成年用户不能注册',
-  'conditional.blocked': '账号已被封禁',
-  'conditional.notAllowed': '不允许注册',
-
-  // I18nError — generic
-  'error.notFound': '找不到{{#resource}}',
-  'error.forbidden': '没有权限访问{{#resource}}',
-  'error.unauthorized': '未授权，请先登录',
-  'error.invalid': '{{#field}}无效',
-  'error.duplicate': '{{#resource}}已存在',
-  'error.conflict': '操作冲突: {{#reason}}',
-
-  // Account
-  'account.notFound': { code: 'ACCOUNT_NOT_FOUND', message: '账户不存在' },
-  'account.inactive': '账户未激活',
-  'account.banned': '账户已被封禁',
-  'account.insufficientBalance': {
-    code: 'INSUFFICIENT_BALANCE',
-    message: '余额不足，当前余额{{#balance}}，需要{{#required}}',
-  },
-  'account.insufficientCredits': '积分不足，当前积分{{#credits}}，需要{{#required}}',
-
-  // User
-  'user.notFound': '用户不存在',
-  'user.notVerified': '用户未验证',
-  'user.noPermission': '没有管理员权限',
-
-  // Order
-  'order.notPaid': { code: 'ORDER_NOT_PAID', message: '订单未支付' },
-  'order.paymentMissing': '缺少支付信息',
-  'order.addressMissing': '缺少收货地址',
-
-  // Format
-  'format.email': '{{#label}}必须是有效的邮箱地址',
-  'format.url': '{{#label}}必须是有效的URL地址',
-  'format.uuid': '{{#label}}必须是有效的UUID',
-  'format.date': '{{#label}}必须是有效的日期格式 (YYYY-MM-DD)',
-  'format.datetime': '{{#label}}必须是有效的日期时间格式 (ISO 8601)',
-  'format.time': '{{#label}}必须是有效的时间格式 (HH:mm:ss)',
-  'format.ipv4': '{{#label}}必须是有效的IPv4地址',
-  'format.ipv6': '{{#label}}必须是有效的IPv6地址',
-  'format.binary': '{{#label}}必须是有效的Base64编码',
-
-  // String
-  '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}}必须是数字类型',
-  'number.min': '{{#label}}不能小于{{#limit}}',
-  'number.max': '{{#label}}不能大于{{#limit}}',
-  'number.integer': '{{#label}}必须是整数',
-  'number.positive': '{{#label}}必须是正数',
-  'number.negative': '{{#label}}必须是负数',
-  'number.precision': '{{#label}}小数位数不能超过{{#limit}}位',
-  'number.port': '{{#label}}必须是有效的端口号(1-65535)',
-
-  // Boolean
-  'boolean.base': '{{#label}}必须是布尔类型',
-
-  // Object
-  'object.base': '{{#label}}必须是对象类型',
-  'object.min': '{{#label}}至少需要{{#limit}}个属性',
-  'object.max': '{{#label}}最多只能有{{#limit}}个属性',
-  'object.unknown': '{{#label}}包含未知属性: {{#key}}',
-  'object.missing': '{{#label}}缺少必需属性',
-  'object.schema': '{{#label}}包含额外属性',
-  'additionalProperties': '{{#label}}不允许有额外属性: {{#key}}',
-
-  // Array
-  'array.base': '{{#label}}必须是数组类型',
-  'array.min': '{{#label}}至少需要{{#limit}}个元素',
-  '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}}是必填项',
-  'any.invalid': '{{#label}}包含无效值',
-  'any.only': '{{#label}}必须匹配{{#valids}}',
-  'any.unknown': '不允许字段{{#key}}',
-
-  // Patterns
-  'pattern.phone': '请输入有效的手机号',
-  'pattern.phone.international': '请输入有效的国际手机号',
-  'pattern.idCard': '请输入有效的身份证号码',
-  'pattern.creditCard': '无效的信用卡号',
-  'pattern.creditCard.visa': '无效的Visa卡号',
-  'pattern.creditCard.mastercard': '无效的万事达卡号',
-  'pattern.creditCard.amex': '无效的美国运通卡号',
-  'pattern.creditCard.discover': '无效的Discover卡号',
-  'pattern.creditCard.jcb': '无效的JCB卡号',
-  'pattern.creditCard.unionpay': '无效的银联卡号',
-  'pattern.licensePlate': '请输入有效的车牌号',
-  'pattern.postalCode': '请输入有效的邮政编码',
-  'pattern.passport': '请输入有效的护照号码',
-  'pattern.objectId': '无效的 ObjectId',
-  'pattern.hexColor': '无效的十六进制颜色值',
-  'pattern.macAddress': '无效的 MAC 地址',
-  'pattern.cron': '无效的 Cron 表达式',
-  'pattern.slug': 'URL别名只能包含小写字母、数字和连字符',
-  'pattern.domain': '{{#label}}必须是有效的域名',
-  'pattern.ip': '{{#label}}必须是有效的IP地址',
-  'pattern.base64': '{{#label}}必须是有效的Base64编码',
-  'pattern.jwt': '{{#label}}必须是有效的JWT令牌',
-  'pattern.json': '{{#label}}必须是有效的JSON字符串',
-  '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
-  oneOf: '{{#label}}必须匹配以下类型之一',
-  'oneOf.invalid': '{{#label}}的值不匹配任何允许的类型',
-
-  // Error fallback
-  UNKNOWN_ERROR: '未知的验证错误',
-  CUSTOM_VALIDATION_FAILED: '自定义验证失败',
-  ASYNC_VALIDATION_NOT_SUPPORTED: '同步验证不支持异步操作',
-  VALIDATE_MUST_BE_FUNCTION: 'validate 必须是一个函数',
-}
-
-export default zhCN
+import type { LocaleMessages } from './types.js'
+
+const zhCN: LocaleMessages = {
+  // Generic
+  required: '{{#label}}不能为空',
+  type: '{{#label}}应该是 {{#expected}} 类型',
+  min: '{{#label}}长度不能少于{{#limit}}个字符',
+  max: '{{#label}}长度不能超过{{#limit}}个字符',
+  length: '{{#label}}长度必须是{{#limit}}个字符',
+  pattern: '{{#label}}格式不正确',
+  enum: '{{#label}}必须是以下值之一: {{#allowed}}',
+  custom: '{{#label}}验证失败: {{#message}}',
+  circular: '{{#label}}检测到循环引用',
+  'max-depth': '超过最大递归深度 ({{#depth}}) at {{#label}}',
+  exception: '{{#label}}验证异常: {{#message}}',
+
+  // Conditional
+  'conditional.underAge': '未成年用户不能注册',
+  'conditional.blocked': '账号已被封禁',
+  'conditional.notAllowed': '不允许注册',
+
+  // I18nError — generic
+  'error.notFound': '找不到{{#resource}}',
+  'error.forbidden': '没有权限访问{{#resource}}',
+  'error.unauthorized': '未授权，请先登录',
+  'error.invalid': '{{#field}}无效',
+  'error.duplicate': '{{#resource}}已存在',
+  'error.conflict': '操作冲突: {{#reason}}',
+
+  // Account
+  'account.notFound': { code: 'ACCOUNT_NOT_FOUND', message: '账户不存在' },
+  'account.inactive': '账户未激活',
+  'account.banned': '账户已被封禁',
+  'account.insufficientBalance': {
+    code: 'INSUFFICIENT_BALANCE',
+    message: '余额不足，当前余额{{#balance}}，需要{{#required}}',
+  },
+  'account.insufficientCredits': '积分不足，当前积分{{#credits}}，需要{{#required}}',
+
+  // User
+  'user.notFound': '用户不存在',
+  'user.notVerified': '用户未验证',
+  'user.noPermission': '没有管理员权限',
+
+  // Order
+  'order.notPaid': { code: 'ORDER_NOT_PAID', message: '订单未支付' },
+  'order.paymentMissing': '缺少支付信息',
+  'order.addressMissing': '缺少收货地址',
+
+  // Format
+  'format.email': '{{#label}}必须是有效的邮箱地址',
+  'format.url': '{{#label}}必须是有效的URL地址',
+  'format.uuid': '{{#label}}必须是有效的UUID',
+  'format.date': '{{#label}}必须是有效的日期格式 (YYYY-MM-DD)',
+  'format.datetime': '{{#label}}必须是有效的日期时间格式 (ISO 8601)',
+  'format.time': '{{#label}}必须是有效的时间格式 (HH:mm:ss)',
+  'format.ipv4': '{{#label}}必须是有效的IPv4地址',
+  'format.ipv6': '{{#label}}必须是有效的IPv6地址',
+  'format.binary': '{{#label}}必须是有效的Base64编码',
+
+  // String
+  '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}}必须是数字类型',
+  'number.min': '{{#label}}不能小于{{#limit}}',
+  'number.max': '{{#label}}不能大于{{#limit}}',
+  'number.integer': '{{#label}}必须是整数',
+  'number.positive': '{{#label}}必须是正数',
+  'number.negative': '{{#label}}必须是负数',
+  'number.precision': '{{#label}}小数位数不能超过{{#limit}}位',
+  'number.port': '{{#label}}必须是有效的端口号(1-65535)',
+
+  // Boolean
+  'boolean.base': '{{#label}}必须是布尔类型',
+
+  // Object
+  'object.base': '{{#label}}必须是对象类型',
+  'object.min': '{{#label}}至少需要{{#limit}}个属性',
+  'object.max': '{{#label}}最多只能有{{#limit}}个属性',
+  'object.unknown': '{{#label}}包含未知属性: {{#key}}',
+  'object.missing': '{{#label}}缺少必需属性',
+  'object.schema': '{{#label}}包含额外属性',
+  'additionalProperties': '{{#label}}不允许有额外属性: {{#key}}',
+
+  // Array
+  'array.base': '{{#label}}必须是数组类型',
+  'array.min': '{{#label}}至少需要{{#limit}}个元素',
+  '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}}是必填项',
+  'any.invalid': '{{#label}}包含无效值',
+  'any.only': '{{#label}}必须匹配{{#valids}}',
+  'any.unknown': '不允许字段{{#key}}',
+
+  // Patterns
+  'pattern.phone': '请输入有效的手机号',
+  'pattern.phone.international': '请输入有效的国际手机号',
+  'pattern.idCard': '请输入有效的身份证号码',
+  'pattern.creditCard': '无效的信用卡号',
+  'pattern.creditCard.visa': '无效的Visa卡号',
+  'pattern.creditCard.mastercard': '无效的万事达卡号',
+  'pattern.creditCard.amex': '无效的美国运通卡号',
+  'pattern.creditCard.discover': '无效的Discover卡号',
+  'pattern.creditCard.jcb': '无效的JCB卡号',
+  'pattern.creditCard.unionpay': '无效的银联卡号',
+  'pattern.licensePlate': '请输入有效的车牌号',
+  'pattern.postalCode': '请输入有效的邮政编码',
+  'pattern.passport': '请输入有效的护照号码',
+  'pattern.objectId': '无效的 ObjectId',
+  'pattern.hexColor': '无效的十六进制颜色值',
+  'pattern.macAddress': '无效的 MAC 地址',
+  'pattern.cron': '无效的 Cron 表达式',
+  'pattern.slug': 'URL别名只能包含小写字母、数字和连字符',
+  'pattern.domain': '{{#label}}必须是有效的域名',
+  'pattern.ip': '{{#label}}必须是有效的IP地址',
+  'pattern.base64': '{{#label}}必须是有效的Base64编码',
+  'pattern.jwt': '{{#label}}必须是有效的JWT令牌',
+  'pattern.json': '{{#label}}必须是有效的JSON字符串',
+  '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
+  oneOf: '{{#label}}必须匹配以下类型之一',
+  'oneOf.invalid': '{{#label}}的值不匹配任何允许的类型',
+
+  // Error fallback
+  UNKNOWN_ERROR: '未知的验证错误',
+  CUSTOM_VALIDATION_FAILED: '自定义验证失败',
+  ASYNC_VALIDATION_NOT_SUPPORTED: '同步验证不支持异步操作',
+  VALIDATE_MUST_BE_FUNCTION: 'validate 必须是一个函数',
+}
+
+export default zhCN

package/src/parser/ConstraintParser.ts

@@ -1,101 +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 {}
-  },
-}
+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 {}
+  },
+}