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

package/dist/daemon/delivery-watcher.js

@@ -1,5 +1,8 @@
 import { emitEvent } from '../observability/emit-event.js';
 import { isRecoverableTransactionError } from '../tx-retry.js';
+import { SignedEnvelopeSchema } from '../types/envelope.js';
+import { validatePayload } from '../types/payloads/index.js';
+import { getSweRebenchV2StateStore } from '../solver-types/swe-rebench-v2.js';
 export class DeliveryWatcherLoop {
     adapter;
     store;
@@ -19,16 +22,59 @@ export class DeliveryWatcherLoop {
                 for await (const delivery of this.adapter.watchForDeliveries()) {
                     if (this.stopped)
                         break;
+                    // Attempt to parse the delivery result as a jinn.execution.v1 envelope.
+                    // result.data is either a JSON-stringified SignedEnvelope (new path) or
+                    // a legacy plain-text result (old path). Invalid envelopes are logged and
+                    // skipped so a bad delivery cannot crash the daemon loop.
+                    let parsedRaw;
+                    try {
+                        parsedRaw = JSON.parse(delivery.result.data);
+                    }
+                    catch {
+                        // Not JSON — treat as legacy plain-text, skip envelope validation.
+                        parsedRaw = null;
+                    }
+                    if (parsedRaw !== null && typeof parsedRaw === 'object') {
+                        const maybeEnvelope = parsedRaw;
+                        if (maybeEnvelope['schemaVersion'] === 'jinn.execution.v1') {
+                            try {
+                                const envelope = SignedEnvelopeSchema.parse(maybeEnvelope);
+                                validatePayload(envelope.solverType, envelope.role, envelope.payload);
+                                console.error(`[delivery-watcher] envelope ok solverType=${envelope.solverType} role=${envelope.role} ` +
+                                    `tier=${envelope.evidenceTier} requestId=${delivery.requestId.slice(0, 10)}...`);
+                                // swe-rebench-v2 verdict success hook: when a score=1 verdict arrives,
+                                // increment successful_count so the generator's post-until-target-successes
+                                // policy converges. instance_id is sourced from the Task spec on the delivery.
+                                if (envelope.solverType === 'swe-rebench-v2.v1' &&
+                                    envelope.role === 'verdict' &&
+                                    typeof envelope.payload['score'] === 'number' &&
+                                    envelope.payload['score'] === 1) {
+                                    const instanceId = delivery.task.spec?.['instance_id'];
+                                    if (typeof instanceId === 'string' && instanceId.length > 0) {
+                                        const stateStore = getSweRebenchV2StateStore();
+                                        stateStore.recordSuccess(instanceId).catch((err) => {
+                                            console.warn(`[delivery-watcher] swe-rebench-v2 recordSuccess failed for ${instanceId}: ${err instanceof Error ? err.message : err}`);
+                                        });
+                                    }
+                                }
+                            }
+                            catch (err) {
+                                console.error(`[delivery-watcher] envelope parse/validate failed for ${delivery.requestId.slice(0, 10)}...: ${err}`);
+                                continue;
+                            }
+                        }
+                        // If schemaVersion is absent the payload is legacy — fall through to normal handling.
+                    }
                     // The adapter handles claim + evaluation creation internally.
                     // We just drive the iteration and log for observability.
-                    const type = delivery.desiredState.type ?? 'unknown';
-                    console.error(`[delivery-watcher] Processed ${type} delivery: ${delivery.requestId.slice(0, 10)}...`);
+                    const role = delivery.task.role ?? 'unknown';
+                    console.error(`[delivery-watcher] Processed ${role} delivery: ${delivery.requestId.slice(0, 10)}...`);
                     if (this.store) {
                         emitEvent(this.store, {
-                            kind: type === 'evaluation' ? 'evaluation_submitted' : 'delivery_submitted',
+                            kind: role === 'evaluation' ? 'evaluation_submitted' : 'delivery_submitted',
                             requestId: delivery.requestId,
                             outcome: 'ok',
-                            detail: `Processed ${type} delivery`,
+                            detail: `Processed ${role} delivery`,
                         }, 'delivery-watcher');
                     }
                 }

package/dist/daemon/delivery-watcher.js.map

@@ -1 +1 @@
-{"version":3,"file":"delivery-watcher.js","sourceRoot":"","sources":["../../src/daemon/delivery-watcher.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAC3D,OAAO,EAAE,6BAA6B,EAAE,MAAM,gBAAgB,CAAC;AAE/D,MAAM,OAAO,mBAAmB;IAMX;IACA;IANX,OAAO,GAAG,KAAK,CAAC;IAChB,WAAW,GAAwB,IAAI,CAAC;IACxC,WAAW,CAAgB;IAEnC,YACmB,OAAyB,EACzB,KAAa;QADb,YAAO,GAAP,OAAO,CAAkB;QACzB,UAAK,GAAL,KAAK,CAAQ;QAE9B,IAAI,CAAC,WAAW,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,EAAE;YACvC,IAAI,CAAC,WAAW,GAAG,OAAO,CAAC;QAC7B,CAAC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,GAAG;QACP,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACrB,IAAI,CAAC;gBACH,IAAI,KAAK,EAAE,MAAM,QAAQ,IAAI,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC;oBAC/D,IAAI,IAAI,CAAC,OAAO;wBAAE,MAAM;oBACxB,8DAA8D;oBAC9D,yDAAyD;oBACzD,MAAM,IAAI,GAAG,QAAQ,CAAC,YAAY,CAAC,IAAI,IAAI,SAAS,CAAC;oBACrD,OAAO,CAAC,KAAK,CAAC,gCAAgC,IAAI,cAAc,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;oBACtG,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;wBACf,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE;4BACpB,IAAI,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,oBAAoB;4BAC3E,SAAS,EAAE,QAAQ,CAAC,SAAS;4BAC7B,OAAO,EAAE,IAAI;4BACb,MAAM,EAAE,aAAa,IAAI,WAAW;yBACrC,EAAE,kBAAkB,CAAC,CAAC;oBACzB,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,OAAO,CAAC,KAAK,CAAC,2BAA2B,EAAE,GAAG,CAAC,CAAC;gBAChD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACf,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE;wBACpB,IAAI,EAAE,YAAY;wBAClB,OAAO,EAAE,QAAQ;wBACjB,MAAM,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;qBACzD,EAAE,kBAAkB,CAAC,CAAC;gBACzB,CAAC;gBACD,MAAM,OAAO,GAAG,6BAA6B,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;gBACnE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;YACnF,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI;QACF,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;QACpB,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;IACvB,CAAC;CACF"}
+{"version":3,"file":"delivery-watcher.js","sourceRoot":"","sources":["../../src/daemon/delivery-watcher.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAC3D,OAAO,EAAE,6BAA6B,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAE9E,MAAM,OAAO,mBAAmB;IAMX;IACA;IANX,OAAO,GAAG,KAAK,CAAC;IAChB,WAAW,GAAwB,IAAI,CAAC;IACxC,WAAW,CAAgB;IAEnC,YACmB,OAAyB,EACzB,KAAa;QADb,YAAO,GAAP,OAAO,CAAkB;QACzB,UAAK,GAAL,KAAK,CAAQ;QAE9B,IAAI,CAAC,WAAW,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,EAAE;YACvC,IAAI,CAAC,WAAW,GAAG,OAAO,CAAC;QAC7B,CAAC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,GAAG;QACP,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACrB,IAAI,CAAC;gBACH,IAAI,KAAK,EAAE,MAAM,QAAQ,IAAI,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC;oBAC/D,IAAI,IAAI,CAAC,OAAO;wBAAE,MAAM;oBAExB,wEAAwE;oBACxE,wEAAwE;oBACxE,0EAA0E;oBAC1E,0DAA0D;oBAC1D,IAAI,SAAkB,CAAC;oBACvB,IAAI,CAAC;wBACH,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBAC/C,CAAC;oBAAC,MAAM,CAAC;wBACP,mEAAmE;wBACnE,SAAS,GAAG,IAAI,CAAC;oBACnB,CAAC;oBAED,IAAI,SAAS,KAAK,IAAI,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;wBACxD,MAAM,aAAa,GAAG,SAAoC,CAAC;wBAC3D,IAAI,aAAa,CAAC,eAAe,CAAC,KAAK,mBAAmB,EAAE,CAAC;4BAC3D,IAAI,CAAC;gCACH,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;gCAC3D,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;gCACtE,OAAO,CAAC,KAAK,CACX,6CAA6C,QAAQ,CAAC,UAAU,SAAS,QAAQ,CAAC,IAAI,GAAG;oCACzF,QAAQ,QAAQ,CAAC,YAAY,cAAc,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAChF,CAAC;gCAEF,uEAAuE;gCACvE,4EAA4E;gCAC5E,+EAA+E;gCAC/E,IACE,QAAQ,CAAC,UAAU,KAAK,mBAAmB;oCAC3C,QAAQ,CAAC,IAAI,KAAK,SAAS;oCAC3B,OAAO,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,QAAQ;oCAC7C,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAC/B,CAAC;oCACD,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,CAAC;oCACvD,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wCAC5D,MAAM,UAAU,GAAG,yBAAyB,EAAE,CAAC;wCAC/C,UAAU,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE;4CACjD,OAAO,CAAC,IAAI,CACV,8DAA8D,UAAU,KAAK,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CACxH,CAAC;wCACJ,CAAC,CAAC,CAAC;oCACL,CAAC;gCACH,CAAC;4BACH,CAAC;4BAAC,OAAO,GAAG,EAAE,CAAC;gCACb,OAAO,CAAC,KAAK,CACX,yDAAyD,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,GAAG,EAAE,CACtG,CAAC;gCACF,SAAS;4BACX,CAAC;wBACH,CAAC;wBACD,sFAAsF;oBACxF,CAAC;oBAED,8DAA8D;oBAC9D,yDAAyD;oBACzD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,SAAS,CAAC;oBAC7C,OAAO,CAAC,KAAK,CAAC,gCAAgC,IAAI,cAAc,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;oBACtG,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;wBACf,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE;4BACpB,IAAI,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,oBAAoB;4BAC3E,SAAS,EAAE,QAAQ,CAAC,SAAS;4BAC7B,OAAO,EAAE,IAAI;4BACb,MAAM,EAAE,aAAa,IAAI,WAAW;yBACrC,EAAE,kBAAkB,CAAC,CAAC;oBACzB,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,OAAO,CAAC,KAAK,CAAC,2BAA2B,EAAE,GAAG,CAAC,CAAC;gBAChD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACf,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE;wBACpB,IAAI,EAAE,YAAY;wBAClB,OAAO,EAAE,QAAQ;wBACjB,MAAM,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;qBACzD,EAAE,kBAAkB,CAAC,CAAC;gBACzB,CAAC;gBACD,MAAM,OAAO,GAAG,6BAA6B,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;gBACnE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;YACnF,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI;QACF,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;QACpB,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;IACvB,CAAC;CACF"}

package/dist/daemon/freeze-fence.d.ts

@@ -0,0 +1,42 @@
+/**
+ * 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 type { Harness, HarnessContext, Solution } from '../harnesses/types.js';
+export interface FreezeViolation {
+    taskId: string;
+    harnessName: string;
+    harnessVersion: string;
+    stateHashBefore: string;
+    stateHashAfter: string;
+    detectedAt: number;
+}
+export type FenceResult = {
+    ok: true;
+    output: Solution;
+    codeDigest: string;
+} | {
+    ok: false;
+    violation: FreezeViolation;
+};
+/**
+ * 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 declare function runHarnessWithFreezeFence(harness: Harness, ctx: HarnessContext): Promise<FenceResult>;

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;
+}>;