outlines

JsonSchema.__eq__ はパース済みのスキーマ JSON のみを比較し、whitespace_pattern を考慮していないため、パターンの異なるスキーマが同一として扱われ、キャッシュや重複排除で誤った logits プロセッサが再利用される可能性があります。等価性の判定でパターンも比較するように修正してください:

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 のみをキーとしてプロセッサをキャッシュするのは避けてください。(schema.schema, schema.whitespace_pattern) のようなキャッシュキーを使用するか、パターンが変更された際に該当するキャッシュをクリアしてください。

scripts/gen_ref_pages.py を更新し、mkdocs-gen-files が新しいパッケージの場所をスキャンするようにします。古いパス root / "outlines" を root / "src" / "outlines" に置き換えてください。変更後、MkDocs でドキュメントを再ビルドし、site/api_reference/models/index.html などのページが生成されていることを確認します。この問題は、srcレイアウトへの移行によってパッケージが 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 の整数は 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

# Inside python_types_to_terms handling for int/float:
term = Regex(re.escape(str(value)))

これにより 1\.5 が生成されるため、Literal[1.5] は "1.5" のみにマッチし、"1x5" を拒否します。修正がリリースされるまでは、float リテラル制約の代わりに、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-mapped の両方の分岐で更新する必要があります:
- ::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 は拒否されます。