Find taxed Rillet invoices that never went through AvaTax

**Objective:** Find Rillet invoices dated from `{from-date}` to `{to-date}` (format YYYY-MM-DD) that carry tax but have no AvaTax transaction, optionally only for the customer named `{customer-name}`. AvaTax company is the default company.

**Step 1: Read Rillet invoices**

Call `rillet-get-invoices` and keep rows with invoice-date in the range and tax-amount above zero. If `{customer-name}` is given, call `rillet-get-customers`, find customers whose name contains it, and keep only invoices for their customer-id. If several customers match, list them and stop.

**Step 2: Check AvaTax for each**

Call `avalara-avatax-get-transaction` once with `date.from` and `date.to` widened by seven days either side and a high `max-records`. Build the set of transaction codes. For each Rillet invoice, check whether its invoice-number is in that set. Do not call the tool once per invoice.

**Step 3: Report**

List each invoice with no matching code: invoice-number, customer name, invoice-date, tax-amount, status. Give the count and the total tax involved. Then list invoices that matched but whose AvaTax status is not Committed, since those tax amounts are not yet final.

**Rules & Guidelines:**

* Tools whose names start with avalara-avatax are on the avalara-avatax server; tools whose names start with rillet are on the rillet server. Both servers must be connected.
* This prompt is read-only. Never call any AvaTax action tool (for example `avalara-avatax-transaction-create`, `avalara-avatax-transaction-adjust`, `avalara-avatax-transaction-void`, `avalara-avatax-transaction-commit`) or any Rillet add, update, apply or set tool (for example `rillet-add-invoice`, `rillet-update-invoice`, `rillet-add-credit-memo`).
* Report what the two systems show. Do not present the result as a filed tax return or as tax advice.
**Validation:**

* If AvaTax returns no transactions at all for the window, say the AvaTax company or dates may be wrong rather than listing every invoice as missing.
* If Rillet returns no taxed invoices in range, say so and stop.