majlis 0.5.0 → 0.5.1

package/dist/cli.js

@@ -29,6 +29,27 @@ var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__ge
   isNodeMode || !mod || !mod.__esModule ? __defProp(target, "default", { value: mod, enumerable: true }) : target,
   mod
 ));
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+
+// src/shutdown.ts
+var shutdown_exports = {};
+__export(shutdown_exports, {
+  isShutdownRequested: () => isShutdownRequested,
+  requestShutdown: () => requestShutdown
+});
+function requestShutdown() {
+  _requested = true;
+}
+function isShutdownRequested() {
+  return _requested;
+}
+var _requested;
+var init_shutdown = __esm({
+  "src/shutdown.ts"() {
+    "use strict";
+    _requested = false;
+  }
+});
 
 // src/db/migrations.ts
 function runMigrations(db) {
@@ -1618,6 +1639,73 @@ var init_queries = __esm({
   }
 });
 
+// src/config.ts
+function loadConfig(projectRoot) {
+  if (_cachedConfig && _cachedRoot === projectRoot) return _cachedConfig;
+  const configPath = path3.join(projectRoot, ".majlis", "config.json");
+  if (!fs3.existsSync(configPath)) {
+    _cachedConfig = { ...DEFAULT_CONFIG2 };
+    _cachedRoot = projectRoot;
+    return _cachedConfig;
+  }
+  const loaded = JSON.parse(fs3.readFileSync(configPath, "utf-8"));
+  _cachedConfig = {
+    ...DEFAULT_CONFIG2,
+    ...loaded,
+    project: { ...DEFAULT_CONFIG2.project, ...loaded.project },
+    metrics: { ...DEFAULT_CONFIG2.metrics, ...loaded.metrics },
+    build: { ...DEFAULT_CONFIG2.build, ...loaded.build },
+    cycle: { ...DEFAULT_CONFIG2.cycle, ...loaded.cycle }
+  };
+  _cachedRoot = projectRoot;
+  return _cachedConfig;
+}
+function readFileOrEmpty(filePath) {
+  try {
+    return fs3.readFileSync(filePath, "utf-8");
+  } catch {
+    return "";
+  }
+}
+function getFlagValue(args, flag) {
+  const idx = args.indexOf(flag);
+  if (idx < 0 || idx + 1 >= args.length) return void 0;
+  return args[idx + 1];
+}
+function truncateContext(content, limit) {
+  if (content.length <= limit) return content;
+  return content.slice(0, limit) + "\n[TRUNCATED]";
+}
+var fs3, path3, DEFAULT_CONFIG2, _cachedConfig, _cachedRoot, CONTEXT_LIMITS;
+var init_config = __esm({
+  "src/config.ts"() {
+    "use strict";
+    fs3 = __toESM(require("fs"));
+    path3 = __toESM(require("path"));
+    DEFAULT_CONFIG2 = {
+      project: { name: "", description: "", objective: "" },
+      metrics: { command: "", fixtures: [], tracked: {} },
+      build: { pre_measure: null, post_measure: null },
+      cycle: {
+        compression_interval: 5,
+        circuit_breaker_threshold: 3,
+        require_doubt_before_verify: true,
+        require_challenge_before_verify: false,
+        auto_baseline_on_new_experiment: true
+      },
+      models: {}
+    };
+    _cachedConfig = null;
+    _cachedRoot = null;
+    CONTEXT_LIMITS = {
+      synthesis: 3e4,
+      fragility: 15e3,
+      experimentDoc: 15e3,
+      deadEnds: 15e3
+    };
+  }
+});
+
 // src/commands/status.ts
 var status_exports = {};
 __export(status_exports, {
@@ -1707,21 +1795,12 @@ function buildSummary(expCount, activeSession, sessionsSinceCompression, config)
   }
   return parts.join(". ");
 }
-function loadConfig(projectRoot) {
-  const configPath = path3.join(projectRoot, ".majlis", "config.json");
-  if (!fs3.existsSync(configPath)) {
-    throw new Error("Missing .majlis/config.json. Run `majlis init` first.");
-  }
-  return JSON.parse(fs3.readFileSync(configPath, "utf-8"));
-}
-var fs3, path3;
 var init_status = __esm({
   "src/commands/status.ts"() {
     "use strict";
-    fs3 = __toESM(require("fs"));
-    path3 = __toESM(require("path"));
     init_connection();
     init_queries();
+    init_config();
     init_format();
   }
 });
@@ -1803,11 +1882,11 @@ async function captureMetrics(phase, args) {
   const root = findProjectRoot();
   if (!root) throw new Error("Not in a Majlis project. Run `majlis init` first.");
   const db = getDb(root);
-  const config = loadConfig2(root);
-  const expIdIdx = args.indexOf("--experiment");
+  const config = loadConfig(root);
+  const expIdStr = getFlagValue(args, "--experiment");
   let exp;
-  if (expIdIdx >= 0) {
-    exp = getExperimentById(db, Number(args[expIdIdx + 1]));
+  if (expIdStr !== void 0) {
+    exp = getExperimentById(db, Number(expIdStr));
   } else {
     exp = getLatestExperiment(db);
   }
@@ -1855,11 +1934,11 @@ async function compare(args, isJson) {
   const root = findProjectRoot();
   if (!root) throw new Error("Not in a Majlis project. Run `majlis init` first.");
   const db = getDb(root);
-  const config = loadConfig2(root);
-  const expIdIdx = args.indexOf("--experiment");
+  const config = loadConfig(root);
+  const expIdStr = getFlagValue(args, "--experiment");
   let exp;
-  if (expIdIdx >= 0) {
-    exp = getExperimentById(db, Number(args[expIdIdx + 1]));
+  if (expIdStr !== void 0) {
+    exp = getExperimentById(db, Number(expIdStr));
   } else {
     exp = getLatestExperiment(db);
   }
@@ -1896,23 +1975,15 @@ function formatDelta(delta) {
   const prefix = delta > 0 ? "+" : "";
   return `${prefix}${delta.toFixed(4)}`;
 }
-function loadConfig2(projectRoot) {
-  const configPath = path4.join(projectRoot, ".majlis", "config.json");
-  if (!fs4.existsSync(configPath)) {
-    throw new Error("Missing .majlis/config.json. Run `majlis init` first.");
-  }
-  return JSON.parse(fs4.readFileSync(configPath, "utf-8"));
-}
-var fs4, path4, import_node_child_process;
+var import_node_child_process;
 var init_measure = __esm({
   "src/commands/measure.ts"() {
     "use strict";
-    fs4 = __toESM(require("fs"));
-    path4 = __toESM(require("path"));
     import_node_child_process = require("child_process");
     init_connection();
     init_queries();
     init_metrics();
+    init_config();
     init_format();
   }
 });
@@ -1931,7 +2002,7 @@ async function newExperiment(args) {
     throw new Error('Usage: majlis new "hypothesis"');
   }
   const db = getDb(root);
-  const config = loadConfig3(root);
+  const config = loadConfig(root);
   const slug = slugify(hypothesis);
   if (getExperimentBySlug(db, slug)) {
     throw new Error(`Experiment with slug "${slug}" already exists.`);
@@ -1950,17 +2021,16 @@ async function newExperiment(args) {
   } catch (err) {
     warn(`Could not create branch ${branch} \u2014 continuing without git branch.`);
   }
-  const subTypeIdx = args.indexOf("--sub-type");
-  const subType = subTypeIdx >= 0 ? args[subTypeIdx + 1] : null;
+  const subType = getFlagValue(args, "--sub-type") ?? null;
   const exp = createExperiment(db, slug, branch, hypothesis, subType, null);
   success(`Created experiment #${exp.id}: ${exp.slug}`);
-  const docsDir = path5.join(root, "docs", "experiments");
-  const templatePath = path5.join(docsDir, "_TEMPLATE.md");
-  if (fs5.existsSync(templatePath)) {
-    const template = fs5.readFileSync(templatePath, "utf-8");
+  const docsDir = path4.join(root, "docs", "experiments");
+  const templatePath = path4.join(docsDir, "_TEMPLATE.md");
+  if (fs4.existsSync(templatePath)) {
+    const template = fs4.readFileSync(templatePath, "utf-8");
     const logContent = template.replace(/\{\{title\}\}/g, hypothesis).replace(/\{\{hypothesis\}\}/g, hypothesis).replace(/\{\{branch\}\}/g, branch).replace(/\{\{status\}\}/g, "classified").replace(/\{\{sub_type\}\}/g, subType ?? "unclassified").replace(/\{\{date\}\}/g, (/* @__PURE__ */ new Date()).toISOString().split("T")[0]);
-    const logPath = path5.join(docsDir, `${paddedNum}-${slug}.md`);
-    fs5.writeFileSync(logPath, logContent);
+    const logPath = path4.join(docsDir, `${paddedNum}-${slug}.md`);
+    fs4.writeFileSync(logPath, logContent);
     info(`Created experiment log: docs/experiments/${paddedNum}-${slug}.md`);
   }
   if (config.cycle.auto_baseline_on_new_experiment && config.metrics.command) {
@@ -1986,8 +2056,7 @@ async function revert(args) {
     exp = getLatestExperiment(db);
     if (!exp) throw new Error("No active experiments to revert.");
   }
-  const reasonIdx = args.indexOf("--reason");
-  const reason = reasonIdx >= 0 ? args[reasonIdx + 1] : "Manually reverted";
+  const reason = getFlagValue(args, "--reason") ?? "Manually reverted";
   const category = args.includes("--structural") ? "structural" : "procedural";
   insertDeadEnd(
     db,
@@ -2019,22 +2088,16 @@ async function revert(args) {
 function slugify(text) {
   return text.toLowerCase().replace(/[^a-z0-9]+/g, "-").replace(/^-|-$/g, "").slice(0, 50);
 }
-function loadConfig3(projectRoot) {
-  const configPath = path5.join(projectRoot, ".majlis", "config.json");
-  if (!fs5.existsSync(configPath)) {
-    return { cycle: { auto_baseline_on_new_experiment: false } };
-  }
-  return JSON.parse(fs5.readFileSync(configPath, "utf-8"));
-}
-var fs5, path5, import_node_child_process2;
+var fs4, path4, import_node_child_process2;
 var init_experiment = __esm({
   "src/commands/experiment.ts"() {
     "use strict";
-    fs5 = __toESM(require("fs"));
-    path5 = __toESM(require("path"));
+    fs4 = __toESM(require("fs"));
+    path4 = __toESM(require("path"));
     import_node_child_process2 = require("child_process");
     init_connection();
     init_queries();
+    init_config();
     init_format();
   }
 });
@@ -2074,12 +2137,9 @@ async function session(args) {
     if (!active) {
       throw new Error("No active session to end.");
     }
-    const accomplishedIdx = args.indexOf("--accomplished");
-    const accomplished = accomplishedIdx >= 0 ? args[accomplishedIdx + 1] : null;
-    const unfinishedIdx = args.indexOf("--unfinished");
-    const unfinished = unfinishedIdx >= 0 ? args[unfinishedIdx + 1] : null;
-    const fragilityIdx = args.indexOf("--fragility");
-    const fragility = fragilityIdx >= 0 ? args[fragilityIdx + 1] : null;
+    const accomplished = getFlagValue(args, "--accomplished") ?? null;
+    const unfinished = getFlagValue(args, "--unfinished") ?? null;
+    const fragility = getFlagValue(args, "--fragility") ?? null;
     endSession(db, active.id, accomplished, unfinished, fragility);
     success(`Session ended: "${active.intent}"`);
     if (accomplished) info(`Accomplished: ${accomplished}`);
@@ -2092,6 +2152,7 @@ var init_session = __esm({
     "use strict";
     init_connection();
     init_queries();
+    init_config();
     init_format();
   }
 });
@@ -2121,10 +2182,9 @@ async function query(command, args, isJson) {
   }
 }
 function queryDecisions(db, args, isJson) {
-  const levelIdx = args.indexOf("--level");
-  const level = levelIdx >= 0 ? args[levelIdx + 1] : void 0;
-  const expIdx = args.indexOf("--experiment");
-  const experimentId = expIdx >= 0 ? Number(args[expIdx + 1]) : void 0;
+  const level = getFlagValue(args, "--level");
+  const expIdStr = getFlagValue(args, "--experiment");
+  const experimentId = expIdStr !== void 0 ? Number(expIdStr) : void 0;
   const decisions = listAllDecisions(db, level, experimentId);
   if (isJson) {
     console.log(JSON.stringify(decisions, null, 2));
@@ -2145,10 +2205,8 @@ function queryDecisions(db, args, isJson) {
   console.log(table(["ID", "Exp", "Level", "Description", "Status"], rows));
 }
 function queryDeadEnds(db, args, isJson) {
-  const subTypeIdx = args.indexOf("--sub-type");
-  const subType = subTypeIdx >= 0 ? args[subTypeIdx + 1] : void 0;
-  const searchIdx = args.indexOf("--search");
-  const searchTerm = searchIdx >= 0 ? args[searchIdx + 1] : void 0;
+  const subType = getFlagValue(args, "--sub-type");
+  const searchTerm = getFlagValue(args, "--search");
   let deadEnds;
   if (subType) {
     deadEnds = listDeadEndsBySubType(db, subType);
@@ -2175,12 +2233,12 @@ function queryDeadEnds(db, args, isJson) {
   console.log(table(["ID", "Sub-Type", "Approach", "Constraint"], rows));
 }
 function queryFragility(root, isJson) {
-  const fragPath = path6.join(root, "docs", "synthesis", "fragility.md");
-  if (!fs6.existsSync(fragPath)) {
+  const fragPath = path5.join(root, "docs", "synthesis", "fragility.md");
+  if (!fs5.existsSync(fragPath)) {
     info("No fragility map found.");
     return;
   }
-  const content = fs6.readFileSync(fragPath, "utf-8");
+  const content = fs5.readFileSync(fragPath, "utf-8");
   if (isJson) {
     console.log(JSON.stringify({ content }, null, 2));
     return;
@@ -2214,7 +2272,7 @@ function queryHistory(db, args, isJson) {
   console.log(table(["Exp", "Slug", "Phase", "Metric", "Value", "Captured"], rows));
 }
 function queryCircuitBreakers(db, root, isJson) {
-  const config = loadConfig4(root);
+  const config = loadConfig(root);
   const states = getAllCircuitBreakerStates(db, config.cycle.circuit_breaker_threshold);
   if (isJson) {
     console.log(JSON.stringify(states, null, 2));
@@ -2236,7 +2294,7 @@ function queryCircuitBreakers(db, root, isJson) {
 function checkCommit(db) {
   let stdinData = "";
   try {
-    stdinData = fs6.readFileSync(0, "utf-8");
+    stdinData = fs5.readFileSync(0, "utf-8");
   } catch {
   }
   if (stdinData) {
@@ -2261,21 +2319,15 @@ function checkCommit(db) {
     process.exit(1);
   }
 }
-function loadConfig4(projectRoot) {
-  const configPath = path6.join(projectRoot, ".majlis", "config.json");
-  if (!fs6.existsSync(configPath)) {
-    return { cycle: { circuit_breaker_threshold: 3 } };
-  }
-  return JSON.parse(fs6.readFileSync(configPath, "utf-8"));
-}
-var fs6, path6;
+var fs5, path5;
 var init_query = __esm({
   "src/commands/query.ts"() {
     "use strict";
-    fs6 = __toESM(require("fs"));
-    path6 = __toESM(require("path"));
+    fs5 = __toESM(require("fs"));
+    path5 = __toESM(require("path"));
     init_connection();
     init_queries();
+    init_config();
     init_format();
   }
 });
@@ -2558,11 +2610,11 @@ var init_parse = __esm({
 // src/agents/spawn.ts
 function loadAgentDefinition(role, projectRoot) {
   const root = projectRoot ?? findProjectRoot() ?? process.cwd();
-  const filePath = path7.join(root, ".majlis", "agents", `${role}.md`);
-  if (!fs7.existsSync(filePath)) {
+  const filePath = path6.join(root, ".majlis", "agents", `${role}.md`);
+  if (!fs6.existsSync(filePath)) {
     throw new Error(`Agent definition not found: ${filePath}`);
   }
-  const content = fs7.readFileSync(filePath, "utf-8");
+  const content = fs6.readFileSync(filePath, "utf-8");
   const frontmatterMatch = content.match(/^---\n([\s\S]*?)\n---\n([\s\S]*)$/);
   if (!frontmatterMatch) {
     throw new Error(`Invalid agent definition (missing YAML frontmatter): ${filePath}`);
@@ -2583,7 +2635,7 @@ async function spawnAgent(role, context, projectRoot) {
   const agentDef = loadAgentDefinition(role, projectRoot);
   const root = projectRoot ?? findProjectRoot() ?? process.cwd();
   const taskPrompt = context.taskPrompt ?? `Perform your role as ${agentDef.name}.`;
-  const contextJson = JSON.stringify(context, null, 2);
+  const contextJson = JSON.stringify(context);
   const prompt = `Here is your context:
 
 \`\`\`json
@@ -2618,7 +2670,7 @@ ${taskPrompt}`;
 }
 async function spawnSynthesiser(context, projectRoot) {
   const root = projectRoot ?? findProjectRoot() ?? process.cwd();
-  const contextJson = JSON.stringify(context, null, 2);
+  const contextJson = JSON.stringify(context);
   const taskPrompt = context.taskPrompt ?? "Synthesise the findings into actionable builder guidance.";
   const prompt = `Here is your context:
 
@@ -2631,7 +2683,7 @@ ${taskPrompt}`;
   console.log(`[synthesiser] Spawning (maxTurns: 5)...`);
   const { text: markdown, costUsd, truncated } = await runQuery({
     prompt,
-    model: "opus",
+    model: "sonnet",
     tools: ["Read", "Glob", "Grep"],
     systemPrompt,
     cwd: root,
@@ -2645,15 +2697,15 @@ async function spawnRecovery(role, partialOutput, context, projectRoot) {
   const root = projectRoot ?? findProjectRoot() ?? process.cwd();
   const expSlug = context.experiment?.slug ?? "unknown";
   console.log(`[recovery] Cleaning up after truncated ${role} for ${expSlug}...`);
-  const expDocPath = path7.join(
+  const expDocPath = path6.join(
     root,
     "docs",
     "experiments",
     `${String(context.experiment?.id ?? 0).padStart(3, "0")}-${expSlug}.md`
   );
-  const templatePath = path7.join(root, "docs", "experiments", "_TEMPLATE.md");
-  const template = fs7.existsSync(templatePath) ? fs7.readFileSync(templatePath, "utf-8") : "";
-  const currentDoc = fs7.existsSync(expDocPath) ? fs7.readFileSync(expDocPath, "utf-8") : "";
+  const templatePath = path6.join(root, "docs", "experiments", "_TEMPLATE.md");
+  const template = fs6.existsSync(templatePath) ? fs6.readFileSync(templatePath, "utf-8") : "";
+  const currentDoc = fs6.existsSync(expDocPath) ? fs6.readFileSync(expDocPath, "utf-8") : "";
   const prompt = `The ${role} agent was truncated (hit max turns) while working on experiment "${expSlug}".
 
 Here is the partial agent output (reasoning + tool calls):
@@ -2790,23 +2842,23 @@ function writeArtifact(role, context, markdown, projectRoot) {
   const dir = dirMap[role];
   if (!dir) return null;
   if (role === "builder" || role === "compressor") return null;
-  const fullDir = path7.join(projectRoot, dir);
-  if (!fs7.existsSync(fullDir)) {
-    fs7.mkdirSync(fullDir, { recursive: true });
+  const fullDir = path6.join(projectRoot, dir);
+  if (!fs6.existsSync(fullDir)) {
+    fs6.mkdirSync(fullDir, { recursive: true });
   }
   const expSlug = context.experiment?.slug ?? "general";
   const nextNum = String(context.experiment?.id ?? 1).padStart(3, "0");
   const filename = `${nextNum}-${role}-${expSlug}.md`;
-  const target = path7.join(fullDir, filename);
-  fs7.writeFileSync(target, markdown);
+  const target = path6.join(fullDir, filename);
+  fs6.writeFileSync(target, markdown);
   return target;
 }
-var fs7, path7, import_claude_agent_sdk2, ROLE_MAX_TURNS, DIM2, RESET2, CYAN2;
+var fs6, path6, import_claude_agent_sdk2, ROLE_MAX_TURNS, DIM2, RESET2, CYAN2;
 var init_spawn = __esm({
   "src/agents/spawn.ts"() {
     "use strict";
-    fs7 = __toESM(require("fs"));
-    path7 = __toESM(require("path"));
+    fs6 = __toESM(require("fs"));
+    path6 = __toESM(require("path"));
     import_claude_agent_sdk2 = require("@anthropic-ai/claude-agent-sdk");
     init_parse();
     init_connection();
@@ -2880,11 +2932,13 @@ async function resolve(db, exp, projectRoot) {
         taskPrompt: "Synthesise the verification report, confirmed doubts, and adversarial case results into specific, actionable guidance for the builder's next attempt. Be concrete: which specific decisions need revisiting, which assumptions broke, and what constraints must the next approach satisfy."
       }, projectRoot);
       const guidanceText = guidance.structured?.guidance ?? guidance.output;
-      storeBuilderGuidance(db, exp.id, guidanceText);
-      updateExperimentStatus(db, exp.id, "building");
-      if (exp.sub_type) {
-        incrementSubTypeFailure(db, exp.sub_type, exp.id, "weak");
-      }
+      db.transaction(() => {
+        storeBuilderGuidance(db, exp.id, guidanceText);
+        updateExperimentStatus(db, exp.id, "building");
+        if (exp.sub_type) {
+          incrementSubTypeFailure(db, exp.sub_type, exp.id, "weak");
+        }
+      })();
       warn(`Experiment ${exp.slug} CYCLING BACK (weak). Guidance generated for builder.`);
       break;
     }
@@ -2892,19 +2946,21 @@ async function resolve(db, exp, projectRoot) {
       gitRevert(exp.branch, projectRoot);
       const rejectedComponents = grades.filter((g) => g.grade === "rejected");
       const whyFailed = rejectedComponents.map((r) => r.notes ?? "rejected").join("; ");
-      insertDeadEnd(
-        db,
-        exp.id,
-        exp.hypothesis ?? exp.slug,
-        whyFailed,
-        `Approach rejected: ${whyFailed}`,
-        exp.sub_type,
-        "structural"
-      );
-      updateExperimentStatus(db, exp.id, "dead_end");
-      if (exp.sub_type) {
-        incrementSubTypeFailure(db, exp.sub_type, exp.id, "rejected");
-      }
+      db.transaction(() => {
+        insertDeadEnd(
+          db,
+          exp.id,
+          exp.hypothesis ?? exp.slug,
+          whyFailed,
+          `Approach rejected: ${whyFailed}`,
+          exp.sub_type,
+          "structural"
+        );
+        updateExperimentStatus(db, exp.id, "dead_end");
+        if (exp.sub_type) {
+          incrementSubTypeFailure(db, exp.sub_type, exp.id, "rejected");
+        }
+      })();
       info(`Experiment ${exp.slug} DEAD-ENDED (rejected). Constraint recorded.`);
       break;
     }
@@ -2943,23 +2999,23 @@ function gitRevert(branch, cwd) {
   }
 }
 function appendToFragilityMap(projectRoot, expSlug, gaps) {
-  const fragPath = path8.join(projectRoot, "docs", "synthesis", "fragility.md");
+  const fragPath = path7.join(projectRoot, "docs", "synthesis", "fragility.md");
   let content = "";
-  if (fs8.existsSync(fragPath)) {
-    content = fs8.readFileSync(fragPath, "utf-8");
+  if (fs7.existsSync(fragPath)) {
+    content = fs7.readFileSync(fragPath, "utf-8");
   }
   const entry = `
 ## From experiment: ${expSlug}
 ${gaps}
 `;
-  fs8.writeFileSync(fragPath, content + entry);
+  fs7.writeFileSync(fragPath, content + entry);
 }
-var fs8, path8, import_node_child_process3;
+var fs7, path7, import_node_child_process3;
 var init_resolve = __esm({
   "src/resolve.ts"() {
     "use strict";
-    fs8 = __toESM(require("fs"));
-    path8 = __toESM(require("path"));
+    fs7 = __toESM(require("fs"));
+    path7 = __toESM(require("path"));
     init_types();
     init_queries();
     init_spawn();
@@ -3007,8 +3063,8 @@ async function resolveCmd(args) {
 }
 async function doGate(db, exp, root) {
   transition(exp.status, "gated" /* GATED */);
-  const synthesis = readFileOrEmpty(path9.join(root, "docs", "synthesis", "current.md"));
-  const fragility = readFileOrEmpty(path9.join(root, "docs", "synthesis", "fragility.md"));
+  const synthesis = truncateContext(readFileOrEmpty(path8.join(root, "docs", "synthesis", "current.md")), CONTEXT_LIMITS.synthesis);
+  const fragility = truncateContext(readFileOrEmpty(path8.join(root, "docs", "synthesis", "fragility.md")), CONTEXT_LIMITS.fragility);
   const structuralDeadEnds = exp.sub_type ? listStructuralDeadEndsBySubType(db, exp.sub_type) : listStructuralDeadEnds(db);
   const result = await spawnAgent("gatekeeper", {
     experiment: {
@@ -3052,13 +3108,12 @@ async function doBuild(db, exp, root) {
   transition(exp.status, "building" /* BUILDING */);
   const deadEnds = exp.sub_type ? listDeadEndsBySubType(db, exp.sub_type) : listAllDeadEnds(db);
   const builderGuidance = getBuilderGuidance(db, exp.id);
-  const fragilityPath = path9.join(root, "docs", "synthesis", "fragility.md");
-  const fragility = fs9.existsSync(fragilityPath) ? fs9.readFileSync(fragilityPath, "utf-8") : "";
-  const synthesisPath = path9.join(root, "docs", "synthesis", "current.md");
-  const synthesis = fs9.existsSync(synthesisPath) ? fs9.readFileSync(synthesisPath, "utf-8") : "";
+  const fragility = truncateContext(readFileOrEmpty(path8.join(root, "docs", "synthesis", "fragility.md")), CONTEXT_LIMITS.fragility);
+  const synthesis = truncateContext(readFileOrEmpty(path8.join(root, "docs", "synthesis", "current.md")), CONTEXT_LIMITS.synthesis);
   const confirmedDoubts = getConfirmedDoubts(db, exp.id);
-  const config = loadConfig5(root);
-  if (config.metrics?.command) {
+  const config = loadConfig(root);
+  const existingBaseline = getMetricsByExperimentAndPhase(db, exp.id, "before");
+  if (config.metrics?.command && existingBaseline.length === 0) {
     try {
       const output = (0, import_node_child_process4.execSync)(config.metrics.command, {
         cwd: root,
@@ -3149,7 +3204,7 @@ async function doChallenge(db, exp, root) {
   } catch {
   }
   if (gitDiff.length > 8e3) gitDiff = gitDiff.slice(0, 8e3) + "\n[DIFF TRUNCATED]";
-  const synthesis = readFileOrEmpty(path9.join(root, "docs", "synthesis", "current.md"));
+  const synthesis = truncateContext(readFileOrEmpty(path8.join(root, "docs", "synthesis", "current.md")), CONTEXT_LIMITS.synthesis);
   let taskPrompt = `Construct adversarial test cases for experiment ${exp.slug}: ${exp.hypothesis}`;
   if (gitDiff) {
     taskPrompt += `
@@ -3182,9 +3237,9 @@ ${gitDiff}
 async function doDoubt(db, exp, root) {
   transition(exp.status, "doubted" /* DOUBTED */);
   const paddedNum = String(exp.id).padStart(3, "0");
-  const expDocPath = path9.join(root, "docs", "experiments", `${paddedNum}-${exp.slug}.md`);
-  const experimentDoc = readFileOrEmpty(expDocPath);
-  const synthesis = readFileOrEmpty(path9.join(root, "docs", "synthesis", "current.md"));
+  const expDocPath = path8.join(root, "docs", "experiments", `${paddedNum}-${exp.slug}.md`);
+  const experimentDoc = truncateContext(readFileOrEmpty(expDocPath), CONTEXT_LIMITS.experimentDoc);
+  const synthesis = truncateContext(readFileOrEmpty(path8.join(root, "docs", "synthesis", "current.md")), CONTEXT_LIMITS.synthesis);
   const deadEnds = exp.sub_type ? listDeadEndsBySubType(db, exp.sub_type) : listAllDeadEnds(db);
   let taskPrompt = `Doubt the work in experiment ${exp.slug}: ${exp.hypothesis}. Produce a doubt document with evidence for each doubt.`;
   if (experimentDoc) {
@@ -3223,8 +3278,8 @@ ${experimentDoc}
 }
 async function doScout(db, exp, root) {
   transition(exp.status, "scouted" /* SCOUTED */);
-  const synthesis = readFileOrEmpty(path9.join(root, "docs", "synthesis", "current.md"));
-  const fragility = readFileOrEmpty(path9.join(root, "docs", "synthesis", "fragility.md"));
+  const synthesis = truncateContext(readFileOrEmpty(path8.join(root, "docs", "synthesis", "current.md")), CONTEXT_LIMITS.synthesis);
+  const fragility = truncateContext(readFileOrEmpty(path8.join(root, "docs", "synthesis", "fragility.md")), CONTEXT_LIMITS.fragility);
   const deadEnds = exp.sub_type ? listDeadEndsBySubType(db, exp.sub_type) : listAllDeadEnds(db);
   const deadEndsSummary = deadEnds.map(
     (d) => `- [${d.category ?? "structural"}] ${d.approach}: ${d.why_failed}`
@@ -3271,12 +3326,12 @@ ${fragility}`;
 async function doVerify(db, exp, root) {
   transition(exp.status, "verifying" /* VERIFYING */);
   const doubts = getDoubtsByExperiment(db, exp.id);
-  const challengeDir = path9.join(root, "docs", "challenges");
+  const challengeDir = path8.join(root, "docs", "challenges");
   let challenges = "";
-  if (fs9.existsSync(challengeDir)) {
-    const files = fs9.readdirSync(challengeDir).filter((f) => f.includes(exp.slug) && f.endsWith(".md"));
+  if (fs8.existsSync(challengeDir)) {
+    const files = fs8.readdirSync(challengeDir).filter((f) => f.includes(exp.slug) && f.endsWith(".md"));
     for (const f of files) {
-      challenges += fs9.readFileSync(path9.join(challengeDir, f), "utf-8") + "\n\n";
+      challenges += fs8.readFileSync(path8.join(challengeDir, f), "utf-8") + "\n\n";
     }
   }
   const beforeMetrics = getMetricsByExperimentAndPhase(db, exp.id, "before");
@@ -3344,14 +3399,14 @@ async function doVerify(db, exp, root) {
   success(`Verification complete for ${exp.slug}. Run \`majlis resolve\` next.`);
 }
 async function doCompress(db, root) {
-  const synthesisPath = path9.join(root, "docs", "synthesis", "current.md");
-  const sizeBefore = fs9.existsSync(synthesisPath) ? fs9.statSync(synthesisPath).size : 0;
+  const synthesisPath = path8.join(root, "docs", "synthesis", "current.md");
+  const sizeBefore = fs8.existsSync(synthesisPath) ? fs8.statSync(synthesisPath).size : 0;
   const sessionCount = getSessionsSinceCompression(db);
   const dbExport = exportForCompressor(db);
   const result = await spawnAgent("compressor", {
     taskPrompt: "## Structured Data (CANONICAL \u2014 from SQLite database)\nThe database export below is the source of truth. docs/ files are agent artifacts that may contain stale or incorrect information. Cross-reference everything against this data.\n\n" + dbExport + "\n\n## Your Task\nRead ALL experiments, decisions, doubts, challenges, verification reports, reframes, and recent diffs. Cross-reference for contradictions, redundancies, and patterns. REWRITE docs/synthesis/current.md \u2014 shorter and denser. Update docs/synthesis/fragility.md with current weak areas. Update docs/synthesis/dead-ends.md with structural constraints from rejected experiments."
   }, root);
-  const sizeAfter = fs9.existsSync(synthesisPath) ? fs9.statSync(synthesisPath).size : 0;
+  const sizeAfter = fs8.existsSync(synthesisPath) ? fs8.statSync(synthesisPath).size : 0;
   recordCompression(db, sessionCount, sizeBefore, sizeAfter);
   success(`Compression complete. Synthesis: ${sizeBefore}B \u2192 ${sizeAfter}B`);
 }
@@ -3442,35 +3497,12 @@ function ingestStructuredOutput(db, experimentId, structured) {
     info(`Ingested ${structured.findings.length} finding(s)`);
   }
 }
-function readFileOrEmpty(filePath) {
-  try {
-    return fs9.readFileSync(filePath, "utf-8");
-  } catch {
-    return "";
-  }
-}
-function loadConfig5(projectRoot) {
-  const configPath = path9.join(projectRoot, ".majlis", "config.json");
-  if (!fs9.existsSync(configPath)) {
-    return {
-      project: { name: "", description: "", objective: "" },
-      cycle: {
-        compression_interval: 5,
-        circuit_breaker_threshold: 3,
-        require_doubt_before_verify: true,
-        require_challenge_before_verify: false,
-        auto_baseline_on_new_experiment: true
-      }
-    };
-  }
-  return JSON.parse(fs9.readFileSync(configPath, "utf-8"));
-}
-var fs9, path9, import_node_child_process4;
+var fs8, path8, import_node_child_process4;
 var init_cycle = __esm({
   "src/commands/cycle.ts"() {
     "use strict";
-    fs9 = __toESM(require("fs"));
-    path9 = __toESM(require("path"));
+    fs8 = __toESM(require("fs"));
+    path8 = __toESM(require("path"));
     import_node_child_process4 = require("child_process");
     init_connection();
     init_queries();
@@ -3478,6 +3510,7 @@ var init_cycle = __esm({
     init_types();
     init_spawn();
     init_resolve();
+    init_config();
     init_metrics();
     init_format();
   }
@@ -3496,10 +3529,10 @@ async function classify(args) {
   if (!domain) {
     throw new Error('Usage: majlis classify "domain description"');
   }
-  const synthesisPath = path10.join(root, "docs", "synthesis", "current.md");
-  const synthesis = fs10.existsSync(synthesisPath) ? fs10.readFileSync(synthesisPath, "utf-8") : "";
-  const deadEndsPath = path10.join(root, "docs", "synthesis", "dead-ends.md");
-  const deadEnds = fs10.existsSync(deadEndsPath) ? fs10.readFileSync(deadEndsPath, "utf-8") : "";
+  const synthesisPath = path9.join(root, "docs", "synthesis", "current.md");
+  const synthesis = fs9.existsSync(synthesisPath) ? fs9.readFileSync(synthesisPath, "utf-8") : "";
+  const deadEndsPath = path9.join(root, "docs", "synthesis", "dead-ends.md");
+  const deadEnds = fs9.existsSync(deadEndsPath) ? fs9.readFileSync(deadEndsPath, "utf-8") : "";
   info(`Classifying problem domain: ${domain}`);
   const result = await spawnAgent("builder", {
     synthesis,
@@ -3517,22 +3550,22 @@ Write the classification to docs/classification/ following the template.`
 async function reframe(args) {
   const root = findProjectRoot();
   if (!root) throw new Error("Not in a Majlis project. Run `majlis init` first.");
-  const classificationDir = path10.join(root, "docs", "classification");
+  const classificationDir = path9.join(root, "docs", "classification");
   let classificationContent = "";
-  if (fs10.existsSync(classificationDir)) {
-    const files = fs10.readdirSync(classificationDir).filter((f) => f.endsWith(".md") && !f.startsWith("_"));
+  if (fs9.existsSync(classificationDir)) {
+    const files = fs9.readdirSync(classificationDir).filter((f) => f.endsWith(".md") && !f.startsWith("_"));
     for (const f of files) {
-      classificationContent += fs10.readFileSync(path10.join(classificationDir, f), "utf-8") + "\n\n";
+      classificationContent += fs9.readFileSync(path9.join(classificationDir, f), "utf-8") + "\n\n";
     }
   }
-  const synthesisPath = path10.join(root, "docs", "synthesis", "current.md");
-  const synthesis = fs10.existsSync(synthesisPath) ? fs10.readFileSync(synthesisPath, "utf-8") : "";
-  const deadEndsPath = path10.join(root, "docs", "synthesis", "dead-ends.md");
-  const deadEnds = fs10.existsSync(deadEndsPath) ? fs10.readFileSync(deadEndsPath, "utf-8") : "";
-  const configPath = path10.join(root, ".majlis", "config.json");
+  const synthesisPath = path9.join(root, "docs", "synthesis", "current.md");
+  const synthesis = fs9.existsSync(synthesisPath) ? fs9.readFileSync(synthesisPath, "utf-8") : "";
+  const deadEndsPath = path9.join(root, "docs", "synthesis", "dead-ends.md");
+  const deadEnds = fs9.existsSync(deadEndsPath) ? fs9.readFileSync(deadEndsPath, "utf-8") : "";
+  const configPath = path9.join(root, ".majlis", "config.json");
   let problemStatement = "";
-  if (fs10.existsSync(configPath)) {
-    const config = JSON.parse(fs10.readFileSync(configPath, "utf-8"));
+  if (fs9.existsSync(configPath)) {
+    const config = JSON.parse(fs9.readFileSync(configPath, "utf-8"));
     problemStatement = `${config.project?.description ?? ""}
 Objective: ${config.project?.objective ?? ""}`;
   }
@@ -3556,12 +3589,12 @@ Write to docs/reframes/.`
   }, root);
   success("Reframe complete. Check docs/reframes/ for the output.");
 }
-var fs10, path10;
+var fs9, path9;
 var init_classify = __esm({
   "src/commands/classify.ts"() {
     "use strict";
-    fs10 = __toESM(require("fs"));
-    path10 = __toESM(require("path"));
+    fs9 = __toESM(require("fs"));
+    path9 = __toESM(require("path"));
     init_connection();
     init_spawn();
     init_format();
@@ -3578,20 +3611,19 @@ async function audit(args) {
   if (!root) throw new Error("Not in a Majlis project. Run `majlis init` first.");
   const db = getDb(root);
   const objective = args.filter((a) => !a.startsWith("--")).join(" ");
-  const config = loadConfig6(root);
+  const config = loadConfig(root);
   const experiments = listAllExperiments(db);
   const deadEnds = listAllDeadEnds(db);
   const circuitBreakers = getAllCircuitBreakerStates(db, config.cycle.circuit_breaker_threshold);
-  const classificationDir = path11.join(root, "docs", "classification");
+  const classificationDir = path10.join(root, "docs", "classification");
   let classification = "";
-  if (fs11.existsSync(classificationDir)) {
-    const files = fs11.readdirSync(classificationDir).filter((f) => f.endsWith(".md") && !f.startsWith("_"));
+  if (fs10.existsSync(classificationDir)) {
+    const files = fs10.readdirSync(classificationDir).filter((f) => f.endsWith(".md") && !f.startsWith("_"));
     for (const f of files) {
-      classification += fs11.readFileSync(path11.join(classificationDir, f), "utf-8") + "\n\n";
+      classification += fs10.readFileSync(path10.join(classificationDir, f), "utf-8") + "\n\n";
     }
   }
-  const synthesisPath = path11.join(root, "docs", "synthesis", "current.md");
-  const synthesis = fs11.existsSync(synthesisPath) ? fs11.readFileSync(synthesisPath, "utf-8") : "";
+  const synthesis = readFileOrEmpty(path10.join(root, "docs", "synthesis", "current.md"));
   header("Maqasid Check \u2014 Purpose Audit");
   const trippedBreakers = circuitBreakers.filter((cb) => cb.tripped);
   if (trippedBreakers.length > 0) {
@@ -3635,22 +3667,16 @@ Output: either "classification confirmed \u2014 continue" or "re-classify from X
   }, root);
   success("Purpose audit complete. Review the output above.");
 }
-function loadConfig6(projectRoot) {
-  const configPath = path11.join(projectRoot, ".majlis", "config.json");
-  if (!fs11.existsSync(configPath)) {
-    return { project: { name: "", description: "", objective: "" }, cycle: { circuit_breaker_threshold: 3 } };
-  }
-  return JSON.parse(fs11.readFileSync(configPath, "utf-8"));
-}
-var fs11, path11;
+var fs10, path10;
 var init_audit = __esm({
   "src/commands/audit.ts"() {
     "use strict";
-    fs11 = __toESM(require("fs"));
-    path11 = __toESM(require("path"));
+    fs10 = __toESM(require("fs"));
+    path10 = __toESM(require("path"));
     init_connection();
     init_queries();
     init_spawn();
+    init_config();
     init_format();
   }
 });
@@ -3664,7 +3690,7 @@ async function next(args, isJson) {
   const root = findProjectRoot();
   if (!root) throw new Error("Not in a Majlis project. Run `majlis init` first.");
   const db = getDb(root);
-  const config = loadConfig7(root);
+  const config = loadConfig(root);
   const slugArg = args.filter((a) => !a.startsWith("--"))[0];
   let exp;
   if (slugArg) {
@@ -3696,7 +3722,17 @@ async function runNextStep(db, exp, config, root, isJson) {
   }
   if (exp.sub_type && checkCircuitBreaker(db, exp.sub_type, config.cycle.circuit_breaker_threshold)) {
     warn(`Circuit breaker: ${exp.sub_type} has ${config.cycle.circuit_breaker_threshold}+ failures.`);
-    warn("Triggering Maqasid Check (purpose audit).");
+    insertDeadEnd(
+      db,
+      exp.id,
+      exp.hypothesis ?? exp.slug,
+      `Circuit breaker tripped for ${exp.sub_type}`,
+      `Sub-type ${exp.sub_type} exceeded ${config.cycle.circuit_breaker_threshold} failures`,
+      exp.sub_type,
+      "procedural"
+    );
+    updateExperimentStatus(db, exp.id, "dead_end");
+    warn("Experiment dead-ended. Triggering Maqasid Check (purpose audit).");
     await audit([config.project?.objective ?? ""]);
     return;
   }
@@ -3736,6 +3772,16 @@ async function runAutoLoop(db, exp, config, root, isJson) {
     }
     if (exp.sub_type && checkCircuitBreaker(db, exp.sub_type, config.cycle.circuit_breaker_threshold)) {
       warn(`Circuit breaker tripped for ${exp.sub_type}. Stopping auto mode.`);
+      insertDeadEnd(
+        db,
+        exp.id,
+        exp.hypothesis ?? exp.slug,
+        `Circuit breaker tripped for ${exp.sub_type}`,
+        `Sub-type ${exp.sub_type} exceeded ${config.cycle.circuit_breaker_threshold} failures`,
+        exp.sub_type,
+        "procedural"
+      );
+      updateExperimentStatus(db, exp.id, "dead_end");
       await audit([config.project?.objective ?? ""]);
       break;
     }
@@ -3788,33 +3834,15 @@ async function executeStep(step, exp, root) {
       warn(`Don't know how to execute step: ${step}`);
   }
 }
-function loadConfig7(projectRoot) {
-  const configPath = path12.join(projectRoot, ".majlis", "config.json");
-  if (!fs12.existsSync(configPath)) {
-    return {
-      project: { name: "", description: "", objective: "" },
-      cycle: {
-        compression_interval: 5,
-        circuit_breaker_threshold: 3,
-        require_doubt_before_verify: true,
-        require_challenge_before_verify: false,
-        auto_baseline_on_new_experiment: true
-      }
-    };
-  }
-  return JSON.parse(fs12.readFileSync(configPath, "utf-8"));
-}
-var fs12, path12;
 var init_next = __esm({
   "src/commands/next.ts"() {
     "use strict";
-    fs12 = __toESM(require("fs"));
-    path12 = __toESM(require("path"));
     init_connection();
     init_queries();
     init_machine();
     init_types();
     init_queries();
+    init_config();
     init_cycle();
     init_audit();
     init_format();
@@ -3834,13 +3862,19 @@ async function run(args) {
     throw new Error('Usage: majlis run "goal description"');
   }
   const db = getDb(root);
-  const config = loadConfig8(root);
+  const config = loadConfig(root);
   const MAX_EXPERIMENTS = 10;
   const MAX_STEPS = 200;
   let experimentCount = 0;
   let stepCount = 0;
+  let consecutiveFailures = 0;
+  const usedHypotheses = /* @__PURE__ */ new Set();
   header(`Autonomous Mode \u2014 ${goal}`);
   while (stepCount < MAX_STEPS && experimentCount < MAX_EXPERIMENTS) {
+    if (isShutdownRequested()) {
+      warn("Shutdown requested. Stopping autonomous mode.");
+      break;
+    }
     stepCount++;
     let exp = getLatestExperiment(db);
     if (!exp) {
@@ -3860,6 +3894,11 @@ async function run(args) {
         success("Planner says the goal has been met. Stopping.");
         break;
       }
+      if (usedHypotheses.has(hypothesis)) {
+        warn(`Planner returned duplicate hypothesis: "${hypothesis.slice(0, 80)}". Stopping.`);
+        break;
+      }
+      usedHypotheses.add(hypothesis);
       info(`Next hypothesis: ${hypothesis}`);
       exp = createNewExperiment(db, root, hypothesis);
       success(`Created experiment #${exp.id}: ${exp.slug}`);
@@ -3875,7 +3914,9 @@ async function run(args) {
     info(`[Step ${stepCount}] ${exp.slug}: ${exp.status}`);
     try {
       await next([exp.slug], false);
+      consecutiveFailures = 0;
     } catch (err) {
+      consecutiveFailures++;
       const message = err instanceof Error ? err.message : String(err);
       warn(`Step failed for ${exp.slug}: ${message}`);
       try {
@@ -3889,7 +3930,13 @@ async function run(args) {
           "procedural"
         );
         updateExperimentStatus(db, exp.id, "dead_end");
-      } catch {
+      } catch (innerErr) {
+        const innerMsg = innerErr instanceof Error ? innerErr.message : String(innerErr);
+        warn(`Could not record dead-end: ${innerMsg}`);
+      }
+      if (consecutiveFailures >= 3) {
+        warn(`${consecutiveFailures} consecutive failures. Stopping autonomous mode.`);
+        break;
       }
     }
   }
@@ -3902,11 +3949,11 @@ async function run(args) {
   info("Run `majlis status` to see final state.");
 }
 async function deriveNextHypothesis(goal, root, db) {
-  const synthesis = readFileOrEmpty2(path13.join(root, "docs", "synthesis", "current.md"));
-  const fragility = readFileOrEmpty2(path13.join(root, "docs", "synthesis", "fragility.md"));
-  const deadEndsDoc = readFileOrEmpty2(path13.join(root, "docs", "synthesis", "dead-ends.md"));
+  const synthesis = truncateContext(readFileOrEmpty(path11.join(root, "docs", "synthesis", "current.md")), CONTEXT_LIMITS.synthesis);
+  const fragility = truncateContext(readFileOrEmpty(path11.join(root, "docs", "synthesis", "fragility.md")), CONTEXT_LIMITS.fragility);
+  const deadEndsDoc = truncateContext(readFileOrEmpty(path11.join(root, "docs", "synthesis", "dead-ends.md")), CONTEXT_LIMITS.deadEnds);
   const deadEnds = listAllDeadEnds(db);
-  const config = loadConfig8(root);
+  const config = loadConfig(root);
   let metricsOutput = "";
   if (config.metrics?.command) {
     try {
@@ -4016,49 +4063,26 @@ function createNewExperiment(db, root, hypothesis) {
   const exp = createExperiment(db, finalSlug, branch, hypothesis, null, null);
   updateExperimentStatus(db, exp.id, "reframed");
   exp.status = "reframed";
-  const docsDir = path13.join(root, "docs", "experiments");
-  const templatePath = path13.join(docsDir, "_TEMPLATE.md");
-  if (fs13.existsSync(templatePath)) {
-    const template = fs13.readFileSync(templatePath, "utf-8");
+  const docsDir = path11.join(root, "docs", "experiments");
+  const templatePath = path11.join(docsDir, "_TEMPLATE.md");
+  if (fs11.existsSync(templatePath)) {
+    const template = fs11.readFileSync(templatePath, "utf-8");
     const logContent = template.replace(/\{\{title\}\}/g, hypothesis).replace(/\{\{hypothesis\}\}/g, hypothesis).replace(/\{\{branch\}\}/g, branch).replace(/\{\{status\}\}/g, "classified").replace(/\{\{sub_type\}\}/g, "unclassified").replace(/\{\{date\}\}/g, (/* @__PURE__ */ new Date()).toISOString().split("T")[0]);
-    const logPath = path13.join(docsDir, `${paddedNum}-${finalSlug}.md`);
-    fs13.writeFileSync(logPath, logContent);
+    const logPath = path11.join(docsDir, `${paddedNum}-${finalSlug}.md`);
+    fs11.writeFileSync(logPath, logContent);
     info(`Created experiment log: docs/experiments/${paddedNum}-${finalSlug}.md`);
   }
   return exp;
 }
-function readFileOrEmpty2(filePath) {
-  try {
-    return fs13.readFileSync(filePath, "utf-8");
-  } catch {
-    return "";
-  }
-}
 function slugify2(text) {
   return text.toLowerCase().replace(/[^a-z0-9]+/g, "-").replace(/^-|-$/g, "").slice(0, 50);
 }
-function loadConfig8(projectRoot) {
-  const configPath = path13.join(projectRoot, ".majlis", "config.json");
-  if (!fs13.existsSync(configPath)) {
-    return {
-      project: { name: "", description: "", objective: "" },
-      cycle: {
-        compression_interval: 5,
-        circuit_breaker_threshold: 3,
-        require_doubt_before_verify: true,
-        require_challenge_before_verify: false,
-        auto_baseline_on_new_experiment: true
-      }
-    };
-  }
-  return JSON.parse(fs13.readFileSync(configPath, "utf-8"));
-}
-var fs13, path13, import_node_child_process5;
+var fs11, path11, import_node_child_process5;
 var init_run = __esm({
   "src/commands/run.ts"() {
     "use strict";
-    fs13 = __toESM(require("fs"));
-    path13 = __toESM(require("path"));
+    fs11 = __toESM(require("fs"));
+    path11 = __toESM(require("path"));
     import_node_child_process5 = require("child_process");
     init_connection();
     init_queries();
@@ -4066,17 +4090,27 @@ var init_run = __esm({
     init_next();
     init_cycle();
     init_spawn();
+    init_config();
+    init_shutdown();
     init_format();
   }
 });
 
 // src/cli.ts
-var fs14 = __toESM(require("fs"));
-var path14 = __toESM(require("path"));
+var fs12 = __toESM(require("fs"));
+var path12 = __toESM(require("path"));
 var VERSION = JSON.parse(
-  fs14.readFileSync(path14.join(__dirname, "..", "package.json"), "utf-8")
+  fs12.readFileSync(path12.join(__dirname, "..", "package.json"), "utf-8")
 ).version;
 async function main() {
+  let sigintCount = 0;
+  process.on("SIGINT", () => {
+    sigintCount++;
+    if (sigintCount >= 2) process.exit(130);
+    const { requestShutdown: requestShutdown2 } = (init_shutdown(), __toCommonJS(shutdown_exports));
+    requestShutdown2();
+    console.error("\n\x1B[33m[majlis] Interrupt received. Finishing current step...\x1B[0m");
+  });
   const args = process.argv.slice(2);
   if (args.includes("--version") || args.includes("-v")) {
     console.log(VERSION);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "majlis",
-  "version": "0.5.0",
+  "version": "0.5.1",
   "description": "Multi-agent workflow CLI for structured doubt, independent verification, and compressed knowledge",
   "bin": {
     "majlis": "./dist/cli.js"