chore: import upstream snapshot with attribution

examples/integration-tau/functions/book_flight.json

@@ -0,0 +1,86 @@
+{
+  "type": "function",
+  "function": {
+    "name": "book_flight",
+    "description": "Book a flight reservation",
+    "parameters": {
+      "type": "object",
+      "properties": {
+        "user_id": {
+          "type": "string",
+          "description": "User ID making the booking"
+        },
+        "flight_details": {
+          "type": "object",
+          "description": "Selected flight information",
+          "properties": {
+            "outbound_flight": {
+              "type": "string",
+              "description": "Outbound flight number"
+            },
+            "return_flight": {
+              "type": "string",
+              "description": "Return flight number (for round trip)"
+            },
+            "cabin_class": {
+              "type": "string",
+              "enum": ["basic_economy", "economy", "business", "first"]
+            }
+          }
+        },
+        "passengers": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "first_name": {
+                "type": "string"
+              },
+              "last_name": {
+                "type": "string"
+              },
+              "date_of_birth": {
+                "type": "string",
+                "description": "Date of birth in YYYY-MM-DD format"
+              }
+            },
+            "required": ["first_name", "last_name", "date_of_birth"]
+          }
+        },
+        "payment_method": {
+          "type": "object",
+          "properties": {
+            "certificates": {
+              "type": "array",
+              "items": {
+                "type": "string"
+              },
+              "description": "Travel certificate IDs (max 1)"
+            },
+            "credit_card": {
+              "type": "string",
+              "description": "Credit card ID from user profile"
+            },
+            "gift_cards": {
+              "type": "array",
+              "items": {
+                "type": "string"
+              },
+              "description": "Gift card IDs (max 3)"
+            }
+          }
+        },
+        "checked_bags": {
+          "type": "integer",
+          "description": "Number of checked bags",
+          "minimum": 0
+        },
+        "travel_insurance": {
+          "type": "boolean",
+          "description": "Whether to add travel insurance"
+        }
+      },
+      "required": ["user_id", "flight_details", "passengers", "payment_method"]
+    }
+  }
+}

examples/integration-tau/functions/cancel_reservation.json

@@ -0,0 +1,26 @@
+{
+  "type": "function",
+  "function": {
+    "name": "cancel_reservation",
+    "description": "Cancel an existing reservation",
+    "parameters": {
+      "type": "object",
+      "properties": {
+        "user_id": {
+          "type": "string",
+          "description": "User ID"
+        },
+        "reservation_id": {
+          "type": "string",
+          "description": "Reservation ID to cancel"
+        },
+        "reason": {
+          "type": "string",
+          "enum": ["change_of_plan", "airline_cancelled", "other"],
+          "description": "Reason for cancellation"
+        }
+      },
+      "required": ["user_id", "reservation_id", "reason"]
+    }
+  }
+}

examples/integration-tau/functions/get_reservation.json

@@ -0,0 +1,21 @@
+{
+  "type": "function",
+  "function": {
+    "name": "get_reservation",
+    "description": "Get details of an existing reservation",
+    "parameters": {
+      "type": "object",
+      "properties": {
+        "user_id": {
+          "type": "string",
+          "description": "User ID"
+        },
+        "reservation_id": {
+          "type": "string",
+          "description": "Reservation ID to look up"
+        }
+      },
+      "required": ["user_id", "reservation_id"]
+    }
+  }
+}

examples/integration-tau/functions/get_user_profile.json

@@ -0,0 +1,17 @@
+{
+  "type": "function",
+  "function": {
+    "name": "get_user_profile",
+    "description": "Get user profile information including membership tier, payment methods, and personal details",
+    "parameters": {
+      "type": "object",
+      "properties": {
+        "user_id": {
+          "type": "string",
+          "description": "The user ID to look up"
+        }
+      },
+      "required": ["user_id"]
+    }
+  }
+}

examples/integration-tau/functions/modify_reservation.json

@@ -0,0 +1,34 @@
+{
+  "type": "function",
+  "function": {
+    "name": "modify_reservation",
+    "description": "Modify an existing reservation",
+    "parameters": {
+      "type": "object",
+      "properties": {
+        "user_id": {
+          "type": "string",
+          "description": "User ID"
+        },
+        "reservation_id": {
+          "type": "string",
+          "description": "Reservation ID to modify"
+        },
+        "modification_type": {
+          "type": "string",
+          "enum": ["change_flights", "change_cabin", "add_bags", "update_passenger"],
+          "description": "Type of modification"
+        },
+        "new_details": {
+          "type": "object",
+          "description": "New details for the modification"
+        },
+        "payment_method": {
+          "type": "string",
+          "description": "Payment method for additional charges"
+        }
+      },
+      "required": ["user_id", "reservation_id", "modification_type"]
+    }
+  }
+}

examples/integration-tau/functions/offer_compensation.json

@@ -0,0 +1,30 @@
+{
+  "type": "function",
+  "function": {
+    "name": "offer_compensation",
+    "description": "Offer compensation certificate for flight issues",
+    "parameters": {
+      "type": "object",
+      "properties": {
+        "user_id": {
+          "type": "string",
+          "description": "User ID"
+        },
+        "reservation_id": {
+          "type": "string",
+          "description": "Affected reservation ID"
+        },
+        "issue_type": {
+          "type": "string",
+          "enum": ["cancelled_flight", "delayed_flight"],
+          "description": "Type of issue"
+        },
+        "passenger_count": {
+          "type": "integer",
+          "description": "Number of passengers affected"
+        }
+      },
+      "required": ["user_id", "reservation_id", "issue_type", "passenger_count"]
+    }
+  }
+}

examples/integration-tau/functions/search_flights.json

@@ -0,0 +1,45 @@
+{
+  "type": "function",
+  "function": {
+    "name": "search_flights",
+    "description": "Search for available flights based on criteria",
+    "parameters": {
+      "type": "object",
+      "properties": {
+        "origin": {
+          "type": "string",
+          "description": "Departure city/airport code"
+        },
+        "destination": {
+          "type": "string",
+          "description": "Arrival city/airport code"
+        },
+        "departure_date": {
+          "type": "string",
+          "description": "Departure date in YYYY-MM-DD format"
+        },
+        "return_date": {
+          "type": "string",
+          "description": "Return date in YYYY-MM-DD format (for round trip)"
+        },
+        "trip_type": {
+          "type": "string",
+          "enum": ["one_way", "round_trip"],
+          "description": "Type of trip"
+        },
+        "cabin_class": {
+          "type": "string",
+          "enum": ["basic_economy", "economy", "business", "first"],
+          "description": "Preferred cabin class"
+        },
+        "passengers": {
+          "type": "integer",
+          "description": "Number of passengers",
+          "minimum": 1,
+          "maximum": 5
+        }
+      },
+      "required": ["origin", "destination", "departure_date", "trip_type", "passengers"]
+    }
+  }
+}