docs(spec): state the transition-gate vs invariant boundary at each declaration

docs(spec): state the transition-gate vs invariant boundary at each declaration #20196