outlines

JsonSchema.__eq__ 仅比较解析后的 schema JSON，而忽略了 whitespace_pattern，因此 pattern 不同的 schema 会被视为相同，缓存/去重机制可能会复用错误的 logits processor。请修复相等性判断，使其同时比较 pattern：

def __eq__(self, other):
    if not isinstance(other, JsonSchema):
        return False
    try:
        self_dict = json.loads(self.schema)
        other_dict = json.loads(other.schema)
        return (
            self_dict == other_dict
            and self.whitespace_pattern == other.whitespace_pattern
        )
    except json.JSONDecodeError:
        return (
            self.schema == other.schema
            and self.whitespace_pattern == other.whitespace_pattern
        )

在补丁修复之前，避免仅以 JsonSchema 作为缓存 processor 的键；请使用诸如 (schema.schema, schema.whitespace_pattern) 的缓存键，或在 pattern 发生变化时清除相关缓存。

更新 scripts/gen_ref_pages.py，使 mkdocs-gen-files 扫描新的包位置。将旧路径 root / "outlines" 替换为 root / "src" / "outlines"。更改完成后，使用 MkDocs 重新构建文档，并验证诸如 site/api_reference/models/index.html 之类的页面已生成。出现此问题的原因是 src-layout 迁移将包从 outlines/ 移动到了 src/outlines/，导致旧的 glob 匹配为空。

在 src/outlines/types/json_schema_utils.py 中，json_schema_dict_to_dataclass 为非必需字段将默认值设为 None，但并未将其类型包装为 Optional。请更新该转换器，使非必需属性使用 Optional[typ]：

from typing import Optional

for property, details in properties.items():
    typ = schema_type_to_python(details, "dataclass")

    if property not in required:
        typ = Optional[typ]
        defaults[property] = None

    annotations[property] = typ

这样，可选的 JSON Schema integer 会生成 age: Optional[int] = None，与 Pydantic 转换器的行为一致，并允许在结构化生成中使用 null。作为临时变通方案，可以手动将非必需的 dataclass 字段声明为 Optional[T] = None，或者在修复应用之前使用 convert_to(schema, "pydantic")。

数值在未转义的情况下被转换为正则表达式，因此 1.5 中的 . 会被当作正则表达式通配符。在 src/outlines/types/dsl.py 中，将数值项的构造从 Regex(str(value)) 改为 Regex(re.escape(str(value)))，并确保已导入 re：

import re

# 在 python_types_to_terms 处理 int/float 的逻辑中：
term = Regex(re.escape(str(value)))

这样会生成 1\.5，因此 Literal[1.5] 只匹配 "1.5"，而拒绝 "1x5"。在该修复发布之前，请使用显式转义的正则表达式（例如 Regex(r"1\.5")），而不要使用浮点数字面量约束。

ipv6 正则表达式复用了旧的 IPv4 八位字节模式，因此诸如 ::ffff:01.1.1.1 或 ::ffff:00.0.0.0 这样的后缀会被错误地匹配。

请在 src/outlines/types/__init__.py 中修复此问题，将 ipv6 定义中两处旧八位字节模式全部替换：

旧模式：
25[0-5]|2[0-4][0-9]|1?[0-9]{1,2}

新模式：
25[0-5]|2[0-4][0-9]|1[0-9][0-9]|[1-9]?[0-9]

必须在两个 IPv4 映射分支中都进行更新：
- ::ffff:a.b.c.d
- x:x:x:x::a.b.c.d

新模式接受规范的八位字节，如 0、1、42 和 192，但拒绝前导零形式，如 00、01 和 007。

在应用补丁之前，作为临时解决方法，可以使用 Python 标准库验证生成的地址：

import ipaddress

def is_valid_ip(value: str) -> bool:
    try:
        ipaddress.ip_address(value)
        return True
    except ValueError:
        return False

应用正则表达式修复后，::ffff:192.168.1.1 和 1:2:3:4::5.6.7.8 仍然匹配，而 ::ffff:01.1.1.1、::ffff:00.0.0.0 和 1:2:3:4::5.6.007.8 会被拒绝。