@jinn-network/client 0.1.2 → 0.1.3-canary.24b69ea4

package/dist/config.d.ts

@@ -14,8 +14,47 @@
  * (mainnet V1, testnet V2) for JinnRouter claimDelivery encoding.
  */
 import { z } from 'zod';
-import type { DesiredState } from './types/desired-state.js';
-export declare const JinnConfigSchema: z.ZodObject<{
+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.
      * 'testnet' → Base Sepolia (default during Phase 1b; fast epochs, free funds).
@@ -31,6 +70,13 @@ export declare const JinnConfigSchema: z.ZodObject<{
      */
     rpcUrl: z.ZodOptional<z.ZodString>;
     archiveRpcUrl: z.ZodOptional<z.ZodString>;
+    /**
+     * Optional L2 proof/archive RPC endpoint 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.
+     */
+    l2ProofRpcUrl: z.ZodOptional<z.ZodString>;
     /** Earning state directory */
     earningDir: z.ZodDefault<z.ZodString>;
     /** SQLite database path */
@@ -52,6 +98,16 @@ export declare const JinnConfigSchema: z.ZodObject<{
     balanceTopupIntervalMs: z.ZodDefault<z.ZodNumber>;
     /** HTTP API port */
     apiPort: z.ZodDefault<z.ZodNumber>;
+    /**
+     * Bind host for the HTTP API server. Defaults to `127.0.0.1` so the daemon
+     * is unreachable across the network out of the box — operators who need
+     * LAN access (or who terminate TLS in front of the daemon) opt in via this
+     * knob or `JINN_API_BIND_HOST`. Cost-mutating routes (`POST /artifacts`,
+     * `POST /v1/artifacts/acquire`) require a bearer token regardless; the
+     * bind host is the outer firewall.
+     * Env: JINN_API_BIND_HOST.
+     */
+    apiBindHost: z.ZodOptional<z.ZodString>;
     /** Path to claude CLI binary */
     claudePath: z.ZodDefault<z.ZodString>;
     /** Model for restoration/evaluation agent */
@@ -71,11 +127,19 @@ export declare const JinnConfigSchema: z.ZodObject<{
     subgraphUrl: z.ZodOptional<z.ZodString>;
     /** This node's public HTTP endpoint (for 8004 registration) */
     nodeEndpoint: z.ZodOptional<z.ZodString>;
-    /** Desired states to create and restore. Empty by default; testnet auto-intents fill the loop. */
-    desiredStates: z.ZodDefault<z.ZodArray<z.ZodObject<{
+    /** Tasks to create and solve. Empty by default; enabled SolverNet generators fill the loop. */
+    tasks: z.ZodDefault<z.ZodArray<z.ZodObject<{
         id: z.ZodOptional<z.ZodString>;
-        description: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
         context: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        solverType: z.ZodOptional<z.ZodString>;
+        contractId: z.ZodOptional<z.ZodString>;
+        contractVersion: z.ZodOptional<z.ZodString>;
+        solverNetManifestCid: z.ZodOptional<z.ZodString>;
+        role: z.ZodOptional<z.ZodEnum<["restoration", "evaluation"]>>;
+        attemptId: z.ZodOptional<z.ZodString>;
+        attemptNumber: z.ZodOptional<z.ZodNumber>;
+        restorationRequestId: z.ZodOptional<z.ZodString>;
         window: z.ZodOptional<z.ZodObject<{
             startTs: z.ZodNumber;
             endTs: z.ZodNumber;
@@ -86,38 +150,703 @@ export declare const JinnConfigSchema: z.ZodObject<{
             startTs: number;
             endTs: number;
         }>>;
-        spec: z.ZodOptional<z.ZodIntersection<z.ZodObject<{
-            kind: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            kind: string;
-        }, {
-            kind: string;
-        }>, z.ZodRecord<z.ZodString, z.ZodUnknown>>>;
+        spec: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
         eligibility: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        claimPolicy: z.ZodOptional<z.ZodObject<{
+            mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+            maxClaims: z.ZodNumber;
+            maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+            claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+            claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+            submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+            claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+            policyHook: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+            maxClaims: z.ZodNumber;
+            maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+            claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+            claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+            submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+            claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+            policyHook: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+            maxClaims: z.ZodNumber;
+            maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+            claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+            claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+            submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+            claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+            policyHook: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>>;
+        signedTask: z.ZodOptional<z.ZodEffects<z.ZodEffects<z.ZodObject<{
+            signature: z.ZodObject<{
+                algo: z.ZodLiteral<"secp256k1">;
+                signer: z.ZodString;
+                hash: z.ZodString;
+                sig: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            }, {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            }>;
+            schemaVersion: z.ZodLiteral<"task.v1">;
+            id: z.ZodString;
+            solverType: z.ZodString;
+            solverNetManifestCid: z.ZodString;
+            contractId: z.ZodString;
+            contractVersion: z.ZodString;
+            role: z.ZodDefault<z.ZodEnum<["restoration", "evaluation"]>>;
+            description: z.ZodString;
+            window: z.ZodObject<{
+                startTs: z.ZodNumber;
+                endTs: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                startTs: number;
+                endTs: number;
+            }, {
+                startTs: number;
+                endTs: number;
+            }>;
+            spec: z.ZodEffects<z.ZodRecord<z.ZodString, z.ZodUnknown>, Record<string, unknown>, Record<string, unknown>>;
+            eligibility: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            claimPolicy: z.ZodObject<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            creator: z.ZodObject<{
+                safeAddress: z.ZodString;
+                agentEoa: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                safeAddress: string;
+                agentEoa: string;
+            }, {
+                safeAddress: string;
+                agentEoa: string;
+            }>;
+            createdAt: z.ZodNumber;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            signature: z.ZodObject<{
+                algo: z.ZodLiteral<"secp256k1">;
+                signer: z.ZodString;
+                hash: z.ZodString;
+                sig: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            }, {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            }>;
+            schemaVersion: z.ZodLiteral<"task.v1">;
+            id: z.ZodString;
+            solverType: z.ZodString;
+            solverNetManifestCid: z.ZodString;
+            contractId: z.ZodString;
+            contractVersion: z.ZodString;
+            role: z.ZodDefault<z.ZodEnum<["restoration", "evaluation"]>>;
+            description: z.ZodString;
+            window: z.ZodObject<{
+                startTs: z.ZodNumber;
+                endTs: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                startTs: number;
+                endTs: number;
+            }, {
+                startTs: number;
+                endTs: number;
+            }>;
+            spec: z.ZodEffects<z.ZodRecord<z.ZodString, z.ZodUnknown>, Record<string, unknown>, Record<string, unknown>>;
+            eligibility: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            claimPolicy: z.ZodObject<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            creator: z.ZodObject<{
+                safeAddress: z.ZodString;
+                agentEoa: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                safeAddress: string;
+                agentEoa: string;
+            }, {
+                safeAddress: string;
+                agentEoa: string;
+            }>;
+            createdAt: z.ZodNumber;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            signature: z.ZodObject<{
+                algo: z.ZodLiteral<"secp256k1">;
+                signer: z.ZodString;
+                hash: z.ZodString;
+                sig: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            }, {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            }>;
+            schemaVersion: z.ZodLiteral<"task.v1">;
+            id: z.ZodString;
+            solverType: z.ZodString;
+            solverNetManifestCid: z.ZodString;
+            contractId: z.ZodString;
+            contractVersion: z.ZodString;
+            role: z.ZodDefault<z.ZodEnum<["restoration", "evaluation"]>>;
+            description: z.ZodString;
+            window: z.ZodObject<{
+                startTs: z.ZodNumber;
+                endTs: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                startTs: number;
+                endTs: number;
+            }, {
+                startTs: number;
+                endTs: number;
+            }>;
+            spec: z.ZodEffects<z.ZodRecord<z.ZodString, z.ZodUnknown>, Record<string, unknown>, Record<string, unknown>>;
+            eligibility: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            claimPolicy: z.ZodObject<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            creator: z.ZodObject<{
+                safeAddress: z.ZodString;
+                agentEoa: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                safeAddress: string;
+                agentEoa: string;
+            }, {
+                safeAddress: string;
+                agentEoa: string;
+            }>;
+            createdAt: z.ZodNumber;
+        }, z.ZodTypeAny, "passthrough">>, z.objectOutputType<{
+            signature: z.ZodObject<{
+                algo: z.ZodLiteral<"secp256k1">;
+                signer: z.ZodString;
+                hash: z.ZodString;
+                sig: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            }, {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            }>;
+            schemaVersion: z.ZodLiteral<"task.v1">;
+            id: z.ZodString;
+            solverType: z.ZodString;
+            solverNetManifestCid: z.ZodString;
+            contractId: z.ZodString;
+            contractVersion: z.ZodString;
+            role: z.ZodDefault<z.ZodEnum<["restoration", "evaluation"]>>;
+            description: z.ZodString;
+            window: z.ZodObject<{
+                startTs: z.ZodNumber;
+                endTs: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                startTs: number;
+                endTs: number;
+            }, {
+                startTs: number;
+                endTs: number;
+            }>;
+            spec: z.ZodEffects<z.ZodRecord<z.ZodString, z.ZodUnknown>, Record<string, unknown>, Record<string, unknown>>;
+            eligibility: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            claimPolicy: z.ZodObject<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            creator: z.ZodObject<{
+                safeAddress: z.ZodString;
+                agentEoa: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                safeAddress: string;
+                agentEoa: string;
+            }, {
+                safeAddress: string;
+                agentEoa: string;
+            }>;
+            createdAt: z.ZodNumber;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            signature: z.ZodObject<{
+                algo: z.ZodLiteral<"secp256k1">;
+                signer: z.ZodString;
+                hash: z.ZodString;
+                sig: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            }, {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            }>;
+            schemaVersion: z.ZodLiteral<"task.v1">;
+            id: z.ZodString;
+            solverType: z.ZodString;
+            solverNetManifestCid: z.ZodString;
+            contractId: z.ZodString;
+            contractVersion: z.ZodString;
+            role: z.ZodDefault<z.ZodEnum<["restoration", "evaluation"]>>;
+            description: z.ZodString;
+            window: z.ZodObject<{
+                startTs: z.ZodNumber;
+                endTs: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                startTs: number;
+                endTs: number;
+            }, {
+                startTs: number;
+                endTs: number;
+            }>;
+            spec: z.ZodEffects<z.ZodRecord<z.ZodString, z.ZodUnknown>, Record<string, unknown>, Record<string, unknown>>;
+            eligibility: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            claimPolicy: z.ZodObject<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            creator: z.ZodObject<{
+                safeAddress: z.ZodString;
+                agentEoa: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                safeAddress: string;
+                agentEoa: string;
+            }, {
+                safeAddress: string;
+                agentEoa: string;
+            }>;
+            createdAt: z.ZodNumber;
+        }, z.ZodTypeAny, "passthrough">>, {
+            id: string;
+            signature: {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            };
+            schemaVersion: "task.v1";
+            solverType: string;
+            solverNetManifestCid: string;
+            contractId: string;
+            contractVersion: string;
+            role: "restoration" | "evaluation";
+            description: string;
+            window: {
+                startTs: number;
+                endTs: number;
+            };
+            spec: Record<string, unknown>;
+            eligibility: Record<string, unknown>;
+            claimPolicy: {
+                mode: "exclusive" | "parallel";
+                maxClaims: number;
+                maxClaimsPerOperator: number;
+                claimLeaseTtlSeconds: number;
+                claimWindowStartTs?: number | undefined;
+                claimWindowEndTs?: number | undefined;
+                submissionDeadlineTs?: number | undefined;
+                policyHook?: string | undefined;
+            } & {
+                [k: string]: unknown;
+            };
+            creator: {
+                safeAddress: string;
+                agentEoa: string;
+            };
+            createdAt: number;
+        }, z.objectInputType<{
+            signature: z.ZodObject<{
+                algo: z.ZodLiteral<"secp256k1">;
+                signer: z.ZodString;
+                hash: z.ZodString;
+                sig: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            }, {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            }>;
+            schemaVersion: z.ZodLiteral<"task.v1">;
+            id: z.ZodString;
+            solverType: z.ZodString;
+            solverNetManifestCid: z.ZodString;
+            contractId: z.ZodString;
+            contractVersion: z.ZodString;
+            role: z.ZodDefault<z.ZodEnum<["restoration", "evaluation"]>>;
+            description: z.ZodString;
+            window: z.ZodObject<{
+                startTs: z.ZodNumber;
+                endTs: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                startTs: number;
+                endTs: number;
+            }, {
+                startTs: number;
+                endTs: number;
+            }>;
+            spec: z.ZodEffects<z.ZodRecord<z.ZodString, z.ZodUnknown>, Record<string, unknown>, Record<string, unknown>>;
+            eligibility: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            claimPolicy: z.ZodObject<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            creator: z.ZodObject<{
+                safeAddress: z.ZodString;
+                agentEoa: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                safeAddress: string;
+                agentEoa: string;
+            }, {
+                safeAddress: string;
+                agentEoa: string;
+            }>;
+            createdAt: z.ZodNumber;
+        }, z.ZodTypeAny, "passthrough">>>;
     }, "strip", z.ZodTypeAny, {
-        description: string;
         id?: string | undefined;
-        context?: Record<string, unknown> | undefined;
+        solverType?: string | undefined;
+        solverNetManifestCid?: string | undefined;
+        contractId?: string | undefined;
+        contractVersion?: string | undefined;
+        role?: "restoration" | "evaluation" | undefined;
+        description?: string | undefined;
         window?: {
             startTs: number;
             endTs: number;
         } | undefined;
-        spec?: ({
-            kind: string;
-        } & Record<string, unknown>) | undefined;
+        spec?: Record<string, unknown> | undefined;
         eligibility?: Record<string, unknown> | undefined;
+        claimPolicy?: z.objectOutputType<{
+            mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+            maxClaims: z.ZodNumber;
+            maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+            claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+            claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+            submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+            claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+            policyHook: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough"> | undefined;
+        context?: Record<string, unknown> | undefined;
+        attemptId?: string | undefined;
+        attemptNumber?: number | undefined;
+        restorationRequestId?: string | undefined;
+        signedTask?: {
+            id: string;
+            signature: {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            };
+            schemaVersion: "task.v1";
+            solverType: string;
+            solverNetManifestCid: string;
+            contractId: string;
+            contractVersion: string;
+            role: "restoration" | "evaluation";
+            description: string;
+            window: {
+                startTs: number;
+                endTs: number;
+            };
+            spec: Record<string, unknown>;
+            eligibility: Record<string, unknown>;
+            claimPolicy: {
+                mode: "exclusive" | "parallel";
+                maxClaims: number;
+                maxClaimsPerOperator: number;
+                claimLeaseTtlSeconds: number;
+                claimWindowStartTs?: number | undefined;
+                claimWindowEndTs?: number | undefined;
+                submissionDeadlineTs?: number | undefined;
+                policyHook?: string | undefined;
+            } & {
+                [k: string]: unknown;
+            };
+            creator: {
+                safeAddress: string;
+                agentEoa: string;
+            };
+            createdAt: number;
+        } | undefined;
     }, {
-        description: string;
         id?: string | undefined;
-        context?: Record<string, unknown> | undefined;
+        solverType?: string | undefined;
+        solverNetManifestCid?: string | undefined;
+        contractId?: string | undefined;
+        contractVersion?: string | undefined;
+        role?: "restoration" | "evaluation" | undefined;
+        description?: string | undefined;
         window?: {
             startTs: number;
             endTs: number;
         } | undefined;
-        spec?: ({
-            kind: string;
-        } & Record<string, unknown>) | undefined;
+        spec?: Record<string, unknown> | undefined;
         eligibility?: Record<string, unknown> | undefined;
+        claimPolicy?: z.objectInputType<{
+            mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+            maxClaims: z.ZodNumber;
+            maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+            claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+            claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+            submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+            claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+            policyHook: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough"> | undefined;
+        context?: Record<string, unknown> | undefined;
+        attemptId?: string | undefined;
+        attemptNumber?: number | undefined;
+        restorationRequestId?: string | undefined;
+        signedTask?: z.objectInputType<{
+            signature: z.ZodObject<{
+                algo: z.ZodLiteral<"secp256k1">;
+                signer: z.ZodString;
+                hash: z.ZodString;
+                sig: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            }, {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            }>;
+            schemaVersion: z.ZodLiteral<"task.v1">;
+            id: z.ZodString;
+            solverType: z.ZodString;
+            solverNetManifestCid: z.ZodString;
+            contractId: z.ZodString;
+            contractVersion: z.ZodString;
+            role: z.ZodDefault<z.ZodEnum<["restoration", "evaluation"]>>;
+            description: z.ZodString;
+            window: z.ZodObject<{
+                startTs: z.ZodNumber;
+                endTs: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                startTs: number;
+                endTs: number;
+            }, {
+                startTs: number;
+                endTs: number;
+            }>;
+            spec: z.ZodEffects<z.ZodRecord<z.ZodString, z.ZodUnknown>, Record<string, unknown>, Record<string, unknown>>;
+            eligibility: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            claimPolicy: z.ZodObject<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            creator: z.ZodObject<{
+                safeAddress: z.ZodString;
+                agentEoa: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                safeAddress: string;
+                agentEoa: string;
+            }, {
+                safeAddress: string;
+                agentEoa: string;
+            }>;
+            createdAt: z.ZodNumber;
+        }, z.ZodTypeAny, "passthrough"> | undefined;
     }>, "many">>;
     /** IPFS upload endpoint */
     ipfsRegistryUrl: z.ZodDefault<z.ZodString>;
@@ -131,8 +860,73 @@ export declare const JinnConfigSchema: z.ZodObject<{
     testnetMechDeploymentPath: z.ZodOptional<z.ZodString>;
     /** Optional Base Sepolia stOLAS deployment artifact path */
     testnetStolasDeploymentPath: z.ZodOptional<z.ZodString>;
-    /** Optional Base Sepolia ClaimRegistry deployment artifact path */
-    testnetClaimRegistryDeploymentPath: z.ZodOptional<z.ZodString>;
+    /**
+     * Optional deployment artifact for the v0 MVI L1 stack
+     * (deployment-jinn-mvi-l1-{network}{,-fast}.json). Provides addresses for
+     * JINN, Timelock, JinnGovernor, JinnDistributor, and Messenger.
+     * When set the daemon enables the cross-chain JINN claim loop.
+     */
+    jinnMviL1DeploymentPath: z.ZodOptional<z.ZodString>;
+    /**
+     * Optional deployment artifact for the v0 MVI L2 emitter
+     * (deployment-jinn-mvi-l2-{network}.json). Provides the
+     * TaskClaimEmitter address on the measurement chain (Base / Base Sepolia).
+     */
+    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.
+     */
+    ethereumRpcUrl: z.ZodOptional<z.ZodString>;
+    /**
+     * 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.
+     */
+    ethereumArchiveRpcUrl: z.ZodOptional<z.ZodString>;
+    /**
+     * L1 network used by the cross-chain claim loop. 'sepolia' tracks Base
+     * Sepolia testnet; 'ethereum' tracks Base mainnet. Defaults to 'sepolia'
+     * during Phase 1b. Env: JINN_L1_NETWORK.
+     */
+    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.
+     */
+    jinnDistributorAddress: z.ZodOptional<z.ZodString>;
+    /**
+     * TaskClaimEmitter address on the L2 measurement chain (Base / Base
+     * Sepolia). Resolved from jinnMviL2DeploymentPath when omitted.
+     * Env: JINN_CLAIM_EMITTER_ADDRESS.
+     */
+    jinnClaimEmitterAddress: z.ZodOptional<z.ZodString>;
+    /**
+     * Messenger address on the L1 governance chain. Resolved from
+     * jinnMviL1DeploymentPath when omitted.
+     * Env: JINN_MESSENGER_ADDRESS.
+     */
+    jinnMessengerAddress: z.ZodOptional<z.ZodString>;
+    /**
+     * Messenger mode driving proof construction. `mock` submits MockMessenger
+     * fixtures — required for automated Sepolia burn-in (`runOnce`). `canonical`
+     * builds OP-Stack storage proofs for verifier-only checks; scheduled daemon
+     * ticks **skip** canonical mode (multi-day finality) — use
+     * `tsx scripts/verify-canonical-canary.ts` after finality instead. Defaults
+     * to `canonical`.
+     * Env: JINN_MESSENGER_MODE.
+     */
+    jinnMessengerMode: z.ZodDefault<z.ZodEnum<["canonical", "mock"]>>;
+    /**
+     * How often the daemon ticks the cross-chain JINN claim loop (ms). Default
+     * 3 600 000 (1 hour) — well below mainnet challenge windows while
+     * minimising RPC/gas churn. Set to 0 to disable when the address is set.
+     * Env: JINN_CLAIM_LOOP_INTERVAL_MS.
+     */
+    jinnClaimLoopIntervalMs: z.ZodDefault<z.ZodNumber>;
     /** Staking mode: 'standard' uses stOLAS (no OLAS needed), 'self-bond' uses operator-provided OLAS. */
     stakingMode: z.ZodDefault<z.ZodEnum<["standard", "self-bond"]>>;
     /** Number of services to bootstrap and run. */
@@ -148,29 +942,260 @@ export declare const JinnConfigSchema: z.ZodObject<{
      */
     masterEthDailyEstimateWei: z.ZodOptional<z.ZodString>;
     /**
-     * Operator-controlled impl dispatch for the restorer engine.
-     *
-     * Wired by daemon (jinn-mono-bv5); engine consumes via RestorerImplRegistry config.
-     *
-     * byKind:   explicit spec.kind → impl name mapping (highest priority)
-     * default:  fallback impl name when no kind-specific match is found
-     * disabled: impl names to exclude from dispatch entirely
-     */
-    restorers: z.ZodOptional<z.ZodObject<{
-        byKind: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
-        default: z.ZodOptional<z.ZodString>;
-        disabled: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+     * Optional gas runway override for bootstrap/top-up targets (wei string).
+     * Used by Docker testnet acceptance to match the bundled faucet budget.
+     * Env: JINN_MIN_EOA_GAS_WEI
+     */
+    minEoaGasWei: z.ZodOptional<z.ZodString>;
+    /**
+     * Optional Safe ETH target override for bootstrap/top-up targets (wei string).
+     * Env: JINN_MIN_SAFE_ETH_WEI
+     */
+    minSafeEthWei: z.ZodOptional<z.ZodString>;
+    /**
+     * Operator-controlled Harness inventory.
+     */
+    harnesses: z.ZodOptional<z.ZodObject<{
+        default: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+        disabled: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
+        /**
+         * Operator-supplied external harness impls.
+         *
+         * Each entry points the daemon at a manifest-bearing package on disk
+         * (typically inside `node_modules/`); `client/src/main.ts` invokes
+         * `loadExternalImpl()` for each entry at boot, validates the manifest
+         * against `trustedImplSigners`, and registers the resulting impl in
+         * the harness registry. See
+         * `docs/superpowers/plans/2026-04-30-plug-in-surface-path-2-foundation.md`
+         * step 5.7-5.8.
+         */
+        externalImpls: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            entry: z.ZodString;
+            package: z.ZodOptional<z.ZodString>;
+            /**
+             * Optional pinned version. When set, the loader rejects the
+             * impl if its manifest's `version` does not match this string
+             * exactly — guards against silent upgrades of an on-disk
+             * package without an explicit operator config change
+             * (Finding 10).
+             */
+            version: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            name: string;
+            entry: string;
+            package?: string | undefined;
+            version?: string | undefined;
+        }, {
+            name: string;
+            entry: string;
+            package?: string | undefined;
+            version?: string | undefined;
+        }>, "many">>;
     }, "strip", z.ZodTypeAny, {
-        byKind?: Record<string, string> | undefined;
         default?: string | undefined;
         disabled?: string[] | undefined;
+        externalImpls?: {
+            name: string;
+            entry: string;
+            package?: string | undefined;
+            version?: string | undefined;
+        }[] | undefined;
     }, {
-        byKind?: Record<string, string> | undefined;
         default?: string | undefined;
         disabled?: string[] | undefined;
+        externalImpls?: {
+            name: string;
+            entry: string;
+            package?: string | undefined;
+            version?: string | undefined;
+        }[] | undefined;
+    }>>;
+    /**
+     * Harness execution settings. The `mode` field controls whether the
+     * harness runs with state-write phases enabled (`train`) or disabled
+     * (`frozen`). Frozen mode produces stable codeDigest across Tasks for
+     * benchmark-grade per-snapshot scoring; see
+     * docs/superpowers/specs/2026-05-06-agent-harness-solvernet-design.md §5.
+     */
+    harness: z.ZodDefault<z.ZodObject<{
+        mode: z.ZodDefault<z.ZodEnum<["train", "frozen"]>>;
+    }, "strip", z.ZodTypeAny, {
+        mode: "train" | "frozen";
+    }, {
+        mode?: "train" | "frozen" | undefined;
     }>>;
     /**
-     * Restoration engine durable directories (per-intent work + impl state).
+     * 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).
+     *
+     * Spec: spec/2026-05-05-solvernet-creation-and-launch.md §12.
+     *
+     * Populated by `POST /v1/operator/join/:cid` when an operator joins a
+     * launched SolverNet from the registry catalog. Keys are `manifestCid`
+     * (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.
+     */
+    joinedSolverNets: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        manifestCid: z.ZodString;
+        name: z.ZodOptional<z.ZodString>;
+        contract: z.ZodOptional<z.ZodObject<{
+            id: z.ZodString;
+            version: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            id: string;
+            version: string;
+        }, {
+            id: string;
+            version: string;
+        }>>;
+        roles: z.ZodArray<z.ZodEnum<["solver", "evaluator"]>, "many">;
+        harness: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+        model: z.ZodOptional<z.ZodString>;
+        plugins: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        disabledDefaultPlugins: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        roles: ("solver" | "evaluator")[];
+        plugins: string[];
+        manifestCid: string;
+        disabledDefaultPlugins: string[];
+        name?: string | undefined;
+        harness?: string | undefined;
+        model?: string | undefined;
+        contract?: {
+            id: string;
+            version: string;
+        } | undefined;
+    }, {
+        roles: ("solver" | "evaluator")[];
+        manifestCid: string;
+        name?: string | undefined;
+        harness?: string | undefined;
+        model?: string | undefined;
+        plugins?: string[] | undefined;
+        contract?: {
+            id: string;
+            version: string;
+        } | undefined;
+        disabledDefaultPlugins?: string[] | undefined;
+    }>>>;
+    /**
+     * Trusted ed25519 publishers for external harness impls. The daemon
+     * refuses to load any external impl whose manifest signature is not
+     * verifiable against one of these public keys.
+     *
+     * `publicKey` is base64-encoded raw ed25519. `label` is operator-facing
+     * provenance only.
+     */
+    trustedImplSigners: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        alg: z.ZodLiteral<"ed25519">;
+        publicKey: z.ZodString;
+        label: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        publicKey: string;
+        alg: "ed25519";
+        label?: string | undefined;
+    }, {
+        publicKey: string;
+        alg: "ed25519";
+        label?: string | undefined;
+    }>, "many">>;
+    /**
+     * Restoration engine durable directories (per-task work + impl state).
      * Defaults under ~/.jinn-client/engine/. Env: JINN_ENGINE_WORKING_DIR_ROOT,
      * JINN_ENGINE_IMPL_STATE_DIR_ROOT.
      */
@@ -184,7 +1209,128 @@ export declare const JinnConfigSchema: z.ZodObject<{
         workingDirRoot?: string | undefined;
         implStateDirRoot?: string | undefined;
     }>>;
+    /**
+     * Operator-local artifact and donation configuration.
+     *
+     * Public testnet donation is IPFS-first: when `donation.enabled` is true,
+     * scrubbed solver/evaluator artifacts are pinned to IPFS and advertised in
+     * signed metadata so peers can discover, verify, and reuse them without an
+     * operator-hosted public endpoint.
+     *
+     * `publicEndpoint`, `defaultPriceUsdc`, and `perArtifactTypePrice` are kept
+     * as compatibility and future data-market fallback plumbing. They are not
+     * required for the free IPFS donation path used by this release.
+     *
+     * Resolution precedence in `uploadArtifacts`:
+     *   OUTPUTS.json `access.priceUsdc` > `perArtifactTypePrice[artifactType]`
+     *   > `defaultPriceUsdc`.
+     *
+     * Env overrides:
+     *   JINN_OPERATOR_PUBLIC_ENDPOINT
+     *   JINN_OPERATOR_DEFAULT_PRICE_USDC
+     *   JINN_OPERATOR_DONATION_ENABLED
+     */
+    operator: z.ZodOptional<z.ZodObject<{
+        publicEndpoint: z.ZodOptional<z.ZodString>;
+        defaultPriceUsdc: z.ZodDefault<z.ZodString>;
+        perArtifactTypePrice: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+        donation: z.ZodDefault<z.ZodObject<{
+            enabled: z.ZodDefault<z.ZodBoolean>;
+        }, "strip", z.ZodTypeAny, {
+            enabled: boolean;
+        }, {
+            enabled?: boolean | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        defaultPriceUsdc: string;
+        perArtifactTypePrice: Record<string, string>;
+        donation: {
+            enabled: boolean;
+        };
+        publicEndpoint?: string | undefined;
+    }, {
+        publicEndpoint?: string | undefined;
+        defaultPriceUsdc?: string | undefined;
+        perArtifactTypePrice?: Record<string, string> | undefined;
+        donation?: {
+            enabled?: boolean | undefined;
+        } | undefined;
+    }>>;
+    /**
+     * Operator-local capture configuration.
+     *
+     * Path C (LLM API proxy) is disabled by default. Operators opt in by
+     * enabling this block and pointing ANTHROPIC_BASE_URL / OPENAI_BASE_URL at
+     * the local proxy port.
+     *
+     * Env:
+     *   JINN_CAPTURES_LLM_PROXY_ENABLED=1|true|yes
+     *   JINN_CAPTURES_LLM_PROXY_PORT=7342
+     */
+    captures: z.ZodDefault<z.ZodObject<{
+        llmProxy: z.ZodDefault<z.ZodObject<{
+            enabled: z.ZodDefault<z.ZodBoolean>;
+            port: z.ZodDefault<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            enabled: boolean;
+            port: number;
+        }, {
+            enabled?: boolean | undefined;
+            port?: number | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        llmProxy: {
+            enabled: boolean;
+            port: number;
+        };
+    }, {
+        llmProxy?: {
+            enabled?: boolean | undefined;
+            port?: number | undefined;
+        } | undefined;
+    }>>;
+    /**
+     * Run idempotent legacy migrations at daemon startup (jinn-mono-jgp:
+     * backfill `agent_id` on `complete` services that pre-date j07).
+     *
+     * Defaults to true — the migrations are no-ops on already-migrated
+     * fleets and cheap on Base. Operators on a flaky RPC or with locked
+     * funds can set this to false and run `jinn migrate-agent-id`
+     * explicitly.
+     *
+     * Env: JINN_RUN_LEGACY_MIGRATIONS=0|1.
+     */
+    runLegacyMigrations: z.ZodDefault<z.ZodBoolean>;
+    /**
+     * ERC-8004 Identity Registry contract address on the configured chain.
+     * Pre-rebuild config key (PR #37 cleanup left it in place). The post-rebuild
+     * client (jinn-mono-j07/3zk) reads the address from
+     * `client/src/erc8004/identity.ts` constants and from
+     * `EarningState.identity_registry_address`; this config key is currently
+     * unused but kept for backwards-compat with operator config files.
+     * Env: JINN_IDENTITY_REGISTRY_ADDRESS
+     */
+    identityRegistryAddress: z.ZodOptional<z.ZodString>;
+    /**
+     * ERC-8004 Validation Registry contract address on the configured chain.
+     * Pre-rebuild config key. The post-rebuild client (jinn-mono-9jg) reads the
+     * address from `client/src/erc8004/addresses.ts:VALIDATION_REGISTRY_ADDRESSES`;
+     * this config key is currently unused but kept for backwards-compat.
+     * Env: JINN_VALIDATION_REGISTRY_ADDRESS
+     */
+    validationRegistryAddress: z.ZodOptional<z.ZodString>;
+    /**
+     * Whether to enable the read-only reputation surface (query-time flag).
+     * Pre-rebuild config key. The post-rebuild client (jinn-mono-2ff/yg4) is
+     * always constructed when `agent_id` is set; this flag is currently unused
+     * but kept for backwards-compat.
+     * Env: JINN_REPUTATION_ENABLED
+     */
+    reputationEnabled: z.ZodDefault<z.ZodBoolean>;
 }, "strip", z.ZodTypeAny, {
+    harness: {
+        mode: "train" | "frozen";
+    };
     network: "testnet" | "mainnet";
     earningDir: string;
     dbPath: string;
@@ -195,26 +1341,109 @@ export declare const JinnConfigSchema: z.ZodObject<{
     claudePath: string;
     claudeModel: string;
     peers: string[];
-    desiredStates: {
-        description: string;
+    tasks: {
         id?: string | undefined;
-        context?: Record<string, unknown> | undefined;
+        solverType?: string | undefined;
+        solverNetManifestCid?: string | undefined;
+        contractId?: string | undefined;
+        contractVersion?: string | undefined;
+        role?: "restoration" | "evaluation" | undefined;
+        description?: string | undefined;
         window?: {
             startTs: number;
             endTs: number;
         } | undefined;
-        spec?: ({
-            kind: string;
-        } & Record<string, unknown>) | undefined;
+        spec?: Record<string, unknown> | undefined;
         eligibility?: Record<string, unknown> | undefined;
+        claimPolicy?: z.objectOutputType<{
+            mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+            maxClaims: z.ZodNumber;
+            maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+            claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+            claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+            submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+            claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+            policyHook: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough"> | undefined;
+        context?: Record<string, unknown> | undefined;
+        attemptId?: string | undefined;
+        attemptNumber?: number | undefined;
+        restorationRequestId?: string | undefined;
+        signedTask?: {
+            id: string;
+            signature: {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            };
+            schemaVersion: "task.v1";
+            solverType: string;
+            solverNetManifestCid: string;
+            contractId: string;
+            contractVersion: string;
+            role: "restoration" | "evaluation";
+            description: string;
+            window: {
+                startTs: number;
+                endTs: number;
+            };
+            spec: Record<string, unknown>;
+            eligibility: Record<string, unknown>;
+            claimPolicy: {
+                mode: "exclusive" | "parallel";
+                maxClaims: number;
+                maxClaimsPerOperator: number;
+                claimLeaseTtlSeconds: number;
+                claimWindowStartTs?: number | undefined;
+                claimWindowEndTs?: number | undefined;
+                submissionDeadlineTs?: number | undefined;
+                policyHook?: string | undefined;
+            } & {
+                [k: string]: unknown;
+            };
+            creator: {
+                safeAddress: string;
+                agentEoa: string;
+            };
+            createdAt: number;
+        } | undefined;
     }[];
     ipfsRegistryUrl: string;
     ipfsGatewayUrl: string;
+    jinnL1Network: "sepolia" | "ethereum";
+    jinnMessengerMode: "canonical" | "mock";
+    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;
+    }>;
+    captures: {
+        llmProxy: {
+            enabled: boolean;
+            port: number;
+        };
+    };
+    runLegacyMigrations: boolean;
+    reputationEnabled: boolean;
     rpcUrl?: string | undefined;
     archiveRpcUrl?: string | undefined;
+    l2ProofRpcUrl?: string | undefined;
+    apiBindHost?: string | undefined;
     runtimeMode?: "bare" | "docker-compose" | "container" | undefined;
     subgraphUrl?: string | undefined;
     nodeEndpoint?: string | undefined;
@@ -222,45 +1451,560 @@ export declare const JinnConfigSchema: z.ZodObject<{
     testnetL2TokenDeploymentPath?: string | undefined;
     testnetMechDeploymentPath?: string | undefined;
     testnetStolasDeploymentPath?: string | undefined;
-    testnetClaimRegistryDeploymentPath?: string | undefined;
+    jinnMviL1DeploymentPath?: string | undefined;
+    jinnMviL2DeploymentPath?: string | undefined;
+    ethereumRpcUrl?: string | undefined;
+    ethereumArchiveRpcUrl?: string | undefined;
+    jinnDistributorAddress?: string | undefined;
+    jinnClaimEmitterAddress?: string | undefined;
+    jinnMessengerAddress?: string | undefined;
     masterEthDailyEstimateWei?: string | undefined;
-    restorers?: {
-        byKind?: Record<string, string> | undefined;
+    minEoaGasWei?: string | undefined;
+    minSafeEthWei?: string | undefined;
+    harnesses?: {
         default?: string | undefined;
         disabled?: string[] | undefined;
+        externalImpls?: {
+            name: string;
+            entry: string;
+            package?: string | undefined;
+            version?: string | undefined;
+        }[] | undefined;
     } | undefined;
+    joinedSolverNets?: Record<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;
+    }> | undefined;
+    trustedImplSigners?: {
+        publicKey: string;
+        alg: "ed25519";
+        label?: string | undefined;
+    }[] | undefined;
     engine?: {
         workingDirRoot?: string | undefined;
         implStateDirRoot?: string | undefined;
     } | undefined;
+    operator?: {
+        defaultPriceUsdc: string;
+        perArtifactTypePrice: Record<string, string>;
+        donation: {
+            enabled: boolean;
+        };
+        publicEndpoint?: string | undefined;
+    } | undefined;
+    identityRegistryAddress?: string | undefined;
+    validationRegistryAddress?: string | undefined;
 }, {
+    harness?: {
+        mode?: "train" | "frozen" | undefined;
+    } | undefined;
     network?: "testnet" | "mainnet" | undefined;
     rpcUrl?: string | undefined;
     archiveRpcUrl?: string | undefined;
+    l2ProofRpcUrl?: string | undefined;
     earningDir?: string | undefined;
     dbPath?: string | undefined;
     pollIntervalMs?: number | undefined;
     rewardClaimIntervalMs?: number | undefined;
     balanceTopupIntervalMs?: number | undefined;
     apiPort?: number | undefined;
+    apiBindHost?: string | undefined;
     claudePath?: string | undefined;
     claudeModel?: string | undefined;
     runtimeMode?: "bare" | "docker-compose" | "container" | undefined;
     peers?: string | string[] | undefined;
     subgraphUrl?: string | undefined;
     nodeEndpoint?: string | undefined;
-    desiredStates?: {
-        description: string;
+    tasks?: {
         id?: string | undefined;
+        solverType?: string | undefined;
+        solverNetManifestCid?: string | undefined;
+        contractId?: string | undefined;
+        contractVersion?: string | undefined;
+        role?: "restoration" | "evaluation" | undefined;
+        description?: string | undefined;
+        window?: {
+            startTs: number;
+            endTs: number;
+        } | undefined;
+        spec?: Record<string, unknown> | undefined;
+        eligibility?: Record<string, unknown> | undefined;
+        claimPolicy?: z.objectInputType<{
+            mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+            maxClaims: z.ZodNumber;
+            maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+            claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+            claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+            submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+            claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+            policyHook: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough"> | undefined;
         context?: Record<string, unknown> | undefined;
+        attemptId?: string | undefined;
+        attemptNumber?: number | undefined;
+        restorationRequestId?: string | undefined;
+        signedTask?: z.objectInputType<{
+            signature: z.ZodObject<{
+                algo: z.ZodLiteral<"secp256k1">;
+                signer: z.ZodString;
+                hash: z.ZodString;
+                sig: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            }, {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            }>;
+            schemaVersion: z.ZodLiteral<"task.v1">;
+            id: z.ZodString;
+            solverType: z.ZodString;
+            solverNetManifestCid: z.ZodString;
+            contractId: z.ZodString;
+            contractVersion: z.ZodString;
+            role: z.ZodDefault<z.ZodEnum<["restoration", "evaluation"]>>;
+            description: z.ZodString;
+            window: z.ZodObject<{
+                startTs: z.ZodNumber;
+                endTs: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                startTs: number;
+                endTs: number;
+            }, {
+                startTs: number;
+                endTs: number;
+            }>;
+            spec: z.ZodEffects<z.ZodRecord<z.ZodString, z.ZodUnknown>, Record<string, unknown>, Record<string, unknown>>;
+            eligibility: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            claimPolicy: z.ZodObject<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            creator: z.ZodObject<{
+                safeAddress: z.ZodString;
+                agentEoa: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                safeAddress: string;
+                agentEoa: string;
+            }, {
+                safeAddress: string;
+                agentEoa: string;
+            }>;
+            createdAt: z.ZodNumber;
+        }, z.ZodTypeAny, "passthrough"> | undefined;
+    }[] | undefined;
+    ipfsRegistryUrl?: string | undefined;
+    ipfsGatewayUrl?: string | undefined;
+    testnetL2DeploymentPath?: string | undefined;
+    testnetL2TokenDeploymentPath?: string | undefined;
+    testnetMechDeploymentPath?: string | undefined;
+    testnetStolasDeploymentPath?: string | undefined;
+    jinnMviL1DeploymentPath?: string | undefined;
+    jinnMviL2DeploymentPath?: string | undefined;
+    ethereumRpcUrl?: string | undefined;
+    ethereumArchiveRpcUrl?: string | undefined;
+    jinnL1Network?: "sepolia" | "ethereum" | undefined;
+    jinnDistributorAddress?: string | undefined;
+    jinnClaimEmitterAddress?: string | undefined;
+    jinnMessengerAddress?: string | undefined;
+    jinnMessengerMode?: "canonical" | "mock" | undefined;
+    jinnClaimLoopIntervalMs?: number | undefined;
+    stakingMode?: "standard" | "self-bond" | undefined;
+    targetServices?: number | undefined;
+    debug?: boolean | undefined;
+    masterEthDailyEstimateWei?: string | undefined;
+    minEoaGasWei?: string | undefined;
+    minSafeEthWei?: string | undefined;
+    harnesses?: {
+        default?: string | undefined;
+        disabled?: string[] | undefined;
+        externalImpls?: {
+            name: string;
+            entry: string;
+            package?: string | undefined;
+            version?: string | undefined;
+        }[] | undefined;
+    } | undefined;
+    solverNets?: Record<string, unknown> | undefined;
+    joinedSolverNets?: Record<string, {
+        roles: ("solver" | "evaluator")[];
+        manifestCid: string;
+        name?: string | undefined;
+        harness?: string | undefined;
+        model?: string | undefined;
+        plugins?: string[] | undefined;
+        contract?: {
+            id: string;
+            version: string;
+        } | undefined;
+        disabledDefaultPlugins?: string[] | undefined;
+    }> | undefined;
+    trustedImplSigners?: {
+        publicKey: string;
+        alg: "ed25519";
+        label?: string | undefined;
+    }[] | undefined;
+    engine?: {
+        workingDirRoot?: string | undefined;
+        implStateDirRoot?: string | undefined;
+    } | undefined;
+    operator?: {
+        publicEndpoint?: string | undefined;
+        defaultPriceUsdc?: string | undefined;
+        perArtifactTypePrice?: Record<string, string> | undefined;
+        donation?: {
+            enabled?: boolean | undefined;
+        } | undefined;
+    } | undefined;
+    captures?: {
+        llmProxy?: {
+            enabled?: boolean | undefined;
+            port?: number | undefined;
+        } | undefined;
+    } | undefined;
+    runLegacyMigrations?: boolean | undefined;
+    identityRegistryAddress?: string | undefined;
+    validationRegistryAddress?: string | undefined;
+    reputationEnabled?: boolean | undefined;
+}>, {
+    harness: {
+        mode: "train" | "frozen";
+    };
+    network: "testnet" | "mainnet";
+    earningDir: string;
+    dbPath: string;
+    pollIntervalMs: number;
+    rewardClaimIntervalMs: number;
+    balanceTopupIntervalMs: number;
+    apiPort: number;
+    claudePath: string;
+    claudeModel: string;
+    peers: string[];
+    tasks: {
+        id?: string | undefined;
+        solverType?: string | undefined;
+        solverNetManifestCid?: string | undefined;
+        contractId?: string | undefined;
+        contractVersion?: string | undefined;
+        role?: "restoration" | "evaluation" | undefined;
+        description?: string | undefined;
         window?: {
             startTs: number;
             endTs: number;
         } | undefined;
-        spec?: ({
-            kind: string;
-        } & Record<string, unknown>) | undefined;
+        spec?: Record<string, unknown> | undefined;
         eligibility?: Record<string, unknown> | undefined;
+        claimPolicy?: z.objectOutputType<{
+            mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+            maxClaims: z.ZodNumber;
+            maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+            claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+            claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+            submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+            claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+            policyHook: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough"> | undefined;
+        context?: Record<string, unknown> | undefined;
+        attemptId?: string | undefined;
+        attemptNumber?: number | undefined;
+        restorationRequestId?: string | undefined;
+        signedTask?: {
+            id: string;
+            signature: {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            };
+            schemaVersion: "task.v1";
+            solverType: string;
+            solverNetManifestCid: string;
+            contractId: string;
+            contractVersion: string;
+            role: "restoration" | "evaluation";
+            description: string;
+            window: {
+                startTs: number;
+                endTs: number;
+            };
+            spec: Record<string, unknown>;
+            eligibility: Record<string, unknown>;
+            claimPolicy: {
+                mode: "exclusive" | "parallel";
+                maxClaims: number;
+                maxClaimsPerOperator: number;
+                claimLeaseTtlSeconds: number;
+                claimWindowStartTs?: number | undefined;
+                claimWindowEndTs?: number | undefined;
+                submissionDeadlineTs?: number | undefined;
+                policyHook?: string | undefined;
+            } & {
+                [k: string]: unknown;
+            };
+            creator: {
+                safeAddress: string;
+                agentEoa: string;
+            };
+            createdAt: number;
+        } | undefined;
+    }[];
+    ipfsRegistryUrl: string;
+    ipfsGatewayUrl: string;
+    jinnL1Network: "sepolia" | "ethereum";
+    jinnMessengerMode: "canonical" | "mock";
+    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;
+    }>;
+    captures: {
+        llmProxy: {
+            enabled: boolean;
+            port: number;
+        };
+    };
+    runLegacyMigrations: boolean;
+    reputationEnabled: boolean;
+    rpcUrl?: string | undefined;
+    archiveRpcUrl?: string | undefined;
+    l2ProofRpcUrl?: string | undefined;
+    apiBindHost?: string | undefined;
+    runtimeMode?: "bare" | "docker-compose" | "container" | undefined;
+    subgraphUrl?: string | undefined;
+    nodeEndpoint?: string | undefined;
+    testnetL2DeploymentPath?: string | undefined;
+    testnetL2TokenDeploymentPath?: string | undefined;
+    testnetMechDeploymentPath?: string | undefined;
+    testnetStolasDeploymentPath?: string | undefined;
+    jinnMviL1DeploymentPath?: string | undefined;
+    jinnMviL2DeploymentPath?: string | undefined;
+    ethereumRpcUrl?: string | undefined;
+    ethereumArchiveRpcUrl?: string | undefined;
+    jinnDistributorAddress?: string | undefined;
+    jinnClaimEmitterAddress?: string | undefined;
+    jinnMessengerAddress?: string | undefined;
+    masterEthDailyEstimateWei?: string | undefined;
+    minEoaGasWei?: string | undefined;
+    minSafeEthWei?: string | undefined;
+    harnesses?: {
+        default?: string | undefined;
+        disabled?: string[] | undefined;
+        externalImpls?: {
+            name: string;
+            entry: string;
+            package?: string | undefined;
+            version?: string | undefined;
+        }[] | undefined;
+    } | undefined;
+    joinedSolverNets?: Record<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;
+    }> | undefined;
+    trustedImplSigners?: {
+        publicKey: string;
+        alg: "ed25519";
+        label?: string | undefined;
+    }[] | undefined;
+    engine?: {
+        workingDirRoot?: string | undefined;
+        implStateDirRoot?: string | undefined;
+    } | undefined;
+    operator?: {
+        defaultPriceUsdc: string;
+        perArtifactTypePrice: Record<string, string>;
+        donation: {
+            enabled: boolean;
+        };
+        publicEndpoint?: string | undefined;
+    } | undefined;
+    identityRegistryAddress?: string | undefined;
+    validationRegistryAddress?: string | undefined;
+}, {
+    harness?: {
+        mode?: "train" | "frozen" | undefined;
+    } | undefined;
+    network?: "testnet" | "mainnet" | undefined;
+    rpcUrl?: string | undefined;
+    archiveRpcUrl?: string | undefined;
+    l2ProofRpcUrl?: string | undefined;
+    earningDir?: string | undefined;
+    dbPath?: string | undefined;
+    pollIntervalMs?: number | undefined;
+    rewardClaimIntervalMs?: number | undefined;
+    balanceTopupIntervalMs?: number | undefined;
+    apiPort?: number | undefined;
+    apiBindHost?: string | undefined;
+    claudePath?: string | undefined;
+    claudeModel?: string | undefined;
+    runtimeMode?: "bare" | "docker-compose" | "container" | undefined;
+    peers?: string | string[] | undefined;
+    subgraphUrl?: string | undefined;
+    nodeEndpoint?: string | undefined;
+    tasks?: {
+        id?: string | undefined;
+        solverType?: string | undefined;
+        solverNetManifestCid?: string | undefined;
+        contractId?: string | undefined;
+        contractVersion?: string | undefined;
+        role?: "restoration" | "evaluation" | undefined;
+        description?: string | undefined;
+        window?: {
+            startTs: number;
+            endTs: number;
+        } | undefined;
+        spec?: Record<string, unknown> | undefined;
+        eligibility?: Record<string, unknown> | undefined;
+        claimPolicy?: z.objectInputType<{
+            mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+            maxClaims: z.ZodNumber;
+            maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+            claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+            claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+            submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+            claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+            policyHook: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough"> | undefined;
+        context?: Record<string, unknown> | undefined;
+        attemptId?: string | undefined;
+        attemptNumber?: number | undefined;
+        restorationRequestId?: string | undefined;
+        signedTask?: z.objectInputType<{
+            signature: z.ZodObject<{
+                algo: z.ZodLiteral<"secp256k1">;
+                signer: z.ZodString;
+                hash: z.ZodString;
+                sig: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            }, {
+                hash: string;
+                algo: "secp256k1";
+                signer: string;
+                sig: string;
+            }>;
+            schemaVersion: z.ZodLiteral<"task.v1">;
+            id: z.ZodString;
+            solverType: z.ZodString;
+            solverNetManifestCid: z.ZodString;
+            contractId: z.ZodString;
+            contractVersion: z.ZodString;
+            role: z.ZodDefault<z.ZodEnum<["restoration", "evaluation"]>>;
+            description: z.ZodString;
+            window: z.ZodObject<{
+                startTs: z.ZodNumber;
+                endTs: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                startTs: number;
+                endTs: number;
+            }, {
+                startTs: number;
+                endTs: number;
+            }>;
+            spec: z.ZodEffects<z.ZodRecord<z.ZodString, z.ZodUnknown>, Record<string, unknown>, Record<string, unknown>>;
+            eligibility: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            claimPolicy: z.ZodObject<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                mode: z.ZodDefault<z.ZodEnum<["exclusive", "parallel"]>>;
+                maxClaims: z.ZodNumber;
+                maxClaimsPerOperator: z.ZodDefault<z.ZodNumber>;
+                claimWindowStartTs: z.ZodOptional<z.ZodNumber>;
+                claimWindowEndTs: z.ZodOptional<z.ZodNumber>;
+                submissionDeadlineTs: z.ZodOptional<z.ZodNumber>;
+                claimLeaseTtlSeconds: z.ZodDefault<z.ZodNumber>;
+                policyHook: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            creator: z.ZodObject<{
+                safeAddress: z.ZodString;
+                agentEoa: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                safeAddress: string;
+                agentEoa: string;
+            }, {
+                safeAddress: string;
+                agentEoa: string;
+            }>;
+            createdAt: z.ZodNumber;
+        }, z.ZodTypeAny, "passthrough"> | undefined;
     }[] | undefined;
     ipfsRegistryUrl?: string | undefined;
     ipfsGatewayUrl?: string | undefined;
@@ -268,31 +2012,86 @@ export declare const JinnConfigSchema: z.ZodObject<{
     testnetL2TokenDeploymentPath?: string | undefined;
     testnetMechDeploymentPath?: string | undefined;
     testnetStolasDeploymentPath?: string | undefined;
-    testnetClaimRegistryDeploymentPath?: string | undefined;
+    jinnMviL1DeploymentPath?: string | undefined;
+    jinnMviL2DeploymentPath?: string | undefined;
+    ethereumRpcUrl?: string | undefined;
+    ethereumArchiveRpcUrl?: string | undefined;
+    jinnL1Network?: "sepolia" | "ethereum" | undefined;
+    jinnDistributorAddress?: string | undefined;
+    jinnClaimEmitterAddress?: string | undefined;
+    jinnMessengerAddress?: string | undefined;
+    jinnMessengerMode?: "canonical" | "mock" | undefined;
+    jinnClaimLoopIntervalMs?: number | undefined;
     stakingMode?: "standard" | "self-bond" | undefined;
     targetServices?: number | undefined;
     debug?: boolean | undefined;
     masterEthDailyEstimateWei?: string | undefined;
-    restorers?: {
-        byKind?: Record<string, string> | undefined;
+    minEoaGasWei?: string | undefined;
+    minSafeEthWei?: string | undefined;
+    harnesses?: {
         default?: string | undefined;
         disabled?: string[] | undefined;
+        externalImpls?: {
+            name: string;
+            entry: string;
+            package?: string | undefined;
+            version?: string | undefined;
+        }[] | undefined;
     } | undefined;
+    solverNets?: Record<string, unknown> | undefined;
+    joinedSolverNets?: Record<string, {
+        roles: ("solver" | "evaluator")[];
+        manifestCid: string;
+        name?: string | undefined;
+        harness?: string | undefined;
+        model?: string | undefined;
+        plugins?: string[] | undefined;
+        contract?: {
+            id: string;
+            version: string;
+        } | undefined;
+        disabledDefaultPlugins?: string[] | undefined;
+    }> | undefined;
+    trustedImplSigners?: {
+        publicKey: string;
+        alg: "ed25519";
+        label?: string | undefined;
+    }[] | undefined;
     engine?: {
         workingDirRoot?: string | undefined;
         implStateDirRoot?: string | undefined;
     } | undefined;
+    operator?: {
+        publicEndpoint?: string | undefined;
+        defaultPriceUsdc?: string | undefined;
+        perArtifactTypePrice?: Record<string, string> | undefined;
+        donation?: {
+            enabled?: boolean | undefined;
+        } | undefined;
+    } | undefined;
+    captures?: {
+        llmProxy?: {
+            enabled?: boolean | undefined;
+            port?: number | undefined;
+        } | undefined;
+    } | undefined;
+    runLegacyMigrations?: boolean | undefined;
+    identityRegistryAddress?: string | undefined;
+    validationRegistryAddress?: string | undefined;
+    reputationEnabled?: boolean | undefined;
 }>;
-/** JinnConfig with rpcUrl guaranteed to be resolved (never undefined) and desiredStates with id always assigned. */
-export type JinnConfig = Omit<z.infer<typeof JinnConfigSchema>, 'rpcUrl' | 'desiredStates' | 'engine'> & {
+/** 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'> & {
     rpcUrl: string;
-    desiredStates: DesiredState[];
+    tasks: Task[];
     engine: {
         workingDirRoot: string;
         implStateDirRoot: string;
     };
 };
-export type ConfigLoadErrorCode = 'config_file_not_found' | 'config_json_invalid' | 'desired_states_file_not_found' | 'desired_states_json_invalid' | 'config_invalid';
+export declare const DEFAULT_CONFIG_PATH: string;
+export declare const DEFAULT_TESTNET_SUBGRAPH_URL = "https://api.studio.thegraph.com/query/1749489/jinn-testnet/capture-live-20260508183750";
+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>;
@@ -309,3 +2108,41 @@ export declare function loadConfig(configPath?: string): JinnConfig;
  * Get the config file path from --config CLI arg, if provided.
  */
 export declare function getConfigPathFromArgs(argv?: string[]): string | undefined;
+/**
+ * Merge one top-level value into the operator config file. Used by local setup
+ * flows that discover a durable setting after the daemon has already started.
+ */
+export declare function persistTopLevelConfigValue(key: string, value: unknown, configPath?: string): string;
+export interface ConfigProvenance {
+    /** Resolved config file path, or null if only defaults were used. */
+    configPath: string | null;
+    /** Whether a config file was found and loaded. */
+    configLoaded: boolean;
+    /** Resolved network. */
+    network: 'mainnet' | 'testnet';
+    /** Resolved earning state directory. */
+    earningDir: string;
+    /** Resolved SQLite database path. */
+    dbPath: string;
+    /** Resolved runtime mode, or null if auto-detected. */
+    runtimeMode: string | null;
+    /**
+     * Env vars that were set and contributed to the resolved config.
+     * Values are always `"set"` — never the actual value.
+     * JINN_PASSWORD is never listed here.
+     */
+    envOverrides: Record<string, 'set'>;
+}
+/**
+ * Build a structured provenance block describing how the config was resolved.
+ *
+ * Pass the same `configPath` you passed to `loadConfig`, and the resulting
+ * `JinnConfig`. The helper inspects `process.env` to discover which tracked
+ * env vars were set; it never reads their values.
+ *
+ * @param configPath — the explicit config file path passed to `loadConfig`,
+ *   or undefined if the default path was used.
+ * @param config — the resolved `JinnConfig` returned by `loadConfig`.
+ * @param env — defaults to `process.env`; inject in tests.
+ */
+export declare function buildConfigProvenance(configPath: string | undefined, config: JinnConfig, env?: NodeJS.ProcessEnv): ConfigProvenance;