Open questions resolved earlier (AI in-topic first, Android optional) are now reflected as S013's premise: bot via published CLI, AI participant deferred. mvp.dj not-in-MVP list drops notifications with a note; vision.dj Web Push plan is now implemented (S014).