Reasoning.effort is stored as a word; only the constructor takes None (type checkers see both)

Signed-off-by: Maxime Rivest <mrive052@gmail.com>

Author: MaximeRivest

lm15/types.py

@@ -1824,10 +1824,22 @@ class Reasoning:
     MAP-7 rule 3, amended 2026-10-10).
     """
 
-    effort: ReasoningEffort | None = None
+    # Stored: always a word once built (a budget alone fills it, below).  The
+    # constructor also takes None; the generated __init__ block says so.
+    effort: ReasoningEffort = None  # type: ignore[assignment]
     thinking_budget: int | None = None
     summary: ReasoningSummary | None = None
 
+    # BEGIN generated by tools/gen_init_signatures.py: do not edit
+    if TYPE_CHECKING:
+        def __init__(
+            self,
+            effort: ReasoningEffort | None = ...,
+            thinking_budget: int | None = ...,
+            summary: ReasoningSummary | None = ...,
+        ) -> None: ...
+    # END generated
+
     def __post_init__(self) -> None:
         if self.effort is None:
             if self.thinking_budget is None:

tools/gen_init_signatures.py

@@ -36,7 +36,7 @@
 TYPES: dict[str, tuple[str, ...]] = {
     "lm15.types": (
         "ToolCallPart", "ToolResultPart", "DataPart", "Message", "FunctionTool", "BuiltinTool",
-        "ToolChoice", "Config", "Request", "TokenLogprob", "FileUploadRequest",
+        "ToolChoice", "Reasoning", "Config", "Request", "TokenLogprob", "FileUploadRequest",
         "SpeechGenerationRequest",
         "FilePage", "CachePage", "BatchRequest", "ImageGenerationRequest",
         "ImageGenerationResponse", "VideoGenerationRequest", "LiveConfig",
@@ -52,6 +52,7 @@
 # __post_init__; the test cross-checks them by constructing the value).
 WIDER: dict[tuple[str, str], str] = {
     ("Message", "parts"): "Part | Sequence[Part]",
+    ("Reasoning", "effort"): "ReasoningEffort | None",
     ("ToolChoice", "allowed"): "str | Sequence[str]",
     ("Config", "stop"): "str | Sequence[str]",
     ("Request", "messages"): "Message | Sequence[Message]",

typecheck/baseline.txt

@@ -174,7 +174,7 @@
 11 lm15/providers/openai.py|union-attr|Item "list[JsonValue]" of "int | float | str | list[JsonValue] | dict[str, JsonValue] | Any | dict[str | Any, int | float | str | list[JsonValue] | dict[str, JsonValue] | Any | None] | None" has no attribute "get"
 5 lm15/providers/openai.py|union-attr|Item "str" of "Any | int | float | str | list[JsonValue] | dict[str, JsonValue] | dict[str | Any, int | float | str | list[JsonValue] | dict[str, JsonValue] | Any | None]" has no attribute "get"
 11 lm15/providers/openai.py|union-attr|Item "str" of "int | float | str | list[JsonValue] | dict[str, JsonValue] | Any | dict[str | Any, int | float | str | list[JsonValue] | dict[str, JsonValue] | Any | None] | None" has no attribute "get"
-1 lm15/providers/openai_chat.py|arg-type|Argument "effort" to "Reasoning" has incompatible type "str"; expected "Literal['off', 'minimal', 'low', 'medium', 'high', 'xhigh', 'max']"
+1 lm15/providers/openai_chat.py|arg-type|Argument "effort" to "Reasoning" has incompatible type "str"; expected "Literal['off', 'minimal', 'low', 'medium', 'high', 'xhigh', 'max'] | None"
 1 lm15/providers/openai_chat.py|arg-type|Argument "finish_reason" to "Response" has incompatible type "str"; expected "Literal['stop', 'length', 'tool_call', 'content_filter', 'error']"
 1 lm15/providers/openai_chat.py|arg-type|Argument "finish_reason" to "StreamEndEvent" has incompatible type "str"; expected "Literal['stop', 'length', 'tool_call', 'content_filter', 'error'] | None"
 1 lm15/providers/openai_chat.py|arg-type|Argument "key" to "max" has incompatible type overloaded function; expected "Callable[[str], SupportsDunderLT[Any] | SupportsDunderGT[Any]]"