From 934dc54087862978366a785836c3c4c138bcab11 Mon Sep 17 00:00:00 2001
From: Tomas Votruba <tomas.vot@gmail.com>
Date: Thu, 8 Oct 2026 18:50:18 +0200
Subject: [PATCH] Reject mutually exclusive checkers in blink ECS config,
 matching ECS

---
 blink/internal/config/ecsconfig.go      | 49 +++++++++++++++++++++++++
 blink/internal/config/ecsconfig_test.go | 37 +++++++++++++++++++
 2 files changed, 86 insertions(+)

diff --git a/blink/internal/config/ecsconfig.go b/blink/internal/config/ecsconfig.go
index ab6330c129..1fae9eddc5 100644
--- a/blink/internal/config/ecsconfig.go
+++ b/blink/internal/config/ecsconfig.go
@@ -56,6 +56,51 @@ type ECSResolution struct {
 	PerPathSkips []string
 }
 
+// conflictingCheckerGroups are checker pairs that do the opposite of each other
+// (e.g. Yoda vs no-Yoda). A config that loads both is contradictory, so blink
+// rejects it, mirroring ECS's ConflictingCheckersCompilerPass. Classes are named
+// exactly as ECS reports them in the dump-config "class" field.
+var conflictingCheckerGroups = [][]string{
+	{`Symplify\CodingStandard\Fixer\Spacing\StandaloneLineConstructorParamFixer`, `Symplify\CodingStandard\Fixer\Spacing\StandaloneLinePromotedPropertyFixer`},
+	{`SlevomatCodingStandard\Sniffs\ControlStructures\DisallowYodaComparisonSniff`, `PhpCsFixer\Fixer\ControlStructure\YodaStyleFixer`},
+	{`PHP_CodeSniffer\Standards\Generic\Sniffs\PHP\LowerCaseConstantSniff`, `PHP_CodeSniffer\Standards\Generic\Sniffs\PHP\UpperCaseConstantSniff`},
+	{`PhpCsFixer\Fixer\Casing\ConstantCaseFixer`, `PHP_CodeSniffer\Standards\Generic\Sniffs\PHP\UpperCaseConstantSniff`},
+	{`SlevomatCodingStandard\Sniffs\TypeHints\DeclareStrictTypesSniff`, `PhpCsFixer\Fixer\LanguageConstruct\DeclareEqualNormalizeFixer`},
+	{`SlevomatCodingStandard\Sniffs\TypeHints\DeclareStrictTypesSniff`, `PhpCsFixer\Fixer\PhpTag\BlankLineAfterOpeningTagFixer`},
+	{`PHP_CodeSniffer\Standards\PSR12\Sniffs\Files\FileHeaderSniff`, `PhpCsFixer\Fixer\Phpdoc\NoBlankLinesAfterPhpdocFixer`},
+	{`PHP_CodeSniffer\Standards\PSR2\Sniffs\Files\EndFileNewlineSniff`, `PHP_CodeSniffer\Standards\Generic\Sniffs\Files\EndFileNoNewlineSniff`},
+	{`PHP_CodeSniffer\Standards\Generic\Sniffs\Files\EndFileNewlineSniff`, `PHP_CodeSniffer\Standards\Generic\Sniffs\Files\EndFileNoNewlineSniff`},
+	{`PHP_CodeSniffer\Standards\Generic\Sniffs\WhiteSpace\DisallowTabIndentSniff`, `PHP_CodeSniffer\Standards\Generic\Sniffs\WhiteSpace\DisallowSpaceIndentSniff`},
+}
+
+// checkConflictingCheckers rejects a config that loads both halves of any
+// conflicting group, mirroring ECS's ConflictingCheckersCompilerPass. A class
+// disabled via skip is not loaded and so does not count.
+func checkConflictingCheckers(f ecsFile, skippedClasses map[string]bool) error {
+	active := map[string]bool{}
+	for _, rule := range f.Rules {
+		if !skippedClasses[rule.Class] {
+			active[rule.Class] = true
+		}
+	}
+	for _, group := range conflictingCheckerGroups {
+		both := true
+		for _, class := range group {
+			if !active[class] {
+				both = false
+				break
+			}
+		}
+		if both {
+			return fmt.Errorf(
+				`checkers "%s" and "%s" mutually exclude each other; use only one of them or exclude the unwanted one with ->withSkip(...)`,
+				group[0], group[1],
+			)
+		}
+	}
+	return nil
+}
+
 // LoadECS reads an `ecs dump-config` JSON file and resolves it to a blink
 // config, returning a report of what could not be mapped.
 func LoadECS(path string) (*Config, *ECSResolution, error) {
@@ -105,6 +150,10 @@ func resolveECS(f ecsFile) (*Config, *ECSResolution, error) {
 		}
 	}
 
+	if err := checkConflictingCheckers(f, skippedClasses); err != nil {
+		return nil, nil, err
+	}
+
 	seen := map[string]bool{}
 	for _, rule := range f.Rules {
 		if skippedClasses[rule.Class] {
diff --git a/blink/internal/config/ecsconfig_test.go b/blink/internal/config/ecsconfig_test.go
index 5b168623f0..8c4aae0cba 100644
--- a/blink/internal/config/ecsconfig_test.go
+++ b/blink/internal/config/ecsconfig_test.go
@@ -159,3 +159,40 @@ func TestLoadECSErrors(t *testing.T) {
 		t.Error("want error for invalid json")
 	}
 }
+
+func TestLoadECSRejectsConflictingCheckers(t *testing.T) {
+	const yoda = `PhpCsFixer\Fixer\ControlStructure\YodaStyleFixer`
+	const noYoda = `SlevomatCodingStandard\Sniffs\ControlStructures\DisallowYodaComparisonSniff`
+
+	// both halves of a conflicting group loaded -> rejected
+	_, _, err := LoadECS(writeECS(t, `{
+		"rules": [
+			{"class": "`+esc(yoda)+`", "config": {}},
+			{"class": "`+esc(noYoda)+`", "config": {}}
+		]
+	}`))
+	if err == nil {
+		t.Fatal("expected conflicting checkers to be rejected")
+	}
+	if !strings.Contains(err.Error(), "mutually exclude") {
+		t.Fatalf("unexpected error: %v", err)
+	}
+
+	// skipping one half resolves the conflict
+	if _, _, err := LoadECS(writeECS(t, `{
+		"rules": [
+			{"class": "`+esc(yoda)+`", "config": {}},
+			{"class": "`+esc(noYoda)+`", "config": {}}
+		],
+		"skips": [{"class": "`+esc(noYoda)+`"}]
+	}`)); err != nil {
+		t.Fatalf("skipping one half should resolve the conflict, got %v", err)
+	}
+
+	// only one half loaded -> fine
+	if _, _, err := LoadECS(writeECS(t, `{
+		"rules": [{"class": "`+esc(yoda)+`", "config": {}}]
+	}`)); err != nil {
+		t.Fatalf("single checker should load, got %v", err)
+	}
+}