@jinn-network/client 0.1.6 → 0.1.7-canary.08ebd916

package/dist/config.d.ts

@@ -15,45 +15,6 @@
  */
 import { z } from 'zod';
 import type { Task } from './types/task.js';
-export interface DefaultSolverNetConfig extends Record<string, unknown> {
-    enabled?: boolean;
-    solverType: string;
-    /**
-     * Operator-selected roles for this SolverNet. A non-empty subset of
-     * `['solving', 'evaluating']`. Multiple roles can run concurrently — the
-     * daemon enforces `disallowSolverSelfEvaluation` on-chain so the operator
-     * never evaluates its own Solutions, and the on-chain
-     * TaskActivityCheckerV3 keeps `solutionDeliveryWeight` and
-     * `verdictDeliveryWeight` as independent additive counters.
-     *
-     * Launcher-side flagging is no longer expressed as an operator role —
-     * launcher ownership is determined by the launched-record subsystem
-     * (spec/2026-05-05-solvernet-creation-and-launch.md §11). Operator config
-     * carries only the participation roles.
-     *
-     * Legacy `role: 'solving' | 'evaluating'` configs are auto-migrated to
-     * `roles: [<role>]` by the loader (zod preprocessor on solverNets[*]).
-     */
-    roles?: Array<'solving' | 'evaluating'>;
-    harness?: string;
-    model?: string;
-    plugins?: Array<string | {
-        name?: string;
-        source: string;
-        version?: string;
-    }>;
-    taskGenerator?: {
-        enabled?: boolean;
-    };
-}
-/**
- * Default `solverNets` is empty per Decision 5 of
- * spec/2026-05-05-solvernet-creation-and-launch.md — pre-release, no
- * migration burden. Fresh installs no longer seed the `prediction` entry;
- * the operator joins SolverNets through the registry (Task 21's
- * `joinedSolverNets` block).
- */
-export declare const DEFAULT_SOLVER_NETS: Record<string, DefaultSolverNetConfig>;
 export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
     /**
      * Network to connect to.
@@ -64,19 +25,24 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
      */
     network: z.ZodDefault<z.ZodEnum<["mainnet", "testnet"]>>;
     /**
-     * Base RPC endpoint.
-     * Defaults to https://mainnet.base.org for 'mainnet' and
-     * https://sepolia.base.org for 'testnet'. Set explicitly to override.
+     * Base RPC endpoint(s). Accepts either a single URL string or an array of
+     * URLs. When an array (or a comma-separated env var) is supplied, the
+     * daemon builds a viem `fallback()` chain in slot order (primary first).
+     * See `client/src/rpc/transport.ts` for the wrapper. Defaults to the
+     * publicnode+sepolia.base.org two-provider chain on testnet and the public
+     * `mainnet.base.org` on mainnet. Set explicitly to override.
+     *
+     * Env: JINN_RPC_URL / BASE_SEPOLIA_RPC_URL / BASE_RPC_URL (comma-separated).
      */
-    rpcUrl: z.ZodOptional<z.ZodString>;
-    archiveRpcUrl: z.ZodOptional<z.ZodString>;
+    rpcUrl: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodArray<z.ZodString, "many">]>>;
+    archiveRpcUrl: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodArray<z.ZodString, "many">]>>;
     /**
-     * Optional L2 proof/archive RPC endpoint for canonical cross-chain canaries.
+     * Optional L2 proof/archive RPC endpoint(s) for canonical cross-chain canaries.
      * The daemon can use its normal rpcUrl for writes while proof construction
      * uses this endpoint for historical eth_getProof at OP dispute-game blocks.
-     * Env: JINN_L2_PROOF_RPC_URL.
+     * Accepts string or array form (see rpcUrl). Env: JINN_L2_PROOF_RPC_URL.
      */
-    l2ProofRpcUrl: z.ZodOptional<z.ZodString>;
+    l2ProofRpcUrl: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodArray<z.ZodString, "many">]>>;
     /** Earning state directory */
     earningDir: z.ZodDefault<z.ZodString>;
     /** SQLite database path */
@@ -96,6 +62,20 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
      * Set to 0 to disable. Env: JINN_BALANCE_TOPUP_INTERVAL_MS
      */
     balanceTopupIntervalMs: z.ZodDefault<z.ZodNumber>;
+    /**
+     * Interval between eviction-state polls for the staking proxy (ms).
+     * Default 60000 (1 min). Set to 0 to disable. Env: JINN_EVICTION_CHECK_INTERVAL_MS
+     */
+    evictionCheckIntervalMs: z.ZodDefault<z.ZodNumber>;
+    /**
+     * Interval between proactive `checkpoint()` tx calls to each staked
+     * proxy (ms). Keeps `tsCheckpoint` advancing so the activity-rate window
+     * stays narrow — without it operators silently fail liveness on realistic
+     * cadence (issue #505). Default 300_000 (5 min), matching the standard
+     * `livenessPeriod` on stOLAS staking proxies. Set to 0 to disable.
+     * Env: JINN_CHECKPOINT_INTERVAL_MS.
+     */
+    checkpointIntervalMs: z.ZodDefault<z.ZodNumber>;
     /** HTTP API port */
     apiPort: z.ZodDefault<z.ZodNumber>;
     /**
@@ -123,6 +103,13 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
      * Default 30 000 ms. Env: JINN_HERMES_DOCTOR_TIMEOUT_MS.
      */
     hermesDoctorTimeoutMs: z.ZodDefault<z.ZodNumber>;
+    /** Path to the `codex` executable. Defaults to `codex` when unset. */
+    codexPath: z.ZodOptional<z.ZodString>;
+    /**
+     * Timeout in ms for `codex --version` health-check runs.
+     * Default 30 000 ms. Env: JINN_CODEX_DOCTOR_TIMEOUT_MS.
+     */
+    codexDoctorTimeoutMs: z.ZodDefault<z.ZodNumber>;
     /**
      * How the operator runs the daemon. Set once by app-guided setup or the
      * legacy `jinn auth` compatibility command, then read by every command that
@@ -208,6 +195,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
             submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
             claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
             policyHook: z.ZodOptional<z.ZodString>;
+            requiredVerdicts: z.ZodOptional<z.ZodNumber>;
         }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
             mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
             maxClaims: z.ZodNumber;
@@ -217,6 +205,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
             submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
             claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
             policyHook: z.ZodOptional<z.ZodString>;
+            requiredVerdicts: z.ZodOptional<z.ZodNumber>;
         }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
             mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
             maxClaims: z.ZodNumber;
@@ -226,6 +215,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
             submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
             claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
             policyHook: z.ZodOptional<z.ZodString>;
+            requiredVerdicts: z.ZodOptional<z.ZodNumber>;
         }, z.ZodTypeAny, "passthrough">>>;
         signedTask: z.ZodOptional<z.ZodEffects<z.ZodEffects<z.ZodObject<{
             signature: z.ZodObject<{
@@ -273,6 +263,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
                 mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
                 maxClaims: z.ZodNumber;
@@ -282,6 +273,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
                 mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
                 maxClaims: z.ZodNumber;
@@ -291,6 +283,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, z.ZodTypeAny, "passthrough">>;
             creator: z.ZodObject<{
                 safeAddress: z.ZodString;
@@ -349,6 +342,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
                 mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
                 maxClaims: z.ZodNumber;
@@ -358,6 +352,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
                 mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
                 maxClaims: z.ZodNumber;
@@ -367,6 +362,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, z.ZodTypeAny, "passthrough">>;
             creator: z.ZodObject<{
                 safeAddress: z.ZodString;
@@ -425,6 +421,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
                 mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
                 maxClaims: z.ZodNumber;
@@ -434,6 +431,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
                 mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
                 maxClaims: z.ZodNumber;
@@ -443,6 +441,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, z.ZodTypeAny, "passthrough">>;
             creator: z.ZodObject<{
                 safeAddress: z.ZodString;
@@ -501,6 +500,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
                 mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
                 maxClaims: z.ZodNumber;
@@ -510,6 +510,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
                 mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
                 maxClaims: z.ZodNumber;
@@ -519,6 +520,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, z.ZodTypeAny, "passthrough">>;
             creator: z.ZodObject<{
                 safeAddress: z.ZodString;
@@ -577,6 +579,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
                 mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
                 maxClaims: z.ZodNumber;
@@ -586,6 +589,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
                 mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
                 maxClaims: z.ZodNumber;
@@ -595,6 +599,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, z.ZodTypeAny, "passthrough">>;
             creator: z.ZodObject<{
                 safeAddress: z.ZodString;
@@ -637,6 +642,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 claimWindowEndTs?: number | undefined;
                 submissionDeadlineTs?: number | undefined;
                 policyHook?: string | undefined;
+                requiredVerdicts?: number | undefined;
             } & {
                 [k: string]: unknown;
             };
@@ -691,6 +697,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
                 mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
                 maxClaims: z.ZodNumber;
@@ -700,6 +707,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
                 mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
                 maxClaims: z.ZodNumber;
@@ -709,6 +717,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, z.ZodTypeAny, "passthrough">>;
             creator: z.ZodObject<{
                 safeAddress: z.ZodString;
@@ -745,6 +754,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
             submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
             claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
             policyHook: z.ZodOptional<z.ZodString>;
+            requiredVerdicts: z.ZodOptional<z.ZodNumber>;
         }, z.ZodTypeAny, "passthrough"> | undefined;
         context?: Record<string, unknown> | undefined;
         attemptId?: string | undefined;
@@ -780,6 +790,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 claimWindowEndTs?: number | undefined;
                 submissionDeadlineTs?: number | undefined;
                 policyHook?: string | undefined;
+                requiredVerdicts?: number | undefined;
             } & {
                 [k: string]: unknown;
             };
@@ -812,6 +823,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
             submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
             claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
             policyHook: z.ZodOptional<z.ZodString>;
+            requiredVerdicts: z.ZodOptional<z.ZodNumber>;
         }, z.ZodTypeAny, "passthrough"> | undefined;
         context?: Record<string, unknown> | undefined;
         attemptId?: string | undefined;
@@ -863,6 +875,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
                 mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
                 maxClaims: z.ZodNumber;
@@ -872,6 +885,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
                 mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
                 maxClaims: z.ZodNumber;
@@ -881,6 +895,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, z.ZodTypeAny, "passthrough">>;
             creator: z.ZodObject<{
                 safeAddress: z.ZodString;
@@ -921,17 +936,19 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
      */
     jinnMviL2DeploymentPath: z.ZodOptional<z.ZodString>;
     /**
-     * RPC endpoint for the L1 governance chain (Ethereum / Sepolia) where the
-     * JinnDistributor lives. Required when jinnDistributorAddress is set.
-     * Env: JINN_ETHEREUM_RPC_URL.
+     * RPC endpoint(s) for the L1 governance chain (Ethereum / Sepolia) where
+     * the JinnDistributor lives. Accepts string or array form (see rpcUrl) and
+     * supports comma-separated env values. Testnet defaults to a public Sepolia
+     * RPC; mainnet requires an operator override when L1 submit mode is
+     * configured. Env: JINN_ETHEREUM_RPC_URL.
      */
-    ethereumRpcUrl: z.ZodOptional<z.ZodString>;
+    ethereumRpcUrl: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodArray<z.ZodString, "many">]>>;
     /**
-     * Optional archive RPC endpoint for the L1 governance chain. Used for
-     * historical block lookups when constructing canonical-mode proofs.
-     * Env: JINN_ETHEREUM_ARCHIVE_RPC_URL.
+     * Optional archive RPC endpoint(s) for the L1 governance chain. Used for
+     * historical block lookups when constructing canonical-mode proofs. Accepts
+     * string or array form. Env: JINN_ETHEREUM_ARCHIVE_RPC_URL.
      */
-    ethereumArchiveRpcUrl: z.ZodOptional<z.ZodString>;
+    ethereumArchiveRpcUrl: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodArray<z.ZodString, "many">]>>;
     /**
      * L1 network used by the cross-chain claim loop. 'sepolia' tracks Base
      * Sepolia testnet; 'ethereum' tracks Base mainnet. Defaults to 'sepolia'
@@ -939,10 +956,10 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
      */
     jinnL1Network: z.ZodDefault<z.ZodEnum<["sepolia", "ethereum"]>>;
     /**
-     * JinnDistributor address on the L1 governance chain. Setting this enables
-     * the cross-chain claim loop. When set, ethereumRpcUrl MUST also be set.
-     * Resolved from jinnMviL1DeploymentPath when omitted; otherwise a manual
-     * override. Env: JINN_DISTRIBUTOR_ADDRESS.
+     * JinnDistributor address on the L1 governance chain. Required for
+     * jinnClaimSubmissionMode='submit'. When set for submit mode, ethereumRpcUrl
+     * MUST also be set. Resolved from jinnMviL1DeploymentPath when omitted;
+     * otherwise a manual override. Env: JINN_DISTRIBUTOR_ADDRESS.
      */
     jinnDistributorAddress: z.ZodOptional<z.ZodString>;
     /**
@@ -967,6 +984,20 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
      * Env: JINN_MESSENGER_MODE.
      */
     jinnMessengerMode: z.ZodDefault<z.ZodEnum<["canonical", "mock"]>>;
+    /**
+     * Claim submission mode. `emit-only` only submits TaskClaimEmitter.emitClaim
+     * on L2 and records the resulting ticket. `submit` continues into the L1
+     * messenger/distributor path.
+     * Env: JINN_CLAIM_SUBMISSION_MODE.
+     */
+    jinnClaimSubmissionMode: z.ZodDefault<z.ZodEnum<["emit-only", "submit"]>>;
+    /**
+     * Explicit operator gate for the cross-chain JINN claim loop. The schema
+     * default stays off for mainnet/unknown networks; loadConfig defaults this
+     * on for testnet now that the emitter and standing relayer are live.
+     * Env: JINN_CLAIM_LOOP_ENABLED=1|true|yes.
+     */
+    jinnClaimLoopEnabled: z.ZodDefault<z.ZodBoolean>;
     /**
      * How often the daemon ticks the cross-chain JINN claim loop (ms). Default
      * 3 600 000 (1 hour) — well below mainnet challenge windows while
@@ -1073,97 +1104,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
         mode?: "train" | "frozen" | undefined;
     }>>;
     /**
-     * SolverNet activation, Harness selection, and operator-configured runtime plugins.
-     *
-     * Each entry's `roles` is a non-empty subset of `['solving', 'evaluating']`.
-     * Multiple roles can run concurrently for the same SolverNet; the
-     * protocol-level `disallowSolverSelfEvaluation` flag prevents the operator
-     * from evaluating its own Solutions and the on-chain
-     * TaskActivityCheckerV3 tracks Solution and Verdict counters independently
-     * (additive into `eligibleActivityWeight`).
-     *
-     * Launcher ownership lives in the launched-record subsystem
-     * (spec/2026-05-05-solvernet-creation-and-launch.md §11), not in operator
-     * config — there is no `'launching'` operator role. Legacy entries that
-     * include `'launching'` in `roles` have it stripped by the preprocessor so
-     * older config files keep loading.
-     *
-     * Backwards-compat: a legacy `role: 'solving' | 'evaluating'` field is
-     * auto-promoted to `roles: [<role>]` by the zod preprocessor below so
-     * existing `~/.jinn-client/config.json` files keep loading without an
-     * operator migration step.
-     */
-    solverNets: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodEffects<z.ZodObject<{
-        enabled: z.ZodDefault<z.ZodBoolean>;
-        solverType: z.ZodString;
-        roles: z.ZodEffects<z.ZodDefault<z.ZodArray<z.ZodEnum<["solving", "evaluating"]>, "many">>, ("solving" | "evaluating")[], ("solving" | "evaluating")[] | undefined>;
-        harness: z.ZodDefault<z.ZodEffects<z.ZodString, string, string>>;
-        model: z.ZodOptional<z.ZodString>;
-        plugins: z.ZodDefault<z.ZodArray<z.ZodUnion<[z.ZodString, z.ZodObject<{
-            name: z.ZodOptional<z.ZodString>;
-            source: z.ZodString;
-            version: z.ZodOptional<z.ZodString>;
-        }, "strip", z.ZodTypeAny, {
-            source: string;
-            name?: string | undefined;
-            version?: string | undefined;
-        }, {
-            source: string;
-            name?: string | undefined;
-            version?: string | undefined;
-        }>]>, "many">>;
-        taskGenerator: z.ZodDefault<z.ZodObject<{
-            enabled: z.ZodDefault<z.ZodBoolean>;
-        }, "strip", z.ZodTypeAny, {
-            enabled: boolean;
-        }, {
-            enabled?: boolean | undefined;
-        }>>;
-    }, "strip", z.ZodTypeAny, {
-        solverType: string;
-        enabled: boolean;
-        roles: ("solving" | "evaluating")[];
-        harness: string;
-        plugins: (string | {
-            source: string;
-            name?: string | undefined;
-            version?: string | undefined;
-        })[];
-        taskGenerator: {
-            enabled: boolean;
-        };
-        model?: string | undefined;
-    }, {
-        solverType: string;
-        enabled?: boolean | undefined;
-        roles?: ("solving" | "evaluating")[] | undefined;
-        harness?: string | undefined;
-        model?: string | undefined;
-        plugins?: (string | {
-            source: string;
-            name?: string | undefined;
-            version?: string | undefined;
-        })[] | undefined;
-        taskGenerator?: {
-            enabled?: boolean | undefined;
-        } | undefined;
-    }>, {
-        solverType: string;
-        enabled: boolean;
-        roles: ("solving" | "evaluating")[];
-        harness: string;
-        plugins: (string | {
-            source: string;
-            name?: string | undefined;
-            version?: string | undefined;
-        })[];
-        taskGenerator: {
-            enabled: boolean;
-        };
-        model?: string | undefined;
-    }, unknown>>>;
-    /**
-     * Manifest-keyed joined SolverNets (Task 21).
+     * Manifest-keyed joined SolverNets.
      *
      * Spec: spec/2026-05-05-solvernet-creation-and-launch.md §12.
      *
@@ -1172,10 +1113,10 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
      * (CIDv0 / CIDv1) — the only stable identifier that maps back to a
      * launched-instance authority across launchers.
      *
-     * Kept structurally separate from legacy `solverNets` for now. The daemon
-     * narrows this block into runtime SolverNet registry entries on restart, and
-     * Task 22 collapses both branches into a single manifest-keyed shape once
-     * the legacy block is fully drained.
+     * The daemon narrows this block into runtime SolverNet registry entries on
+     * restart. Legacy short-name-keyed `solverNets` blocks on operator config
+     * files are auto-migrated into synthetic `legacy:<short-name>`-keyed
+     * entries at load time (see `migrateLegacySolverNets`).
      */
     joinedSolverNets: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
         manifestCid: z.ZodString;
@@ -1196,28 +1137,28 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
         plugins: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
         disabledDefaultPlugins: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
     }, "strip", z.ZodTypeAny, {
+        manifestCid: string;
         roles: ("solver" | "evaluator")[];
         plugins: string[];
-        manifestCid: string;
         disabledDefaultPlugins: string[];
         name?: string | undefined;
         harness?: string | undefined;
-        model?: string | undefined;
         contract?: {
             id: string;
             version: string;
         } | undefined;
+        model?: string | undefined;
     }, {
-        roles: ("solver" | "evaluator")[];
         manifestCid: string;
+        roles: ("solver" | "evaluator")[];
         name?: string | undefined;
         harness?: string | undefined;
-        model?: string | undefined;
-        plugins?: string[] | undefined;
         contract?: {
             id: string;
             version: string;
         } | undefined;
+        model?: string | undefined;
+        plugins?: string[] | undefined;
         disabledDefaultPlugins?: string[] | undefined;
     }>>>;
     /**
@@ -1374,20 +1315,49 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
      * Env: JINN_REPUTATION_ENABLED
      */
     reputationEnabled: z.ZodDefault<z.ZodBoolean>;
+    /**
+     * Per-credential daily spend caps (USD). Keys are credential identifiers
+     * (e.g. `'anthropic:api-key'`); values are positive numbers representing
+     * the maximum USD spend per day for that credential.
+     *
+     * `JINN_SPEND_CAP_USD` (env-only, consumed directly by the spend-budget
+     * subsystem in Task 9) is tracked for provenance in TRACKED_ENV_VARS below
+     * but is NOT a config-file field and has no entry in this schema.
+     */
+    spendCaps: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    /**
+     * Operator-local SolverPlugin trust state.
+     *
+     * `blockedCids` is the list of plug-in CIDs the operator has chosen to
+     * refuse to load — populated by `jinn solver-plugins block <cid>` and read
+     * at daemon startup. The block list complements the on-chain
+     * `giveFeedback(score=0)` write (which is the public-trust signal); the
+     * local list is the operator's own refusal to execute, applied even when
+     * the network write fails. File-managed only — no env override.
+     *
+     * See spec/2026-05-26-117-design.md "Failure modes" and "Local-only effects".
+     */
+    solverPlugins: z.ZodDefault<z.ZodObject<{
+        blockedCids: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        blockedCids: string[];
+    }, {
+        blockedCids?: string[] | undefined;
+    }>>;
 }, "strip", z.ZodTypeAny, {
-    harness: {
-        mode: "train" | "frozen";
-    };
     network: "testnet" | "mainnet";
     earningDir: string;
     dbPath: string;
     pollIntervalMs: number;
     rewardClaimIntervalMs: number;
     balanceTopupIntervalMs: number;
+    evictionCheckIntervalMs: number;
+    checkpointIntervalMs: number;
     apiPort: number;
     claudePath: string;
     claudeModel: string;
     hermesDoctorTimeoutMs: number;
+    codexDoctorTimeoutMs: number;
     peers: string[];
     tasks: {
         id?: string | undefined;
@@ -1412,6 +1382,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
             submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
             claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
             policyHook: z.ZodOptional<z.ZodString>;
+            requiredVerdicts: z.ZodOptional<z.ZodNumber>;
         }, z.ZodTypeAny, "passthrough"> | undefined;
         context?: Record<string, unknown> | undefined;
         attemptId?: string | undefined;
@@ -1447,6 +1418,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 claimWindowEndTs?: number | undefined;
                 submissionDeadlineTs?: number | undefined;
                 policyHook?: string | undefined;
+                requiredVerdicts?: number | undefined;
             } & {
                 [k: string]: unknown;
             };
@@ -1461,25 +1433,15 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
     ipfsGatewayUrl: string;
     jinnL1Network: "sepolia" | "ethereum";
     jinnMessengerMode: "canonical" | "mock";
+    jinnClaimSubmissionMode: "emit-only" | "submit";
+    jinnClaimLoopEnabled: boolean;
     jinnClaimLoopIntervalMs: number;
     stakingMode: "standard" | "self-bond";
     targetServices: number;
     debug: boolean;
-    solverNets: Record<string, {
-        solverType: string;
-        enabled: boolean;
-        roles: ("solving" | "evaluating")[];
-        harness: string;
-        plugins: (string | {
-            source: string;
-            name?: string | undefined;
-            version?: string | undefined;
-        })[];
-        taskGenerator: {
-            enabled: boolean;
-        };
-        model?: string | undefined;
-    }>;
+    harness: {
+        mode: "train" | "frozen";
+    };
     captures: {
         llmProxy: {
             enabled: boolean;
@@ -1488,13 +1450,17 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
     };
     runLegacyMigrations: boolean;
     reputationEnabled: boolean;
-    rpcUrl?: string | undefined;
-    archiveRpcUrl?: string | undefined;
-    l2ProofRpcUrl?: string | undefined;
+    solverPlugins: {
+        blockedCids: string[];
+    };
+    rpcUrl?: string | string[] | undefined;
+    archiveRpcUrl?: string | string[] | undefined;
+    l2ProofRpcUrl?: string | string[] | undefined;
     apiBindHost?: string | undefined;
     hermesPath?: string | undefined;
     hermesModel?: string | undefined;
     hermesProvider?: string | undefined;
+    codexPath?: string | undefined;
     runtimeMode?: "bare" | "docker-compose" | "container" | undefined;
     discovery?: {
         mode?: "http" | "embedded" | "onchain" | undefined;
@@ -1509,8 +1475,8 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
     testnetStolasDeploymentPath?: string | undefined;
     jinnMviL1DeploymentPath?: string | undefined;
     jinnMviL2DeploymentPath?: string | undefined;
-    ethereumRpcUrl?: string | undefined;
-    ethereumArchiveRpcUrl?: string | undefined;
+    ethereumRpcUrl?: string | string[] | undefined;
+    ethereumArchiveRpcUrl?: string | string[] | undefined;
     jinnDistributorAddress?: string | undefined;
     jinnClaimEmitterAddress?: string | undefined;
     jinnMessengerAddress?: string | undefined;
@@ -1528,17 +1494,17 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
         }[] | undefined;
     } | undefined;
     joinedSolverNets?: Record<string, {
+        manifestCid: string;
         roles: ("solver" | "evaluator")[];
         plugins: string[];
-        manifestCid: string;
         disabledDefaultPlugins: string[];
         name?: string | undefined;
         harness?: string | undefined;
-        model?: string | undefined;
         contract?: {
             id: string;
             version: string;
         } | undefined;
+        model?: string | undefined;
     }> | undefined;
     trustedImplSigners?: {
         publicKey: string;
@@ -1559,19 +1525,19 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
     } | undefined;
     identityRegistryAddress?: string | undefined;
     validationRegistryAddress?: string | undefined;
+    spendCaps?: Record<string, number> | undefined;
 }, {
-    harness?: {
-        mode?: "train" | "frozen" | undefined;
-    } | undefined;
     network?: "testnet" | "mainnet" | undefined;
-    rpcUrl?: string | undefined;
-    archiveRpcUrl?: string | undefined;
-    l2ProofRpcUrl?: string | undefined;
+    rpcUrl?: string | string[] | undefined;
+    archiveRpcUrl?: string | string[] | undefined;
+    l2ProofRpcUrl?: string | string[] | undefined;
     earningDir?: string | undefined;
     dbPath?: string | undefined;
     pollIntervalMs?: number | undefined;
     rewardClaimIntervalMs?: number | undefined;
     balanceTopupIntervalMs?: number | undefined;
+    evictionCheckIntervalMs?: number | undefined;
+    checkpointIntervalMs?: number | undefined;
     apiPort?: number | undefined;
     apiBindHost?: string | undefined;
     claudePath?: string | undefined;
@@ -1580,6 +1546,8 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
     hermesModel?: string | undefined;
     hermesProvider?: string | undefined;
     hermesDoctorTimeoutMs?: number | undefined;
+    codexPath?: string | undefined;
+    codexDoctorTimeoutMs?: number | undefined;
     runtimeMode?: "bare" | "docker-compose" | "container" | undefined;
     peers?: string | string[] | undefined;
     discovery?: {
@@ -1612,6 +1580,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
             submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
             claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
             policyHook: z.ZodOptional<z.ZodString>;
+            requiredVerdicts: z.ZodOptional<z.ZodNumber>;
         }, z.ZodTypeAny, "passthrough"> | undefined;
         context?: Record<string, unknown> | undefined;
         attemptId?: string | undefined;
@@ -1663,6 +1632,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
                 mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
                 maxClaims: z.ZodNumber;
@@ -1672,6 +1642,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
                 mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
                 maxClaims: z.ZodNumber;
@@ -1681,6 +1652,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, z.ZodTypeAny, "passthrough">>;
             creator: z.ZodObject<{
                 safeAddress: z.ZodString;
@@ -1703,13 +1675,15 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
     testnetStolasDeploymentPath?: string | undefined;
     jinnMviL1DeploymentPath?: string | undefined;
     jinnMviL2DeploymentPath?: string | undefined;
-    ethereumRpcUrl?: string | undefined;
-    ethereumArchiveRpcUrl?: string | undefined;
+    ethereumRpcUrl?: string | string[] | undefined;
+    ethereumArchiveRpcUrl?: string | string[] | undefined;
     jinnL1Network?: "sepolia" | "ethereum" | undefined;
     jinnDistributorAddress?: string | undefined;
     jinnClaimEmitterAddress?: string | undefined;
     jinnMessengerAddress?: string | undefined;
     jinnMessengerMode?: "canonical" | "mock" | undefined;
+    jinnClaimSubmissionMode?: "emit-only" | "submit" | undefined;
+    jinnClaimLoopEnabled?: boolean | undefined;
     jinnClaimLoopIntervalMs?: number | undefined;
     stakingMode?: "standard" | "self-bond" | undefined;
     targetServices?: number | undefined;
@@ -1727,18 +1701,20 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
             version?: string | undefined;
         }[] | undefined;
     } | undefined;
-    solverNets?: Record<string, unknown> | undefined;
+    harness?: {
+        mode?: "train" | "frozen" | undefined;
+    } | undefined;
     joinedSolverNets?: Record<string, {
-        roles: ("solver" | "evaluator")[];
         manifestCid: string;
+        roles: ("solver" | "evaluator")[];
         name?: string | undefined;
         harness?: string | undefined;
-        model?: string | undefined;
-        plugins?: string[] | undefined;
         contract?: {
             id: string;
             version: string;
         } | undefined;
+        model?: string | undefined;
+        plugins?: string[] | undefined;
         disabledDefaultPlugins?: string[] | undefined;
     }> | undefined;
     trustedImplSigners?: {
@@ -1768,20 +1744,24 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
     identityRegistryAddress?: string | undefined;
     validationRegistryAddress?: string | undefined;
     reputationEnabled?: boolean | undefined;
+    spendCaps?: Record<string, number> | undefined;
+    solverPlugins?: {
+        blockedCids?: string[] | undefined;
+    } | undefined;
 }>, {
-    harness: {
-        mode: "train" | "frozen";
-    };
     network: "testnet" | "mainnet";
     earningDir: string;
     dbPath: string;
     pollIntervalMs: number;
     rewardClaimIntervalMs: number;
     balanceTopupIntervalMs: number;
+    evictionCheckIntervalMs: number;
+    checkpointIntervalMs: number;
     apiPort: number;
     claudePath: string;
     claudeModel: string;
     hermesDoctorTimeoutMs: number;
+    codexDoctorTimeoutMs: number;
     peers: string[];
     tasks: {
         id?: string | undefined;
@@ -1806,6 +1786,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
             submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
             claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
             policyHook: z.ZodOptional<z.ZodString>;
+            requiredVerdicts: z.ZodOptional<z.ZodNumber>;
         }, z.ZodTypeAny, "passthrough"> | undefined;
         context?: Record<string, unknown> | undefined;
         attemptId?: string | undefined;
@@ -1841,6 +1822,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 claimWindowEndTs?: number | undefined;
                 submissionDeadlineTs?: number | undefined;
                 policyHook?: string | undefined;
+                requiredVerdicts?: number | undefined;
             } & {
                 [k: string]: unknown;
             };
@@ -1855,25 +1837,15 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
     ipfsGatewayUrl: string;
     jinnL1Network: "sepolia" | "ethereum";
     jinnMessengerMode: "canonical" | "mock";
+    jinnClaimSubmissionMode: "emit-only" | "submit";
+    jinnClaimLoopEnabled: boolean;
     jinnClaimLoopIntervalMs: number;
     stakingMode: "standard" | "self-bond";
     targetServices: number;
     debug: boolean;
-    solverNets: Record<string, {
-        solverType: string;
-        enabled: boolean;
-        roles: ("solving" | "evaluating")[];
-        harness: string;
-        plugins: (string | {
-            source: string;
-            name?: string | undefined;
-            version?: string | undefined;
-        })[];
-        taskGenerator: {
-            enabled: boolean;
-        };
-        model?: string | undefined;
-    }>;
+    harness: {
+        mode: "train" | "frozen";
+    };
     captures: {
         llmProxy: {
             enabled: boolean;
@@ -1882,13 +1854,17 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
     };
     runLegacyMigrations: boolean;
     reputationEnabled: boolean;
-    rpcUrl?: string | undefined;
-    archiveRpcUrl?: string | undefined;
-    l2ProofRpcUrl?: string | undefined;
+    solverPlugins: {
+        blockedCids: string[];
+    };
+    rpcUrl?: string | string[] | undefined;
+    archiveRpcUrl?: string | string[] | undefined;
+    l2ProofRpcUrl?: string | string[] | undefined;
     apiBindHost?: string | undefined;
     hermesPath?: string | undefined;
     hermesModel?: string | undefined;
     hermesProvider?: string | undefined;
+    codexPath?: string | undefined;
     runtimeMode?: "bare" | "docker-compose" | "container" | undefined;
     discovery?: {
         mode?: "http" | "embedded" | "onchain" | undefined;
@@ -1903,8 +1879,8 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
     testnetStolasDeploymentPath?: string | undefined;
     jinnMviL1DeploymentPath?: string | undefined;
     jinnMviL2DeploymentPath?: string | undefined;
-    ethereumRpcUrl?: string | undefined;
-    ethereumArchiveRpcUrl?: string | undefined;
+    ethereumRpcUrl?: string | string[] | undefined;
+    ethereumArchiveRpcUrl?: string | string[] | undefined;
     jinnDistributorAddress?: string | undefined;
     jinnClaimEmitterAddress?: string | undefined;
     jinnMessengerAddress?: string | undefined;
@@ -1922,17 +1898,17 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
         }[] | undefined;
     } | undefined;
     joinedSolverNets?: Record<string, {
+        manifestCid: string;
         roles: ("solver" | "evaluator")[];
         plugins: string[];
-        manifestCid: string;
         disabledDefaultPlugins: string[];
         name?: string | undefined;
         harness?: string | undefined;
-        model?: string | undefined;
         contract?: {
             id: string;
             version: string;
         } | undefined;
+        model?: string | undefined;
     }> | undefined;
     trustedImplSigners?: {
         publicKey: string;
@@ -1953,19 +1929,19 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
     } | undefined;
     identityRegistryAddress?: string | undefined;
     validationRegistryAddress?: string | undefined;
+    spendCaps?: Record<string, number> | undefined;
 }, {
-    harness?: {
-        mode?: "train" | "frozen" | undefined;
-    } | undefined;
     network?: "testnet" | "mainnet" | undefined;
-    rpcUrl?: string | undefined;
-    archiveRpcUrl?: string | undefined;
-    l2ProofRpcUrl?: string | undefined;
+    rpcUrl?: string | string[] | undefined;
+    archiveRpcUrl?: string | string[] | undefined;
+    l2ProofRpcUrl?: string | string[] | undefined;
     earningDir?: string | undefined;
     dbPath?: string | undefined;
     pollIntervalMs?: number | undefined;
     rewardClaimIntervalMs?: number | undefined;
     balanceTopupIntervalMs?: number | undefined;
+    evictionCheckIntervalMs?: number | undefined;
+    checkpointIntervalMs?: number | undefined;
     apiPort?: number | undefined;
     apiBindHost?: string | undefined;
     claudePath?: string | undefined;
@@ -1974,6 +1950,8 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
     hermesModel?: string | undefined;
     hermesProvider?: string | undefined;
     hermesDoctorTimeoutMs?: number | undefined;
+    codexPath?: string | undefined;
+    codexDoctorTimeoutMs?: number | undefined;
     runtimeMode?: "bare" | "docker-compose" | "container" | undefined;
     peers?: string | string[] | undefined;
     discovery?: {
@@ -2006,6 +1984,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
             submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
             claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
             policyHook: z.ZodOptional<z.ZodString>;
+            requiredVerdicts: z.ZodOptional<z.ZodNumber>;
         }, z.ZodTypeAny, "passthrough"> | undefined;
         context?: Record<string, unknown> | undefined;
         attemptId?: string | undefined;
@@ -2057,6 +2036,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
                 mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
                 maxClaims: z.ZodNumber;
@@ -2066,6 +2046,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
                 mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
                 maxClaims: z.ZodNumber;
@@ -2075,6 +2056,7 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
                 submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
                 claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
                 policyHook: z.ZodOptional<z.ZodString>;
+                requiredVerdicts: z.ZodOptional<z.ZodNumber>;
             }, z.ZodTypeAny, "passthrough">>;
             creator: z.ZodObject<{
                 safeAddress: z.ZodString;
@@ -2097,13 +2079,15 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
     testnetStolasDeploymentPath?: string | undefined;
     jinnMviL1DeploymentPath?: string | undefined;
     jinnMviL2DeploymentPath?: string | undefined;
-    ethereumRpcUrl?: string | undefined;
-    ethereumArchiveRpcUrl?: string | undefined;
+    ethereumRpcUrl?: string | string[] | undefined;
+    ethereumArchiveRpcUrl?: string | string[] | undefined;
     jinnL1Network?: "sepolia" | "ethereum" | undefined;
     jinnDistributorAddress?: string | undefined;
     jinnClaimEmitterAddress?: string | undefined;
     jinnMessengerAddress?: string | undefined;
     jinnMessengerMode?: "canonical" | "mock" | undefined;
+    jinnClaimSubmissionMode?: "emit-only" | "submit" | undefined;
+    jinnClaimLoopEnabled?: boolean | undefined;
     jinnClaimLoopIntervalMs?: number | undefined;
     stakingMode?: "standard" | "self-bond" | undefined;
     targetServices?: number | undefined;
@@ -2121,18 +2105,20 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
             version?: string | undefined;
         }[] | undefined;
     } | undefined;
-    solverNets?: Record<string, unknown> | undefined;
+    harness?: {
+        mode?: "train" | "frozen" | undefined;
+    } | undefined;
     joinedSolverNets?: Record<string, {
-        roles: ("solver" | "evaluator")[];
         manifestCid: string;
+        roles: ("solver" | "evaluator")[];
         name?: string | undefined;
         harness?: string | undefined;
-        model?: string | undefined;
-        plugins?: string[] | undefined;
         contract?: {
             id: string;
             version: string;
         } | undefined;
+        model?: string | undefined;
+        plugins?: string[] | undefined;
         disabledDefaultPlugins?: string[] | undefined;
     }> | undefined;
     trustedImplSigners?: {
@@ -2162,10 +2148,33 @@ export declare const JinnConfigSchema: z.ZodEffects<z.ZodObject<{
     identityRegistryAddress?: string | undefined;
     validationRegistryAddress?: string | undefined;
     reputationEnabled?: boolean | undefined;
+    spendCaps?: Record<string, number> | undefined;
+    solverPlugins?: {
+        blockedCids?: string[] | undefined;
+    } | undefined;
 }>;
-/** JinnConfig with rpcUrl guaranteed to be resolved (never undefined) and tasks with id always assigned. */
-export type JinnConfig = Omit<z.infer<typeof JinnConfigSchema>, 'rpcUrl' | 'tasks' | 'engine'> & {
+/**
+ * JinnConfig with rpcUrl guaranteed to be resolved (never undefined) and tasks
+ * with id always assigned.
+ *
+ * `rpcUrl` is the head of the fallback chain (the slot-0 URL) and is kept as
+ * a `string` for display continuity — the ~30 places that log/display
+ * `config.rpcUrl` (provenance, error formatting, `[main] daemon starting on …`)
+ * keep working unchanged. The full chain lives in `rpcUrls: readonly string[]`,
+ * which is what `buildFallbackTransport()` consumes. Same shape for the L1
+ * (ethereum) and optional archive/proof variants.
+ */
+export type JinnConfig = Omit<z.infer<typeof JinnConfigSchema>, 'rpcUrl' | 'archiveRpcUrl' | 'l2ProofRpcUrl' | 'ethereumRpcUrl' | 'ethereumArchiveRpcUrl' | 'tasks' | 'engine'> & {
     rpcUrl: string;
+    rpcUrls: readonly string[];
+    archiveRpcUrl?: string;
+    archiveRpcUrls?: readonly string[];
+    l2ProofRpcUrl?: string;
+    l2ProofRpcUrls?: readonly string[];
+    ethereumRpcUrl?: string;
+    ethereumRpcUrls?: readonly string[];
+    ethereumArchiveRpcUrl?: string;
+    ethereumArchiveRpcUrls?: readonly string[];
     tasks: Task[];
     engine: {
         workingDirRoot: string;
@@ -2181,12 +2190,41 @@ export declare const DEFAULT_CONFIG_PATH: string;
  * historical sync — see ponder.config.ts).
  */
 export declare const DEFAULT_TESTNET_DISCOVERY_URL = "https://jinn-indexer-production.up.railway.app";
+export declare const DEFAULT_TESTNET_ETHEREUM_RPC_URL = "https://ethereum-sepolia-rpc.publicnode.com";
+/**
+ * Default fallback chain for the L2 measurement chain (Base Sepolia) on
+ * testnet. Per AC2 of issue #592:
+ *   slot 0 — `https://base-sepolia.publicnode.com` (no-auth, 50k-block
+ *     getLogs cap, no shared-quota cliff).
+ *   slot 1 — `https://sepolia.base.org` (free public Coinbase endpoint,
+ *     2k-block cap; last-resort backup).
+ * Operators are encouraged to prepend a paid primary key (Alchemy, Tenderly,
+ * etc.) via `rpcUrl` config or `JINN_RPC_URL` / `BASE_SEPOLIA_RPC_URL` env.
+ */
+export declare const DEFAULT_TESTNET_RPC_URLS: readonly string[];
 export type ConfigLoadErrorCode = 'config_file_not_found' | 'config_json_invalid' | 'tasks_file_not_found' | 'tasks_json_invalid' | 'config_invalid';
 export declare class ConfigLoadError extends Error {
     readonly code: ConfigLoadErrorCode;
     readonly details?: Record<string, unknown>;
     constructor(code: ConfigLoadErrorCode, message: string, details?: Record<string, unknown>);
 }
+/**
+ * Translate any legacy short-name-keyed `solverNets` block on the raw parsed
+ * config into manifest-keyed `joinedSolverNets` entries with synthetic
+ * `legacy:<short-name>` keys.
+ *
+ * This is the auto-migration path for operators upgrading past issue #421.
+ * The runtime claim filter remains manifest-digest gated, so synthetic-keyed
+ * entries don't change task eligibility — they exist purely so the diagnostic
+ * surfaces (Overview SOLVING-ON eyebrow, prediction-operator-status) keep
+ * showing the operator's previous SolverNets until they re-join via the SPA.
+ *
+ * Returns the number of legacy entries migrated. Idempotent — calling on an
+ * already-migrated raw config is a no-op.
+ *
+ * @param raw — the JSON-parsed config file contents (mutated in place).
+ */
+export declare function migrateLegacySolverNets(raw: Record<string, unknown>): number;
 /**
  * Load config with resolution: env > config file > defaults.
  *