docs(wiki): sync from canonical docs/wiki/ in echidna repo
The wiki had drifted significantly from the in-repo canonical mirror at
`docs/wiki/` (which the README of that directory explicitly nominates
as the source of truth). Recurring drifts:
- Prover count claimed `48+` (correct: 128 declared, 12 core — per
`docs/PROVER_COUNT.md`).
- Module map referenced `backends/`, `core/`, `pipeline/`, `ml/`,
`api/` — none of which match the real tree (which is
`src/rust/provers/`, `src/rust/verification/`, `src/rust/integrity/`,
`src/rust/executor/`, `src/rust/dispatch.rs`, `src/rust/server.rs`,
`src/julia/`, `src/abi/`, etc.).
- ProverBackend trait signature fictional — replaced with the
canonical async signature.
- API endpoint listed as `POST /verify` on port 8080 — correct routes
are `/api/prove`, `/api/verify`, `/api/provers`, `/api/health`
on the binary default 8081 (per src/rust/server.rs).
- `just api`, `just setup`, `just repl`, `just verify` recipes do
not exist; correct entry points are `cargo run -- server`,
`cargo run -- interactive`, and the build/test/doctor/heal/tour
recipes named in the new Getting-Started.
- Architecture page omitted the 11-step trust pipeline, the Julia ML
sidecar (port 8090), the Idris2 ABI proofs, the Agda meta-checker,
the Chapel parallel layer, and VeriSimDB integration.
- FAQ + Troubleshooting were thin placeholders; replaced with the
canonical content that mirrors what new users actually encounter
(Tier-1 binary install, sandbox setup, neural sidecar gating,
Chapel feature flag, etc.).
This commit copies all six pages (Home, Architecture, Getting-Started,
Guides, FAQ, Troubleshooting) verbatim from echidna#main:docs/wiki/ as
of the same-day docs maxout PR. Future divergence should be resolved
the same way: update docs/wiki/ in the main repo first, then sync.