Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hyperpolymath merged 1 commit into from
Jun 13, 2026
Merged

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

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions README.adoc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand All @@ -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
Expand All @@ -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
Expand Down Expand Up @@ -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
----

Expand Down
Loading