echidna/0-AI-MANIFEST.a2ml at main · hyperpolymath/echidna · 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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
# SPDX-License-Identifier: PMPL-1.0-or-later
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath)
#
# 0-AI-MANIFEST.a2ml — Universal AI Agent Entry Point
# ECHIDNA: Extensible Cognitive Hybrid Intelligence for Deductive Neural Assistance
#
# READ THIS FILE FIRST. This is the canonical entry point for all AI agents.

[manifest]
version = "1.1"
project = "echidna"
type = "neurosymbolic-theorem-prover"
full-version = "1.6.0"
license = "PMPL-1.0-or-later"
author = "Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
repo = "https://github.com/hyperpolymath/echidna"

[context-tiers]
# Tier 0 (always load): This file + .claude/CLAUDE.md — orientation only
# Tier 1 (load if working on code): README.adoc, EXPLAINME.adoc, Justfile, Cargo.toml
# Tier 2 (load on demand): .machine_readable/6a2/*.a2ml, docs/
# Tier 3 (never load unless asked): tests/, generated/, proofs/
#
# DO NOT READ unless specifically asked:
#   tests/           — test files (run them, don't read them)
#   target/          — Rust build output
#   _build/          — Elixir build output
#   generated/       — auto-generated code
#   proofs/          — formal proof files (verify, don't read)
#   *.lock           — lock files
#   node_modules/    — dependencies

[canonical-locations]
state-files = ".machine_readable/"
state = ".machine_readable/6a2/STATE.a2ml"
meta = ".machine_readable/6a2/META.a2ml"
ecosystem = ".machine_readable/6a2/ECOSYSTEM.a2ml"
anchors = ".machine_readable/anchors/"
policies = ".machine_readable/policies/"
contractiles = ".machine_readable/contractiles/"
bot-directives = ".machine_readable/bot_directives/"
source = "src/"
abi = "src/abi/"
ffi = "ffi/zig/"
proofs = "proofs/"
container = "container/"

[tech-stack]
primary = "Rust (48 prover backends, trust pipeline, CLI, REPL, API servers)"
secondary = "Julia (ML inference, port 8090), ReScript+Deno (UI, 33 files, zero TypeScript)"
optional = "Chapel (parallel proof dispatch)"
abi = "Idris2 (7 modules, zero believe_me)"
ffi = "Zig (4 shared libraries)"
interfaces = "GraphQL (8081), gRPC (50051), REST (8000)"
build = "Justfile (primary), Cargo workspace"
container = "Podman + Containerfile"

[architecture]
# Trust-hardened neurosymbolic theorem proving with 48 prover backends
core = "src/rust/"                  # 48 provers, trust pipeline, dispatch
verification = "src/rust/verification/" # Portfolio, certificates, axiom tracker, confidence, mutation, pareto, statistics
integrity = "src/rust/integrity/"   # Solver binary integrity (SHAKE3-512, BLAKE3)
executor = "src/rust/executor/"     # Sandboxed execution (Podman, bubblewrap)
exchange = "src/rust/exchange/"     # Cross-prover proof exchange (OpenTheory, Dedukti)
agent = "src/rust/agent/"           # Agentic proof search (actor model)
interfaces = "src/interfaces/"      # GraphQL + gRPC + REST (workspace members)
julia-ml = "src/julia/"             # Neural premise selection
rescript-ui = "src/rescript/"       # UI components

[trust-pipeline]
# 11-step trust hardening (v1.5+)
step-1 = "Solver binary integrity (SHAKE3-512 + BLAKE3)"
step-2 = "SMT portfolio solving / cross-checking"
step-3 = "Proof certificate checking (Alethe, DRAT/LRAT, TSTP)"
step-4 = "Axiom usage tracking (4 danger levels)"
step-5 = "Solver sandboxing (Podman, bubblewrap)"
step-6 = "5-level trust hierarchy for confidence scoring"
step-7 = "Mutation testing for specifications"
step-8 = "Prover dispatch pipeline"
step-9 = "Cross-prover proof exchange"
step-10 = "Pareto frontier (multi-objective proof search)"
step-11 = "Bayesian timeout estimation"

[critical-invariants]
invariant-1 = "State files in .machine_readable/ ONLY — never in root"
invariant-2 = "All interfaces under src/interfaces/ — never extract to separate repos"
invariant-3 = "When adding provers: update all 3 layers (Rust, Julia, Chapel)"
invariant-4 = "Original name: 'Cognitive Hybrid' not 'Computational Heuristic'"
invariant-5 = "PMPL-1.0-or-later throughout"
invariant-6 = "Container: Containerfile not Dockerfile, Podman not Docker"
invariant-7 = "Justfile is primary build system — not Make"
invariant-8 = "No Python — Julia for ML, Rust for systems, ReScript for apps"
invariant-9 = "Zero believe_me in Idris2 ABI (src/abi/)"

[session-protocol]
on-enter = [
  "Read this manifest",
  "Read .machine_readable/6a2/STATE.a2ml for current status",
  "Read .claude/CLAUDE.md for build commands and conventions",
]
on-exit = [
  "Update .machine_readable/6a2/STATE.a2ml with progress",
]