- M1 law script format decision doc recommends S-expressions with fixed
combinators for non-Turing provability, auditability, and immutability
at runtime (S99). Includes example constitution with all L1-L5 invariants.
- M1 trader-wallet-marketplace API designs: compare 3 radically different
shapes (minimal tokens, event-sourced ledger, GraphQL). Recommend Design B
(ledger) for auditability, replay capability, and SAE integration.
- Ada config: core_config.gpr with GNAT 2022 compiler flags.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Mechanical structure-only pass (no document/guide content edits):
- Move src/ichor, src/endocrine, and docs/ into core/; the old top-level
mafiabot_core/ becomes core/. Everything now lives under a single core/ root.
- Drop the "mafiabot" label from the Ada/Alire crate: core.gpr (project Core),
alire.toml name = "core"; the generated *_config.* regenerate as core_config.*.
- Repoint build-critical wiring only:
- .claude/skills/run-sica-fondt/smoke.sh (ponyc + Ada + COBOL paths)
- core/src/endocrine R source()/runner paths and the test glob
- .github/workflows/ci.yml (working-directory + gpr name)
Verified green: smoke ALL GREEN (Pony Ichor, Ada core crate + tests, COBOL E1
vault); R endocrine 14/0; Octave ETR 26/0/1.
Deferred (reserved for a less-ephemeral doc/guide pass): docmap.yaml, the guide
files and nested AGENTS.md/README prose + now-stale relative links, SOUL.md, and
the deeper ring/storage restructure.
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_015hmgREHNsxYCuim33yUF2c
