@black-market/sdk 0.14.0 → 0.15.0

package/dist/lifecycle/opening-buys.js

@@ -0,0 +1,171 @@
+import { ABYSS_FEE_TIERS } from "../abyss.js";
+import { getSqrtRatioAtTick, getTickAtSqrtRatio } from "../launch.js";
+import { decodeAbyssLifecycleMarketConfig, decodePoolBoundV4LifecycleMarketConfig } from "./markets.js";
+import { getKnownLifecycleProfile, KnownLifecycleProfile } from "./presets.js";
+import { LifecyclePlanningError } from "./types.js";
+// Independent integer model of the reviewed openings. Mathematical rounding and
+// uint256 overflow branches match Uniswap v4 SqrtPriceMath/SwapMath (MIT) and
+// the corresponding Abyss libraries. Bitmap word boundaries cannot be skipped:
+// each step rounds input/fees up and output down, in the pool's favor.
+const Q96 = 1n << 96n;
+const PIPS = 1000000n;
+const MAX_UINT256 = (1n << 256n) - 1n;
+const MIN_PRICE = 4295128739n;
+const MAX_PRICE = 1461446703485210103287273052203988822378723970342n;
+const ceil = (numerator, denominator) => (numerator + denominator - 1n) / denominator;
+/** Only the exact release-owned schemas/hooks have profiled opening behavior. */
+export function hasProfiledOpeningMath(plan) {
+    return plan.markets.every((market) => {
+        const preset = getKnownLifecycleProfile({ chainId: plan.chainId, orchestrator: plan.orchestrator, profileId: market.profileId });
+        return preset?.supported === true && preset.profile.topology.configVersion === market.configVersion &&
+            preset.profile.registration.adapterId.toLowerCase() === market.adapterId.toLowerCase();
+    });
+}
+function openingState(plan, marketIndex) {
+    const market = plan.markets[marketIndex];
+    if (market === undefined)
+        throw new LifecyclePlanningError("INVALID_BUY", "Opening buy market index is outside the plan");
+    const preset = getKnownLifecycleProfile({ chainId: plan.chainId, orchestrator: plan.orchestrator, profileId: market.profileId });
+    if (preset?.supported !== true || preset.profile.topology.configVersion !== market.configVersion ||
+        preset.profile.registration.adapterId.toLowerCase() !== market.adapterId.toLowerCase())
+        throw new LifecyclePlanningError("OPENING_BUY_NOT_PROFILED", "Opening buy math requires the exact release-owned profile and schema");
+    let price, spacing, lpFee, hookFee = 0n;
+    let positions;
+    if (market.configVersion === 1) {
+        const config = decodeAbyssLifecycleMarketConfig(market.config);
+        const tier = ABYSS_FEE_TIERS.find((candidate) => candidate.feePips === config.fee);
+        if (tier === undefined || preset.key !== `abyss-${config.profile}`)
+            throw new LifecyclePlanningError("INVALID_MARKET", "Abyss opening must use its committed profile and canonical fee tier");
+        price = config.openingSqrtPriceX96;
+        spacing = tier.tickSpacing;
+        lpFee = BigInt(config.fee);
+        positions = config.positions;
+    }
+    else {
+        // All current release-owned V4 offerings use config6. Dynamic first buys
+        // share the opening block's minimum fee; HMM strategy work starts onOpened,
+        // after the ordered initial buys, never during this unopened curve.
+        const config = decodePoolBoundV4LifecycleMarketConfig(market.config, 6);
+        if (config.profileId.toLowerCase() !== market.profileId.toLowerCase())
+            throw new LifecyclePlanningError("INVALID_MARKET", "V4 opening config differs from the selected profile");
+        price = config.sqrtPriceX96;
+        spacing = config.tickSpacing;
+        lpFee = BigInt(config.lpFeePips);
+        positions = config.positions;
+        const dynamic = preset.key === KnownLifecycleProfile.V4DynamicFeePool || preset.key === KnownLifecycleProfile.V4HmmDynamicPool || preset.key === KnownLifecycleProfile.V4UfgDynamicPool;
+        hookFee = BigInt(dynamic ? config.minimumHookFeePips : config.hookFeePips);
+    }
+    const tick = getTickAtSqrtRatio(price), liquidityNet = new Map();
+    let liquidity = 0n;
+    for (const position of positions) {
+        liquidityNet.set(position.tickLower, (liquidityNet.get(position.tickLower) ?? 0n) + position.liquidity);
+        liquidityNet.set(position.tickUpper, (liquidityNet.get(position.tickUpper) ?? 0n) - position.liquidity);
+        if (position.tickLower <= tick && tick < position.tickUpper)
+            liquidity += position.liquidity;
+    }
+    return { price, tick, liquidity, spacing, lpFee, hookFee, liquidityNet, ticks: [...liquidityNet.keys()].sort((a, b) => a - b) };
+}
+function lowerBound(ticks, value) {
+    let left = 0, right = ticks.length;
+    while (left < right) {
+        const middle = (left + right) >>> 1;
+        if (ticks[middle] < value)
+            left = middle + 1;
+        else
+            right = middle;
+    }
+    return left;
+}
+function nextTick(state, zeroForOne) {
+    const compressed = Math.floor(state.tick / state.spacing) + (zeroForOne ? 0 : 1);
+    const first = Math.floor(compressed / 256) * 256, last = first + 255;
+    const index = lowerBound(state.ticks, (compressed + (zeroForOne ? 1 : 0)) * state.spacing) - (zeroForOne ? 1 : 0);
+    const initialized = state.ticks[index];
+    const selected = initialized !== undefined && initialized >= first * state.spacing && initialized <= last * state.spacing
+        ? initialized : (zeroForOne ? first : last) * state.spacing;
+    return Math.max(-887272, Math.min(887272, selected));
+}
+function amount0(a, b, liquidity, roundUp) {
+    if (a > b)
+        [a, b] = [b, a];
+    const numerator = liquidity * Q96 * (b - a), denominator = a * b;
+    return roundUp ? ceil(numerator, denominator) : numerator / denominator;
+}
+function amount1(a, b, liquidity, roundUp) {
+    const numerator = liquidity * (a > b ? a - b : b - a);
+    return roundUp ? ceil(numerator, Q96) : numerator / Q96;
+}
+function inputPrice(price, liquidity, input, zeroForOne) {
+    if (input === 0n)
+        return price;
+    if (!zeroForOne)
+        return price + input * Q96 / liquidity;
+    const numerator = liquidity * Q96, product = input * price, denominator = numerator + product;
+    return product <= MAX_UINT256 && denominator <= MAX_UINT256
+        ? ceil(numerator * price, denominator)
+        : ceil(numerator, numerator / price + input);
+}
+function swap(state, amount, limit, zeroForOne) {
+    let remaining = amount, tokenOut = 0n;
+    while (remaining > 0n && state.price !== limit) {
+        const tick = nextTick(state, zeroForOne), boundary = getSqrtRatioAtTick(tick), before = state.price;
+        const target = zeroForOne ? boundary < limit ? limit : boundary : boundary > limit ? limit : boundary;
+        const available = remaining * (PIPS - state.lpFee) / PIPS;
+        const required = zeroForOne ? amount0(target, before, state.liquidity, true) : amount1(before, target, state.liquidity, true);
+        let next, spent;
+        if (available >= required) {
+            next = target;
+            spent = required + (state.lpFee === PIPS ? 0n : ceil(required * state.lpFee, PIPS - state.lpFee));
+        }
+        else {
+            next = inputPrice(before, state.liquidity, available, zeroForOne);
+            spent = remaining;
+        }
+        tokenOut += zeroForOne ? amount1(next, before, state.liquidity, false) : amount0(before, next, state.liquidity, false);
+        remaining -= spent;
+        state.price = next;
+        if (next === boundary) {
+            const net = state.liquidityNet.get(tick);
+            if (net !== undefined)
+                state.liquidity += zeroForOne ? -net : net;
+            state.tick = zeroForOne ? tick - 1 : tick;
+        }
+        else if (next !== before)
+            state.tick = getTickAtSqrtRatio(next);
+    }
+    return { tokenOut, quoteSpent: amount - remaining };
+}
+/** Exact integer opening-curve outputs for ordered, unopened release templates.
+ * This is not a live-pool quote or execution proof. Funding, token callbacks,
+ * current registry admission and wallet execution remain separate authorities. */
+export function computeLifecycleOpeningBuys(options) {
+    const { plan, predictedToken } = options, states = new Map();
+    const quotes = [];
+    for (const [buyIndex, buy] of plan.buys.entries()) {
+        if (!Number.isSafeInteger(buy.marketIndex) || buy.marketIndex < 0 || typeof buy.quoteAmountIn !== "bigint" || buy.quoteAmountIn <= 0n || buy.quoteAmountIn > MAX_UINT256 >> 1n)
+            throw new LifecyclePlanningError("INVALID_BUY", "Opening buy requires a valid market and positive int256 input");
+        let state = states.get(buy.marketIndex);
+        if (state === undefined) {
+            state = openingState(plan, buy.marketIndex);
+            states.set(buy.marketIndex, state);
+        }
+        const market = plan.markets[buy.marketIndex], zeroForOne = BigInt(market.quoteAsset) < BigInt(predictedToken);
+        if (typeof buy.sqrtPriceLimitX96 !== "bigint")
+            throw new LifecyclePlanningError("INVALID_BUY_PRICE_LIMIT", "Opening buy price limit must be an exact bigint");
+        // Only the V4 lifecycle adapter resolves this sentinel. Abyss calls its
+        // pool directly, so zero remains invalid there. Never rewrite calldata.
+        const limit = market.configVersion !== 1 && buy.sqrtPriceLimitX96 === 0n
+            ? zeroForOne ? MIN_PRICE + 1n : MAX_PRICE - 1n : buy.sqrtPriceLimitX96;
+        if (market.quoteAsset.toLowerCase() === predictedToken.toLowerCase() || limit <= MIN_PRICE || limit >= MAX_PRICE ||
+            (zeroForOne ? limit >= state.price : limit <= state.price))
+            throw new LifecyclePlanningError("INVALID_BUY_PRICE_LIMIT", "Opening buy price limit must be strictly beyond the current curve price in the input direction");
+        const hookCharge = buy.quoteAmountIn * state.hookFee / PIPS;
+        const adjusted = buy.quoteAmountIn - hookCharge;
+        const result = swap(state, adjusted, limit, zeroForOne);
+        if (hookCharge > 0n && result.quoteSpent !== adjusted)
+            throw new LifecyclePlanningError("INCOMPLETE_BUY_FILL", "A specified-input hook fee requires the complete adjusted input to fill");
+        quotes.push({ buyIndex, marketIndex: buy.marketIndex, quoteAmountIn: buy.quoteAmountIn, quoteSpent: result.quoteSpent + hookCharge, tokenOut: result.tokenOut, sqrtPriceAfterX96: state.price });
+    }
+    return quotes;
+}
+//# sourceMappingURL=opening-buys.js.map

package/dist/lifecycle/opening-buys.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"opening-buys.js","sourceRoot":"","sources":["../../src/lifecycle/opening-buys.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AACtE,OAAO,EAAE,gCAAgC,EAAE,sCAAsC,EAAE,MAAM,cAAc,CAAC;AACxG,OAAO,EAAE,wBAAwB,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAE/E,OAAO,EAAE,sBAAsB,EAAiC,MAAM,YAAY,CAAC;AAEnF,gFAAgF;AAChF,8EAA8E;AAC9E,+EAA+E;AAC/E,uEAAuE;AACvE,MAAM,GAAG,GAAG,EAAE,IAAI,GAAG,CAAC;AACtB,MAAM,IAAI,GAAG,QAAU,CAAC;AACxB,MAAM,WAAW,GAAG,CAAC,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;AACtC,MAAM,SAAS,GAAG,WAAc,CAAC;AACjC,MAAM,SAAS,GAAG,kDAAkE,CAAC;AACrF,MAAM,IAAI,GAAG,CAAC,SAAiB,EAAE,WAAmB,EAAU,EAAE,CAAC,CAAC,SAAS,GAAG,WAAW,GAAG,EAAE,CAAC,GAAG,WAAW,CAAC;AAQ9G,iFAAiF;AACjF,MAAM,UAAU,sBAAsB,CAAC,IAAkB;IACvD,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE;QACnC,MAAM,MAAM,GAAG,wBAAwB,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;QACjI,OAAO,MAAM,EAAE,SAAS,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,KAAK,MAAM,CAAC,aAAa;YACjG,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,SAAS,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;IAC3F,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CAAC,IAAkB,EAAE,WAAmB;IAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACzC,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,sBAAsB,CAAC,aAAa,EAAE,8CAA8C,CAAC,CAAC;IAC1H,MAAM,MAAM,GAAG,wBAAwB,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;IACjI,IAAI,MAAM,EAAE,SAAS,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,KAAK,MAAM,CAAC,aAAa;QAC9F,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,SAAS,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,SAAS,CAAC,WAAW,EAAE;QAAE,MAAM,IAAI,sBAAsB,CAAC,0BAA0B,EAAE,sEAAsE,CAAC,CAAC;IAC/N,IAAI,KAAa,EAAE,OAAe,EAAE,KAAa,EAAE,OAAO,GAAG,EAAE,CAAC;IAChE,IAAI,SAAiF,CAAC;IACtF,IAAI,MAAM,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,gCAAgC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC/D,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,KAAK,MAAM,CAAC,GAAG,CAAC,CAAC;QACnF,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,GAAG,KAAK,SAAS,MAAM,CAAC,OAAO,EAAE;YAAE,MAAM,IAAI,sBAAsB,CAAC,gBAAgB,EAAE,qEAAqE,CAAC,CAAC;QAC9L,KAAK,GAAG,MAAM,CAAC,mBAAmB,CAAC;QAAC,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC;QAAC,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAAC,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;IAC3H,CAAC;SAAM,CAAC;QACN,yEAAyE;QACzE,4EAA4E;QAC5E,oEAAoE;QACpE,MAAM,MAAM,GAAG,sCAAsC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACxE,IAAI,MAAM,CAAC,SAAS,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,SAAS,CAAC,WAAW,EAAE;YAAE,MAAM,IAAI,sBAAsB,CAAC,gBAAgB,EAAE,qDAAqD,CAAC,CAAC;QACjL,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC;QAAC,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC;QAAC,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAAC,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;QAC1H,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,KAAK,qBAAqB,CAAC,gBAAgB,IAAI,MAAM,CAAC,GAAG,KAAK,qBAAqB,CAAC,gBAAgB,IAAI,MAAM,CAAC,GAAG,KAAK,qBAAqB,CAAC,gBAAgB,CAAC;QACxL,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,kBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,EAAE,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IACjF,IAAI,SAAS,GAAG,EAAE,CAAC;IACnB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;QACxG,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;QACxG,IAAI,QAAQ,CAAC,SAAS,IAAI,IAAI,IAAI,IAAI,GAAG,QAAQ,CAAC,SAAS;YAAE,SAAS,IAAI,QAAQ,CAAC,SAAS,CAAC;IAC/F,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;AAClI,CAAC;AAED,SAAS,UAAU,CAAC,KAAwB,EAAE,KAAa;IACzD,IAAI,IAAI,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IACnC,OAAO,IAAI,GAAG,KAAK,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,KAAK,CAAC,MAAM,CAAE,GAAG,KAAK;YAAE,IAAI,GAAG,MAAM,GAAG,CAAC,CAAC;;YAAM,KAAK,GAAG,MAAM,CAAC;IACrE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,KAAmB,EAAE,UAAmB;IACxD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjF,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,GAAG,CAAC,GAAG,GAAG,EAAE,IAAI,GAAG,KAAK,GAAG,GAAG,CAAC;IACrE,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,UAAU,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClH,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,WAAW,KAAK,SAAS,IAAI,WAAW,IAAI,KAAK,GAAG,KAAK,CAAC,OAAO,IAAI,WAAW,IAAI,IAAI,GAAG,KAAK,CAAC,OAAO;QACvH,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9D,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,OAAO,CAAC,CAAS,EAAE,CAAS,EAAE,SAAiB,EAAE,OAAgB;IACxE,IAAI,CAAC,GAAG,CAAC;QAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3B,MAAM,SAAS,GAAG,SAAS,GAAG,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,WAAW,GAAG,CAAC,GAAG,CAAC,CAAC;IACjE,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,WAAW,CAAC;AAC1E,CAAC;AACD,SAAS,OAAO,CAAC,CAAS,EAAE,CAAS,EAAE,SAAiB,EAAE,OAAgB;IACxE,MAAM,SAAS,GAAG,SAAS,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACtD,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC;AAC1D,CAAC;AACD,SAAS,UAAU,CAAC,KAAa,EAAE,SAAiB,EAAE,KAAa,EAAE,UAAmB;IACtF,IAAI,KAAK,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC/B,IAAI,CAAC,UAAU;QAAE,OAAO,KAAK,GAAG,KAAK,GAAG,GAAG,GAAG,SAAS,CAAC;IACxD,MAAM,SAAS,GAAG,SAAS,GAAG,GAAG,EAAE,OAAO,GAAG,KAAK,GAAG,KAAK,EAAE,WAAW,GAAG,SAAS,GAAG,OAAO,CAAC;IAC9F,OAAO,OAAO,IAAI,WAAW,IAAI,WAAW,IAAI,WAAW;QACzD,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,KAAK,EAAE,WAAW,CAAC;QACtC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,GAAG,KAAK,GAAG,KAAK,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,IAAI,CAAC,KAAmB,EAAE,MAAc,EAAE,KAAa,EAAE,UAAmB;IACnF,IAAI,SAAS,GAAG,MAAM,EAAE,QAAQ,GAAG,EAAE,CAAC;IACtC,OAAO,SAAS,GAAG,EAAE,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC;QACpG,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;QACtG,MAAM,SAAS,GAAG,SAAS,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;QAC1D,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QAC9H,IAAI,IAAY,EAAE,KAAa,CAAC;QAChC,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;YAC1B,IAAI,GAAG,MAAM,CAAC;YACd,KAAK,GAAG,QAAQ,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QACpG,CAAC;aAAM,CAAC;YACN,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;YAClE,KAAK,GAAG,SAAS,CAAC;QACpB,CAAC;QACD,QAAQ,IAAI,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACvH,SAAS,IAAI,KAAK,CAAC;QACnB,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;QACnB,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,GAAG,KAAK,SAAS;gBAAE,KAAK,CAAC,SAAS,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAClE,KAAK,CAAC,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5C,CAAC;aAAM,IAAI,IAAI,KAAK,MAAM;YAAE,KAAK,CAAC,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,GAAG,SAAS,EAAE,CAAC;AACtD,CAAC;AAED;;kFAEkF;AAClF,MAAM,UAAU,2BAA2B,CAAC,OAAwD;IAClG,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,OAAO,EAAE,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;IACnF,MAAM,MAAM,GAA+B,EAAE,CAAC;IAC9C,KAAK,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QAClD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,WAAW,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,aAAa,KAAK,QAAQ,IAAI,GAAG,CAAC,aAAa,IAAI,EAAE,IAAI,GAAG,CAAC,aAAa,GAAG,WAAW,IAAI,EAAE;YAAE,MAAM,IAAI,sBAAsB,CAAC,aAAa,EAAE,+DAA+D,CAAC,CAAC;QACjS,IAAI,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACxC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAAC,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QAAC,CAAC;QAC7G,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAE,EAAE,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;QAC/G,IAAI,OAAO,GAAG,CAAC,iBAAiB,KAAK,QAAQ;YAAE,MAAM,IAAI,sBAAsB,CAAC,yBAAyB,EAAE,iDAAiD,CAAC,CAAC;QAC9J,wEAAwE;QACxE,wEAAwE;QACxE,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,KAAK,CAAC,IAAI,GAAG,CAAC,iBAAiB,KAAK,EAAE;YACtE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC;QACzE,IAAI,MAAM,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,cAAc,CAAC,WAAW,EAAE,IAAI,KAAK,IAAI,SAAS,IAAI,KAAK,IAAI,SAAS;YAC9G,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,sBAAsB,CAAC,yBAAyB,EAAE,gGAAgG,CAAC,CAAC;QAC5N,MAAM,UAAU,GAAG,GAAG,CAAC,aAAa,GAAG,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;QAC5D,MAAM,QAAQ,GAAG,GAAG,CAAC,aAAa,GAAG,UAAU,CAAC;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;QACxD,IAAI,UAAU,GAAG,EAAE,IAAI,MAAM,CAAC,UAAU,KAAK,QAAQ;YAAE,MAAM,IAAI,sBAAsB,CAAC,qBAAqB,EAAE,yEAAyE,CAAC,CAAC;QAC1L,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,GAAG,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,iBAAiB,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;IACnM,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/lifecycle/planner.d.ts

@@ -4,8 +4,8 @@ import { type BuildNextTransactionOptions, type LifecycleSimulation, type Lifecy
 export declare function prepareAndPlanLifecycleLaunch(options: PrepareAndPlanLifecycleLaunchOptions): Promise<PlannedLaunch>;
 /** Independently fresh current-state admission of an already finalized commitment. No broadcasts. */
 export declare function planLaunch(options: PlanLaunchOptions): Promise<PlannedLaunch>;
-/** Recovery observes real canonical receipts/nonces, then proves only unfinished
- * execution; known construction metadata is not recertified through getter mirrors. */
+/** Recovery observes real canonical receipts, then evaluates only unfinished
+ * execution; the wallet owns its nonce and assignment at send time. */
 export declare function buildNextTransaction(options: BuildNextTransactionOptions): Promise<LifecycleTransaction | undefined>;
 /** Re-simulates only canonical unfinished work with the same submitted receipt
  * evidence and confirmation depth as build-next, never silently dropping context. */

package/dist/lifecycle/planner.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"planner.d.ts","sourceRoot":"","sources":["../../src/lifecycle/planner.ts"],"names":[],"mappings":"AASA,OAAO,EAA0B,KAAK,2BAA2B,EAAkN,KAAK,mBAAmB,EAAE,KAAK,oBAAoB,EAAE,KAAK,aAAa,EAAE,KAAK,iBAAiB,EAAE,KAAK,oCAAoC,EAAE,KAAK,yBAAyB,EAAE,MAAM,YAAY,CAAC;AAyQld;wFACwF;AACxF,wBAAsB,6BAA6B,CAAC,OAAO,EAAE,oCAAoC,GAAG,OAAO,CAAC,aAAa,CAAC,CA+EzH;AAED,qGAAqG;AACrG,wBAAsB,UAAU,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,aAAa,CAAC,CAQnF;AA2ID;uFACuF;AACvF,wBAAsB,oBAAoB,CAAC,OAAO,EAAE,2BAA2B,GAAG,OAAO,CAAC,oBAAoB,GAAG,SAAS,CAAC,CAmF1H;AAED;qFACqF;AACrF,wBAAsB,kBAAkB,CAAC,OAAO,EAAE,yBAAyB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAWzG"}
+{"version":3,"file":"planner.d.ts","sourceRoot":"","sources":["../../src/lifecycle/planner.ts"],"names":[],"mappings":"AASA,OAAO,EAA0B,KAAK,2BAA2B,EAAkN,KAAK,mBAAmB,EAAE,KAAK,oBAAoB,EAAE,KAAK,aAAa,EAAE,KAAK,iBAAiB,EAAE,KAAK,oCAAoC,EAAE,KAAK,yBAAyB,EAAE,MAAM,YAAY,CAAC;AAoSld;wFACwF;AACxF,wBAAsB,6BAA6B,CAAC,OAAO,EAAE,oCAAoC,GAAG,OAAO,CAAC,aAAa,CAAC,CAuEzH;AAED,qGAAqG;AACrG,wBAAsB,UAAU,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,aAAa,CAAC,CAQnF;AA6HD;uEACuE;AACvE,wBAAsB,oBAAoB,CAAC,OAAO,EAAE,2BAA2B,GAAG,OAAO,CAAC,oBAAoB,GAAG,SAAS,CAAC,CA2F1H;AAED;qFACqF;AACrF,wBAAsB,kBAAkB,CAAC,OAAO,EAAE,yBAAyB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAWzG"}