The issue registry (I1–I4, N2, N6, N10, P1–P5, I9, A1) with theory-version status is generated in the next build step.