docs(readme): correct stale test count (129→184) + prover-surface claim (#86)

echidnabot half of the estate checkpoint (echidna#238). Scoped tightly
to the
**unambiguous, safe README corrections**; the entangled items are
deferred with
reasons below rather than half-done autonomously.

## Done — `README.adoc`
- **Test count 129 → 184** (3 spots: status line, Tests table cell,
build cmd).
184 is the canonical full-suite total per `ROADMAP.adoc` + `CLAUDE.md`;
`EXPLAINME.adoc` records the finer lib sub-count drift (`cargo test
--lib` ≈
142+ as of 2026-06-02), so I wrote the **total only** and did *not*
hardcode
  contested per-suite sub-counts.
- **"12-prover enumeration" → `ProverSlug`-based addressing**. The type
migrated
from a 12-variant enum to `ProverSlug(String)`; the client still wires
12
backends by default (intentional drift from upstream's full surface), so
the
reword reflects the type change *without inflating the local enum* — per
the
  drift warning in `CLAUDE.md`.

## Deferred (each entangled — flagged for a deliberate pass, not blind
auto-edit)
- **`STATE.a2ml` last-updated bump**: `.machine_readable/` changes carry
the
dual-truth obligation (must land in *both* standalone and the echidna
monorepo
copy). Half-doing it creates the exact drift the rule prevents — better
done
  deliberately with the mirror.
- **Archive `SESSION_SUMMARY_2026-01-29.md`**: it's listed in
`CANONICAL_SOURCE.md`'s "standalone → fleet shared surface" table;
moving it
  needs that table updated + the fleet sync, beyond a clean archive.
- **Contractile location asymmetry**: `dust`/`must`/`trust` live only
under
root `contractiles/`, `intend` only under
`.machine_readable/contractiles/`
(`adjust`/`bust` in both). Structural — needs a reference-safe move, not
a
  blind one.

## Flagged (no change)
- `CANONICAL_SOURCE.md` still lists a `TESTING-REPORT.scm` — worth a
`.scm`
deprecation check (the estate rule replaces metadata `.scm` with
`.a2ml`,
  excepting `guix.scm`).

Draft until reviewed.

https://claude.ai/code/session_01UAqDQaMwpUqWHUSZekGZWv

---
_Generated by [Claude
Code](https://claude.ai/code/session_01UAqDQaMwpUqWHUSZekGZWv)_

Author: hyperpolymath

README.adoc

@@ -63,7 +63,7 @@ But your CI pipeline does not understand proofs:
 
 == Current Status (v0.1.0)
 
-**Overall completion: ~90%** -- Core infrastructure, platform adapters, ECHIDNA integration, container isolation, bot modes, retry/circuit breaker, and trust bridge are implemented. 129 automated tests across unit and integration suites. Production hardening (observability, rate limiting, deployment automation) remains.
+**Overall completion: ~90%** -- Core infrastructure, platform adapters, ECHIDNA integration, container isolation, bot modes, retry/circuit breaker, and trust bridge are implemented. 184 automated tests across lib, lifecycle, integration, property, seam, and smoke suites. Production hardening (observability, rate limiting, deployment automation) remains.
 
 === What Is Implemented
 
@@ -81,7 +81,7 @@ But your CI pipeline does not understand proofs:
 
 |ECHIDNA Integration
 |Complete
-|HTTP client (reqwest) for ECHIDNA REST API, 12-prover enumeration with tier classification, job dispatch, result parsing, prover health checking
+|HTTP client (reqwest) for ECHIDNA REST API, `ProverSlug`-based prover addressing (String newtype, 12 backends wired by default), tier classification, job dispatch, result parsing, prover health checking
 
 |Job Scheduler
 |Complete
@@ -105,7 +105,7 @@ But your CI pipeline does not understand proofs:
 
 |Tests
 |Complete
-|129 tests (30 integration, 99 unit) covering webhook verification, ECHIDNA client, bot modes, job lifecycle, database models, circuit breaker, container executor, trust bridge, axiom tracking, result formatting
+|184 tests across lib, lifecycle, integration, property, seam, and smoke suites covering webhook verification, ECHIDNA client, bot modes, job lifecycle, database models, circuit breaker, container executor, trust bridge, axiom tracking, result formatting
 |===
 
 === What Is Not Yet Implemented
@@ -451,7 +451,7 @@ and current limitations — live in link:docs/deployment.adoc[`docs/deployment.a
 [source,bash]
 ----
 cargo build
-cargo test          # Run all 129 tests
+cargo test          # Run all 184 tests
 cargo test -- --nocapture  # With output
 ----