[Fix] Allow closed object schemas in Outlines prevalidation (#39869)

python/sglang/srt/constrained/json_schema_validation.py

@@ -224,17 +224,20 @@ def validate_outlines_json_schema(schema: Any) -> None:
             )
 
         if "properties" in subschema:
-            ignored_object_constraints = sorted(
+            ignored_object_constraints = {
-                {"additionalProperties", "maxProperties", "minProperties"}.intersection(
+                "additionalProperties",
-                    subschema
+                "maxProperties",
-                )
+                "minProperties",
-            )
+            }.intersection(subschema)
+            if subschema.get("additionalProperties") is False:
+                # The properties regex already excludes undeclared keys.
+                ignored_object_constraints.discard("additionalProperties")
             if ignored_object_constraints:
                 _raise_unsupported(
                     "outlines",
                     pointer,
                     "properties cannot be combined with "
-                    + ", ".join(ignored_object_constraints),
+                    + ", ".join(sorted(ignored_object_constraints)),
                 )
 
         if "prefixItems" in subschema:

test/registered/unit/constrained/test_json_schema_validation.py

@@ -127,6 +127,7 @@ class TestOutlinesJSONSchemaValidation(unittest.TestCase):
                     },
                 },
                 "required": ["name"],
+                "additionalProperties": False,
             }
         )
 
@@ -155,7 +156,7 @@ class TestOutlinesJSONSchemaValidation(unittest.TestCase):
             {
                 "type": "object",
                 "properties": {"name": {"type": "string"}},
-                "additionalProperties": False,
+                "additionalProperties": True,
             },
             {
                 "type": "array",