0-AI-MANIFEST.a2ml

# SPDX-License-Identifier: MPL-2.0
# 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 = "2.3.0"
license = "MPL-2.0"
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/descriptiles/*.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]
deed = "echidna_chora.deed"
state-files = ".machine_readable/"
state = ".machine_readable/descriptiles/STATE.a2ml"
meta = ".machine_readable/descriptiles/META.a2ml"
ecosystem = ".machine_readable/descriptiles/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 (141 ProverKind variants over 105 backend implementations — see docs/PROVER_COUNT.adoc; trust pipeline, CLI, REPL, API servers)"
secondary = "Julia (ML inference, port 8090), AffineScript+Bun (UI, TEA architecture, zero TypeScript; Deno banned estate-wide 2026-09-22)"
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; canonical backend count and
# count semantics live in docs/PROVER_COUNT.adoc
core = "src/rust/"                  # ProverKind enum + backends, 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
affinescript-ui = "src/ui/"       # 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 = "MPL-2.0 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, AffineScript for apps"
invariant-9 = "Zero believe-me in Idris2 ABI (src/abi/)"

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