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

package/dist/solver-nets/registry.js

@@ -0,0 +1,218 @@
+import { resolveSolverPlugin } from '../plugins/index.js';
+import { canonicalHarnessName, CLAUDE_CODE_HARNESS } from '../harnesses/names.js';
+import { getSolverNetContract } from './contracts.js';
+export const JINN_NETWORK_TOOLS_PLUGIN = 'bundled:network-tools';
+export function taskRoleForOperatorRole(role) {
+    if (role === 'solving')
+        return 'restoration';
+    if (role === 'evaluating')
+        return 'evaluation';
+    return undefined;
+}
+/**
+ * Resolve a non-empty roles array from a config entry. Falls back to
+ * `['solving']` for shapes that omit `roles` entirely (e.g. a stub used by
+ * unit tests or a legacy migration helper that hasn't run through the zod
+ * preprocessor). Deduplicates to keep set semantics simple.
+ */
+function rolesFromConfig(net) {
+    if (net.roles && net.roles.length > 0)
+        return Array.from(new Set(net.roles));
+    return ['solving'];
+}
+function rolesFromJoinedConfig(net) {
+    const roles = [];
+    for (const role of net.roles) {
+        if (role === 'solver')
+            roles.push('solving');
+        if (role === 'evaluator')
+            roles.push('evaluating');
+    }
+    return Array.from(new Set(roles));
+}
+function defaultRuntimePluginsForSolverType(solverType) {
+    if (solverType === 'swe-rebench-v2.v1') {
+        return ['bundled:swe-rebench-v2-runtime'];
+    }
+    return [];
+}
+function defaultPluginDisabled(plugin, disabled) {
+    if (typeof plugin !== 'string') {
+        const name = plugin.name ?? plugin.source;
+        return disabled.includes(name) || disabled.includes(plugin.source);
+    }
+    const bare = plugin.startsWith('bundled:') ? plugin.slice('bundled:'.length) : plugin;
+    return disabled.includes(plugin) || disabled.includes(bare);
+}
+function evaluatorHarnessNameForContract(contract) {
+    const implementation = contract.evaluationFunction.implementation;
+    if (implementation.includes('swe-rebench-v2-evaluator'))
+        return 'swe-rebench-v2-evaluator';
+    if (implementation.includes('prediction-v1-evaluator'))
+        return 'prediction-v1-evaluator';
+    return undefined;
+}
+function runtimePluginFrom(plugin, provenance) {
+    return {
+        name: plugin.name,
+        version: plugin.version,
+        source: plugin.source,
+        sourceKind: plugin.sourceKind,
+        solverType: plugin.solverType,
+        supports: plugin.supports,
+        root: plugin.root,
+        manifestPath: plugin.manifestPath,
+        sha256: plugin.sha256,
+        ...(plugin.cid ? { cid: plugin.cid } : {}),
+        provenance,
+    };
+}
+/**
+ * A runtime plugin (e.g. Network Tools) declares `supports: ['jinn.runtime']` —
+ * it isn't tied to a SolverType, so the supports-includes-solverType check
+ * does not apply to it. The manifest validator enforces that no plugin mixes
+ * 'jinn.runtime' with SolverType identifiers, so this check cannot be abused
+ * by a SolverType plugin claiming runtime status.
+ */
+function isRuntimePlugin(plugin) {
+    return plugin.supports.includes('jinn.runtime');
+}
+export class SolverNetRegistry {
+    nets = new Map();
+    register(net) {
+        let key = net.name;
+        let suffix = 2;
+        while (this.nets.has(key)) {
+            key = `${net.name}#${suffix}`;
+            suffix += 1;
+        }
+        this.nets.set(key, net);
+    }
+    get(name) {
+        return this.nets.get(name);
+    }
+    forSolverType(solverType, taskRole) {
+        return [...this.nets.values()].find((net) => net.enabled &&
+            net.solverType === solverType &&
+            (taskRole === undefined ||
+                net.roles.some((r) => {
+                    const tr = taskRoleForOperatorRole(r);
+                    return tr !== undefined && tr === taskRole;
+                })));
+    }
+    list() {
+        return [...this.nets.values()].sort((a, b) => a.name.localeCompare(b.name));
+    }
+    harnessSelections() {
+        const out = {};
+        for (const net of this.nets.values()) {
+            if (net.enabled && out[net.solverType] === undefined)
+                out[net.solverType] = net.harness;
+        }
+        return out;
+    }
+    claudeModelSelections() {
+        const out = {};
+        for (const net of this.nets.values()) {
+            if (net.enabled && net.model && out[net.solverType] === undefined)
+                out[net.solverType] = net.model;
+        }
+        return out;
+    }
+}
+/**
+ * Parse the legacy operator-config `solverType` string (`'<id>.<version>'`)
+ * into a `{ id, version }` ref so we can call the contract registry's
+ * non-deprecated lookup signature. The operator config field itself is
+ * carried forward for now (Task 8 of
+ * `spec/2026-05-05-solvernet-creation-and-launch.md` — internal dispatch
+ * keeps `solverType` as a routing alias; Task 30 removes it).
+ */
+function parseSolverTypeRef(solverType) {
+    const dot = solverType.lastIndexOf('.');
+    if (dot <= 0 || dot === solverType.length - 1)
+        return undefined;
+    return { id: solverType.slice(0, dot), version: solverType.slice(dot + 1) };
+}
+export async function loadSolverNets(config) {
+    const registry = new SolverNetRegistry();
+    async function registerFromConfig(name, net) {
+        if (!net.enabled)
+            return;
+        const ref = parseSolverTypeRef(net.solverType);
+        const contract = ref ? getSolverNetContract(ref) : undefined;
+        if (!contract) {
+            throw new Error(`SolverNet ${name} has no registered SolverNetContract for ${net.solverType}`);
+        }
+        const runtimePlugins = [];
+        const seenSources = new Set();
+        const seenNames = new Set();
+        async function addRuntimePlugin(entry, provenance) {
+            const plugin = await resolveSolverPlugin(entry);
+            if (seenSources.has(plugin.source) || seenNames.has(plugin.name))
+                return;
+            if (!isRuntimePlugin(plugin) && !plugin.supports.includes(net.solverType)) {
+                throw new Error(`SolverNet ${name} runtime plugin ${plugin.name} solverType mismatch: config=${net.solverType} plugin supports=${plugin.supports.join(',')}`);
+            }
+            runtimePlugins.push(runtimePluginFrom(plugin, provenance));
+            seenSources.add(plugin.source);
+            seenNames.add(plugin.name);
+        }
+        // Per `spec/2026-05-05-solvernet-creation-and-launch.md` §8/§9, runtime
+        // plugins are operator-configured — the SolverNet contract no longer
+        // carries `defaultRuntimePlugins`. Network Tools is the one runtime-
+        // scoped default (`supports: ['jinn.runtime']`) auto-loaded so every
+        // operator's daemon can talk to the Jinn MCP surface. SolverType-bound
+        // plugins (e.g. the bundled prediction plugin) flow through
+        // `net.plugins`; the launcher seeds quick-start defaults into operator
+        // config rather than binding them to the contract.
+        for (const entry of [JINN_NETWORK_TOOLS_PLUGIN]) {
+            await addRuntimePlugin(entry, 'default');
+        }
+        for (const entry of net.plugins ?? []) {
+            await addRuntimePlugin(entry, 'configured');
+        }
+        registry.register({
+            name,
+            enabled: net.enabled,
+            solverType: net.solverType,
+            roles: rolesFromConfig(net),
+            contract,
+            harness: canonicalHarnessName(net.harness),
+            ...(net.model ? { model: net.model } : {}),
+            runtimePlugins,
+            taskGenerator: net.taskGenerator,
+        });
+    }
+    for (const [cid, joined] of Object.entries(config.joinedSolverNets ?? {})) {
+        if (!joined.contract)
+            continue;
+        const solverType = `${joined.contract.id}.${joined.contract.version}`;
+        const contract = getSolverNetContract(joined.contract);
+        if (!contract)
+            continue;
+        const roles = rolesFromJoinedConfig(joined);
+        if (roles.length === 0)
+            continue;
+        const disabledDefaults = joined.disabledDefaultPlugins ?? [];
+        const defaultPlugins = defaultRuntimePluginsForSolverType(solverType)
+            .filter((plugin) => !defaultPluginDisabled(plugin, disabledDefaults));
+        const harness = joined.roles.includes('solver')
+            ? joined.harness ?? CLAUDE_CODE_HARNESS
+            : evaluatorHarnessNameForContract(contract) ?? joined.harness ?? CLAUDE_CODE_HARNESS;
+        await registerFromConfig(joined.name ?? cid, {
+            enabled: true,
+            solverType,
+            roles,
+            harness,
+            ...(joined.model ? { model: joined.model } : {}),
+            plugins: [...defaultPlugins, ...(joined.plugins ?? [])],
+            taskGenerator: { enabled: false },
+        });
+    }
+    for (const [name, net] of Object.entries(config.solverNets)) {
+        await registerFromConfig(name, net);
+    }
+    return registry;
+}
+//# sourceMappingURL=registry.js.map

package/dist/solver-nets/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/solver-nets/registry.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAG1D,OAAO,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,EAAE,oBAAoB,EAA0B,MAAM,gBAAgB,CAAC;AAE9E,MAAM,CAAC,MAAM,yBAAyB,GAAG,uBAAgC,CAAC;AA6C1E,MAAM,UAAU,uBAAuB,CAAC,IAA2B;IACjE,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,aAAa,CAAC;IAC7C,IAAI,IAAI,KAAK,YAAY;QAAE,OAAO,YAAY,CAAC;IAC/C,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CAAC,GAAoB;IAC3C,IAAI,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7E,OAAO,CAAC,SAAS,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,qBAAqB,CAAC,GAA0B;IACvD,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,IAAI,KAAK,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC7C,IAAI,IAAI,KAAK,WAAW;YAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,kCAAkC,CAAC,UAAkB;IAC5D,IAAI,UAAU,KAAK,mBAAmB,EAAE,CAAC;QACvC,OAAO,CAAC,gCAAgC,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAyB,EAAE,QAAkB;IAC1E,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC;QAC1C,OAAO,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACrE,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACtF,OAAO,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,+BAA+B,CAAC,QAA2B;IAClE,MAAM,cAAc,GAAG,QAAQ,CAAC,kBAAkB,CAAC,cAAc,CAAC;IAClE,IAAI,cAAc,CAAC,QAAQ,CAAC,0BAA0B,CAAC;QAAE,OAAO,0BAA0B,CAAC;IAC3F,IAAI,cAAc,CAAC,QAAQ,CAAC,yBAAyB,CAAC;QAAE,OAAO,yBAAyB,CAAC;IACzF,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAuD,EACvD,UAAuC;IAEvC,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1C,UAAU;KACX,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,eAAe,CAAC,MAAuD;IAC9E,OAAO,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,OAAO,iBAAiB;IACX,IAAI,GAAG,IAAI,GAAG,EAA2B,CAAC;IAE3D,QAAQ,CAAC,GAAoB;QAC3B,IAAI,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC;QACnB,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,GAAG,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;YAC9B,MAAM,IAAI,CAAC,CAAC;QACd,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC1B,CAAC;IAED,GAAG,CAAC,IAAY;QACd,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAED,aAAa,CAAC,UAAkB,EAAE,QAA4B;QAC5D,OAAO,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAC1C,GAAG,CAAC,OAAO;YACX,GAAG,CAAC,UAAU,KAAK,UAAU;YAC7B,CAAC,QAAQ,KAAK,SAAS;gBACrB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;oBACnB,MAAM,EAAE,GAAG,uBAAuB,CAAC,CAAC,CAAC,CAAC;oBACtC,OAAO,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,QAAQ,CAAC;gBAC7C,CAAC,CAAC,CAAC,CACN,CAAC;IACJ,CAAC;IAED,IAAI;QACF,OAAO,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9E,CAAC;IAED,iBAAiB;QACf,MAAM,GAAG,GAA2B,EAAE,CAAC;QACvC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;YACrC,IAAI,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,SAAS;gBAAE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;QAC1F,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,qBAAqB;QACnB,MAAM,GAAG,GAA2B,EAAE,CAAC;QACvC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;YACrC,IAAI,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,SAAS;gBAAE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC;QACrG,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF;AAED;;;;;;;GAOG;AACH,SAAS,kBAAkB,CAAC,UAAkB;IAC5C,MAAM,GAAG,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,KAAK,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAChE,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,MAGC;IAED,MAAM,QAAQ,GAAG,IAAI,iBAAiB,EAAE,CAAC;IACzC,KAAK,UAAU,kBAAkB,CAAC,IAAY,EAAE,GAAoB;QAClE,IAAI,CAAC,GAAG,CAAC,OAAO;YAAE,OAAO;QACzB,MAAM,GAAG,GAAG,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,aAAa,IAAI,4CAA4C,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;QACjG,CAAC;QACD,MAAM,cAAc,GAAoB,EAAE,CAAC;QAC3C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QAEpC,KAAK,UAAU,gBAAgB,CAC7B,KAAwB,EACxB,UAAuC;YAEvC,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,KAAK,CAAC,CAAC;YAChD,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,OAAO;YACzE,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC1E,MAAM,IAAI,KAAK,CACb,aAAa,IAAI,mBAAmB,MAAM,CAAC,IAAI,gCAAgC,GAAG,CAAC,UAAU,oBAAoB,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAC7I,CAAC;YACJ,CAAC;YACD,cAAc,CAAC,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;YAC3D,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC/B,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QAED,wEAAwE;QACxE,qEAAqE;QACrE,qEAAqE;QACrE,qEAAqE;QACrE,uEAAuE;QACvE,4DAA4D;QAC5D,uEAAuE;QACvE,mDAAmD;QACnD,KAAK,MAAM,KAAK,IAAI,CAAC,yBAAyB,CAAC,EAAE,CAAC;YAChD,MAAM,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC3C,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACtC,MAAM,gBAAgB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAC9C,CAAC;QACD,QAAQ,CAAC,QAAQ,CAAC;YAChB,IAAI;YACJ,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,KAAK,EAAE,eAAe,CAAC,GAAG,CAAC;YAC3B,QAAQ;YACR,OAAO,EAAE,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC;YAC1C,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1C,cAAc;YACd,aAAa,EAAE,GAAG,CAAC,aAAa;SACjC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,gBAAgB,IAAI,EAAE,CAAC,EAAE,CAAC;QAC1E,IAAI,CAAC,MAAM,CAAC,QAAQ;YAAE,SAAS;QAC/B,MAAM,UAAU,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtE,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACvD,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,KAAK,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;QAC5C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACjC,MAAM,gBAAgB,GAAG,MAAM,CAAC,sBAAsB,IAAI,EAAE,CAAC;QAC7D,MAAM,cAAc,GAAG,kCAAkC,CAAC,UAAU,CAAC;aAClE,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,qBAAqB,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC;QACxE,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAC7C,CAAC,CAAC,MAAM,CAAC,OAAO,IAAI,mBAAmB;YACvC,CAAC,CAAC,+BAA+B,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,IAAI,mBAAmB,CAAC;QACvF,MAAM,kBAAkB,CAAC,MAAM,CAAC,IAAI,IAAI,GAAG,EAAE;YAC3C,OAAO,EAAE,IAAI;YACb,UAAU;YACV,KAAK;YACL,OAAO;YACP,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChD,OAAO,EAAE,CAAC,GAAG,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YACvD,aAAa,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;SAClC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5D,MAAM,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/solver-types/_session-derived-distill.d.ts

@@ -0,0 +1,28 @@
+import type { SignedEnvelope } from '../types/envelope.js';
+import type { Task } from '../types/task.js';
+export interface SessionDerivedDraft {
+    problemStatement: string;
+    expectedArtifacts?: Record<string, unknown>;
+    signalHints?: string[];
+}
+export interface SessionDerivedDistillInput {
+    envelope: SignedEnvelope;
+    sourceCaptureCid: string;
+    trajectoryText: string;
+    model: string;
+    solverNetManifestCid?: string;
+    now?: Date;
+    distill: (input: {
+        prompt: string;
+        envelope: SignedEnvelope;
+        trajectoryText: string;
+    }) => Promise<SessionDerivedDraft[]>;
+}
+export interface SessionDerivedDistillResult {
+    accepted: Task[];
+    rejected: Array<{
+        reason: string;
+        draft: SessionDerivedDraft;
+    }>;
+}
+export declare function distillCaptureToTasks(input: SessionDerivedDistillInput): Promise<SessionDerivedDistillResult>;

package/dist/solver-types/_session-derived-distill.js

@@ -0,0 +1,52 @@
+import { SESSION_DERIVED_DISTILL_PROMPT_V1, SESSION_DERIVED_DISTILL_PROMPT_V1_SHA256, } from '../vendor/@jinn-network/sdk/dist/index.js';
+export async function distillCaptureToTasks(input) {
+    const drafts = await input.distill({
+        prompt: SESSION_DERIVED_DISTILL_PROMPT_V1,
+        envelope: input.envelope,
+        trajectoryText: input.trajectoryText,
+    });
+    const accepted = [];
+    const rejected = [];
+    const now = input.now ?? new Date();
+    const startTs = Math.floor(now.getTime() / 1000);
+    for (const [index, draft] of drafts.entries()) {
+        const problem = draft.problemStatement.trim();
+        if (problem.length < 20) {
+            rejected.push({ reason: 'problem_statement_too_short', draft });
+            continue;
+        }
+        const id = `session-derived-${input.sourceCaptureCid.slice(0, 16)}-${index + 1}`;
+        accepted.push({
+            id,
+            description: problem,
+            solverType: 'session-derived.v1',
+            contractId: 'session-derived',
+            contractVersion: 'v1',
+            solverNetManifestCid: input.solverNetManifestCid,
+            window: { startTs, endTs: startTs + 4 * 60 * 60 },
+            claimPolicy: {
+                mode: 'parallel',
+                maxClaims: 50,
+                maxClaimsPerOperator: 5,
+                claimLeaseTtlSeconds: 4 * 60 * 60,
+            },
+            spec: {
+                schemaVersion: 'session-derived-task.v1',
+                sourceCaptureCid: input.sourceCaptureCid,
+                sourceCaptureSha256: input.envelope.signature.hash.replace(/^0x/, '').padStart(64, '0').slice(0, 64),
+                repo: input.envelope.sessionProvenance?.repo,
+                problemStatement: problem,
+                expectedArtifacts: draft.expectedArtifacts ?? {},
+                signalHints: draft.signalHints ?? [],
+                distillation: {
+                    promptSha256: SESSION_DERIVED_DISTILL_PROMPT_V1_SHA256,
+                    model: input.model,
+                    distilledAt: now.toISOString(),
+                },
+            },
+            eligibility: { sourceCaptureCid: input.sourceCaptureCid },
+        });
+    }
+    return { accepted, rejected };
+}
+//# sourceMappingURL=_session-derived-distill.js.map

package/dist/solver-types/_session-derived-distill.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"_session-derived-distill.js","sourceRoot":"","sources":["../../src/solver-types/_session-derived-distill.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iCAAiC,EACjC,wCAAwC,GACzC,MAAM,mBAAmB,CAAC;AA6B3B,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,KAAiC;IAC3E,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;QACjC,MAAM,EAAE,iCAAiC;QACzC,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,cAAc,EAAE,KAAK,CAAC,cAAc;KACrC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAW,EAAE,CAAC;IAC5B,MAAM,QAAQ,GAA0D,EAAE,CAAC;IAC3E,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAEjD,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9C,MAAM,OAAO,GAAG,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC;QAC9C,IAAI,OAAO,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,6BAA6B,EAAE,KAAK,EAAE,CAAC,CAAC;YAChE,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,mBAAmB,KAAK,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACjF,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE;YACF,WAAW,EAAE,OAAO;YACpB,UAAU,EAAE,oBAAoB;YAChC,UAAU,EAAE,iBAAiB;YAC7B,eAAe,EAAE,IAAI;YACrB,oBAAoB,EAAE,KAAK,CAAC,oBAAoB;YAChD,MAAM,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;YACjD,WAAW,EAAE;gBACX,IAAI,EAAE,UAAU;gBAChB,SAAS,EAAE,EAAE;gBACb,oBAAoB,EAAE,CAAC;gBACvB,oBAAoB,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE;aAClC;YACD,IAAI,EAAE;gBACJ,aAAa,EAAE,yBAAyB;gBACxC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;gBACxC,mBAAmB,EAAE,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;gBACpG,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,iBAAiB,EAAE,IAAI;gBAC5C,gBAAgB,EAAE,OAAO;gBACzB,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,IAAI,EAAE;gBAChD,WAAW,EAAE,KAAK,CAAC,WAAW,IAAI,EAAE;gBACpC,YAAY,EAAE;oBACZ,YAAY,EAAE,wCAAwC;oBACtD,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE;iBAC/B;aACF;YACD,WAAW,EAAE,EAAE,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,EAAE;SAC1D,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC"}

package/dist/solver-types/_session-derived-pool.d.ts

@@ -0,0 +1,10 @@
+import type { Corpus, EnvelopeRef, ManifestPreview } from '../corpus/index.js';
+import type { SignedEnvelope } from '../types/envelope.js';
+import type { SessionDerivedState } from './_session-derived-state.js';
+export interface SessionDerivedCaptureCandidate {
+    ref: EnvelopeRef;
+    preview: ManifestPreview;
+    dedupKey: string;
+}
+export declare function captureDedupKey(envelope: SignedEnvelope, fallbackCid: string): string;
+export declare function pollSessionDerivedCaptures(corpus: Pick<Corpus, 'query' | 'fetchManifest'>, state: SessionDerivedState, limit?: number): Promise<SessionDerivedCaptureCandidate[]>;

package/dist/solver-types/_session-derived-pool.js

@@ -0,0 +1,27 @@
+export function captureDedupKey(envelope, fallbackCid) {
+    const provenance = envelope.sessionProvenance;
+    const repo = provenance?.repo;
+    if (provenance?.sessionId && repo?.commitHash) {
+        return `${repo.remoteUrl ?? 'repo:unknown'}@${repo.commitHash}:${provenance.sessionId}`;
+    }
+    return envelope.trajectory?.sha256 ?? envelope.signature.hash ?? fallbackCid;
+}
+export async function pollSessionDerivedCaptures(corpus, state, limit = 25) {
+    const refs = await corpus.query({ solverType: 'capture', evidenceTier: 'self-signed', limit });
+    const candidates = [];
+    const seen = new Set();
+    for (const ref of refs) {
+        if (state.hasProcessed(ref.manifestCid))
+            continue;
+        const preview = await corpus.fetchManifest(ref);
+        if (preview.envelope.role !== 'capture')
+            continue;
+        const dedupKey = captureDedupKey(preview.envelope, ref.manifestCid);
+        if (seen.has(dedupKey))
+            continue;
+        seen.add(dedupKey);
+        candidates.push({ ref, preview, dedupKey });
+    }
+    return candidates;
+}
+//# sourceMappingURL=_session-derived-pool.js.map

package/dist/solver-types/_session-derived-pool.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"_session-derived-pool.js","sourceRoot":"","sources":["../../src/solver-types/_session-derived-pool.ts"],"names":[],"mappings":"AAUA,MAAM,UAAU,eAAe,CAAC,QAAwB,EAAE,WAAmB;IAC3E,MAAM,UAAU,GAAG,QAAQ,CAAC,iBAAiB,CAAC;IAC9C,MAAM,IAAI,GAAG,UAAU,EAAE,IAAI,CAAC;IAC9B,IAAI,UAAU,EAAE,SAAS,IAAI,IAAI,EAAE,UAAU,EAAE,CAAC;QAC9C,OAAO,GAAG,IAAI,CAAC,SAAS,IAAI,cAAc,IAAI,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;IAC1F,CAAC;IACD,OAAO,QAAQ,CAAC,UAAU,EAAE,MAAM,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,IAAI,WAAW,CAAC;AAC/E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,MAA+C,EAC/C,KAA0B,EAC1B,KAAK,GAAG,EAAE;IAEV,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/F,MAAM,UAAU,GAAqC,EAAE,CAAC;IACxD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC;YAAE,SAAS;QAClD,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QAChD,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QAClD,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;QACpE,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS;QACjC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACnB,UAAU,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC"}

package/dist/solver-types/_session-derived-state.d.ts

@@ -0,0 +1,17 @@
+export interface SessionDerivedStateSnapshot {
+    processedCaptureCids: string[];
+    rejected: Array<{
+        captureCid: string;
+        reason: string;
+        at: string;
+    }>;
+}
+export declare class SessionDerivedState {
+    private readonly processed;
+    private readonly rejectedRows;
+    constructor(snapshot?: Partial<SessionDerivedStateSnapshot>);
+    hasProcessed(captureCid: string): boolean;
+    markProcessed(captureCid: string): void;
+    markRejected(captureCid: string, reason: string, at?: string): void;
+    snapshot(): SessionDerivedStateSnapshot;
+}

package/dist/solver-types/_session-derived-state.js

@@ -0,0 +1,25 @@
+export class SessionDerivedState {
+    processed = new Set();
+    rejectedRows = [];
+    constructor(snapshot = {}) {
+        for (const cid of snapshot.processedCaptureCids ?? [])
+            this.processed.add(cid);
+        this.rejectedRows.push(...(snapshot.rejected ?? []));
+    }
+    hasProcessed(captureCid) {
+        return this.processed.has(captureCid);
+    }
+    markProcessed(captureCid) {
+        this.processed.add(captureCid);
+    }
+    markRejected(captureCid, reason, at = new Date().toISOString()) {
+        this.rejectedRows.push({ captureCid, reason, at });
+    }
+    snapshot() {
+        return {
+            processedCaptureCids: Array.from(this.processed).sort(),
+            rejected: [...this.rejectedRows],
+        };
+    }
+}
+//# sourceMappingURL=_session-derived-state.js.map

package/dist/solver-types/_session-derived-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"_session-derived-state.js","sourceRoot":"","sources":["../../src/solver-types/_session-derived-state.ts"],"names":[],"mappings":"AAKA,MAAM,OAAO,mBAAmB;IACb,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,YAAY,GAA8D,EAAE,CAAC;IAE9F,YAAY,WAAiD,EAAE;QAC7D,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,oBAAoB,IAAI,EAAE;YAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/E,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC;IACvD,CAAC;IAED,YAAY,CAAC,UAAkB;QAC7B,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACxC,CAAC;IAED,aAAa,CAAC,UAAkB;QAC9B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACjC,CAAC;IAED,YAAY,CAAC,UAAkB,EAAE,MAAc,EAAE,EAAE,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAC5E,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IACrD,CAAC;IAED,QAAQ;QACN,OAAO;YACL,oBAAoB,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE;YACvD,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC;SACjC,CAAC;IACJ,CAAC;CACF"}

package/dist/solver-types/_swe-rebench-v2-aggregate.d.ts

@@ -0,0 +1,31 @@
+/**
+ * SWE-rebench v2 aggregation function. Returns a structured network-level
+ * result over a rolling window of resolved Verdicts.
+ *
+ * Spec: docs/superpowers/specs/2026-05-06-agent-harness-solvernet-design.md §3.5
+ * DR: log/decisions/2026-05-06-aggregation-multi-winrate.md
+ */
+export interface AggregateInput {
+    score: 0 | 1;
+    language: string;
+    complexity: number;
+}
+export interface NetworkResult {
+    schemaVersion: 'swe-rebench-v2.network.v1';
+    windowStart: string;
+    windowEnd: string;
+    verdictCount: number;
+    meanResolved: number;
+    complexityWeighted: number;
+    byLanguage: Record<string, {
+        resolved: number;
+        n: number;
+    }>;
+    frontierResolved: number;
+    parityTripRate: number;
+}
+export declare function computeNetworkResult(args: {
+    verdicts: AggregateInput[];
+    windowStart: string;
+    windowEnd: string;
+}): NetworkResult;

package/dist/solver-types/_swe-rebench-v2-aggregate.js

@@ -0,0 +1,49 @@
+/**
+ * SWE-rebench v2 aggregation function. Returns a structured network-level
+ * result over a rolling window of resolved Verdicts.
+ *
+ * Spec: docs/superpowers/specs/2026-05-06-agent-harness-solvernet-design.md §3.5
+ * DR: log/decisions/2026-05-06-aggregation-multi-winrate.md
+ */
+export function computeNetworkResult(args) {
+    const v = args.verdicts;
+    const n = v.length;
+    if (n === 0) {
+        return {
+            schemaVersion: 'swe-rebench-v2.network.v1',
+            windowStart: args.windowStart,
+            windowEnd: args.windowEnd,
+            verdictCount: 0,
+            meanResolved: 0, complexityWeighted: 0,
+            byLanguage: {}, frontierResolved: 0, parityTripRate: 0,
+        };
+    }
+    const meanResolved = v.reduce((s, x) => s + x.score, 0) / n;
+    const complexitySum = v.reduce((s, x) => s + x.complexity, 0);
+    const complexityWeighted = complexitySum > 0
+        ? v.reduce((s, x) => s + x.score * x.complexity, 0) / complexitySum
+        : 0;
+    const byLanguage = {};
+    for (const x of v) {
+        if (!byLanguage[x.language])
+            byLanguage[x.language] = { resolved: 0, n: 0 };
+        byLanguage[x.language].resolved += x.score;
+        byLanguage[x.language].n += 1;
+    }
+    for (const lang of Object.keys(byLanguage)) {
+        byLanguage[lang].resolved /= byLanguage[lang].n;
+    }
+    // Frontier: assume v already includes only top-K Solutions per task; for
+    // simplicity at v1 frontier = max of each (instance_id, score)
+    const frontierResolved = v.reduce((m, x) => Math.max(m, x.score), 0);
+    // Parity trip rate: % verdicts with score = 1
+    const parityTripRate = v.filter((x) => x.score === 1).length / n;
+    return {
+        schemaVersion: 'swe-rebench-v2.network.v1',
+        windowStart: args.windowStart, windowEnd: args.windowEnd,
+        verdictCount: n,
+        meanResolved, complexityWeighted, byLanguage,
+        frontierResolved, parityTripRate,
+    };
+}
+//# sourceMappingURL=_swe-rebench-v2-aggregate.js.map

package/dist/solver-types/_swe-rebench-v2-aggregate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"_swe-rebench-v2-aggregate.js","sourceRoot":"","sources":["../../src/solver-types/_swe-rebench-v2-aggregate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAqBH,MAAM,UAAU,oBAAoB,CAAC,IAIpC;IACC,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;IACxB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACnB,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACZ,OAAO;YACL,aAAa,EAAE,2BAA2B;YAC1C,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,YAAY,EAAE,CAAC;YACf,YAAY,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC;YACtC,UAAU,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC;SACvD,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IAE5D,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAC9D,MAAM,kBAAkB,GAAG,aAAa,GAAG,CAAC;QAC1C,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,GAAG,aAAa;QACnE,CAAC,CAAC,CAAC,CAAC;IAEN,MAAM,UAAU,GAAoD,EAAE,CAAC;IACvE,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC;YAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QAC5E,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC;QAC3C,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3C,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;IAED,yEAAyE;IACzE,+DAA+D;IAC/D,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAErE,8CAA8C;IAC9C,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IAEjE,OAAO;QACL,aAAa,EAAE,2BAA2B;QAC1C,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS;QACxD,YAAY,EAAE,CAAC;QACf,YAAY,EAAE,kBAAkB,EAAE,UAAU;QAC5C,gBAAgB,EAAE,cAAc;KACjC,CAAC;AACJ,CAAC"}

package/dist/solver-types/_swe-rebench-v2-escrow.d.ts

@@ -0,0 +1,27 @@
+/**
+ * R2 task-complexity-weighted escrow for swe-rebench-v2 Tasks.
+ *
+ * escrowWei = base × clamp(1 + α × normLoc + β × normFiles + γ × normTests, [1, MAX])
+ *
+ * normalisers turn raw counts into [0, 1]-ish ranges; α, β, γ are weights
+ * declared in the launched-instance manifest.
+ *
+ * Spec: docs/superpowers/specs/2026-05-06-agent-harness-solvernet-design.md §8
+ * DR: log/decisions/2026-05-06-reward-function-complexity-weighted.md (R2)
+ */
+export interface EscrowParams {
+    base_escrow_wei: bigint;
+    alpha: number;
+    beta: number;
+    gamma: number;
+    loc_normalizer: number;
+    files_normalizer: number;
+    tests_normalizer: number;
+}
+export interface EscrowInputs {
+    loc: number;
+    files: number;
+    tests: number;
+    params: EscrowParams;
+}
+export declare function computeEscrowWei(input: EscrowInputs): bigint;

package/dist/solver-types/_swe-rebench-v2-escrow.js

@@ -0,0 +1,26 @@
+/**
+ * R2 task-complexity-weighted escrow for swe-rebench-v2 Tasks.
+ *
+ * escrowWei = base × clamp(1 + α × normLoc + β × normFiles + γ × normTests, [1, MAX])
+ *
+ * normalisers turn raw counts into [0, 1]-ish ranges; α, β, γ are weights
+ * declared in the launched-instance manifest.
+ *
+ * Spec: docs/superpowers/specs/2026-05-06-agent-harness-solvernet-design.md §8
+ * DR: log/decisions/2026-05-06-reward-function-complexity-weighted.md (R2)
+ */
+const MAX_MULTIPLIER = 5n;
+export function computeEscrowWei(input) {
+    const { loc, files, tests, params } = input;
+    const normLoc = loc / params.loc_normalizer;
+    const normFiles = files / params.files_normalizer;
+    const normTests = tests / params.tests_normalizer;
+    const multiplier = 1 + params.alpha * normLoc + params.beta * normFiles + params.gamma * normTests;
+    // 18-decimal scaled multiplier
+    const scaled = BigInt(Math.round(multiplier * 1e6));
+    const result = (params.base_escrow_wei * scaled) / 1000000n;
+    // Cap at MAX_MULTIPLIER × base
+    const cap = MAX_MULTIPLIER * params.base_escrow_wei;
+    return result > cap ? cap : result;
+}
+//# sourceMappingURL=_swe-rebench-v2-escrow.js.map

package/dist/solver-types/_swe-rebench-v2-escrow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"_swe-rebench-v2-escrow.js","sourceRoot":"","sources":["../../src/solver-types/_swe-rebench-v2-escrow.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAmBH,MAAM,cAAc,GAAG,EAAE,CAAC;AAE1B,MAAM,UAAU,gBAAgB,CAAC,KAAmB;IAClD,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAC5C,MAAM,OAAO,GAAG,GAAG,GAAG,MAAM,CAAC,cAAc,CAAC;IAC5C,MAAM,SAAS,GAAG,KAAK,GAAG,MAAM,CAAC,gBAAgB,CAAC;IAClD,MAAM,SAAS,GAAG,KAAK,GAAG,MAAM,CAAC,gBAAgB,CAAC;IAClD,MAAM,UAAU,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,GAAG,OAAO,GAAG,MAAM,CAAC,IAAI,GAAG,SAAS,GAAG,MAAM,CAAC,KAAK,GAAG,SAAS,CAAC;IACnG,+BAA+B;IAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,eAAe,GAAG,MAAM,CAAC,GAAG,QAAU,CAAC;IAC9D,+BAA+B;IAC/B,MAAM,GAAG,GAAG,cAAc,GAAG,MAAM,CAAC,eAAe,CAAC;IACpD,OAAO,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;AACrC,CAAC"}

package/dist/solver-types/_swe-rebench-v2-pool.d.ts

@@ -0,0 +1,51 @@
+/**
+ * Historical pool builder for the swe-rebench-v2 task generator. Pulls
+ * monthly partitions from `nebius/SWE-rebench-leaderboard` via the HF
+ * datasets-server API and aggregates them into a deduplicated task pool.
+ *
+ * Spec: docs/superpowers/specs/2026-05-06-agent-harness-solvernet-design.md §3.6
+ * DR: log/decisions/2026-05-06-task-generator-success-cap.md
+ */
+export interface PoolTask {
+    instance_id: string;
+    hf_dataset: string;
+    hf_split: string;
+    repo?: string;
+    base_commit?: string;
+    language?: string;
+    problem_statement?: string;
+    interface?: string;
+    patch?: string;
+    test_patch?: string;
+    meta?: {
+        num_modified_files?: number;
+        num_modified_lines?: number;
+    };
+}
+/** Filter dataset split names to only the YYYY_MM monthly partitions. */
+export declare function listMonthlyPartitions(splits: string[]): string[];
+export interface BuildPoolArgs {
+    months: string[];
+    fetchSplit: (split: string) => Promise<Array<{
+        instance_id: string;
+        repo?: string;
+        base_commit?: string;
+        language?: string;
+        problem_statement?: string;
+        interface?: string;
+        patch?: string;
+        test_patch?: string;
+        meta?: any;
+    }>>;
+}
+/**
+ * Build a deduplicated historical pool. Tasks appearing in multiple
+ * partitions are kept only from the earliest partition (first-seen wins).
+ */
+export declare function buildHistoricalPool(args: BuildPoolArgs): Promise<PoolTask[]>;
+/** HTTP fetcher for HF datasets-server rows API. Use as fetchSplit in production. */
+export declare function fetchHfSplit(args: {
+    dataset: string;
+    split: string;
+    limit?: number;
+}): Promise<any[]>;