@black-market/sdk 0.13.0 → 0.14.0

package/dist/lifecycle/mining.js

@@ -0,0 +1,89 @@
+import { parseAbi } from "viem";
+import { hasLifecycleV4HookPermissions, minePoolBoundHookSalt, predictPoolBoundHookAddress } from "./markets.js";
+import { readLifecycleContract } from "./rpc.js";
+import { LifecyclePlanningError } from "./types.js";
+import { lifecycleLensSnapshot } from "./lens.js";
+export const hookSaltMinerAbi = parseAbi(["function findMany((address deployer, bytes32 initCodeHash, uint256 startSalt, uint160 flags)[] searches, uint256 maxAttempts) pure returns (bytes32[] salts, address[] hooks, bool[] found)"]);
+/** Read-only bounded EVM mining; every returned winner is checked with local CREATE2. */
+export async function mineLifecycleHooks(options) {
+    const { deployments, signal, onProgress, miner, client, block } = options;
+    const checkActive = () => { if (signal?.aborted)
+        throw Object.assign(new Error("Lifecycle hook mining cancelled"), { name: "AbortError" }); };
+    checkActive();
+    if (miner === undefined)
+        return Promise.all(deployments.map(async (deployment) => ({ ...deployment,
+            ...await minePoolBoundHookSalt({ ...deployment, startSalt: BigInt(deployment.salt), signal,
+                onProgress: onProgress === undefined ? undefined : (progress) => onProgress({ marketIndex: deployment.marketIndex, ...progress }) }),
+        })));
+    const results = deployments.map((deployment) => ({ ...deployment }));
+    const lens = lifecycleLensSnapshot(client, block);
+    let pending = [];
+    for (const [index, deployment] of deployments.entries()) {
+        const observed = lens?.hookDeployments.find((hook) => hook.marketIndex === deployment.marketIndex);
+        if (observed === undefined) {
+            pending.push(index);
+            continue;
+        }
+        const predictedHook = predictPoolBoundHookAddress({ ...deployment, salt: observed.salt });
+        if (observed.deployer.toLowerCase() !== deployment.deployer.toLowerCase() || observed.initCodeHash.toLowerCase() !== deployment.initCodeHash.toLowerCase() ||
+            BigInt(observed.salt) < BigInt(deployment.salt) || observed.found && (observed.hook.toLowerCase() !== predictedHook.toLowerCase() || !hasLifecycleV4HookPermissions(predictedHook))) {
+            throw new LifecyclePlanningError("INVALID_MINER_RESULT", "LaunchLens hook result differs from the locally derived constructor or CREATE2 address");
+        }
+        results[index] = { ...deployment, salt: observed.salt, predictedHook };
+        if (!observed.found)
+            pending.push(index);
+        else
+            onProgress?.({ marketIndex: deployment.marketIndex, salt: observed.salt, predictedHook, attempts: BigInt(observed.salt) - BigInt(deployment.salt) + 1n });
+    }
+    while (pending.length > 0) {
+        checkActive();
+        let maxAttempts = BigInt(Math.floor(150_000 / pending.length));
+        for (const index of pending) {
+            const available = (1n << 256n) - 1n - BigInt(results[index].salt);
+            if (available < maxAttempts)
+                maxAttempts = available;
+        }
+        if (maxAttempts === 0n) {
+            pending = pending.filter((index) => {
+                const deployment = results[index];
+                if (BigInt(deployment.salt) !== (1n << 256n) - 1n)
+                    return true;
+                const predictedHook = predictPoolBoundHookAddress(deployment);
+                if (!hasLifecycleV4HookPermissions(predictedHook))
+                    throw new LifecyclePlanningError("HOOK_SALT_EXHAUSTED", "No valid hook address remains in the uint256 salt range");
+                results[index] = { ...deployment, predictedHook };
+                onProgress?.({ marketIndex: deployment.marketIndex, salt: deployment.salt, predictedHook, attempts: BigInt(deployment.salt) - BigInt(deployments[index].salt) + 1n });
+                return false;
+            });
+            continue;
+        }
+        const searches = pending.map((index) => ({ deployer: results[index].deployer, initCodeHash: results[index].initCodeHash, startSalt: BigInt(results[index].salt), flags: 0x1afcn }));
+        const [salts, hooks, found] = await readLifecycleContract(client, miner, hookSaltMinerAbi, "findMany", [searches, maxAttempts], block);
+        checkActive();
+        if (salts.length !== pending.length || hooks.length !== pending.length || found.length !== pending.length)
+            throw new LifecyclePlanningError("INVALID_MINER_RESULT", "Hook miner omitted a search result");
+        const unfinished = [];
+        for (const [ordinal, index] of pending.entries()) {
+            const deployment = results[index];
+            const salt = salts[ordinal];
+            const end = searches[ordinal].startSalt + maxAttempts;
+            const predictedHook = predictPoolBoundHookAddress({ ...deployment, salt });
+            if (found[ordinal]) {
+                if (BigInt(salt) < searches[ordinal].startSalt || BigInt(salt) >= end || hooks[ordinal].toLowerCase() !== predictedHook.toLowerCase() || !hasLifecycleV4HookPermissions(predictedHook))
+                    throw new LifecyclePlanningError("INVALID_MINER_RESULT", "Hook miner returned an invalid CREATE2 salt or permission mask");
+            }
+            else {
+                if (BigInt(salt) !== end)
+                    throw new LifecyclePlanningError("INVALID_MINER_RESULT", "Hook miner did not advance to the next unsearched salt");
+                unfinished.push(index);
+            }
+            results[index] = { ...deployment, salt, predictedHook };
+            onProgress?.({ marketIndex: deployment.marketIndex, salt, predictedHook, attempts: BigInt(salt) - BigInt(deployments[index].salt) + (found[ordinal] ? 1n : 0n) });
+            checkActive();
+        }
+        pending = unfinished;
+    }
+    checkActive();
+    return results;
+}
+//# sourceMappingURL=mining.js.map

package/dist/lifecycle/mining.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mining.js","sourceRoot":"","sources":["../../src/lifecycle/mining.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAA0B,MAAM,MAAM,CAAC;AACxD,OAAO,EAAE,6BAA6B,EAAE,qBAAqB,EAAE,2BAA2B,EAAE,MAAM,cAAc,CAAC;AACjH,OAAO,EAAE,qBAAqB,EAAE,MAAM,UAAU,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAmI,MAAM,YAAY,CAAC;AACrL,OAAO,EAAE,qBAAqB,EAAE,MAAM,WAAW,CAAC;AAElD,MAAM,CAAC,MAAM,gBAAgB,GAAG,QAAQ,CAAC,CAAC,6LAA6L,CAAC,CAAC,CAAC;AAE1O,yFAAyF;AACzF,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,OAIxC;IACC,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC1E,MAAM,WAAW,GAAG,GAAG,EAAE,GAAG,IAAI,MAAM,EAAE,OAAO;QAAE,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,iCAAiC,CAAC,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9I,WAAW,EAAE,CAAC;IACd,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,UAAU;YAChG,GAAG,MAAM,qBAAqB,CAAC,EAAE,GAAG,UAAU,EAAE,SAAS,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM;gBACxF,UAAU,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE,UAAU,CAAC,WAAW,EAAE,GAAG,QAAQ,EAAE,CAAC,EAAE,CAAC;SACvI,CAAC,CAAC,CAAC,CAAC;IACL,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAClD,IAAI,OAAO,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;QACxD,MAAM,QAAQ,GAAG,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,KAAK,UAAU,CAAC,WAAW,CAAC,CAAC;QACnG,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC9D,MAAM,aAAa,GAAG,2BAA2B,CAAC,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1F,IAAI,QAAQ,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,UAAU,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,QAAQ,CAAC,YAAY,CAAC,WAAW,EAAE,KAAK,UAAU,CAAC,YAAY,CAAC,WAAW,EAAE;YACxJ,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,KAAK,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,aAAa,CAAC,WAAW,EAAE,IAAI,CAAC,6BAA6B,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC;YACtL,MAAM,IAAI,sBAAsB,CAAC,sBAAsB,EAAE,wFAAwF,CAAC,CAAC;QACrJ,CAAC;QACD,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,EAAE,CAAC;QACvE,IAAI,CAAC,QAAQ,CAAC,KAAK;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;;YACpC,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,UAAU,CAAC,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACjK,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,WAAW,EAAE,CAAC;QACd,IAAI,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/D,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,MAAM,SAAS,GAAG,CAAC,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC,CAAC;YACnE,IAAI,SAAS,GAAG,WAAW;gBAAE,WAAW,GAAG,SAAS,CAAC;QACvD,CAAC;QACD,IAAI,WAAW,KAAK,EAAE,EAAE,CAAC;YACvB,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;gBACjC,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAE,CAAC;gBACnC,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE;oBAAE,OAAO,IAAI,CAAC;gBAC/D,MAAM,aAAa,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;gBAC9D,IAAI,CAAC,6BAA6B,CAAC,aAAa,CAAC;oBAAE,MAAM,IAAI,sBAAsB,CAAC,qBAAqB,EAAE,yDAAyD,CAAC,CAAC;gBACtK,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,UAAU,EAAE,aAAa,EAAE,CAAC;gBAClD,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,UAAU,CAAC,WAAW,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBACvK,OAAO,KAAK,CAAC;YACf,CAAC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAE,CAAC,QAAQ,EAAE,YAAY,EAAE,OAAO,CAAC,KAAK,CAAE,CAAC,YAAY,EAAE,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QACvL,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,MAAM,qBAAqB,CAAoE,MAAM,EAAE,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC;QAC1M,WAAW,EAAE,CAAC;QACd,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;YAAE,MAAM,IAAI,sBAAsB,CAAC,sBAAsB,EAAE,oCAAoC,CAAC,CAAC;QAC1M,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;YACjD,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAE,CAAC;YACnC,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAE,CAAC,SAAS,GAAG,WAAW,CAAC;YACvD,MAAM,aAAa,GAAG,2BAA2B,CAAC,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YAC3E,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnB,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAE,CAAC,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,KAAK,CAAC,OAAO,CAAE,CAAC,WAAW,EAAE,KAAK,aAAa,CAAC,WAAW,EAAE,IAAI,CAAC,6BAA6B,CAAC,aAAa,CAAC;oBAAE,MAAM,IAAI,sBAAsB,CAAC,sBAAsB,EAAE,gEAAgE,CAAC,CAAC;YACvT,CAAC;iBAAM,CAAC;gBACN,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG;oBAAE,MAAM,IAAI,sBAAsB,CAAC,sBAAsB,EAAE,wDAAwD,CAAC,CAAC;gBAC7I,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACzB,CAAC;YACD,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;YACxD,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,UAAU,CAAC,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACnK,WAAW,EAAE,CAAC;QAChB,CAAC;QACD,OAAO,GAAG,UAAU,CAAC;IACvB,CAAC;IACD,WAAW,EAAE,CAAC;IACd,OAAO,OAAO,CAAC;AACjB,CAAC"}

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;AAuQld;wFACwF;AACxF,wBAAsB,6BAA6B,CAAC,OAAO,EAAE,oCAAoC,GAAG,OAAO,CAAC,aAAa,CAAC,CAgFzH;AAED,qGAAqG;AACrG,wBAAsB,UAAU,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,aAAa,CAAC,CAQnF;AA4JD;uFACuF;AACvF,wBAAsB,oBAAoB,CAAC,OAAO,EAAE,2BAA2B,GAAG,OAAO,CAAC,oBAAoB,GAAG,SAAS,CAAC,CAqD1H;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;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"}

package/dist/lifecycle/planner.js

@@ -3,9 +3,9 @@ import { ABYSS_FEE_TIERS } from "../abyss.js";
 import { assertLaunchTopologyCoverage, getTickAtSqrtRatio } from "../launch.js";
 import { launchLifecycleAbi, lifecycleAdapterAbi, lifecycleErc20Abi } from "./abi.js";
 import { hashLaunchIdentity, hashLaunchPlan, LifecycleFundingKind, LifecyclePhase, LifecycleRewardMode, LifecycleTokenKind, LIFECYCLE_MAX_REWARD_ERC20_SUPPLY, LIFECYCLE_MAX_ERC404_SUPPLY, parseLaunchPlan, serializeLaunchPlan } from "./schema.js";
-import { readLaunchProgress, readLifecycleHeadProgress, readLifecycleProfiles, readLifecycleTokenAtBlock, readPoolBoundHookDeployment } from "./progress.js";
-import { decodeAbyssLifecycleMarketConfig, decodePoolBoundV4LifecycleMarketConfig, decodeV4LifecycleMarketConfig, encodePoolBoundV4LifecycleMarketConfig, isPoolBoundV4ConfigVersion, minePoolBoundHookSalt } from "./markets.js";
-import { assertLifecycleBlock, assertLifecycleReadClientOpen, lifecycleFailureReason, lifecyclePinnedRpc, lifecycleStaticRpc, lifecycleRpc, lifecycleStage, readLifecycleBlock, readLifecycleChainId, readLifecycleContract, readLifecycleGasPrice, resolveLifecycleLimits, rpcHex, rpcQuantity, withLifecycleReadClient } from "./rpc.js";
+import { readLaunchProgress, readLifecycleExecutionProgress, readLifecycleHeadProgress, readLifecycleProfiles, readLifecycleTokenAtBlock, readPoolBoundHookDeployment } from "./progress.js";
+import { decodeAbyssLifecycleMarketConfig, decodePoolBoundV4LifecycleMarketConfig, decodeV4LifecycleMarketConfig, encodePoolBoundV4LifecycleMarketConfig, isPoolBoundV4ConfigVersion } from "./markets.js";
+import { assertLifecycleReadClientOpen, lifecycleFailureReason, lifecyclePinnedRpc, lifecycleStaticRpc, lifecycleRpc, lifecycleStage, readLifecycleChainId, readLifecycleContract, readLifecycleGasPrice, resolveLifecycleLimits, rpcHex, rpcQuantity, withLifecycleReadClient } from "./rpc.js";
 import { prepareLaunchSimulation, simulateLaunchTransactions } from "./simulation.js";
 import { LifecyclePlanningError } from "./types.js";
 import { deriveKnownPoolBoundHookDeployment, protectOrderedBuyMinimums, validateBuySlippageBps } from "./calibration.js";
@@ -14,6 +14,8 @@ import { buildLaunchTransactions, packPreparationBatches } from "./transactions.
 import { assertLifecycleMarketAllocation, assertLifecycleSupplyAllocation } from "./allocations.js";
 import { assertUfgLaunchAccount, hashUfgLaunchConfig, UFG_LAUNCH_PROXY_ADDRESS } from "./ufg-config.js";
 import { buildUfgLaunchTransactions, buildUfgCancelTransaction, validateUfgLaunchPlan } from "./ufg.js";
+import { readLifecyclePlanningBlock } from "./snapshot.js";
+import { mineLifecycleHooks } from "./mining.js";
 function validatePlanShape(plan) {
     // Encoding checks all exact integer widths, addresses, byte strings and tuple fields.
     const commitment = hashLaunchPlan(plan);
@@ -321,32 +323,28 @@ export async function prepareAndPlanLifecycleLaunch(options) {
             throw new LifecyclePlanningError("INVALID_GAS_ENVELOPE", "Fixed final envelope changed during preparation");
     };
     const result = await withLifecycleReadClient(options.client, async (client) => {
-        const [block, chainId] = await Promise.all([readLifecycleBlock(client), readLifecycleChainId(client)]);
+        const block = await readLifecyclePlanningBlock(client, draft, options.account, options.ufg !== undefined, true);
+        const chainId = await readLifecycleChainId(client);
         if (chainId !== draft.chainId)
             throw new LifecyclePlanningError("CHAIN_MISMATCH", "RPC chain differs from the economic plan being finalized");
         const metadata = needsMining ? await Promise.all(draft.markets.map((market, marketIndex) => isPoolBoundV4ConfigVersion(market.configVersion)
             ? readPoolBoundHookDeployment({ client, plan: draft, marketIndex }, block) : undefined)) : [];
         assertDraft();
         const markets = [...draft.markets];
-        const minedDeployments = [];
-        for (const [marketIndex, deployment] of metadata.entries()) {
-            if (deployment === undefined)
-                continue;
+        const minedDeployments = await mineLifecycleHooks({ client, block,
+            miner: getKnownLifecycleDeployment({ chainId, orchestrator: draft.orchestrator })?.hookSaltMiner,
+            deployments: metadata.flatMap((deployment, marketIndex) => deployment === undefined ? [] : [{ marketIndex, ...deployment }]),
+            signal: options.signal, onProgress: options.onProgress });
+        for (const mined of minedDeployments) {
             assertDraft();
-            const mined = await minePoolBoundHookSalt({
-                deployer: deployment.deployer, initCodeHash: deployment.initCodeHash, startSalt: BigInt(deployment.salt), signal: options.signal,
-                onProgress: options.onProgress === undefined ? undefined : (progress) => options.onProgress?.({ marketIndex, ...progress }),
-            });
+            const marketIndex = mined.marketIndex;
             const market = markets[marketIndex];
             if (!isPoolBoundV4ConfigVersion(market.configVersion))
                 throw new LifecyclePlanningError("INVALID_BOUND_MARKET", "Mined market lost its explicit pool-bound version");
             markets[marketIndex] = { ...market, config: encodePoolBoundV4LifecycleMarketConfig({ ...decodePoolBoundV4LifecycleMarketConfig(market.config, market.configVersion), hookSalt: mined.salt }) };
-            minedDeployments.push({ marketIndex, deployer: deployment.deployer, initCodeHash: deployment.initCodeHash, ...mined });
         }
         assertDraft();
-        // Mining is local construction, not a state admission. Economic observations
-        // start at a fresh post-mining snapshot and share it through final protection.
-        const executionBlock = needsMining ? await readLifecycleBlock(client) : block;
+        const executionBlock = block;
         assertDraft();
         const price = heldEnvelope === undefined ? undefined : heldEnvelope.gasPrice ?? rpcQuantity(await readLifecycleGasPrice(client), "gas price");
         const baseFeeEnvelope = (executionBlock.baseFeePerGas ?? 0n) * 2n;
@@ -356,11 +354,12 @@ export async function prepareAndPlanLifecycleLaunch(options) {
         });
         let plan = { ...draft, markets };
         let ownedProgress;
+        let sizing;
         if (needsProtection) {
             // A diagnostic minimum is never returned as an admitted or executable plan.
             // Price guards, funding minima, recipients and all ordered budgets stay exact.
             const diagnosticPlan = { ...plan, buys: plan.buys.map((buy) => ({ ...buy, minTokenOut: 1n })) };
-            const diagnostic = await lifecycleStage(client, "plan", () => planLaunchWithReads({ ...options, plan: diagnosticPlan }, client, executionBlock, undefined, true, undefined, finalEnvelope));
+            const diagnostic = await lifecycleStage(client, "plan", () => planLaunchWithReads({ ...options, plan: diagnosticPlan }, client, executionBlock, undefined, true, finalEnvelope));
             assertDraft();
             if (diagnostic.progress.canonical.phase !== LifecyclePhase.None || diagnostic.progress.head.phase !== LifecyclePhase.None)
                 throw new LifecyclePlanningError("LAUNCH_ALREADY_STARTED", "Buy protection cannot replace an already committed launch plan");
@@ -368,8 +367,9 @@ export async function prepareAndPlanLifecycleLaunch(options) {
             // This is the real SDK-owned None observation, not an assumed new-launch
             // state. No onchain commitment existed at this exact snapshot to replace.
             ownedProgress = { ...diagnostic.progress, planHash: hashLaunchPlan(plan) };
+            sizing = new Map(diagnostic.simulation.steps.map((step) => [step.transactionId, step.gasRequired ?? step.gasUsed]));
         }
-        const planned = await lifecycleStage(client, "plan", () => planLaunchWithReads({ ...options, plan }, client, executionBlock, ownedProgress, false, undefined, finalEnvelope));
+        const planned = await lifecycleStage(client, "plan", () => planLaunchWithReads({ ...options, plan }, client, executionBlock, ownedProgress, false, finalEnvelope, sizing));
         assertDraft();
         assertFinalPlan(planned, options.signal);
         if (planned.progress.canonical.phase !== LifecyclePhase.Active && planned.progress.canonical.phase !== LifecyclePhase.Cancelled) {
@@ -397,12 +397,12 @@ export async function planLaunch(options) {
     assertFinalPlan(result, options.signal);
     return result;
 }
-async function planLaunchWithReads(options, client, pinnedBlock, ownedProgress, diagnostic = false, reviewed, fixedFinalEnvelope) {
+async function planLaunchWithReads(options, client, pinnedBlock, ownedProgress, diagnostic = false, fixedFinalEnvelope, sizing) {
     const { plan, account, mode, ufg } = options;
     const { commitment: planHash, marketConfigs, ufgConfigHash } = validatePlanningIntent(options);
     const launchId = hashLaunchIdentity(plan);
     const [block, chainId] = await lifecycleStage(client, "plan.context", () => Promise.all([
-        pinnedBlock ?? readLifecycleBlock(client), readLifecycleChainId(client),
+        pinnedBlock ?? readLifecyclePlanningBlock(client, plan, account, ufg !== undefined), readLifecycleChainId(client),
     ]));
     if (chainId !== plan.chainId)
         throw new LifecyclePlanningError("CHAIN_MISMATCH", "RPC chain differs from the committed plan");
@@ -451,11 +451,9 @@ async function planLaunchWithReads(options, client, pinnedBlock, ownedProgress,
             hookDeployments.push({ marketIndex, ...(known?.deployment ?? await readPoolBoundHookDeployment({ client, plan, marketIndex }, block)) });
         }
         const waiting = { ...placeholder, confidence: "stateful", reason: !progress.confirmationSafe ? "Canonical confirmed progress/account nonce has not caught up with head or pending transactions; wait for the selected confirmation depth" : "Wait for canonical receipt confirmations or resolve replacement before requesting another transaction" };
-        await assertLifecycleBlock(client, block, plan.chainId);
         return { ...planned, hookDeployments, simulation: waiting };
     }
     if (progress.canonical.phase === LifecyclePhase.Active || progress.canonical.phase === LifecyclePhase.Cancelled) {
-        await assertLifecycleBlock(client, block, plan.chainId);
         return { ...planned, simulation: { ...placeholder, confidence: "stateful", executionProof: "proved", protocolFit: "proved", admitted: true, reason: "Canonical launch is terminal; no transaction remains" } };
     }
     // Topology is a creation policy, not a retroactive obstacle to recovery of
@@ -472,45 +470,29 @@ async function planLaunchWithReads(options, client, pinnedBlock, ownedProgress,
     const computeCap = limits.transactionGasCeiling !== undefined && limits.transactionGasCeiling < limits.executionGasCeiling ? limits.transactionGasCeiling : limits.executionGasCeiling;
     let batches = [];
     if (mode === "staged")
-        batches = reviewed === undefined ? packPreparationBatches(plan, prepared, computeCap)
-            : [...(prepared > 0 ? [prepared] : []), ...(prepared < plan.markets.length ? [plan.markets.length - prepared] : [])];
-    if (reviewed !== undefined && reviewed.kind === "prepare") {
-        // Canonical progress fixes the start; the exact held calldata fixes its span.
-        // Never rediscover a batch or enlarge a reviewed transaction.
-        const match = /^prepare:(\d+):(\d+)$/.exec(reviewed.id);
-        const start = Number(match?.[1]), count = Number(match?.[2]);
-        if (start !== prepared || !Number.isSafeInteger(count) || count <= 0 || start + count > plan.markets.length)
-            throw new LifecyclePlanningError("REVIEWED_TRANSACTION_MISMATCH", "Reviewed preparation differs from canonical unfinished progress");
-        batches = [...(prepared > 0 ? [prepared] : []), count, ...(start + count < plan.markets.length ? [plan.markets.length - start - count] : [])];
-    }
+        batches = packPreparationBatches(plan, prepared, computeCap);
     let transactions = orderedTransactions(plan, mode, progress, funding.approvals, batches, ufg);
     if (fixedFinalEnvelope !== undefined && (transactions.length !== 1 || transactions[0].kind !== "atomic")) {
         throw new LifecyclePlanningError("INVALID_GAS_ENVELOPE", "Fixed final envelope requires one immediate atomic launch with no preceding approvals");
     }
-    if (reviewed !== undefined) {
-        if (!matchesReviewedNextTransaction(transactions[0], reviewed))
-            throw new LifecyclePlanningError("REVIEWED_TRANSACTION_MISMATCH", "Reviewed transaction differs from the current canonical unfinished next step");
-        transactions = transactions.slice(0, 1);
-    }
     if (metadata.reasons.length > 0) {
-        await assertLifecycleBlock(client, block, plan.chainId);
         return { ...planned, simulation: { ...placeholder, confidence: "stateful", reason: metadata.reasons.join("; "), failureCategory: "semantic" }, transactions, totalCalldataBytes: transactions.reduce((total, transaction) => total + (transaction.data.length - 2) / 2, 0) };
     }
-    const envelope = diagnostic ? undefined : reviewed ?? fixedFinalEnvelope;
-    const preparedSimulation = prepareLaunchSimulation({ client, planned, limits: options.limits, fork: options.fork, signal: options.signal }, block, true, envelope, fixedFinalEnvelope?.gasPrice);
+    const envelope = diagnostic ? undefined : fixedFinalEnvelope;
+    const preparedSimulation = prepareLaunchSimulation({ client, planned, limits: options.limits, fork: options.fork, signal: options.signal }, block, true, envelope, fixedFinalEnvelope?.gasPrice, sizing);
     try {
         const execute = diagnostic ? preparedSimulation.measure : (candidate) => preparedSimulation(candidate, envelope);
         let simulation = await execute(transactions);
         assertFinalPlan(planned, options.signal);
         if (mode === "staged") {
-            // Only a measurement that consumed almost its entire legal envelope
-            // invalidates packing estimates, including gas hidden by CREATE wrappers.
-            while (reviewed === undefined && !simulation.admitted && simulation.failedTransactionId?.startsWith("prepare:")) {
+            // Only pressure at the native ceiling can invalidate packing. A smaller
+            // affordability/RPC/account envelope is not evidence for another wallet write.
+            while (!simulation.admitted && simulation.failedTransactionId?.startsWith("prepare:")) {
                 const failedIndex = transactions.findIndex((transaction) => transaction.id === simulation.failedTransactionId);
                 const failedTransaction = transactions[failedIndex];
                 const step = simulation.steps.find((candidate) => candidate.transactionId === simulation.failedTransactionId);
                 const count = failedTransaction?.marketCount ?? 0;
-                if (count <= 1 || step?.estimate !== undefined || step?.gasUsed === undefined || step.gasLimit === undefined || step.gasUsed * 100n < step.gasLimit * 95n)
+                if (count <= 1 || step?.gasUsed === undefined || step.gasLimit === undefined || step.gasLimit < limits.executionGasCeiling || step.gasUsed * 100n < limits.executionGasCeiling * 95n)
                     break;
                 let first = 0;
                 const batchIndex = batches.findIndex((batch) => { const matches = first === failedTransaction?.marketStart; first += batch; return matches; });
@@ -526,9 +508,6 @@ async function planLaunchWithReads(options, client, pinnedBlock, ownedProgress,
         else if (!diagnostic && !simulation.admitted && !(simulation.capacityConstraint === "compute" && simulation.confidence === "provisional")) {
             simulation = { ...simulation, reason: `${simulation.reason ?? "Exact atomic plan is not admitted"}; choose staged explicitly only if empty preparation can be partitioned and complete activation fits` };
         }
-        if (reviewed !== undefined && !matchesReviewedNextTransaction(transactions[0], reviewed)) {
-            throw new LifecyclePlanningError("REVIEWED_TRANSACTION_MISMATCH", "Reviewed transaction differs from the current canonical unfinished next step");
-        }
         return { ...planned, simulation, transactions: attachEstimates(transactions, simulation), totalCalldataBytes: transactions.reduce((total, transaction) => total + (transaction.data.length - 2) / 2, 0) };
     }
     finally {
@@ -556,8 +535,6 @@ async function preflightNextTransaction(options, next, simulation, reviewed) {
             }, "latest"]), "submission gas estimate");
         if (estimated <= 0n || estimated > next.gas)
             throw new Error("Submission RPC gas estimate exceeds the exact reviewed envelope or is zero");
-        if (rpcQuantity(await lifecycleRpc(submissionClient, "eth_chainId"), "submission chain ID") !== simulation.chainId)
-            throw new Error("Active submission RPC chain changed during preflight");
         assertPlanningActive(options.signal);
     }
     catch (failure) {
@@ -581,7 +558,7 @@ export async function buildNextTransaction(options) {
     const reviewed = supplied === undefined ? undefined : Object.freeze({ id: supplied.id, kind: supplied.kind, chainId: supplied.chainId,
         from: supplied.from, to: supplied.to, data: supplied.data, value: supplied.value, gas: supplied.gas, gasPrice: supplied.gasPrice, nonce: supplied.nonce });
     const result = await withLifecycleReadClient(options.client, async (client) => {
-        const block = await readLifecycleBlock(client);
+        const block = await readLifecyclePlanningBlock(client, options.planned.plan, options.planned.account, options.planned.ufg !== undefined);
         const limitSource = options.limits === undefined ? options.planned.limits : options.limits;
         if (getKnownLifecycleDeployment({ chainId: options.planned.chainId, orchestrator: options.planned.plan.orchestrator }) !== undefined && typeof limitSource !== "function") {
             await Promise.all([
@@ -590,12 +567,11 @@ export async function buildNextTransaction(options) {
                 resolveLifecycleLimits({ client, account: options.planned.account, orchestrator: options.planned.plan.orchestrator, block, chainId: options.planned.chainId }, limitSource),
             ]);
         }
-        const progress = await readLaunchProgress({ ...options, client }, block);
+        const progress = await readLifecycleExecutionProgress({ ...options, client }, block);
         if (progress.canonical.phase === LifecyclePhase.Active || progress.canonical.phase === LifecyclePhase.Cancelled) {
             // Only the confirmed canonical terminal phase is terminal; a head-only
             // Active observation is not, and the confirmation/nonce/receipt gates below
             // remain in force for every nonterminal case.
-            await assertLifecycleBlock(client, block, options.planned.chainId);
             return undefined;
         }
         if (!progress.confirmationSafe)
@@ -621,16 +597,48 @@ export async function buildNextTransaction(options) {
                 throw new LifecyclePlanningError("MISSING_GAS_PROOF", "Cancellation omitted its exact simulation admission", simulation);
             return preflightNextTransaction(options, next, simulation, reviewed);
         }
-        const refreshed = await lifecycleStage(client, "plan", () => planLaunchWithReads({ client, plan: options.planned.plan, account: options.planned.account, mode: options.planned.mode, limits: options.limits === undefined ? options.planned.limits : options.limits, fork: options.fork, receipts: options.receipts, confirmations: options.confirmations ?? options.planned.confirmations, signal: options.signal,
-            ufg: options.planned.ufg, allowTopologyGaps: options.planned.allowTopologyGaps, allowMissingPermanentTail: options.planned.allowMissingPermanentTail }, client, block, progress, false, reviewed));
-        assertFinalPlan(refreshed, options.signal);
-        if (!refreshed.simulation.admitted)
-            throw new LifecyclePlanningError("PLAN_NOT_ADMITTED", refreshed.simulation.reason ?? "Remaining exact launch sequence is not admitted", refreshed.simulation);
-        assertPlannedDeploymentBindings(options.planned, refreshed);
-        const next = refreshed.transactions[0];
-        if (next === undefined)
+        const { planned } = options;
+        assertFinalPlan(planned, options.signal);
+        const funding = progress.canonical.phase === LifecyclePhase.None
+            ? await readFunding(client, planned.plan, block, planned.account, planned.ufg !== undefined)
+            : { prerequisites: [], approvals: [] };
+        const prepared = progress.canonical.preparedMarkets;
+        let batches = [];
+        if (planned.mode === "staged") {
+            let suffixStart = prepared;
+            const prefix = prepared > 0 ? [prepared] : [];
+            if (reviewed?.kind === "prepare") {
+                const span = /^prepare:(\d+):(\d+)$/.exec(reviewed.id);
+                const first = Number(span?.[1]), count = Number(span?.[2]);
+                if (first !== prepared || !Number.isSafeInteger(count) || count <= 0 || first + count > planned.plan.markets.length)
+                    throw new LifecyclePlanningError("REVIEWED_TRANSACTION_MISMATCH", "Reviewed preparation does not start at the canonical unfinished market");
+                prefix.push(count);
+                suffixStart += count;
+            }
+            const suffix = planned.transactions
+                .filter((transaction) => transaction.kind === "prepare" && transaction.marketStart + transaction.marketCount > suffixStart)
+                .map((transaction) => transaction.marketStart + transaction.marketCount - Math.max(transaction.marketStart, suffixStart));
+            if (suffix.length === 0 && suffixStart < planned.plan.markets.length) {
+                const { limits } = await resolveLifecycleLimits({ client, account: planned.account, orchestrator: planned.plan.orchestrator, block, chainId: planned.chainId }, limitSource);
+                const cap = limits.transactionGasCeiling !== undefined && limits.transactionGasCeiling < limits.executionGasCeiling ? limits.transactionGasCeiling : limits.executionGasCeiling;
+                suffix.push(...packPreparationBatches(planned.plan, suffixStart, cap).slice(suffixStart > 0 ? 1 : 0));
+            }
+            batches = [...prefix, ...suffix];
+        }
+        const candidate = orderedTransactions(planned.plan, planned.mode, progress, funding.approvals, batches, planned.ufg)[0];
+        if (candidate === undefined)
             return undefined;
-        return preflightNextTransaction(options, next, refreshed.simulation, reviewed);
+        if (reviewed !== undefined && !matchesReviewedNextTransaction(candidate, reviewed))
+            throw new LifecyclePlanningError("REVIEWED_TRANSACTION_MISMATCH", "Reviewed transaction differs from the current canonical unfinished next step");
+        const observed = planned.simulation.executionProof === "proved" ? planned.simulation.steps.find((step) => step.transactionId === candidate.id && step.success) : undefined;
+        const compute = observed?.computeGasRequired;
+        const sizing = reviewed !== undefined || compute === undefined ? undefined : new Map([[candidate.id, compute]]);
+        const simulation = await simulateLaunchTransactions({ client, planned, limits: limitSource, fork: options.fork, signal: options.signal }, [candidate], block, reviewed, sizing);
+        assertFinalPlan(planned, options.signal);
+        if (!simulation.admitted)
+            throw new LifecyclePlanningError("PLAN_NOT_ADMITTED", simulation.reason ?? "Next exact launch transaction is not admitted", simulation);
+        const next = attachEstimates([candidate], simulation)[0];
+        return preflightNextTransaction(options, next, simulation, reviewed);
     });
     assertFinalPlan(options.planned, options.signal);
     if (result !== undefined)