echidnabot/0-AI-MANIFEST.a2ml at main · hyperpolymath/echidnabot · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
# SPDX-License-Identifier: MPL-2.0
# SPDX-FileCopyrightText: 2025-2026 Jonathan D.A. Jewell (hyperpolymath)
#
# 0-AI-MANIFEST.a2ml — first-read pointer for AI assistants
# Media-Type: application/vnd.ai-manifest+a2ml

[manifest]
project = "echidnabot"
purpose = "Proof-aware CI bot bridging GitHub/GitLab/Bitbucket webhooks to the ECHIDNA theorem-proving platform."
license = "MPL-2.0"
estate  = "hyperpolymath"
fleet   = "gitbot-fleet (Tier-1 Verifier role)"

# ─── First-read order ───────────────────────────────────────────────────────
[entry-points]
human-readable     = ["README.adoc", "EXPLAINME.adoc", "ROADMAP.adoc"]
ai-instructions    = [".claude/CLAUDE.md"]
ai-state           = [
    ".machine_readable/6a2/STATE.a2ml",
    ".machine_readable/6a2/META.a2ml",
    ".machine_readable/6a2/AGENTIC.a2ml",
    ".machine_readable/6a2/ECOSYSTEM.a2ml",
]
bot-directives     = [".machine_readable/bot_directives/echidnabot.a2ml"]
abi-ffi-surface    = ["ABI-FFI-README.md", "src/abi/", "ffi/zig/"]

# ─── Operating rules ────────────────────────────────────────────────────────
[workflow]
inspect-first   = ".machine_readable/6a2/STATE.a2ml"   # blockers + next actions
respect         = ".machine_readable/6a2/AGENTIC.a2ml" # tooling constraints + [exceptions.*]
self-directive  = ".machine_readable/bot_directives/echidnabot.a2ml"  # current mode = advisor

# ─── Delivery promises ──────────────────────────────────────────────────────
[promises]
mention-state-changes  = true   # mention if STATE / contractiles / bot_directives changed
keep-this-file-current = true   # update this manifest if governance changes
respect-claude-md      = true   # .claude/CLAUDE.md is binding for AI assistants

# ─── Format migration history ───────────────────────────────────────────────
[history]
2026-04-17 = "migrated from Guile Scheme (`.machine_readable/6scm/*.scm`) to TOML-flavoured A2ML (`.machine_readable/6a2/*.a2ml`)"
2026-04-25 = "bot_directives extended with [bot] mode-resolver block"
2026-04-26 = "test suite reached 184/184 passing"
2026-05-30 = ".claude/CLAUDE.md flipped ReScript→AffineScript per estate policy"