Compare effective scalar tags in formatter corpus

Resolve every formatter scalar tag canonically while retaining explicit and non-specific tag state and ignoring presentation style.

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

Author: MariusStorhaug

tests/Conformance.Tests.ps1

@@ -249,6 +249,67 @@ Describe 'Released yaml-test-suite corpus accounting' {
         $nonSpecificEvents | Should -Contain '=VAL|nonSpecificTag=true|value=value'
     }
 
+    It 'distinguishes implicit scalar tags without treating style as semantic' {
+        foreach ($mutation in @(
+                @{ Plain = 'true'; Quoted = '"true"'; Tag = 'tag:yaml.org,2002:bool' }
+                @{ Plain = '42'; Quoted = '"42"'; Tag = 'tag:yaml.org,2002:int' }
+                @{ Plain = '1.5'; Quoted = '"1.5"'; Tag = 'tag:yaml.org,2002:float' }
+                @{ Plain = '.inf'; Quoted = '".inf"'; Tag = 'tag:yaml.org,2002:float' }
+                @{ Plain = 'null'; Quoted = '"null"'; Tag = 'tag:yaml.org,2002:null' }
+            )) {
+            $plain = Invoke-InYamlModule -ScriptBlock $readYamlSuiteRepresentation `
+                -Arguments @($mutation.Plain)
+            $quoted = Invoke-InYamlModule -ScriptBlock $readYamlSuiteRepresentation `
+                -Arguments @($mutation.Quoted)
+            $plainEvents = ConvertTo-YamlSuiteActualEvent -Documents $plain.Value `
+                -IncludeEffectiveScalarTags
+            $quotedEvents = ConvertTo-YamlSuiteActualEvent -Documents $quoted.Value `
+                -IncludeEffectiveScalarTags
+
+            (Compare-YamlSuiteCanonicalList -Left $plainEvents -Right $quotedEvents) |
+                Should -BeFalse
+            $plainEvents | Should -Contain (
+                '=VAL|tag={0}|value={1}' -f $mutation.Tag, $mutation.Plain
+            )
+            $quotedEvents | Should -Contain (
+                '=VAL|tag=tag:yaml.org,2002:str|value={0}' -f $mutation.Plain
+            )
+        }
+
+        $singleQuoted = Invoke-InYamlModule -ScriptBlock $readYamlSuiteRepresentation `
+            -Arguments @("'value'")
+        $doubleQuoted = Invoke-InYamlModule -ScriptBlock $readYamlSuiteRepresentation `
+            -Arguments @('"value"')
+        $singleEvents = ConvertTo-YamlSuiteActualEvent -Documents $singleQuoted.Value `
+            -IncludeEffectiveScalarTags
+        $doubleEvents = ConvertTo-YamlSuiteActualEvent -Documents $doubleQuoted.Value `
+            -IncludeEffectiveScalarTags
+
+        (Compare-YamlSuiteCanonicalList -Left $singleEvents -Right $doubleEvents) |
+            Should -BeTrue
+
+        $explicit = Invoke-InYamlModule -ScriptBlock $readYamlSuiteRepresentation `
+            -Arguments @('!!str value')
+        $unknown = Invoke-InYamlModule -ScriptBlock $readYamlSuiteRepresentation `
+            -Arguments @('!local value')
+        $nonSpecific = Invoke-InYamlModule -ScriptBlock $readYamlSuiteRepresentation `
+            -Arguments @('! value')
+        $explicitEvents = ConvertTo-YamlSuiteActualEvent -Documents $explicit.Value `
+            -IncludeEffectiveScalarTags
+        $unknownEvents = ConvertTo-YamlSuiteActualEvent -Documents $unknown.Value `
+            -IncludeEffectiveScalarTags
+        $nonSpecificEvents = ConvertTo-YamlSuiteActualEvent -Documents $nonSpecific.Value `
+            -IncludeEffectiveScalarTags
+
+        $explicitEvents |
+            Should -Contain '=VAL|tag=tag:yaml.org,2002:str|explicitTag=true|value=value'
+        $unknownEvents | Should -Contain '=VAL|tag=!local|explicitTag=true|value=value'
+        $nonSpecificEvents |
+            Should -Contain '=VAL|tag=tag:yaml.org,2002:str|nonSpecificTag=true|value=value'
+        (Compare-YamlSuiteCanonicalList -Left $explicitEvents -Right $doubleEvents) |
+            Should -BeFalse
+    }
+
     It 'detects altered ordered-map and alias semantics in out.yaml' {
         $mutatedSuitePath = Join-Path $TestDrive 'mutated-out-cases'
         $null = New-Item -Path $mutatedSuitePath -ItemType Directory -Force

tests/tools/Invoke-YamlTestSuite.ps1

@@ -632,12 +632,29 @@ function ConvertFrom-YamlSuiteEventText {
     [string[]] $canonical.ToArray()
 }
 
+function Get-YamlSuiteScalarEffectiveTag {
+    [OutputType([string])]
+    param (
+        [Parameter(Mandatory)]
+        [pscustomobject] $Node
+    )
+
+    Invoke-InYamlModule -ScriptBlock {
+        param ([pscustomobject] $ScalarNode)
+
+        $resolved = Resolve-YamlScalar -Node $ScalarNode
+        Get-YamlEffectiveTag -Node $ScalarNode -Value $resolved.Value
+    } -Arguments @($Node)
+}
+
 function ConvertTo-YamlSuiteActualEvent {
     [OutputType([string[]])]
     param (
         [Parameter(Mandatory)]
         [AllowEmptyCollection()]
-        [object[]] $Documents
+        [object[]] $Documents,
+
+        [switch] $IncludeEffectiveScalarTags
     )
 
     function ConvertTo-YamlSuiteEventEscapedText {
@@ -688,10 +705,19 @@ function ConvertTo-YamlSuiteActualEvent {
             if ($node.Kind -eq 'Scalar') {
                 $parts = [System.Collections.Generic.List[string]]::new()
                 $parts.Add('=VAL')
-                if ([string]::IsNullOrEmpty($node.Tag) -and $node.HasUnknownTag) {
-                    $parts.Add('nonSpecificTag=true')
-                } elseif ($node.Tag) {
-                    $parts.Add("tag=$($node.Tag)")
+                if ($IncludeEffectiveScalarTags) {
+                    $parts.Add("tag=$(Get-YamlSuiteScalarEffectiveTag -Node $node)")
+                    if (-not [string]::IsNullOrEmpty($node.Tag)) {
+                        $parts.Add('explicitTag=true')
+                    } elseif ($node.HasUnknownTag) {
+                        $parts.Add('nonSpecificTag=true')
+                    }
+                } else {
+                    if ([string]::IsNullOrEmpty($node.Tag) -and $node.HasUnknownTag) {
+                        $parts.Add('nonSpecificTag=true')
+                    } elseif ($node.Tag) {
+                        $parts.Add("tag=$($node.Tag)")
+                    }
                 }
                 if ($node.Anchor) {
                     $parts.Add("anchor=$(
@@ -1274,9 +1300,10 @@ foreach ($inputFile in $inputFiles) {
                 } else {
                     $formattedRepresentation = Invoke-InYamlModule `
                         -ScriptBlock $readYamlSuiteRepresentation -Arguments @($formatterText)
-                    $originalEvents = ConvertTo-YamlSuiteActualEvent -Documents $representation.Value
+                    $originalEvents = ConvertTo-YamlSuiteActualEvent -Documents $representation.Value `
+                        -IncludeEffectiveScalarTags
                     $formattedEvents = ConvertTo-YamlSuiteActualEvent `
-                        -Documents $formattedRepresentation.Value
+                        -Documents $formattedRepresentation.Value -IncludeEffectiveScalarTags
                     $formatterExpected = $originalEvents -join "`n"
                     $formatterActual = $formattedEvents -join "`n"
                     if (-not (