effect-agent 0.1.0-beta.85 → 0.1.0-beta.87

package/dist/capabilities/SubagentReservations.mjs

@@ -0,0 +1,479 @@
+import { t as __exportAll } from "../rolldown-runtime-D7D4PA-g.mjs";
+import { RunId, ToolCallId } from "../core/Identifiers.mjs";
+import { SubagentDelegationCaps, SubagentReservationAmounts } from "../core/SubagentContract.mjs";
+import { Context, Effect, Layer, Ref, Schema, Semaphore } from "effect";
+//#region src/capabilities/SubagentReservations.ts
+var SubagentReservations_exports = /* @__PURE__ */ __exportAll({
+	BudgetReservationId: () => BudgetReservationId,
+	SubagentAvailableAmounts: () => SubagentAvailableAmounts,
+	SubagentBudgetDimension: () => SubagentBudgetDimension,
+	SubagentBudgetExhausted: () => SubagentBudgetExhausted,
+	SubagentObservedUsage: () => SubagentObservedUsage,
+	SubagentParentBudgetActive: () => SubagentParentBudgetActive,
+	SubagentParentBudgetConflict: () => SubagentParentBudgetConflict,
+	SubagentParentBudgetUnknown: () => SubagentParentBudgetUnknown,
+	SubagentParentBudgetView: () => SubagentParentBudgetView,
+	SubagentReservationConflict: () => SubagentReservationConflict,
+	SubagentReservationRequest: () => SubagentReservationRequest,
+	SubagentReservationStatus: () => SubagentReservationStatus,
+	SubagentReservationUnknown: () => SubagentReservationUnknown,
+	SubagentReservationView: () => SubagentReservationView,
+	SubagentReservations: () => SubagentReservations,
+	SubagentReservationsMemoryLive: () => SubagentReservationsMemoryLive,
+	makeBudgetReservationId: () => makeBudgetReservationId
+});
+const Natural = Schema.Natural;
+/**
+* Stable identity of one parent-owned Subagent budget reservation.
+*
+* Derivation rule (see {@link makeBudgetReservationId}):
+* `encodeURIComponent(parentRunId) + ":" + encodeURIComponent(parentToolCallId)`.
+* Component encoding escapes `:`; the mapping is injective for every
+* `(parentRunId, parentToolCallId)` pair.
+*/
+const BudgetReservationId = Schema.NonEmptyString.pipe(Schema.brand("@effect-agent/capabilities/BudgetReservationId"));
+const decodeBudgetReservationId = Schema.decodeSync(BudgetReservationId);
+/** Derive the stable reservation identity of one Subagent Invocation. */
+const makeBudgetReservationId = (parentRunId, parentToolCallId) => decodeBudgetReservationId(`${encodeURIComponent(parentRunId)}:${encodeURIComponent(parentToolCallId)}`);
+/** One enforced hierarchical delegation budget dimension. */
+const SubagentBudgetDimension = Schema.Literals([
+	"total-child-invocations",
+	"concurrent-children",
+	"turns",
+	"tool-calls",
+	"duration",
+	"input-tokens",
+	"output-tokens",
+	"cost",
+	"result-bytes"
+]);
+SubagentReservationAmounts.fields;
+const OptionalAmountFields = {
+	turns: Schema.optionalKey(Natural),
+	toolCalls: Schema.optionalKey(Natural),
+	durationMillis: Schema.optionalKey(Natural),
+	inputTokens: Schema.optionalKey(Natural),
+	outputTokens: Schema.optionalKey(Natural),
+	costMicrousd: Schema.optionalKey(Natural),
+	resultBytes: Schema.optionalKey(Natural)
+};
+/** Observed child usage. An absent dimension was never reported and settles conservatively. */
+var SubagentObservedUsage = class extends Schema.Class("@effect-agent/capabilities/SubagentObservedUsage")(OptionalAmountFields) {};
+/** Remaining delegable allocation per configured dimension. Absent means not configured. */
+var SubagentAvailableAmounts = class extends Schema.Class("@effect-agent/capabilities/SubagentAvailableAmounts")(OptionalAmountFields) {};
+/** Reservation lifecycle: absent → reserved → releasePending → released. */
+const SubagentReservationStatus = Schema.Literals([
+	"reserved",
+	"releasePending",
+	"released"
+]);
+/** All-or-nothing allocation request for one Subagent Invocation. */
+var SubagentReservationRequest = class extends Schema.Class("@effect-agent/capabilities/SubagentReservationRequest")({
+	parentRunId: RunId,
+	parentToolCallId: ToolCallId,
+	allocation: SubagentReservationAmounts,
+	/** Additional invocation slots held for this child's entire subtree. */
+	descendantInvocations: Schema.optionalKey(Natural)
+}) {};
+/** Accounting snapshot of one reservation: allocated, observed, covered, released, and overrun. */
+var SubagentReservationView = class extends Schema.Class("@effect-agent/capabilities/SubagentReservationView")({
+	reservationId: BudgetReservationId,
+	parentRunId: RunId,
+	parentToolCallId: ToolCallId,
+	status: SubagentReservationStatus,
+	allocated: SubagentReservationAmounts,
+	observedConsumed: SubagentObservedUsage,
+	coveredConsumed: SubagentReservationAmounts,
+	released: SubagentReservationAmounts,
+	overrun: SubagentReservationAmounts
+}) {};
+/** Aggregate parent delegation budget snapshot including every reservation it owns. */
+var SubagentParentBudgetView = class extends Schema.Class("@effect-agent/capabilities/SubagentParentBudgetView")({
+	parentRunId: RunId,
+	caps: SubagentDelegationCaps,
+	totalChildInvocations: Natural,
+	available: SubagentAvailableAmounts,
+	cumulativeOverrun: SubagentReservationAmounts,
+	reservations: Schema.Array(SubagentReservationView)
+}) {};
+/** All-or-nothing admission failed: one dimension cannot cover the requested allocation. */
+var SubagentBudgetExhausted = class extends Schema.TaggedError()("SubagentBudgetExhausted", {
+	parentRunId: RunId,
+	dimension: SubagentBudgetDimension,
+	limitValue: Natural,
+	observedValue: Natural
+}) {};
+/** The stable key is already reserved with a different allocation; neither request may win silently. */
+var SubagentReservationConflict = class extends Schema.TaggedError()("SubagentReservationConflict", {
+	reservationId: BudgetReservationId,
+	existingAllocation: SubagentReservationAmounts,
+	requestedAllocation: SubagentReservationAmounts
+}) {};
+/** No reservation exists for this identity. */
+var SubagentReservationUnknown = class extends Schema.TaggedError()("SubagentReservationUnknown", { reservationId: BudgetReservationId }) {};
+/** No delegation budget was registered for this parent Run. */
+var SubagentParentBudgetUnknown = class extends Schema.TaggedError()("SubagentParentBudgetUnknown", { parentRunId: RunId }) {};
+/** The parent Run is already registered with different caps; neither set may win silently. */
+var SubagentParentBudgetConflict = class extends Schema.TaggedError()("SubagentParentBudgetConflict", { parentRunId: RunId }) {};
+/** A parent budget cannot retire while one of its child reservations is unsettled. */
+var SubagentParentBudgetActive = class extends Schema.TaggedError()("SubagentParentBudgetActive", {
+	parentRunId: RunId,
+	openReservations: Natural
+}) {};
+/**
+* Parent-owned hierarchical Subagent budget reservation authority.
+*
+* Every transition is a single atomic `Ref` update, so parallel children can
+* never observe and spend the same remainder. The post-response usage hook in
+* `budget.ts` is deliberately not reused here: it accounts after the fact and
+* is not a reservation service.
+*/
+var SubagentReservations = class extends Context.Service()("@effect-agent/capabilities/SubagentReservations") {};
+const dimensionSpecs = [
+	{
+		key: "turns",
+		dimension: "turns",
+		cap: (caps) => caps.maxTurns
+	},
+	{
+		key: "toolCalls",
+		dimension: "tool-calls",
+		cap: (caps) => caps.maxToolCalls
+	},
+	{
+		key: "durationMillis",
+		dimension: "duration",
+		cap: (caps) => caps.maxDurationMillis
+	},
+	{
+		key: "inputTokens",
+		dimension: "input-tokens",
+		cap: (caps) => caps.maxInputTokens
+	},
+	{
+		key: "outputTokens",
+		dimension: "output-tokens",
+		cap: (caps) => caps.maxOutputTokens
+	},
+	{
+		key: "costMicrousd",
+		dimension: "cost",
+		cap: (caps) => caps.maxCostMicrousd
+	},
+	{
+		key: "resultBytes",
+		dimension: "result-bytes",
+		cap: (caps) => caps.maxResultBytes
+	}
+];
+const zeroAmounts = {
+	turns: 0,
+	toolCalls: 0,
+	durationMillis: 0,
+	inputTokens: 0,
+	outputTokens: 0,
+	costMicrousd: 0,
+	resultBytes: 0
+};
+const ok = (value) => ({
+	_tag: "ok",
+	value
+});
+const fail = (error) => ({
+	_tag: "error",
+	error
+});
+const resolve = (result) => {
+	switch (result._tag) {
+		case "ok": return Effect.succeed(result.value);
+		case "error": return Effect.fail(result.error);
+		case "corrupt": return Effect.die(new Error(result.message));
+	}
+};
+const sameCaps = (a, b) => a.maxTotalChildInvocations === b.maxTotalChildInvocations && a.maxConcurrentChildren === b.maxConcurrentChildren && a.maxTurns === b.maxTurns && a.maxToolCalls === b.maxToolCalls && a.maxDurationMillis === b.maxDurationMillis && a.maxInputTokens === b.maxInputTokens && a.maxOutputTokens === b.maxOutputTokens && a.maxCostMicrousd === b.maxCostMicrousd && a.maxResultBytes === b.maxResultBytes;
+const sameAmounts = (a, b) => dimensionSpecs.every((spec) => a[spec.key] === b[spec.key]);
+const optionalAmounts = (partial) => {
+	const out = {};
+	for (const spec of dimensionSpecs) {
+		const value = partial[spec.key];
+		if (value !== void 0) out[spec.key] = value;
+	}
+	return out;
+};
+/** Covered usage freezes at settlement, so the unused allocation remains stable afterward. */
+const unusedAllocation = (reservation) => {
+	const unused = { ...zeroAmounts };
+	for (const spec of dimensionSpecs) unused[spec.key] = reservation.allocated[spec.key] - reservation.covered[spec.key];
+	return unused;
+};
+const reservationView = (reservationId, state) => SubagentReservationView.make({
+	reservationId,
+	parentRunId: state.parentRunId,
+	parentToolCallId: state.parentToolCallId,
+	status: state.status,
+	allocated: SubagentReservationAmounts.make(state.allocated),
+	observedConsumed: SubagentObservedUsage.make(optionalAmounts(state.observed)),
+	coveredConsumed: SubagentReservationAmounts.make(state.covered),
+	released: SubagentReservationAmounts.make(state.status === "released" ? unusedAllocation(state) : zeroAmounts),
+	overrun: SubagentReservationAmounts.make(state.overrun)
+});
+const parentView = (ledger, parent) => {
+	const reservations = [];
+	for (const [reservationId, reservation] of ledger.reservations) if (reservation.parentRunId === parent.parentRunId) reservations.push(reservationView(reservationId, reservation));
+	return SubagentParentBudgetView.make({
+		parentRunId: parent.parentRunId,
+		caps: parent.caps,
+		totalChildInvocations: parent.totalChildInvocations,
+		available: SubagentAvailableAmounts.make(optionalAmounts(parent.available)),
+		cumulativeOverrun: SubagentReservationAmounts.make(parent.cumulativeOverrun),
+		reservations
+	});
+};
+const corruptParent = (parentRunId) => ({
+	_tag: "corrupt",
+	message: `SubagentReservations ledger invariant violated: reservation references unregistered parent Run ${parentRunId}`
+});
+const registerTransition = (ledger, parentRunId, caps, gate) => {
+	const existing = ledger.parents.get(parentRunId);
+	if (existing !== void 0) return sameCaps(existing.caps, caps) ? [ok(parentView(ledger, existing)), ledger] : [fail(SubagentParentBudgetConflict.make({ parentRunId })), ledger];
+	const available = {};
+	for (const spec of dimensionSpecs) {
+		const cap = spec.cap(caps);
+		if (cap !== void 0) available[spec.key] = cap;
+	}
+	const parent = {
+		parentRunId,
+		caps,
+		gate,
+		totalChildInvocations: 0,
+		available,
+		cumulativeOverrun: zeroAmounts
+	};
+	const next = {
+		parents: new Map(ledger.parents).set(parentRunId, parent),
+		reservations: ledger.reservations
+	};
+	return [ok(parentView(next, parent)), next];
+};
+const reserveTransition = (ledger, request) => {
+	const parent = ledger.parents.get(request.parentRunId);
+	if (parent === void 0) return [fail(SubagentParentBudgetUnknown.make({ parentRunId: request.parentRunId })), ledger];
+	const reservationId = makeBudgetReservationId(request.parentRunId, request.parentToolCallId);
+	const existing = ledger.reservations.get(reservationId);
+	if (existing !== void 0) return sameAmounts(existing.allocated, request.allocation) && existing.descendantInvocations === (request.descendantInvocations ?? 0) ? [ok(reservationView(reservationId, existing)), ledger] : [fail(SubagentReservationConflict.make({
+		reservationId,
+		existingAllocation: SubagentReservationAmounts.make(existing.allocated),
+		requestedAllocation: request.allocation
+	})), ledger];
+	const maxInvocations = parent.caps.maxTotalChildInvocations;
+	const slots = 1 + (request.descendantInvocations ?? 0);
+	if (maxInvocations !== void 0 && parent.totalChildInvocations + slots > maxInvocations) return [fail(SubagentBudgetExhausted.make({
+		parentRunId: request.parentRunId,
+		dimension: "total-child-invocations",
+		limitValue: maxInvocations,
+		observedValue: parent.totalChildInvocations + slots
+	})), ledger];
+	for (const spec of dimensionSpecs) {
+		const cap = spec.cap(parent.caps);
+		if (cap === void 0) continue;
+		const headroom = (parent.available[spec.key] ?? 0) - parent.cumulativeOverrun[spec.key];
+		const requested = request.allocation[spec.key];
+		if (requested > headroom) return [fail(SubagentBudgetExhausted.make({
+			parentRunId: request.parentRunId,
+			dimension: spec.dimension,
+			limitValue: cap,
+			observedValue: cap - headroom + requested
+		})), ledger];
+	}
+	const nextAvailable = { ...parent.available };
+	for (const spec of dimensionSpecs) {
+		const available = parent.available[spec.key];
+		if (available !== void 0) nextAvailable[spec.key] = available - request.allocation[spec.key];
+	}
+	const reservation = {
+		parentRunId: request.parentRunId,
+		parentToolCallId: request.parentToolCallId,
+		descendantInvocations: request.descendantInvocations ?? 0,
+		status: "reserved",
+		allocated: request.allocation,
+		observed: {},
+		covered: zeroAmounts,
+		overrun: zeroAmounts
+	};
+	const next = {
+		parents: new Map(ledger.parents).set(request.parentRunId, {
+			...parent,
+			totalChildInvocations: parent.totalChildInvocations + slots,
+			available: nextAvailable
+		}),
+		reservations: new Map(ledger.reservations).set(reservationId, reservation)
+	};
+	return [ok(reservationView(reservationId, reservation)), next];
+};
+const observeTransition = (ledger, reservationId, usage) => {
+	const reservation = ledger.reservations.get(reservationId);
+	if (reservation === void 0) return [fail(SubagentReservationUnknown.make({ reservationId })), ledger];
+	const parent = ledger.parents.get(reservation.parentRunId);
+	if (parent === void 0) return [corruptParent(reservation.parentRunId), ledger];
+	const observed = { ...reservation.observed };
+	const covered = { ...reservation.covered };
+	const overrun = { ...reservation.overrun };
+	const cumulativeOverrun = { ...parent.cumulativeOverrun };
+	for (const spec of dimensionSpecs) {
+		const delta = usage[spec.key];
+		if (delta === void 0) continue;
+		observed[spec.key] = (observed[spec.key] ?? 0) + delta;
+		const coverable = reservation.status === "reserved" ? Math.min(delta, reservation.allocated[spec.key] - covered[spec.key]) : 0;
+		covered[spec.key] += coverable;
+		const overrunDelta = delta - coverable;
+		overrun[spec.key] += overrunDelta;
+		cumulativeOverrun[spec.key] += overrunDelta;
+	}
+	const nextReservation = {
+		...reservation,
+		observed,
+		covered,
+		overrun
+	};
+	const next = {
+		parents: new Map(ledger.parents).set(parent.parentRunId, {
+			...parent,
+			cumulativeOverrun
+		}),
+		reservations: new Map(ledger.reservations).set(reservationId, nextReservation)
+	};
+	return [ok(reservationView(reservationId, nextReservation)), next];
+};
+/**
+* Freeze the settlement decision. A dimension that was never observed
+* conservatively consumes its full reserved amount.
+*/
+const freezeSettlement = (reservation) => {
+	const observed = { ...reservation.observed };
+	const covered = { ...reservation.covered };
+	for (const spec of dimensionSpecs) if (observed[spec.key] === void 0) {
+		observed[spec.key] = reservation.allocated[spec.key];
+		covered[spec.key] = reservation.allocated[spec.key];
+	}
+	return {
+		...reservation,
+		status: "releasePending",
+		observed,
+		covered
+	};
+};
+const beginReleaseTransition = (ledger, reservationId) => {
+	const reservation = ledger.reservations.get(reservationId);
+	if (reservation === void 0) return [fail(SubagentReservationUnknown.make({ reservationId })), ledger];
+	if (reservation.status !== "reserved") return [ok(reservationView(reservationId, reservation)), ledger];
+	const frozen = freezeSettlement(reservation);
+	const next = {
+		parents: ledger.parents,
+		reservations: new Map(ledger.reservations).set(reservationId, frozen)
+	};
+	return [ok(reservationView(reservationId, frozen)), next];
+};
+const releaseTransition = (ledger, reservationId) => {
+	const reservation = ledger.reservations.get(reservationId);
+	if (reservation === void 0) return [fail(SubagentReservationUnknown.make({ reservationId })), ledger];
+	if (reservation.status === "released") return [ok(reservationView(reservationId, reservation)), ledger];
+	const parent = ledger.parents.get(reservation.parentRunId);
+	if (parent === void 0) return [corruptParent(reservation.parentRunId), ledger];
+	const frozen = reservation.status === "reserved" ? freezeSettlement(reservation) : reservation;
+	const unused = unusedAllocation(frozen);
+	const nextAvailable = { ...parent.available };
+	for (const spec of dimensionSpecs) {
+		const available = parent.available[spec.key];
+		if (available !== void 0) nextAvailable[spec.key] = available + unused[spec.key];
+	}
+	const settled = {
+		...frozen,
+		status: "released"
+	};
+	const next = {
+		parents: new Map(ledger.parents).set(parent.parentRunId, {
+			...parent,
+			available: nextAvailable
+		}),
+		reservations: new Map(ledger.reservations).set(reservationId, settled)
+	};
+	return [ok(reservationView(reservationId, settled)), next];
+};
+const retireParentTransition = (ledger, parentRunId) => {
+	if (!ledger.parents.has(parentRunId)) return [ok(void 0), ledger];
+	let openReservations = 0;
+	for (const reservation of ledger.reservations.values()) if (reservation.parentRunId === parentRunId && reservation.status !== "released") openReservations += 1;
+	if (openReservations > 0) return [fail(SubagentParentBudgetActive.make({
+		parentRunId,
+		openReservations
+	})), ledger];
+	const parents = new Map(ledger.parents);
+	parents.delete(parentRunId);
+	const reservations = new Map(ledger.reservations);
+	for (const [reservationId, reservation] of reservations) if (reservation.parentRunId === parentRunId) reservations.delete(reservationId);
+	return [ok(void 0), {
+		parents,
+		reservations
+	}];
+};
+/**
+* In-memory reservation ledger. All state lives in one `Ref` owned by the
+* Layer's Scope; every transition is a single atomic `Ref.modify`.
+*/
+const SubagentReservationsMemoryLive = Layer.effect(SubagentReservations, Effect.gen(function* () {
+	const state = yield* Ref.make({
+		parents: /* @__PURE__ */ new Map(),
+		reservations: /* @__PURE__ */ new Map()
+	});
+	return SubagentReservations.of({
+		registerParent: Effect.fn("SubagentReservations.registerParent")(function* (parentRunId, caps) {
+			const gate = caps.maxConcurrentChildren !== void 0 && caps.maxConcurrentChildren > 0 ? yield* Semaphore.make(caps.maxConcurrentChildren) : void 0;
+			const result = yield* Ref.modify(state, (ledger) => registerTransition(ledger, parentRunId, caps, gate));
+			return yield* resolve(result);
+		}),
+		reserve: Effect.fn("SubagentReservations.reserve")(function* (request) {
+			const result = yield* Ref.modify(state, (ledger) => reserveTransition(ledger, request));
+			return yield* resolve(result);
+		}),
+		observe: Effect.fn("SubagentReservations.observe")(function* (reservationId, usage) {
+			const result = yield* Ref.modify(state, (ledger) => observeTransition(ledger, reservationId, usage));
+			return yield* resolve(result);
+		}),
+		beginRelease: Effect.fn("SubagentReservations.beginRelease")(function* (reservationId) {
+			const result = yield* Ref.modify(state, (ledger) => beginReleaseTransition(ledger, reservationId));
+			return yield* resolve(result);
+		}),
+		release: Effect.fn("SubagentReservations.release")(function* (reservationId) {
+			const result = yield* Ref.modify(state, (ledger) => releaseTransition(ledger, reservationId));
+			return yield* resolve(result);
+		}),
+		acquireChildSlot: Effect.fn("SubagentReservations.acquireChildSlot")(function* (parentRunId, slots = 1) {
+			const parent = (yield* Ref.get(state)).parents.get(parentRunId);
+			if (parent === void 0) return yield* SubagentParentBudgetUnknown.make({ parentRunId });
+			const cap = parent.caps.maxConcurrentChildren;
+			if (cap === void 0) return;
+			if (!Number.isSafeInteger(slots) || slots < 1 || slots > cap || parent.gate === void 0) return yield* SubagentBudgetExhausted.make({
+				parentRunId,
+				dimension: "concurrent-children",
+				limitValue: cap,
+				observedValue: Number.isSafeInteger(slots) && slots > 0 ? slots : 0
+			});
+			const gate = parent.gate;
+			yield* Effect.acquireRelease(gate.take(slots), (permits) => gate.release(permits).pipe(Effect.asVoid), { interruptible: true });
+		}),
+		retireParent: Effect.fn("SubagentReservations.retireParent")(function* (parentRunId) {
+			const result = yield* Ref.modify(state, (ledger) => retireParentTransition(ledger, parentRunId));
+			return yield* resolve(result);
+		}),
+		parentSnapshot: Effect.fn("SubagentReservations.parentSnapshot")(function* (parentRunId) {
+			const ledger = yield* Ref.get(state);
+			const parent = ledger.parents.get(parentRunId);
+			if (parent === void 0) return yield* SubagentParentBudgetUnknown.make({ parentRunId });
+			return parentView(ledger, parent);
+		})
+	});
+}));
+//#endregion
+export { BudgetReservationId, SubagentAvailableAmounts, SubagentBudgetDimension, SubagentBudgetExhausted, SubagentObservedUsage, SubagentParentBudgetActive, SubagentParentBudgetConflict, SubagentParentBudgetUnknown, SubagentParentBudgetView, SubagentReservationConflict, SubagentReservationRequest, SubagentReservationStatus, SubagentReservationUnknown, SubagentReservationView, SubagentReservations, SubagentReservationsMemoryLive, makeBudgetReservationId, SubagentReservations_exports as t };
+
+//# sourceMappingURL=SubagentReservations.mjs.map

package/dist/capabilities/SubagentReservations.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"SubagentReservations.mjs","names":[],"sources":["../../src/capabilities/SubagentReservations.ts"],"sourcesContent":["import { Context, Effect, Layer, Ref, Schema, type Scope, Semaphore } from \"effect\";\n\nimport { RunId, ToolCallId } from \"../core/Identifiers.ts\";\nimport { SubagentDelegationCaps, SubagentReservationAmounts } from \"../core/SubagentContract.ts\";\n\nconst Natural = Schema.Natural;\n\n/**\n * Stable identity of one parent-owned Subagent budget reservation.\n *\n * Derivation rule (see {@link makeBudgetReservationId}):\n * `encodeURIComponent(parentRunId) + \":\" + encodeURIComponent(parentToolCallId)`.\n * Component encoding escapes `:`; the mapping is injective for every\n * `(parentRunId, parentToolCallId)` pair.\n */\nexport const BudgetReservationId = Schema.NonEmptyString.pipe(\n  Schema.brand(\"@effect-agent/capabilities/BudgetReservationId\"),\n);\n\nexport type BudgetReservationId = typeof BudgetReservationId.Type;\n\nconst decodeBudgetReservationId = Schema.decodeSync(BudgetReservationId);\n\n/** Derive the stable reservation identity of one Subagent Invocation. */\nexport const makeBudgetReservationId = (\n  parentRunId: RunId,\n  parentToolCallId: ToolCallId,\n): BudgetReservationId =>\n  decodeBudgetReservationId(\n    `${encodeURIComponent(parentRunId)}:${encodeURIComponent(parentToolCallId)}`,\n  );\n\n/** One enforced hierarchical delegation budget dimension. */\nexport const SubagentBudgetDimension = Schema.Literals([\n  \"total-child-invocations\",\n  \"concurrent-children\",\n  \"turns\",\n  \"tool-calls\",\n  \"duration\",\n  \"input-tokens\",\n  \"output-tokens\",\n  \"cost\",\n  \"result-bytes\",\n]);\n\nexport type SubagentBudgetDimension = typeof SubagentBudgetDimension.Type;\n\nconst AmountFields = SubagentReservationAmounts.fields;\n\nconst OptionalAmountFields = {\n  turns: Schema.optionalKey(Natural),\n  toolCalls: Schema.optionalKey(Natural),\n  durationMillis: Schema.optionalKey(Natural),\n  inputTokens: Schema.optionalKey(Natural),\n  outputTokens: Schema.optionalKey(Natural),\n  costMicrousd: Schema.optionalKey(Natural),\n  resultBytes: Schema.optionalKey(Natural),\n} as const;\n\n/** Observed child usage. An absent dimension was never reported and settles conservatively. */\nexport class SubagentObservedUsage extends Schema.Class<SubagentObservedUsage>(\n  \"@effect-agent/capabilities/SubagentObservedUsage\",\n)(OptionalAmountFields) {}\n\n/** Remaining delegable allocation per configured dimension. Absent means not configured. */\nexport class SubagentAvailableAmounts extends Schema.Class<SubagentAvailableAmounts>(\n  \"@effect-agent/capabilities/SubagentAvailableAmounts\",\n)(OptionalAmountFields) {}\n\n/** Reservation lifecycle: absent → reserved → releasePending → released. */\nexport const SubagentReservationStatus = Schema.Literals([\n  \"reserved\",\n  \"releasePending\",\n  \"released\",\n]);\n\nexport type SubagentReservationStatus = typeof SubagentReservationStatus.Type;\n\n/** All-or-nothing allocation request for one Subagent Invocation. */\nexport class SubagentReservationRequest extends Schema.Class<SubagentReservationRequest>(\n  \"@effect-agent/capabilities/SubagentReservationRequest\",\n)({\n  parentRunId: RunId,\n  parentToolCallId: ToolCallId,\n  allocation: SubagentReservationAmounts,\n  /** Additional invocation slots held for this child's entire subtree. */\n  descendantInvocations: Schema.optionalKey(Natural),\n}) {}\n\n/** Accounting snapshot of one reservation: allocated, observed, covered, released, and overrun. */\nexport class SubagentReservationView extends Schema.Class<SubagentReservationView>(\n  \"@effect-agent/capabilities/SubagentReservationView\",\n)({\n  reservationId: BudgetReservationId,\n  parentRunId: RunId,\n  parentToolCallId: ToolCallId,\n  status: SubagentReservationStatus,\n  allocated: SubagentReservationAmounts,\n  observedConsumed: SubagentObservedUsage,\n  coveredConsumed: SubagentReservationAmounts,\n  released: SubagentReservationAmounts,\n  overrun: SubagentReservationAmounts,\n}) {}\n\n/** Aggregate parent delegation budget snapshot including every reservation it owns. */\nexport class SubagentParentBudgetView extends Schema.Class<SubagentParentBudgetView>(\n  \"@effect-agent/capabilities/SubagentParentBudgetView\",\n)({\n  parentRunId: RunId,\n  caps: SubagentDelegationCaps,\n  totalChildInvocations: Natural,\n  available: SubagentAvailableAmounts,\n  cumulativeOverrun: SubagentReservationAmounts,\n  reservations: Schema.Array(SubagentReservationView),\n}) {}\n\n/** All-or-nothing admission failed: one dimension cannot cover the requested allocation. */\nexport class SubagentBudgetExhausted extends Schema.TaggedError<SubagentBudgetExhausted>()(\n  \"SubagentBudgetExhausted\",\n  {\n    parentRunId: RunId,\n    dimension: SubagentBudgetDimension,\n    limitValue: Natural,\n    observedValue: Natural,\n  },\n) {}\n\n/** The stable key is already reserved with a different allocation; neither request may win silently. */\nexport class SubagentReservationConflict extends Schema.TaggedError<SubagentReservationConflict>()(\n  \"SubagentReservationConflict\",\n  {\n    reservationId: BudgetReservationId,\n    existingAllocation: SubagentReservationAmounts,\n    requestedAllocation: SubagentReservationAmounts,\n  },\n) {}\n\n/** No reservation exists for this identity. */\nexport class SubagentReservationUnknown extends Schema.TaggedError<SubagentReservationUnknown>()(\n  \"SubagentReservationUnknown\",\n  {\n    reservationId: BudgetReservationId,\n  },\n) {}\n\n/** No delegation budget was registered for this parent Run. */\nexport class SubagentParentBudgetUnknown extends Schema.TaggedError<SubagentParentBudgetUnknown>()(\n  \"SubagentParentBudgetUnknown\",\n  {\n    parentRunId: RunId,\n  },\n) {}\n\n/** The parent Run is already registered with different caps; neither set may win silently. */\nexport class SubagentParentBudgetConflict extends Schema.TaggedError<SubagentParentBudgetConflict>()(\n  \"SubagentParentBudgetConflict\",\n  {\n    parentRunId: RunId,\n  },\n) {}\n\n/** A parent budget cannot retire while one of its child reservations is unsettled. */\nexport class SubagentParentBudgetActive extends Schema.TaggedError<SubagentParentBudgetActive>()(\n  \"SubagentParentBudgetActive\",\n  {\n    parentRunId: RunId,\n    openReservations: Natural,\n  },\n) {}\n\n/**\n * Parent-owned hierarchical Subagent budget reservation authority.\n *\n * Every transition is a single atomic `Ref` update, so parallel children can\n * never observe and spend the same remainder. The post-response usage hook in\n * `budget.ts` is deliberately not reused here: it accounts after the fact and\n * is not a reservation service.\n */\nexport class SubagentReservations extends Context.Service<\n  SubagentReservations,\n  {\n    /**\n     * Register the finite delegable budget of one parent Run. Re-registering\n     * identical caps returns the existing registration; different caps fail\n     * rather than silently winning.\n     */\n    readonly registerParent: (\n      parentRunId: RunId,\n      caps: SubagentDelegationCaps,\n    ) => Effect.Effect<SubagentParentBudgetView, SubagentParentBudgetConflict>;\n    /**\n     * Atomically reserve an all-or-nothing child allocation from the parent's\n     * remaining delegable budget, checking every dimension before committing\n     * any. The same key with the same allocation is idempotent and never\n     * double-reserves; a distinct key charges the monotonic total-invocation\n     * counter by one plus its reserved descendant slots, which release never refunds.\n     */\n    readonly reserve: (\n      request: SubagentReservationRequest,\n    ) => Effect.Effect<\n      SubagentReservationView,\n      SubagentBudgetExhausted | SubagentReservationConflict | SubagentParentBudgetUnknown\n    >;\n    /**\n     * Record observed child usage against a reservation. Usage above the\n     * reserved amount is recorded as overrun and charged to the parent\n     * aggregate, never clipped. Usage observed after settlement begins is\n     * pure overrun and cannot create budget.\n     */\n    readonly observe: (\n      reservationId: BudgetReservationId,\n      usage: SubagentObservedUsage,\n    ) => Effect.Effect<SubagentReservationView, SubagentReservationUnknown>;\n    /**\n     * `reserved → releasePending`: freeze the settlement decision. A dimension\n     * with no observed usage conservatively consumes its reserved amount.\n     * Idempotent once settlement has begun.\n     */\n    readonly beginRelease: (\n      reservationId: BudgetReservationId,\n    ) => Effect.Effect<SubagentReservationView, SubagentReservationUnknown>;\n    /**\n     * `releasePending → released`: return the unused allocation to the parent\n     * exactly once. Called on a still-reserved reservation it settles through\n     * `releasePending` in the same atomic update. Idempotent once released.\n     */\n    readonly release: (\n      reservationId: BudgetReservationId,\n    ) => Effect.Effect<SubagentReservationView, SubagentReservationUnknown>;\n    /**\n     * Acquire bounded child execution slots as a Scope-owned resource, so\n     * an interrupted child always frees its slot. The Semaphore bounds only\n     * concurrent children; a subtree holds one plus its possible descendants up front.\n     * Total invocations are enforced separately by\n     * `reserve`'s monotonic counter. A configured cap of zero fails closed\n     * instead of queueing forever; an unconfigured cap leaves execution\n     * ungated by this service.\n     */\n    readonly acquireChildSlot: (\n      parentRunId: RunId,\n      slots?: number,\n    ) => Effect.Effect<void, SubagentParentBudgetUnknown | SubagentBudgetExhausted, Scope.Scope>;\n    /**\n     * Reclaim one terminal parent registration and all of its released child\n     * reservations. Retirement is idempotent; an unknown parent is already\n     * retired. Open reservations fail typed and leave the ledger unchanged.\n     * The Run owner must call this after its final accounting snapshot no\n     * longer needs to be observable.\n     */\n    readonly retireParent: (parentRunId: RunId) => Effect.Effect<void, SubagentParentBudgetActive>;\n    /** Read the aggregate parent view for auditing and conservation checks. */\n    readonly parentSnapshot: (\n      parentRunId: RunId,\n    ) => Effect.Effect<SubagentParentBudgetView, SubagentParentBudgetUnknown>;\n  }\n>()(\"@effect-agent/capabilities/SubagentReservations\") {}\n\ntype ReservableDimensionKey = keyof typeof AmountFields;\n\ntype Amounts = Readonly<Record<ReservableDimensionKey, number>>;\ntype PartialAmounts = Readonly<Partial<Record<ReservableDimensionKey, number>>>;\n\ninterface DimensionSpec {\n  readonly key: ReservableDimensionKey;\n  readonly dimension: SubagentBudgetDimension;\n  readonly cap: (caps: SubagentDelegationCaps) => number | undefined;\n}\n\nconst dimensionSpecs: ReadonlyArray<DimensionSpec> = [\n  { key: \"turns\", dimension: \"turns\", cap: (caps) => caps.maxTurns },\n  { key: \"toolCalls\", dimension: \"tool-calls\", cap: (caps) => caps.maxToolCalls },\n  { key: \"durationMillis\", dimension: \"duration\", cap: (caps) => caps.maxDurationMillis },\n  { key: \"inputTokens\", dimension: \"input-tokens\", cap: (caps) => caps.maxInputTokens },\n  { key: \"outputTokens\", dimension: \"output-tokens\", cap: (caps) => caps.maxOutputTokens },\n  { key: \"costMicrousd\", dimension: \"cost\", cap: (caps) => caps.maxCostMicrousd },\n  { key: \"resultBytes\", dimension: \"result-bytes\", cap: (caps) => caps.maxResultBytes },\n];\n\nconst zeroAmounts: Amounts = {\n  turns: 0,\n  toolCalls: 0,\n  durationMillis: 0,\n  inputTokens: 0,\n  outputTokens: 0,\n  costMicrousd: 0,\n  resultBytes: 0,\n};\n\ninterface ReservationState {\n  readonly parentRunId: RunId;\n  readonly parentToolCallId: ToolCallId;\n  readonly descendantInvocations: number;\n  readonly status: SubagentReservationStatus;\n  readonly allocated: Amounts;\n  readonly observed: PartialAmounts;\n  readonly covered: Amounts;\n  readonly overrun: Amounts;\n}\n\ninterface ParentBudgetState {\n  readonly parentRunId: RunId;\n  readonly caps: SubagentDelegationCaps;\n  readonly gate: Semaphore.Semaphore | undefined;\n  /** Monotonic count of distinct reservations; never refunded by release. */\n  readonly totalChildInvocations: number;\n  /** Remaining delegable allocation for configured dimensions only. */\n  readonly available: PartialAmounts;\n  readonly cumulativeOverrun: Amounts;\n}\n\ninterface ReservationLedger {\n  readonly parents: ReadonlyMap<RunId, ParentBudgetState>;\n  readonly reservations: ReadonlyMap<BudgetReservationId, ReservationState>;\n}\n\ntype TransitionResult<A, E> =\n  | { readonly _tag: \"ok\"; readonly value: A }\n  | { readonly _tag: \"error\"; readonly error: E }\n  | { readonly _tag: \"corrupt\"; readonly message: string };\n\nconst ok = <A>(value: A): TransitionResult<A, never> => ({ _tag: \"ok\", value });\nconst fail = <E>(error: E): TransitionResult<never, E> => ({ _tag: \"error\", error });\n\nconst resolve = <A, E>(result: TransitionResult<A, E>): Effect.Effect<A, E> => {\n  switch (result._tag) {\n    case \"ok\":\n      return Effect.succeed(result.value);\n    case \"error\":\n      return Effect.fail(result.error);\n    case \"corrupt\":\n      return Effect.die(new Error(result.message));\n  }\n};\n\nconst sameCaps = (a: SubagentDelegationCaps, b: SubagentDelegationCaps): boolean =>\n  a.maxTotalChildInvocations === b.maxTotalChildInvocations &&\n  a.maxConcurrentChildren === b.maxConcurrentChildren &&\n  a.maxTurns === b.maxTurns &&\n  a.maxToolCalls === b.maxToolCalls &&\n  a.maxDurationMillis === b.maxDurationMillis &&\n  a.maxInputTokens === b.maxInputTokens &&\n  a.maxOutputTokens === b.maxOutputTokens &&\n  a.maxCostMicrousd === b.maxCostMicrousd &&\n  a.maxResultBytes === b.maxResultBytes;\n\nconst sameAmounts = (a: Amounts, b: Amounts): boolean =>\n  dimensionSpecs.every((spec) => a[spec.key] === b[spec.key]);\n\nconst optionalAmounts = (partial: PartialAmounts): { [K in ReservableDimensionKey]?: number } => {\n  const out: { [K in ReservableDimensionKey]?: number } = {};\n\n  for (const spec of dimensionSpecs) {\n    const value = partial[spec.key];\n\n    if (value !== undefined) {\n      out[spec.key] = value;\n    }\n  }\n\n  return out;\n};\n\n/** Covered usage freezes at settlement, so the unused allocation remains stable afterward. */\nconst unusedAllocation = (reservation: ReservationState): Amounts => {\n  const unused = { ...zeroAmounts };\n\n  for (const spec of dimensionSpecs) {\n    unused[spec.key] = reservation.allocated[spec.key] - reservation.covered[spec.key];\n  }\n\n  return unused;\n};\n\nconst reservationView = (\n  reservationId: BudgetReservationId,\n  state: ReservationState,\n): SubagentReservationView =>\n  SubagentReservationView.make({\n    reservationId,\n    parentRunId: state.parentRunId,\n    parentToolCallId: state.parentToolCallId,\n    status: state.status,\n    allocated: SubagentReservationAmounts.make(state.allocated),\n    observedConsumed: SubagentObservedUsage.make(optionalAmounts(state.observed)),\n    coveredConsumed: SubagentReservationAmounts.make(state.covered),\n    released: SubagentReservationAmounts.make(\n      state.status === \"released\" ? unusedAllocation(state) : zeroAmounts,\n    ),\n    overrun: SubagentReservationAmounts.make(state.overrun),\n  });\n\nconst parentView = (\n  ledger: ReservationLedger,\n  parent: ParentBudgetState,\n): SubagentParentBudgetView => {\n  const reservations: Array<SubagentReservationView> = [];\n\n  for (const [reservationId, reservation] of ledger.reservations) {\n    if (reservation.parentRunId === parent.parentRunId) {\n      reservations.push(reservationView(reservationId, reservation));\n    }\n  }\n\n  return SubagentParentBudgetView.make({\n    parentRunId: parent.parentRunId,\n    caps: parent.caps,\n    totalChildInvocations: parent.totalChildInvocations,\n    available: SubagentAvailableAmounts.make(optionalAmounts(parent.available)),\n    cumulativeOverrun: SubagentReservationAmounts.make(parent.cumulativeOverrun),\n    reservations,\n  });\n};\n\nconst corruptParent = (parentRunId: RunId): TransitionResult<never, never> => ({\n  _tag: \"corrupt\",\n  message: `SubagentReservations ledger invariant violated: reservation references unregistered parent Run ${parentRunId}`,\n});\n\nconst registerTransition = (\n  ledger: ReservationLedger,\n  parentRunId: RunId,\n  caps: SubagentDelegationCaps,\n  gate: Semaphore.Semaphore | undefined,\n): readonly [\n  TransitionResult<SubagentParentBudgetView, SubagentParentBudgetConflict>,\n  ReservationLedger,\n] => {\n  const existing = ledger.parents.get(parentRunId);\n\n  if (existing !== undefined) {\n    return sameCaps(existing.caps, caps)\n      ? [ok(parentView(ledger, existing)), ledger]\n      : [fail(SubagentParentBudgetConflict.make({ parentRunId })), ledger];\n  }\n  const available: { [K in ReservableDimensionKey]?: number } = {};\n\n  for (const spec of dimensionSpecs) {\n    const cap = spec.cap(caps);\n\n    if (cap !== undefined) {\n      available[spec.key] = cap;\n    }\n  }\n\n  const parent: ParentBudgetState = {\n    parentRunId,\n    caps,\n    gate,\n    totalChildInvocations: 0,\n    available,\n    cumulativeOverrun: zeroAmounts,\n  };\n\n  const next: ReservationLedger = {\n    parents: new Map(ledger.parents).set(parentRunId, parent),\n    reservations: ledger.reservations,\n  };\n\n  return [ok(parentView(next, parent)), next];\n};\n\nconst reserveTransition = (\n  ledger: ReservationLedger,\n  request: SubagentReservationRequest,\n): readonly [\n  TransitionResult<\n    SubagentReservationView,\n    SubagentBudgetExhausted | SubagentReservationConflict | SubagentParentBudgetUnknown\n  >,\n  ReservationLedger,\n] => {\n  const parent = ledger.parents.get(request.parentRunId);\n\n  if (parent === undefined) {\n    return [fail(SubagentParentBudgetUnknown.make({ parentRunId: request.parentRunId })), ledger];\n  }\n  const reservationId = makeBudgetReservationId(request.parentRunId, request.parentToolCallId);\n  const existing = ledger.reservations.get(reservationId);\n\n  if (existing !== undefined) {\n    return sameAmounts(existing.allocated, request.allocation) &&\n      existing.descendantInvocations === (request.descendantInvocations ?? 0)\n      ? [ok(reservationView(reservationId, existing)), ledger]\n      : [\n          fail(\n            SubagentReservationConflict.make({\n              reservationId,\n              existingAllocation: SubagentReservationAmounts.make(existing.allocated),\n              requestedAllocation: request.allocation,\n            }),\n          ),\n          ledger,\n        ];\n  }\n  const maxInvocations = parent.caps.maxTotalChildInvocations;\n  const slots = 1 + (request.descendantInvocations ?? 0);\n\n  if (maxInvocations !== undefined && parent.totalChildInvocations + slots > maxInvocations) {\n    return [\n      fail(\n        SubagentBudgetExhausted.make({\n          parentRunId: request.parentRunId,\n          dimension: \"total-child-invocations\",\n          limitValue: maxInvocations,\n          observedValue: parent.totalChildInvocations + slots,\n        }),\n      ),\n      ledger,\n    ];\n  }\n  for (const spec of dimensionSpecs) {\n    const cap = spec.cap(parent.caps);\n\n    if (cap === undefined) {\n      continue;\n    }\n    // Overrun already charged to the parent aggregate reduces delegable\n    // headroom without mutating `available`.\n    const headroom = (parent.available[spec.key] ?? 0) - parent.cumulativeOverrun[spec.key];\n    const requested = request.allocation[spec.key];\n\n    if (requested > headroom) {\n      return [\n        fail(\n          SubagentBudgetExhausted.make({\n            parentRunId: request.parentRunId,\n            dimension: spec.dimension,\n            limitValue: cap,\n            observedValue: cap - headroom + requested,\n          }),\n        ),\n        ledger,\n      ];\n    }\n  }\n\n  const nextAvailable: { [K in ReservableDimensionKey]?: number } = {\n    ...parent.available,\n  };\n\n  for (const spec of dimensionSpecs) {\n    const available = parent.available[spec.key];\n\n    if (available !== undefined) {\n      nextAvailable[spec.key] = available - request.allocation[spec.key];\n    }\n  }\n\n  const reservation: ReservationState = {\n    parentRunId: request.parentRunId,\n    parentToolCallId: request.parentToolCallId,\n    descendantInvocations: request.descendantInvocations ?? 0,\n    status: \"reserved\",\n    allocated: request.allocation,\n    observed: {},\n    covered: zeroAmounts,\n    overrun: zeroAmounts,\n  };\n\n  const next: ReservationLedger = {\n    parents: new Map(ledger.parents).set(request.parentRunId, {\n      ...parent,\n      totalChildInvocations: parent.totalChildInvocations + slots,\n      available: nextAvailable,\n    }),\n    reservations: new Map(ledger.reservations).set(reservationId, reservation),\n  };\n\n  return [ok(reservationView(reservationId, reservation)), next];\n};\n\nconst observeTransition = (\n  ledger: ReservationLedger,\n  reservationId: BudgetReservationId,\n  usage: SubagentObservedUsage,\n): readonly [\n  TransitionResult<SubagentReservationView, SubagentReservationUnknown>,\n  ReservationLedger,\n] => {\n  const reservation = ledger.reservations.get(reservationId);\n\n  if (reservation === undefined) {\n    return [fail(SubagentReservationUnknown.make({ reservationId })), ledger];\n  }\n  const parent = ledger.parents.get(reservation.parentRunId);\n\n  if (parent === undefined) {\n    return [corruptParent(reservation.parentRunId), ledger];\n  }\n  const observed: { [K in ReservableDimensionKey]?: number } = { ...reservation.observed };\n  const covered: Record<ReservableDimensionKey, number> = { ...reservation.covered };\n  const overrun: Record<ReservableDimensionKey, number> = { ...reservation.overrun };\n\n  const cumulativeOverrun: Record<ReservableDimensionKey, number> = {\n    ...parent.cumulativeOverrun,\n  };\n\n  for (const spec of dimensionSpecs) {\n    const delta = usage[spec.key];\n\n    if (delta === undefined) {\n      continue;\n    }\n    observed[spec.key] = (observed[spec.key] ?? 0) + delta;\n\n    // Once settlement began the accounting decision is frozen, so late or\n    // corrected usage is pure overrun and cannot silently create budget.\n    const coverable =\n      reservation.status === \"reserved\"\n        ? Math.min(delta, reservation.allocated[spec.key] - covered[spec.key])\n        : 0;\n\n    covered[spec.key] += coverable;\n    const overrunDelta = delta - coverable;\n\n    overrun[spec.key] += overrunDelta;\n    cumulativeOverrun[spec.key] += overrunDelta;\n  }\n  const nextReservation: ReservationState = { ...reservation, observed, covered, overrun };\n\n  const next: ReservationLedger = {\n    parents: new Map(ledger.parents).set(parent.parentRunId, { ...parent, cumulativeOverrun }),\n    reservations: new Map(ledger.reservations).set(reservationId, nextReservation),\n  };\n\n  return [ok(reservationView(reservationId, nextReservation)), next];\n};\n\n/**\n * Freeze the settlement decision. A dimension that was never observed\n * conservatively consumes its full reserved amount.\n */\nconst freezeSettlement = (reservation: ReservationState): ReservationState => {\n  const observed: { [K in ReservableDimensionKey]?: number } = { ...reservation.observed };\n  const covered: Record<ReservableDimensionKey, number> = { ...reservation.covered };\n\n  for (const spec of dimensionSpecs) {\n    if (observed[spec.key] === undefined) {\n      observed[spec.key] = reservation.allocated[spec.key];\n      covered[spec.key] = reservation.allocated[spec.key];\n    }\n  }\n\n  return { ...reservation, status: \"releasePending\", observed, covered };\n};\n\nconst beginReleaseTransition = (\n  ledger: ReservationLedger,\n  reservationId: BudgetReservationId,\n): readonly [\n  TransitionResult<SubagentReservationView, SubagentReservationUnknown>,\n  ReservationLedger,\n] => {\n  const reservation = ledger.reservations.get(reservationId);\n\n  if (reservation === undefined) {\n    return [fail(SubagentReservationUnknown.make({ reservationId })), ledger];\n  }\n  if (reservation.status !== \"reserved\") {\n    return [ok(reservationView(reservationId, reservation)), ledger];\n  }\n  const frozen = freezeSettlement(reservation);\n\n  const next: ReservationLedger = {\n    parents: ledger.parents,\n    reservations: new Map(ledger.reservations).set(reservationId, frozen),\n  };\n\n  return [ok(reservationView(reservationId, frozen)), next];\n};\n\nconst releaseTransition = (\n  ledger: ReservationLedger,\n  reservationId: BudgetReservationId,\n): readonly [\n  TransitionResult<SubagentReservationView, SubagentReservationUnknown>,\n  ReservationLedger,\n] => {\n  const reservation = ledger.reservations.get(reservationId);\n\n  if (reservation === undefined) {\n    return [fail(SubagentReservationUnknown.make({ reservationId })), ledger];\n  }\n  if (reservation.status === \"released\") {\n    return [ok(reservationView(reservationId, reservation)), ledger];\n  }\n  const parent = ledger.parents.get(reservation.parentRunId);\n\n  if (parent === undefined) {\n    return [corruptParent(reservation.parentRunId), ledger];\n  }\n  const frozen = reservation.status === \"reserved\" ? freezeSettlement(reservation) : reservation;\n  const unused = unusedAllocation(frozen);\n  const nextAvailable: { [K in ReservableDimensionKey]?: number } = { ...parent.available };\n\n  for (const spec of dimensionSpecs) {\n    const available = parent.available[spec.key];\n\n    if (available !== undefined) {\n      nextAvailable[spec.key] = available + unused[spec.key];\n    }\n  }\n  const settled: ReservationState = { ...frozen, status: \"released\" };\n\n  const next: ReservationLedger = {\n    parents: new Map(ledger.parents).set(parent.parentRunId, {\n      ...parent,\n      available: nextAvailable,\n    }),\n    reservations: new Map(ledger.reservations).set(reservationId, settled),\n  };\n\n  return [ok(reservationView(reservationId, settled)), next];\n};\n\nconst retireParentTransition = (\n  ledger: ReservationLedger,\n  parentRunId: RunId,\n): readonly [TransitionResult<void, SubagentParentBudgetActive>, ReservationLedger] => {\n  if (!ledger.parents.has(parentRunId)) {\n    return [ok(undefined), ledger];\n  }\n  let openReservations = 0;\n\n  for (const reservation of ledger.reservations.values()) {\n    if (reservation.parentRunId === parentRunId && reservation.status !== \"released\") {\n      openReservations += 1;\n    }\n  }\n  if (openReservations > 0) {\n    return [fail(SubagentParentBudgetActive.make({ parentRunId, openReservations })), ledger];\n  }\n  const parents = new Map(ledger.parents);\n\n  parents.delete(parentRunId);\n  const reservations = new Map(ledger.reservations);\n\n  for (const [reservationId, reservation] of reservations) {\n    if (reservation.parentRunId === parentRunId) {\n      reservations.delete(reservationId);\n    }\n  }\n\n  return [ok(undefined), { parents, reservations }];\n};\n\n/**\n * In-memory reservation ledger. All state lives in one `Ref` owned by the\n * Layer's Scope; every transition is a single atomic `Ref.modify`.\n */\nexport const SubagentReservationsMemoryLive: Layer.Layer<SubagentReservations> = Layer.effect(\n  SubagentReservations,\n  Effect.gen(function* () {\n    const state = yield* Ref.make<ReservationLedger>({\n      parents: new Map(),\n      reservations: new Map(),\n    });\n\n    return SubagentReservations.of({\n      registerParent: Effect.fn(\"SubagentReservations.registerParent\")(\n        function* (parentRunId, caps) {\n          const gate =\n            caps.maxConcurrentChildren !== undefined && caps.maxConcurrentChildren > 0\n              ? yield* Semaphore.make(caps.maxConcurrentChildren)\n              : undefined;\n\n          const result = yield* Ref.modify(state, (ledger) =>\n            registerTransition(ledger, parentRunId, caps, gate),\n          );\n\n          return yield* resolve(result);\n        },\n      ),\n      reserve: Effect.fn(\"SubagentReservations.reserve\")(function* (request) {\n        const result = yield* Ref.modify(state, (ledger) => reserveTransition(ledger, request));\n\n        return yield* resolve(result);\n      }),\n      observe: Effect.fn(\"SubagentReservations.observe\")(function* (reservationId, usage) {\n        const result = yield* Ref.modify(state, (ledger) =>\n          observeTransition(ledger, reservationId, usage),\n        );\n\n        return yield* resolve(result);\n      }),\n      beginRelease: Effect.fn(\"SubagentReservations.beginRelease\")(function* (reservationId) {\n        const result = yield* Ref.modify(state, (ledger) =>\n          beginReleaseTransition(ledger, reservationId),\n        );\n\n        return yield* resolve(result);\n      }),\n      release: Effect.fn(\"SubagentReservations.release\")(function* (reservationId) {\n        const result = yield* Ref.modify(state, (ledger) =>\n          releaseTransition(ledger, reservationId),\n        );\n\n        return yield* resolve(result);\n      }),\n      acquireChildSlot: Effect.fn(\"SubagentReservations.acquireChildSlot\")(function* (\n        parentRunId,\n        slots = 1,\n      ) {\n        const ledger = yield* Ref.get(state);\n        const parent = ledger.parents.get(parentRunId);\n\n        if (parent === undefined) {\n          return yield* SubagentParentBudgetUnknown.make({ parentRunId });\n        }\n        const cap = parent.caps.maxConcurrentChildren;\n\n        if (cap === undefined) {\n          return;\n        }\n        if (!Number.isSafeInteger(slots) || slots < 1 || slots > cap || parent.gate === undefined) {\n          return yield* SubagentBudgetExhausted.make({\n            parentRunId,\n            dimension: \"concurrent-children\",\n            limitValue: cap,\n            observedValue: Number.isSafeInteger(slots) && slots > 0 ? slots : 0,\n          });\n        }\n        const gate = parent.gate;\n\n        yield* Effect.acquireRelease(\n          gate.take(slots),\n          (permits) => gate.release(permits).pipe(Effect.asVoid),\n          { interruptible: true },\n        );\n      }),\n      retireParent: Effect.fn(\"SubagentReservations.retireParent\")(function* (parentRunId) {\n        const result = yield* Ref.modify(state, (ledger) =>\n          retireParentTransition(ledger, parentRunId),\n        );\n\n        return yield* resolve(result);\n      }),\n      parentSnapshot: Effect.fn(\"SubagentReservations.parentSnapshot\")(function* (parentRunId) {\n        const ledger = yield* Ref.get(state);\n        const parent = ledger.parents.get(parentRunId);\n\n        if (parent === undefined) {\n          return yield* SubagentParentBudgetUnknown.make({ parentRunId });\n        }\n\n        return parentView(ledger, parent);\n      }),\n    });\n  }),\n);\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;AAKA,MAAM,UAAU,OAAO;;;;;;;;;AAUvB,MAAa,sBAAsB,OAAO,eAAe,KACvD,OAAO,MAAM,gDAAgD,CAC/D;AAIA,MAAM,4BAA4B,OAAO,WAAW,mBAAmB;;AAGvE,MAAa,2BACX,aACA,qBAEA,0BACE,GAAG,mBAAmB,WAAW,EAAE,GAAG,mBAAmB,gBAAgB,GAC3E;;AAGF,MAAa,0BAA0B,OAAO,SAAS;CACrD;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF,CAAC;AAIoB,2BAA2B;AAEhD,MAAM,uBAAuB;CAC3B,OAAO,OAAO,YAAY,OAAO;CACjC,WAAW,OAAO,YAAY,OAAO;CACrC,gBAAgB,OAAO,YAAY,OAAO;CAC1C,aAAa,OAAO,YAAY,OAAO;CACvC,cAAc,OAAO,YAAY,OAAO;CACxC,cAAc,OAAO,YAAY,OAAO;CACxC,aAAa,OAAO,YAAY,OAAO;AACzC;;AAGA,IAAa,wBAAb,cAA2C,OAAO,MAChD,kDACF,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC;;AAGzB,IAAa,2BAAb,cAA8C,OAAO,MACnD,qDACF,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC;;AAGzB,MAAa,4BAA4B,OAAO,SAAS;CACvD;CACA;CACA;AACF,CAAC;;AAKD,IAAa,6BAAb,cAAgD,OAAO,MACrD,uDACF,CAAC,CAAC;CACA,aAAa;CACb,kBAAkB;CAClB,YAAY;;CAEZ,uBAAuB,OAAO,YAAY,OAAO;AACnD,CAAC,CAAC,CAAC,CAAC;;AAGJ,IAAa,0BAAb,cAA6C,OAAO,MAClD,oDACF,CAAC,CAAC;CACA,eAAe;CACf,aAAa;CACb,kBAAkB;CAClB,QAAQ;CACR,WAAW;CACX,kBAAkB;CAClB,iBAAiB;CACjB,UAAU;CACV,SAAS;AACX,CAAC,CAAC,CAAC,CAAC;;AAGJ,IAAa,2BAAb,cAA8C,OAAO,MACnD,qDACF,CAAC,CAAC;CACA,aAAa;CACb,MAAM;CACN,uBAAuB;CACvB,WAAW;CACX,mBAAmB;CACnB,cAAc,OAAO,MAAM,uBAAuB;AACpD,CAAC,CAAC,CAAC,CAAC;;AAGJ,IAAa,0BAAb,cAA6C,OAAO,YAAqC,CAAC,CACxF,2BACA;CACE,aAAa;CACb,WAAW;CACX,YAAY;CACZ,eAAe;AACjB,CACF,CAAC,CAAC,CAAC;;AAGH,IAAa,8BAAb,cAAiD,OAAO,YAAyC,CAAC,CAChG,+BACA;CACE,eAAe;CACf,oBAAoB;CACpB,qBAAqB;AACvB,CACF,CAAC,CAAC,CAAC;;AAGH,IAAa,6BAAb,cAAgD,OAAO,YAAwC,CAAC,CAC9F,8BACA,EACE,eAAe,oBACjB,CACF,CAAC,CAAC,CAAC;;AAGH,IAAa,8BAAb,cAAiD,OAAO,YAAyC,CAAC,CAChG,+BACA,EACE,aAAa,MACf,CACF,CAAC,CAAC,CAAC;;AAGH,IAAa,+BAAb,cAAkD,OAAO,YAA0C,CAAC,CAClG,gCACA,EACE,aAAa,MACf,CACF,CAAC,CAAC,CAAC;;AAGH,IAAa,6BAAb,cAAgD,OAAO,YAAwC,CAAC,CAC9F,8BACA;CACE,aAAa;CACb,kBAAkB;AACpB,CACF,CAAC,CAAC,CAAC;;;;;;;;;AAUH,IAAa,uBAAb,cAA0C,QAAQ,QA6EhD,CAAC,CAAC,iDAAiD,CAAC,CAAC,CAAC;AAaxD,MAAM,iBAA+C;CACnD;EAAE,KAAK;EAAS,WAAW;EAAS,MAAM,SAAS,KAAK;CAAS;CACjE;EAAE,KAAK;EAAa,WAAW;EAAc,MAAM,SAAS,KAAK;CAAa;CAC9E;EAAE,KAAK;EAAkB,WAAW;EAAY,MAAM,SAAS,KAAK;CAAkB;CACtF;EAAE,KAAK;EAAe,WAAW;EAAgB,MAAM,SAAS,KAAK;CAAe;CACpF;EAAE,KAAK;EAAgB,WAAW;EAAiB,MAAM,SAAS,KAAK;CAAgB;CACvF;EAAE,KAAK;EAAgB,WAAW;EAAQ,MAAM,SAAS,KAAK;CAAgB;CAC9E;EAAE,KAAK;EAAe,WAAW;EAAgB,MAAM,SAAS,KAAK;CAAe;AACtF;AAEA,MAAM,cAAuB;CAC3B,OAAO;CACP,WAAW;CACX,gBAAgB;CAChB,aAAa;CACb,cAAc;CACd,cAAc;CACd,aAAa;AACf;AAkCA,MAAM,MAAS,WAA0C;CAAE,MAAM;CAAM;AAAM;AAC7E,MAAM,QAAW,WAA0C;CAAE,MAAM;CAAS;AAAM;AAElF,MAAM,WAAiB,WAAwD;CAC7E,QAAQ,OAAO,MAAf;EACE,KAAK,MACH,OAAO,OAAO,QAAQ,OAAO,KAAK;EACpC,KAAK,SACH,OAAO,OAAO,KAAK,OAAO,KAAK;EACjC,KAAK,WACH,OAAO,OAAO,IAAI,IAAI,MAAM,OAAO,OAAO,CAAC;CAC/C;AACF;AAEA,MAAM,YAAY,GAA2B,MAC3C,EAAE,6BAA6B,EAAE,4BACjC,EAAE,0BAA0B,EAAE,yBAC9B,EAAE,aAAa,EAAE,YACjB,EAAE,iBAAiB,EAAE,gBACrB,EAAE,sBAAsB,EAAE,qBAC1B,EAAE,mBAAmB,EAAE,kBACvB,EAAE,oBAAoB,EAAE,mBACxB,EAAE,oBAAoB,EAAE,mBACxB,EAAE,mBAAmB,EAAE;AAEzB,MAAM,eAAe,GAAY,MAC/B,eAAe,OAAO,SAAS,EAAE,KAAK,SAAS,EAAE,KAAK,IAAI;AAE5D,MAAM,mBAAmB,YAAwE;CAC/F,MAAM,MAAkD,CAAC;CAEzD,KAAK,MAAM,QAAQ,gBAAgB;EACjC,MAAM,QAAQ,QAAQ,KAAK;EAE3B,IAAI,UAAU,KAAA,GACZ,IAAI,KAAK,OAAO;CAEpB;CAEA,OAAO;AACT;;AAGA,MAAM,oBAAoB,gBAA2C;CACnE,MAAM,SAAS,EAAE,GAAG,YAAY;CAEhC,KAAK,MAAM,QAAQ,gBACjB,OAAO,KAAK,OAAO,YAAY,UAAU,KAAK,OAAO,YAAY,QAAQ,KAAK;CAGhF,OAAO;AACT;AAEA,MAAM,mBACJ,eACA,UAEA,wBAAwB,KAAK;CAC3B;CACA,aAAa,MAAM;CACnB,kBAAkB,MAAM;CACxB,QAAQ,MAAM;CACd,WAAW,2BAA2B,KAAK,MAAM,SAAS;CAC1D,kBAAkB,sBAAsB,KAAK,gBAAgB,MAAM,QAAQ,CAAC;CAC5E,iBAAiB,2BAA2B,KAAK,MAAM,OAAO;CAC9D,UAAU,2BAA2B,KACnC,MAAM,WAAW,aAAa,iBAAiB,KAAK,IAAI,WAC1D;CACA,SAAS,2BAA2B,KAAK,MAAM,OAAO;AACxD,CAAC;AAEH,MAAM,cACJ,QACA,WAC6B;CAC7B,MAAM,eAA+C,CAAC;CAEtD,KAAK,MAAM,CAAC,eAAe,gBAAgB,OAAO,cAChD,IAAI,YAAY,gBAAgB,OAAO,aACrC,aAAa,KAAK,gBAAgB,eAAe,WAAW,CAAC;CAIjE,OAAO,yBAAyB,KAAK;EACnC,aAAa,OAAO;EACpB,MAAM,OAAO;EACb,uBAAuB,OAAO;EAC9B,WAAW,yBAAyB,KAAK,gBAAgB,OAAO,SAAS,CAAC;EAC1E,mBAAmB,2BAA2B,KAAK,OAAO,iBAAiB;EAC3E;CACF,CAAC;AACH;AAEA,MAAM,iBAAiB,iBAAwD;CAC7E,MAAM;CACN,SAAS,kGAAkG;AAC7G;AAEA,MAAM,sBACJ,QACA,aACA,MACA,SAIG;CACH,MAAM,WAAW,OAAO,QAAQ,IAAI,WAAW;CAE/C,IAAI,aAAa,KAAA,GACf,OAAO,SAAS,SAAS,MAAM,IAAI,IAC/B,CAAC,GAAG,WAAW,QAAQ,QAAQ,CAAC,GAAG,MAAM,IACzC,CAAC,KAAK,6BAA6B,KAAK,EAAE,YAAY,CAAC,CAAC,GAAG,MAAM;CAEvE,MAAM,YAAwD,CAAC;CAE/D,KAAK,MAAM,QAAQ,gBAAgB;EACjC,MAAM,MAAM,KAAK,IAAI,IAAI;EAEzB,IAAI,QAAQ,KAAA,GACV,UAAU,KAAK,OAAO;CAE1B;CAEA,MAAM,SAA4B;EAChC;EACA;EACA;EACA,uBAAuB;EACvB;EACA,mBAAmB;CACrB;CAEA,MAAM,OAA0B;EAC9B,SAAS,IAAI,IAAI,OAAO,OAAO,CAAC,CAAC,IAAI,aAAa,MAAM;EACxD,cAAc,OAAO;CACvB;CAEA,OAAO,CAAC,GAAG,WAAW,MAAM,MAAM,CAAC,GAAG,IAAI;AAC5C;AAEA,MAAM,qBACJ,QACA,YAOG;CACH,MAAM,SAAS,OAAO,QAAQ,IAAI,QAAQ,WAAW;CAErD,IAAI,WAAW,KAAA,GACb,OAAO,CAAC,KAAK,4BAA4B,KAAK,EAAE,aAAa,QAAQ,YAAY,CAAC,CAAC,GAAG,MAAM;CAE9F,MAAM,gBAAgB,wBAAwB,QAAQ,aAAa,QAAQ,gBAAgB;CAC3F,MAAM,WAAW,OAAO,aAAa,IAAI,aAAa;CAEtD,IAAI,aAAa,KAAA,GACf,OAAO,YAAY,SAAS,WAAW,QAAQ,UAAU,KACvD,SAAS,2BAA2B,QAAQ,yBAAyB,KACnE,CAAC,GAAG,gBAAgB,eAAe,QAAQ,CAAC,GAAG,MAAM,IACrD,CACE,KACE,4BAA4B,KAAK;EAC/B;EACA,oBAAoB,2BAA2B,KAAK,SAAS,SAAS;EACtE,qBAAqB,QAAQ;CAC/B,CAAC,CACH,GACA,MACF;CAEN,MAAM,iBAAiB,OAAO,KAAK;CACnC,MAAM,QAAQ,KAAK,QAAQ,yBAAyB;CAEpD,IAAI,mBAAmB,KAAA,KAAa,OAAO,wBAAwB,QAAQ,gBACzE,OAAO,CACL,KACE,wBAAwB,KAAK;EAC3B,aAAa,QAAQ;EACrB,WAAW;EACX,YAAY;EACZ,eAAe,OAAO,wBAAwB;CAChD,CAAC,CACH,GACA,MACF;CAEF,KAAK,MAAM,QAAQ,gBAAgB;EACjC,MAAM,MAAM,KAAK,IAAI,OAAO,IAAI;EAEhC,IAAI,QAAQ,KAAA,GACV;EAIF,MAAM,YAAY,OAAO,UAAU,KAAK,QAAQ,KAAK,OAAO,kBAAkB,KAAK;EACnF,MAAM,YAAY,QAAQ,WAAW,KAAK;EAE1C,IAAI,YAAY,UACd,OAAO,CACL,KACE,wBAAwB,KAAK;GAC3B,aAAa,QAAQ;GACrB,WAAW,KAAK;GAChB,YAAY;GACZ,eAAe,MAAM,WAAW;EAClC,CAAC,CACH,GACA,MACF;CAEJ;CAEA,MAAM,gBAA4D,EAChE,GAAG,OAAO,UACZ;CAEA,KAAK,MAAM,QAAQ,gBAAgB;EACjC,MAAM,YAAY,OAAO,UAAU,KAAK;EAExC,IAAI,cAAc,KAAA,GAChB,cAAc,KAAK,OAAO,YAAY,QAAQ,WAAW,KAAK;CAElE;CAEA,MAAM,cAAgC;EACpC,aAAa,QAAQ;EACrB,kBAAkB,QAAQ;EAC1B,uBAAuB,QAAQ,yBAAyB;EACxD,QAAQ;EACR,WAAW,QAAQ;EACnB,UAAU,CAAC;EACX,SAAS;EACT,SAAS;CACX;CAEA,MAAM,OAA0B;EAC9B,SAAS,IAAI,IAAI,OAAO,OAAO,CAAC,CAAC,IAAI,QAAQ,aAAa;GACxD,GAAG;GACH,uBAAuB,OAAO,wBAAwB;GACtD,WAAW;EACb,CAAC;EACD,cAAc,IAAI,IAAI,OAAO,YAAY,CAAC,CAAC,IAAI,eAAe,WAAW;CAC3E;CAEA,OAAO,CAAC,GAAG,gBAAgB,eAAe,WAAW,CAAC,GAAG,IAAI;AAC/D;AAEA,MAAM,qBACJ,QACA,eACA,UAIG;CACH,MAAM,cAAc,OAAO,aAAa,IAAI,aAAa;CAEzD,IAAI,gBAAgB,KAAA,GAClB,OAAO,CAAC,KAAK,2BAA2B,KAAK,EAAE,cAAc,CAAC,CAAC,GAAG,MAAM;CAE1E,MAAM,SAAS,OAAO,QAAQ,IAAI,YAAY,WAAW;CAEzD,IAAI,WAAW,KAAA,GACb,OAAO,CAAC,cAAc,YAAY,WAAW,GAAG,MAAM;CAExD,MAAM,WAAuD,EAAE,GAAG,YAAY,SAAS;CACvF,MAAM,UAAkD,EAAE,GAAG,YAAY,QAAQ;CACjF,MAAM,UAAkD,EAAE,GAAG,YAAY,QAAQ;CAEjF,MAAM,oBAA4D,EAChE,GAAG,OAAO,kBACZ;CAEA,KAAK,MAAM,QAAQ,gBAAgB;EACjC,MAAM,QAAQ,MAAM,KAAK;EAEzB,IAAI,UAAU,KAAA,GACZ;EAEF,SAAS,KAAK,QAAQ,SAAS,KAAK,QAAQ,KAAK;EAIjD,MAAM,YACJ,YAAY,WAAW,aACnB,KAAK,IAAI,OAAO,YAAY,UAAU,KAAK,OAAO,QAAQ,KAAK,IAAI,IACnE;EAEN,QAAQ,KAAK,QAAQ;EACrB,MAAM,eAAe,QAAQ;EAE7B,QAAQ,KAAK,QAAQ;EACrB,kBAAkB,KAAK,QAAQ;CACjC;CACA,MAAM,kBAAoC;EAAE,GAAG;EAAa;EAAU;EAAS;CAAQ;CAEvF,MAAM,OAA0B;EAC9B,SAAS,IAAI,IAAI,OAAO,OAAO,CAAC,CAAC,IAAI,OAAO,aAAa;GAAE,GAAG;GAAQ;EAAkB,CAAC;EACzF,cAAc,IAAI,IAAI,OAAO,YAAY,CAAC,CAAC,IAAI,eAAe,eAAe;CAC/E;CAEA,OAAO,CAAC,GAAG,gBAAgB,eAAe,eAAe,CAAC,GAAG,IAAI;AACnE;;;;;AAMA,MAAM,oBAAoB,gBAAoD;CAC5E,MAAM,WAAuD,EAAE,GAAG,YAAY,SAAS;CACvF,MAAM,UAAkD,EAAE,GAAG,YAAY,QAAQ;CAEjF,KAAK,MAAM,QAAQ,gBACjB,IAAI,SAAS,KAAK,SAAS,KAAA,GAAW;EACpC,SAAS,KAAK,OAAO,YAAY,UAAU,KAAK;EAChD,QAAQ,KAAK,OAAO,YAAY,UAAU,KAAK;CACjD;CAGF,OAAO;EAAE,GAAG;EAAa,QAAQ;EAAkB;EAAU;CAAQ;AACvE;AAEA,MAAM,0BACJ,QACA,kBAIG;CACH,MAAM,cAAc,OAAO,aAAa,IAAI,aAAa;CAEzD,IAAI,gBAAgB,KAAA,GAClB,OAAO,CAAC,KAAK,2BAA2B,KAAK,EAAE,cAAc,CAAC,CAAC,GAAG,MAAM;CAE1E,IAAI,YAAY,WAAW,YACzB,OAAO,CAAC,GAAG,gBAAgB,eAAe,WAAW,CAAC,GAAG,MAAM;CAEjE,MAAM,SAAS,iBAAiB,WAAW;CAE3C,MAAM,OAA0B;EAC9B,SAAS,OAAO;EAChB,cAAc,IAAI,IAAI,OAAO,YAAY,CAAC,CAAC,IAAI,eAAe,MAAM;CACtE;CAEA,OAAO,CAAC,GAAG,gBAAgB,eAAe,MAAM,CAAC,GAAG,IAAI;AAC1D;AAEA,MAAM,qBACJ,QACA,kBAIG;CACH,MAAM,cAAc,OAAO,aAAa,IAAI,aAAa;CAEzD,IAAI,gBAAgB,KAAA,GAClB,OAAO,CAAC,KAAK,2BAA2B,KAAK,EAAE,cAAc,CAAC,CAAC,GAAG,MAAM;CAE1E,IAAI,YAAY,WAAW,YACzB,OAAO,CAAC,GAAG,gBAAgB,eAAe,WAAW,CAAC,GAAG,MAAM;CAEjE,MAAM,SAAS,OAAO,QAAQ,IAAI,YAAY,WAAW;CAEzD,IAAI,WAAW,KAAA,GACb,OAAO,CAAC,cAAc,YAAY,WAAW,GAAG,MAAM;CAExD,MAAM,SAAS,YAAY,WAAW,aAAa,iBAAiB,WAAW,IAAI;CACnF,MAAM,SAAS,iBAAiB,MAAM;CACtC,MAAM,gBAA4D,EAAE,GAAG,OAAO,UAAU;CAExF,KAAK,MAAM,QAAQ,gBAAgB;EACjC,MAAM,YAAY,OAAO,UAAU,KAAK;EAExC,IAAI,cAAc,KAAA,GAChB,cAAc,KAAK,OAAO,YAAY,OAAO,KAAK;CAEtD;CACA,MAAM,UAA4B;EAAE,GAAG;EAAQ,QAAQ;CAAW;CAElE,MAAM,OAA0B;EAC9B,SAAS,IAAI,IAAI,OAAO,OAAO,CAAC,CAAC,IAAI,OAAO,aAAa;GACvD,GAAG;GACH,WAAW;EACb,CAAC;EACD,cAAc,IAAI,IAAI,OAAO,YAAY,CAAC,CAAC,IAAI,eAAe,OAAO;CACvE;CAEA,OAAO,CAAC,GAAG,gBAAgB,eAAe,OAAO,CAAC,GAAG,IAAI;AAC3D;AAEA,MAAM,0BACJ,QACA,gBACqF;CACrF,IAAI,CAAC,OAAO,QAAQ,IAAI,WAAW,GACjC,OAAO,CAAC,GAAG,KAAA,CAAS,GAAG,MAAM;CAE/B,IAAI,mBAAmB;CAEvB,KAAK,MAAM,eAAe,OAAO,aAAa,OAAO,GACnD,IAAI,YAAY,gBAAgB,eAAe,YAAY,WAAW,YACpE,oBAAoB;CAGxB,IAAI,mBAAmB,GACrB,OAAO,CAAC,KAAK,2BAA2B,KAAK;EAAE;EAAa;CAAiB,CAAC,CAAC,GAAG,MAAM;CAE1F,MAAM,UAAU,IAAI,IAAI,OAAO,OAAO;CAEtC,QAAQ,OAAO,WAAW;CAC1B,MAAM,eAAe,IAAI,IAAI,OAAO,YAAY;CAEhD,KAAK,MAAM,CAAC,eAAe,gBAAgB,cACzC,IAAI,YAAY,gBAAgB,aAC9B,aAAa,OAAO,aAAa;CAIrC,OAAO,CAAC,GAAG,KAAA,CAAS,GAAG;EAAE;EAAS;CAAa,CAAC;AAClD;;;;;AAMA,MAAa,iCAAoE,MAAM,OACrF,sBACA,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,OAAO,IAAI,KAAwB;EAC/C,yBAAS,IAAI,IAAI;EACjB,8BAAc,IAAI,IAAI;CACxB,CAAC;CAED,OAAO,qBAAqB,GAAG;EAC7B,gBAAgB,OAAO,GAAG,qCAAqC,CAAC,CAC9D,WAAW,aAAa,MAAM;GAC5B,MAAM,OACJ,KAAK,0BAA0B,KAAA,KAAa,KAAK,wBAAwB,IACrE,OAAO,UAAU,KAAK,KAAK,qBAAqB,IAChD,KAAA;GAEN,MAAM,SAAS,OAAO,IAAI,OAAO,QAAQ,WACvC,mBAAmB,QAAQ,aAAa,MAAM,IAAI,CACpD;GAEA,OAAO,OAAO,QAAQ,MAAM;EAC9B,CACF;EACA,SAAS,OAAO,GAAG,8BAA8B,CAAC,CAAC,WAAW,SAAS;GACrE,MAAM,SAAS,OAAO,IAAI,OAAO,QAAQ,WAAW,kBAAkB,QAAQ,OAAO,CAAC;GAEtF,OAAO,OAAO,QAAQ,MAAM;EAC9B,CAAC;EACD,SAAS,OAAO,GAAG,8BAA8B,CAAC,CAAC,WAAW,eAAe,OAAO;GAClF,MAAM,SAAS,OAAO,IAAI,OAAO,QAAQ,WACvC,kBAAkB,QAAQ,eAAe,KAAK,CAChD;GAEA,OAAO,OAAO,QAAQ,MAAM;EAC9B,CAAC;EACD,cAAc,OAAO,GAAG,mCAAmC,CAAC,CAAC,WAAW,eAAe;GACrF,MAAM,SAAS,OAAO,IAAI,OAAO,QAAQ,WACvC,uBAAuB,QAAQ,aAAa,CAC9C;GAEA,OAAO,OAAO,QAAQ,MAAM;EAC9B,CAAC;EACD,SAAS,OAAO,GAAG,8BAA8B,CAAC,CAAC,WAAW,eAAe;GAC3E,MAAM,SAAS,OAAO,IAAI,OAAO,QAAQ,WACvC,kBAAkB,QAAQ,aAAa,CACzC;GAEA,OAAO,OAAO,QAAQ,MAAM;EAC9B,CAAC;EACD,kBAAkB,OAAO,GAAG,uCAAuC,CAAC,CAAC,WACnE,aACA,QAAQ,GACR;GAEA,MAAM,UAAS,OADO,IAAI,IAAI,KAAK,EAAA,CACb,QAAQ,IAAI,WAAW;GAE7C,IAAI,WAAW,KAAA,GACb,OAAO,OAAO,4BAA4B,KAAK,EAAE,YAAY,CAAC;GAEhE,MAAM,MAAM,OAAO,KAAK;GAExB,IAAI,QAAQ,KAAA,GACV;GAEF,IAAI,CAAC,OAAO,cAAc,KAAK,KAAK,QAAQ,KAAK,QAAQ,OAAO,OAAO,SAAS,KAAA,GAC9E,OAAO,OAAO,wBAAwB,KAAK;IACzC;IACA,WAAW;IACX,YAAY;IACZ,eAAe,OAAO,cAAc,KAAK,KAAK,QAAQ,IAAI,QAAQ;GACpE,CAAC;GAEH,MAAM,OAAO,OAAO;GAEpB,OAAO,OAAO,eACZ,KAAK,KAAK,KAAK,IACd,YAAY,KAAK,QAAQ,OAAO,CAAC,CAAC,KAAK,OAAO,MAAM,GACrD,EAAE,eAAe,KAAK,CACxB;EACF,CAAC;EACD,cAAc,OAAO,GAAG,mCAAmC,CAAC,CAAC,WAAW,aAAa;GACnF,MAAM,SAAS,OAAO,IAAI,OAAO,QAAQ,WACvC,uBAAuB,QAAQ,WAAW,CAC5C;GAEA,OAAO,OAAO,QAAQ,MAAM;EAC9B,CAAC;EACD,gBAAgB,OAAO,GAAG,qCAAqC,CAAC,CAAC,WAAW,aAAa;GACvF,MAAM,SAAS,OAAO,IAAI,IAAI,KAAK;GACnC,MAAM,SAAS,OAAO,QAAQ,IAAI,WAAW;GAE7C,IAAI,WAAW,KAAA,GACb,OAAO,OAAO,4BAA4B,KAAK,EAAE,YAAY,CAAC;GAGhE,OAAO,WAAW,QAAQ,MAAM;EAClC,CAAC;CACH,CAAC;AACH,CAAC,CACH"}