majlis 0.8.0 → 0.8.2

package/dist/cli.js

@@ -531,7 +531,7 @@ Read source code at the specific locations relevant to your change. Do NOT
 read the entire codebase or run diagnostic Python scripts. If the synthesis
 says "lines 1921-22" then read those lines and their context. That's it.
 
-Do NOT read raw data files (fixtures/, ground truth JSON/STL). The synthesis
+Do NOT read raw data files (fixtures/, ground truth, test data). The synthesis
 has the relevant facts. Reading raw data wastes turns re-deriving what the
 doubt/challenge/verify cycle already established.
 
@@ -570,7 +570,7 @@ Do NOT iterate. Do NOT "try one more thing." The adversary, critic, and verifier
 exist to diagnose what went wrong. The cycle comes back to you with their insights.
 
 ## Off-limits (DO NOT modify)
-- \`fixtures/\` \u2014 test data, ground truth, STL files. Read-only.
+- \`fixtures/\` \u2014 test data, ground truth, reference outputs. Read-only.
 - \`scripts/benchmark.py\` \u2014 the measurement tool. Never change how you're measured.
 - \`.majlis/\` \u2014 framework config. Not your concern.
 
@@ -835,15 +835,20 @@ the database export.
 2. Read docs/ files for narrative context, but trust the database when they conflict.
 3. Cross-reference: same question in different language? contradicting decisions?
    workaround masking root cause?
-4. Update fragility map: thin coverage, weak components, untested judgment
+4. **VERIFY before claiming code is live.** Dead-ended experiments are REVERTED \u2014
+   their code changes do NOT exist on the current branch. Before writing that code
+   is "live", "shipping", or "regressing", use Grep/Glob to confirm it actually
+   exists in the current codebase. If the code only existed on experiment branches,
+   say so explicitly and mark the issue as RESOLVED, not CRITICAL.
+5. Update fragility map: thin coverage, weak components, untested judgment
    decisions, broken provenance.
-5. Update dead-end registry: compress rejected experiments into structural constraints.
+6. Update dead-end registry: compress rejected experiments into structural constraints.
    Mark each dead-end as [structural] or [procedural].
-6. REWRITE synthesis using the Write tool \u2014 shorter and denser. If it's growing,
+7. REWRITE synthesis using the Write tool \u2014 shorter and denser. If it's growing,
    you're accumulating, not compressing. You MUST use the Write tool to update
    docs/synthesis/current.md, docs/synthesis/fragility.md, and docs/synthesis/dead-ends.md.
    The framework does NOT auto-save your output for these files.
-7. Review classification: new sub-types? resolved sub-types?
+8. Review classification: new sub-types? resolved sub-types?
 
 You may ONLY write to these three files:
 - docs/synthesis/current.md
@@ -1148,9 +1153,9 @@ falsifiable structural constraint that blocks future experiments from repeating
 ## Constraint Quality
 
 Good constraints are specific and block future repetition:
-- "L6 config space is null \u2014 13-eval Bayesian sweep found all 12 params insensitive (ls=1.27), score ceiling 0.67"
-- "Relaxing curvature split threshold in recursive_curvature_split causes false splits on pure-surface thin strips (seg_pct 95->72.5)"
-- "Torus topology prevents genus-0 assumption for manifold extraction"
+- "Binary search fallback in sortedMerge() is O(n log n) worst-case when input contains >40% duplicates \u2014 measured via 13-run sweep, ceiling 0.67x baseline"
+- "Relaxing the pruning threshold in recursiveSplit() causes false positives on sparse inputs (accuracy 95->72.5%)"
+- "Cyclic dependency in the module graph prevents topological sort \u2014 requires at least one back-edge cut"
 
 Bad constraints are vague and useless:
 - "Didn't work"
@@ -2431,7 +2436,7 @@ ${taskPrompt}`;
 }
 async function spawnSynthesiser(context, projectRoot, opts) {
   const root = projectRoot ?? findProjectRoot() ?? process.cwd();
-  const maxTurns = opts?.maxTurns ?? 5;
+  const maxTurns = opts?.maxTurns ?? 15;
   const tools = opts?.tools ?? ["Read", "Glob", "Grep"];
   const contextJson = JSON.stringify(context);
   const taskPrompt = context.taskPrompt ?? "Synthesise the findings into actionable builder guidance.";
@@ -2535,7 +2540,7 @@ async function generateSlug(hypothesis, projectRoot) {
 
 "${hypothesis.slice(0, 500)}"
 
-Output ONLY the slug, nothing else. Examples: uv-containment-filter, skip-degenerate-faces, fix-edge-sewing-order`,
+Output ONLY the slug, nothing else. Examples: add-index-lookup, skip-empty-batches, fix-retry-backoff`,
       model: "haiku",
       tools: [],
       systemPrompt: "Output only a short hyphenated slug. No explanation, no quotes, no punctuation except hyphens.",
@@ -2610,13 +2615,13 @@ var init_spawn = __esm({
       adversary: 30,
       verifier: 50,
       compressor: 30,
-      reframer: 20,
-      scout: 20,
-      gatekeeper: 10,
+      reframer: 30,
+      scout: 30,
+      gatekeeper: 15,
       diagnostician: 60,
       cartographer: 40,
       toolsmith: 30,
-      postmortem: 20
+      postmortem: 30
     };
     CHECKPOINT_INTERVAL = {
       builder: 12,
@@ -5389,8 +5394,22 @@ async function doCompress(db, root) {
   const sizeBefore = fs11.existsSync(synthesisPath) ? fs11.statSync(synthesisPath).size : 0;
   const sessionCount = getSessionsSinceCompression(db);
   const dbExport = exportForCompressor(db);
+  let currentBranch = "main";
+  try {
+    currentBranch = (0, import_node_child_process5.execFileSync)("git", ["rev-parse", "--abbrev-ref", "HEAD"], {
+      cwd: root,
+      encoding: "utf-8"
+    }).trim();
+  } catch {
+  }
   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."
+    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 + `
+
+## Current Branch: ${currentBranch}
+Dead-ended experiments have been REVERTED \u2014 their code changes do NOT exist on this branch. Before claiming any code is "live" or "regressing", verify with Grep/Glob that it exists in the current codebase.
+
+## Your Task
+Read 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 = fs11.existsSync(synthesisPath) ? fs11.statSync(synthesisPath).size : 0;
   recordCompression(db, sessionCount, sizeBefore, sizeAfter);
@@ -6678,7 +6697,7 @@ DO NOT read source code or use tools. All context you need is above. Plan from t
    - It must be specific and actionable \u2014 name the function or mechanism to change
    - Do NOT reference specific line numbers \u2014 they shift between experiments
    - The hypothesis should be a single sentence describing what to do, e.g.:
-     "Activate addSeamEdges() in the runEdgeFirst pipeline for full-revolution cylinder faces"
+      "Replace the O(n^2) pairwise comparison in filterCandidates() with an interval-tree lookup"
 
 CRITICAL: Your LAST line of output MUST be EXACTLY this format (on its own line, nothing after it):
 <!-- majlis-json {"goal_met": false, "hypothesis": "your single-sentence hypothesis here"} -->

package/package.json

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