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. A video recording of the close/reopen behaviour, on both a pre-2.3.0 build and the 2.3.0 build described in the paper, is also included.

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

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. liveSession-logs-phase2-functional-validation.mp4 is a single continuous, unedited recording of both: the pre-2.3.0 build terminating the query on panel close, then the 2.3.0 build tested against repeated panel close/reopen at varied delays across different generation phases, and against an explicit stop.