fix(iace): scan ZoneDE in domain gate (catches zone-only domain hints)

A "Splitterflug bei Werkzeugbruch" pattern leaked into a lift re-seed because
its press hint ("Pressraum") lives in ZoneDE, which applyDomainGates did not
scan. Add ZoneDE to the gated text. Leakage stays 0, ghosts 0, coverage held.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

ai-compliance-sdk/internal/iace/pattern_domain_gates.go

@@ -65,7 +65,7 @@ var domainGateTerms = map[string]string{
 func applyDomainGates(patterns []HazardPattern) []HazardPattern {
 	for i := range patterns {
 		text := normalizeGateText(patterns[i].NameDE + " " + patterns[i].ScenarioDE + " " +
-			patterns[i].TriggerDE + " " + patterns[i].HarmDE)
+			patterns[i].TriggerDE + " " + patterns[i].HarmDE + " " + patterns[i].ZoneDE)
 
 		present := make(map[string]bool, len(patterns[i].RequiredComponentTags))
 		for _, t := range patterns[i].RequiredComponentTags {

ai-compliance-sdk/internal/iace/pattern_domain_gates_test.go

@@ -11,22 +11,23 @@ import (
 // type and only generic tags. After applyDomainGates they MUST require a dom_*
 // tag, so they no longer fire for unrelated machines.
 func TestDomainGate_NamedLeakersGated(t *testing.T) {
-	leakers := []string{
+	// Confirmed cross-domain leakers observed firing for a lift project. (Note:
-		"Quetschen Arm zwischen Pressenteilen",
+	// "Splitterflug bei Werkzeugbruch" has two patterns sharing the name; the
-		"Quetschen durch Punktschweisselektroden",
+	// one that leaked carries a "Pressraum" zone and is gated via the zone
-		"Laerm bei Glasschneidemaschine",
+	// scan — verified empirically by the project re-seed, not pinned here to
-		"Laerm bei Blechbearbeitung (Stanzen)",
+	// avoid catching the unrelated high-pressure plastics variant HP514.)
+	leakers := map[string]bool{
+		"Quetschen Arm zwischen Pressenteilen":    true,
+		"Quetschen durch Punktschweisselektroden": true,
+		"Laerm bei Glasschneidemaschine":          true,
+		"Laerm bei Blechbearbeitung (Stanzen)":    true,
 	}
-	byName := map[string]HazardPattern{}
+	seen := map[string]bool{}
 	for _, p := range collectAllPatterns() {
-		byName[p.NameDE] = p
+		if !leakers[p.NameDE] {
-	}
-	for _, n := range leakers {
-		p, ok := byName[n]
-		if !ok {
-			t.Errorf("leaker pattern %q not found in library", n)
 			continue
 		}
+		seen[p.NameDE] = true
 		hasDom := false
 		for _, tag := range p.RequiredComponentTags {
 			if strings.HasPrefix(tag, "dom_") {
@@ -35,7 +36,12 @@ func TestDomainGate_NamedLeakersGated(t *testing.T) {
 			}
 		}
 		if !hasDom {
-			t.Errorf("%s (%q) not domain-gated; RequiredComponentTags=%v", p.ID, n, p.RequiredComponentTags)
+			t.Errorf("%s (%q) not domain-gated; RequiredComponentTags=%v", p.ID, p.NameDE, p.RequiredComponentTags)
+		}
+	}
+	for n := range leakers {
+		if !seen[n] {
+			t.Errorf("leaker pattern %q not found in library", n)
 		}
 	}
 }