feat(verisim-api): add proof_attempts REST endpoints for Hypatia pipeline

Three new routes under /api/v1/proof_attempts:
  GET    ?limit=N            — list attempt rows (for Julia retraining)
  POST                       — insert attempt row from echidnabot
  GET    /strategy?class=X   — recommendations from mv_proven_certificates
  GET    /certificates?class=X — PROVEN/pending cert status per prover

All handlers speak to ClickHouse HTTP API via reqwest POST-with-body
(VERISIM_CLICKHOUSE_URL, default http://localhost:8123). No new crate deps.

Also fix tantivy 0.26 API break in verisim-document: TopDocs::with_limit(n)
no longer implements Collector directly; must call .order_by_score() first.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: hyperpolymath

verisimdb/rust-core/verisim-api/src/lib.rs

@@ -10,6 +10,7 @@ pub mod federation;
 pub mod graphql;
 pub mod groove;
 pub mod grpc;
+pub mod proof_attempts;
 pub mod rbac;
 pub mod transaction;
 pub mod vql;
@@ -670,6 +671,19 @@ pub fn build_router(state: AppState) -> Router {
         .route("/spatial/search/nearest", post(spatial_nearest_handler))
         // VQL text query endpoint (used by verisim-repl)
         .route("/vql/execute", post(vql::vql_execute_handler))
+        // Proof-attempts pipeline (ClickHouse-backed, versioned under /api/v1/)
+        .route(
+            "/api/v1/proof_attempts",
+            get(proof_attempts::list_proof_attempts).post(proof_attempts::insert_proof_attempt),
+        )
+        .route(
+            "/api/v1/proof_attempts/strategy",
+            get(proof_attempts::strategy),
+        )
+        .route(
+            "/api/v1/proof_attempts/certificates",
+            get(proof_attempts::certificates),
+        )
         // Authentication middleware layer
         .layer(axum_middleware::from_fn_with_state(
             auth_state,