Preserve extra JSON schema properties in ToolJson serialization#7250

Merged

stephentoub merged 3 commits intomainfrom

copilot/fix-toolsjson-definitions-object

Feb 2, 2026

Commits on Jan 31, 2026

Commits on Feb 2, 2026

Update comment to reflect that ToolJson no longer removes extra properties

Copilot
and
stephentoub
committed