clanka 0.7.5 → 0.7.7

package/dist/bin/cli.mjs

@@ -1,7 +1,7 @@
 #!/usr/bin/env -S node --optimize-for-size
-import { $ as isEffect, $a as getOrUndefined, $n as effect, $t as uninterruptibleMask, A as ensuring, Aa as Reference, Ai as decodeBase64$1, An as StackTrace, Ar as isDoneUnsafe, As as identity, At as result, B as fnUntraced, Ba as makeUnsafe$3, Bi as appendAll, Bn as hasInterruptsOnly, Br as void_$1, Bt as sleep, C as catch_, Ca as minutes, Cs as constFalse, Ct as promise, Da as toMillis, Dn as Done, Dt as raceFirst, E as contextWith, Ea as seconds, En as nextBetween, Er as doneUnsafe, Es as constVoid, Et as provideService, F as filterOrFail, Fa as getOption, Fi as TaggedClass, Fn as fail$4, Fo as BaseProto, Fr as interrupt$1, Fs as pipeArguments, G as forkIn, Ga as flatMap$2, Gn as isTimeoutError, Go as symbolRedactable, Gt as tap, H as forEach$2, Ha as all, Hi as findFirst, Hr as ConsoleRef, Ht as succeedNone, I as flatMap$1, Ia as getOrUndefined$1, Ii as TaggedError, In as filterInterruptors, Io as Class, It as scope, Ji as isArrayNonEmpty, Jo as symbol$1, Jt as timeoutOrElse, K as forkScoped, Ka as flatMapNullishOr, Ki as fromIterable$1, Kt as tapCause, L as flatMapEager, La as getOrUndefinedUnsafe, Li as taggedEnum, Lo as NodeInspectSymbol, Lr as isFailure$1, Lt as scoped, M as fail$2, Ma as add, Mi as encodeBase64, Mn as UnknownError$1, Mo as assignProperty, Mr as die$1, Mt as runFork, N as failCause, Na as empty$7, No as getStackTraceLimit, Nr as fail$3, Ns as pipe, Nt as runForkWith, O as die, Oi as DisablePropagation, Or as into, Os as dual, Ot as repeat, Pa as get$3, Pi as Error$2, Pn as done, Po as setStackTraceLimit, Pr as failCause$1, Pt as runSync, Q as interruptible, Qa as getOrNull, Qi as last$1, Qn as buildWithScope, Qt as uninterruptible, Ra as getUnsafe, Ri as Array$1, Ro as toJson, Rr as isSuccess$1, S as catchTags, Sa as millis, So as Prototype, Sr as MinimumLogLevel, Ss as or, St as orElseSucceed, T as context, Tn as Random$1, To as PipeInspectableProto, Ts as constUndefined, Tt as provideContext, U as forever, Ua as exists, Ui as findFirstIndex, Ur as LogToStderr$1, Ut as suspend, Va as merge$2, Vi as empty$6, Vn as interruptors, Vt as succeed$2, W as forkChild, Wa as filter$1, Wi as findLast, Wo as redact$1, Wt as sync, X as ignore, Xa as fromUndefinedOr, Xi as isReadonlyArrayNonEmpty, Xn as pretty, Xt as try_, Y as gen, Ya as fromNullishOr, Yi as isCanonicalArrayIndex, Yt as tryPromise, Z as interrupt, Za as getOrElse, Zi as join$1, Zn as squash, Zo as hash, Zt as undefined_, _ as catchFilter, _a as fromInputUnsafe$1, _n as min, _t as onExit, a as andThen, aa as empty$8, an as whileLoop, ao as match$2, ar as mergeAll, at as makeSpanScoped, b as catchReason, ba as isFinite, bn as catchDone, br as provide$2, bs as isUndefined, bt as option$1, c as as, ca as failVoid, cn as withParentSpan, co as orElseSome, cr as provide$3, ct as mapEager, d as cached, da as isFailure, dn as zipWith, dr as succeedContext, ds as isNotUndefined, dt as match$4, ea as map$6, en as updateContext, eo as isNone, er as effectContext, es as structure, et as logDebug, f as cachedWithTTL, fa as isSuccess, fr as unwrap$1, fs as isNull, g as catchEager, ga as format$1, gn as jittered, gr as close, gt as onError, h as catchDefect, ha as try_$1, hn as isSchedule, hr as addFinalizerExit, hs as isObject, ht as never, i as all$1, io as map$7, ir as merge$3, it as logWarning, j as exit, ja as Service, ji as decodeBase64UrlString, jn as TimeoutError, jo as withFiber$1, jr as makeUnsafe$2, js as memoize, jt as retry, k as effectify, ka as zero, ki as ParentSpan, kr as isDone, ks as flow, kt as request, l as asSome, ln as withSpan$1, lo as some, lr as provideMerge, ls as isNotNull, lt as mapError, m as catchCause, ma as succeed$1, mn as exponential, mr as addFinalizer$1, mt as matchEffect, na as of, nn as useSpan, no as isSome, nr as empty$9, ns as hasProperty, nt as logFatal, o as annotateCurrentSpan, oa as headUnsafe, on as withFiber, oo as none, or as mock, ot as map$5, p as callback, pn as TaggedClass$1, pr as Scope, ps as isNullish, pt as matchCauseEffect, q as fromOption, qi as headNonEmpty, qo as equals, qt as timeout, r as addFinalizer, ra as reduce, rn as void_, rr as fresh, rt as logInfo, s as annotateLogs, sa as fail$1, so as orElse$1, sr as orDie$1, ss as isIterable, st as mapBothEager, t as acquireRelease, ta as match$3, tn as updateService, ts as symbol$2, tt as logError, u as asVoid, ua as getOrUndefined$2, un as yieldNow, uo as toArray, ur as succeed$4, us as isNotNullish, ut as mapErrorEager, v as catchIf, va as infinity, vn as passthrough, vs as isString, w as clockWith, wi as sync$1, wr as _await, ws as constTrue, wt as provide$1, x as catchTag, xo as strictEqual, xr as CurrentLogAnnotations, xt as orDie, yn as spaced, yr as makeUnsafe$1, ys as isTagged, yt as onInterrupt, z as fn, za as make$42, zn as hasInterrupts, zo as format, zr as succeed$3, zt as serviceOption } from "./Effect-DdkIoNCD.mjs";
-import { $ as transduce, A as mapEffect$1, At as interrupt$2, B as run$4, Bt as normalizeNonEmpty, C as fromPull, D as map$8, Dt as makeUnsafe$5, E as isStream, Et as update, F as onEnd, Ft as runIn, G as runForEachArray, I as orDie$2, It as camelToSnake, J as succeed$5, L as pipeThroughChannel, Lt as toLowerCase, M as merge$4, Mt as interruptAllAs, N as mergeAll$1, O as mapArray, Ot as await_, P as mkString, Pt as join$2, Q as tap$1, R as provideContext$1, Rt as parse$2, St as unbounded, T as fromReadableStream, Tt as set$2, U as runFold, V as runCollect, W as runForEach, X as take$1, Y as suspend$1, Z as takeUntil, _t as offerAll, a as catchTags$1, at as toTransform, b as fromEffect, bt as poll, c as die$2, ct as makeUnsafe$4, d as ensuring$1, dt as endUnsafe, et as unwrap$3, f as fail$5, ft as fail$6, g as flattenIterable, gt as offer, h as flatMap$3, ht as make$44, i as catchReason$1, it as pipeTo, j as mapError$1, jt as interruptAll, k as mapArrayEffect, kt as getCurrent, l as drop, lt as bounded, m as filterMap, mt as failCauseUnsafe, n as callback$1, nt as map$9, o as catch_$1, ot as unwrap$2, p as filter$2, pt as failCause$2, q as splitLines, rt as mapDone, s as decodeText, st as make$45, t as broadcast, tt as fromTransform$1, u as empty$10, ut as end, vt as offerAllUnsafe, w as fromQueue, wt as make$43, x as fromIterable$2, xt as take, y as fromChannel$1, yt as offerUnsafe, z as provideService$1, zt as round } from "./Stream-B5ebASRi.mjs";
-import { $ as check, $t as Arrays, A as Option, An as transformEffect, At as optionalKey, B as TaggedError$1, Bn as value, Bt as empty$11, C as Never, Cn as passthrough$2, Ct as isSchema, D as NullOr, Dt as makeFilterGroup, E as Null, En as transformOptional, Et as makeFilter, F as SchemaError, Fn as fromDateUnsafe, Ft as toJsonSchemaDocument, G as URLFromString, Gn as map$10, Gt as fromSetCookie, H as TrueLiterals, Hn as Clock, Ht as setAll$1, I as String$5, It as toType, J as UndefinedOr, Jt as getReferenceKey, K as Uint8Array$2, L as Struct, Lt as withConstructorDefault, M as OptionFromOptional, Mn as Pointer, Mt as toCodecJson, N as Record, Nn as formatIso, Nt as toCodecStringTree, O as Number$2, On as passthrough$1, Ot as mutable, P as Redacted$1, Pt as toEncoded$1, Qt as encodeEffect, R as StructWithRest, Rn as isRedacted, Rt as withDecodingDefault, Sn as Transformation, St as isPropertyNames, T as NonEmptyString$1, Tn as transformEffect$1, Tt as make$47, U as Tuple, Un as assignProperty$1, Ut as toString, V as TaggedUnion, Vn as stringOrRedacted, Vt as fromInput$1, W as URL$1, Wn as makeEquivalence, Wt as empty$12, X as Unknown, Xt as decodeEffect$1, Y as Union, Yt as _is, Z as Void, Zt as decodeUnknownEffect, _ as Int$1, _n as resolveIdentifier, _t as isLessThanOrEqualTo, a as BooleanLiterals, an as Suspend, at as decodeUnknownOption, b as Literals$2, bn as toType$1, bt as isMinLength, cn as decodeTo, ct as encodeTo, d as Defect, dn as mapOrSame, en as Filter, et as declare, f as Duration, fn as null_, ft as is, g as Finite, gn as resolveDescription, gt as isInt, h as FalseLiterals, hn as resolveAt, ht as isGreaterThanOrEqualTo, in as PropertySignature, it as decodeUnknownEffect$1, jn as InvalidValue$1, jt as tag, k as Opaque, kt as optional$2, ln as isNever, lt as encodeUnknownEffect, m as Exit, mn as replaceChecks, mt as isGreaterThan, n as ArraySchema, nn as Literal$1, nt as decodeSync, o as Class$1, on as Union$1, ot as decodeUnknownSync, p as Error$3, pn as optionalKey$1, pt as isFinite$1, q as Uint8ArrayFromBase64, qt as omit, r as Boolean$4, rn as Objects, rt as decodeTo$1, s as DateTimeUtc, sn as applyToSelfOrLastLinkEncoding, st as encodeEffect$1, t as Any, tn as FilterGroup, tt as decodeEffect, u as DateTimeUtcFromString, un as isOptional, ut as fromJsonString, v as Json, vn as string, vt as isMaxLength, w as NonEmptyArray, wn as transform$3, wt as isSchemaError, x as MutableJson, xn as unknown, xt as isPattern, y as Literal, yn as toEncoded, yt as isMaxProperties, z as TaggedClass$2, zn as make$46, zt as withDecodingDefaultKey } from "./Schema-BALIXGp7.mjs";
+import { $ as isEffect, $a as getOrThrow, $n as effect, $t as uninterruptibleMask, A as ensuring, Aa as Reference, Ai as decodeBase64$1, An as StackTrace, Ar as isDoneUnsafe, As as flow, At as result, B as fnUntraced, Ba as makeUnsafe$3, Bi as appendAll, Bn as hasInterruptsOnly, Bo as format, Br as void_$1, Bt as sleep, C as catch_, Ca as minutes, Co as Prototype, Cs as or, Ct as promise, Da as toMillis, Dn as Done, Ds as constVoid, Dt as raceFirst, E as contextWith, Ea as seconds, En as nextBetween, Eo as PipeInspectableProto, Er as doneUnsafe, Es as constUndefined, Et as provideService, F as filterOrFail, Fa as getOption, Fi as TaggedClass, Fn as fail$4, Fo as setStackTraceLimit, Fr as interrupt$1, G as forkIn, Ga as flatMap$2, Gn as isTimeoutError, Go as redact$1, Gt as tap, H as forEach$2, Ha as all, Hi as findFirst, Hr as ConsoleRef, Ht as succeedNone, I as flatMap$1, Ia as getOrUndefined$1, Ii as TaggedError, In as filterInterruptors, Io as BaseProto, Is as pipeArguments, It as scope, Ji as isArrayNonEmpty, Jo as equals, Jt as timeoutOrElse, K as forkScoped, Ka as flatMapNullishOr, Ki as fromIterable$1, Ko as symbolRedactable, Kt as tapCause, L as flatMapEager, La as getOrUndefinedUnsafe, Li as taggedEnum, Lo as Class, Lr as isFailure$1, Lt as scoped, M as fail$2, Ma as add, Mi as encodeBase64, Mn as UnknownError$1, Mo as withFiber$1, Mr as die$1, Ms as memoize, Mt as runFork, N as failCause, Na as empty$7, No as assignProperty, Nr as fail$3, Nt as runForkWith, O as die, Oi as DisablePropagation, Or as into, Ot as repeat, Pa as get$3, Pi as Error$2, Pn as done, Po as getStackTraceLimit, Pr as failCause$1, Ps as pipe, Pt as runSync, Q as interruptible, Qa as getOrNull, Qi as last$1, Qn as buildWithScope, Qo as hash, Qt as uninterruptible, Ra as getUnsafe, Ri as Array$1, Ro as NodeInspectSymbol, Rr as isSuccess$1, S as catchTags, Sa as millis, So as strictEqual, Sr as MinimumLogLevel, St as orElseSucceed, T as context, Tn as Random$1, Ts as constTrue, Tt as provideContext, U as forever, Ua as exists, Ui as findFirstIndex, Ur as LogToStderr$1, Ut as suspend, Va as merge$2, Vi as empty$6, Vn as interruptors, Vt as succeed$2, W as forkChild, Wa as filter$1, Wi as findLast, Wt as sync, X as ignore, Xa as fromUndefinedOr, Xi as isReadonlyArrayNonEmpty, Xn as pretty, Xt as try_, Y as gen, Ya as fromNullishOr, Yi as isCanonicalArrayIndex, Yo as symbol$1, Yt as tryPromise, Z as interrupt, Za as getOrElse, Zi as join$1, Zn as squash, Zt as undefined_, _ as catchFilter, _a as fromInputUnsafe$1, _n as min, _t as onExit, a as andThen, aa as empty$8, an as whileLoop, ao as map$7, ar as mergeAll, at as makeSpanScoped, b as catchReason, ba as isFinite, bn as catchDone, br as provide$2, bs as isTagged, bt as option$1, c as as, ca as failVoid, cn as withParentSpan, co as orElse$1, cr as provide$3, cs as isIterable, ct as mapEager, d as cached, da as isFailure, dn as zipWith, do as toArray, dr as succeedContext, ds as isNotNullish, dt as match$4, ea as map$6, en as updateContext, eo as getOrUndefined, er as effectContext, et as logDebug, f as cachedWithTTL, fa as isSuccess, fr as unwrap$1, fs as isNotUndefined, g as catchEager, ga as format$1, gn as jittered, gr as close, gs as isObject, gt as onError, h as catchDefect, ha as try_$1, hn as isSchedule, hr as addFinalizerExit, ht as never, i as all$1, ir as merge$3, it as logWarning, j as exit, ja as Service, ji as decodeBase64UrlString, jn as TimeoutError, jr as makeUnsafe$2, js as identity, jt as retry, k as effectify, ka as zero, ki as ParentSpan, kr as isDone, ks as dual, kt as request, l as asSome, ln as withSpan$1, lo as orElseSome, lr as provideMerge, lt as mapError, m as catchCause, ma as succeed$1, mn as exponential, mr as addFinalizer$1, ms as isNullish, mt as matchEffect, na as of, nn as useSpan, nr as empty$9, ns as symbol$2, nt as logFatal, o as annotateCurrentSpan, oa as headUnsafe, on as withFiber, oo as match$2, or as mock, ot as map$5, p as callback, pn as TaggedClass$1, pr as Scope, ps as isNull, pt as matchCauseEffect, q as fromOption, qi as headNonEmpty, qt as timeout, r as addFinalizer, ra as reduce, rn as void_, ro as isSome, rr as fresh, rs as hasProperty, rt as logInfo, s as annotateLogs, sa as fail$1, so as none, sr as orDie$1, st as mapBothEager, t as acquireRelease, ta as match$3, tn as updateService, to as isNone, ts as structure, tt as logError, u as asVoid, ua as getOrUndefined$2, un as yieldNow, uo as some, ur as succeed$4, us as isNotNull, ut as mapErrorEager, v as catchIf, va as infinity, vn as passthrough, w as clockWith, wi as sync$1, wr as _await, ws as constFalse, wt as provide$1, x as catchTag, xr as CurrentLogAnnotations, xs as isUndefined, xt as orDie, yn as spaced, yr as makeUnsafe$1, ys as isString, yt as onInterrupt, z as fn, za as make$42, zn as hasInterrupts, zo as toJson, zr as succeed$3, zt as serviceOption } from "./Effect-CeAMoJlg.mjs";
+import { $ as transduce, A as mapEffect$1, At as interrupt$2, B as run$4, Bt as normalizeNonEmpty, C as fromPull, D as map$8, Dt as makeUnsafe$5, E as isStream, Et as update, F as onEnd, Ft as runIn, G as runForEachArray, I as orDie$2, It as camelToSnake, J as succeed$5, L as pipeThroughChannel, Lt as toLowerCase, M as merge$4, Mt as interruptAllAs, N as mergeAll$1, O as mapArray, Ot as await_, P as mkString, Pt as join$2, Q as tap$1, R as provideContext$1, Rt as parse$2, St as unbounded, T as fromReadableStream, Tt as set$2, U as runFold, V as runCollect, W as runForEach, X as take$1, Y as suspend$1, Z as takeUntil, _t as offerAll, a as catchTags$1, at as toTransform, b as fromEffect, bt as poll, c as die$2, ct as makeUnsafe$4, d as ensuring$1, dt as endUnsafe, et as unwrap$3, f as fail$5, ft as fail$6, g as flattenIterable, gt as offer, h as flatMap$3, ht as make$44, i as catchReason$1, it as pipeTo, j as mapError$1, jt as interruptAll, k as mapArrayEffect, kt as getCurrent, l as drop, lt as bounded, m as filterMap, mt as failCauseUnsafe, n as callback$1, nt as map$9, o as catch_$1, ot as unwrap$2, p as filter$2, pt as failCause$2, q as splitLines, rt as mapDone, s as decodeText, st as make$45, t as broadcast, tt as fromTransform$1, u as empty$10, ut as end, vt as offerAllUnsafe, w as fromQueue, wt as make$43, x as fromIterable$2, xt as take, y as fromChannel$1, yt as offerUnsafe, z as provideService$1, zt as round } from "./Stream-DlGXvw0L.mjs";
+import { $ as declare, $t as Filter, An as InvalidValue$1, At as tag, B as TaggedUnion, Bn as stringOrRedacted, Bt as fromInput$1, C as Never, Cn as transform$3, Ct as isSchemaError, D as NullOr, Dn as passthrough$1, Dt as mutable, E as Null, Et as makeFilterGroup, F as String$5, Ft as toType, G as Uint8Array$2, H as Tuple, Hn as assignProperty$1, Ht as toString, I as Struct, It as withConstructorDefault, J as Union, Jt as _is, K as Uint8ArrayFromBase64, Kt as omit, L as StructWithRest, Ln as isRedacted, Lt as withDecodingDefault, M as Record, Mn as formatIso, Mt as toCodecStringTree, N as Redacted$1, Nt as toEncoded$1, O as Number$2, Ot as optional$2, P as SchemaError, Pn as fromDateUnsafe, Pt as toJsonSchemaDocument, Q as check, Qt as Arrays, R as TaggedClass$2, Rn as make$46, Rt as withDecodingDefaultKey, Sn as passthrough$2, St as isSchema, T as NonEmptyString$1, Tn as transformOptional, Tt as makeFilter, U as URL$1, Un as makeEquivalence, Ut as empty$12, V as TrueLiterals, Vn as Clock, Vt as setAll$1, W as URLFromString, Wn as map$10, Wt as fromSetCookie, X as Void, Xt as decodeUnknownEffect, Y as Unknown, Yt as decodeEffect$1, Zt as encodeEffect, _ as Int$1, _n as string, _t as isMaxLength, a as BooleanLiterals, an as Union$1, at as decodeUnknownSync, b as Literals$2, bn as unknown, bt as isPattern, cn as isNever, ct as encodeUnknownEffect, d as Defect, dn as null_, dt as is, en as FilterGroup, et as decodeEffect, f as Duration, fn as optionalKey$1, ft as isFinite$1, g as Finite, gn as resolveIdentifier, gt as isLessThanOrEqualTo, h as FalseLiterals, hn as resolveDescription, ht as isInt, in as Suspend, it as decodeUnknownOption, j as OptionFromOptional, jn as Pointer, jt as toCodecJson, k as Option, kn as transformEffect, kt as optionalKey, ln as isOptional, lt as fromJsonString, m as Exit, mn as resolveAt, mt as isGreaterThanOrEqualTo, n as ArraySchema, nn as Objects, nt as decodeTo$1, o as Class$1, on as applyToSelfOrLastLinkEncoding, ot as encodeEffect$1, p as Error$3, pn as replaceChecks, pt as isGreaterThan, q as UndefinedOr, qt as getReferenceKey, r as Boolean$4, rn as PropertySignature, rt as decodeUnknownEffect$1, s as DateTimeUtc, sn as decodeTo, st as encodeTo, t as Any, tn as Literal$1, tt as decodeSync, u as DateTimeUtcFromString, un as mapOrSame, v as Json, vn as toEncoded, vt as isMaxProperties, w as NonEmptyArray, wn as transformEffect$1, wt as make$47, x as MutableJson, xn as Transformation, xt as isPropertyNames, y as Literal, yn as toType$1, yt as isMinLength, z as TaggedError$1, zn as value, zt as empty$11 } from "./Schema-Bc06DxcV.mjs";
 import * as Http from "node:http";
 import * as Https from "node:https";
 import { PassThrough, Readable, Writable } from "node:stream";
@@ -11118,9 +11118,19 @@ const compactIfNeeded = fnUntraced(function* (options) {
 });
 //#endregion
 //#region src/Acp.ts
+const ThoughtLevel = Literals$2([
+	"none",
+	"minimal",
+	"low",
+	"medium",
+	"high",
+	"xhigh",
+	"max"
+]);
 var SessionRecord = class extends Class$1("clanka/Acp/SessionRecord")({
 	cwd: String$5,
 	model: String$5,
+	thoughtLevel: ThoughtLevel,
 	history: Prompt$1
 }) {};
 var RpcError = class extends TaggedError$1()("AcpRpcError", {
@@ -11148,6 +11158,11 @@ const SetModelParams = Struct({
 	sessionId: String$5,
 	modelId: String$5
 });
+const SetConfigOptionParams = Struct({
+	sessionId: String$5,
+	configId: Literal("thought_level"),
+	value: ThoughtLevel
+});
 const TextBlock = Struct({
 	type: Literal("text"),
 	text: String$5
@@ -11260,20 +11275,35 @@ const make$12 = fnUntraced(function* (options) {
 		update
 	});
 	const getSession = (sessionId) => fromOption(fromNullishOr(sessions.get(sessionId)), () => sessionNotFound(sessionId));
-	const requireModel = (modelId) => fromOption(options.makeModel(modelId), () => new RpcError({
+	const requireModel = (modelId, thoughtLevel) => fromOption(options.makeModel(modelId, thoughtLevel), () => new RpcError({
 		code: -32602,
 		message: `Unknown model: ${modelId}`
 	}));
-	const modelsInfo = (session) => ({
-		availableModels: [...new Set([session.model, options.defaultModel])].map((modelId) => ({
-			modelId,
-			name: modelId
-		})),
-		currentModelId: session.model
+	const configOptions = (session) => [{
+		id: "thought_level",
+		name: "Thought level",
+		category: "thought_level",
+		type: "select",
+		currentValue: session.thoughtLevel,
+		options: ThoughtLevel.literals.map((value) => ({
+			value,
+			name: value
+		}))
+	}];
+	const sessionState = (session) => ({
+		models: {
+			availableModels: [...new Set([session.model, options.defaultModel])].map((modelId) => ({
+				modelId,
+				name: modelId
+			})),
+			currentModelId: session.model
+		},
+		configOptions: configOptions(session)
 	});
 	const persist = (session) => store.set(session.id, new SessionRecord({
 		cwd: session.cwd,
 		model: session.model,
+		thoughtLevel: session.thoughtLevel,
 		history: session.agent.history.current
 	})).pipe(catch_((error) => logWarning("Failed to persist session", error)));
 	const openSession = fnUntraced(function* (id, record) {
@@ -11283,6 +11313,7 @@ const make$12 = fnUntraced(function* (options) {
 			id,
 			cwd: record.cwd,
 			model: record.model,
+			thoughtLevel: record.thoughtLevel,
 			agent,
 			running: void 0,
 			toolCalls: 0
@@ -11474,45 +11505,56 @@ const make$12 = fnUntraced(function* (options) {
 	const newSession = fnUntraced(function* (params) {
 		const { cwd, model } = yield* decodeParams(NewSessionParams, params);
 		const modelId = model ?? options.defaultModel;
-		yield* requireModel(modelId);
+		const thoughtLevel = options.defaultThoughtLevel;
+		yield* requireModel(modelId, thoughtLevel);
 		const session = yield* openSession(crypto.randomUUID(), new SessionRecord({
 			cwd,
 			model: modelId,
+			thoughtLevel,
 			history: empty$1
 		}));
 		yield* persist(session);
 		return {
 			sessionId: session.id,
-			models: modelsInfo(session)
+			...sessionState(session)
 		};
 	});
 	const loadSession = fnUntraced(function* (params, replay) {
 		const { sessionId, cwd, model } = yield* decodeParams(LoadSessionParams, params);
 		const existing = sessions.get(sessionId);
-		if (existing !== void 0) return { models: modelsInfo(existing) };
+		if (existing !== void 0) return sessionState(existing);
 		const record = yield* store.get(sessionId).pipe(mapError((error) => new RpcError({
 			code: -32603,
 			message: error.message
 		})));
 		if (isNone(record)) return yield* sessionNotFound(sessionId);
 		const modelId = model ?? record.value.model;
-		yield* requireModel(modelId);
+		yield* requireModel(modelId, record.value.thoughtLevel);
 		const session = yield* openSession(sessionId, new SessionRecord({
 			cwd: cwd ?? record.value.cwd,
 			model: modelId,
+			thoughtLevel: record.value.thoughtLevel,
 			history: record.value.history
 		}));
 		if (replay) yield* replayHistory(session);
-		return { models: modelsInfo(session) };
+		return sessionState(session);
 	});
 	const setModel = fnUntraced(function* (params) {
 		const { sessionId, modelId } = yield* decodeParams(SetModelParams, params);
 		const session = yield* getSession(sessionId);
-		yield* requireModel(modelId);
+		yield* requireModel(modelId, session.thoughtLevel);
 		session.model = modelId;
 		yield* persist(session);
 		return {};
 	});
+	const setConfigOption = fnUntraced(function* (params) {
+		const { sessionId, value } = yield* decodeParams(SetConfigOptionParams, params);
+		const session = yield* getSession(sessionId);
+		yield* requireModel(session.model, value);
+		session.thoughtLevel = value;
+		yield* persist(session);
+		return { configOptions: configOptions(session) };
+	});
 	const prompt = fnUntraced(function* (params) {
 		const { sessionId, prompt } = yield* decodeParams(PromptParams, params);
 		const session = yield* getSession(sessionId);
@@ -11520,7 +11562,7 @@ const make$12 = fnUntraced(function* (options) {
 			code: -32e3,
 			message: `Session ${sessionId} already has a prompt in progress`
 		});
-		const model = yield* requireModel(session.model);
+		const model = yield* requireModel(session.model, session.thoughtLevel);
 		const input = yield* promptFromBlocks(session.cwd, prompt);
 		session.running = yield* runTurn(session, input).pipe(provide$1(model), scoped, forkChild);
 		const exit$1 = yield* exit(join$2(session.running));
@@ -11539,8 +11581,8 @@ const make$12 = fnUntraced(function* (options) {
 		switch (method) {
 			case "initialize": return initialize;
 			case "authenticate":
-			case "session/set_mode":
-			case "session/set_config_option": return succeed$2({});
+			case "session/set_mode": return succeed$2({});
+			case "session/set_config_option": return setConfigOption(params);
 			case "session/new": return newSession(params);
 			case "session/load": return loadSession(params, true);
 			case "session/resume": return loadSession(params, false);
@@ -11938,7 +11980,7 @@ var ExaError = class extends TaggedError$1()("ExaError", { cause: Defect() }) {}
 const layer$7 = effect(ExaSearch, gen(function* () {
 	const scope$4 = yield* scope;
 	const getClient = yield* cachedWithTTL(gen(function* () {
-		const McpClient = yield* tryPromise(() => import("./McpClient-CJ0Vugoi.mjs"));
+		const McpClient = yield* tryPromise(() => import("./McpClient-zQibhsnA.mjs"));
 		const context = yield* buildWithScope(McpClient.layer, scope$4);
 		return get$3(context, McpClient.McpClient);
 	}), (exit) => isSuccess$1(exit) ? infinity : zero);
@@ -12028,11 +12070,7 @@ var DirectoryChanger = class extends Service()("clanka/AgentTools/DirectoryChang
 var TaskCompleter = class extends Service()("clanka/AgentTools/TaskCompleter") {};
 var SubagentExecutor = class extends Service()("clanka/AgentTools/SubagentExecutor") {};
 var ImageAttacher = class extends Service()("clanka/AgentTools/ImageAttacher") {};
-var TodoItem = class extends Opaque()(Struct({
-	id: Number$2,
-	text: String$5,
-	completed: Boolean$4
-})) {};
+const globNamesDirectory = (glob) => glob.split("/").slice(0, -1).some((segment) => segment.length > 0 && !/[*?[\]{}]/.test(segment));
 const AgentTools = make$14(make$16("changeDirectory", {
 	description: "Change the executor's working directory to an existing directory and return its absolute path. Relative paths resolve from the current directory without shell expansion. Await this before dependent tools. The change persists across scripts and is shared with delegates using this executor. Startup AGENTS.md, skills, and the semantic-search index root remain fixed. Navigation does not survive a session reload.",
 	parameters: String$5.annotate({ identifier: "directory" }),
@@ -12072,23 +12110,6 @@ const AgentTools = make$14(make$16("changeDirectory", {
 	parameters: ArraySchema(String$5).annotate({ identifier: "args" }),
 	success: String$5,
 	dependencies: [CurrentDirectory]
-}), make$16("listTodos", {
-	description: "Read your todo list",
-	parameters: Void,
-	success: ArraySchema(TodoItem)
-}), make$16("addTodo", {
-	description: "Add an item to your todo list",
-	parameters: String$5.annotate({ identifier: "text" })
-}), make$16("updateTodo", {
-	description: "Update an item in your todo list",
-	parameters: Struct({
-		id: Number$2,
-		text: optional$2(String$5),
-		completed: optional$2(Boolean$4)
-	})
-}), make$16("clearTodos", {
-	description: "Clear all items in your todo list",
-	parameters: Void
 }), make$16("bash", {
 	description: "Run a bash command and return the output",
 	parameters: Struct({
@@ -12155,8 +12176,6 @@ const AgentToolHandlersNoDeps = AgentToolsWithSearch.toLayer(gen(function* () {
 	const pathService = yield* Path$3;
 	const webSearch = yield* ExaSearch;
 	const fetchMarkdown = yield* WebToMarkdown;
-	const todoMap = new Map();
-	let todoIdCounter = 0;
 	const execute = fn(function* (command) {
 		const handle = yield* spawner.spawn(command);
 		return yield* handle.all.pipe(decodeText, mkString, flatMap$1(fnUntraced(function* (output) {
@@ -12245,51 +12264,29 @@ const AgentToolHandlersNoDeps = AgentToolsWithSearch.toLayer(gen(function* () {
 				"--max-columns=300"
 			];
 			if (options.filesOnly) args.push("--files-with-matches");
+			const searchesIgnoredFiles = options.glob !== void 0 && !options.glob.startsWith("*");
 			if (options.glob) {
 				args.push("--glob", options.glob);
-				if (!options.glob.startsWith("*")) args.push("-uu");
+				if (searchesIgnoredFiles) args.push("-uu");
 			}
 			args.push(options.pattern);
-			let stream = spawner.streamLines(make$26("rg", args, {
-				cwd,
-				stdin: "ignore"
-			}));
-			stream = take$1(stream, options.maxLines ?? 500);
-			return yield* runCollect(stream).pipe(map$5(join$1("\n")), orDie);
+			const run = fnUntraced(function* (args) {
+				let stream = spawner.streamLines(make$26("rg", args, {
+					cwd,
+					stdin: "ignore"
+				}));
+				stream = take$1(stream, options.maxLines ?? 500);
+				return yield* runCollect(stream).pipe(map$5(join$1("\n")), orDie);
+			});
+			const output = yield* run(args);
+			if (output.length > 0 || searchesIgnoredFiles || options.glob === void 0 || !globNamesDirectory(options.glob)) return output;
+			return yield* run(args.slice(0, -1).concat("-uu", options.pattern));
 		}),
 		glob: fn("AgentTools.glob")(function* (pattern) {
 			yield* logInfo(`Calling "glob"`).pipe(annotateLogs({ pattern }));
 			const cwd = yield* CurrentDirectory;
 			return yield* promise(() => import("./index.min-CI3qqohw.mjs").then((Glob) => Glob.glob(pattern, { cwd })));
 		}),
-		listTodos: fn("AgentTools.listTodos")(function* () {
-			yield* logInfo(`Calling "listTodos"`);
-			return fromIterable$1(todoMap.values());
-		}),
-		addTodo: fn("AgentTools.addTodo")(function* (text) {
-			yield* logInfo(`Calling "addTodo"`).pipe(annotateLogs({ text }));
-			const id = ++todoIdCounter;
-			const item = {
-				id,
-				text,
-				completed: false
-			};
-			todoMap.set(id, item);
-		}),
-		updateTodo: fn("AgentTools.updateTodo")(function* (options) {
-			yield* logInfo(`Calling "updateTodo"`).pipe(annotateLogs(options));
-			const item = todoMap.get(options.id);
-			if (item === void 0) return yield* die(`Todo item ${options.id} not found`);
-			todoMap.set(item.id, {
-				...item,
-				text: options.text ?? item.text,
-				completed: options.completed ?? item.completed
-			});
-		}),
-		clearTodos: fn("AgentTools.clearTodos")(function* () {
-			yield* logInfo(`Calling "clearTodos"`);
-			todoMap.clear();
-		}),
 		bash: fn("AgentTools.bash")(function* (options) {
 			const timeoutMs = Math.min(options.timeoutMs ?? 12e4, 24e4);
 			yield* logInfo(`Calling "bash"`).pipe(annotateLogs({
@@ -23887,8 +23884,7 @@ const generateSystemTools = (capabilities, conversationMode) => `YOU ONLY HAVE O
 - You can add / update / remove multiple files in one go with "applyPatch".
 - Avoid passing scripts into the "bash" function, and instead write javascript.
 - Variables are not shared between executions.
-- Do not use \`require\`, \`import\`, \`process\`, or any other Node.js apis.
-- Make use of the todo functions to keep track of your progress.${conversationMode ? "" : `
+- Do not use \`require\`, \`import\`, \`process\`, or any other Node.js apis.${conversationMode ? "" : `
 
 When you have fully completed your task, call the "taskComplete" function with the final output.
 Make sure every detail of the task is done before calling "taskComplete".`}
@@ -25644,7 +25640,7 @@ const model$1 = (model, options) => make$5("xai", model, mergeAll(layer$3({
 const LogToStderr = LogToStderr$1;
 //#endregion
 //#region package.json
-var version$1 = "0.7.5";
+var version$1 = "0.7.7";
 //#endregion
 //#region src/cli.ts
 const version = version$1;
@@ -25656,15 +25652,22 @@ const providers = [
 ];
 const withSubagentModel = (model) => merge$3(model, layerSubagentModel(model));
 const modelLayer = (provider, model, effort) => provider === "openai" ? withSubagentModel(modelWebSocket(model, { reasoning: { effort } })).pipe(provide$3(layerClient$2)) : provider === "xai" ? withSubagentModel(model$1(model, { reasoning: { effort } })).pipe(provide$3(layerClient)) : withSubagentModel(model$2(model, { reasoning: { effort } })).pipe(provide$3(layerClient$1));
+const isProvider = (provider) => providers.includes(provider);
 const parseModelId = (modelId) => {
 	const [provider, model, effort, ...rest] = modelId.split("/");
-	return provider !== void 0 && providers.includes(provider) && model !== void 0 && effort !== void 0 && rest.length === 0 ? some({
+	return isProvider(provider) && model !== void 0 && is(ThoughtLevel)(effort) && rest.length === 0 ? some({
+		model: `${provider}:${model}`,
+		thoughtLevel: effort
+	}) : none();
+};
+const parseAcpModelId = (modelId) => {
+	const [provider, model, ...rest] = modelId.split(":");
+	return isProvider(provider) && model !== void 0 && rest.length === 0 ? some({
 		provider,
-		model,
-		effort
+		model
 	}) : none();
 };
-const ModelId = String$5.pipe(check(makeFilter((modelId) => isSome(parseModelId(modelId)) || `Invalid model "${modelId}", expected <provider>/<model>/<effort>`)));
+const ModelId = String$5.pipe(check(makeFilter((modelId) => isSome(parseModelId(modelId)) || `Invalid model "${modelId}", expected <provider>/<model>/<effort> with effort one of ${ThoughtLevel.literals.join(", ")}`)));
 const provider = Literals("provider", providers).pipe(withAlias("p"), withFallbackPrompt(Select({
 	message: "Select a provider",
 	choices: [
@@ -25699,20 +25702,21 @@ const Search = (directory) => unwrap$1(gen(function* () {
 		return empty$9;
 	}
 	const path = yield* Path$3;
-	return (yield* promise(() => import("./SemanticSearch-O6PZBRfd.mjs"))).layer({
+	return (yield* promise(() => import("./SemanticSearch-BPxQoRSC.mjs"))).layer({
 		directory: process.cwd(),
 		database: path.join(directory, "search.sqlite")
 	}).pipe(provide$3(model$3("text-embedding-3-small", { dimensions: 1536 })), provide$3(layer$5({ apiKey: apiKey.value })));
 })).pipe(provide$3([layer$8, HttpClientLive]));
-const acpModel = String$1("model").pipe(withAlias("m"), withDescription$1("Default model as <provider>/<model>/<effort>, e.g. openai/gpt-6-astra/medium"), withSchema(ModelId), withDefault("openai/gpt-6-astra/medium"));
+const acpModel = String$1("model").pipe(withAlias("m"), withDescription$1("Default model as <provider>/<model>/<effort>, e.g. openai/gpt-6-astra/medium"), withSchema(ModelId), withDefault("openai/gpt-6-astra/medium"), map$1((modelId) => getOrThrow(parseModelId(modelId))));
 const acp = make$28("acp", {
 	model: acpModel,
 	compaction
 }).pipe(withDescription("Run as an Agent Client Protocol (ACP) server over stdio"), withHandler(({ model }) => runStdio({
 	version,
-	defaultModel: model,
+	defaultModel: model.model,
+	defaultThoughtLevel: model.thoughtLevel,
 	makeAgent: (cwd) => make$2.pipe(provide$1(layerLocal$1({ directory: cwd }))),
-	makeModel: (modelId) => map$7(parseModelId(modelId), ({ provider, model, effort }) => modelLayer(provider, model, effort))
+	makeModel: (modelId, thoughtLevel) => map$7(parseAcpModelId(modelId), ({ provider, model }) => modelLayer(provider, model, thoughtLevel))
 })), provide(({ compaction }) => mergeAll(ConversationMode.layer(true), succeed$4(LogToStderr, true), layerLog, CompactionConfig.layer({ enabled: compaction }))));
 make$28("clanka", {
 	provider,
@@ -25722,7 +25726,7 @@ make$28("clanka", {
 	compaction
 }).pipe(withHandler(fnUntraced(function* ({ provider, model: modelRaw, semantic, prompt: nonInteractivePrompt }) {
 	const stdio = yield* Stdio;
-	const OutputFormatter = yield* promise(() => import("./OutputFormatter-DN8OGwuK.mjs"));
+	const OutputFormatter = yield* promise(() => import("./OutputFormatter-C7Awn0DS.mjs"));
 	const [model, reasoning] = (yield* match$2(modelRaw, {
 		onSome: succeed$2,
 		onNone: () => String$4({