Separate YAML emission conformance surfaces

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>

Author: MariusStorhaug

README.md

@@ -175,20 +175,24 @@ The archive contains 402 inputs:
 | Syntax and composition | 400 | 2 | 0 | 0 |
 | Representation events | 308 | 0 | 0 | 94 |
 | JSON projection | 277 | 2 | 0 | 123 |
-| `out.yaml` projection | 241 | 0 | 0 | 161 |
-| Emit and round trip | 306 | 0 | 0 | 96 |
+| `out.yaml` projection | 241 | 1 | 0 | 160 |
+| Official `emit.yaml` fixtures | 55 | 0 | 0 | 347 |
+| Module self-round-trip | 306 | 2 | 0 | 94 |
 
 All 94 fixtures marked invalid are rejected. The valid `2JQS` and `X38W`
 inputs are syntactically recognized and produce matching representation
 events, then are rejected during load validation because representation
-mapping keys must be unique. They are not unsupported grammar.
+mapping keys must be unique. They are not unsupported grammar. Both are
+reported as policy differences for module self-round-trip; `X38W`, the one
+case with an `out.yaml` fixture, is also reported that way on that surface.
 
 The two JSON projection differences are `565N`, where `!!binary` intentionally
 becomes `byte[]` instead of a Base64 string, and `J7PZ`, where legacy `!!omap`
 intentionally becomes `System.Collections.Specialized.OrderedDictionary`
 instead of remaining a sequence of one-entry mappings. No event mismatch is
-classified as policy. The deterministic runner reports no unexplained
-failures.
+classified as policy. All 55 official `emit.yaml` fixtures are read and
+validated independently of the 402-input module self-round-trip. The
+deterministic runner reports no unexplained failures.
 
 These results are a pinned compatibility measurement, not a claim that a finite
 corpus proves complete YAML 1.2.2 compliance.

tests/Conformance.Tests.ps1

@@ -33,7 +33,8 @@ BeforeAll {
             -CompareJson `
             -CompareEvents `
             -CompareOutYaml `
-            -CompareEmitRoundTrip
+            -CompareEmitYaml `
+            -CompareSelfRoundTrip
     )
     $emptySuitePath = Join-Path $TestDrive 'empty-suite'
     $null = New-Item -Path $emptySuitePath -ItemType Directory
@@ -235,19 +236,57 @@ ship-to:
     It 'accounts for out.yaml representation comparisons' {
         @($suiteResults | Where-Object OutYamlResult -EQ 'Pass').Count | Should -Be 241
         @($suiteResults | Where-Object OutYamlResult -EQ 'PolicyDifference').Count |
-            Should -Be 0
+            Should -Be 1
         @($suiteResults | Where-Object OutYamlResult -EQ 'Fail').Count | Should -Be 0
         @($suiteResults | Where-Object OutYamlResult -EQ 'NotApplicable').Count |
-            Should -Be 161
+            Should -Be 160
+        $outPolicy = $suiteResults | Where-Object OutYamlResult -EQ 'PolicyDifference'
+        $outPolicy.Case | Should -Be 'X38W'
+        $outPolicy.OutYamlReason | Should -Be 'RepresentationMappingKeyUniqueness'
+    }
+
+    It 'validates the 55 official emit.yaml fixtures separately' {
+        @($suiteResults | Where-Object HasEmitYaml).Count | Should -Be 55
+        @($suiteResults | Where-Object EmitYamlResult -EQ 'Pass').Count | Should -Be 55
+        @($suiteResults | Where-Object EmitYamlResult -EQ 'PolicyDifference').Count |
+            Should -Be 0
+        @($suiteResults | Where-Object EmitYamlResult -EQ 'Fail').Count | Should -Be 0
+        @($suiteResults | Where-Object EmitYamlResult -EQ 'NotApplicable').Count |
+            Should -Be 347
+    }
+
+    It 'reads official emit.yaml content rather than counting its presence' {
+        $mutatedSuitePath = Join-Path $TestDrive 'mutated-emit-fixture'
+        $null = New-Item -Path $mutatedSuitePath -ItemType Directory -Force
+        Copy-Item -LiteralPath (Join-Path $suiteDataPath '2LFX') `
+            -Destination $mutatedSuitePath -Recurse
+        '--- altered' | Set-Content `
+            -LiteralPath (Join-Path $mutatedSuitePath '2LFX\emit.yaml') `
+            -Encoding utf8NoBOM
+
+        $mutatedResult = & $runnerPath -Path $mutatedSuitePath -CompareEmitYaml
+
+        $mutatedResult.EmitYamlResult | Should -Be 'Fail'
+        $mutatedResult.EmitYamlReason | Should -Be 'EmitYamlRepresentationMismatch'
     }
 
-    It 'accounts for emitter and round-trip comparisons' {
-        @($suiteResults | Where-Object EmitResult -EQ 'Pass').Count | Should -Be 306
-        @($suiteResults | Where-Object EmitResult -EQ 'PolicyDifference').Count |
+    It 'accounts honestly for general module self-round-trips' {
+        @($suiteResults | Where-Object SelfRoundTripResult -EQ 'Pass').Count |
+            Should -Be 306
+        @($suiteResults | Where-Object SelfRoundTripResult -EQ 'PolicyDifference').Count |
+            Should -Be 2
+        @($suiteResults | Where-Object SelfRoundTripResult -EQ 'Fail').Count |
             Should -Be 0
-        @($suiteResults | Where-Object EmitResult -EQ 'Fail').Count | Should -Be 0
-        @($suiteResults | Where-Object EmitResult -EQ 'NotApplicable').Count |
-            Should -Be 96
+        @($suiteResults | Where-Object SelfRoundTripResult -EQ 'NotApplicable').Count |
+            Should -Be 94
+        $policyResults = @(
+            $suiteResults |
+                Where-Object SelfRoundTripResult -EQ 'PolicyDifference' |
+                Sort-Object Case
+        )
+        @($policyResults.Case) | Should -Be @('2JQS', 'X38W')
+        @($policyResults.SelfRoundTripReason | Select-Object -Unique) |
+            Should -Be @('RepresentationMappingKeyUniqueness')
     }
 
     It 'keeps the previously failing multi-document JSON cases green' {