From 80fe7a06a70358df9d8a84f7f3a62f11b440f048 Mon Sep 17 00:00:00 2001
From: Claude <noreply@anthropic.com>
Date: Wed, 10 Jun 2026 04:03:34 +0000
Subject: [PATCH] Fix alire.toml: style_checks selector Max -> Yes

Alire 2.x only accepts no/yes for the style_checks build-switch category;
"Max" failed manifest loading so 'alr build' aborted before compiling.
"Yes" enables GNAT style checks (warnings, non-fatal) -- the valid selector
closest to the intended Max. Local gprbuild bypassed alire.toml which is why
this only surfaced in CI (alr build).
---
 mafiabot_core/alire.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mafiabot_core/alire.toml b/mafiabot_core/alire.toml
index c5de773..9677e5f 100644
--- a/mafiabot_core/alire.toml
+++ b/mafiabot_core/alire.toml
@@ -13,6 +13,6 @@ spark_lemmas = "^1.0.0"
 # Build modes wildcard "*". Restrictions are NOT a build-switch: see gnat.adc.
 [build-switches]
 "*".ada_version = "Ada2022"
-"*".style_checks = "Max"
+"*".style_checks = "Yes"
 "*".contracts = "Yes"
 "*".runtime_checks = "None"