Merge FR-010 Java Plan 3: output-format prompt-fragment generator (@PromptStyle) + verify

Artifact 1: from one template.output, generate <Template>OutputPrompt.renderFormat([overrides])
producing the comment-free "produce your answer like this" prompt fragment. Adds @PromptStyle
(closed enum guide|inline|exampleOnly, default guide) + @example/@instruction/@enumDoc metamodel
attrs; a shared OutputFormatRenderer in render (3 styles x xml/json, never comments, valid output);
OutputFormatSpecEmitter + SpringOutputPromptGenerator; Verify.checkOutputPrompt + render->recover
round-trip; clean template-output-{xml,json}-simple fixtures. Compile-and-run proof. ~280 tests
green (metadata 741 + render 211 + codegen-spring 71). Reviewed (caught NaN-invalid-JSON +
two missing-import codegen bugs) + simplified pre-merge.

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

Author: dmealing

fixtures/conformance/template-output-json-simple/README.md

@@ -0,0 +1,20 @@
+# template-output-json-simple
+
+Documents the FR-010 output codegen contract for a `template.output` with `@format: json`
+and `@promptStyle: inline`.
+
+The fixture declares a `SupportAnswer` value-object with a string field, an enum field
+(with `@enumAlias` and `@enumDoc`), and an optional note field, wired to a
+`SupportAnswerOutput` template.
+
+## Conformance notes
+
+- **Java** asserts structurally: the generators emit `SupportAnswerOutputPrompt.java`
+  (containing `OutputFormatRenderer.render(`, `PromptStyle.INLINE`, `Format.JSON`,
+  and both `renderFormat()` overloads) and `SupportAnswerOutputParser.java`
+  (containing `recover(`, `RecoverSchema RECOVER_SCHEMA`, `parse(`, and the
+  `medium`→`OK` enumAlias entry).
+- Behavioral correctness is proven by the codegen-spring compile-run tests
+  (`GeneratedOutputPromptCompileRunTest`, `GeneratedRecoverCompileRunTest`).
+- Byte-identical golden output is the TypeScript / cross-port concern (see
+  `expected/` directories in sibling TS fixtures).

fixtures/conformance/template-output-json-simple/expected.json

@@ -0,0 +1,55 @@
+{
+  "metadata.root": {
+    "package": "acme::support",
+    "children": [
+      {
+        "object.value": {
+          "name": "SupportAnswer",
+          "children": [
+            {
+              "field.string": {
+                "name": "text",
+                "@example": "Your refund will appear in 3-5 days.",
+                "@instruction": "One or two sentences to the customer.",
+                "@required": true
+              }
+            },
+            {
+              "field.enum": {
+                "name": "confidence",
+                "@enumAlias": {
+                  "medium": "OK"
+                },
+                "@enumDoc": {
+                  "HIGH": "Directly supported.",
+                  "LOW": "A guess.",
+                  "OK": "Inference."
+                },
+                "@required": true,
+                "@values": [
+                  "HIGH",
+                  "OK",
+                  "LOW"
+                ]
+              }
+            },
+            {
+              "field.string": {
+                "name": "note"
+              }
+            }
+          ]
+        }
+      },
+      {
+        "template.output": {
+          "name": "SupportAnswerOutput",
+          "@format": "json",
+          "@payloadRef": "SupportAnswer",
+          "@promptStyle": "inline",
+          "@textRef": "support/answer"
+        }
+      }
+    ]
+  }
+}

fixtures/conformance/template-output-json-simple/input/meta.json

@@ -0,0 +1,26 @@
+{
+  "metadata.root": {
+    "package": "acme::support",
+    "children": [
+      {
+        "object.value": {
+          "name": "SupportAnswer",
+          "children": [
+            { "field.string": { "name": "text", "@required": true, "@example": "Your refund will appear in 3-5 days.", "@instruction": "One or two sentences to the customer." } },
+            { "field.enum": { "name": "confidence", "@required": true, "@values": ["HIGH","OK","LOW"], "@enumAlias": { "medium": "OK" }, "@enumDoc": { "HIGH": "Directly supported.", "OK": "Inference.", "LOW": "A guess." } } },
+            { "field.string": { "name": "note" } }
+          ]
+        }
+      },
+      {
+        "template.output": {
+          "name": "SupportAnswerOutput",
+          "@payloadRef": "SupportAnswer",
+          "@textRef": "support/answer",
+          "@format": "json",
+          "@promptStyle": "inline"
+        }
+      }
+    ]
+  }
+}

fixtures/conformance/template-output-xml-simple/README.md

@@ -0,0 +1,20 @@
+# template-output-xml-simple
+
+Documents the FR-010 output codegen contract for a `template.output` with `@format: xml`
+and `@promptStyle: guide`.
+
+The fixture declares the same `SupportAnswer` value-object as `template-output-json-simple`
+(string field, enum field with `@enumAlias` and `@enumDoc`, optional note), wired to a
+`SupportAnswerOutput` template with XML format and guide prompt style.
+
+## Conformance notes
+
+- **Java** asserts structurally: the generators emit `SupportAnswerOutputPrompt.java`
+  (containing `OutputFormatRenderer.render(`, `PromptStyle.GUIDE`, `Format.XML`,
+  and both `renderFormat()` overloads) and `SupportAnswerOutputParser.java`
+  (containing `recover(`, `RecoverSchema RECOVER_SCHEMA`, `parse(`, and the
+  `medium`→`OK` enumAlias entry).
+- Behavioral correctness is proven by the codegen-spring compile-run tests
+  (`GeneratedOutputPromptCompileRunTest`, `GeneratedRecoverCompileRunTest`).
+- Byte-identical golden output is the TypeScript / cross-port concern (see
+  `expected/` directories in sibling TS fixtures).

fixtures/conformance/template-output-xml-simple/expected.json

@@ -0,0 +1,55 @@
+{
+  "metadata.root": {
+    "package": "acme::support",
+    "children": [
+      {
+        "object.value": {
+          "name": "SupportAnswer",
+          "children": [
+            {
+              "field.string": {
+                "name": "text",
+                "@example": "Your refund will appear in 3-5 days.",
+                "@instruction": "One or two sentences to the customer.",
+                "@required": true
+              }
+            },
+            {
+              "field.enum": {
+                "name": "confidence",
+                "@enumAlias": {
+                  "medium": "OK"
+                },
+                "@enumDoc": {
+                  "HIGH": "Directly supported.",
+                  "LOW": "A guess.",
+                  "OK": "Inference."
+                },
+                "@required": true,
+                "@values": [
+                  "HIGH",
+                  "OK",
+                  "LOW"
+                ]
+              }
+            },
+            {
+              "field.string": {
+                "name": "note"
+              }
+            }
+          ]
+        }
+      },
+      {
+        "template.output": {
+          "name": "SupportAnswerOutput",
+          "@format": "xml",
+          "@payloadRef": "SupportAnswer",
+          "@promptStyle": "guide",
+          "@textRef": "support/answer"
+        }
+      }
+    ]
+  }
+}

fixtures/conformance/template-output-xml-simple/input/meta.json

@@ -0,0 +1,26 @@
+{
+  "metadata.root": {
+    "package": "acme::support",
+    "children": [
+      {
+        "object.value": {
+          "name": "SupportAnswer",
+          "children": [
+            { "field.string": { "name": "text", "@required": true, "@example": "Your refund will appear in 3-5 days.", "@instruction": "One or two sentences to the customer." } },
+            { "field.enum": { "name": "confidence", "@required": true, "@values": ["HIGH","OK","LOW"], "@enumAlias": { "medium": "OK" }, "@enumDoc": { "HIGH": "Directly supported.", "OK": "Inference.", "LOW": "A guess." } } },
+            { "field.string": { "name": "note" } }
+          ]
+        }
+      },
+      {
+        "template.output": {
+          "name": "SupportAnswerOutput",
+          "@payloadRef": "SupportAnswer",
+          "@textRef": "support/answer",
+          "@format": "xml",
+          "@promptStyle": "guide"
+        }
+      }
+    ]
+  }
+}