Original synthetic sample, not customer work. The before diagram omitted the failure transition and labeled publication unconditional. The after diagram matches these supplied rules; runtime and native Dot behavior remain unverified.
