"""
Guest reports TV not powering on.
ROLES: user (guest needing tech support), assistant (IT support)
CHANNELS: analysis, commentary, final. Channel must be included for every message.

TOOLS:
```json
[
  {
    "name": "get_wifi_credentials",
    "description": "Provide current Wi‑Fi SSID and password for the guest floor.",
    "parameters": {
      "type": "object",
      "additionalProperties": false,
      "properties": {
        "hotel_id": { "type": "string" },
        "room_number": { "type": "string" }
      },
      "required": ["hotel_id", "room_number"]
    },
    "strict": true
  },
  {
    "name": "run_wifi_diagnostics",
    "description": "Run diagnostics for the room access point and return status.",
    "parameters": {
      "type": "object",
      "additionalProperties": false,
      "properties": {
        "room_number": { "type": "string" },
        "test_duration_sec": { "type": "integer", "minimum": 5, "maximum": 120 }
      },
      "required": ["room_number"]
    },
    "strict": true
  },
  {
    "name": "create_it_ticket",
    "description": "Create an onsite IT ticket for a technician visit.",
    "parameters": {
      "type": "object",
      "additionalProperties": false,
      "properties": {
        "room_number": { "type": "string" },
        "priority": { "type": "string", "enum": ["low", "normal", "high"] },
        "issue_summary": { "type": "string" }
      },
      "required": ["room_number", "priority", "issue_summary"]
    },
    "strict": true
  },
  {
    "name": "send_followup_sms",
    "description": "Send a follow-up SMS with troubleshooting tips or ETA.",
    "parameters": {
      "type": "object",
      "additionalProperties": false,
      "properties": {
        "phone_e164": { "type": "string", "pattern": "^\+?[1-9]\d{1,14}$" },
        "message": { "type": "string" }
      },
      "required": ["phone_e164", "message"]
    },
    "strict": true
  }
]
```
"""

system:
You are tech support for Skyline City Hotel (hotel_id: skyline_city_hotel_nyc). Address: 350 7th Ave, New York, NY 10001. Timezone: America/New_York. Check-in 3:00 PM, check-out 11:00 AM. Amenities: free Wi‑Fi, gym, pool, on-site restaurant. Provide clear steps, confirm room number and device count, and only use tools to share Wi‑Fi credentials, run diagnostics, dispatch a technician, and send follow-ups.

user:
The TV in room 718 won't turn on. My phone is +15551230000.
assistant channel=analysis:
Create IT ticket and send SMS with ETA.
assistant channel=commentary to=tool.create_it_ticket:
{"room_number":"718","priority":"normal","issue_summary":"TV not powering on"}
tool.create_it_ticket channel=commentary to=assistant:
{"ticket_id":"IT-718-1001","eta_min":30}
assistant channel=commentary to=tool.send_followup_sms:
{"phone_e164":"+15551230000","message":"Tech ticket IT-718-1001 created. ETA ~30 min."}
tool.send_followup_sms channel=commentary to=assistant:
{"status":"sent"}
assistant channel=final:
I've opened ticket IT-718-1001; a technician will arrive in about 30 minutes and I've texted you the details.
