mirror of
https://github.com/SHOGGOTH-SECTOR/sica-fondt.git
synced 2026-07-31 16:16:26 +00:00
2a2b698fb4
Ada is the D1 border, not the body. Removed everything that pretended otherwise
and completed the real gate so it builds, links, and passes its tests.
Deleted (wrong/defunct/superseded):
- ada_medium.adb (defunct medium, header commented 'WRONG'; replaced by Ichor)
- sockets.{ads,adb} (empty package with an illegal body)
- bbb-bludbrenburier.ads ('this is filler'); invariants-architecture.cobol ('idk cobol')
- tests/soul_tests.adb, tests/cycle_tests.adb (exercise a Soul.Tarot/State/Ada_Medium
subsystem that does not exist -- the old 56-card/Big-3 design, superseded)
mafiabot_types -> border-only: organs aren't Ada (organs are R/Octave/Pony/Guile),
so drop Organ_Id; drop Cycle_Step (cognition) and the fixed-point Drive/Ratio/
Cost/Axis numerics (drive/affect math lives in the organs, in floats). Keep the
source/trust tag (Provenance_Tag), Operation_Status, and a bounded payload --
content is pre-digested into RAG context upstream, so the gate scans a bounded
buffer for prompt-injection rather than streaming raw input.
trust_boundary: Organ_Message -> Border_Message {Provenance, Payload} (Ada does
not route by organ -- that's Ichor); add the D1 body (blocklist scan, provenance,
rate limit, Trust_Guard) -- the unit Ichor's barrier FFI targets.
Add mafiabot_types.adb. Fix mafiabot_core.gpr (drop phantom dirs + nonexistent
mafiabot.adb main). alire.toml: drop unused gnat_sockets/spark_lemmas.
Builds clean on GNAT 13.3/Alire; trust + config tests pass.
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_015hmgREHNsxYCuim33yUF2c
21 lines
820 B
TOML
21 lines
820 B
TOML
name = "mafiabot_core"
|
|
version = "0.1.0"
|
|
description = "Sovereign cognitive architecture"
|
|
authors = ["Shoggoth Sect 0.R"]
|
|
maintainers = ["hahahaha <redacted@dev.null>"]
|
|
maintainers-logins = ["sybad"]
|
|
# licenses: omitted -- proprietary/TBD. Alire requires a valid SPDX expression
|
|
# here, and neither "Proprietary TBD" nor a LicenseRef- custom id is accepted by
|
|
# the pinned Alire, so the (optional) field is left out until a license is chosen.
|
|
|
|
# No external crate deps: nothing here `with`s GNAT.Sockets or SPARK.Lemmas.
|
|
# (They were declared for the deleted sockets stub and never used.) Re-add as
|
|
# real needs appear.
|
|
|
|
# Build modes wildcard "*". Restrictions are NOT a build-switch: see gnat.adc.
|
|
[build-switches]
|
|
"*".ada_version = "Ada2022"
|
|
"*".style_checks = "Yes"
|
|
"*".contracts = "Yes"
|
|
"*".runtime_checks = "None"
|