@jinn-network/client 0.1.1 → 0.1.2-canary.d6e72dfd

package/dist/restorer/impls/portfolio-v0-evaluator/checks/availability.js

@@ -0,0 +1,91 @@
+/**
+ * Availability checks for portfolio.v0.eval — §7.4.
+ *
+ * availability.hyperliquid_reachable
+ * availability.hl_pre_snapshot_rederivable
+ * availability.hl_fills_rederivable
+ *
+ * FAIL in any of these → verdict INDETERMINATE per §7.3.
+ */
+import { bracketGridPoints } from '../../../../venues/hyperliquid/grid.js';
+// ── hyperliquid_reachable ─────────────────────────────────────────────────────
+/**
+ * Wraps a HL API call that should succeed if HL is reachable.
+ *
+ * Returns PASS if the call completes without throwing, FAIL otherwise.
+ */
+export function checkHlReachable(reachable, errorMsg) {
+    if (reachable) {
+        return { name: 'availability.hyperliquid_reachable', status: 'PASS' };
+    }
+    return {
+        name: 'availability.hyperliquid_reachable',
+        status: 'FAIL',
+        detail: errorMsg ?? 'Hyperliquid API is unreachable',
+    };
+}
+// ── hl_pre_snapshot_rederivable ───────────────────────────────────────────────
+/**
+ * Check whether the pre-snapshot equity can be rederived from the portfolio
+ * grid. A bracket must exist around preTs.
+ *
+ * Returns PASS if a bracket is found, FAIL if the grid has no bracket.
+ */
+export function checkPreSnapshotRederivable(grid, preTs) {
+    const bracket = bracketGridPoints(grid, preTs);
+    if (bracket !== null) {
+        return { name: 'availability.hl_pre_snapshot_rederivable', status: 'PASS' };
+    }
+    return {
+        name: 'availability.hl_pre_snapshot_rederivable',
+        status: 'FAIL',
+        detail: `No grid bracket found for preTs=${preTs}`,
+    };
+}
+// ── hl_fills_rederivable ──────────────────────────────────────────────────────
+/**
+ * Check whether fills could be fetched without clamping.
+ *
+ * If startTimeClamped is true, HL silently moved the retention horizon and
+ * fills are incomplete — FAIL.
+ */
+export function checkFillsRederivable(startTimeClamped) {
+    if (!startTimeClamped) {
+        return { name: 'availability.hl_fills_rederivable', status: 'PASS' };
+    }
+    return {
+        name: 'availability.hl_fills_rederivable',
+        status: 'FAIL',
+        detail: 'HL userFillsByTime startTime was clamped to retention horizon — fills are incomplete',
+    };
+}
+// ── Post-snapshot funding-accrual edge case ───────────────────────────────────
+/**
+ * Check whether the post-snapshot is rederivable (no funding accrual issue).
+ *
+ * Per §7.5: if postSnapshot.capturedAt > endTs + 60s, emit SKIP and
+ * downstream consistency checks should be skipped → INDETERMINATE.
+ *
+ * This check is named availability.hl_post_snapshot_rederivable and uses
+ * SKIP status to propagate INDETERMINATE via the derivation rule (SKIP ≠ FAIL
+ * for availability — a FAIL would cause INDETERMINATE, but SKIP means we
+ * surface it separately).
+ *
+ * However, per §7.3 the derivation rule is:
+ *   if any "availability.*" FAIL → INDETERMINATE
+ *
+ * A SKIP doesn't trigger INDETERMINATE via the rule, so the eval impl must
+ * handle this edge case explicitly by checking for SKIP in downstream checks.
+ */
+export function checkPostSnapshotFundingAccrual(postCapturedAt, endTs) {
+    const threshold = endTs + 60_000; // 60 seconds
+    if (postCapturedAt > threshold) {
+        return {
+            name: 'availability.hl_post_snapshot_rederivable',
+            status: 'SKIP',
+            detail: `postSnapshot.capturedAt (${postCapturedAt}) > endTs+60s (${threshold}) — funding may have accrued`,
+        };
+    }
+    return { name: 'availability.hl_post_snapshot_rederivable', status: 'PASS' };
+}
+//# sourceMappingURL=availability.js.map

package/dist/restorer/impls/portfolio-v0-evaluator/checks/availability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"availability.js","sourceRoot":"","sources":["../../../../../src/restorer/impls/portfolio-v0-evaluator/checks/availability.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,iBAAiB,EAAE,MAAM,wCAAwC,CAAC;AAG3E,iFAAiF;AAEjF;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,SAAkB,EAAE,QAAiB;IACpE,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,EAAE,IAAI,EAAE,oCAAoC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACxE,CAAC;IACD,OAAO;QACL,IAAI,EAAE,oCAAoC;QAC1C,MAAM,EAAE,MAAM;QACd,MAAM,EAAE,QAAQ,IAAI,gCAAgC;KACrD,CAAC;AACJ,CAAC;AAED,iFAAiF;AAEjF;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CACzC,IAAmB,EACnB,KAAa;IAEb,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/C,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,0CAA0C,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC9E,CAAC;IACD,OAAO;QACL,IAAI,EAAE,0CAA0C;QAChD,MAAM,EAAE,MAAM;QACd,MAAM,EAAE,mCAAmC,KAAK,EAAE;KACnD,CAAC;AACJ,CAAC;AAED,iFAAiF;AAEjF;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,gBAAyB;IAC7D,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,mCAAmC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACvE,CAAC;IACD,OAAO;QACL,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,MAAM;QACd,MAAM,EAAE,sFAAsF;KAC/F,CAAC;AACJ,CAAC;AAED,iFAAiF;AAEjF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,+BAA+B,CAC7C,cAAsB,EACtB,KAAa;IAEb,MAAM,SAAS,GAAG,KAAK,GAAG,MAAM,CAAC,CAAC,aAAa;IAC/C,IAAI,cAAc,GAAG,SAAS,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,2CAA2C;YACjD,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,4BAA4B,cAAc,kBAAkB,SAAS,8BAA8B;SAC5G,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,2CAA2C,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC/E,CAAC"}

package/dist/restorer/impls/portfolio-v0-evaluator/checks/consistency.d.ts

@@ -0,0 +1,78 @@
+/**
+ * Consistency checks for portfolio.v0.eval — §7.4.
+ *
+ * consistency.pre_snapshot
+ * consistency.post_snapshot
+ * consistency.fills              (set match by tid; per-fill fields exact)
+ * consistency.gating.equity_return
+ * consistency.gating.max_drawdown
+ * consistency.gating.closed_trades
+ * consistency.gating.traded_notional
+ *
+ * FAIL in any consistency.* check → verdict FAIL per §7.3.
+ *
+ * Tolerance rules per §7.5:
+ *   Snapshot decimal fields: 0.01% relative OR 0.0001 USD absolute (whichever greater)
+ *   Per-fill HL fields: exact
+ *   Fills set membership (by tid): exact
+ *   equityReturnPct, maxDrawdownPct: 0.05% absolute
+ *   closedTradesCount: exact
+ *   tradedNotionalMultiple: 0.05% relative
+ */
+import type { HlFill } from '../../../../venues/hyperliquid/types.js';
+import type { Check } from '../types.js';
+/**
+ * Extract the canonical accountValue from a snapshot payload.
+ *
+ * Supports two shapes:
+ *   1. Legacy: `{ marginSummary: { accountValue } }` (HL's raw clearinghouseState).
+ *   2. Unified (current restorer): `{ accountValue, clearinghouseState, spotClearinghouseState, ... }`
+ *      — top-level `accountValue` is perps margin + spot USDC, matching HL's
+ *      `portfolio` endpoint unified equity.
+ */
+export declare function extractAccountValue(payload: unknown): number | null;
+/**
+ * Check pre-snapshot consistency.
+ *
+ * Compares accountValue between claimed and rederived pre-snapshot.
+ * If either snapshot lacks a parseable accountValue, SKIP (not enough data).
+ */
+export declare function checkPreSnapshot(claimedPayload: unknown, rederived: {
+    capturedAt: number;
+    payload: unknown;
+} | null): Check;
+/**
+ * Check post-snapshot consistency.
+ *
+ * Compares accountValue between claimed and rederived post-snapshot.
+ * If postSnapshot rederivation was skipped (funding accrual), SKIP.
+ */
+export declare function checkPostSnapshot(claimedPayload: unknown, rederived: {
+    capturedAt: number;
+    payload: unknown;
+} | null): Check;
+/**
+ * Check fills consistency: set membership by tid (exact), and per-fill field
+ * equality for px, sz, time, fee, closedPnl.
+ */
+export declare function checkFills(claimedFills: unknown[], rederived: HlFill[]): Check;
+/**
+ * Check consistency of equityReturnPct (claimed vs rederived).
+ * Tolerance: 0.05% absolute.
+ */
+export declare function checkGatingEquityReturn(claimed: string, rederived: number): Check;
+/**
+ * Check consistency of maxDrawdownPct (claimed vs rederived).
+ * Tolerance: 0.05% absolute.
+ */
+export declare function checkGatingMaxDrawdown(claimed: string, rederived: number): Check;
+/**
+ * Check consistency of closedTradesCount (claimed vs rederived).
+ * Tolerance: exact.
+ */
+export declare function checkGatingClosedTrades(claimed: number, rederived: number): Check;
+/**
+ * Check consistency of tradedNotionalMultiple (claimed vs rederived).
+ * Tolerance: 0.05% relative.
+ */
+export declare function checkGatingTradedNotional(claimed: string, rederived: number): Check;

package/dist/restorer/impls/portfolio-v0-evaluator/checks/consistency.js

@@ -0,0 +1,274 @@
+/**
+ * Consistency checks for portfolio.v0.eval — §7.4.
+ *
+ * consistency.pre_snapshot
+ * consistency.post_snapshot
+ * consistency.fills              (set match by tid; per-fill fields exact)
+ * consistency.gating.equity_return
+ * consistency.gating.max_drawdown
+ * consistency.gating.closed_trades
+ * consistency.gating.traded_notional
+ *
+ * FAIL in any consistency.* check → verdict FAIL per §7.3.
+ *
+ * Tolerance rules per §7.5:
+ *   Snapshot decimal fields: 0.01% relative OR 0.0001 USD absolute (whichever greater)
+ *   Per-fill HL fields: exact
+ *   Fills set membership (by tid): exact
+ *   equityReturnPct, maxDrawdownPct: 0.05% absolute
+ *   closedTradesCount: exact
+ *   tradedNotionalMultiple: 0.05% relative
+ */
+// ── Tolerance helpers ─────────────────────────────────────────────────────────
+const SNAPSHOT_REL_TOL = 0.0001; // 0.01%
+const SNAPSHOT_ABS_TOL = 0.0001; // 0.0001 USD
+const METRIC_ABS_TOL = 0.05; // 0.05% absolute (for equityReturnPct, maxDrawdownPct)
+const NOTIONAL_REL_TOL = 0.0005; // 0.05% relative (for tradedNotionalMultiple)
+/**
+ * Snapshot field comparison: 0.01% relative OR 0.0001 absolute, whichever is greater.
+ */
+function snapshotFieldClose(claimed, rederived) {
+    const absDiff = Math.abs(claimed - rederived);
+    const relTol = Math.abs(claimed) * SNAPSHOT_REL_TOL;
+    const effectiveTol = Math.max(relTol, SNAPSHOT_ABS_TOL);
+    return absDiff <= effectiveTol;
+}
+// ── Snapshot checks ───────────────────────────────────────────────────────────
+/**
+ * Extract the canonical accountValue from a snapshot payload.
+ *
+ * Supports two shapes:
+ *   1. Legacy: `{ marginSummary: { accountValue } }` (HL's raw clearinghouseState).
+ *   2. Unified (current restorer): `{ accountValue, clearinghouseState, spotClearinghouseState, ... }`
+ *      — top-level `accountValue` is perps margin + spot USDC, matching HL's
+ *      `portfolio` endpoint unified equity.
+ */
+export function extractAccountValue(payload) {
+    if (payload !== null &&
+        typeof payload === 'object' &&
+        'marginSummary' in payload) {
+        const ms = payload.marginSummary;
+        if (ms !== null && typeof ms === 'object' && 'accountValue' in ms) {
+            const val = parseFloat(String(ms.accountValue));
+            return isNaN(val) ? null : val;
+        }
+    }
+    // Also try direct accountValue field
+    if (payload !== null && typeof payload === 'object' && 'accountValue' in payload) {
+        const val = parseFloat(String(payload.accountValue));
+        return isNaN(val) ? null : val;
+    }
+    return null;
+}
+/**
+ * Check pre-snapshot consistency.
+ *
+ * Compares accountValue between claimed and rederived pre-snapshot.
+ * If either snapshot lacks a parseable accountValue, SKIP (not enough data).
+ */
+export function checkPreSnapshot(claimedPayload, rederived) {
+    if (rederived === null) {
+        return {
+            name: 'consistency.pre_snapshot',
+            status: 'SKIP',
+            detail: 'Pre-snapshot rederivation was skipped (no grid bracket)',
+        };
+    }
+    const claimedValue = extractAccountValue(claimedPayload);
+    const rederivValue = extractAccountValue(rederived.payload);
+    if (claimedValue === null || rederivValue === null) {
+        return {
+            name: 'consistency.pre_snapshot',
+            status: 'SKIP',
+            detail: 'Could not extract accountValue from snapshot payload(s)',
+        };
+    }
+    if (snapshotFieldClose(claimedValue, rederivValue)) {
+        return { name: 'consistency.pre_snapshot', status: 'PASS' };
+    }
+    return {
+        name: 'consistency.pre_snapshot',
+        status: 'FAIL',
+        detail: {
+            claimed: claimedValue,
+            rederived: rederivValue,
+            absDiff: Math.abs(claimedValue - rederivValue),
+        },
+    };
+}
+/**
+ * Check post-snapshot consistency.
+ *
+ * Compares accountValue between claimed and rederived post-snapshot.
+ * If postSnapshot rederivation was skipped (funding accrual), SKIP.
+ */
+export function checkPostSnapshot(claimedPayload, rederived) {
+    if (rederived === null) {
+        return {
+            name: 'consistency.post_snapshot',
+            status: 'SKIP',
+            detail: 'Post-snapshot rederivation was skipped',
+        };
+    }
+    const claimedValue = extractAccountValue(claimedPayload);
+    const rederivValue = extractAccountValue(rederived.payload);
+    if (claimedValue === null || rederivValue === null) {
+        return {
+            name: 'consistency.post_snapshot',
+            status: 'SKIP',
+            detail: 'Could not extract accountValue from snapshot payload(s)',
+        };
+    }
+    if (snapshotFieldClose(claimedValue, rederivValue)) {
+        return { name: 'consistency.post_snapshot', status: 'PASS' };
+    }
+    return {
+        name: 'consistency.post_snapshot',
+        status: 'FAIL',
+        detail: {
+            claimed: claimedValue,
+            rederived: rederivValue,
+            absDiff: Math.abs(claimedValue - rederivValue),
+        },
+    };
+}
+// ── Fills consistency ─────────────────────────────────────────────────────────
+/**
+ * Check fills consistency: set membership by tid (exact), and per-fill field
+ * equality for px, sz, time, fee, closedPnl.
+ */
+export function checkFills(claimedFills, rederived) {
+    const claimed = claimedFills;
+    // Set membership by tid — exact match required
+    const claimedTids = new Set(claimed.map((f) => f.tid));
+    const rederivTids = new Set(rederived.map((f) => f.tid));
+    const missingInRederived = [...claimedTids].filter((t) => !rederivTids.has(t));
+    const extraInRederived = [...rederivTids].filter((t) => !claimedTids.has(t));
+    if (missingInRederived.length > 0 || extraInRederived.length > 0) {
+        return {
+            name: 'consistency.fills',
+            status: 'FAIL',
+            detail: {
+                missingInRederived,
+                extraInRederived,
+            },
+        };
+    }
+    // Per-fill field equality (exact) for matching tids
+    const rederivMap = new Map(rederived.map((f) => [f.tid, f]));
+    const fieldMismatches = [];
+    const EXACT_FIELDS = ['px', 'sz', 'time', 'fee', 'closedPnl', 'coin', 'side'];
+    for (const fill of claimed) {
+        const re = rederivMap.get(fill.tid);
+        if (!re)
+            continue; // Already caught above
+        for (const field of EXACT_FIELDS) {
+            if (String(fill[field]) !== String(re[field])) {
+                fieldMismatches.push({
+                    tid: fill.tid,
+                    field,
+                    claimed: fill[field],
+                    rederived: re[field],
+                });
+            }
+        }
+    }
+    if (fieldMismatches.length > 0) {
+        return {
+            name: 'consistency.fills',
+            status: 'FAIL',
+            detail: { fieldMismatches: fieldMismatches.slice(0, 10) }, // cap output
+        };
+    }
+    return { name: 'consistency.fills', status: 'PASS' };
+}
+// ── Gating metric checks ──────────────────────────────────────────────────────
+/**
+ * Check consistency of equityReturnPct (claimed vs rederived).
+ * Tolerance: 0.05% absolute.
+ */
+export function checkGatingEquityReturn(claimed, rederived) {
+    const claimedNum = parseFloat(claimed);
+    if (isNaN(claimedNum)) {
+        return {
+            name: 'consistency.gating.equity_return',
+            status: 'FAIL',
+            detail: `claimed equityReturnPct is not a number: ${claimed}`,
+        };
+    }
+    if (Math.abs(claimedNum - rederived) <= METRIC_ABS_TOL) {
+        return { name: 'consistency.gating.equity_return', status: 'PASS' };
+    }
+    return {
+        name: 'consistency.gating.equity_return',
+        status: 'FAIL',
+        detail: { claimed: claimedNum, rederived, absDiff: Math.abs(claimedNum - rederived) },
+    };
+}
+/**
+ * Check consistency of maxDrawdownPct (claimed vs rederived).
+ * Tolerance: 0.05% absolute.
+ */
+export function checkGatingMaxDrawdown(claimed, rederived) {
+    const claimedNum = parseFloat(claimed);
+    if (isNaN(claimedNum)) {
+        return {
+            name: 'consistency.gating.max_drawdown',
+            status: 'FAIL',
+            detail: `claimed maxDrawdownPct is not a number: ${claimed}`,
+        };
+    }
+    if (Math.abs(claimedNum - rederived) <= METRIC_ABS_TOL) {
+        return { name: 'consistency.gating.max_drawdown', status: 'PASS' };
+    }
+    return {
+        name: 'consistency.gating.max_drawdown',
+        status: 'FAIL',
+        detail: { claimed: claimedNum, rederived, absDiff: Math.abs(claimedNum - rederived) },
+    };
+}
+/**
+ * Check consistency of closedTradesCount (claimed vs rederived).
+ * Tolerance: exact.
+ */
+export function checkGatingClosedTrades(claimed, rederived) {
+    if (claimed === rederived) {
+        return { name: 'consistency.gating.closed_trades', status: 'PASS' };
+    }
+    return {
+        name: 'consistency.gating.closed_trades',
+        status: 'FAIL',
+        detail: { claimed, rederived },
+    };
+}
+/**
+ * Check consistency of tradedNotionalMultiple (claimed vs rederived).
+ * Tolerance: 0.05% relative.
+ */
+export function checkGatingTradedNotional(claimed, rederived) {
+    const claimedNum = parseFloat(claimed);
+    if (isNaN(claimedNum)) {
+        return {
+            name: 'consistency.gating.traded_notional',
+            status: 'FAIL',
+            detail: `claimed tradedNotionalMultiple is not a number: ${claimed}`,
+        };
+    }
+    // 0.05% relative tolerance
+    const absDiff = Math.abs(claimedNum - rederived);
+    const relTol = Math.abs(claimedNum) * NOTIONAL_REL_TOL;
+    if (absDiff <= Math.max(relTol, 1e-9)) {
+        return { name: 'consistency.gating.traded_notional', status: 'PASS' };
+    }
+    return {
+        name: 'consistency.gating.traded_notional',
+        status: 'FAIL',
+        detail: {
+            claimed: claimedNum,
+            rederived,
+            absDiff,
+            relTol,
+        },
+    };
+}
+//# sourceMappingURL=consistency.js.map

package/dist/restorer/impls/portfolio-v0-evaluator/checks/consistency.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"consistency.js","sourceRoot":"","sources":["../../../../../src/restorer/impls/portfolio-v0-evaluator/checks/consistency.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAKH,iFAAiF;AAEjF,MAAM,gBAAgB,GAAG,MAAM,CAAC,CAAC,QAAQ;AACzC,MAAM,gBAAgB,GAAG,MAAM,CAAC,CAAC,aAAa;AAC9C,MAAM,cAAc,GAAG,IAAI,CAAC,CAAK,uDAAuD;AACxF,MAAM,gBAAgB,GAAG,MAAM,CAAC,CAAC,8CAA8C;AAE/E;;GAEG;AACH,SAAS,kBAAkB,CAAC,OAAe,EAAE,SAAiB;IAC5D,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,SAAS,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,gBAAgB,CAAC;IACpD,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACxD,OAAO,OAAO,IAAI,YAAY,CAAC;AACjC,CAAC;AAED,iFAAiF;AAEjF;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAAgB;IAClD,IACE,OAAO,KAAK,IAAI;QAChB,OAAO,OAAO,KAAK,QAAQ;QAC3B,eAAe,IAAK,OAAmC,EACvD,CAAC;QACD,MAAM,EAAE,GAAI,OAAmC,CAAC,aAAa,CAAC;QAC9D,IAAI,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,cAAc,IAAK,EAA8B,EAAE,CAAC;YAC/F,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,CAAE,EAA8B,CAAC,YAAY,CAAC,CAAC,CAAC;YAC7E,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;QACjC,CAAC;IACH,CAAC;IACD,qCAAqC;IACrC,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,cAAc,IAAK,OAAmC,EAAE,CAAC;QAC9G,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,CAAE,OAAmC,CAAC,YAAY,CAAC,CAAC,CAAC;QAClF,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;IACjC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,cAAuB,EACvB,SAA0D;IAE1D,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,0BAA0B;YAChC,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,yDAAyD;SAClE,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,mBAAmB,CAAC,cAAc,CAAC,CAAC;IACzD,MAAM,YAAY,GAAG,mBAAmB,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAE5D,IAAI,YAAY,KAAK,IAAI,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QACnD,OAAO;YACL,IAAI,EAAE,0BAA0B;YAChC,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,yDAAyD;SAClE,CAAC;IACJ,CAAC;IAED,IAAI,kBAAkB,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,CAAC;QACnD,OAAO,EAAE,IAAI,EAAE,0BAA0B,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC9D,CAAC;IAED,OAAO;QACL,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,MAAM;QACd,MAAM,EAAE;YACN,OAAO,EAAE,YAAY;YACrB,SAAS,EAAE,YAAY;YACvB,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,YAAY,GAAG,YAAY,CAAC;SAC/C;KACF,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAC/B,cAAuB,EACvB,SAA0D;IAE1D,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,2BAA2B;YACjC,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,wCAAwC;SACjD,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,mBAAmB,CAAC,cAAc,CAAC,CAAC;IACzD,MAAM,YAAY,GAAG,mBAAmB,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAE5D,IAAI,YAAY,KAAK,IAAI,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QACnD,OAAO;YACL,IAAI,EAAE,2BAA2B;YACjC,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,yDAAyD;SAClE,CAAC;IACJ,CAAC;IAED,IAAI,kBAAkB,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,CAAC;QACnD,OAAO,EAAE,IAAI,EAAE,2BAA2B,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC/D,CAAC;IAED,OAAO;QACL,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,MAAM;QACd,MAAM,EAAE;YACN,OAAO,EAAE,YAAY;YACrB,SAAS,EAAE,YAAY;YACvB,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,YAAY,GAAG,YAAY,CAAC;SAC/C;KACF,CAAC;AACJ,CAAC;AAED,iFAAiF;AAEjF;;;GAGG;AACH,MAAM,UAAU,UAAU,CACxB,YAAuB,EACvB,SAAmB;IAEnB,MAAM,OAAO,GAAG,YAAwB,CAAC;IAEzC,+CAA+C;IAC/C,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAEzD,MAAM,kBAAkB,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,gBAAgB,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAE7E,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjE,OAAO;YACL,IAAI,EAAE,mBAAmB;YACzB,MAAM,EAAE,MAAM;YACd,MAAM,EAAE;gBACN,kBAAkB;gBAClB,gBAAgB;aACjB;SACF,CAAC;IACJ,CAAC;IAED,oDAAoD;IACpD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,eAAe,GAAgF,EAAE,CAAC;IAExG,MAAM,YAAY,GAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAEhG,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,EAAE;YAAE,SAAS,CAAC,uBAAuB;QAC1C,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;YACjC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC9C,eAAe,CAAC,IAAI,CAAC;oBACnB,GAAG,EAAE,IAAI,CAAC,GAAG;oBACb,KAAK;oBACL,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC;oBACpB,SAAS,EAAE,EAAE,CAAC,KAAK,CAAC;iBACrB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,mBAAmB;YACzB,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,EAAE,eAAe,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,aAAa;SACzE,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AACvD,CAAC;AAED,iFAAiF;AAEjF;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,OAAe,EAAE,SAAiB;IACxE,MAAM,UAAU,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACtB,OAAO;YACL,IAAI,EAAE,kCAAkC;YACxC,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,4CAA4C,OAAO,EAAE;SAC9D,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,GAAG,SAAS,CAAC,IAAI,cAAc,EAAE,CAAC;QACvD,OAAO,EAAE,IAAI,EAAE,kCAAkC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACtE,CAAC;IACD,OAAO;QACL,IAAI,EAAE,kCAAkC;QACxC,MAAM,EAAE,MAAM;QACd,MAAM,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,GAAG,SAAS,CAAC,EAAE;KACtF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAe,EAAE,SAAiB;IACvE,MAAM,UAAU,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACtB,OAAO;YACL,IAAI,EAAE,iCAAiC;YACvC,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,2CAA2C,OAAO,EAAE;SAC7D,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,GAAG,SAAS,CAAC,IAAI,cAAc,EAAE,CAAC;QACvD,OAAO,EAAE,IAAI,EAAE,iCAAiC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACrE,CAAC;IACD,OAAO;QACL,IAAI,EAAE,iCAAiC;QACvC,MAAM,EAAE,MAAM;QACd,MAAM,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,GAAG,SAAS,CAAC,EAAE;KACtF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,OAAe,EAAE,SAAiB;IACxE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,kCAAkC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACtE,CAAC;IACD,OAAO;QACL,IAAI,EAAE,kCAAkC;QACxC,MAAM,EAAE,MAAM;QACd,MAAM,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE;KAC/B,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CAAC,OAAe,EAAE,SAAiB;IAC1E,MAAM,UAAU,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACtB,OAAO;YACL,IAAI,EAAE,oCAAoC;YAC1C,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,mDAAmD,OAAO,EAAE;SACrE,CAAC;IACJ,CAAC;IACD,2BAA2B;IAC3B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,GAAG,SAAS,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,gBAAgB,CAAC;IACvD,IAAI,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,oCAAoC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACxE,CAAC;IACD,OAAO;QACL,IAAI,EAAE,oCAAoC;QAC1C,MAAM,EAAE,MAAM;QACd,MAAM,EAAE;YACN,OAAO,EAAE,UAAU;YACnB,SAAS;YACT,OAAO;YACP,MAAM;SACP;KACF,CAAC;AACJ,CAAC"}

package/dist/restorer/impls/portfolio-v0-evaluator/checks/eligibility.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Eligibility checks for portfolio.v0.eval — §7.4.
+ *
+ * eligibility.min_closed_trades
+ * eligibility.min_traded_notional
+ *
+ * FAIL in any of these → verdict REJECTED per §7.3.
+ */
+import type { Check } from '../types.js';
+/**
+ * Check that the number of closed trades meets the minimum threshold.
+ *
+ * @param count   Rederived closedTradesCount
+ * @param minRequired  Minimum from intent.eligibility.minClosedTrades (default 20)
+ */
+export declare function checkMinClosedTrades(count: number, minRequired: number): Check;
+/**
+ * Check that the traded notional multiple meets the minimum threshold.
+ *
+ * @param multiple     Rederived tradedNotionalMultiple
+ * @param minRequired  Minimum from intent.eligibility.minTradedNotionalMultiple (default 5.0)
+ */
+export declare function checkMinTradedNotional(multiple: number, minRequired: number): Check;

package/dist/restorer/impls/portfolio-v0-evaluator/checks/eligibility.js

@@ -0,0 +1,49 @@
+/**
+ * Eligibility checks for portfolio.v0.eval — §7.4.
+ *
+ * eligibility.min_closed_trades
+ * eligibility.min_traded_notional
+ *
+ * FAIL in any of these → verdict REJECTED per §7.3.
+ */
+// ── min_closed_trades ─────────────────────────────────────────────────────────
+/**
+ * Check that the number of closed trades meets the minimum threshold.
+ *
+ * @param count   Rederived closedTradesCount
+ * @param minRequired  Minimum from intent.eligibility.minClosedTrades (default 20)
+ */
+export function checkMinClosedTrades(count, minRequired) {
+    if (count >= minRequired) {
+        return { name: 'eligibility.min_closed_trades', status: 'PASS' };
+    }
+    return {
+        name: 'eligibility.min_closed_trades',
+        status: 'FAIL',
+        detail: {
+            required: minRequired,
+            actual: count,
+        },
+    };
+}
+// ── min_traded_notional ───────────────────────────────────────────────────────
+/**
+ * Check that the traded notional multiple meets the minimum threshold.
+ *
+ * @param multiple     Rederived tradedNotionalMultiple
+ * @param minRequired  Minimum from intent.eligibility.minTradedNotionalMultiple (default 5.0)
+ */
+export function checkMinTradedNotional(multiple, minRequired) {
+    if (multiple >= minRequired) {
+        return { name: 'eligibility.min_traded_notional', status: 'PASS' };
+    }
+    return {
+        name: 'eligibility.min_traded_notional',
+        status: 'FAIL',
+        detail: {
+            required: minRequired,
+            actual: multiple,
+        },
+    };
+}
+//# sourceMappingURL=eligibility.js.map

package/dist/restorer/impls/portfolio-v0-evaluator/checks/eligibility.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"eligibility.js","sourceRoot":"","sources":["../../../../../src/restorer/impls/portfolio-v0-evaluator/checks/eligibility.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,iFAAiF;AAEjF;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAa,EAAE,WAAmB;IACrE,IAAI,KAAK,IAAI,WAAW,EAAE,CAAC;QACzB,OAAO,EAAE,IAAI,EAAE,+BAA+B,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACnE,CAAC;IACD,OAAO;QACL,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,MAAM;QACd,MAAM,EAAE;YACN,QAAQ,EAAE,WAAW;YACrB,MAAM,EAAE,KAAK;SACd;KACF,CAAC;AACJ,CAAC;AAED,iFAAiF;AAEjF;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,QAAgB,EAAE,WAAmB;IAC1E,IAAI,QAAQ,IAAI,WAAW,EAAE,CAAC;QAC5B,OAAO,EAAE,IAAI,EAAE,iCAAiC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACrE,CAAC;IACD,OAAO;QACL,IAAI,EAAE,iCAAiC;QACvC,MAAM,EAAE,MAAM;QACd,MAAM,EAAE;YACN,QAAQ,EAAE,WAAW;YACrB,MAAM,EAAE,QAAQ;SACjB;KACF,CAAC;AACJ,CAAC"}

package/dist/restorer/impls/portfolio-v0-evaluator/checks/integrity.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Integrity checks for portfolio.v0.eval — §7.4.
+ *
+ * impl-declared:
+ *   integrity.window_bounds   (pre.capturedAt >= startTs, post.capturedAt >= endTs)
+ *
+ * engine-prepended (NOT this impl's job):
+ *   integrity.signature
+ *   integrity.intent_ref
+ *   integrity.onchain_anchor
+ *
+ * FAIL in any integrity.* check → verdict FAIL per §7.3.
+ */
+import type { Check } from '../types.js';
+/**
+ * Check that snapshot timestamps are within the declared window bounds.
+ *
+ * Per §7.4:
+ *   pre.capturedAt >= startTs
+ *   post.capturedAt >= endTs
+ *
+ * (The restorer should have captured these at the right times, so a violation
+ * indicates the manifest was produced outside the valid window.)
+ */
+export declare function checkWindowBounds(preCapturedAt: number, postCapturedAt: number, startTs: number, endTs: number): Check;

package/dist/restorer/impls/portfolio-v0-evaluator/checks/integrity.js

@@ -0,0 +1,44 @@
+/**
+ * Integrity checks for portfolio.v0.eval — §7.4.
+ *
+ * impl-declared:
+ *   integrity.window_bounds   (pre.capturedAt >= startTs, post.capturedAt >= endTs)
+ *
+ * engine-prepended (NOT this impl's job):
+ *   integrity.signature
+ *   integrity.intent_ref
+ *   integrity.onchain_anchor
+ *
+ * FAIL in any integrity.* check → verdict FAIL per §7.3.
+ */
+// ── window_bounds ─────────────────────────────────────────────────────────────
+/**
+ * Check that snapshot timestamps are within the declared window bounds.
+ *
+ * Per §7.4:
+ *   pre.capturedAt >= startTs
+ *   post.capturedAt >= endTs
+ *
+ * (The restorer should have captured these at the right times, so a violation
+ * indicates the manifest was produced outside the valid window.)
+ */
+export function checkWindowBounds(preCapturedAt, postCapturedAt, startTs, endTs) {
+    const preOk = preCapturedAt >= startTs;
+    const postOk = postCapturedAt >= endTs;
+    if (preOk && postOk) {
+        return { name: 'integrity.window_bounds', status: 'PASS' };
+    }
+    const violations = [];
+    if (!preOk) {
+        violations.push(`pre.capturedAt (${preCapturedAt}) < startTs (${startTs})`);
+    }
+    if (!postOk) {
+        violations.push(`post.capturedAt (${postCapturedAt}) < endTs (${endTs})`);
+    }
+    return {
+        name: 'integrity.window_bounds',
+        status: 'FAIL',
+        detail: violations.join('; '),
+    };
+}
+//# sourceMappingURL=integrity.js.map

package/dist/restorer/impls/portfolio-v0-evaluator/checks/integrity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"integrity.js","sourceRoot":"","sources":["../../../../../src/restorer/impls/portfolio-v0-evaluator/checks/integrity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,iFAAiF;AAEjF;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAC/B,aAAqB,EACrB,cAAsB,EACtB,OAAe,EACf,KAAa;IAEb,MAAM,KAAK,GAAG,aAAa,IAAI,OAAO,CAAC;IACvC,MAAM,MAAM,GAAG,cAAc,IAAI,KAAK,CAAC;IAEvC,IAAI,KAAK,IAAI,MAAM,EAAE,CAAC;QACpB,OAAO,EAAE,IAAI,EAAE,yBAAyB,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC7D,CAAC;IAED,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,UAAU,CAAC,IAAI,CACb,mBAAmB,aAAa,gBAAgB,OAAO,GAAG,CAC3D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,UAAU,CAAC,IAAI,CACb,oBAAoB,cAAc,cAAc,KAAK,GAAG,CACzD,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,MAAM;QACd,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;KAC9B,CAAC;AACJ,CAAC"}

package/dist/restorer/impls/portfolio-v0-evaluator/checks/spec.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Spec checks for portfolio.v0.eval — §7.4.
+ *
+ * spec.equity_return_target
+ * spec.max_drawdown_constraint
+ *
+ * FAIL in any spec.* check → verdict FAIL per §7.3.
+ */
+import type { Check } from '../types.js';
+/**
+ * Check that rederived equityReturnPct >= intent spec's minReturnPct.
+ */
+export declare function checkEquityReturnTarget(equityReturnPct: number, minReturnPct: number): Check;
+/**
+ * Check that rederived maxDrawdownPct <= intent spec's maxDrawdownPct constraint.
+ */
+export declare function checkMaxDrawdownConstraint(maxDrawdownPct: number, maxAllowed: number): Check;