Claude 14648e484f

Fix alire.toml: drop invalid SPDX license expression ...

'Proprietary TBD' is not a valid SPDX expression and Alire 2.x rejects it
(LicenseRef- custom ids are also rejected by the pinned version), aborting
manifest load before build. licenses is optional, so omit it until a license
is chosen. Verified locally with alr 2.0.2 + GNAT 14.2.1: 'alr build' succeeds
and all five test executables pass. (gnat_sockets/spark_lemmas remain declared
but unused -> a non-fatal incomplete-solution warning; build still exits 0.)

2026-06-10 04:06:41 +00:00

..

config

Scaffold mafiabot_core module stubs

2026-05-31 00:08:43 +00:00

src

Fix compile errors so Gen.03 core builds and tests pass

2026-06-10 02:27:33 +00:00

tests

Fix compile errors so Gen.03 core builds and tests pass

2026-06-10 02:27:33 +00:00

.gitignore

Fix compile errors so Gen.03 core builds and tests pass

2026-06-10 02:27:33 +00:00

alire.toml

Fix alire.toml: drop invalid SPDX license expression

2026-06-10 04:06:41 +00:00

gnat.adc

Add Alire build setup and populate Engine package

2026-05-31 00:25:30 +00:00

mafiabot_core.gpr

Add Gen.03 organ-systems core: Ada Medium, Soul/Tarot, trust boundary, Hermes MCP bridge

2026-06-09 21:50:50 +00:00