@jinn-network/client 0.1.8 → 0.1.9-canary.023faefb

package/dist/learner/verification-gate.d.ts

@@ -0,0 +1,53 @@
+/**
+ * Verification gate for knowledge adoption (#1396, part of #1392).
+ *
+ * Classifies a `getCodeDigestRewards` row (#764) into
+ * `verified | suggested | insufficient` so the #1393 loader can prefer
+ * network-verified artifacts and only ever *suggest* unverified ones — never
+ * auto-adopt them.
+ *
+ * `minPassRate` 0.5 = a strict majority of verdicted attempts passed.
+ */
+import type { CodeDigestRewardRow, DiscoveryAPI } from '../discovery/types.js';
+export interface VerificationPolicy {
+    /** Min in-window verdicted attempts before a codeDigest can be 'verified'. Default 5. */
+    minVerifiedAttempts: number;
+    /** Min pass rate to count as 'verified'. Default 0.5 = a strict majority of verdicted attempts passed. */
+    minPassRate: number;
+}
+export declare const DEFAULT_VERIFICATION_POLICY: VerificationPolicy;
+/** Merge a partial policy over the defaults (mirrors `resolveRevertPolicy`). */
+export declare function resolveVerificationPolicy(override?: Partial<VerificationPolicy>): VerificationPolicy;
+export type VerificationStatus = 'verified' | 'suggested' | 'insufficient';
+export type VerificationReason = 'passed_threshold' | 'below_pass_rate' | 'below_min_sample' | 'no_verdicts';
+export interface VerificationVerdict {
+    codeDigest: string;
+    status: VerificationStatus;
+    /** Evidence the decision rested on, copied from the #764 verdict↔codeDigest join. */
+    evidence: {
+        attempts: number;
+        passes: number;
+        passRate: number;
+        avgScore: number;
+    };
+    reason: VerificationReason;
+}
+/**
+ * Pure classifier: maps a single `getCodeDigestRewards` row (or its absence) to
+ * a verification verdict. `verified` requires ≥ `minVerifiedAttempts` in-window
+ * verdicts AND `passRate ≥ minPassRate`. Verdicts present but under either bar →
+ * `suggested`. No indexed verdicts (`row === undefined`) → `insufficient`.
+ */
+export declare function classifyVerification(row: CodeDigestRewardRow | undefined, policy?: Partial<VerificationPolicy>): VerificationVerdict;
+/**
+ * Async convenience over the existing #764 join. Queries verdicts for one
+ * `codeDigest` (optionally scoped to a SolverNet / capped to a recent window)
+ * and classifies the single row. Returns `insufficient` on a degraded indexer
+ * (`DiscoveryUnavailableError`) rather than throwing, so the loader's
+ * "never blocks the claim/solve path" guarantee holds for free.
+ */
+export declare function classifyCodeDigest(discovery: DiscoveryAPI, codeDigest: string, opts?: {
+    solverNetManifestCid?: string;
+    window?: number;
+    policy?: Partial<VerificationPolicy>;
+}): Promise<VerificationVerdict>;

package/dist/learner/verification-gate.js

@@ -0,0 +1,80 @@
+/**
+ * Verification gate for knowledge adoption (#1396, part of #1392).
+ *
+ * Classifies a `getCodeDigestRewards` row (#764) into
+ * `verified | suggested | insufficient` so the #1393 loader can prefer
+ * network-verified artifacts and only ever *suggest* unverified ones — never
+ * auto-adopt them.
+ *
+ * `minPassRate` 0.5 = a strict majority of verdicted attempts passed.
+ */
+import { DiscoveryUnavailableError } from '../discovery/types.js';
+export const DEFAULT_VERIFICATION_POLICY = {
+    minVerifiedAttempts: 5,
+    minPassRate: 0.5,
+};
+/** Merge a partial policy over the defaults (mirrors `resolveRevertPolicy`). */
+export function resolveVerificationPolicy(override) {
+    return { ...DEFAULT_VERIFICATION_POLICY, ...(override ?? {}) };
+}
+/**
+ * Pure classifier: maps a single `getCodeDigestRewards` row (or its absence) to
+ * a verification verdict. `verified` requires ≥ `minVerifiedAttempts` in-window
+ * verdicts AND `passRate ≥ minPassRate`. Verdicts present but under either bar →
+ * `suggested`. No indexed verdicts (`row === undefined`) → `insufficient`.
+ */
+export function classifyVerification(row, policy) {
+    const { minVerifiedAttempts, minPassRate } = resolveVerificationPolicy(policy);
+    if (row === undefined) {
+        return {
+            codeDigest: '',
+            status: 'insufficient',
+            evidence: { attempts: 0, passes: 0, passRate: 0, avgScore: 0 },
+            reason: 'no_verdicts',
+        };
+    }
+    const base = {
+        codeDigest: row.codeDigest,
+        evidence: {
+            attempts: row.attempts,
+            passes: row.passes,
+            passRate: row.passRate,
+            avgScore: row.avgScore,
+        },
+    };
+    if (row.attempts < minVerifiedAttempts) {
+        return { ...base, status: 'suggested', reason: 'below_min_sample' };
+    }
+    if (row.passRate < minPassRate) {
+        return { ...base, status: 'suggested', reason: 'below_pass_rate' };
+    }
+    return { ...base, status: 'verified', reason: 'passed_threshold' };
+}
+/**
+ * Async convenience over the existing #764 join. Queries verdicts for one
+ * `codeDigest` (optionally scoped to a SolverNet / capped to a recent window)
+ * and classifies the single row. Returns `insufficient` on a degraded indexer
+ * (`DiscoveryUnavailableError`) rather than throwing, so the loader's
+ * "never blocks the claim/solve path" guarantee holds for free.
+ */
+export async function classifyCodeDigest(discovery, codeDigest, opts) {
+    let rows;
+    try {
+        rows = await discovery.getCodeDigestRewards({
+            codeDigests: [codeDigest],
+            solverNetManifestCid: opts?.solverNetManifestCid,
+            window: opts?.window,
+        });
+    }
+    catch (err) {
+        if (err instanceof DiscoveryUnavailableError) {
+            const verdict = classifyVerification(undefined, opts?.policy);
+            return { ...verdict, codeDigest };
+        }
+        throw err;
+    }
+    const row = rows.find((r) => r.codeDigest === codeDigest);
+    const verdict = classifyVerification(row, opts?.policy);
+    return { ...verdict, codeDigest };
+}
+//# sourceMappingURL=verification-gate.js.map

package/dist/learner/verification-gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-gate.js","sourceRoot":"","sources":["../../src/learner/verification-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AASlE,MAAM,CAAC,MAAM,2BAA2B,GAAuB;IAC7D,mBAAmB,EAAE,CAAC;IACtB,WAAW,EAAE,GAAG;CACjB,CAAC;AAEF,gFAAgF;AAChF,MAAM,UAAU,yBAAyB,CAAC,QAAsC;IAC9E,OAAO,EAAE,GAAG,2BAA2B,EAAE,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC;AACjE,CAAC;AAkBD;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,GAAoC,EACpC,MAAoC;IAEpC,MAAM,EAAE,mBAAmB,EAAE,WAAW,EAAE,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAC;IAE/E,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO;YACL,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,cAAc;YACtB,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE;YAC9D,MAAM,EAAE,aAAa;SACtB,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG;QACX,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,QAAQ,EAAE;YACR,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,QAAQ,EAAE,GAAG,CAAC,QAAQ;SACvB;KACF,CAAC;IAEF,IAAI,GAAG,CAAC,QAAQ,GAAG,mBAAmB,EAAE,CAAC;QACvC,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;IACtE,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,GAAG,WAAW,EAAE,CAAC;QAC/B,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC;IACrE,CAAC;IACD,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;AACrE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,SAAuB,EACvB,UAAkB,EAClB,IAA+F;IAE/F,IAAI,IAA2B,CAAC;IAChC,IAAI,CAAC;QACH,IAAI,GAAG,MAAM,SAAS,CAAC,oBAAoB,CAAC;YAC1C,WAAW,EAAE,CAAC,UAAU,CAAC;YACzB,oBAAoB,EAAE,IAAI,EAAE,oBAAoB;YAChD,MAAM,EAAE,IAAI,EAAE,MAAM;SACrB,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,yBAAyB,EAAE,CAAC;YAC7C,MAAM,OAAO,GAAG,oBAAoB,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC9D,OAAO,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,CAAC;QACpC,CAAC;QACD,MAAM,GAAG,CAAC;IACZ,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC;IAC1D,MAAM,OAAO,GAAG,oBAAoB,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACxD,OAAO,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,CAAC;AACpC,CAAC"}

package/dist/local-provider-url.d.ts

@@ -0,0 +1,3 @@
+export declare function canonicalLocalHttpBaseUrl(value: string): string | undefined;
+export declare function isLocalHttpBaseUrl(value: string): boolean;
+export declare function urlAtBasePath(baseUrl: string, path: string): string;

package/dist/local-provider-url.js

@@ -0,0 +1,28 @@
+import { isIP } from 'node:net';
+export function canonicalLocalHttpBaseUrl(value) {
+    try {
+        const url = new URL(value);
+        if (url.protocol !== 'http:' && url.protocol !== 'https:')
+            return undefined;
+        if (url.username || url.password)
+            return undefined;
+        if (url.search || url.hash)
+            return undefined;
+        const hostname = url.hostname.toLowerCase();
+        const isLocal = hostname === 'localhost' ||
+            hostname === '[::1]' ||
+            hostname === '::1' ||
+            (isIP(hostname) === 4 && hostname.startsWith('127.'));
+        return isLocal ? url.toString() : undefined;
+    }
+    catch {
+        return undefined;
+    }
+}
+export function isLocalHttpBaseUrl(value) {
+    return canonicalLocalHttpBaseUrl(value) !== undefined;
+}
+export function urlAtBasePath(baseUrl, path) {
+    return new URL(path, baseUrl.endsWith('/') ? baseUrl : `${baseUrl}/`).toString();
+}
+//# sourceMappingURL=local-provider-url.js.map

package/dist/local-provider-url.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-provider-url.js","sourceRoot":"","sources":["../src/local-provider-url.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAEhC,MAAM,UAAU,yBAAyB,CAAC,KAAa;IACrD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC5E,IAAI,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QACnD,IAAI,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC7C,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC5C,MAAM,OAAO,GACX,QAAQ,KAAK,WAAW;YACxB,QAAQ,KAAK,OAAO;YACpB,QAAQ,KAAK,KAAK;YAClB,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;QACxD,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAa;IAC9C,OAAO,yBAAyB,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,OAAe,EAAE,IAAY;IACzD,OAAO,IAAI,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;AACnF,CAAC"}