@smartmemory/compose 0.3.5-beta → 0.3.6-beta

package/lib/lifecycle-modes.js

@@ -136,6 +136,48 @@ export const LIFECYCLE_MODES = {
       defaultTemplate: 'plan',
     },
   },
+
+  // -------------------------------------------------------------------------
+  // JUDGMENT — the joint state machine (COMP-JUDGMENT-WRITER design Decision 2).
+  // Consumed ONLY by lib/judgment-writer.js through guardedTransition(mode:
+  // 'judgment'), which makes the Stratum guard the single lifecycle authority
+  // for joint transitions where capabilities.guard is on. The per-edge required
+  // ARTIFACTS (resolution packages, dissolution, reopen, re-dispose) are
+  // enforced by lib/judgment-write-guard.js before the guard is called —
+  // edgeEvidence stays empty because the evidence lives inside records, not in
+  // per-feature files. Never run by any CLI runner; the runner block is inert.
+  //
+  // KNOWN SUPERSET: buildPhaseGraph() unconditionally adds `resolved →
+  // complete` and `<non-terminal> → killed` edges to every registered graph
+  // (an adapter invariant this feature may not touch). Those five extra edges
+  // are UNREACHABLE through the judgment writer — the write-guard's edge→
+  // artifact table refuses them before any guard call — and the parity test
+  // pins the superset to exactly that auto-added set. Closing them at the
+  // guard itself is epic S4–S6 enforcement territory.
+  // -------------------------------------------------------------------------
+  judgment: {
+    transitions: {
+      open: ['under_test', 'superseded', 'dissolved'],
+      under_test: ['resolved', 'inconclusive', 'open', 'superseded', 'dissolved'],
+      resolved: ['open'],
+      inconclusive: ['under_test', 'open'],
+    },
+    skippable: [],
+    terminal: ['superseded', 'dissolved', 'complete', 'killed'],
+    genesis: 'open',
+    completablePhase: 'resolved',
+    phaseArtifacts: [],
+    edgeEvidence: {},
+    phaseOrder: ['open', 'under_test', 'resolved', 'inconclusive'],
+    runner: {
+      artifactRoot: 'docs/judgment/records/joints',
+      runsTriage: false,
+      tracksFeatureJson: false,
+      descriptionLoader: 'plan',
+      planInputs: 'plan',
+      defaultTemplate: 'plan',
+    },
+  },
 };
 
 /**

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@smartmemory/compose",
-  "version": "0.3.5-beta",
+  "version": "0.3.6-beta",
   "description": "Structured AI dev pipeline — goal-to-product orchestration with gates, iteration loops, and feature lifecycle management.",
   "author": "SmartMemory",
   "license": "MIT",

package/server/compose-mcp-tools.js

@@ -806,6 +806,40 @@ export function toolGetWorkspace() {
 
 export function _getBinding() { return _binding?.id ?? null; }
 
+// ---------------------------------------------------------------------------
+// Judgment writer — COMP-JUDGMENT-WRITER (S06)
+// ---------------------------------------------------------------------------
+
+export async function toolJudgmentPositionCreate(args) {
+  const { judgmentPositionCreate } = await import('../lib/judgment-writer.js');
+  return judgmentPositionCreate(getTargetRoot(), args);
+}
+
+export async function toolJudgmentPositionAmend(args) {
+  const { judgmentPositionAmend } = await import('../lib/judgment-writer.js');
+  return judgmentPositionAmend(getTargetRoot(), args);
+}
+
+export async function toolJudgmentJointAdd(args) {
+  const { judgmentJointAdd } = await import('../lib/judgment-writer.js');
+  return judgmentJointAdd(getTargetRoot(), args);
+}
+
+export async function toolJudgmentTransition(args) {
+  const { judgmentTransition } = await import('../lib/judgment-writer.js');
+  return judgmentTransition(getTargetRoot(), args);
+}
+
+export async function toolJudgmentLedgerAppend(args) {
+  const { judgmentLedgerAppend } = await import('../lib/judgment-writer.js');
+  return judgmentLedgerAppend(getTargetRoot(), args);
+}
+
+export async function toolGetJudgmentState() {
+  const { getJudgmentState } = await import('../lib/judgment-writer.js');
+  return getJudgmentState(getTargetRoot());
+}
+
 // ---------------------------------------------------------------------------
 // COMP-MCP-ENFORCE-1 — phase-scoped MCP tool gate (profile × phase)
 //

package/server/compose-mcp.js

@@ -68,6 +68,12 @@ import {
   toolGetWorkspace,
   toolWriteCheckpoint,
   toolComposeResume,
+  toolJudgmentPositionCreate,
+  toolJudgmentPositionAmend,
+  toolJudgmentJointAdd,
+  toolJudgmentTransition,
+  toolJudgmentLedgerAppend,
+  toolGetJudgmentState,
   _getBinding,
   assertToolPhaseAllowed,
   _getSessionProfile,
@@ -681,6 +687,119 @@ const TOOLS = [
       },
     },
   },
+
+  // -------------------------------------------------------------------------
+  // Judgment writer — COMP-JUDGMENT-WRITER (the only legitimate write path to
+  // docs/judgment canon; records canonical, markdown generated). Terse
+  // schemas by design (token budget); the writer self-validates against
+  // contracts/judgment-record.schema.json — inputSchema is advisory.
+  // -------------------------------------------------------------------------
+  {
+    name: 'judgment_position_create',
+    description: 'Create a judgment position revision (new chain, update, supersession via supersedes, or tombstone via retracted). ASSERT grounding requires an elicitation block. Provenance is writer-stamped.',
+    inputSchema: {
+      type: 'object',
+      required: ['slug', 'claims', 'conviction'],
+      properties: {
+        slug: { type: 'string' },
+        claims: { type: 'array', description: 'Claims: {id, text, grounding EXT|INT|ASSERT|DERIVED|AGENT, supports[], elicitation?}.' },
+        conviction: { type: 'object', description: '{level high|medium|low, source stated|inferred}' },
+        rejected_alternatives: { type: 'array', description: '{what, why}[]' },
+        supersedes: { type: 'string', description: '<slug>#r<N> being superseded.' },
+        retracted: { type: 'boolean', description: 'true → tombstone revision.' },
+        idempotency_key: { type: 'string' },
+      },
+    },
+  },
+  {
+    name: 'judgment_position_amend',
+    description: 'Scoped amendment (P6): new revision changing ONE claim\'s grounding and/or the conviction block. Anything else is supersession via judgment_position_create.',
+    inputSchema: {
+      type: 'object',
+      required: ['slug'],
+      properties: {
+        slug: { type: 'string' },
+        claim_id: { type: 'string' },
+        grounding: { type: 'string', description: 'New grounding for claim_id.' },
+        elicitation: { type: 'object', description: 'Required if new grounding is ASSERT.' },
+        conviction: { type: 'object' },
+        idempotency_key: { type: 'string' },
+      },
+    },
+  },
+  {
+    name: 'judgment_joint_add',
+    description: 'Add a judgment joint (born open). Both branches and a coarse cost bucket are required; EXT/STRADDLE method packages may be attached now or at dispose time.',
+    inputSchema: {
+      type: 'object',
+      required: ['slug', 'question', 'branch_true', 'branch_false', 'resolve_by', 'cost', 'rank'],
+      properties: {
+        slug: { type: 'string' },
+        question: { type: 'string' },
+        branch_true: { type: 'string' },
+        branch_false: { type: 'string' },
+        resolve_by: { type: 'string', description: 'EXT|INT|CONSTRUCT|ASSERT|STRADDLE' },
+        cost: { type: 'string', description: 'hours|days|weeks|months' },
+        rank: { type: 'string', description: 'high|medium' },
+        ext: { type: 'object', description: 'EXT package: {sharpened_question, bar, falsifier} or {judgment_dispatch: true, reason}.' },
+        straddle: { type: 'object', description: '{discriminating_signal, kill_criteria}' },
+        flags: { type: 'array' },
+        idempotency_key: { type: 'string' },
+      },
+    },
+  },
+  {
+    name: 'judgment_transition',
+    description: 'Joint state machine (edge→artifact table enforced; Stratum-guarded where capabilities.guard). Provide the target state plus its required artifact (resolution/dissolution/reopen/redispose), and/or a rank change (atomic rank ledger event).',
+    inputSchema: {
+      type: 'object',
+      required: ['slug'],
+      properties: {
+        slug: { type: 'string' },
+        to: { type: 'string', description: 'open|under_test|resolved|inconclusive|superseded|dissolved' },
+        resolution: { type: 'object', description: '{outcome resolved|inconclusive|failed_to_run|superseded, …outcome-specific fields, ext_result?, elicitation?}' },
+        dissolution: { type: 'object', description: '{decomposed_into[]}' },
+        reopen: { type: 'object', description: '{shaken_evidence_ref} (P6)' },
+        redispose: { type: 'object', description: '{new_resolve_by, ext?, straddle?} (retry inconclusive with a different method)' },
+        ext: { type: 'object', description: 'EXT package attached at dispose time.' },
+        straddle: { type: 'object' },
+        rank: { type: 'object', description: '{to: high|medium}' },
+        idempotency_key: { type: 'string' },
+      },
+    },
+  },
+  {
+    name: 'judgment_ledger_append',
+    description: 'Append a judgment ledger event (kind-specific required fields enforced: commit-decide needs trigger+open_joints+prediction; postmortem needs recall_verdict+attribution and grades prediction_ref; override needs reason). Commit/CONSTRUCT events spawn prediction records.',
+    inputSchema: {
+      type: 'object',
+      required: ['kind', 'title'],
+      properties: {
+        kind: { type: 'string', description: 'decide|kill|override|escalate|calibrate|postmortem|rank|note|correct|open' },
+        title: { type: 'string' },
+        body: { type: 'string' },
+        refs: { type: 'array' },
+        rejected: { type: 'array' },
+        conviction: { type: 'object' },
+        trigger: { type: 'string', description: 'On decide: earned|forced|exhausted (marks a commit-moment decide).' },
+        open_joints: { type: 'array' },
+        prediction: { type: 'object', description: '{text, outcome_criteria}' },
+        disposition: { type: 'string', description: 'Method disposed with; CONSTRUCT requires prediction.' },
+        recall_verdict: { type: 'string' },
+        attribution: { type: 'string' },
+        prediction_ref: { type: 'string' },
+        prediction_grade: { type: 'string', description: 'right|right-wrong-reason|wrong' },
+        reason: { type: 'string' },
+        anchor: { type: 'string', description: 'On note: projection anchor (register-header, joint:<slug>, …).' },
+        idempotency_key: { type: 'string' },
+      },
+    },
+  },
+  {
+    name: 'get_judgment_state',
+    description: 'Judgment canon snapshot: positions (derived status), joints, under-test, open predictions, recent ledger. Replays pending transition intents first.',
+    inputSchema: { type: 'object', properties: {} },
+  },
 ];
 
 // ---------------------------------------------------------------------------
@@ -774,6 +893,12 @@ server.setRequestHandler(CallToolRequestSchema, async (request) => {
       case 'propose_followup':         result = await toolProposeFollowup(args); break;
       case 'write_checkpoint':         result = await toolWriteCheckpoint(args); break;
       case 'compose_resume':           result = await toolComposeResume(args); break;
+      case 'judgment_position_create': result = await toolJudgmentPositionCreate(args); break;
+      case 'judgment_position_amend':  result = await toolJudgmentPositionAmend(args); break;
+      case 'judgment_joint_add':       result = await toolJudgmentJointAdd(args); break;
+      case 'judgment_transition':      result = await toolJudgmentTransition(args); break;
+      case 'judgment_ledger_append':   result = await toolJudgmentLedgerAppend(args); break;
+      case 'get_judgment_state':       result = await toolGetJudgmentState(args); break;
       // agent_run removed — STRAT-DEDUP-AGENTRUN v1. Use mcp__stratum__stratum_agent_run.
       default:
         return {

package/server/mcp-tool-policy.js

@@ -36,6 +36,7 @@ const REVIEWER_ALLOW = [
   'get_pending_gates', 'get_changelog_entries', 'get_journal_entries', 'get_completions',
   'validate_feature', 'validate_project', 'roadmap_diff', 'get_roadmap', 'roadmap_graph_check', 'assess_feature_artifacts',
   'set_workspace', 'get_workspace', 'bind_session',
+  'get_judgment_state', // COMP-JUDGMENT-WRITER: read-only; the five judgment write tools stay reviewer-denied
 ];
 
 export const PROFILE_POLICY = {

package/dist/assets/channel-BzkmtaLy.js

@@ -1 +0,0 @@
-import{ag as o,ah as n}from"./App-BG92y_CY.js";const t=(a,r)=>o.lang.round(n.parse(a)[r]);export{t as c};

package/dist/assets/classDiagram-OUVF2IWQ-BIvLcbex.js

@@ -1 +0,0 @@
-import{s as a,c as s,a as e,C as t}from"./chunk-V7JOEXUC-CbjBz-Ek.js";import{_ as i}from"./App-BG92y_CY.js";import"./chunk-5VM5RSS4-Qw-L7OoJ.js";import"./chunk-XXDRQBXY-CSdt06Hp.js";import"./chunk-VR4S4FIN-Dvhgnm7E.js";import"./chunk-32BRIVSS-B1y5FpOd.js";import"./mobile-CaoXUwAr.js";import"./index-B1H7-G2y.js";import"./graph-BXPQrYYB.js";var b={parser:e,get db(){return new t},renderer:s,styles:a,init:i(r=>{r.class||(r.class={}),r.class.arrowMarkerAbsolute=r.arrowMarkerAbsolute},"init")};export{b as diagram};

package/dist/assets/classDiagram-v2-EOCWNBFH-BIvLcbex.js

@@ -1 +0,0 @@
-import{s as a,c as s,a as e,C as t}from"./chunk-V7JOEXUC-CbjBz-Ek.js";import{_ as i}from"./App-BG92y_CY.js";import"./chunk-5VM5RSS4-Qw-L7OoJ.js";import"./chunk-XXDRQBXY-CSdt06Hp.js";import"./chunk-VR4S4FIN-Dvhgnm7E.js";import"./chunk-32BRIVSS-B1y5FpOd.js";import"./mobile-CaoXUwAr.js";import"./index-B1H7-G2y.js";import"./graph-BXPQrYYB.js";var b={parser:e,get db(){return new t},renderer:s,styles:a,init:i(r=>{r.class||(r.class={}),r.class.arrowMarkerAbsolute=r.arrowMarkerAbsolute},"init")};export{b as diagram};

package/dist/assets/stateDiagram-v2-6OUMAXLB-GcPRHAJT.js

@@ -1 +0,0 @@
-import{s as r,b as e,a,S as s}from"./chunk-EX3LRPZG-G_MZEji_.js";import{_ as i}from"./App-BG92y_CY.js";import"./chunk-XXDRQBXY-CSdt06Hp.js";import"./chunk-VR4S4FIN-Dvhgnm7E.js";import"./chunk-32BRIVSS-B1y5FpOd.js";import"./mobile-CaoXUwAr.js";import"./index-B1H7-G2y.js";import"./graph-BXPQrYYB.js";var b={parser:a,get db(){return new s(2)},renderer:e,styles:r,init:i(t=>{t.state||(t.state={}),t.state.arrowMarkerAbsolute=t.arrowMarkerAbsolute},"init")};export{b as diagram};

package/dist/assets/swimlanesDiagram-G3AALYLV-BB0gCy01.js

@@ -1,8 +0,0 @@
-import{c as r,s as e}from"./flowDiagram-23GEKE2U-DcUANpAz.js";import{_ as a}from"./App-BG92y_CY.js";import"./chunk-5VM5RSS4-Qw-L7OoJ.js";import"./chunk-XXDRQBXY-CSdt06Hp.js";import"./chunk-VR4S4FIN-Dvhgnm7E.js";import"./chunk-32BRIVSS-B1y5FpOd.js";import"./channel-BzkmtaLy.js";import"./mobile-CaoXUwAr.js";import"./index-B1H7-G2y.js";import"./graph-BXPQrYYB.js";var o=a(t=>`${e(t)}
-  .swimlane.cluster rect {
-    stroke: ${t.clusterBorder} !important;
-  }
-  [data-look="neo"].cluster rect {
-    filter: none;
-  }
-`,"getStyles"),m=o,_=r({defaultLayout:"swimlane",styles:m});export{_ as diagram};