3 Commits

Author	SHA1	Message	Date
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
Claude	d1e4eec578	Scaffold mafiabot_core module stubs ... Add assumption-free skeletons for the modules documented in the README: empty Engine/Economy/Sockets/Exploits packages, null-body Mafiabot and Engine_Tests procedures, and a placeholder config/config.yaml.	2026-05-31 00:08:43 +00:00