chore: add JSON schema policy fixture coverage

codex-rs/tools/Cargo.toml

@@ -31,6 +31,7 @@ tracing = { workspace = true }
 urlencoding = { workspace = true }
 
 [dev-dependencies]
+codex-utils-cargo-bin = { workspace = true }
 pretty_assertions = { workspace = true }
 
 [lib]

codex-rs/tools/tests/fixtures/json_schema_policy/google_calendar.json

@@ -0,0 +1,85 @@
+{
+  "source": "standard/google_calendar/tools",
+  "tools": [
+    {
+      "name": "google_calendar_create_event",
+      "description": "Create a calendar event.",
+      "input_schema": {
+        "type": "object",
+        "properties": {
+          "event": {
+            "$ref": "#/definitions/Event"
+          },
+          "notify_attendees": {
+            "type": "boolean",
+            "description": "Whether attendees should receive notifications."
+          }
+        },
+        "required": [
+          "event"
+        ],
+        "definitions": {
+          "Event": {
+            "type": "object",
+            "description": "Calendar event payload.",
+            "properties": {
+              "title": {
+                "type": "string",
+                "description": "Event title."
+              },
+              "start": {
+                "anyOf": [
+                  {
+                    "$ref": "#/definitions/DateTime"
+                  },
+                  {
+                    "type": "null"
+                  }
+                ]
+              }
+            }
+          },
+          "DateTime": {
+            "type": "object",
+            "description": "Calendar date-time.",
+            "properties": {
+              "dateTime": {
+                "type": "string",
+                "format": "date-time",
+                "description": "RFC3339 date-time."
+              },
+              "timeZone": {
+                "type": "string",
+                "enum": [
+                  "UTC",
+                  "America/Los_Angeles"
+                ],
+                "description": "IANA time zone."
+              }
+            }
+          },
+          "UnusedCalendarResource": {
+            "type": "string",
+            "description": "Unreachable calendar resource."
+          }
+        }
+      },
+      "expected_preserved": [
+        {
+          "pointer": "/properties/event/$ref",
+          "value": "#/definitions/Event"
+        },
+        {
+          "pointer": "/definitions/DateTime/properties/timeZone/enum/1",
+          "value": "America/Los_Angeles"
+        }
+      ],
+      "expected_pruned": [
+        "/definitions/UnusedCalendarResource"
+      ],
+      "expected_dropped_fields": [
+        "/definitions/DateTime/properties/dateTime/format"
+      ]
+    }
+  ]
+}

codex-rs/tools/tests/fixtures/json_schema_policy/google_drive.json

@@ -0,0 +1,65 @@
+{
+  "source": "standard/google_drive/tools",
+  "tools": [
+    {
+      "name": "google_drive_copy_file",
+      "description": "Copy a Google Drive file.",
+      "input_schema": {
+        "type": "object",
+        "properties": {
+          "file": {
+            "description": "File selector.",
+            "oneOf": [
+              {
+                "type": "string",
+                "description": "A Drive file ID."
+              },
+              {
+                "type": "object",
+                "properties": {
+                  "shared_drive_id": {
+                    "type": "string",
+                    "description": "Shared drive identifier."
+                  }
+                }
+              }
+            ]
+          },
+          "metadata": {
+            "description": "Optional copy metadata.",
+            "allOf": [
+              {
+                "type": "object",
+                "description": "Base metadata.",
+                "properties": {
+                  "source": {
+                    "type": "string",
+                    "description": "Metadata source."
+                  }
+                }
+              }
+            ]
+          },
+          "title": {
+            "type": "string",
+            "description": "Copied file title."
+          }
+        },
+        "required": [
+          "file"
+        ]
+      },
+      "expected_preserved": [
+        {
+          "pointer": "/properties/title/description",
+          "value": "Copied file title."
+        }
+      ],
+      "expected_pruned": [],
+      "expected_dropped_fields": [
+        "/properties/file/oneOf",
+        "/properties/metadata/allOf"
+      ]
+    }
+  ]
+}

codex-rs/tools/tests/fixtures/json_schema_policy/microsoft_outlook_email.json

@@ -0,0 +1,90 @@
+{
+  "source": "golden/microsoft_outlook_email/tools",
+  "tools": [
+    {
+      "name": "microsoft_outlook_email_send",
+      "description": "Send an Outlook email.",
+      "input_schema": {
+        "type": "object",
+        "properties": {
+          "message_id": {
+            "$ref": "#/$defs/Message/properties/id"
+          },
+          "attachment": {
+            "type": "array",
+            "items": {
+              "$ref": "#/$defs/Attachment"
+            }
+          }
+        },
+        "$defs": {
+          "Message": {
+            "type": "object",
+            "description": "Outlook message.",
+            "properties": {
+              "id": {
+                "type": "string",
+                "description": "Message identifier."
+              },
+              "sender": {
+                "$ref": "#/$defs/EmailAddress"
+              },
+              "importance": {
+                "type": "string",
+                "enum": [
+                  "low",
+                  "normal",
+                  "high"
+                ],
+                "description": "Message importance."
+              }
+            }
+          },
+          "Attachment": {
+            "type": "object",
+            "description": "Email attachment.",
+            "properties": {
+              "name": {
+                "type": "string",
+                "description": "Attachment file name."
+              }
+            }
+          },
+          "EmailAddress": {
+            "type": "object",
+            "description": "Email address object.",
+            "properties": {
+              "address": {
+                "type": "string",
+                "description": "SMTP address."
+              }
+            }
+          },
+          "GiantUnusedPayload": {
+            "type": "object",
+            "description": "Representative unreachable Outlook payload.",
+            "properties": {
+              "opaque": {
+                "type": "string"
+              }
+            }
+          }
+        }
+      },
+      "expected_preserved": [
+        {
+          "pointer": "/properties/message_id/$ref",
+          "value": "#/$defs/Message/properties/id"
+        },
+        {
+          "pointer": "/$defs/Message/properties/importance/enum/2",
+          "value": "high"
+        }
+      ],
+      "expected_pruned": [
+        "/$defs/GiantUnusedPayload"
+      ],
+      "expected_dropped_fields": []
+    }
+  ]
+}

codex-rs/tools/tests/fixtures/json_schema_policy/notion.json

@@ -0,0 +1,72 @@
+{
+  "source": "golden/notion/tools",
+  "tools": [
+    {
+      "name": "notion_fetch_page",
+      "description": "Fetch a Notion page.",
+      "input_schema": {
+        "type": "object",
+        "properties": {
+          "page": {
+            "$ref": "#/$defs/Page%20Ref"
+          },
+          "filter": {
+            "type": "object",
+            "additionalProperties": {
+              "$ref": "#/$defs/Filter"
+            }
+          },
+          "content_mode": {
+            "description": "How much content to return.",
+            "anyOf": [
+              {
+                "type": "string",
+                "enum": [
+                  "summary",
+                  "full"
+                ]
+              },
+              {
+                "type": "null"
+              }
+            ]
+          }
+        },
+        "$defs": {
+          "Page Ref": {
+            "type": "string",
+            "description": "Notion page ID or URL."
+          },
+          "Filter": {
+            "type": "object",
+            "description": "Filter object.",
+            "properties": {
+              "created_by": {
+                "type": "string",
+                "description": "Creator user ID."
+              }
+            }
+          },
+          "UnusedDatabase": {
+            "type": "object",
+            "description": "Unreachable Notion database schema."
+          }
+        }
+      },
+      "expected_preserved": [
+        {
+          "pointer": "/properties/page/$ref",
+          "value": "#/$defs/Page%20Ref"
+        },
+        {
+          "pointer": "/properties/content_mode/anyOf/0/enum/0",
+          "value": "summary"
+        }
+      ],
+      "expected_pruned": [
+        "/$defs/UnusedDatabase"
+      ],
+      "expected_dropped_fields": []
+    }
+  ]
+}