Research

• First pass of the survey for thesis T2: is specs-as-source the best approach for AI-assisted development? Records what published work exists as of 2026-10-10, how strong it is, and what it does not yet answer. Pass 2 (same day): Tufano, Alenezi, Piskala and Böckeler read; Alenezi's headline figures traced; SpecOps '26 programme recorded.