majlis 0.9.0 → 0.9.1

package/dist/cli.js

@@ -416,6 +416,31 @@ var init_migrations = __esm({
       ALTER TABLE experiments ADD COLUMN hypothesis_file TEXT;
       ALTER TABLE experiments ADD COLUMN provenance TEXT DEFAULT 'cycle'
         CHECK(provenance IN ('cycle', 'catch-up', 'absorb'));
+    `);
+      },
+      // Migration 009: v8 → v9 — Chain invalidation, objective history, audit proposals
+      (db) => {
+        db.exec(`
+      ALTER TABLE experiments ADD COLUMN chain_weakened_by TEXT;
+
+      CREATE TABLE objective_history (
+        id INTEGER PRIMARY KEY,
+        objective_text TEXT NOT NULL,
+        previous_text TEXT,
+        reason TEXT NOT NULL,
+        source TEXT NOT NULL DEFAULT 'manual' CHECK(source IN ('manual', 'audit')),
+        created_at DATETIME DEFAULT CURRENT_TIMESTAMP
+      );
+
+      CREATE TABLE audit_proposals (
+        id INTEGER PRIMARY KEY,
+        proposed_objective TEXT NOT NULL,
+        reason TEXT NOT NULL,
+        audit_output TEXT,
+        status TEXT NOT NULL DEFAULT 'pending' CHECK(status IN ('pending', 'accepted', 'rejected')),
+        created_at DATETIME DEFAULT CURRENT_TIMESTAMP,
+        resolved_at DATETIME
+      );
     `);
       }
     ];
@@ -1706,46 +1731,31 @@ See \`docs/workflow.md\` for the full cycle. See \`.claude/agents/\` for role de
 
 ### Session Discipline
 - One intent per session. Declare it with \`majlis session start "intent"\`.
-- Stray thoughts \u2192 Telegram (Scribe) or docs/inbox/.
+- Stray thoughts \u2192 \`docs/inbox/\`.
 - Every session ends with \`majlis session end\`.
 
 ### Before Building
 - Read \`docs/synthesis/current.md\` for compressed project state.
 - Run \`majlis dead-ends --sub-type <relevant>\` for structural constraints.
 - Run \`majlis decisions --level judgment\` for provisional decisions to challenge.
+- Run \`majlis brief\` for a context dump of the current experiment state.
 
-### Compression Trigger
-- Run \`majlis status\` \u2014 it will warn when compression is due.
-
-### Current State
-Run \`majlis status\` for live experiment state and cycle position.
-`;
-    function claudeMdContent(name, objective) {
-      return `# ${name}
-
-${objective ? `**Objective:** ${objective}
-` : ""}## Majlis Protocol
+### Capturing Observations
+- \`majlis note "text" --tag hypothesis\` \u2014 save observations to the DB (injected into agent contexts).
+- \`majlis journal "text"\` \u2014 timestamped breadcrumbs during manual hacking.
+- \`majlis catch-up "description" --diff HEAD~3..HEAD\` \u2014 create experiment retroactively from manual work.
 
-This project uses the Majlis Framework for structured multi-agent problem solving.
-See \`docs/workflow.md\` for the full cycle. See \`.claude/agents/\` for role definitions (source of truth in \`.majlis/agents/\`).
-
-### Evidence Hierarchy (tag every decision)
-1. **Proof** \u2014 mathematical proof. Overturn requires error in proof.
-2. **Test** \u2014 empirical test. Overturn requires showing test insufficiency.
-3a. **Strong Consensus** \u2014 convergence across independent approaches.
-3b. **Consensus** \u2014 agreement from same-model experiments.
-4. **Analogy** \u2014 justified by similarity to prior work.
-5. **Judgment** \u2014 independent reasoning without precedent.
+### Chain Integrity
+- If an experiment you depend on is dead-ended, your experiment is flagged as "weakened chain".
+- Run \`majlis status\` to see chain warnings. Revert or proceed at your own risk.
 
-### Session Discipline
-- One intent per session. Declare it with \`majlis session start "intent"\`.
-- Stray thoughts \u2192 Telegram (Scribe) or docs/inbox/.
-- Every session ends with \`majlis session end\`.
+### Verification Review
+- If \`require_human_verify\` is enabled, experiments pause at \`verified\` for human review.
+- Run \`majlis resolve\` to proceed or \`majlis resolve --reject\` to dead-end.
 
-### Before Building
-- Read \`docs/synthesis/current.md\` for compressed project state.
-- Run \`majlis dead-ends --sub-type <relevant>\` for structural constraints.
-- Run \`majlis decisions --level judgment\` for provisional decisions to challenge.
+### Purpose Audit
+- Circuit breaker trips (3+ failures on a sub-type) trigger a Maqasid Check.
+- If the audit proposes an objective rewrite, run \`majlis audit --accept\` or \`--reject\`.
 
 ### Compression Trigger
 - Run \`majlis status\` \u2014 it will warn when compression is due.
@@ -1753,6 +1763,11 @@ See \`docs/workflow.md\` for the full cycle. See \`.claude/agents/\` for role de
 ### Current State
 Run \`majlis status\` for live experiment state and cycle position.
 `;
+    function claudeMdContent(name, objective) {
+      return `# ${name}
+
+${objective ? `**Objective:** ${objective}
+` : ""}${CLAUDE_MD_SECTION2}`;
     }
     var DEFAULT_CONFIG3 = {
       project: {
@@ -2745,7 +2760,8 @@ var init_config = __esm({
         circuit_breaker_threshold: 3,
         require_doubt_before_verify: true,
         require_challenge_before_verify: false,
-        auto_baseline_on_new_experiment: true
+        auto_baseline_on_new_experiment: true,
+        require_human_verify: false
       },
       models: {}
     };
@@ -3682,7 +3698,7 @@ ${cmd.body}
     const existing = fs8.readFileSync(claudeMdPath, "utf-8");
     if (existing.includes("## Majlis Protocol")) {
       const replaced = existing.replace(
-        /## Majlis Protocol[\s\S]*?(?=\n## [^M]|\n## $|$)/,
+        /## Majlis Protocol[\s\S]*?(?=\n## (?!#)(?!Majlis Protocol)|$)/,
         import_shared.CLAUDE_MD_SECTION.trim()
       );
       if (replaced !== existing) {
@@ -3779,6 +3795,36 @@ function clearGateRejection(db, experimentId) {
     UPDATE experiments SET gate_rejection_reason = NULL, updated_at = CURRENT_TIMESTAMP WHERE id = ?
   `).run(experimentId);
 }
+function findDependents(db, slug) {
+  const dependents = [];
+  const visited = /* @__PURE__ */ new Set();
+  const queue = [slug];
+  while (queue.length > 0) {
+    const current = queue.shift();
+    if (visited.has(current)) continue;
+    visited.add(current);
+    const rows = db.prepare(
+      `SELECT * FROM experiments WHERE depends_on = ? AND status NOT IN ('merged', 'dead_end')`
+    ).all(current);
+    for (const row of rows) {
+      dependents.push(row);
+      queue.push(row.slug);
+    }
+  }
+  return dependents;
+}
+function setChainWeakened(db, experimentId, slug) {
+  db.prepare(`
+    UPDATE experiments SET chain_weakened_by = ?, updated_at = CURRENT_TIMESTAMP WHERE id = ?
+  `).run(slug, experimentId);
+}
+function cascadeChainInvalidation(db, slug) {
+  const dependents = findDependents(db, slug);
+  for (const dep of dependents) {
+    setChainWeakened(db, dep.id, slug);
+  }
+  return dependents.length;
+}
 function insertDecision(db, experimentId, description, evidenceLevel, justification) {
   const stmt = db.prepare(`
     INSERT INTO decisions (experiment_id, description, evidence_level, justification)
@@ -4057,6 +4103,28 @@ function storeHypothesisFile(db, experimentId, filePath) {
     UPDATE experiments SET hypothesis_file = ?, updated_at = CURRENT_TIMESTAMP WHERE id = ?
   `).run(filePath, experimentId);
 }
+function insertObjectiveHistory(db, objectiveText, previousText, reason, source) {
+  db.prepare(`
+    INSERT INTO objective_history (objective_text, previous_text, reason, source)
+    VALUES (?, ?, ?, ?)
+  `).run(objectiveText, previousText, reason, source);
+}
+function insertAuditProposal(db, proposedObjective, reason, auditOutput) {
+  db.prepare(`
+    INSERT INTO audit_proposals (proposed_objective, reason, audit_output)
+    VALUES (?, ?, ?)
+  `).run(proposedObjective, reason, auditOutput);
+}
+function getPendingAuditProposal(db) {
+  return db.prepare(
+    `SELECT * FROM audit_proposals WHERE status = 'pending' ORDER BY created_at DESC LIMIT 1`
+  ).get();
+}
+function resolveAuditProposal(db, id, status2) {
+  db.prepare(`
+    UPDATE audit_proposals SET status = ?, resolved_at = CURRENT_TIMESTAMP WHERE id = ?
+  `).run(status2, id);
+}
 function exportForCompressor(db, maxLength = 5e4) {
   const experiments = listAllExperiments(db);
   const sections = ["# Structured Data Export (from SQLite)\n"];
@@ -4390,6 +4458,32 @@ async function status(isJson) {
     ]);
     console.log(table(["Sub-Type", "Failures", "Status"], cbRows));
   }
+  const weakenedExps = experiments.filter((e) => e.chain_weakened_by);
+  if (weakenedExps.length > 0) {
+    console.log();
+    for (const e of weakenedExps) {
+      warn(`${e.slug} depends on ${e.chain_weakened_by} (dead-ended)`);
+    }
+    console.log(`  Use \`majlis revert <slug>\` to abandon, or proceed at your own risk.`);
+  }
+  if (config.cycle.require_human_verify) {
+    const verifiedExps = experiments.filter((e) => e.status === "verified");
+    for (const e of verifiedExps) {
+      const grades = getVerificationsByExperiment(db, e.id);
+      console.log(`
+  ${bold(e.slug)}: awaiting human review (verified)`);
+      for (const g of grades) {
+        console.log(`    ${g.component}: ${gradeColor(g.grade)}${g.notes ? ` \u2014 ${g.notes}` : ""}`);
+      }
+      console.log(`  Run \`majlis resolve\` or \`majlis resolve --reject\``);
+    }
+  }
+  const pendingProposal = getPendingAuditProposal(db);
+  if (pendingProposal) {
+    console.log();
+    warn(`Pending objective rewrite: "${pendingProposal.proposed_objective}"`);
+    console.log(`  Run \`majlis audit --accept\` or \`majlis audit --reject\``);
+  }
   if (judgmentDecisions.length > 0) {
     console.log(`
   ${yellow(`${judgmentDecisions.length} judgment-level decisions`)} (provisional targets for doubt)`);
@@ -4479,7 +4573,8 @@ var init_types2 = __esm({
       revert: (current, target) => target === "dead_end" /* DEAD_END */ && !isTerminalStatus(current),
       circuit_breaker: (current, target) => target === "dead_end" /* DEAD_END */ && !isTerminalStatus(current),
       error_recovery: (current, target) => target === "dead_end" /* DEAD_END */ && !isTerminalStatus(current),
-      bootstrap: (current, target) => current === "classified" /* CLASSIFIED */ && target === "reframed" /* REFRAMED */ || current === "classified" /* CLASSIFIED */ && target === "built" /* BUILT */
+      bootstrap: (current, target) => current === "classified" /* CLASSIFIED */ && target === "reframed" /* REFRAMED */ || current === "classified" /* CLASSIFIED */ && target === "built" /* BUILT */,
+      objective_reset: (current, target) => target === "classified" /* CLASSIFIED */ && !isTerminalStatus(current)
     };
   }
 });
@@ -4818,6 +4913,8 @@ async function resolve2(db, exp, projectRoot) {
           incrementSubTypeFailure(db, exp.sub_type, exp.id, "rejected");
         }
       })();
+      const weakened = cascadeChainInvalidation(db, exp.slug);
+      if (weakened > 0) warn(`Weakened chain: ${weakened} downstream experiment(s) depend on ${exp.slug}.`);
       info(`Experiment ${exp.slug} DEAD-ENDED (rejected). Constraint recorded.`);
       break;
     }
@@ -4954,6 +5051,8 @@ async function resolveDbOnly(db, exp, projectRoot) {
           incrementSubTypeFailure(db, exp.sub_type, exp.id, "rejected");
         }
       })();
+      const weakened = cascadeChainInvalidation(db, exp.slug);
+      if (weakened > 0) warn(`Weakened chain: ${weakened} downstream experiment(s) depend on ${exp.slug}.`);
       info(`Experiment ${exp.slug} DEAD-ENDED (rejected). Constraint recorded.`);
       break;
     }
@@ -5079,6 +5178,31 @@ async function resolveCmd(args) {
   if (!root) throw new Error("Not in a Majlis project. Run `majlis init` first.");
   const db = getDb(root);
   const exp = resolveExperimentArg(db, args);
+  if (args.includes("--reject")) {
+    transition(exp.status, "resolved" /* RESOLVED */);
+    const reason = getFlagValue(args, "--reason") ?? "Human rejected after verification review";
+    db.transaction(() => {
+      insertDeadEnd(
+        db,
+        exp.id,
+        exp.hypothesis ?? exp.slug,
+        reason,
+        `Human rejection: ${reason}`,
+        exp.sub_type,
+        "procedural"
+      );
+      updateExperimentStatus(db, exp.id, "resolved");
+      updateExperimentStatus(db, exp.id, "dead_end");
+      if (exp.sub_type) {
+        incrementSubTypeFailure(db, exp.sub_type, exp.id, "rejected");
+      }
+    })();
+    handleDeadEndGit(exp, root);
+    const weakened = cascadeChainInvalidation(db, exp.slug);
+    if (weakened > 0) warn(`Weakened chain: ${weakened} downstream experiment(s) depend on ${exp.slug}.`);
+    info(`Experiment ${exp.slug} dead-ended by human rejection: ${reason}`);
+    return;
+  }
   transition(exp.status, "resolved" /* RESOLVED */);
   await resolve2(db, exp, root);
 }
@@ -5252,6 +5376,8 @@ ${hypoContent.slice(0, 8e3)}`;
     );
     adminTransitionAndPersist(db, exp.id, "building", "dead_end" /* DEAD_END */, "revert");
     handleDeadEndGit(exp, root);
+    const weakened = cascadeChainInvalidation(db, exp.slug);
+    if (weakened > 0) warn(`Weakened chain: ${weakened} downstream experiment(s) depend on ${exp.slug}.`);
     info(`Builder abandoned ${exp.slug}: ${result.structured.abandon.reason}`);
     return;
   }
@@ -5322,6 +5448,8 @@ Error: ${errMsg.slice(0, 500)}`
       );
       adminTransitionAndPersist(db, exp.id, "building", "dead_end" /* DEAD_END */, "revert");
       handleDeadEndGit(exp, root);
+      const weakenedTrunc = cascadeChainInvalidation(db, exp.slug);
+      if (weakenedTrunc > 0) warn(`Weakened chain: ${weakenedTrunc} downstream experiment(s) depend on ${exp.slug}.`);
       info(`Builder abandoned ${exp.slug} (recovered from truncation): ${recovery.data.abandon.reason}`);
     } else {
       const tail = result.output.slice(-2e3).trim();
@@ -6180,6 +6308,8 @@ ${gitDiff.slice(0, 15e3)}
   if (exp.gate_rejection_reason) clearGateRejection(db, exp.id);
   adminTransitionAndPersist(db, exp.id, exp.status, "dead_end" /* DEAD_END */, "revert");
   handleDeadEndGit(exp, root);
+  const weakened = cascadeChainInvalidation(db, exp.slug);
+  if (weakened > 0) warn(`Weakened chain: ${weakened} downstream experiment(s) depend on ${exp.slug}.`);
   info(`Experiment ${exp.slug} reverted to dead-end.`);
   info(`Constraint: ${structuralConstraint.slice(0, 120)}${structuralConstraint.length > 120 ? "..." : ""}`);
 }
@@ -6550,6 +6680,50 @@ async function audit(args) {
   const root = findProjectRoot();
   if (!root) throw new Error("Not in a Majlis project. Run `majlis init` first.");
   const db = getDb(root);
+  if (args.includes("--accept")) {
+    const proposal = getPendingAuditProposal(db);
+    if (!proposal) {
+      warn("No pending audit proposal to accept.");
+      return;
+    }
+    const config2 = loadConfig(root);
+    const previousObjective = config2.project?.objective ?? "";
+    const configPath = path15.join(root, ".majlis", "config.json");
+    const rawConfig = JSON.parse(fs15.readFileSync(configPath, "utf-8"));
+    rawConfig.project = rawConfig.project || {};
+    rawConfig.project.objective = proposal.proposed_objective;
+    fs15.writeFileSync(configPath, JSON.stringify(rawConfig, null, 2) + "\n");
+    resetConfigCache();
+    insertObjectiveHistory(db, proposal.proposed_objective, previousObjective, proposal.reason, "audit");
+    const activeExps = listActiveExperiments(db);
+    for (const exp of activeExps) {
+      insertNote(
+        db,
+        null,
+        exp.id,
+        "objective-change",
+        `Objective changed: "${previousObjective}" \u2192 "${proposal.proposed_objective}"`
+      );
+      adminTransitionAndPersist(db, exp.id, exp.status, "classified" /* CLASSIFIED */, "objective_reset");
+    }
+    resolveAuditProposal(db, proposal.id, "accepted");
+    autoCommit(root, `audit: accept objective rewrite`);
+    success(`Objective updated: "${proposal.proposed_objective}"`);
+    if (activeExps.length > 0) {
+      info(`${activeExps.length} active experiment(s) reset to classified.`);
+    }
+    return;
+  }
+  if (args.includes("--reject")) {
+    const proposal = getPendingAuditProposal(db);
+    if (!proposal) {
+      warn("No pending audit proposal to reject.");
+      return;
+    }
+    resolveAuditProposal(db, proposal.id, "rejected");
+    info("Audit proposal rejected.");
+    return;
+  }
   const objective = args.filter((a) => !a.startsWith("--")).join(" ");
   const config = loadConfig(root);
   const experiments = listAllExperiments(db);
@@ -6599,13 +6773,33 @@ Answer these questions:
 2. Is the current classification serving that objective? Or has the taxonomy become self-referential?
 3. What would we do differently if we started from scratch with what we now know?
 4. Is there a simpler formulation? If the classification has grown complex, something may be wrong.
+5. If the classification is fundamentally misaligned, propose a rewrite.
+   Include: <!-- majlis-json {"objective_rewrite": {"proposed_objective": "...", "reason": "..."}} -->
+   Only include objective_rewrite if genuinely needed.
 
 Output: either "classification confirmed \u2014 continue" or "re-classify from X" with a specific proposal.`;
   const result = await spawnAgent("builder", {
     synthesis,
     taskPrompt: auditPrompt
   }, root);
-  success("Purpose audit complete. Review the output above.");
+  const structured = result.structured;
+  let rewrite = structured?.objective_rewrite;
+  if (!rewrite && result.output) {
+    const extracted = await extractStructuredData("builder", result.output);
+    rewrite = extracted.data?.objective_rewrite;
+  }
+  if (rewrite) {
+    insertAuditProposal(db, rewrite.proposed_objective, rewrite.reason, result.output.slice(0, 5e3));
+    console.log();
+    header("Objective Rewrite Proposed");
+    console.log(`  Current:  ${config.project?.objective ?? "(none)"}`);
+    console.log(`  Proposed: ${rewrite.proposed_objective}`);
+    console.log(`  Reason:   ${rewrite.reason}`);
+    console.log();
+    info("Run `majlis audit --accept` or `majlis audit --reject`.");
+  } else {
+    success("Purpose audit complete. Review the output above.");
+  }
 }
 var fs15, path15;
 var init_audit = __esm({
@@ -6615,8 +6809,12 @@ var init_audit = __esm({
     path15 = __toESM(require("path"));
     init_connection();
     init_queries();
+    init_machine();
+    init_types2();
     init_spawn();
+    init_parse();
     init_config();
+    init_git();
     init_format();
   }
 });
@@ -6674,6 +6872,8 @@ async function runNextStep(db, exp, config, root, isJson, overrideGate = false)
     );
     adminTransitionAndPersist(db, exp.id, exp.status, "dead_end" /* DEAD_END */, "circuit_breaker");
     handleDeadEndGit(exp, root);
+    const weakened = cascadeChainInvalidation(db, exp.slug);
+    if (weakened > 0) warn(`Weakened chain: ${weakened} downstream experiment(s) depend on ${exp.slug}.`);
     warn("Experiment dead-ended. Triggering Maqasid Check (purpose audit).");
     await audit([config.project?.objective ?? ""]);
     return;
@@ -6688,6 +6888,9 @@ async function runNextStep(db, exp, config, root, isJson, overrideGate = false)
       return;
     }
   }
+  if (exp.chain_weakened_by) {
+    warn(`Experiment ${exp.slug} depends on ${exp.chain_weakened_by} (dead-ended). Chain integrity weakened.`);
+  }
   const sessionsSinceCompression = getSessionsSinceCompression(db);
   if (sessionsSinceCompression >= config.cycle.compression_interval) {
     warn(
@@ -6706,6 +6909,11 @@ async function runNextStep(db, exp, config, root, isJson, overrideGate = false)
     }));
     return;
   }
+  if (nextStep === "resolved" /* RESOLVED */ && config.cycle.require_human_verify) {
+    info(`${exp.slug} verified. Human review required.`);
+    info("Run `majlis resolve` to proceed or `majlis resolve --reject` to dead-end.");
+    return;
+  }
   info(`${exp.slug}: ${exp.status} \u2192 ${nextStep}`);
   await executeStep(nextStep, exp, root);
 }
@@ -6723,6 +6931,21 @@ async function runAutoLoop(db, exp, config, root, isJson) {
       info("Stopping auto mode. Use `majlis next --override-gate` or `majlis revert`.");
       break;
     }
+    if (exp.chain_weakened_by) {
+      warn(`Experiment ${exp.slug} has weakened chain (depends on dead-ended ${exp.chain_weakened_by}). Auto-dead-ending.`);
+      insertDeadEnd(
+        db,
+        exp.id,
+        exp.hypothesis ?? exp.slug,
+        `Upstream dependency ${exp.chain_weakened_by} is dead-ended`,
+        `Chain invalidated: depends on ${exp.chain_weakened_by}`,
+        exp.sub_type,
+        "procedural"
+      );
+      adminTransitionAndPersist(db, exp.id, exp.status, "dead_end" /* DEAD_END */, "circuit_breaker");
+      handleDeadEndGit(exp, root);
+      continue;
+    }
     if (isTerminal(exp.status)) {
       success(`Experiment ${exp.slug} reached terminal state: ${exp.status}`);
       break;
@@ -6740,6 +6963,8 @@ async function runAutoLoop(db, exp, config, root, isJson) {
       );
       adminTransitionAndPersist(db, exp.id, exp.status, "dead_end" /* DEAD_END */, "circuit_breaker");
       handleDeadEndGit(exp, root);
+      const weakened = cascadeChainInvalidation(db, exp.slug);
+      if (weakened > 0) warn(`Weakened chain: ${weakened} downstream experiment(s) depend on ${exp.slug}.`);
       await audit([config.project?.objective ?? ""]);
       break;
     }
@@ -6748,6 +6973,10 @@ async function runAutoLoop(db, exp, config, root, isJson) {
     const expHasDoubts = hasDoubts(db, exp.id);
     const expHasChallenges = hasChallenges(db, exp.id);
     const nextStep = determineNextStep(exp, valid, expHasDoubts, expHasChallenges);
+    if (nextStep === "resolved" /* RESOLVED */ && config.cycle.require_human_verify) {
+      info("Pausing at verified \u2014 human review required.");
+      break;
+    }
     info(`[${iteration}/${MAX_ITERATIONS}] ${exp.slug}: ${exp.status} \u2192 ${nextStep}`);
     await executeStep(nextStep, exp, root);
   }
@@ -6908,6 +7137,8 @@ async function run(args) {
           "revert"
         );
         handleDeadEndGit(afterStep, root);
+        const w1 = cascadeChainInvalidation(db, afterStep.slug);
+        if (w1 > 0) warn(`Weakened chain: ${w1} downstream experiment(s) depend on ${afterStep.slug}.`);
         continue;
       }
     } catch (err) {
@@ -6926,6 +7157,8 @@ async function run(args) {
         );
         adminTransitionAndPersist(db, exp.id, exp.status, "dead_end" /* DEAD_END */, "error_recovery");
         handleDeadEndGit(exp, root);
+        const w2 = cascadeChainInvalidation(db, exp.slug);
+        if (w2 > 0) warn(`Weakened chain: ${w2} downstream experiment(s) depend on ${exp.slug}.`);
       } catch (innerErr) {
         const innerMsg = innerErr instanceof Error ? innerErr.message : String(innerErr);
         warn(`Could not record dead-end: ${innerMsg}`);
@@ -8964,6 +9197,8 @@ Cycle:
   verify [experiment]        Spawn verifier agent
   gate [experiment]          Spawn gatekeeper agent
   resolve [experiment]       Route based on verification grades
+    --reject                 Force dead-end (human override)
+    --reason "text"          Reason for rejection (with --reject)
   compress                   Spawn compressor agent
 
 Classification:
@@ -8980,6 +9215,8 @@ Queries:
 
 Audit:
   audit "objective"          Maqasid check \u2014 is the frame right?
+    --accept                 Accept pending objective rewrite
+    --reject                 Reject pending objective rewrite
   diagnose ["focus area"]    Deep diagnosis \u2014 root causes, patterns, gaps
 
 Sessions:

package/package.json

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