feat: add experiment-gated self-improving learning, bounded memory, background curation, and auto-create/update skill

packages/types/src/__tests__/learning-memory.test.ts

@@ -0,0 +1,71 @@
+// npx vitest run packages/types/src/__tests__/learning-memory.test.ts
+
+import {
+	DEFAULT_LEARNING_CONFIG,
+	EMPTY_LEARNING_STATE,
+	learningConfigSchema,
+	learningStateSchema,
+	memoryContextSchema,
+	type LearningState,
+	type MemoryContext,
+} from "../index.js"
+
+describe("learning types", () => {
+	it("exports the default learning config", () => {
+		expect(DEFAULT_LEARNING_CONFIG).toMatchObject({
+			enabled: false,
+			reviewOnTurnCount: 10,
+			reviewOnToolIterationCount: 50,
+		})
+	})
+
+	it("parses the empty learning state", () => {
+		const result = learningStateSchema.safeParse(EMPTY_LEARNING_STATE)
+
+		expect(result.success).toBe(true)
+		expect(result.data).toEqual(EMPTY_LEARNING_STATE)
+	})
+
+	it("applies learning config defaults", () => {
+		const result = learningConfigSchema.parse({})
+
+		expect(result).toEqual(DEFAULT_LEARNING_CONFIG)
+	})
+
+	it("preserves TypeScript inference for learning state", () => {
+		const state: LearningState = EMPTY_LEARNING_STATE
+
+		expect(state.version).toBe(1)
+	})
+})
+
+describe("memory types", () => {
+	it("parses a valid memory context", () => {
+		const input: MemoryContext = {
+			entries: [],
+			revision: 0,
+			generatedAt: Date.now(),
+		}
+
+		const result = memoryContextSchema.safeParse(input)
+
+		expect(result.success).toBe(true)
+		expect(result.data).toEqual(input)
+	})
+
+	it("rejects more than ten memory entries", () => {
+		const result = memoryContextSchema.safeParse({
+			entries: Array.from({ length: 11 }, (_, index) => ({
+				id: `entry-${index}`,
+				content: "memory",
+				source: "learning",
+				createdAt: index,
+				updatedAt: index,
+			})),
+			revision: 0,
+			generatedAt: Date.now(),
+		})
+
+		expect(result.success).toBe(false)
+	})
+})

packages/types/src/experiment.ts

@@ -6,7 +6,31 @@ import type { Keys, Equals, AssertEqual } from "./type-fu.js"
  * ExperimentId
  */
 
-export const experimentIds = ["preventFocusDisruption", "imageGeneration", "runSlashCommand", "customTools"] as const
+export const experimentIds = [
+	"preventFocusDisruption",
+	"imageGeneration",
+	"runSlashCommand",
+	"customTools",
+	"selfImproving",
+	"selfImprovingAutoSkills",
+	"selfImprovingAutoMode",
+	"selfImprovingReviewTeam",
+	"selfImprovingFullTrust",
+	"selfImprovingQuestionEvaluation",
+	"selfImprovingPromptQuality",
+	"selfImprovingToolPreference",
+	"selfImprovingSkillMerge",
+	"selfImprovingPersistCounts",
+	"selfImprovingCodeIndex",
+	"oneShotOrchestrator",
+	"kaizenOrchestrator",
+	"preventionEngine",
+	"cascadeTracker",
+	"resilienceService",
+	"toolErrorHealer",
+	"verificationEngine",
+	"requirementsVerification",
+] as const
 
 export const experimentIdsSchema = z.enum(experimentIds)
 
@@ -21,6 +45,25 @@ export const experimentsSchema = z.object({
 	imageGeneration: z.boolean().optional(),
 	runSlashCommand: z.boolean().optional(),
 	customTools: z.boolean().optional(),
+	selfImproving: z.boolean().optional(),
+	selfImprovingAutoSkills: z.boolean().optional(),
+	selfImprovingAutoMode: z.boolean().optional(),
+	selfImprovingReviewTeam: z.boolean().optional(),
+	selfImprovingFullTrust: z.boolean().optional(),
+	selfImprovingQuestionEvaluation: z.boolean().optional(),
+	selfImprovingPromptQuality: z.boolean().optional(),
+	selfImprovingToolPreference: z.boolean().optional(),
+	selfImprovingSkillMerge: z.boolean().optional(),
+	selfImprovingPersistCounts: z.boolean().optional(),
+	selfImprovingCodeIndex: z.boolean().optional(),
+	oneShotOrchestrator: z.boolean().optional(),
+	kaizenOrchestrator: z.boolean().optional(),
+	preventionEngine: z.boolean().optional(),
+	cascadeTracker: z.boolean().optional(),
+	resilienceService: z.boolean().optional(),
+	toolErrorHealer: z.boolean().optional(),
+	verificationEngine: z.boolean().optional(),
+	requirementsVerification: z.boolean().optional(),
 })
 
 export type Experiments = z.infer<typeof experimentsSchema>

packages/types/src/global-settings.ts

@@ -78,6 +78,10 @@ export const DEFAULT_CHECKPOINT_TIMEOUT_SECONDS = 15
  * GlobalSettings
  */
 
+export const selfImprovingScopeSchema = z.enum(["workspace", "global"])
+
+export type SelfImprovingScope = z.infer<typeof selfImprovingScopeSchema>
+
 export const globalSettingsSchema = z.object({
 	currentApiConfigName: z.string().optional(),
 	listApiConfigMeta: z.array(providerSettingsEntrySchema).optional(),
@@ -92,6 +96,20 @@ export const globalSettingsSchema = z.object({
 	imageGenerationProvider: z.enum(["openrouter"]).optional(),
 	openRouterImageApiKey: z.string().optional(),
 	openRouterImageGenerationSelectedModel: z.string().optional(),
+	memoryBackend: z.enum(["builtin", "agentmemory"]).optional(),
+	agentMemoryUrl: z.string().optional(),
+	selfImprovingScope: selfImprovingScopeSchema.optional(),
+	selfImprovingAutoSkillsScope: selfImprovingScopeSchema.optional(),
+
+	// KAIZEN orchestrator configuration
+	kaizenFrequency: z.number().min(1).max(100).optional(),
+	kaizenMiniGoal: z.string().optional(),
+	kaizenLimit: z.number().min(1).max(1000).optional(),
+
+	// KAIZEN git auto-push configuration
+	kaizenAutoPush: z.boolean().optional(),
+	kaizenRemoteName: z.string().optional(),
+	kaizenCommitTemplate: z.string().optional(),
 
 	customCondensingPrompt: z.string().optional(),
 

packages/types/src/index.ts

@@ -14,8 +14,11 @@ export * from "./global-settings.js"
 export * from "./history.js"
 export * from "./image-generation.js"
 export * from "./ipc.js"
+export * from "./learning.js"
+export * from "./marketplace.js"
 export * from "./mcp.js"
 export * from "./message.js"
+export * from "./memory.js"
 export * from "./mode.js"
 export * from "./model.js"
 export * from "./provider-settings.js"

packages/types/src/learning.ts

@@ -0,0 +1,205 @@
+import { z } from "zod"
+
+/**
+ * FeedbackSignal - types of learning observations
+ */
+export const feedbackSignalSchema = z.enum([
+	"USER_CORRECTION",
+	"TASK_SUCCESS",
+	"TASK_FAILURE",
+	"PATTERN_REPEAT",
+	"CODE_INDEX_HIT",
+	"PROMPT_QUALITY",
+	"TOOL_PREFERENCE",
+])
+
+export type FeedbackSignal = z.infer<typeof feedbackSignalSchema>
+
+/**
+ * LearningConfig - configuration for the learning system
+ */
+export const learningConfigSchema = z.object({
+	enabled: z.boolean().default(false),
+	reviewOnTurnCount: z.number().int().min(1).default(5),
+	reviewOnToolIterationCount: z.number().int().min(1).default(20),
+	reviewOnEveryTurn: z.boolean().default(false),
+	maxStoredPatterns: z.number().int().min(1).default(100),
+	maxStoredEvents: z.number().int().min(1).default(500),
+	maxPromptPatterns: z.number().int().min(1).default(5),
+	curatorEnabled: z.boolean().default(true),
+	curatorIntervalMs: z.number().int().min(60000).default(3600000),
+	staleAfterDays: z.number().int().min(1).default(14),
+	archiveAfterDays: z.number().int().min(1).default(60),
+	codeIndexCorrelationEnabled: z.boolean().default(true),
+})
+
+export type LearningConfig = z.infer<typeof learningConfigSchema>
+
+export const DEFAULT_LEARNING_CONFIG: LearningConfig = {
+	enabled: true,
+	reviewOnTurnCount: 3,
+	reviewOnToolIterationCount: 10,
+	reviewOnEveryTurn: false,
+	maxStoredPatterns: 100,
+	maxStoredEvents: 500,
+	maxPromptPatterns: 5,
+	curatorEnabled: true,
+	curatorIntervalMs: 3_600_000,
+	staleAfterDays: 14,
+	archiveAfterDays: 60,
+	codeIndexCorrelationEnabled: true,
+}
+
+/**
+ * LearningEvent - a single learning observation
+ */
+export const learningEventSchema = z.object({
+	id: z.string(),
+	signal: feedbackSignalSchema,
+	timestamp: z.number(),
+	taskId: z.string().optional(),
+	workspacePath: z.string().optional(),
+	mode: z.string().optional(),
+	context: z.object({
+		userTurnCount: z.number().optional(),
+		toolIterationCount: z.number().optional(),
+		toolNames: z.array(z.string()).optional(),
+		promptFingerprint: z.string().optional(),
+		errorKey: z.string().optional(),
+		codeIndex: z
+			.object({
+				available: z.boolean(),
+				hits: z.number(),
+				topScore: z.number().optional(),
+			})
+			.optional(),
+	}),
+	outcome: z.object({
+		success: z.boolean().optional(),
+		corrected: z.boolean().optional(),
+		summary: z.string().optional(),
+		confidenceDelta: z.number().optional(),
+	}),
+})
+
+export type LearningEvent = z.infer<typeof learningEventSchema>
+
+/**
+ * PatternState - lifecycle state for learned patterns
+ */
+export const patternStateSchema = z.enum(["active", "stale", "archived"])
+
+export type PatternState = z.infer<typeof patternStateSchema>
+
+/**
+ * PatternType - category of learned pattern
+ */
+export const patternTypeSchema = z.enum(["prompt", "tool", "error", "skill", "code-index"])
+
+export type PatternType = z.infer<typeof patternTypeSchema>
+
+/**
+ * LearnedPattern - a pattern extracted from learning events
+ */
+export const learnedPatternSchema = z.object({
+	id: z.string(),
+	patternType: patternTypeSchema,
+	state: patternStateSchema,
+	summary: z.string(),
+	confidenceScore: z.number().min(0).max(1),
+	frequency: z.number().int().min(0),
+	successRate: z.number().min(0).max(1),
+	firstSeenAt: z.number(),
+	lastSeenAt: z.number(),
+	lastAppliedAt: z.number().optional(),
+	sourceSignals: z.array(feedbackSignalSchema),
+	context: z.object({
+		toolNames: z.array(z.string()).optional(),
+		errorKeys: z.array(z.string()).optional(),
+		modes: z.array(z.string()).optional(),
+		workspacePaths: z.array(z.string()).optional(),
+		promptFingerprint: z.string().optional(),
+	}),
+})
+
+export type LearnedPattern = z.infer<typeof learnedPatternSchema>
+
+/**
+ * ActionType - types of improvement actions
+ */
+export const actionTypeSchema = z.enum([
+	"PROMPT_ENRICHMENT",
+	"TOOL_PREFERENCE",
+	"ERROR_AVOIDANCE",
+	"SKILL_SUGGESTION",
+	"SKILL_CREATE",
+	"SKILL_UPDATE",
+	"SKILL_MERGE",
+])
+
+export type ActionType = z.infer<typeof actionTypeSchema>
+
+/**
+ * ImprovementAction - an action to apply based on learned patterns
+ */
+export const improvementActionSchema = z.object({
+	id: z.string(),
+	actionType: actionTypeSchema,
+	target: z.enum(["system-prompt", "task-execution", "skills-manager", "review-queue"]),
+	payload: z.record(z.string(), z.unknown()),
+	timestamp: z.number(),
+})
+
+export type ImprovementAction = z.infer<typeof improvementActionSchema>
+
+/**
+ * LearningTelemetry - telemetry counters for the learning system
+ */
+export const learningTelemetrySchema = z.object({
+	promptEnrichmentUses: z.number().int().default(0),
+	toolPreferenceUses: z.number().int().default(0),
+	errorAvoidanceUses: z.number().int().default(0),
+	skillSuggestionCount: z.number().int().default(0),
+	lastReviewAt: z.number().optional(),
+	lastCuratorRunAt: z.number().optional(),
+})
+
+export type LearningTelemetry = z.infer<typeof learningTelemetrySchema>
+
+/**
+ * LearningState - full serializable state of the learning system
+ */
+export const learningStateSchema = z.object({
+	version: z.literal(1),
+	config: learningConfigSchema,
+	counters: z.object({
+		userTurnsSinceReview: z.number().int().default(0),
+		toolIterationsSinceReview: z.number().int().default(0),
+	}),
+	patterns: z.array(learnedPatternSchema).default([]),
+	archivedPatterns: z.array(learnedPatternSchema).default([]),
+	recentEvents: z.array(learningEventSchema).default([]),
+	pendingActions: z.array(improvementActionSchema).default([]),
+	telemetry: learningTelemetrySchema,
+})
+
+export type LearningState = z.infer<typeof learningStateSchema>
+
+export const EMPTY_LEARNING_STATE: LearningState = {
+	version: 1,
+	config: DEFAULT_LEARNING_CONFIG,
+	counters: {
+		userTurnsSinceReview: 0,
+		toolIterationsSinceReview: 0,
+	},
+	patterns: [],
+	archivedPatterns: [],
+	recentEvents: [],
+	pendingActions: [],
+	telemetry: {
+		promptEnrichmentUses: 0,
+		toolPreferenceUses: 0,
+		errorAvoidanceUses: 0,
+		skillSuggestionCount: 0,
+	},
+}