@paths.design/caws-cli 11.1.6 → 11.1.8

package/dist/store/worktrees-migration.js

@@ -0,0 +1,356 @@
+"use strict";
+// WORKTREE-REGISTRY-LEGACY-ENVELOPE-MIGRATION-001
+//
+// Pure-ish helper for converting v10.2 envelope-shaped
+// .caws/worktrees.json into the v11 flat-map shape.
+//
+// Discipline:
+//   - The classifier (detectWorktreesRegistryShape) and planner
+//     (planMigration) are pure: they take fileContents + specs +
+//     a path-existence callback and return a plan. No fs reads,
+//     no process.env, no Date.now usage.
+//   - The shell command wraps the pure logic with real fs.existsSync
+//     and writeFileAtomic. The shell layer is responsible for IO.
+//   - writeFileAtomic semantics (verified at audit gate, commit
+//     a83927c): fsync + rename-on-same-filesystem atomicity. The
+//     migration relies on file-content atomicity (readers see
+//     either the old bytes or the new bytes; never partial), NOT
+//     on crash-safety past power loss or parent-directory
+//     durability.
+//   - loadSpecs semantics (verified at audit gate): read-only
+//     filesystem, returns specs + diagnostics. The migration
+//     consumes only `result.specs[]` for the destroyed-record
+//     policy check. A12 acceptance: when specs.length === 0 AND
+//     diagnostics contains READ_IO_FAILED, the migration refuses
+//     because the destroyed-record claim check cannot be verified.
+//     Benign loadSpecs diagnostics (non-yaml-skipped, duplicate-id)
+//     do NOT cause refusal.
+//
+// What this module does NOT do:
+//   - Read or write the filesystem (the shell command does that).
+//   - Append events (Decision 2: no new event in this slice).
+//   - Modify doctor's H1 rule (Decision 3: detection is explicit
+//     in this migration path; doctor stays unchanged).
+//   - Repair half-states (lives in PRUNE-REPAIR-WORKTREE-001 after
+//     authority closes).
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MIGRATION_RULES = void 0;
+exports.detectWorktreesRegistryShape = detectWorktreesRegistryShape;
+exports.classifyRecordsForMigration = classifyRecordsForMigration;
+exports.isSpecLoadVerifiable = isSpecLoadVerifiable;
+exports.planMigration = planMigration;
+const caws_kernel_1 = require("@paths.design/caws-kernel");
+// ---- Stable rule ids ------------------------------------------------------
+//
+// Co-located with the migration logic, following the pattern in
+// doctor-snapshot.ts where diagnostic rule ids are defined inline rather
+// than registered in STORE_RULES. This keeps the contract local to the
+// migration surface and avoids touching the cross-cutting rules.ts file.
+exports.MIGRATION_RULES = {
+    /** A10/A1: shape detection — file is in v10.2 envelope shape. */
+    LEGACY_ENVELOPE_DETECTED: 'store.worktrees_migration.legacy_envelope_detected',
+    /** A5: shape detection — ambiguous mix of envelope and flat-map structure. */
+    MIXED_SHAPE_REFUSED: 'store.worktrees_migration.mixed_shape_refused',
+    /** A4: at least one destroyed record blocks omission (spec claims it OR path present). */
+    DESTROYED_RECORD_BLOCKS_OMISSION: 'store.worktrees_migration.destroyed_record_blocks_omission',
+    /** A12: spec load failed in a way that makes the claim check unverifiable. */
+    SPEC_LOAD_FAILED_POLICY_UNVERIFIABLE: 'store.worktrees_migration.spec_load_failed_policy_unverifiable',
+    /** A6: file already in v11 flat-map shape; no-op. */
+    ALREADY_MIGRATED: 'store.worktrees_migration.already_migrated',
+    /** IO/parse error reading the file before classification. */
+    READ_FAILED: 'store.worktrees_migration.read_failed',
+};
+function migrationDiagnostic(rule, message, opts = {}) {
+    return {
+        rule,
+        authority: 'kernel/diagnostics',
+        severity: opts.severity ?? 'error',
+        message,
+        ...(opts.subject !== undefined ? { subject: opts.subject } : {}),
+        ...(opts.data !== undefined ? { data: opts.data } : {}),
+        ...(opts.narrowRepair !== undefined ? { narrowRepair: opts.narrowRepair } : {}),
+    };
+}
+/**
+ * Classify the raw .caws/worktrees.json bytes. Pure: no fs access.
+ *
+ * Recognized shapes:
+ *   - `flat`: a JSON object with zero or more keys that are NOT
+ *     `version` (number) AND NOT `worktrees` (object) — i.e., the
+ *     v11 shape where each top-level key is a worktree name.
+ *   - `legacy_envelope`: a JSON object whose keys are EXACTLY
+ *     {version: number, worktrees: object}. No other top-level keys.
+ *   - `mixed`: a JSON object that has BOTH legacy-envelope keys AND
+ *     additional keys that look like flat-map records.
+ *   - `empty`: a JSON object with zero keys (`{}`).
+ *
+ * A12-relevant note: the classifier does NOT need spec input. The
+ * spec-load policy check happens at the planner step.
+ */
+function detectWorktreesRegistryShape(fileContents) {
+    let parsed;
+    try {
+        parsed = JSON.parse(fileContents);
+    }
+    catch (e) {
+        const msg = e.message ?? 'unknown JSON error';
+        return (0, caws_kernel_1.err)(migrationDiagnostic(exports.MIGRATION_RULES.READ_FAILED, `worktrees.json could not be parsed as JSON: ${msg}`));
+    }
+    if (typeof parsed !== 'object' || parsed === null || Array.isArray(parsed)) {
+        return (0, caws_kernel_1.err)(migrationDiagnostic(exports.MIGRATION_RULES.READ_FAILED, `worktrees.json is not a JSON object.`));
+    }
+    const obj = parsed;
+    const keys = Object.keys(obj);
+    if (keys.length === 0) {
+        return (0, caws_kernel_1.ok)({ kind: 'empty', reason: 'empty_object' });
+    }
+    const hasVersion = Object.prototype.hasOwnProperty.call(obj, 'version') &&
+        typeof obj.version === 'number';
+    const hasWorktreesObject = Object.prototype.hasOwnProperty.call(obj, 'worktrees') &&
+        typeof obj.worktrees === 'object' &&
+        obj.worktrees !== null &&
+        !Array.isArray(obj.worktrees);
+    if (hasVersion && hasWorktreesObject) {
+        const otherKeys = keys.filter((k) => k !== 'version' && k !== 'worktrees');
+        if (otherKeys.length > 0) {
+            // Mixed: envelope keys adjacent to non-envelope record keys.
+            return (0, caws_kernel_1.ok)({
+                kind: 'mixed',
+                reason: `legacy-envelope keys (version, worktrees) coexist with non-envelope top-level keys: ${otherKeys.join(', ')}`,
+            });
+        }
+        const nested = obj.worktrees;
+        return (0, caws_kernel_1.ok)({
+            kind: 'legacy_envelope',
+            version: obj.version,
+            nestedRecordCount: Object.keys(nested).length,
+        });
+    }
+    // No envelope. If `version` or `worktrees` appears alone (without the
+    // other), classify as mixed — that combination is not a recognized
+    // v10.2 shape and is not a clean flat map.
+    if (hasVersion && !hasWorktreesObject) {
+        return (0, caws_kernel_1.ok)({
+            kind: 'mixed',
+            reason: 'top-level "version" number is present but the legacy "worktrees" object is not',
+        });
+    }
+    if (!hasVersion && hasWorktreesObject) {
+        return (0, caws_kernel_1.ok)({
+            kind: 'mixed',
+            reason: 'top-level "worktrees" object is present but the legacy "version" number is not',
+        });
+    }
+    // Pure flat map (every top-level key is treated as a worktree name).
+    return (0, caws_kernel_1.ok)({ kind: 'flat', recordCount: keys.length });
+}
+/**
+ * Apply the destroyed-record policy to each nested record. Pure: takes
+ * the parsed envelope, the loaded specs (just id + worktree?), and a
+ * path-existence callback.
+ *
+ * Policy (invariant 3 of WORKTREE-REGISTRY-LEGACY-ENVELOPE-MIGRATION-001):
+ *
+ *   A record with status: "destroyed" MAY be omitted IFF BOTH:
+ *     (a) No loaded spec has its `worktree:` field set to the
+ *         record's key.
+ *     (b) The record's `path` is undefined/null/empty OR the
+ *         path does not exist on disk.
+ *
+ *   Otherwise, the migration refuses (whole-file refusal, not
+ *   partial migration).
+ *
+ *   Non-terminal records (status missing or != "destroyed") are
+ *   always preserved verbatim.
+ */
+function classifyRecordsForMigration(nestedRecords, specs, pathExistsCheck) {
+    const decisions = [];
+    // Build a name -> claiming spec id index. Multiple specs claiming
+    // the same name (a separate doctor concern; not our problem) — we
+    // take the first match for diagnostic naming.
+    const claims = new Map();
+    for (const spec of specs) {
+        if (typeof spec.worktree === 'string' && spec.worktree.length > 0) {
+            if (!claims.has(spec.worktree)) {
+                claims.set(spec.worktree, spec.id);
+            }
+        }
+    }
+    for (const [key, raw] of Object.entries(nestedRecords)) {
+        if (raw === null || typeof raw !== 'object' || Array.isArray(raw)) {
+            // Non-object nested value (defensive). Treat as non-terminal —
+            // preserve verbatim. The kernel's regular registry validation
+            // will surface it later if it's malformed.
+            decisions.push({
+                record: key,
+                omit: false,
+                reason: 'non_terminal',
+                detail: {},
+            });
+            continue;
+        }
+        const record = raw;
+        const status = typeof record.status === 'string' ? record.status : undefined;
+        if (status !== 'destroyed') {
+            decisions.push({
+                record: key,
+                omit: false,
+                reason: 'non_terminal',
+                ...(status !== undefined ? { status } : {}),
+                detail: {},
+            });
+            continue;
+        }
+        // Status is "destroyed". Check policy conditions (a) and (b).
+        const claimingSpec = claims.get(key);
+        if (claimingSpec !== undefined) {
+            decisions.push({
+                record: key,
+                status,
+                omit: false,
+                reason: 'spec_claims',
+                detail: { specId: claimingSpec },
+            });
+            continue;
+        }
+        const recordedPath = typeof record.path === 'string' && record.path.length > 0
+            ? record.path
+            : undefined;
+        if (recordedPath !== undefined && pathExistsCheck(recordedPath)) {
+            decisions.push({
+                record: key,
+                status,
+                omit: false,
+                reason: 'path_present',
+                detail: { path: recordedPath },
+            });
+            continue;
+        }
+        decisions.push({
+            record: key,
+            status,
+            omit: true,
+            reason: 'destroyed_safe_to_omit',
+        });
+    }
+    return decisions;
+}
+/**
+ * A12 gate: detect the precise spec-load failure mode that makes the
+ * destroyed-record policy unverifiable. Returns true iff
+ *   specs.length === 0 AND diagnostics contains READ_IO_FAILED.
+ * Other diagnostics (SPECS_NON_YAML_SKIPPED, SPECS_DUPLICATE_ID,
+ * SPECS_SPEC_INVALID) MUST NOT cause refusal — those do not make
+ * the spec universe unknowable.
+ */
+function isSpecLoadVerifiable(specs, diagnostics) {
+    if (specs.length > 0)
+        return true;
+    const hasReadIoFailed = diagnostics.some((d) => d.rule === 'store.read.io_failed');
+    return !hasReadIoFailed;
+}
+/**
+ * Compose shape detection + record classification into a single plan.
+ *
+ * Refusal precedence (locked):
+ *   1. read_failed (JSON parse / non-object): shape-level refusal.
+ *   2. mixed_shape: shape-level refusal.
+ *   3. already_flat / empty_object: no_op.
+ *   4. legacy_envelope + spec-load unverifiable (A12): refuse.
+ *   5. legacy_envelope + any destroyed record blocks omission: refuse.
+ *   6. legacy_envelope clean: apply.
+ *
+ * Note: spec-load verifiability is checked ONLY when the file is in
+ * legacy_envelope shape AND at least one destroyed record exists. A
+ * legacy envelope with zero destroyed records has no claim check to
+ * verify, so a spec-load failure does not block migration. Per the
+ * audit, this preserves the narrow refusal posture.
+ */
+function planMigration(fileContents, specs, specLoadDiagnostics, pathExistsCheck) {
+    const shape = detectWorktreesRegistryShape(fileContents);
+    if (!(0, caws_kernel_1.isOk)(shape)) {
+        // err() guarantees at least one diagnostic; the [0] index is
+        // safe but TypeScript can't prove it under strict mode. Fall
+        // back to a synthesized read_failed diagnostic if the array is
+        // somehow empty.
+        const diagnostic = shape.errors[0] ??
+            migrationDiagnostic(exports.MIGRATION_RULES.READ_FAILED, 'worktrees.json detection failed without a specific diagnostic.');
+        return {
+            kind: 'refuse',
+            reason: 'read_failed',
+            diagnostic,
+        };
+    }
+    const shapeValue = shape.value;
+    if (shapeValue.kind === 'mixed') {
+        return {
+            kind: 'refuse',
+            reason: 'mixed_shape',
+            diagnostic: migrationDiagnostic(exports.MIGRATION_RULES.MIXED_SHAPE_REFUSED, `Refused to migrate: .caws/worktrees.json has a mixed shape (${shapeValue.reason}). Resolve manually.`, {
+                narrowRepair: 'Hand-edit .caws/worktrees.json to either the v10.2 envelope shape or the v11 flat-map shape, then re-run the migration.',
+            }),
+        };
+    }
+    if (shapeValue.kind === 'flat') {
+        return { kind: 'no_op', reason: 'already_flat', recordCount: shapeValue.recordCount };
+    }
+    if (shapeValue.kind === 'empty') {
+        return { kind: 'no_op', reason: 'empty_object' };
+    }
+    // shape is legacy_envelope. Parse the nested records.
+    // Safe to re-parse because shape detection already validated the
+    // top-level shape; this is to obtain the nested object reference.
+    const parsed = JSON.parse(fileContents);
+    const nested = parsed.worktrees;
+    const decisions = classifyRecordsForMigration(nested, specs, pathExistsCheck);
+    const hasDestroyedRecords = decisions.some((d) => d.status === 'destroyed');
+    // A12: spec-load verifiability check fires ONLY when at least one
+    // destroyed record exists (otherwise the claim check has no work).
+    if (hasDestroyedRecords && !isSpecLoadVerifiable(specs, specLoadDiagnostics)) {
+        return {
+            kind: 'refuse',
+            reason: 'spec_load_failed',
+            diagnostic: migrationDiagnostic(exports.MIGRATION_RULES.SPEC_LOAD_FAILED_POLICY_UNVERIFIABLE, 'Refused to migrate: cannot verify destroyed-record policy because spec loading failed (zero parsed specs and at least one READ_IO_FAILED diagnostic from .caws/specs/).', {
+                narrowRepair: 'Resolve the .caws/specs/ load failure (file permissions, directory corruption, etc.), then re-run the migration.',
+            }),
+            decisions,
+        };
+    }
+    const blocked = decisions.filter((d) => !d.omit && d.reason !== 'non_terminal');
+    if (blocked.length > 0) {
+        return {
+            kind: 'refuse',
+            reason: 'destroyed_blocked',
+            diagnostic: migrationDiagnostic(exports.MIGRATION_RULES.DESTROYED_RECORD_BLOCKS_OMISSION, `Refused to migrate: at least one destroyed record cannot be safely omitted. ${blocked.length} record(s) blocked.`, {
+                narrowRepair: 'Resolve the conflict manually: clear the worktree: field on the claiming spec if the worktree is genuinely destroyed, or remove the on-disk directory if it is leftover from a destroyed worktree. Then re-run the migration.',
+                data: {
+                    blocked: blocked.map((d) => ({
+                        record: d.record,
+                        reason: d.reason,
+                        detail: d.omit === false ? d.detail : undefined,
+                    })),
+                },
+            }),
+            decisions,
+        };
+    }
+    // Build the flat map: preserve every record verbatim except those
+    // marked omit: true.
+    const flatMap = {};
+    for (const decision of decisions) {
+        if (decision.omit)
+            continue;
+        flatMap[decision.record] = nested[decision.record];
+    }
+    // Exact serialization: 2-space indent + trailing newline. Matches
+    // the apply-patch convention so loader round-trips are byte-stable.
+    const outputBytes = JSON.stringify(flatMap, null, 2) + '\n';
+    return {
+        kind: 'apply',
+        decisions,
+        outputBytes,
+        inputRecordCount: shapeValue.nestedRecordCount,
+        outputRecordCount: Object.keys(flatMap).length,
+    };
+}
+//# sourceMappingURL=worktrees-migration.js.map

package/dist/store/worktrees-migration.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"worktrees-migration.js","sourceRoot":"","sources":["../../src/store/worktrees-migration.ts"],"names":[],"mappings":";AAAA,kDAAkD;AAClD,EAAE;AACF,uDAAuD;AACvD,oDAAoD;AACpD,EAAE;AACF,cAAc;AACd,gEAAgE;AAChE,iEAAiE;AACjE,gEAAgE;AAChE,yCAAyC;AACzC,qEAAqE;AACrE,kEAAkE;AAClE,gEAAgE;AAChE,iEAAiE;AACjE,8DAA8D;AAC9D,iEAAiE;AACjE,0DAA0D;AAC1D,kBAAkB;AAClB,8DAA8D;AAC9D,6DAA6D;AAC7D,8DAA8D;AAC9D,gEAAgE;AAChE,iEAAiE;AACjE,mEAAmE;AACnE,oEAAoE;AACpE,4BAA4B;AAC5B,EAAE;AACF,gCAAgC;AAChC,kEAAkE;AAClE,8DAA8D;AAC9D,iEAAiE;AACjE,uDAAuD;AACvD,mEAAmE;AACnE,yBAAyB;;;AA+EzB,oEAwEC;AA6CD,kEAkFC;AAwCD,oDASC;AAmBD,sCA4HC;AApdD,2DAAwF;AAExF,8EAA8E;AAC9E,EAAE;AACF,gEAAgE;AAChE,yEAAyE;AACzE,uEAAuE;AACvE,yEAAyE;AAE5D,QAAA,eAAe,GAAG;IAC7B,iEAAiE;IACjE,wBAAwB,EAAE,oDAAoD;IAC9E,8EAA8E;IAC9E,mBAAmB,EAAE,+CAA+C;IACpE,0FAA0F;IAC1F,gCAAgC,EAC9B,4DAA4D;IAC9D,8EAA8E;IAC9E,oCAAoC,EAClC,gEAAgE;IAClE,qDAAqD;IACrD,gBAAgB,EAAE,4CAA4C;IAC9D,6DAA6D;IAC7D,WAAW,EAAE,uCAAuC;CAC5C,CAAC;AAgBX,SAAS,mBAAmB,CAC1B,IAAmB,EACnB,OAAe,EACf,OAKI,EAAE;IAEN,OAAO;QACL,IAAI;QACJ,SAAS,EAAE,oBAAoB;QAC/B,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,OAAO;QAClC,OAAO;QACP,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,GAAG,CAAC,IAAI,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,SAAgB,4BAA4B,CAC1C,YAAoB;IAEpB,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACpC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAI,CAA0B,CAAC,OAAO,IAAI,oBAAoB,CAAC;QACxE,OAAO,IAAA,iBAAG,EACR,mBAAmB,CACjB,uBAAe,CAAC,WAAW,EAC3B,+CAA+C,GAAG,EAAE,CACrD,CACF,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3E,OAAO,IAAA,iBAAG,EACR,mBAAmB,CACjB,uBAAe,CAAC,WAAW,EAC3B,sCAAsC,CACvC,CACF,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,MAAiC,CAAC;IAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,IAAA,gBAAE,EAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,UAAU,GACd,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC;QACpD,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,CAAC;IAClC,MAAM,kBAAkB,GACtB,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC;QACtD,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ;QACjC,GAAG,CAAC,SAAS,KAAK,IAAI;QACtB,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAEhC,IAAI,UAAU,IAAI,kBAAkB,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,WAAW,CAAC,CAAC;QAC3E,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,6DAA6D;YAC7D,OAAO,IAAA,gBAAE,EAAC;gBACR,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,uFAAuF,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;aACtH,CAAC,CAAC;QACL,CAAC;QACD,MAAM,MAAM,GAAG,GAAG,CAAC,SAAoC,CAAC;QACxD,OAAO,IAAA,gBAAE,EAAC;YACR,IAAI,EAAE,iBAAiB;YACvB,OAAO,EAAE,GAAG,CAAC,OAAiB;YAC9B,iBAAiB,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM;SAC9C,CAAC,CAAC;IACL,CAAC;IAED,sEAAsE;IACtE,mEAAmE;IACnE,2CAA2C;IAC3C,IAAI,UAAU,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACtC,OAAO,IAAA,gBAAE,EAAC;YACR,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,gFAAgF;SACzF,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,UAAU,IAAI,kBAAkB,EAAE,CAAC;QACtC,OAAO,IAAA,gBAAE,EAAC;YACR,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,gFAAgF;SACzF,CAAC,CAAC;IACL,CAAC;IAED,qEAAqE;IACrE,OAAO,IAAA,gBAAE,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AACxD,CAAC;AA0BD;;;;;;;;;;;;;;;;;;GAkBG;AACH,SAAgB,2BAA2B,CACzC,aAAsC,EACtC,KAAoC,EACpC,eAA0C;IAE1C,MAAM,SAAS,GAA6B,EAAE,CAAC;IAE/C,kEAAkE;IAClE,kEAAkE;IAClE,8CAA8C;IAC9C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/B,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;QACvD,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAClE,+DAA+D;YAC/D,8DAA8D;YAC9D,2CAA2C;YAC3C,SAAS,CAAC,IAAI,CAAC;gBACb,MAAM,EAAE,GAAG;gBACX,IAAI,EAAE,KAAK;gBACX,MAAM,EAAE,cAAc;gBACtB,MAAM,EAAE,EAAE;aACX,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,GAA8B,CAAC;QAC9C,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAE7E,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;YAC3B,SAAS,CAAC,IAAI,CAAC;gBACb,MAAM,EAAE,GAAG;gBACX,IAAI,EAAE,KAAK;gBACX,MAAM,EAAE,cAAc;gBACtB,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3C,MAAM,EAAE,EAAE;aACX,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,8DAA8D;QAC9D,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,SAAS,CAAC,IAAI,CAAC;gBACb,MAAM,EAAE,GAAG;gBACX,MAAM;gBACN,IAAI,EAAE,KAAK;gBACX,MAAM,EAAE,aAAa;gBACrB,MAAM,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE;aACjC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,YAAY,GAChB,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;YACvD,CAAC,CAAC,MAAM,CAAC,IAAI;YACb,CAAC,CAAC,SAAS,CAAC;QAChB,IAAI,YAAY,KAAK,SAAS,IAAI,eAAe,CAAC,YAAY,CAAC,EAAE,CAAC;YAChE,SAAS,CAAC,IAAI,CAAC;gBACb,MAAM,EAAE,GAAG;gBACX,MAAM;gBACN,IAAI,EAAE,KAAK;gBACX,MAAM,EAAE,cAAc;gBACtB,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;aAC/B,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,SAAS,CAAC,IAAI,CAAC;YACb,MAAM,EAAE,GAAG;YACX,MAAM;YACN,IAAI,EAAE,IAAI;YACV,MAAM,EAAE,wBAAwB;SACjC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAgCD;;;;;;;GAOG;AACH,SAAgB,oBAAoB,CAClC,KAAoC,EACpC,WAAkC;IAElC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,eAAe,GAAG,WAAW,CAAC,IAAI,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CACzC,CAAC;IACF,OAAO,CAAC,eAAe,CAAC;AAC1B,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,SAAgB,aAAa,CAC3B,YAAoB,EACpB,KAAoC,EACpC,mBAA0C,EAC1C,eAA0C;IAE1C,MAAM,KAAK,GAAG,4BAA4B,CAAC,YAAY,CAAC,CAAC;IACzD,IAAI,CAAC,IAAA,kBAAI,EAAC,KAAK,CAAC,EAAE,CAAC;QACjB,6DAA6D;QAC7D,6DAA6D;QAC7D,+DAA+D;QAC/D,iBAAiB;QACjB,MAAM,UAAU,GACd,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;YACf,mBAAmB,CACjB,uBAAe,CAAC,WAAW,EAC3B,gEAAgE,CACjE,CAAC;QACJ,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,aAAa;YACrB,UAAU;SACX,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC;IAC/B,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAChC,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,aAAa;YACrB,UAAU,EAAE,mBAAmB,CAC7B,uBAAe,CAAC,mBAAmB,EACnC,+DAA+D,UAAU,CAAC,MAAM,sBAAsB,EACtG;gBACE,YAAY,EACV,yHAAyH;aAC5H,CACF;SACF,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC/B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,WAAW,EAAE,UAAU,CAAC,WAAW,EAAE,CAAC;IACxF,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAChC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC;IACnD,CAAC;IAED,sDAAsD;IACtD,iEAAiE;IACjE,kEAAkE;IAClE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAGrC,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC;IAEhC,MAAM,SAAS,GAAG,2BAA2B,CAAC,MAAM,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC;IAC9E,MAAM,mBAAmB,GAAG,SAAS,CAAC,IAAI,CACxC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAChC,CAAC;IAEF,kEAAkE;IAClE,mEAAmE;IACnE,IAAI,mBAAmB,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,mBAAmB,CAAC,EAAE,CAAC;QAC7E,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,kBAAkB;YAC1B,UAAU,EAAE,mBAAmB,CAC7B,uBAAe,CAAC,oCAAoC,EACpD,yKAAyK,EACzK;gBACE,YAAY,EACV,kHAAkH;aACrH,CACF;YACD,SAAS;SACV,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC;IAChF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,mBAAmB;YAC3B,UAAU,EAAE,mBAAmB,CAC7B,uBAAe,CAAC,gCAAgC,EAChD,+EAA+E,OAAO,CAAC,MAAM,qBAAqB,EAClH;gBACE,YAAY,EACV,+NAA+N;gBACjO,IAAI,EAAE;oBACJ,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBAC3B,MAAM,EAAE,CAAC,CAAC,MAAM;wBAChB,MAAM,EAAE,CAAC,CAAC,MAAM;wBAChB,MAAM,EAAE,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;qBAChD,CAAC,CAAC;iBACJ;aACF,CACF;YACD,SAAS;SACV,CAAC;IACJ,CAAC;IAED,kEAAkE;IAClE,qBAAqB;IACrB,MAAM,OAAO,GAA4B,EAAE,CAAC;IAC5C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,QAAQ,CAAC,IAAI;YAAE,SAAS;QAC5B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACrD,CAAC;IAED,kEAAkE;IAClE,oEAAoE;IACpE,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC;IAE5D,OAAO;QACL,IAAI,EAAE,OAAO;QACb,SAAS;QACT,WAAW;QACX,gBAAgB,EAAE,UAAU,CAAC,iBAAiB;QAC9C,iBAAiB,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM;KAC/C,CAAC;AACJ,CAAC"}

package/dist/store/worktrees-writer.d.ts

@@ -1,5 +1,6 @@
 import { type EventBody, type Result, type SessionIdentity, type Diagnostic } from '@paths.design/caws-kernel';
 import { loadSpecs } from './specs-store';
+import type { SessionCandidates } from '../shell/session/types';
 export interface CreateWorktreeInput {
     readonly name: string;
     readonly specId: string;
@@ -22,7 +23,31 @@ export interface BindWorktreeInput {
 }
 export interface DestroyWorktreeInput {
     readonly name: string;
+    /**
+     * The session identity to record as the actor of the destroy event.
+     * Single identity by design — an event has exactly one author. This
+     * is the field minted-or-resolved by the caller's
+     * resolveSession({ allowMint: true }) call.
+     */
     readonly session: SessionIdentity;
+    /**
+     * The exhaustive set of session identities the invoking process can
+     * speak for, used for the ownership-comparison admission check.
+     *
+     * The split between `session` (actor) and `sessionCandidates`
+     * (comparison) addresses the destroy-side failure mode of
+     * CAWS-WORKTREE-DESTROY-SESSION-RESOLUTION-001: a single cwd-keyed
+     * `session` cannot distinguish "I am the registered owner via a
+     * sibling-cwd capsule" from "I am a genuinely-foreign session", so
+     * a destroy issued from canonical after a `claim --takeover` from
+     * inside the worktree would refuse its own owner. The comparison
+     * now admits the destroy iff ANY candidate matches `entry.owner`,
+     * which is the honest semantic — comparison is set membership, not
+     * cwd-keyed equality.
+     *
+     * Construct via the shell layer's `resolveSessionCandidates()`.
+     */
+    readonly sessionCandidates: SessionCandidates;
     readonly actor: EventBody['actor'];
     readonly now?: () => Date;
     /** Allow destruction even when the branch is not merged into base.
@@ -32,7 +57,10 @@ export interface DestroyWorktreeInput {
 }
 export interface MergeWorktreeInput {
     readonly name: string;
+    /** See DestroyWorktreeInput.session — same actor/event-author role. */
     readonly session: SessionIdentity;
+    /** See DestroyWorktreeInput.sessionCandidates — same comparison semantic. */
+    readonly sessionCandidates: SessionCandidates;
     readonly actor: EventBody['actor'];
     readonly now?: () => Date;
     /** When true, perform validation only; no git operations, no file

package/dist/store/worktrees-writer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"worktrees-writer.d.ts","sourceRoot":"","sources":["../../src/store/worktrees-writer.ts"],"names":[],"mappings":"AA8BA,OAAO,EAEL,KAAK,SAAS,EAKd,KAAK,MAAM,EACX,KAAK,eAAe,EACpB,KAAK,UAAU,EAChB,MAAM,2BAA2B,CAAC;AAInC,OAAO,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAe1C,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;0BACsB;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B;yBACqB;IACrB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;IACnC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;IACnC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;IACnC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;IAC1B;;kEAE8D;IAC9D,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;CACpC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;IACnC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;IAC1B;oCACgC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B;uDACmD;IACnD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,MAAM,qBAAqB,GAC7B;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,OAAO,GAAG,WAAW,GAAG,QAAQ,CAAC;IAC9D,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACzC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,2BAA2B,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;CACvC,CAAC;AAyKN,wBAAgB,cAAc,CAC5B,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,mBAAmB,GACzB,MAAM,CAAC,qBAAqB,CAAC,CAoK/B;AAkDD,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,iBAAiB,GACvB,MAAM,CAAC,qBAAqB,CAAC,CAsE/B;AAID,wBAAgB,eAAe,CAC7B,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,oBAAoB,GAC1B,MAAM,CAAC,qBAAqB,CAAC,CAkI/B;AAID,wBAAgB,aAAa,CAC3B,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,kBAAkB,GACxB,MAAM,CAAC,qBAAqB,CAAC,CAsP/B;AAID,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,eAAe,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,SAAS,CAAC;CACvC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAChD;AAED,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAmB/E;AAKD,OAAO,EAAE,SAAS,EAAE,CAAC"}
+{"version":3,"file":"worktrees-writer.d.ts","sourceRoot":"","sources":["../../src/store/worktrees-writer.ts"],"names":[],"mappings":"AA8BA,OAAO,EAEL,KAAK,SAAS,EAKd,KAAK,MAAM,EACX,KAAK,eAAe,EACpB,KAAK,UAAU,EAChB,MAAM,2BAA2B,CAAC;AAMnC,OAAO,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAQ1C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAYhE,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;0BACsB;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B;yBACqB;IACrB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;IACnC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;IACnC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC;;;;;;;;;;;;;;;;OAgBG;IACH,QAAQ,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;IACnC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;IAC1B;;kEAE8D;IAC9D,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;CACpC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,6EAA6E;IAC7E,QAAQ,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;IACnC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;IAC1B;oCACgC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B;uDACmD;IACnD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,MAAM,qBAAqB,GAC7B;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,OAAO,GAAG,WAAW,GAAG,QAAQ,CAAC;IAC9D,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACzC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,2BAA2B,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;CACvC,CAAC;AAuPN,wBAAgB,cAAc,CAC5B,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,mBAAmB,GACzB,MAAM,CAAC,qBAAqB,CAAC,CAiO/B;AAkDD,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,iBAAiB,GACvB,MAAM,CAAC,qBAAqB,CAAC,CAqF/B;AAID,wBAAgB,eAAe,CAC7B,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,oBAAoB,GAC1B,MAAM,CAAC,qBAAqB,CAAC,CAuJ/B;AAID,wBAAgB,aAAa,CAC3B,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,kBAAkB,GACxB,MAAM,CAAC,qBAAqB,CAAC,CAkR/B;AAID,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,eAAe,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,SAAS,CAAC;CACvC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAChD;AAED,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAmB/E;AAKD,OAAO,EAAE,SAAS,EAAE,CAAC"}