Introducing our traumatized problem cat to a new kitten

Here's a video of me interrupting an ambush. The cat on the right is the resident cat, 7yrs, The cat on the left is the new cat, male, about 1.5yrs.

A little background - the whole reason we're trying this is our resident cat is always high strung and always jumpy. She was mauled by a pit bull at 8 weeks old and nearly died - $4000 worth of surgery. She never really got over it and has been a "special case" ever since. When she sees another cat outside the window, she freaks out and attacks us violently. She sometimes attacked us in our sleep. We fixed this by applying frosted film to all the windows - no more redirected aggression, no longer a problem. But people have suggested we get another cat for her to befriend, so we are giving this a shot.

We're at about 1.5months. We started with no contact, then a gate, then slow play-based introduction. They still spend the nights behind closed doors. We still constantly have to separate them because she cannot chill. This ambush happens all the time. If we don't stop it, she attacks him. In general, she's the aggressor and he is the victim. She has scratched his nose twice. (And scratched us 1000x). As far as I know he hasn't hurt her yet.

She is VERY vocal, and even the mildest swat is accompanied by an ear piercing shriek. So even though these things are absolutely terrifying, we still haven't had any bonafide rolling-around-fur-flying apocalypse fights. Even though it sounds like it.

Anyway, we're still trying. All day long we are redirecting and distracting, and as soon as she swats him, It's back to solitary confinement. It's an agonizing process, and I've already read so much here, but any thoughts or advice is welcome.

THANKS!