refactor(wire-dto): pin @JsonProperty on remaining FRAGILE record components

Two backend records (SetAnnotationValueAction, AddProjectTagAction) had at
least one naked record component the FRAGILE pin in #52 missed, surfaced by
the conformance re-audit run as part of #53. Pinning each record component
with @JsonProperty using the existing JSON field name (no behavior change).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: johardi

src/main/java/edu/stanford/protege/webprotege/bulkop/SetAnnotationValueAction.java

@@ -21,7 +21,7 @@
 
 
 @JsonTypeName("webprotege.bulkop.SetAnnotationValue")
-public record SetAnnotationValueAction(ChangeRequestId changeRequestId,
+public record SetAnnotationValueAction(@JsonProperty("changeRequestId") ChangeRequestId changeRequestId,
                                        @JsonProperty("projectId") @Nonnull ProjectId projectId,
                                        @JsonProperty("entities") @Nonnull ImmutableSet<OWLEntity> entities,
                                        @JsonProperty("property") @Nonnull OWLAnnotationProperty property,

src/main/java/edu/stanford/protege/webprotege/tag/AddProjectTagAction.java

@@ -19,12 +19,12 @@
  * 18 Mar 2018
  */
 @JsonTypeName("webprotege.tags.AddProjectTag")
-public record AddProjectTagAction(ChangeRequestId changeRequestId,
-                                  ProjectId projectId,
-                                  String label,
-                                  String description,
-                                  Color color,
-                                  Color backgroundColor) implements ProjectAction<AddProjectTagResult>, ChangeRequest {
+public record AddProjectTagAction(@JsonProperty("changeRequestId") ChangeRequestId changeRequestId,
+                                  @JsonProperty("projectId") ProjectId projectId,
+                                  @JsonProperty("label") String label,
+                                  @JsonProperty("description") String description,
+                                  @JsonProperty("color") Color color,
+                                  @JsonProperty("backgroundColor") Color backgroundColor) implements ProjectAction<AddProjectTagResult>, ChangeRequest {
 
     public static final String CHANNEL = "webprotege.tags.AddProjectTag";