fix: apply PORT-REGISTRY.md — neural/prover API 8081, docs-site 4070

Port 8080 collided with VeriSimDB default. Per canonical registry,
ECHIDNA is assigned port 8081. Updated 45+ files across container defs,
entrypoint, echidnabot config, Rust/ReScript servers, scripts, and docs.
Also moved docs-site from 4040 (Gossamer's port) to 4070.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

.containerization/Containerfile

@@ -118,7 +118,7 @@ ENV ECHIDNA_PROVER_PATH="/opt"
 RUN mkdir -p /app/proofs /app/config /app/logs
 
 # Expose API port
-EXPOSE 8080
+EXPOSE 8081
 
 # Health check
 HEALTHCHECK --interval=30s --timeout=10s --start-period=5s --retries=3 \

.containerization/Containerfile.full

@@ -201,7 +201,7 @@ RUN mkdir -p /app/proofs /app/config /app/logs
 # REST API
 EXPOSE 8000
 # GraphQL
-EXPOSE 8080
+EXPOSE 8081
 # gRPC
 EXPOSE 50051
 # Julia ML

0-AI-MANIFEST.a2ml

@@ -51,7 +51,7 @@ secondary = "Julia (ML inference, port 8090), ReScript+Deno (UI, 28 files)"
 optional = "Chapel (parallel proof dispatch)"
 abi = "Idris2 (7 modules, zero believe_me)"
 ffi = "Zig (4 shared libraries)"
-interfaces = "GraphQL (8080), gRPC (50051), REST (8000)"
+interfaces = "GraphQL (8081), gRPC (50051), REST (8000)"
 build = "Justfile (primary), Cargo workspace"
 container = "Podman + Containerfile"
 

CHANGELOG.md

@@ -115,7 +115,7 @@ Complete implementation of 13-component trust-hardening system:
 - Constraint Solvers: GLPK, SCIP, MiniZinc, Chuffed, OR-Tools
 
 **API Interfaces**:
-- GraphQL API (async-graphql, port 8080)
+- GraphQL API (async-graphql, port 8081)
 - gRPC API (tonic, port 50051)
 - REST API (axum + OpenAPI, port 8000)
 

CLAUDE.md

@@ -33,7 +33,7 @@ echidna/
 │   │   ├── main.rs         # CLI entry point
 │   │   └── lib.rs          # Library root
 │   ├── interfaces/         # API interfaces (workspace members)
-│   │   ├── graphql/        # GraphQL (async-graphql, port 8080)
+│   │   ├── graphql/        # GraphQL (async-graphql, port 8081)
 │   │   ├── grpc/           # gRPC (tonic, port 50051)
 │   │   └── rest/           # REST (axum + OpenAPI, port 8000)
 │   ├── julia/              # Julia ML components

Containerfile

@@ -87,7 +87,7 @@ ENV ECHIDNA_PROVER_PATH="/opt"
 
 RUN mkdir -p /app/proofs /app/config /app/logs
 
-EXPOSE 8080
+EXPOSE 8081
 
 HEALTHCHECK --interval=30s --timeout=10s --start-period=5s --retries=3 \
     CMD ["/app/bin/echidna", "--version"]

Justfile

@@ -286,7 +286,7 @@ tour:
     echo "     src/rust/agent/           - Agentic proof search (actor model)"
     echo ""
     echo "2. API INTERFACES: src/interfaces/"
-    echo "     graphql/   - async-graphql (port 8080)"
+    echo "     graphql/   - async-graphql (port 8081)"
     echo "     grpc/      - tonic gRPC (port 50051)"
     echo "     rest/       - axum + OpenAPI (port 8000)"
     echo ""

README.adoc

@@ -131,7 +131,7 @@ The verification pipeline applies the following checks to every proof:
 * *Agentic Proof Search*: Actor-based autonomous proof exploration
 * *Chapel Parallel Layer* (optional): Coforall-based parallel proof dispatch
 * *3 API Interfaces*:
-  - GraphQL (async-graphql, port 8080)
+  - GraphQL (async-graphql, port 8081)
   - gRPC (tonic + Protocol Buffers, port 50051)
   - REST (axum + OpenAPI/Swagger, port 8000)
 * *ReScript UI*: 28 compiled components for proof exploration

ROADMAP.adoc

@@ -42,7 +42,7 @@ Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 == v1.4 -- Interfaces and Extended Provers (COMPLETE)
 
 * [x] 5 new provers (Vampire, E Prover, SPASS, Alt-Ergo, Idris2) -- total 17
-* [x] GraphQL interface (async-graphql, port 8080)
+* [x] GraphQL interface (async-graphql, port 8081)
 * [x] gRPC interface (tonic + Protocol Buffers, port 50051)
 * [x] REST interface (axum + OpenAPI/Swagger, port 8000)
 * [x] All 3 layers (Rust, Julia, Chapel) support 17 provers

arcvix-neurosymbolic-theorem-proving.tex

@@ -1138,7 +1138,7 @@ \subsection{Core Components}
 Built on \texttt{rustyline} for readline-style editing.
 
 \paragraph{API Interfaces.}
-Three API interfaces (GraphQL on port 8080, gRPC on port 50051, REST on port
+Three API interfaces (GraphQL on port 8081, gRPC on port 50051, REST on port
 8000) expose \echidna{}'s capabilities to external tools. Each is implemented
 as a separate workspace member, sharing the core library.