@jinn-network/client 0.1.2 → 0.1.3-canary.216cf7e6

package/dist/daemon/freeze-fence.js

@@ -0,0 +1,71 @@
+/**
+ * Daemon-side freeze-fence for the Harness `mode: 'train' | 'frozen'`
+ * contract. When `ctx.mode === 'frozen'`, the daemon snapshots
+ * `implStateDir`, runs the harness, and verifies the post-run hash
+ * matches the pre-run hash. Mismatch → envelope rejected, snapshot
+ * restored.
+ *
+ * Spec: docs/superpowers/specs/2026-05-06-agent-harness-solvernet-design.md §6.3
+ */
+import { mkdtemp, cp, rm } from 'node:fs/promises';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { hashImplStateDir } from '../harnesses/freeze.js';
+/**
+ * Wraps `harness.run(ctx)` with the freeze-fence behaviour:
+ *
+ *   - `ctx.mode === 'train'`: no fence overhead. Run the harness and
+ *     compute the post-run codeDigest from the (now-mutated) implStateDir.
+ *
+ *   - `ctx.mode === 'frozen'`: hash implStateDir before, snapshot to a
+ *     temp dir, run the harness, hash again. Mismatch → roll back from
+ *     snapshot, return `{ ok: false, violation: ... }` so the caller
+ *     skips envelope submission. Match → succeed and return the
+ *     pre-hash as the codeDigest (stable for the frozen window).
+ *
+ * If the harness throws inside frozen mode, the snapshot is restored
+ * defensively (covers partial writes before the throw).
+ */
+export async function runHarnessWithFreezeFence(harness, ctx) {
+    if (ctx.mode === 'train') {
+        const output = await harness.run(ctx);
+        const codeDigest = await hashImplStateDir(ctx.implStateDir);
+        return { ok: true, output, codeDigest };
+    }
+    // Frozen mode: snapshot, run, verify, rollback if needed.
+    const stateHashBefore = await hashImplStateDir(ctx.implStateDir);
+    const snapDir = await mkdtemp(join(tmpdir(), 'jinn-freeze-snap-'));
+    await cp(ctx.implStateDir, snapDir, { recursive: true });
+    try {
+        const output = await harness.run(ctx);
+        const stateHashAfter = await hashImplStateDir(ctx.implStateDir);
+        if (stateHashAfter !== stateHashBefore) {
+            // Violation: rollback and return error.
+            await rm(ctx.implStateDir, { recursive: true, force: true });
+            await cp(snapDir, ctx.implStateDir, { recursive: true });
+            await rm(snapDir, { recursive: true, force: true });
+            return {
+                ok: false,
+                violation: {
+                    taskId: ctx.task.id,
+                    harnessName: harness.name,
+                    harnessVersion: harness.version,
+                    stateHashBefore,
+                    stateHashAfter,
+                    detectedAt: Date.now(),
+                },
+            };
+        }
+        // Hashes match: contract honoured, codeDigest is the (stable) pre-hash.
+        await rm(snapDir, { recursive: true, force: true });
+        return { ok: true, output, codeDigest: stateHashBefore };
+    }
+    catch (err) {
+        // Defensive rollback even on throw.
+        await rm(ctx.implStateDir, { recursive: true, force: true }).catch(() => { });
+        await cp(snapDir, ctx.implStateDir, { recursive: true });
+        await rm(snapDir, { recursive: true, force: true });
+        throw err;
+    }
+}
+//# sourceMappingURL=freeze-fence.js.map

package/dist/daemon/freeze-fence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"freeze-fence.js","sourceRoot":"","sources":["../../src/daemon/freeze-fence.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAgB1D;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,OAAgB,EAChB,GAAmB;IAEnB,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,UAAU,GAAG,MAAM,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC5D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IAC1C,CAAC;IAED,0DAA0D;IAC1D,MAAM,eAAe,GAAG,MAAM,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACjE,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;IACnE,MAAM,EAAE,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAEzD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,cAAc,GAAG,MAAM,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAEhE,IAAI,cAAc,KAAK,eAAe,EAAE,CAAC;YACvC,wCAAwC;YACxC,MAAM,EAAE,CAAC,GAAG,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7D,MAAM,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACzD,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YACpD,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,SAAS,EAAE;oBACT,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE;oBACnB,WAAW,EAAE,OAAO,CAAC,IAAI;oBACzB,cAAc,EAAE,OAAO,CAAC,OAAO;oBAC/B,eAAe;oBACf,cAAc;oBACd,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;iBACvB;aACF,CAAC;QACJ,CAAC;QAED,wEAAwE;QACxE,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACpD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC;IAC3D,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,oCAAoC;QACpC,MAAM,EAAE,CAAC,GAAG,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QAC7E,MAAM,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACpD,MAAM,GAAG,CAAC;IACZ,CAAC;AACH,CAAC"}

package/dist/daemon/jinn-claim-loop-canonical.d.ts

@@ -0,0 +1,207 @@
+/**
+ * Canonical OP-Stack storage proof construction for the cross-chain JINN claim
+ * loop. Implements `jinnMessengerMode === 'canonical'`.
+ *
+ * The builder is intended for the verifier-only canary path during testnet
+ * burn-in. Active burn-in still uses MockMessenger; this module constructs
+ * the canonical proof blob so operators can call
+ * `CanonicalOpStackMessenger.verifyClaim` via `eth_call` after finality.
+ *
+ * The proof blob uses the locked ABI:
+ *
+ *        (
+ *          bytes32 disputeGameId,
+ *          bytes outputRootProof,
+ *          bytes[] accountProof,
+ *          bytes[] storageProof,
+ *          uint256 claimId,
+ *          uint256 serviceId,
+ *          uint256 taskCreationWeight,
+ *          uint256 solutionDeliveryWeight,
+ *          uint256 verdictDeliveryWeight,
+ *          address multisig
+ *        )
+ *
+ * The proof uses an account proof + storage proof for
+ * `TaskClaimEmitter.claimSnapshotHashes[claimId]` against the finalized L2
+ * state root. Events are discovery only; L1 canonical verification proves the
+ * stored snapshot hash.
+ *
+ * Tracked follow-up: bd `jinn-mono-7x5` Phase B-canonical.
+ */
+import { type Address, type Hex, type PublicClient, type WalletClient } from 'viem';
+export interface CanonicalProofInputs {
+    /** Decoded ClaimTicket snapshot (use `decodeClaimTicketFromReceipt`). */
+    snapshot: CanonicalClaimSnapshot;
+    /** L2 block number containing the emit tx. */
+    l2BlockNumber: bigint;
+}
+export interface OpStackTargetChain {
+    contracts: {
+        disputeGameFactory: Readonly<Record<number, {
+            readonly address: Address;
+        }>>;
+        portal: Readonly<Record<number, {
+            readonly address: Address;
+        }>>;
+    };
+}
+export interface CanonicalProofClients {
+    l1Client: PublicClient;
+    /**
+     * L2 client used for `getBlock` + historical `eth_getProof` at the dispute
+     * game's L2 block. Must be archive-capable.
+     */
+    l2ProofClient: PublicClient;
+    /** OP Stack L2 target chain used by viem/op-stack game lookup. */
+    targetChain: OpStackTargetChain;
+    /** L1 OptimismPortal2 address. */
+    optimismPortal: Address;
+    /** L1 DisputeGameFactory address. */
+    disputeGameFactory: Address;
+    /** L2 TaskClaimEmitter address that emitted ClaimTicket. */
+    claimEmitter: Address;
+}
+export interface CanonicalClaimSnapshot {
+    claimId: bigint;
+    serviceId: bigint;
+    taskCreationWeight: bigint;
+    solutionDeliveryWeight: bigint;
+    verdictDeliveryWeight: bigint;
+    multisig: Address;
+    claimer: Address;
+}
+export interface CanonicalGameSelection {
+    index: bigint;
+    l2BlockNumber: bigint;
+    proxy: Address;
+    factoryGameType: number;
+    proxyGameType: number;
+    rootClaim: Hex;
+}
+export interface CanonicalProofBuildResult {
+    proof: Hex;
+    snapshot: CanonicalClaimSnapshot;
+    game: CanonicalGameSelection;
+    proofBlockNumber: bigint;
+}
+export declare const DISPUTE_GAME_FACTORY_ABI: readonly [{
+    readonly name: "gameAtIndex";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [{
+        readonly type: "uint256";
+    }];
+    readonly outputs: readonly [{
+        readonly type: "uint32";
+        readonly name: "gameType_";
+    }, {
+        readonly type: "uint64";
+        readonly name: "timestamp_";
+    }, {
+        readonly type: "address";
+        readonly name: "proxy_";
+    }];
+}];
+export declare const DISPUTE_GAME_ABI: readonly [{
+    readonly name: "gameType";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [];
+    readonly outputs: readonly [{
+        readonly type: "uint32";
+    }];
+}, {
+    readonly name: "status";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [];
+    readonly outputs: readonly [{
+        readonly type: "uint8";
+    }];
+}, {
+    readonly name: "resolvedAt";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [];
+    readonly outputs: readonly [{
+        readonly type: "uint64";
+    }];
+}, {
+    readonly name: "rootClaim";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [];
+    readonly outputs: readonly [{
+        readonly type: "bytes32";
+    }];
+}, {
+    readonly name: "wasRespectedGameTypeWhenCreated";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [];
+    readonly outputs: readonly [{
+        readonly type: "bool";
+    }];
+}];
+export declare const OPTIMISM_PORTAL_ABI: readonly [{
+    readonly name: "respectedGameType";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [];
+    readonly outputs: readonly [{
+        readonly type: "uint32";
+    }];
+}, {
+    readonly name: "proofMaturityDelaySeconds";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [];
+    readonly outputs: readonly [{
+        readonly type: "uint256";
+    }];
+}, {
+    readonly name: "disputeGameFinalityDelaySeconds";
+    readonly type: "function";
+    readonly stateMutability: "view";
+    readonly inputs: readonly [];
+    readonly outputs: readonly [{
+        readonly type: "uint256";
+    }];
+}];
+/**
+ * Wait until the L2 emit transaction is finalized through the canonical
+ * OP-Stack pipeline (DisputeGame resolved + finality airgap elapsed) and
+ * construct the `bytes proof` blob accepted by CanonicalOpStackMessenger.
+ *
+ * This is deliberately one-shot: if no covering/resolved/finalized dispute
+ * game exists yet, it throws and the daemon retries on a later tick.
+ */
+export declare function buildCanonicalProof(clients: CanonicalProofClients, inputs: CanonicalProofInputs): Promise<CanonicalProofBuildResult>;
+export declare function claimSnapshotStorageSlot(claimId: bigint): Hex;
+export declare function decodeClaimTicketFromReceipt(logs: readonly {
+    address: Address;
+    topics: readonly Hex[];
+    data: Hex;
+    logIndex?: number | null;
+}[], claimEmitter: Address, logIndex: number): CanonicalClaimSnapshot;
+export declare function selectCoveringDisputeGame(clients: CanonicalProofClients, l2BlockNumber: bigint): Promise<CanonicalGameSelection>;
+export declare function assertDisputeGameReady(clients: CanonicalProofClients, game: CanonicalGameSelection): Promise<void>;
+/**
+ * Submit `JinnDistributor.claim(proof)` on L1 once a canonical proof has
+ * been constructed. Mirrors the mock-mode submission path; idempotent at
+ * the contract layer.
+ */
+export declare function submitCanonicalClaim(l1Client: PublicClient, l1Wallet: WalletClient, distributor: Address, proof: Hex): Promise<Hex>;
+/**
+ * Verifier-only canonical canary. This intentionally uses `eth_call`
+ * (`readContract`) against the messenger and does not submit
+ * `JinnDistributor.claim`. Burn-in keeps MockMessenger active.
+ */
+export declare function verifyCanonicalClaimCanary(l1Client: PublicClient, messenger: Address, proof: Hex): Promise<{
+    serviceId: bigint;
+    taskCreationWeight: bigint;
+    solutionDeliveryWeight: bigint;
+    verdictDeliveryWeight: bigint;
+    multisig: Address;
+}>;

package/dist/daemon/jinn-claim-loop-canonical.js

@@ -0,0 +1,296 @@
+/**
+ * Canonical OP-Stack storage proof construction for the cross-chain JINN claim
+ * loop. Implements `jinnMessengerMode === 'canonical'`.
+ *
+ * The builder is intended for the verifier-only canary path during testnet
+ * burn-in. Active burn-in still uses MockMessenger; this module constructs
+ * the canonical proof blob so operators can call
+ * `CanonicalOpStackMessenger.verifyClaim` via `eth_call` after finality.
+ *
+ * The proof blob uses the locked ABI:
+ *
+ *        (
+ *          bytes32 disputeGameId,
+ *          bytes outputRootProof,
+ *          bytes[] accountProof,
+ *          bytes[] storageProof,
+ *          uint256 claimId,
+ *          uint256 serviceId,
+ *          uint256 taskCreationWeight,
+ *          uint256 solutionDeliveryWeight,
+ *          uint256 verdictDeliveryWeight,
+ *          address multisig
+ *        )
+ *
+ * The proof uses an account proof + storage proof for
+ * `TaskClaimEmitter.claimSnapshotHashes[claimId]` against the finalized L2
+ * state root. Events are discovery only; L1 canonical verification proves the
+ * stored snapshot hash.
+ *
+ * Tracked follow-up: bd `jinn-mono-7x5` Phase B-canonical.
+ */
+import { decodeEventLog, encodeAbiParameters, getAddress, keccak256, parseAbi, toHex, } from 'viem';
+import { getProof } from 'viem/actions';
+import { getGames } from 'viem/op-stack';
+import { CLAIM_MESSENGER_ABI, CLAIM_TICKET_TOPIC0, JINN_CLAIM_EMITTER_ABI, JINN_DISTRIBUTOR_ABI, } from '../earning/contracts.js';
+export const DISPUTE_GAME_FACTORY_ABI = parseAbi([
+    'function gameAtIndex(uint256) view returns (uint32 gameType_, uint64 timestamp_, address proxy_)',
+]);
+export const DISPUTE_GAME_ABI = parseAbi([
+    'function gameType() view returns (uint32)',
+    'function status() view returns (uint8)',
+    'function resolvedAt() view returns (uint64)',
+    'function rootClaim() view returns (bytes32)',
+    'function wasRespectedGameTypeWhenCreated() view returns (bool)',
+]);
+export const OPTIMISM_PORTAL_ABI = parseAbi([
+    'function respectedGameType() view returns (uint32)',
+    'function proofMaturityDelaySeconds() view returns (uint256)',
+    'function disputeGameFinalityDelaySeconds() view returns (uint256)',
+]);
+const OUTPUT_ROOT_PROOF_ABI = [
+    {
+        type: 'tuple',
+        components: [
+            { name: 'version', type: 'bytes32' },
+            { name: 'stateRoot', type: 'bytes32' },
+            { name: 'messagePasserStorageRoot', type: 'bytes32' },
+            { name: 'latestBlockHash', type: 'bytes32' },
+        ],
+    },
+];
+const CANONICAL_PROOF_ABI = [
+    { name: 'disputeGameId', type: 'bytes32' },
+    { name: 'outputRootProof', type: 'bytes' },
+    { name: 'accountProof', type: 'bytes[]' },
+    { name: 'storageProof', type: 'bytes[]' },
+    { name: 'claimId', type: 'uint256' },
+    { name: 'serviceId', type: 'uint256' },
+    { name: 'taskCreationWeight', type: 'uint256' },
+    { name: 'solutionDeliveryWeight', type: 'uint256' },
+    { name: 'verdictDeliveryWeight', type: 'uint256' },
+    { name: 'multisig', type: 'address' },
+];
+const GAME_STATUS_DEFENDER_WINS = 2;
+const CLAIM_SNAPSHOT_HASHES_SLOT = 1n;
+const OUTPUT_ROOT_VERSION = `0x${'0'.repeat(64)}`;
+const L2_TO_L1_MESSAGE_PASSER = '0x4200000000000000000000000000000000000016';
+/**
+ * Wait until the L2 emit transaction is finalized through the canonical
+ * OP-Stack pipeline (DisputeGame resolved + finality airgap elapsed) and
+ * construct the `bytes proof` blob accepted by CanonicalOpStackMessenger.
+ *
+ * This is deliberately one-shot: if no covering/resolved/finalized dispute
+ * game exists yet, it throws and the daemon retries on a later tick.
+ */
+export async function buildCanonicalProof(clients, inputs) {
+    const { snapshot, l2BlockNumber } = inputs;
+    const game = await selectCoveringDisputeGame(clients, l2BlockNumber);
+    await assertDisputeGameReady(clients, game);
+    const snapshotSlot = claimSnapshotStorageSlot(snapshot.claimId);
+    const [proofBlock, messagePasserProof, snapshotProof] = await Promise.all([
+        clients.l2ProofClient.getBlock({ blockNumber: game.l2BlockNumber }),
+        getProof(clients.l2ProofClient, {
+            address: L2_TO_L1_MESSAGE_PASSER,
+            storageKeys: [],
+            blockNumber: game.l2BlockNumber,
+        }),
+        getProof(clients.l2ProofClient, {
+            address: clients.claimEmitter,
+            storageKeys: [snapshotSlot],
+            blockNumber: game.l2BlockNumber,
+        }),
+    ]);
+    if (!proofBlock.hash)
+        throw new Error('[jinn-claim-loop] proof L2 block is missing hash');
+    const storageProof = snapshotProof.storageProof[0]?.proof;
+    if (!storageProof || storageProof.length === 0) {
+        throw new Error('[jinn-claim-loop] missing storage proof for claimSnapshotHashes[claimId]');
+    }
+    const outputRootProof = encodeAbiParameters(OUTPUT_ROOT_PROOF_ABI, [{
+            version: OUTPUT_ROOT_VERSION,
+            stateRoot: proofBlock.stateRoot,
+            messagePasserStorageRoot: messagePasserProof.storageHash,
+            latestBlockHash: proofBlock.hash,
+        }]);
+    const proof = encodeAbiParameters(CANONICAL_PROOF_ABI, [
+        toHex(game.index, { size: 32 }),
+        outputRootProof,
+        snapshotProof.accountProof,
+        storageProof,
+        snapshot.claimId,
+        snapshot.serviceId,
+        snapshot.taskCreationWeight,
+        snapshot.solutionDeliveryWeight,
+        snapshot.verdictDeliveryWeight,
+        snapshot.multisig,
+    ]);
+    return {
+        proof,
+        snapshot,
+        game,
+        proofBlockNumber: game.l2BlockNumber,
+    };
+}
+export function claimSnapshotStorageSlot(claimId) {
+    return keccak256(encodeAbiParameters([{ type: 'uint256' }, { type: 'uint256' }], [claimId, CLAIM_SNAPSHOT_HASHES_SLOT]));
+}
+export function decodeClaimTicketFromReceipt(logs, claimEmitter, logIndex) {
+    const expectedEmitter = claimEmitter.toLowerCase();
+    const expectedTopic = CLAIM_TICKET_TOPIC0.toLowerCase();
+    const log = logs.find((candidate) => candidate.address.toLowerCase() === expectedEmitter
+        && candidate.topics[0]?.toLowerCase() === expectedTopic
+        && (candidate.logIndex ?? 0) === logIndex);
+    if (!log) {
+        throw new Error(`[jinn-claim-loop] no ClaimTicket log at index ${logIndex}`);
+    }
+    const decoded = decodeEventLog({
+        abi: JINN_CLAIM_EMITTER_ABI,
+        eventName: 'ClaimTicket',
+        data: log.data,
+        topics: log.topics,
+    });
+    const args = decoded.args;
+    return {
+        claimId: args.claimId,
+        serviceId: args.serviceId,
+        taskCreationWeight: args.taskCreationWeight,
+        solutionDeliveryWeight: args.solutionDeliveryWeight,
+        verdictDeliveryWeight: args.verdictDeliveryWeight,
+        multisig: getAddress(args.multisig),
+        claimer: getAddress(args.claimer),
+    };
+}
+export async function selectCoveringDisputeGame(clients, l2BlockNumber) {
+    const games = await getGames(clients.l1Client, {
+        chain: null,
+        targetChain: clients.targetChain,
+        limit: 100,
+    });
+    const covering = games
+        .filter((game) => game.l2BlockNumber >= l2BlockNumber)
+        .sort((a, b) => (a.l2BlockNumber < b.l2BlockNumber ? -1 : 1))[0];
+    if (!covering) {
+        throw new Error(`[jinn-claim-loop] no OP dispute game covers L2 block ${l2BlockNumber}; retry later`);
+    }
+    const [factoryGameType, , proxy] = await clients.l1Client.readContract({
+        address: clients.disputeGameFactory,
+        abi: DISPUTE_GAME_FACTORY_ABI,
+        functionName: 'gameAtIndex',
+        args: [covering.index],
+    });
+    if (proxy === '0x0000000000000000000000000000000000000000') {
+        throw new Error(`[jinn-claim-loop] dispute game ${covering.index} has zero proxy`);
+    }
+    const [proxyGameType, rootClaim] = await Promise.all([
+        clients.l1Client.readContract({
+            address: proxy,
+            abi: DISPUTE_GAME_ABI,
+            functionName: 'gameType',
+        }),
+        clients.l1Client.readContract({
+            address: proxy,
+            abi: DISPUTE_GAME_ABI,
+            functionName: 'rootClaim',
+        }),
+    ]);
+    return {
+        index: covering.index,
+        l2BlockNumber: covering.l2BlockNumber,
+        proxy,
+        factoryGameType,
+        proxyGameType,
+        rootClaim,
+    };
+}
+export async function assertDisputeGameReady(clients, game) {
+    if (game.factoryGameType !== game.proxyGameType) {
+        throw new Error('[jinn-claim-loop] dispute game factory/proxy gameType mismatch');
+    }
+    const [respectedGameType, proofMaturityDelaySeconds, disputeGameFinalityDelaySeconds, status, resolvedAt, wasRespectedGameTypeWhenCreated, latestL1Block,] = await Promise.all([
+        clients.l1Client.readContract({
+            address: clients.optimismPortal,
+            abi: OPTIMISM_PORTAL_ABI,
+            functionName: 'respectedGameType',
+        }),
+        clients.l1Client.readContract({
+            address: clients.optimismPortal,
+            abi: OPTIMISM_PORTAL_ABI,
+            functionName: 'proofMaturityDelaySeconds',
+        }),
+        clients.l1Client.readContract({
+            address: clients.optimismPortal,
+            abi: OPTIMISM_PORTAL_ABI,
+            functionName: 'disputeGameFinalityDelaySeconds',
+        }),
+        clients.l1Client.readContract({
+            address: game.proxy,
+            abi: DISPUTE_GAME_ABI,
+            functionName: 'status',
+        }),
+        clients.l1Client.readContract({
+            address: game.proxy,
+            abi: DISPUTE_GAME_ABI,
+            functionName: 'resolvedAt',
+        }),
+        clients.l1Client.readContract({
+            address: game.proxy,
+            abi: DISPUTE_GAME_ABI,
+            functionName: 'wasRespectedGameTypeWhenCreated',
+        }),
+        clients.l1Client.getBlock({ blockTag: 'latest' }),
+    ]);
+    if (!wasRespectedGameTypeWhenCreated && game.proxyGameType !== respectedGameType) {
+        throw new Error('[jinn-claim-loop] dispute game was not portal-respected when created');
+    }
+    if (status !== GAME_STATUS_DEFENDER_WINS) {
+        throw new Error('[jinn-claim-loop] dispute game is not resolved DEFENDER_WINS');
+    }
+    const finalizedAt = BigInt(resolvedAt) +
+        maxBigInt(BigInt(proofMaturityDelaySeconds), BigInt(disputeGameFinalityDelaySeconds));
+    if (resolvedAt === 0n || latestL1Block.timestamp < finalizedAt) {
+        throw new Error('[jinn-claim-loop] dispute game finality airgap has not elapsed');
+    }
+}
+function maxBigInt(a, b) {
+    return a > b ? a : b;
+}
+/**
+ * Submit `JinnDistributor.claim(proof)` on L1 once a canonical proof has
+ * been constructed. Mirrors the mock-mode submission path; idempotent at
+ * the contract layer.
+ */
+export async function submitCanonicalClaim(l1Client, l1Wallet, distributor, proof) {
+    const account = l1Wallet.account;
+    if (!account)
+        throw new Error('[jinn-claim-loop] L1 wallet has no account configured');
+    const { request } = await l1Client.simulateContract({
+        address: distributor,
+        abi: JINN_DISTRIBUTOR_ABI,
+        functionName: 'claim',
+        args: [proof],
+        account,
+    });
+    return l1Wallet.writeContract(request);
+}
+/**
+ * Verifier-only canonical canary. This intentionally uses `eth_call`
+ * (`readContract`) against the messenger and does not submit
+ * `JinnDistributor.claim`. Burn-in keeps MockMessenger active.
+ */
+export async function verifyCanonicalClaimCanary(l1Client, messenger, proof) {
+    const [serviceId, taskCreationWeight, solutionDeliveryWeight, verdictDeliveryWeight, multisig,] = await l1Client.readContract({
+        address: messenger,
+        abi: CLAIM_MESSENGER_ABI,
+        functionName: 'verifyClaim',
+        args: [proof],
+    });
+    return {
+        serviceId,
+        taskCreationWeight,
+        solutionDeliveryWeight,
+        verdictDeliveryWeight,
+        multisig,
+    };
+}
+//# sourceMappingURL=jinn-claim-loop-canonical.js.map

package/dist/daemon/jinn-claim-loop-canonical.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jinn-claim-loop-canonical.js","sourceRoot":"","sources":["../../src/daemon/jinn-claim-loop-canonical.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,UAAU,EACV,SAAS,EACT,QAAQ,EACR,KAAK,GAKN,MAAM,MAAM,CAAC;AACd,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EACL,mBAAmB,EACnB,mBAAmB,EACnB,sBAAsB,EACtB,oBAAoB,GACrB,MAAM,yBAAyB,CAAC;AA2DjC,MAAM,CAAC,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC/C,kGAAkG;CACnG,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IACvC,2CAA2C;IAC3C,wCAAwC;IACxC,6CAA6C;IAC7C,6CAA6C;IAC7C,gEAAgE;CACjE,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IAC1C,oDAAoD;IACpD,6DAA6D;IAC7D,mEAAmE;CACpE,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG;IAC5B;QACE,IAAI,EAAE,OAAO;QACb,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE;YACpC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE;YACtC,EAAE,IAAI,EAAE,0BAA0B,EAAE,IAAI,EAAE,SAAS,EAAE;YACrD,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,SAAS,EAAE;SAC7C;KACF;CACO,CAAC;AAEX,MAAM,mBAAmB,GAAG;IAC1B,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;IAC1C,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,OAAO,EAAE;IAC1C,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE;IACzC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE;IACzC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE;IACpC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE;IACtC,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,SAAS,EAAE;IAC/C,EAAE,IAAI,EAAE,wBAAwB,EAAE,IAAI,EAAE,SAAS,EAAE;IACnD,EAAE,IAAI,EAAE,uBAAuB,EAAE,IAAI,EAAE,SAAS,EAAE;IAClD,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE;CAC7B,CAAC;AAEX,MAAM,yBAAyB,GAAG,CAAC,CAAC;AACpC,MAAM,0BAA0B,GAAG,EAAE,CAAC;AACtC,MAAM,mBAAmB,GAAG,KAAK,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAW,CAAC;AAC3D,MAAM,uBAAuB,GAAG,4CAAqD,CAAC;AAEtF;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,OAA8B,EAC9B,MAA4B;IAE5B,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,GAAG,MAAM,CAAC;IAC3C,MAAM,IAAI,GAAG,MAAM,yBAAyB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IACrE,MAAM,sBAAsB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAE5C,MAAM,YAAY,GAAG,wBAAwB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAChE,MAAM,CAAC,UAAU,EAAE,kBAAkB,EAAE,aAAa,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACxE,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC;QACnE,QAAQ,CAAC,OAAO,CAAC,aAAa,EAAE;YAC9B,OAAO,EAAE,uBAAuB;YAChC,WAAW,EAAE,EAAE;YACf,WAAW,EAAE,IAAI,CAAC,aAAa;SAChC,CAAC;QACF,QAAQ,CAAC,OAAO,CAAC,aAAa,EAAE;YAC9B,OAAO,EAAE,OAAO,CAAC,YAAY;YAC7B,WAAW,EAAE,CAAC,YAAY,CAAC;YAC3B,WAAW,EAAE,IAAI,CAAC,aAAa;SAChC,CAAC;KACH,CAAC,CAAC;IACH,IAAI,CAAC,UAAU,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IAC1F,MAAM,YAAY,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;IAC1D,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAC;IAC9F,CAAC;IAED,MAAM,eAAe,GAAG,mBAAmB,CAAC,qBAAqB,EAAE,CAAC;YAClE,OAAO,EAAE,mBAAmB;YAC5B,SAAS,EAAE,UAAU,CAAC,SAAS;YAC/B,wBAAwB,EAAE,kBAAkB,CAAC,WAAW;YACxD,eAAe,EAAE,UAAU,CAAC,IAAI;SACjC,CAAC,CAAC,CAAC;IAEJ,MAAM,KAAK,GAAG,mBAAmB,CAAC,mBAAmB,EAAE;QACrD,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAC/B,eAAe;QACf,aAAa,CAAC,YAAY;QAC1B,YAAY;QACZ,QAAQ,CAAC,OAAO;QAChB,QAAQ,CAAC,SAAS;QAClB,QAAQ,CAAC,kBAAkB;QAC3B,QAAQ,CAAC,sBAAsB;QAC/B,QAAQ,CAAC,qBAAqB;QAC9B,QAAQ,CAAC,QAAQ;KAClB,CAAC,CAAC;IAEH,OAAO;QACL,KAAK;QACL,QAAQ;QACR,IAAI;QACJ,gBAAgB,EAAE,IAAI,CAAC,aAAa;KACrC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,OAAe;IACtD,OAAO,SAAS,CACd,mBAAmB,CACjB,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAC1C,CAAC,OAAO,EAAE,0BAA0B,CAAC,CACtC,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,IAAkG,EAClG,YAAqB,EACrB,QAAgB;IAEhB,MAAM,eAAe,GAAG,YAAY,CAAC,WAAW,EAAE,CAAC;IACnD,MAAM,aAAa,GAAG,mBAAmB,CAAC,WAAW,EAAE,CAAC;IACxD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAClC,SAAS,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,eAAe;WAChD,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,aAAa;WACpD,CAAC,SAAS,CAAC,QAAQ,IAAI,CAAC,CAAC,KAAK,QAAQ,CAC1C,CAAC;IACF,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,MAAM,IAAI,KAAK,CAAC,iDAAiD,QAAQ,EAAE,CAAC,CAAC;IAC/E,CAAC;IAED,MAAM,OAAO,GAAG,cAAc,CAAC;QAC7B,GAAG,EAAE,sBAAsB;QAC3B,SAAS,EAAE,aAAa;QACxB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,MAAM,EAAE,GAAG,CAAC,MAAyB;KACtC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,OAAO,CAAC,IAAyC,CAAC;IAC/D,OAAO;QACL,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;QAC3C,sBAAsB,EAAE,IAAI,CAAC,sBAAsB;QACnD,qBAAqB,EAAE,IAAI,CAAC,qBAAqB;QACjD,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC;QACnC,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,OAA8B,EAC9B,aAAqB;IAErB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,QAAQ,EAAE;QAC7C,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,KAAK,EAAE,GAAG;KACX,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,KAAK;SACnB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,IAAI,aAAa,CAAC;SACrD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CACb,wDAAwD,aAAa,eAAe,CACrF,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,eAAe,EAAE,AAAD,EAAG,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC;QACrE,OAAO,EAAE,OAAO,CAAC,kBAAkB;QACnC,GAAG,EAAE,wBAAwB;QAC7B,YAAY,EAAE,aAAa;QAC3B,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC;KACvB,CAAC,CAAC;IACH,IAAI,KAAK,KAAK,4CAA4C,EAAE,CAAC;QAC3D,MAAM,IAAI,KAAK,CAAC,kCAAkC,QAAQ,CAAC,KAAK,iBAAiB,CAAC,CAAC;IACrF,CAAC;IAED,MAAM,CAAC,aAAa,EAAE,SAAS,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACnD,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC;YAC5B,OAAO,EAAE,KAAK;YACd,GAAG,EAAE,gBAAgB;YACrB,YAAY,EAAE,UAAU;SACzB,CAAC;QACF,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC;YAC5B,OAAO,EAAE,KAAK;YACd,GAAG,EAAE,gBAAgB;YACrB,YAAY,EAAE,WAAW;SAC1B,CAAC;KACH,CAAC,CAAC;IAEH,OAAO;QACL,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,KAAK;QACL,eAAe;QACf,aAAa;QACb,SAAS;KACV,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,OAA8B,EAC9B,IAA4B;IAE5B,IAAI,IAAI,CAAC,eAAe,KAAK,IAAI,CAAC,aAAa,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;IAED,MAAM,CACJ,iBAAiB,EACjB,yBAAyB,EACzB,+BAA+B,EAC/B,MAAM,EACN,UAAU,EACV,+BAA+B,EAC/B,aAAa,EACd,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACpB,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC;YAC5B,OAAO,EAAE,OAAO,CAAC,cAAc;YAC/B,GAAG,EAAE,mBAAmB;YACxB,YAAY,EAAE,mBAAmB;SAClC,CAAC;QACF,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC;YAC5B,OAAO,EAAE,OAAO,CAAC,cAAc;YAC/B,GAAG,EAAE,mBAAmB;YACxB,YAAY,EAAE,2BAA2B;SAC1C,CAAC;QACF,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC;YAC5B,OAAO,EAAE,OAAO,CAAC,cAAc;YAC/B,GAAG,EAAE,mBAAmB;YACxB,YAAY,EAAE,iCAAiC;SAChD,CAAC;QACF,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC;YAC5B,OAAO,EAAE,IAAI,CAAC,KAAK;YACnB,GAAG,EAAE,gBAAgB;YACrB,YAAY,EAAE,QAAQ;SACvB,CAAC;QACF,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC;YAC5B,OAAO,EAAE,IAAI,CAAC,KAAK;YACnB,GAAG,EAAE,gBAAgB;YACrB,YAAY,EAAE,YAAY;SAC3B,CAAC;QACF,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC;YAC5B,OAAO,EAAE,IAAI,CAAC,KAAK;YACnB,GAAG,EAAE,gBAAgB;YACrB,YAAY,EAAE,iCAAiC;SAChD,CAAC;QACF,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;KAClD,CAAC,CAAC;IAEH,IAAI,CAAC,+BAA+B,IAAI,IAAI,CAAC,aAAa,KAAK,iBAAiB,EAAE,CAAC;QACjF,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,MAAM,KAAK,yBAAyB,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;IAClF,CAAC;IAED,MAAM,WAAW,GACf,MAAM,CAAC,UAAU,CAAC;QAClB,SAAS,CAAC,MAAM,CAAC,yBAAyB,CAAC,EAAE,MAAM,CAAC,+BAA+B,CAAC,CAAC,CAAC;IACxF,IAAI,UAAU,KAAK,EAAE,IAAI,aAAa,CAAC,SAAS,GAAG,WAAW,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,CAAS,EAAE,CAAS;IACrC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACvB,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,QAAsB,EACtB,QAAsB,EACtB,WAAoB,EACpB,KAAU;IAEV,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;IACjC,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAEvF,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,QAAQ,CAAC,gBAAgB,CAAC;QAClD,OAAO,EAAE,WAAW;QACpB,GAAG,EAAE,oBAAoB;QACzB,YAAY,EAAE,OAAO;QACrB,IAAI,EAAE,CAAC,KAAK,CAAC;QACb,OAAO;KACR,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;AACzC,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,QAAsB,EACtB,SAAkB,EAClB,KAAU;IAQV,MAAM,CACJ,SAAS,EACT,kBAAkB,EAClB,sBAAsB,EACtB,qBAAqB,EACrB,QAAQ,EACT,GAAG,MAAM,QAAQ,CAAC,YAAY,CAAC;QAC9B,OAAO,EAAE,SAAS;QAClB,GAAG,EAAE,mBAAmB;QACxB,YAAY,EAAE,aAAa;QAC3B,IAAI,EAAE,CAAC,KAAK,CAAC;KACd,CAAC,CAAC;IACH,OAAO;QACL,SAAS;QACT,kBAAkB;QAClB,sBAAsB;QACtB,qBAAqB;QACrB,QAAQ;KACT,CAAC;AACJ,CAAC"}

package/dist/daemon/jinn-claim-loop-mock.d.ts

@@ -0,0 +1,61 @@
+/**
+ * MockMessenger submission path for the cross-chain JINN claim loop.
+ *
+ * Used when `jinnMessengerMode === 'mock'` — primarily for testnet burn-in
+ * (Phase D / r5z) when canonical OP-Stack finality is impractical and CI.
+ * The daemon's wallet must be the MockMessenger's owner during burn-in;
+ * `setFixture` is `onlyOwner`.
+ *
+ * Flow:
+ *   1. Read the latest ClaimTicket event from the TaskClaimEmitter on L2.
+ *   2. Plant the matching fixture on the L1 MockMessenger via `setFixture`.
+ *   3. Submit `JinnDistributor.claim(abi.encode(claimId))`.
+ *
+ * The MockMessenger encodes the proof as `abi.encode(uint256 claimId)` —
+ * the messenger looks up the planted snapshot fixture and returns it. The
+ * distributor's per-service accumulator handles replay; resubmitting the
+ * same `proof` mints zero on the second call.
+ */
+import { type Address, type Hex, type PublicClient, type WalletClient } from 'viem';
+import { CLAIM_TICKET_TOPIC0 } from '../earning/contracts.js';
+export interface MockClaimSnapshot {
+    claimId: bigint;
+    serviceId: bigint;
+    taskCreationWeight: bigint;
+    solutionDeliveryWeight: bigint;
+    verdictDeliveryWeight: bigint;
+    multisig: Address;
+    claimer: Address;
+    /** L2 transaction hash of the emitClaim. */
+    emitTxHash: Hex;
+    /** L2 block number containing emitClaim. */
+    emitBlockNumber: bigint;
+}
+/**
+ * Read the latest ClaimTicket emitted by `claimEmitter` for the given
+ * `serviceId`, optionally bounded to a recent block range. Returns null when
+ * no matching event exists.
+ */
+export declare function fetchLatestClaimTicket(l2Client: PublicClient, claimEmitter: Address, serviceId: bigint, options?: {
+    fromBlock?: bigint;
+    toBlock?: bigint | 'latest';
+}): Promise<MockClaimSnapshot | null>;
+/**
+ * Plant a fixture on the L1 MockMessenger that mirrors the L2 ClaimTicket
+ * snapshot exactly. The daemon's L1 wallet must be the MockMessenger's
+ * owner. Returns the L1 tx hash.
+ */
+export declare function plantMockFixture(l1Client: PublicClient, l1Wallet: WalletClient, messenger: Address, snapshot: MockClaimSnapshot): Promise<Hex>;
+/**
+ * Encode the MockMessenger proof: `abi.encode(uint256 claimId)`. The
+ * messenger looks up the previously planted fixture by claimId.
+ */
+export declare function encodeMockProof(claimId: bigint): Hex;
+/**
+ * Submit `JinnDistributor.claim(proof)` on L1. Returns the L1 tx hash.
+ *
+ * Idempotent at the contract layer — the distributor's per-service
+ * accumulator clamps repeated submissions to zero mint.
+ */
+export declare function submitMockClaim(l1Client: PublicClient, l1Wallet: WalletClient, distributor: Address, claimId: bigint): Promise<Hex>;
+export { CLAIM_TICKET_TOPIC0 };