3 Commits

Author	SHA1	Message	Date
Claude	80fe7a06a7	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).	2026-06-10 04:03:34 +00:00
gravermistakes	ca3e1c4441	Update alire.toml ... :t	2026-05-30 21:37:30 -07:00
Claude	3918ed1c1a	Add Alire build setup and populate Engine package ... - alire.toml rewritten to valid schema ([[depends-on]], real build-switch values); restrictions moved to gnat.adc - gnat.adc: project-wide Jorvik profile, No_Exceptions, No_Implicit_Dynamic_Code, SPARK_Mode On - mafiabot_core.gpr: source dirs, mains, global config pragmas - Engine: drop the caller-side precondition race on Transition_State; guard moved into the protected body with illegal transitions forcing Fault_Halt - Empty stubs (economy/sockets/exploits): drop Elaborate_Body so they no longer compile until implemented	2026-05-31 00:25:30 +00:00