Raw session logs and specification

Supporting evidence for:
Specification-first convergence with an AI coding agent: a case study of dismantling a core architectural invariant across 189 files in a 717k-line codebase with no test oracle and no human code review
Joël Abenhaïm, AI Sovereign Labs
Paper: https://arxiv.org/abs/2608.12440

All files listed below are hosted at this base URL, and every link on this page resolves directly under it:

https://aisovereignlabs.ai/docs/case-study/liveSession/logs/

The complete raw session logs of every cycle described in the paper are published here, together with the frozen specification. They total 1,500+ pages and are in French. They can be read directly, or submitted to a language model for consistency checking against the claims made in the paper.

FilePages
Specification
liveSession-logs-phase2-specification-en.pdf55
Ideation
liveSession-logs-phase2-ideation.pdf83
Refinement cycles (14)
liveSession-logs-phase2-refine-01.pdf19
liveSession-logs-phase2-refine-02.pdf24
liveSession-logs-phase2-refine-03.pdf25
liveSession-logs-phase2-refine-04.pdf19
liveSession-logs-phase2-refine-05.pdf17
liveSession-logs-phase2-refine-06.pdf21
liveSession-logs-phase2-refine-07.pdf24
liveSession-logs-phase2-refine-08.pdf29
liveSession-logs-phase2-refine-09.pdf32
liveSession-logs-phase2-refine-10.pdf35
liveSession-logs-phase2-refine-11.pdf38
liveSession-logs-phase2-refine-12.pdf42
liveSession-logs-phase2-refine-13.pdf25
liveSession-logs-phase2-refine-14.pdf2
Implementation
liveSession-logs-phase2-code.pdf323
Feedback loop
liveSession-logs-phase2-feedbackloop.pdf61
Verification cycles (17)
liveSession-logs-phase2-verify-01.pdf53
liveSession-logs-phase2-verify-02.pdf102
liveSession-logs-phase2-verify-03.pdf102
liveSession-logs-phase2-verify-04.pdf152
liveSession-logs-phase2-verify-05.pdf9
liveSession-logs-phase2-verify-06.pdf64
liveSession-logs-phase2-verify-07.pdf61
liveSession-logs-phase2-verify-08.pdf34
liveSession-logs-phase2-verify-09.pdf51
liveSession-logs-phase2-verify-10.pdf33
liveSession-logs-phase2-verify-11.pdf29
liveSession-logs-phase2-verify-12.pdf34
liveSession-logs-phase2-verify-13.pdf35
liveSession-logs-phase2-verify-14.pdf43
liveSession-logs-phase2-verify-15.pdf25
liveSession-logs-phase2-verify-16.pdf6
liveSession-logs-phase2-verify-17.pdf21

The software described in the paper is publicly downloadable at ai-code.ai, allowing direct verification of the described behaviour change. In any version below 2.3.0, starting a query and then closing its panel terminates the query. In version 2.3.0 and above, the same action preserves the query, and clicking the session name reopens the live panel, reattached to the same ongoing stream.