Refactor: delegate header serialization to AiMdHeaderCodec

.github/workflows/publish.yml

@@ -43,6 +43,8 @@ jobs:
           distribution: temurin
       - name: Spotless check (fail fast on format violations)
         run: mvn -B --no-transfer-progress spotless:check
+      - name: SpotBugs check (fail fast on static-analysis findings)
+        run: mvn -B --no-transfer-progress -DskipTests -Denforcer.skip=true compile spotbugs:check
       - name: Print internal package dependency graph (jdeps, informational)
         continue-on-error: true
         run: |

src/main/java/net/ladenthin/maven/llamacpp/aiindex/indexer/PackageIndexer.java

@@ -116,6 +116,7 @@
     private final AiMdHeaderSupport headerSupport = new AiMdHeaderSupport();
     private final AiMdChildEntryLineFormatter childEntryLineFormatter = new AiMdChildEntryLineFormatter();
     private final AiMdDocumentCodec documentCodec = new AiMdDocumentCodec();
+    private final AiMdHeaderCodec headerCodec = new AiMdHeaderCodec();
     private final Java8CompatibilityHelper compatibilityHelper = new Java8CompatibilityHelper();
 
     private final AiFieldGenerationSupport fieldGenerationSupport;
@@ -365,44 +366,16 @@
     }
 
     /**
-     * Appends the package's own deterministic header block (title plus single-letter fields)
-     * to {@code builder}, mirroring the on-disk {@code .ai.md} header layout.
+     * Appends the package's own deterministic header block (title plus single-letter fields) to
+     * {@code builder} by delegating to {@link AiMdHeaderCodec#write(AiMdHeader)} — the single source
+     * of truth for the {@code .ai.md} header layout, and the same call {@link AiMdDocumentCodec} uses
+     * to serialise a persisted header.
      *
      * @param builder target string builder
      * @param header  the package header to render
      */
     private void appendPackageHeaderLines(final StringBuilder builder, final AiMdHeader header) {
-        builder.append(AiMdHeaderCodec.HEADER_TITLE_PREFIX)
-                .append(header.title())
-                .append('\n');
-        builder.append(AiMdHeaderCodec.HEADER_FIELD_PREFIX)
-                .append("H: ")
-                .append(header.h())
-                .append('\n');
-        builder.append(AiMdHeaderCodec.HEADER_FIELD_PREFIX)
-                .append("C: ")
-                .append(header.c())
-                .append('\n');
-        builder.append(AiMdHeaderCodec.HEADER_FIELD_PREFIX)
-                .append("D: ")
-                .append(header.d())
-                .append('\n');
-        builder.append(AiMdHeaderCodec.HEADER_FIELD_PREFIX)
-                .append("T: ")
-                .append(header.t())
-                .append('\n');
-        builder.append(AiMdHeaderCodec.HEADER_FIELD_PREFIX)
-                .append("G: ")
-                .append(header.g())
-                .append('\n');
-        builder.append(AiMdHeaderCodec.HEADER_FIELD_PREFIX)
-                .append("A: ")
-                .append(header.a())
-                .append('\n');
-        builder.append(AiMdHeaderCodec.HEADER_FIELD_PREFIX)
-                .append("X: ")
-                .append(header.x())
-                .append('\n');
+        builder.append(headerCodec.write(header));
     }
 
     /**
@@ -418,11 +391,11 @@
      * @return the number of children that contributed a non-blank body
      * @throws IOException if a child {@code .ai.md} file cannot be read
      */
     private int appendChildSummaries(final StringBuilder builder, final Path directory) throws IOException {
         int bodyCount = 0;
 
         try (Stream<Path> stream = Files.list(directory)) {
             for (Path path : compatibilityHelper.toList(stream.sorted(BY_FILE_NAME))) {
                 final Path fileNamePath = path.getFileName();
                 if (fileNamePath == null) {
                     continue;