I grabbed the following image from another older thread in this section:

And a CAS disk from my parts bin, and had a think for a while.
I came up with the following diagram:

Green = instant cam sync
Blue = history based cam sync (we know what it is if there was one unknown event before)
Red = instant crank sync
Black = no sync possible
I'll implement it very soon and already have a test car organised :-)
This will be the first decoder to use multi sync level semantics, more dev, more core features, onwards and upwards :-)
Fred.