/**
 * The repo-local crabbox config (`.crabbox.yaml` at the repo root).
 *
 * crabbox itself reads this file when warming a box (the `profile:` key becomes
 * the box's `profile` label). `agents run --lease` deliberately does NOT inherit
 * that repo/CI label: leases share the default pool unless `leaseProfile:` opts
 * the repo into a dedicated hot box.
 */
/**
 * The profile label a box warm pool shares. Matches sandbox.sh's
 * `PROFILE="${PROFILE:-default}"`: a run with no configured profile and a box
 * with no `profile` label both normalize here, so they still match each other.
 */
export declare const DEFAULT_CRABBOX_PROFILE = "default";
/**
 * Pool label for `agents run --lease`. The generic `profile:` key remains owned
 * by repo sandbox/CI scripts; only the explicit `leaseProfile:` key opts lease
 * runs out of the shared default pool.
 */
export declare function readCrabboxLeaseProfile(repoRoot: string): string;
