Reports

Generated out of the corpus by the tools and committed to it, so that each one is regenerated and diffed on every change and none of them can quietly go stale. They are the part of this that says what is wrong with it.

• Corpus audit
  Generated by bourbaki audit. Do not edit.
• Assembling the books back out of the corpus
  Every volume the manifest names, built back out of content/ into TeX, a PDF and an EPUB, in every language that has enough of it. It is milestone 13, and the point is not that one book builds: it is that the corpus as a whole still assembles, because nothing that reads one file at a time can see a chapter missing from the middle of a volume or a § that goes from 1 to 3.
• Clip audit: lie-vii-ix
  Lines matching [˜¯´¨ˇ˚˘], cut at 300 dpi and read as pictures.
• Clip audit: ts-i-ii-fr
  7 clips, 6 agree, 1 differ, 0 silent.
• Clip audit: ts-iii-v-fr
  5 clips, 5 agree, 0 differ, 0 silent.
• Clip audit: ts-iii-v-fr
  Lines matching [˚˘˙], cut at 600 dpi and read as pictures.
• Clip audit: ts-iii-v-fr
  7 clips, 6 agree, 1 differ, 0 silent.
• Clip audit: ts-iii-v-fr
  7 clips, 5 agree, 2 differ, 0 silent.
• What the extraction is worth
  Generated by bourbaki report extraction -write. Do not edit.
• Most cited statements
  Generated by bourbaki refs build. The statements the rest of the chapter leans on, by how many references point at them.
• The pages a person has to read
  These 93 pages went to the reader three times and never came back clean. The reader keeps a page like that rather than dropping it, with the faults named in the front matter under flags, so nothing is lost, but nothing has looked at them since either. This is the handover: the list, what is wrong with each one, and where to find it in the pdf.
• Statements nothing cites
  Generated by bourbaki refs build. Statements no other statement in the chapter refers to. Most are the end of a line of reasoning rather than a fault, and the exercises are not counted, since the text almost never cites one.
• References that leave the corpus
  Generated by bourbaki refs build. What chapter VIII cites that this corpus does not hold yet. It is the ingestion order, most cited first.
• The two printings against each other
  Generated by bourbaki report printings -write. Do not edit.
• References that do not resolve
  Generated by bourbaki refs build. Every citation the resolver could not follow, grouped by why. A group that names a statement of this chapter is a hole in the corpus and not a fault in the lookup.
• Reproducing the corpus from the PDFs
  Written by hand. This is the record of a clean checkout run: both repositories cloned fresh, the volumes copied in, and the pipeline run from the PDFs to see whether it produces what is committed. It was done on 20 August 2026 against tamnd/bourbaki 882cc411 and tamnd/bourbaki-solver 7290536.
• imports/sets/chapter_1/1.1.md read against ens-i-iv
  9 printed pages, 1 sentence of the pages not in the import, 1 sentence of the import on no page.
• imports/sets/chapter_1/1.2.md read against ens-i-iv
  4 printed pages, 2 sentences of the pages not in the import, 2 sentences of the import on no page.
• imports/sets/chapter_1/1.3.md read against ens-i-iv
  8 printed pages, 3 sentences of the pages not in the import, 1 sentence of the import on no page.
• imports/sets/chapter_1/1.2.md read against ens-i-iv
  4 printed pages, 2 sentences of the pages not in the import, 2 sentences of the import on no page.
• imports/sets/chapter_1/1.3.md read against ens-i-iv
  8 printed pages, 3 sentences of the pages not in the import, 1 sentence of the import on no page.
• What it cost, what the checks caught, and what is still wrong
  Written by hand rather than generated, because the numbers in it come from six different commands and the point of it is the ones nobody would put in a summary on purpose. Every figure is from a command anybody can run, and the command is named next to the figure. It is true as of 20 August 2026 and it will go out of date, which is fine: reports/audit.md, reports/extraction-quality.md and reports/refs-unresolved.md are regenerated by CI and are the live numbers. This file is the part that needs a sentence around it.