mirror of
https://github.com/SHOGGOTH-SECTOR/sica-fondt.git
synced 2026-07-31 16:16:26 +00:00
42ef321c4c
Implements the Gen.03 organ-systems body in SPARK/Ada (Jorvik, No_Exceptions): - Shared types (mafiabot_types): Bounded_Text, Operation_Status, Organ_Id, Provenance_Tag, fixed-point drive/ratio/cost/axis types. - Config loader: SPARK-safe flat key-value parser (no heap/exceptions/finalization). - Trust boundary: blocklist substring matching, provenance enforcement, tick-based rate limiting, Trust_Guard protected object. - Soul / Silicon Dawn Tarot: 56-card alphabet, Celtic Cross spread, Big-3 identity anchors. The cross accretes from the cognitive loops (2 cards per layer at steps 6/9/13, stave of 4 at step 17) rather than being drawn whole. - Sessions: Soul_State is now keyed by (uid, channel, server). Each session has its own card pool, cross, and output counter; the Big-3 identity is global. A formed cross is held for the session (or 17 outputs, whichever is longer). Two users on two channels never share a deck or a cross. - Ada Medium: 23-step forward-only inference cycle wiring the cognitive loops, Celtic Cross injection, and outbound trust screening per session. - Hermes MCP stdio bridge: JSON-RPC over stdin/stdout (initialize, tools/list, tools/call), SOUL.md generation, verbatim id echo. SPARK_Mode Off for I/O; trust checks run in proven code first. - Main driver: organ init -> SOUL.md publish -> MCP serve loop. - Tests: soul, trust, cycle (session formation/isolation), config. Fixes an orchestrator bug where step 1 advanced onto Phase_Input after Reset, failing every cycle. Note: requires GNAT/Alire to build; no Ada toolchain in this environment, so compilation and gnatprove must run in CI.
34 lines
695 B
Plaintext
34 lines
695 B
Plaintext
with "config/mafiabot_core_config.gpr";
|
|
|
|
project Mafiabot_Core is
|
|
|
|
for Source_Dirs use
|
|
("src",
|
|
"src/core",
|
|
"src/daemons",
|
|
"src/network",
|
|
"src/payloads",
|
|
"src/types",
|
|
"src/config_loader",
|
|
"src/trust",
|
|
"src/organs/soul",
|
|
"src/organs/ada_medium",
|
|
"src/protocol",
|
|
"config",
|
|
"tests");
|
|
for Object_Dir use "obj";
|
|
for Exec_Dir use "bin";
|
|
for Main use
|
|
("mafiabot.adb",
|
|
"engine_tests.adb",
|
|
"soul_tests.adb",
|
|
"trust_tests.adb",
|
|
"cycle_tests.adb",
|
|
"config_tests.adb");
|
|
|
|
package Builder is
|
|
for Global_Configuration_Pragmas use "gnat.adc";
|
|
end Builder;
|
|
|
|
end Mafiabot_Core;
|