sica-fondt/core/AGENTS.md
Claude 4b9657b822
Janitorial: fix CLAUDE.md typos, remove stale notes and empty folder
- core/CLAUDE.md: fix ONBOARDING.md hyperlink (../), remove doubled
  "reasonable", fix "ifnsomething" and "bew toolchain" typos, remove
  human-note annotation
- core/AGENTS.md: drop stale payloads reference from module list
- core/src/payloads/: remove empty folder (only contained rename note)
- core/src/types/what was this.md: remove stale note (types are active)
- core/src/organs/soul/README-1ST.MD: update to reflect Ada already removed

Co-Authored-By: Claude <noreply@anthropic.com>
2026-07-13 00:48:23 +00:00

1.4 KiB

AGENTS.md — Ada border (D1) + invariant vault

Local guide for mafiabot_core. Repo-wide map and rules: ../AGENTS.md; working agreements: ../CLAUDE.md.

What this is

The Ada/SPARK border — D1. All traffic to the inner brain crosses here first. Built with Alire. Internal modules under src/: trust (incl. the COBOL invariant-law vault), organs, network, protocol, daemons, core, types. These are modules, not separate organs — they share this file.

Build & test

Use Alire, not bare gprbuild (the project imports an Alire-generated config gpr):

cd mafiabot_core && alr -n build
./bin/trust_tests && ./bin/config_tests && ./bin/engine_tests

engine_tests prints nothing on success (clean exit). Or run the whole repo via .claude/skills/run-sica-fondt/smoke.sh.

The COBOL invariant vault (src/trust)

src/trust/invariants-architecture.cobol is E1, the constitution — Invariant 0 (the culpability anchor) and 01 (minimize harm). Compile/run free format:

cobc -x -free -o /tmp/inv src/trust/invariants-architecture.cobol && /tmp/inv

Local invariants

  • S1: this is the border — never add a route that lets traffic reach the inner brain without crossing here.
  • S2: never reclassify a message's provenance.
  • S3: the invariant vault is immutable at runtime — don't edit it casually; it's the constitution, not config.