Is the SolarEdge SE3K compatible with the T10 (9.6 kWh)?

Yes — listed by the manufacturer.

The manufacturer's published pairing data lists these together.

Minute Solar records SolarEdge SE3K with T10 (9.6 kWh) as compatible (A — Automatic). Derived from recorded specifications or compatibility groups; no manufacturer approval is recorded.

▦Manufacturer's compatibility listListed together in the manufacturer's published pairing data. A cited document reference is being added as datasheets are processed.