dorfl 0.0.0 → 0.1.0

package/dist/advancing-lock.js

@@ -0,0 +1,594 @@
+import { mkdirSync, writeFileSync, rmSync } from 'node:fs';
+import { dirname, join } from 'node:path';
+import { runAsync } from './git.js';
+import { ledgerWrite } from './ledger-write.js';
+import { resolveSidecarIdentity } from './sidecar.js';
+import { acquireItemLock, releaseItemLock } from './item-lock.js';
+import { realSleep } from './retry-backoff.js';
+/**
+ * The **advancing-lock BORROW** (prd `advance-loop`, task
+ * `advancing-lock-borrow`, US #19–24).
+ *
+ * The surface/apply/triage phase's SHORT borrow. As of the capstone cut-over
+ * (task `cutover-retire-slicing-advancing-markers-and-trim-folder-sets`, prd
+ * `ledger-status-per-item-lock-refs`; ADR `ledger-status-on-per-item-lock-refs`)
+ * the legacy `work/advancing/<entry>.md` presence-MARKER on `main` is GONE. The
+ * advancing borrow now rides ONLY the UNIFIED per-item lock
+ * (`refs/dorfl/lock/<entry>`, `action: advance`) — there is no transient
+ * status in `main`'s tree anymore, so a work branch cut from `main` inherits no
+ * stale advancing marker.
+ *
+ * The borrow is keyed by item IDENTITY (`<type>-<slug>`, via
+ * {@link resolveSidecarIdentity} — the single source of truth the unified lock,
+ * the sidecar, and the work branch all share), so a task, a prd, and an
+ * observation that share a slug NEVER collide, and the SAME `<entry>` ref means an
+ * `advance` hold is MUTUALLY EXCLUSIVE with a claim/task hold of the SAME item BY
+ * CONSTRUCTION (the second acquirer loses the SAME create-only ref CAS).
+ *
+ * It is file-ORTHOGONAL to the item it locks: the item's own lifecycle file NEVER
+ * moves (the borrow is a LOCK, not a lifecycle transition), which is exactly why
+ * it can lock items resting in DIFFERENT source folders (a backlog task, a `prds/`
+ * prd, an `observations/` note) with one uniform mechanism.
+ *
+ * **TREE-LESS vs BUILD/TASK RUNGS (`acquireUnified`).** The advance tick sets
+ * `acquireUnified` PER RUNG (the policy lives in `advance.ts`, where the rung is
+ * known):
+ *
+ *   - **TREE-LESS rungs** (`surface`/`apply`/`triage`) have NO inner `do`, so the
+ *     advancing acquire takes the item's unified `action: advance` lock — that hold
+ *     IS the advance∥claim / advance∥task exclusion. Acquire/release delegate to
+ *     {@link acquireItemLock} / {@link releaseItemLock} (a parentless ref CAS, no
+ *     working-tree write, no retry budget).
+ *   - **BUILD-TASK / TASK-PRD rungs** never take the unified lock at the advance
+ *     layer (`acquireUnified` false): `performAdvance` orchestrates an inner
+ *     `performDo` that ITSELF acquires the SAME `task-<slug>`/`prd-<slug>` ref
+ *     (the create-only CAS with NO re-entrancy/auto-steal), so taking it again here
+ *     would DEADLOCK the tick against itself. For these rungs the acquire/release
+ *     are a NO-OP (`acquired`/`released`); the inner `do`'s lock is the sole
+ *     exclusion point (the POST-#9 EXCLUSION PROOF, owned by this task).
+ *
+ * A dry-run never takes the lock (it mutates nothing). This module stays
+ * rung-agnostic — it only knows "unified or not", never the rung kind.
+ *
+ * This module also delivers {@link createItemThroughCas}: new-item creation routed
+ * THROUGH the SAME write-seam CAS, keyed on the NEW item's identity (its target
+ * path), so the (unlikely) same-slug new-item race needs NO special case — the
+ * loser simply fails the CAS and backs off. The triage rung (observation→promote
+ * drafting a new `work/backlog/<new-slug>.md`) consumes it. It is NOT a lock and
+ * was never tied to the marker.
+ *
+ * Lock discipline: MANDATORY for the autonomous driver (a contender may be active),
+ * a no-op formality for a solo human (no contender). Every lock acquire/release is
+ * RUNNER-mediated (the agent never touches the lock ref). Recovery is the unified
+ * lock's: `release-lock <item>` + the `gc --ledger` stuck-lock report (no liveness
+ * heartbeat, no auto-sweep; a human asserts a lock is dead).
+ */
+const DEFAULT_ARBITER = 'origin';
+/** Raised for usage/environment errors (exit 1). */
+class AdvancingLockUsageError extends Error {
+}
+/**
+ * Acquire the advancing borrow for `item`. For a TREE-LESS rung
+ * (`acquireUnified: true`) this is the item's unified `action: advance` lock (a
+ * parentless ref CAS); for a build/task rung (the default) it is a NO-OP
+ * `acquired` (the inner `do`'s claim/task lock is the exclusion). Never throws
+ * for the expected "lost the race" (exit 2) case — it is returned.
+ */
+export async function acquireAdvancingLock(options) {
+    const note = options.note ?? (() => { });
+    try {
+        return await runAcquire(options, note);
+    }
+    catch (err) {
+        if (err instanceof AdvancingLockUsageError) {
+            return { exitCode: 1, outcome: 'usage-error', message: err.message };
+        }
+        const message = err instanceof Error ? err.message : String(err);
+        return { exitCode: 1, outcome: 'usage-error', message };
+    }
+}
+async function runAcquire(options, note) {
+    const arbiter = options.arbiter ?? DEFAULT_ARBITER;
+    const dryRun = options.dryRun ?? false;
+    const cwd = options.cwd;
+    const env = options.env;
+    if (!options.item) {
+        throw new AdvancingLockUsageError('missing <item>. usage: acquireAdvancingLock({item, cwd, arbiter})');
+    }
+    // The type-encoded entry `<type>-<slug>` — the SAME identity scheme the sidecar
+    // and the unified lock use, derived via the shared resolver (the source of truth).
+    const { type, slug } = resolveSidecarIdentity(options.item);
+    const entry = `${type}-${slug}`;
+    if ((await gitSoft(['rev-parse', '--git-dir'], cwd, env)).status !== 0) {
+        throw new AdvancingLockUsageError('not inside a git repository');
+    }
+    if ((await gitSoft(['remote', 'get-url', arbiter], cwd, env)).status !== 0) {
+        throw new AdvancingLockUsageError(`no git remote named '${arbiter}' (set one, or pass --arbiter)`);
+    }
+    const by = options.by || (await resolveBy(cwd, env));
+    // BUILD/TASK rung (or a dry-run): NO advance-layer hold at all. The inner `do`'s
+    // claim/task unified lock is the sole exclusion point — taking it again here
+    // would deadlock the tick against itself. A NO-OP `acquired`.
+    const acquireUnified = (options.acquireUnified ?? false) && !dryRun;
+    if (!acquireUnified) {
+        const message = dryRun
+            ? `[dry-run] advancing borrow for '${entry}' (no lock taken).`
+            : `advancing borrow for '${entry}' rides the inner do's lock (no advance-layer hold).`;
+        note(message);
+        return { exitCode: 0, outcome: 'acquired', message, entry };
+    }
+    // TREE-LESS rung: take the item's UNIFIED per-item lock (`action: advance`,
+    // keyed `item` so it shares the ONE `<type>-<slug>` ref with claim/task/advance
+    // of the SAME item). A create-only ref CAS: the winner holds it, the loser is
+    // DEFINITIVELY `lost` (exit 2, no retry budget — a per-item conflict the loser
+    // should lose). No auto-steal of an orphaned lock, consistent with claim/task
+    // and the ADR's recovery model (no liveness heartbeat / auto-sweep; a human
+    // asserts a lock is dead via `release-lock` + `gc --ledger`).
+    const lock = await acquireItemLock({
+        item: options.item,
+        action: 'advance',
+        cwd,
+        arbiter,
+        holder: by,
+        env,
+    });
+    if (lock.outcome === 'error') {
+        throw new AdvancingLockUsageError(`failed to acquire the item lock for '${entry}': ${lock.message}`);
+    }
+    if (lock.outcome === 'lost') {
+        note(lock.message);
+        return { exitCode: 2, outcome: 'lost', message: lock.message, entry };
+    }
+    const message = `LOCKED '${entry}' for advancing on ${arbiter} (unified lock).`;
+    note(message);
+    return { exitCode: 0, outcome: 'acquired', message, entry };
+}
+/**
+ * Release the advancing borrow for `item`. For a TREE-LESS rung
+ * (`releaseUnified: true`) this DELETES the item's unified `action: advance` lock
+ * ref; for a build/task rung (the default) it is a NO-OP `released` (that rung
+ * never took an advance-layer hold — the inner `do` released its own lock). It
+ * moves NO lifecycle file: the borrow is a LOCK, not a lifecycle transition, so
+ * the item is returned exactly where it rested.
+ *
+ * Idempotent: a unified release of an already-absent ref reports `released` (the
+ * item is returned to rest with no held lock). Best-effort + never throws for the
+ * expected cases.
+ */
+export async function releaseAdvancingLock(options) {
+    const note = options.note ?? (() => { });
+    try {
+        return await runRelease(options, note);
+    }
+    catch (err) {
+        if (err instanceof AdvancingLockUsageError) {
+            return { exitCode: 1, outcome: 'usage-error', message: err.message };
+        }
+        const message = err instanceof Error ? err.message : String(err);
+        return { exitCode: 1, outcome: 'usage-error', message };
+    }
+}
+async function runRelease(options, note) {
+    const arbiter = options.arbiter ?? DEFAULT_ARBITER;
+    const cwd = options.cwd;
+    const env = options.env;
+    if (!options.item) {
+        throw new AdvancingLockUsageError('missing <item>. usage: releaseAdvancingLock({item, cwd, arbiter})');
+    }
+    const { type, slug } = resolveSidecarIdentity(options.item);
+    const entry = `${type}-${slug}`;
+    if ((await gitSoft(['rev-parse', '--git-dir'], cwd, env)).status !== 0) {
+        throw new AdvancingLockUsageError('not inside a git repository');
+    }
+    if ((await gitSoft(['remote', 'get-url', arbiter], cwd, env)).status !== 0) {
+        throw new AdvancingLockUsageError(`no git remote named '${arbiter}' (set one, or pass --arbiter)`);
+    }
+    // BUILD/TASK rung: nothing was held at the advance layer — a NO-OP `released`.
+    const releaseUnified = options.releaseUnified ?? false;
+    if (!releaseUnified) {
+        const message = `advancing borrow for '${entry}' released (no advance-layer hold to drop).`;
+        note(message);
+        return { exitCode: 0, outcome: 'released', message, entry };
+    }
+    // TREE-LESS rung: delete the unified `action: advance` lock ref (idempotent —
+    // an already-absent ref is `not-held`, still mapped to `released`: the item is
+    // returned to rest with no held lock).
+    const released = await releaseItemLock({
+        item: options.item,
+        cwd,
+        arbiter,
+        env,
+    });
+    if (released.outcome === 'error') {
+        throw new AdvancingLockUsageError(`failed to release the item lock for '${entry}': ${released.message}`);
+    }
+    const message = released.outcome === 'not-held'
+        ? `advancing borrow for '${entry}' was already released (no lock held).`
+        : `RELEASED '${entry}' advancing borrow on ${arbiter} (item untouched).`;
+    note(message);
+    return { exitCode: 0, outcome: 'released', message, entry };
+}
+/**
+ * The INTERACTIVE default: today's shape (3 retries, NO delay). A human-typed
+ * single-item caller keeps the prompt bounded give-up it always had. Preserved
+ * so the API change is backwards-compatible for direct callers of
+ * {@link createItemThroughCas} that pass nothing.
+ */
+export const INTERACTIVE_CAS_CONTENTION = {
+    retries: 3,
+    initialDelayMs: 0,
+    maxDelayMs: 0,
+    maxTotalMs: 0,
+};
+/**
+ * The LIFECYCLE default: the wider envelope for the parallel-legs fan-out (the
+ * lifecycle propose/triage tick's promote-CAS + `mint-adr` legs). A modest base
+ * delay grows under an AWS-style DECORRELATED-JITTER schedule up to a cap, with a
+ * generous wall-clock envelope so a herd of valid appends DRAINS instead of
+ * thrashing to exhaustion. Sized so a lone leg is barely slower than today
+ * (jitter is small on the first retry) while a fan-out of N legs desynchronises
+ * within a few retries. See the decision block at the bottom of this file.
+ */
+export const LIFECYCLE_CAS_CONTENTION = {
+    retries: 32,
+    initialDelayMs: 25,
+    maxDelayMs: 2_000,
+    maxTotalMs: 30_000,
+};
+/**
+ * Run a CAS create/publish attempt inside the CONTENTION-RETRY loop. Reusable
+ * primitive shared between {@link createItemThroughCas} (the production path) and
+ * the unit tests that drive the loop with an injected fake attempt + injected
+ * `Sleep` + injected RNG so the retry timeline + jitter are fully deterministic
+ * with no real wall-clock waits.
+ *
+ * The `attempt` callback runs ONE CAS attempt and reports `created` / `lost` /
+ * `rejected`. On `rejected` the loop consults the {@link CasContentionBudget}:
+ *   1. if the attempts cap is reached → clean bounded give-up (`contended`);
+ *   2. else compute a DECORRELATED-JITTER delay ({@link nextCasContentionDelayMs});
+ *   3. if the delay would push cumulative sleep past `maxTotalMs` → clean bounded
+ *      give-up (`contended` — the wall-clock terminator);
+ *   4. else emit the retry note, sleep, and loop.
+ */
+export async function runCasContentionLoop(input) {
+    const note = input.note ?? (() => { });
+    const budget = input.budget;
+    const retries = budget.retries ?? INTERACTIVE_CAS_CONTENTION.retries;
+    const initialDelayMs = budget.initialDelayMs ?? INTERACTIVE_CAS_CONTENTION.initialDelayMs;
+    const maxDelayMs = budget.maxDelayMs ?? INTERACTIVE_CAS_CONTENTION.maxDelayMs;
+    const maxTotalMs = budget.maxTotalMs ?? INTERACTIVE_CAS_CONTENTION.maxTotalMs;
+    const sleep = budget.sleep ?? realSleep;
+    const rng = budget.rng ?? Math.random;
+    let attempts = 0;
+    let elapsed = 0;
+    let previousDelayMs = 0;
+    const sleeps = [];
+    // eslint-disable-next-line no-constant-condition
+    while (true) {
+        attempts += 1;
+        const result = await input.attempt();
+        if (result.kind === 'created') {
+            return { kind: 'created', message: result.message, attempts, sleeps };
+        }
+        if (result.kind === 'lost') {
+            return { kind: 'lost', message: result.message, attempts, sleeps };
+        }
+        const rejectedCount = attempts; // attempts so far == rejections so far
+        if (rejectedCount > retries) {
+            const message = `push rejected ${rejectedCount} times (main is contended). Try again shortly.`;
+            note(message);
+            return { kind: 'contended', message, attempts, sleeps };
+        }
+        const delay = nextCasContentionDelayMs({
+            previousDelayMs,
+            initialDelayMs,
+            maxDelayMs,
+            rng,
+        });
+        if (maxTotalMs > 0 && elapsed + delay > maxTotalMs) {
+            const message = `push rejected ${rejectedCount} times (main is contended; wall-clock budget ${maxTotalMs}ms exhausted). Try again shortly.`;
+            note(message);
+            return { kind: 'contended', message, attempts, sleeps };
+        }
+        note(`main advanced under us — refetch and retry (${rejectedCount}/${retries})...`);
+        if (delay > 0) {
+            await sleep(delay);
+            elapsed += delay;
+            previousDelayMs = delay;
+            sleeps.push(delay);
+        }
+    }
+}
+/**
+ * Compute the NEXT contention-retry delay under AWS-style DECORRELATED JITTER:
+ * `delay = min(cap, floor(base + rng() * (min(cap, prev*3) - base)))`, clamped to
+ * `[base, cap]`. `previousDelayMs = 0` (the first retry) uses `base` as the
+ * seed. Returns `0` iff the delay is disabled (either bound is `0` or `NaN`),
+ * which preserves the interactive "instant retry" shape.
+ *
+ * Exported for the pure-unit shape test — the property is BOUNDED randomness
+ * that grows toward the cap.
+ */
+export function nextCasContentionDelayMs(input) {
+    const base = input.initialDelayMs;
+    const cap = input.maxDelayMs;
+    if (!(base > 0) || !(cap > 0)) {
+        return 0;
+    }
+    const prev = input.previousDelayMs > 0 ? input.previousDelayMs : base;
+    const upper = Math.min(cap, prev * 3);
+    const r = Math.max(0, Math.min(1, input.rng()));
+    return Math.max(base, Math.min(cap, Math.floor(base + r * (upper - base))));
+}
+/**
+ * Create a NEW `work/` item THROUGH the CAS, keyed on the new item's identity (its
+ * `path`). The reusable helper the triage rung consumes when an observation→promote
+ * drafts a new `work/backlog/<new-slug>.md`: the (unlikely) same-slug new-item race
+ * needs NO special case — exactly one creator lands the file, the loser fails the
+ * CAS (exit 2) and backs off. Same CAS-micro-commit / force-with-lease shape as the
+ * unified lock; it is NOT a lock (it does not hold a borrow), it ATOMICALLY publishes
+ * a new file iff that path is still absent on the arbiter.
+ *
+ * An optional {@link CreateItemThroughCasOptions.deletePaths} rides the SAME create
+ * commit (the promote route's note + sidecar `git rm`), so create + delete are ONE
+ * atomic commit: a crash never strands the source without its successor, and a CAS
+ * LOSER — which never reaches the commit — leaves the source intact for a retry.
+ */
+export async function createItemThroughCas(options) {
+    const note = options.note ?? (() => { });
+    try {
+        return await runCreate(options, note);
+    }
+    catch (err) {
+        if (err instanceof AdvancingLockUsageError) {
+            return { exitCode: 1, outcome: 'usage-error', message: err.message };
+        }
+        const message = err instanceof Error ? err.message : String(err);
+        return { exitCode: 1, outcome: 'usage-error', message };
+    }
+}
+async function runCreate(options, note) {
+    const arbiter = options.arbiter ?? DEFAULT_ARBITER;
+    const budget = options.contention ?? {};
+    const retries = budget.retries ?? options.retries ?? INTERACTIVE_CAS_CONTENTION.retries;
+    const initialDelayMs = budget.initialDelayMs ?? INTERACTIVE_CAS_CONTENTION.initialDelayMs;
+    const maxDelayMs = budget.maxDelayMs ?? INTERACTIVE_CAS_CONTENTION.maxDelayMs;
+    const maxTotalMs = budget.maxTotalMs ?? INTERACTIVE_CAS_CONTENTION.maxTotalMs;
+    const sleep = budget.sleep ?? realSleep;
+    const rng = budget.rng ?? Math.random;
+    const dryRun = options.dryRun ?? false;
+    const cwd = options.cwd;
+    const env = options.env;
+    const path = options.path;
+    if (!path) {
+        throw new AdvancingLockUsageError('missing <path>. usage: createItemThroughCas({path, content, cwd, arbiter})');
+    }
+    if ((await gitSoft(['rev-parse', '--git-dir'], cwd, env)).status !== 0) {
+        throw new AdvancingLockUsageError('not inside a git repository');
+    }
+    if ((await gitSoft(['remote', 'get-url', arbiter], cwd, env)).status !== 0) {
+        throw new AdvancingLockUsageError(`no git remote named '${arbiter}' (set one, or pass --arbiter)`);
+    }
+    const by = options.by || (await resolveBy(cwd, env));
+    const dirtyWorktree = (await gitSoft(['diff', '--quiet'], cwd, env)).status !== 0;
+    const dirtyIndex = (await gitSoft(['diff', '--cached', '--quiet'], cwd, env)).status !== 0;
+    if (dirtyWorktree || dirtyIndex) {
+        throw new AdvancingLockUsageError('working tree has uncommitted changes; commit/stash them before creating');
+    }
+    // A throwaway create branch, slugified off the new item's path (so concurrent
+    // creators of DIFFERENT paths don't collide on the branch name either).
+    const createBranch = `create/${path.replace(/[^A-Za-z0-9._-]+/g, '-')}`;
+    const origRef = await originalRef(cwd, env);
+    try {
+        // The bounded DECORRELATED-JITTER contention-retry lives in
+        // {@link runCasContentionLoop} — the shared primitive tests drive directly
+        // with an injected fake attempt + `Sleep` + RNG (no real waits, no flakes).
+        const loop = await runCasContentionLoop({
+            attempt: () => createAttempt({
+                path,
+                content: options.content,
+                deletePaths: options.deletePaths ?? [],
+                by,
+                arbiter,
+                dryRun,
+                cwd,
+                env,
+                createBranch,
+                note,
+            }),
+            budget: {
+                retries,
+                initialDelayMs,
+                maxDelayMs,
+                maxTotalMs,
+                sleep,
+                rng,
+            },
+            note,
+        });
+        if (loop.kind === 'created') {
+            return { exitCode: 0, outcome: 'created', message: loop.message };
+        }
+        if (loop.kind === 'lost') {
+            return { exitCode: 2, outcome: 'lost', message: loop.message };
+        }
+        return { exitCode: 3, outcome: 'contended', message: loop.message };
+    }
+    finally {
+        await cleanup(cwd, origRef, createBranch, env);
+    }
+}
+/** One create attempt: branch off arbiter/main, add the new file, CAS-push. */
+async function createAttempt(ctx) {
+    const { arbiter, path, content, deletePaths, createBranch, cwd, env, note } = ctx;
+    await gitHard(['fetch', '--quiet', arbiter], cwd, env);
+    // Is the path still free on the arbiter's main? (the new item absent.)
+    if (await catFileExists(`${arbiter}/main:${path}`, cwd, env)) {
+        const message = `'${path}' already exists on ${arbiter}/main — the new item lost the create race (or the slug is taken). Back off.`;
+        note(message);
+        return { kind: 'lost', message };
+    }
+    await gitHard(['checkout', '--quiet', '--detach', `${arbiter}/main`], cwd, env);
+    await gitSoft(['branch', '-D', createBranch], cwd, env);
+    await gitHard(['checkout', '--quiet', '-b', createBranch, `${arbiter}/main`], cwd, env);
+    const fileAbs = join(cwd, path);
+    mkdirSync(dirname(fileAbs), { recursive: true });
+    writeFileSync(fileAbs, content);
+    const add = await gitSoft(['add', '--', path], cwd, env);
+    if (add.status !== 0) {
+        throw new AdvancingLockUsageError(`git add failed for '${path}' (unexpected — aborting create)`);
+    }
+    // `git rm` the extra paths (the promoted source note + its sidecar) INTO this
+    // SAME create commit, so the create + delete are ONE atomic commit. Best-effort
+    // per path: a path absent on the create branch (e.g. an uncommitted local note,
+    // or an already-gone sidecar) is staged as a working-tree removal instead so
+    // the commit still carries the intended deletion without aborting.
+    for (const del of deletePaths) {
+        if (del === '' || del === path) {
+            continue;
+        }
+        const rm = await gitSoft(['rm', '--quiet', '--', del], cwd, env);
+        if (rm.status !== 0) {
+            // Not tracked on this branch — remove from the working tree (if present)
+            // and stage that removal; a never-existed path is simply skipped.
+            rmSync(join(cwd, del), { force: true });
+            await gitSoft(['add', '--', del], cwd, env);
+        }
+    }
+    await gitHard(['commit', '--quiet', '-m', `advance: create ${path} (by ${ctx.by})`], cwd, env);
+    const base = (await gitHard(['rev-parse', `${arbiter}/main`], cwd, env)).stdout.trim();
+    const head = (await gitHard(['rev-parse', 'HEAD'], cwd, env)).stdout.trim();
+    if (head === base) {
+        throw new AdvancingLockUsageError('advance-create commit is a no-op (nothing added) — aborting');
+    }
+    // Publish through the SAME seam (kind `advancing`) — keyed on the new item's
+    // identity (its path). The lease guards the CAS: a concurrent creator that
+    // landed first advanced main past our base, so our lease fails → rejected; the
+    // outer loop refetches and the next attempt finds the path TAKEN → lost (no
+    // special case). This holds EVEN for a same-identity racer who built an
+    // identical create commit within git's 1-second timestamp resolution: the seam
+    // stamps each attempt with a per-attempt `CAS-Nonce`, so the two racers'
+    // commits have DISTINCT shas — the loser's push is a genuine lease rejection,
+    // NOT an "Everything up-to-date" no-op that would spuriously verify as won.
+    if (ctx.dryRun) {
+        const result = await ledgerWrite.applyTransition({
+            kind: 'advancing',
+            arbiter,
+            localBranch: createBranch,
+            expectedBase: base,
+            head,
+            cwd,
+            dryRun: true,
+            env,
+            note,
+        });
+        return { kind: 'created', message: result.message };
+    }
+    const result = await ledgerWrite.applyTransition({
+        kind: 'advancing',
+        arbiter,
+        localBranch: createBranch,
+        expectedBase: base,
+        head,
+        cwd,
+        env,
+        note,
+    });
+    if (result.kind === 'published') {
+        const message = `CREATED '${path}' on ${arbiter}/main.`;
+        note(message);
+        return { kind: 'created', message };
+    }
+    return { kind: 'rejected', message: result.message };
+}
+// --- Shared helpers (same shape as claim-cas.ts) --------------------------
+/** The branch (or detached HEAD sha) we should return to afterward. */
+async function originalRef(cwd, env) {
+    const sym = await gitSoft(['symbolic-ref', '--quiet', '--short', 'HEAD'], cwd, env);
+    if (sym.status === 0 && sym.stdout.trim() !== '') {
+        return sym.stdout.trim();
+    }
+    return (await gitHard(['rev-parse', 'HEAD'], cwd, env)).stdout.trim();
+}
+/** Best-effort: return to where we were and drop the throwaway branch. */
+async function cleanup(cwd, origRef, branch, env) {
+    await gitSoft(['checkout', '--quiet', origRef], cwd, env);
+    await gitSoft(['branch', '-D', branch], cwd, env);
+}
+/** Resolve the advisory locker: git user.name, else $USER/$USERNAME, else ''. */
+async function resolveBy(cwd, env) {
+    const name = await gitSoft(['config', 'user.name'], cwd, env);
+    if (name.status === 0 && name.stdout.trim() !== '') {
+        return name.stdout.trim();
+    }
+    const e = env ?? process.env;
+    return e.USER ?? e.USERNAME ?? '';
+}
+/** `git cat-file -e <object>` — true iff the object exists. */
+async function catFileExists(object, cwd, env) {
+    return (await gitSoft(['cat-file', '-e', object], cwd, env)).status === 0;
+}
+/** Run git, returning the raw result (no throw) — for soft checks. */
+function gitSoft(args, cwd, env) {
+    return runAsync('git', args, cwd, { env });
+}
+/** Run git; throw on non-zero (genuinely unexpected plumbing failures). */
+async function gitHard(args, cwd, env) {
+    const result = await runAsync('git', args, cwd, { env });
+    if (result.status !== 0) {
+        throw new Error(`git ${args.join(' ')} failed (exit ${result.status}): ${result.stderr.trim()}`);
+    }
+    return result;
+}
+// --- Decisions ------------------------------------------------------------
+//
+// **CAS contention retry: from instant-fixed-cap to bounded-JITTER + widened
+// budget (fan-out drain).** The earlier recorded model for `createItemThroughCas`
+// was "contention retries INSTANTLY, no delay, tiny fixed cap (3)". That is
+// correct for a SINGLE contender (grab the new base and go) but PATHOLOGICAL for
+// a lifecycle propose fan-out: N parallel legs (one per answered/triaged item)
+// all CAS-append against the SAME `main` ref, refetch and re-push in lockstep,
+// exhaust the tiny cap, and a large fraction exit `contended` (exit 3) EVEN
+// THOUGH every leg's write is valid and would land if they took turns. A real
+// 66-leg propose tick left ~33 legs at exit 3 \u2014 a thundering herd on one ref.
+//
+// The revised model, encoded here:
+//   1. Add a bounded DECORRELATED-JITTER inter-retry delay
+//      ({@link nextCasContentionDelayMs}). Parallel legs desynchronise; the herd
+//      breaks; the fan-out DRAINS. Small enough that a lone leg is barely
+//      slower than today (first-retry delay is O(base)).
+//   2. WIDEN the budget on the lifecycle path ({@link LIFECYCLE_CAS_CONTENTION}):
+//      more retries + a wall-clock envelope, since a lifecycle leg has no human
+//      waiting. The regime stays BOUNDED (attempts cap AND wall-clock cap) so
+//      genuine exhaustion still yields a clean `contended`, never a hang.
+//   3. Scope the widened budget to the LIFECYCLE path via an explicit
+//      `contention` option threaded from the driver (`advance.ts` \u2192
+//      `promoteObservation` / `mintAdr` \u2192 `createItemThroughCas`). Direct
+//      callers that pass nothing keep the INTERACTIVE shape
+//      ({@link INTERACTIVE_CAS_CONTENTION}): 3 retries, NO delay \u2014 backwards
+//      compatible, so a human-typed single-item caller stays prompt.
+//
+// **Deliberately DISTINCT from the OUTAGE regime in `retry-backoff.ts`.** That
+// helper models an unreachable remote with EXPONENTIAL backoff (the remote may
+// come back). Contention is a REJECTED push against a MOVED ref \u2014 the remote is
+// fine, the base just advanced. It wants a small RANDOM delay to BREAK LOCKSTEP,
+// not an exponential outage ramp. Do NOT reuse `retryWithBackoff` here.
+//
+// **Jitter shape: AWS-style DECORRELATED JITTER**
+// (`delay = uniform(base, min(cap, prev*3))`). Grows toward the cap when the
+// contention persists (more spread across the herd as the tail hangs on), but
+// bounded above by `cap`. The alternative \u2014 flat `uniform(0, base)` \u2014 was
+// considered and rejected: it does not adapt to a long tail, so the last N legs
+// still collide at similar rates once the herd shrinks; the decorrelated growth
+// is what makes the tail DRAIN under sustained parallel load. Same shape as the
+// recovery-rebase jitter loop in `integration-core.ts` uses (`Math.floor(random
+// * (jitterMs + 1))` on a fixed cap) but with the AWS growth term so a lifecycle
+// tail is not stuck on a tiny fixed window.
+//
+// **Composes with, does NOT duplicate, the held-lock-subtraction sibling**
+// (`advance-matrix-enumerates-held-locked-items-so-legs-fail-every-tick`): that
+// task reduces the NUMBER of legs entering the matrix (never enumerate a held
+// item); this task handles the RESIDUAL legitimate contention among the valid
+// legs that DO get scheduled. The two layers together should quiet the propose-
+// matrix CI noise.
+//# sourceMappingURL=advancing-lock.js.map

package/dist/advancing-lock.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"advancing-lock.js","sourceRoot":"","sources":["../src/advancing-lock.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,SAAS,EAAE,aAAa,EAAE,MAAM,EAAC,MAAM,SAAS,CAAC;AACzD,OAAO,EAAC,OAAO,EAAE,IAAI,EAAC,MAAM,WAAW,CAAC;AACxC,OAAO,EAAC,QAAQ,EAAiB,MAAM,UAAU,CAAC;AAClD,OAAO,EAAC,WAAW,EAAC,MAAM,mBAAmB,CAAC;AAC9C,OAAO,EAAC,sBAAsB,EAAC,MAAM,cAAc,CAAC;AACpD,OAAO,EAAC,eAAe,EAAE,eAAe,EAAC,MAAM,gBAAgB,CAAC;AAChE,OAAO,EAAC,SAAS,EAAa,MAAM,oBAAoB,CAAC;AAEzD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyDG;AAEH,MAAM,eAAe,GAAG,QAAQ,CAAC;AA+DjC,oDAAoD;AACpD,MAAM,uBAAwB,SAAQ,KAAK;CAAG;AAE9C;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACzC,OAAoC;IAEpC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IACxC,IAAI,CAAC;QACJ,OAAO,MAAM,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACxC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACd,IAAI,GAAG,YAAY,uBAAuB,EAAE,CAAC;YAC5C,OAAO,EAAC,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAC,CAAC;QACpE,CAAC;QACD,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACjE,OAAO,EAAC,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAC,CAAC;IACvD,CAAC;AACF,CAAC;AAED,KAAK,UAAU,UAAU,CACxB,OAAoC,EACpC,IAAyB;IAEzB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,eAAe,CAAC;IACnD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC;IACvC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IACxB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IAExB,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACnB,MAAM,IAAI,uBAAuB,CAChC,mEAAmE,CACnE,CAAC;IACH,CAAC;IACD,gFAAgF;IAChF,mFAAmF;IACnF,MAAM,EAAC,IAAI,EAAE,IAAI,EAAC,GAAG,sBAAsB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;IAEhC,IAAI,CAAC,MAAM,OAAO,CAAC,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,uBAAuB,CAAC,6BAA6B,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,CAAC,MAAM,OAAO,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5E,MAAM,IAAI,uBAAuB,CAChC,wBAAwB,OAAO,gCAAgC,CAC/D,CAAC;IACH,CAAC;IACD,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,IAAI,CAAC,MAAM,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAErD,iFAAiF;IACjF,6EAA6E;IAC7E,8DAA8D;IAC9D,MAAM,cAAc,GAAG,CAAC,OAAO,CAAC,cAAc,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;IACpE,IAAI,CAAC,cAAc,EAAE,CAAC;QACrB,MAAM,OAAO,GAAG,MAAM;YACrB,CAAC,CAAC,mCAAmC,KAAK,oBAAoB;YAC9D,CAAC,CAAC,yBAAyB,KAAK,sDAAsD,CAAC;QACxF,IAAI,CAAC,OAAO,CAAC,CAAC;QACd,OAAO,EAAC,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAC,CAAC;IAC3D,CAAC;IAED,4EAA4E;IAC5E,gFAAgF;IAChF,8EAA8E;IAC9E,+EAA+E;IAC/E,8EAA8E;IAC9E,4EAA4E;IAC5E,8DAA8D;IAC9D,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC;QAClC,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,SAAS;QACjB,GAAG;QACH,OAAO;QACP,MAAM,EAAE,EAAE;QACV,GAAG;KACH,CAAC,CAAC;IACH,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;QAC9B,MAAM,IAAI,uBAAuB,CAChC,wCAAwC,KAAK,MAAM,IAAI,CAAC,OAAO,EAAE,CACjE,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QAC7B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnB,OAAO,EAAC,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAC,CAAC;IACrE,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,KAAK,sBAAsB,OAAO,kBAAkB,CAAC;IAChF,IAAI,CAAC,OAAO,CAAC,CAAC;IACd,OAAO,EAAC,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAC,CAAC;AAC3D,CAAC;AAkDD;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACzC,OAAoC;IAEpC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IACxC,IAAI,CAAC;QACJ,OAAO,MAAM,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACxC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACd,IAAI,GAAG,YAAY,uBAAuB,EAAE,CAAC;YAC5C,OAAO,EAAC,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAC,CAAC;QACpE,CAAC;QACD,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACjE,OAAO,EAAC,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAC,CAAC;IACvD,CAAC;AACF,CAAC;AAED,KAAK,UAAU,UAAU,CACxB,OAAoC,EACpC,IAAyB;IAEzB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,eAAe,CAAC;IACnD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IACxB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IAExB,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACnB,MAAM,IAAI,uBAAuB,CAChC,mEAAmE,CACnE,CAAC;IACH,CAAC;IACD,MAAM,EAAC,IAAI,EAAE,IAAI,EAAC,GAAG,sBAAsB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;IAEhC,IAAI,CAAC,MAAM,OAAO,CAAC,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,uBAAuB,CAAC,6BAA6B,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,CAAC,MAAM,OAAO,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5E,MAAM,IAAI,uBAAuB,CAChC,wBAAwB,OAAO,gCAAgC,CAC/D,CAAC;IACH,CAAC;IAED,+EAA+E;IAC/E,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,IAAI,KAAK,CAAC;IACvD,IAAI,CAAC,cAAc,EAAE,CAAC;QACrB,MAAM,OAAO,GAAG,yBAAyB,KAAK,6CAA6C,CAAC;QAC5F,IAAI,CAAC,OAAO,CAAC,CAAC;QACd,OAAO,EAAC,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAC,CAAC;IAC3D,CAAC;IAED,8EAA8E;IAC9E,+EAA+E;IAC/E,uCAAuC;IACvC,MAAM,QAAQ,GAAG,MAAM,eAAe,CAAC;QACtC,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,GAAG;QACH,OAAO;QACP,GAAG;KACH,CAAC,CAAC;IACH,IAAI,QAAQ,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;QAClC,MAAM,IAAI,uBAAuB,CAChC,wCAAwC,KAAK,MAAM,QAAQ,CAAC,OAAO,EAAE,CACrE,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GACZ,QAAQ,CAAC,OAAO,KAAK,UAAU;QAC9B,CAAC,CAAC,yBAAyB,KAAK,wCAAwC;QACxE,CAAC,CAAC,aAAa,KAAK,yBAAyB,OAAO,oBAAoB,CAAC;IAC3E,IAAI,CAAC,OAAO,CAAC,CAAC;IACd,OAAO,EAAC,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAC,CAAC;AAC3D,CAAC;AAoCD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAEnC;IACH,OAAO,EAAE,CAAC;IACV,cAAc,EAAE,CAAC;IACjB,UAAU,EAAE,CAAC;IACb,UAAU,EAAE,CAAC;CACb,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAEjC;IACH,OAAO,EAAE,EAAE;IACX,cAAc,EAAE,EAAE;IAClB,UAAU,EAAE,KAAK;IACjB,UAAU,EAAE,MAAM;CAClB,CAAC;AA2BF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,KAI1C;IACA,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,IAAI,0BAA0B,CAAC,OAAO,CAAC;IACrE,MAAM,cAAc,GACnB,MAAM,CAAC,cAAc,IAAI,0BAA0B,CAAC,cAAc,CAAC;IACpE,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,IAAI,0BAA0B,CAAC,UAAU,CAAC;IAC9E,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,IAAI,0BAA0B,CAAC,UAAU,CAAC;IAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,SAAS,CAAC;IACxC,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC;IAEtC,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,iDAAiD;IACjD,OAAO,IAAI,EAAE,CAAC;QACb,QAAQ,IAAI,CAAC,CAAC;QACd,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAO,EAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAC,CAAC;QACrE,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC5B,OAAO,EAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAC,CAAC;QAClE,CAAC;QACD,MAAM,aAAa,GAAG,QAAQ,CAAC,CAAC,uCAAuC;QACvE,IAAI,aAAa,GAAG,OAAO,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,iBAAiB,aAAa,gDAAgD,CAAC;YAC/F,IAAI,CAAC,OAAO,CAAC,CAAC;YACd,OAAO,EAAC,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAC,CAAC;QACvD,CAAC;QACD,MAAM,KAAK,GAAG,wBAAwB,CAAC;YACtC,eAAe;YACf,cAAc;YACd,UAAU;YACV,GAAG;SACH,CAAC,CAAC;QACH,IAAI,UAAU,GAAG,CAAC,IAAI,OAAO,GAAG,KAAK,GAAG,UAAU,EAAE,CAAC;YACpD,MAAM,OAAO,GAAG,iBAAiB,aAAa,gDAAgD,UAAU,mCAAmC,CAAC;YAC5I,IAAI,CAAC,OAAO,CAAC,CAAC;YACd,OAAO,EAAC,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAC,CAAC;QACvD,CAAC;QACD,IAAI,CACH,+CAA+C,aAAa,IAAI,OAAO,MAAM,CAC7E,CAAC;QACF,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACf,MAAM,KAAK,CAAC,KAAK,CAAC,CAAC;YACnB,OAAO,IAAI,KAAK,CAAC;YACjB,eAAe,GAAG,KAAK,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;IACF,CAAC;AACF,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAKxC;IACA,MAAM,IAAI,GAAG,KAAK,CAAC,cAAc,CAAC;IAClC,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC;IAC7B,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,CAAC;IACV,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,eAAe,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC;IACtE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC;IACtC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAChD,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7E,CAAC;AAwED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACzC,OAAoC;IAEpC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IACxC,IAAI,CAAC;QACJ,OAAO,MAAM,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACd,IAAI,GAAG,YAAY,uBAAuB,EAAE,CAAC;YAC5C,OAAO,EAAC,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAC,CAAC;QACpE,CAAC;QACD,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACjE,OAAO,EAAC,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAC,CAAC;IACvD,CAAC;AACF,CAAC;AAED,KAAK,UAAU,SAAS,CACvB,OAAoC,EACpC,IAAyB;IAEzB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,eAAe,CAAC;IACnD,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;IACxC,MAAM,OAAO,GACZ,MAAM,CAAC,OAAO,IAAI,OAAO,CAAC,OAAO,IAAI,0BAA0B,CAAC,OAAO,CAAC;IACzE,MAAM,cAAc,GACnB,MAAM,CAAC,cAAc,IAAI,0BAA0B,CAAC,cAAc,CAAC;IACpE,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,IAAI,0BAA0B,CAAC,UAAU,CAAC;IAC9E,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,IAAI,0BAA0B,CAAC,UAAU,CAAC;IAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,SAAS,CAAC;IACxC,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC;IACtC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC;IACvC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IACxB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IACxB,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAE1B,IAAI,CAAC,IAAI,EAAE,CAAC;QACX,MAAM,IAAI,uBAAuB,CAChC,4EAA4E,CAC5E,CAAC;IACH,CAAC;IACD,IAAI,CAAC,MAAM,OAAO,CAAC,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,uBAAuB,CAAC,6BAA6B,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,CAAC,MAAM,OAAO,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5E,MAAM,IAAI,uBAAuB,CAChC,wBAAwB,OAAO,gCAAgC,CAC/D,CAAC;IACH,CAAC;IACD,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,IAAI,CAAC,MAAM,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAErD,MAAM,aAAa,GAClB,CAAC,MAAM,OAAO,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;IAC7D,MAAM,UAAU,GACf,CAAC,MAAM,OAAO,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;IACzE,IAAI,aAAa,IAAI,UAAU,EAAE,CAAC;QACjC,MAAM,IAAI,uBAAuB,CAChC,yEAAyE,CACzE,CAAC;IACH,CAAC;IAED,8EAA8E;IAC9E,wEAAwE;IACxE,MAAM,YAAY,GAAG,UAAU,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,GAAG,CAAC,EAAE,CAAC;IAExE,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC5C,IAAI,CAAC;QACJ,4DAA4D;QAC5D,2EAA2E;QAC3E,4EAA4E;QAC5E,MAAM,IAAI,GAAG,MAAM,oBAAoB,CAAC;YACvC,OAAO,EAAE,GAAG,EAAE,CACb,aAAa,CAAC;gBACb,IAAI;gBACJ,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE;gBACtC,EAAE;gBACF,OAAO;gBACP,MAAM;gBACN,GAAG;gBACH,GAAG;gBACH,YAAY;gBACZ,IAAI;aACJ,CAAC;YACH,MAAM,EAAE;gBACP,OAAO;gBACP,cAAc;gBACd,UAAU;gBACV,UAAU;gBACV,KAAK;gBACL,GAAG;aACH;YACD,IAAI;SACJ,CAAC,CAAC;QACH,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO,EAAC,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAC,CAAC;QACjE,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC1B,OAAO,EAAC,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAC,CAAC;QAC9D,CAAC;QACD,OAAO,EAAC,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAC,CAAC;IACnE,CAAC;YAAS,CAAC;QACV,MAAM,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;IAChD,CAAC;AACF,CAAC;AAeD,+EAA+E;AAC/E,KAAK,UAAU,aAAa,CAC3B,GAAyB;IAEzB,MAAM,EAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAC,GACxE,GAAG,CAAC;IAEL,MAAM,OAAO,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAEvD,uEAAuE;IACvE,IAAI,MAAM,aAAa,CAAC,GAAG,OAAO,SAAS,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;QAC9D,MAAM,OAAO,GAAG,IAAI,IAAI,uBAAuB,OAAO,6EAA6E,CAAC;QACpI,IAAI,CAAC,OAAO,CAAC,CAAC;QACd,OAAO,EAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAC,CAAC;IAChC,CAAC;IAED,MAAM,OAAO,CACZ,CAAC,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,OAAO,OAAO,CAAC,EACtD,GAAG,EACH,GAAG,CACH,CAAC;IACF,MAAM,OAAO,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,YAAY,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACxD,MAAM,OAAO,CACZ,CAAC,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,OAAO,OAAO,CAAC,EAC9D,GAAG,EACH,GAAG,CACH,CAAC;IAEF,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAChC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,EAAC,SAAS,EAAE,IAAI,EAAC,CAAC,CAAC;IAC/C,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAChC,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACzD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,uBAAuB,CAChC,uBAAuB,IAAI,kCAAkC,CAC7D,CAAC;IACH,CAAC;IAED,8EAA8E;IAC9E,gFAAgF;IAChF,gFAAgF;IAChF,6EAA6E;IAC7E,mEAAmE;IACnE,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC/B,IAAI,GAAG,KAAK,EAAE,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YAChC,SAAS;QACV,CAAC;QACD,MAAM,EAAE,GAAG,MAAM,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACjE,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,yEAAyE;YACzE,kEAAkE;YAClE,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAC,KAAK,EAAE,IAAI,EAAC,CAAC,CAAC;YACtC,MAAM,OAAO,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC7C,CAAC;IACF,CAAC;IAED,MAAM,OAAO,CACZ,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,mBAAmB,IAAI,QAAQ,GAAG,CAAC,EAAE,GAAG,CAAC,EACrE,GAAG,EACH,GAAG,CACH,CAAC;IAEF,MAAM,IAAI,GAAG,CACZ,MAAM,OAAO,CAAC,CAAC,WAAW,EAAE,GAAG,OAAO,OAAO,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CACzD,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAChB,MAAM,IAAI,GAAG,CAAC,MAAM,OAAO,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC5E,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QACnB,MAAM,IAAI,uBAAuB,CAChC,6DAA6D,CAC7D,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,2EAA2E;IAC3E,+EAA+E;IAC/E,4EAA4E;IAC5E,wEAAwE;IACxE,+EAA+E;IAC/E,yEAAyE;IACzE,8EAA8E;IAC9E,4EAA4E;IAC5E,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,eAAe,CAAC;YAChD,IAAI,EAAE,WAAW;YACjB,OAAO;YACP,WAAW,EAAE,YAAY;YACzB,YAAY,EAAE,IAAI;YAClB,IAAI;YACJ,GAAG;YACH,MAAM,EAAE,IAAI;YACZ,GAAG;YACH,IAAI;SACJ,CAAC,CAAC;QACH,OAAO,EAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAC,CAAC;IACnD,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,eAAe,CAAC;QAChD,IAAI,EAAE,WAAW;QACjB,OAAO;QACP,WAAW,EAAE,YAAY;QACzB,YAAY,EAAE,IAAI;QAClB,IAAI;QACJ,GAAG;QACH,GAAG;QACH,IAAI;KACJ,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,YAAY,IAAI,QAAQ,OAAO,QAAQ,CAAC;QACxD,IAAI,CAAC,OAAO,CAAC,CAAC;QACd,OAAO,EAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAC,CAAC;IACnC,CAAC;IACD,OAAO,EAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAC,CAAC;AACpD,CAAC;AAED,6EAA6E;AAE7E,uEAAuE;AACvE,KAAK,UAAU,WAAW,CACzB,GAAW,EACX,GAAkC;IAElC,MAAM,GAAG,GAAG,MAAM,OAAO,CACxB,CAAC,cAAc,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,EAC9C,GAAG,EACH,GAAG,CACH,CAAC;IACF,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,OAAO,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC1B,CAAC;IACD,OAAO,CAAC,MAAM,OAAO,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;AACvE,CAAC;AAED,0EAA0E;AAC1E,KAAK,UAAU,OAAO,CACrB,GAAW,EACX,OAAe,EACf,MAAc,EACd,GAAkC;IAElC,MAAM,OAAO,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC1D,MAAM,OAAO,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AACnD,CAAC;AAED,iFAAiF;AACjF,KAAK,UAAU,SAAS,CACvB,GAAW,EACX,GAAkC;IAElC,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC9D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACpD,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC3B,CAAC;IACD,MAAM,CAAC,GAAG,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC;IAC7B,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC;AACnC,CAAC;AAED,+DAA+D;AAC/D,KAAK,UAAU,aAAa,CAC3B,MAAc,EACd,GAAW,EACX,GAAkC;IAElC,OAAO,CAAC,MAAM,OAAO,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;AAC3E,CAAC;AAED,sEAAsE;AACtE,SAAS,OAAO,CACf,IAAc,EACd,GAAW,EACX,GAAkC;IAElC,OAAO,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAC,GAAG,EAAC,CAAC,CAAC;AAC1C,CAAC;AAED,2EAA2E;AAC3E,KAAK,UAAU,OAAO,CACrB,IAAc,EACd,GAAW,EACX,GAAkC;IAElC,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAC,GAAG,EAAC,CAAC,CAAC;IACvD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CACd,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,MAAM,CAAC,MAAM,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAC/E,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,6EAA6E;AAC7E,EAAE;AACF,6EAA6E;AAC7E,kFAAkF;AAClF,4EAA4E;AAC5E,iFAAiF;AACjF,+EAA+E;AAC/E,+EAA+E;AAC/E,4EAA4E;AAC5E,8EAA8E;AAC9E,mFAAmF;AACnF,EAAE;AACF,mCAAmC;AACnC,2DAA2D;AAC3D,iFAAiF;AACjF,0EAA0E;AAC1E,yDAAyD;AACzD,kFAAkF;AAClF,gFAAgF;AAChF,8EAA8E;AAC9E,0EAA0E;AAC1E,sEAAsE;AACtE,yEAAyE;AACzE,+EAA+E;AAC/E,4DAA4D;AAC5D,kFAAkF;AAClF,qEAAqE;AACrE,EAAE;AACF,+EAA+E;AAC/E,+EAA+E;AAC/E,qFAAqF;AACrF,iFAAiF;AACjF,wEAAwE;AACxE,EAAE;AACF,kDAAkD;AAClD,6EAA6E;AAC7E,8EAA8E;AAC9E,oFAAoF;AACpF,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,iFAAiF;AACjF,4CAA4C;AAC5C,EAAE;AACF,2EAA2E;AAC3E,gFAAgF;AAChF,8EAA8E;AAC9E,8EAA8E;AAC9E,gFAAgF;AAChF,mBAAmB"}