atris 3.58.6 → 3.58.8

package/commands/member.js

@@ -4,12 +4,15 @@ const crypto = require('crypto');
 const os = require('os');
 const { execFileSync, spawnSync } = require('child_process');
 const { loadCredentials } = require('../utils/auth');
+const { resolveBackendRoot } = require('../utils/backend-root');
 const { apiRequestJson } = require('../utils/api');
 const { runAliveTick } = require('../lib/member-alive');
 const { defaultObjectiveRunner } = require('../lib/default-runner');
 const { readJson, writeJson } = require('../lib/json-file');
+const { sleepSync } = require('../lib/sleep-sync');
 const { hasFlag, readFlag, readNumberFlag } = require('../lib/arg-parser');
 const { ensureMemberBundle, memberBundlePresent } = require('../lib/member-scaffold');
+const { memberProcessPrompt, MEMBER_PROCESS_PATH } = require('../lib/member-context');
 
 function findWorkspaceBusinessId(startDir = process.cwd()) {
   let dir = path.resolve(startDir);
@@ -462,6 +465,7 @@ function missionPurpose(paths) {
 }
 
 const MEMBER_RUN_RUNNABLE_STATUSES = new Set(['planning', 'running', 'ready']);
+const MISSION_TERMINAL_STATUSES = new Set(['complete', 'stopped', 'failed']);
 
 function memberRunMissionMap() {
   try {
@@ -684,6 +688,15 @@ const MEMBER_RUN_START_VALUE_FLAGS = [
   '--mission-id',
   '--owner',
   '--runner',
+  '--engine',
+  '--budget',
+  '--repo',
+  '--native-goal-status',
+  '--native-goal-objective',
+  '--visible-goal-status',
+  '--visible-goal-objective',
+  '--max-idle-ticks',
+  '--slots',
   '--lane',
   '--cadence',
   '--verify',
@@ -715,10 +728,49 @@ const MEMBER_RUN_START_BOOLEAN_FLAGS = [
   '--stop-when-done',
   '--choose-work',
   '--auto',
+  '--headless',
+  '--self-drive',
+  '--no-claude',
+  '--complete-on-pass',
+  '--no-drain',
+  '--create-next',
+  '--preflight',
+  '--no-preflight',
+  '--room-preflight',
+  '--no-room-preflight',
+  '--room-auto-run',
+  '--no-room-auto-run',
+  '--manual-ack',
+  '--allow-native-goal-supersede',
+  '--supersede-paused-native-goal',
+  '--take-goal-slot',
+  '--due',
+  '--detach',
+  '--fleet',
+  '--dry-run',
+  '--land',
+  '--cloud',
 ];
 
+function memberRunMissionWordIndices(args = []) {
+  const values = new Set(MEMBER_RUN_START_VALUE_FLAGS);
+  const booleans = new Set(['--full', '--verbose', ...MEMBER_RUN_START_BOOLEAN_FLAGS]);
+  const indices = [];
+  for (let i = 0; i < args.length; i += 1) {
+    const arg = String(args[i]);
+    const key = arg.includes('=') ? arg.slice(0, arg.indexOf('=')) : arg;
+    if (booleans.has(key)) continue;
+    if (values.has(key)) {
+      if (!arg.includes('=') && args[i + 1] && !String(args[i + 1]).startsWith('--')) i += 1;
+      continue;
+    }
+    indices.push(i);
+  }
+  return indices;
+}
+
 function memberRunMissionText(args = []) {
-  return stripKnownFlags(args, MEMBER_RUN_START_VALUE_FLAGS, MEMBER_RUN_START_BOOLEAN_FLAGS).join(' ').trim();
+  return memberRunMissionWordIndices(args).map((index) => args[index]).join(' ').trim();
 }
 
 function cleanMemberRunPhrase(value) {
@@ -832,10 +884,8 @@ function buildMemberRunStartArgs(owner, missionText, args = [], cwd = process.cw
   pushFlagValue(startArgs, args, '--minutes');
   pushFlagValue(startArgs, args, '--hours');
   pushFlagValue(startArgs, args, '--base');
-  // A member-run mission is driven immediately by its runner, not parked on
-  // the queue, so the mission-start verifier gate (built for parked planning
-  // wishes) would only kill autonomous legs like autopilot's "member chooses
-  // useful work". When the caller named no verifier, opt out explicitly.
+  // Member runs choose and drive work immediately, so an absent check must not
+  // leave autonomous callers with a mission that never ran.
   if (hasFlag(args, '--no-verify') || !readFlag(args, '--verify', '')) {
     startArgs.push('--no-verify');
   }
@@ -851,7 +901,7 @@ function buildMemberRunStartArgs(owner, missionText, args = [], cwd = process.cw
   if (!hasFlag(args, '--shared-checkout') && !hasFlag(args, '--no-worktree') && insideGitRepo(cwd)) {
     startArgs.push('--worktree');
   }
-  if (hasFlag(args, '--json')) startArgs.push('--json');
+  startArgs.push('--json');
   return startArgs;
 }
 
@@ -869,15 +919,52 @@ function startMemberRunMission(name, missionText, args = []) {
   const paths = requireMemberDir(name);
   const owner = paths.storageName || name;
   const startArgs = buildMemberRunStartArgs(owner, missionText, args);
+  return memberRunCli(startArgs, process.cwd());
+}
 
+function memberRunCli(args, cwd, { live = false, missionId = '' } = {}) {
   const cliPath = path.join(__dirname, '..', 'bin', 'atris.js');
+  const runsDir = path.join(cwd, 'atris', 'runs');
+  const previousReceipts = live && fs.existsSync(runsDir) ? new Set(fs.readdirSync(runsDir)) : new Set();
+  const result = spawnSync(process.execPath, [cliPath, ...args], {
+    cwd,
+    encoding: 'utf8',
+    maxBuffer: 64 * 1024 * 1024,
+    stdio: live ? 'inherit' : ['ignore', 'pipe', 'pipe'],
+  });
+  if (result.error) throw result.error;
+  if (live) {
+    const receiptName = fs.existsSync(runsDir)
+      ? fs.readdirSync(runsDir).filter((name) => !previousReceipts.has(name) && name.startsWith(`mission-${missionId}-`) && name.endsWith('.json')).sort().at(-1)
+      : null;
+    const receipt = receiptName ? readJson(path.join(runsDir, receiptName), null) : null;
+    return { status: result.status, payload: receipt?.result?.kind === 'mission_run_summary'
+      ? { ran_ticks: receipt.result.ran_ticks } : null, stderr: '', errorReported: result.status !== 0 };
+  }
+  let payload = null;
   try {
-    execFileSync(process.execPath, [cliPath, ...startArgs], {
-      cwd: process.cwd(),
-      stdio: 'inherit',
-    });
+    payload = JSON.parse(result.stdout);
   } catch (error) {
-    process.exitCode = Number(error?.status) || 1;
+    if (result.status === 0) throw new Error(`member run: mission command returned invalid json: ${error.message}`);
+  }
+  return { status: result.status, payload, stderr: String(result.stderr || '').trim() };
+}
+
+function memberRunConfiguredVerifier(paths) {
+  const frontmatter = parseFrontmatter(fs.readFileSync(paths.memberFile, 'utf8')) || {};
+  const check = frontmatter.verify || frontmatter.verifier;
+  return typeof check === 'string' ? check.trim() : '';
+}
+
+function printMemberRunResult(result, asJson) {
+  if (asJson) {
+    console.log(JSON.stringify(result));
+  } else if (result.started) {
+    console.log(`started ${result.mission_id} (${result.state})`);
+  }
+  if (result.ok === false || (!result.started && result.ok !== true)) {
+    if (!result.errorReported) console.error(result.error);
+    process.exitCode = 1;
   }
 }
 
@@ -928,12 +1015,11 @@ function memberPing(name, ...args) {
     process.exit(2);
   }
   const missionMod = require('./mission');
-  const terminal = new Set(['complete', 'stopped', 'failed']);
   const candidates = [
     ...missionMod.listMissions(process.cwd()),
     ...missionMod.listWorktreeRollupMissions(process.cwd()),
   ]
-    .filter((m) => m && m.owner === name && !terminal.has(m.status))
+    .filter((m) => m && m.owner === name && !MISSION_TERMINAL_STATUSES.has(m.status))
     .sort((a, b) => String(b.updated_at || b.created_at || '').localeCompare(String(a.updated_at || a.created_at || '')));
 
   const taskNote = pingClaimedTaskDialogue(name, text, from);
@@ -966,48 +1052,96 @@ function memberPing(name, ...args) {
 
 function memberRun(name, ...args) {
   if (!name || name === '--help' || name === '-h' || hasFlag(args, '--help') || hasFlag(args, '-h')) {
-    console.log('Usage: atris member run <name> ["mission text"] [--minutes N|--hours N] [--json]');
-    console.log('New mission: atris member run growth "Improve onboarding proof" --minutes 30 --json');
-    console.log('Choose work: atris member run growth --industry logistics --value "reduce support time" --minutes 30 --json');
-    console.log('Existing mission: atris member run growth --mission <mission-id> --max-ticks 1 --json');
-    console.log('Meaning: if mission text is omitted, the member chooses one useful bounded task from Atris state.');
-    console.log('Truth: useful work must improve revenue, reliability, speed, security, clarity, or trust, then show plain proof.');
-    console.log('Isolation: new missions use --worktree by default; add --shared-checkout to stay here.');
+    console.log('usage: atris member run <name> ["mission text"] [--verify "<cmd>"] [--minutes N|--hours N] [--json]');
+    console.log('new mission: atris member run growth "improve onboarding proof" --verify "npm test" --minutes 30 --json');
+    console.log('choose work: atris member run growth --verify "npm test" --industry logistics --minutes 30 --json');
+    console.log('existing mission: atris member run growth --mission <mission-id> --max-ticks 1 --json');
+    console.log('meaning: if mission text is omitted, the member chooses one useful bounded task from atris state.');
+    console.log('truth: useful work must improve revenue, reliability, speed, security, clarity, or trust, then show plain proof.');
+    console.log('isolation: new missions use --worktree by default; add --shared-checkout to stay here.');
+    console.log('check: --verify or a verify field in the member file adds a mission check.');
     return;
   }
 
+  const asJson = hasFlag(args, '--json');
+  const paths = requireMemberDir(name);
+  const requestedVerifier = readFlag(args, '--verify', '') || memberRunConfiguredVerifier(paths);
   const missionText = memberRunMissionText(args);
   const hasMissionOverride = Boolean(readFlag(args, '--mission', '') || readFlag(args, '--mission-id', ''));
+  let mission = null;
+  let startedNewMission = false;
+  let nodeModulesLinked = false;
+  let nodeModulesSource = null;
   if (missionText && !hasMissionOverride) {
-    startMemberRunMission(name, missionText, args);
-    return;
+    const start = startMemberRunMission(name, missionText, requestedVerifier ? [...args, '--verify', requestedVerifier] : args);
+    if (start.status !== 0 || !start.payload?.mission) {
+      printMemberRunResult({ started: false, state: null, mission_id: start.payload?.mission?.id || null,
+        error: start.payload?.detail || start.payload?.error || start.stderr || 'mission creation failed' }, asJson);
+      return;
+    }
+    mission = start.payload.mission;
+    startedNewMission = true;
+    nodeModulesLinked = Boolean(start.payload.node_modules_linked);
+    nodeModulesSource = start.payload.node_modules_source || null;
+  } else {
+    const missionId = resolveMemberRunMissionId(name, args);
+    if (!missionId) {
+      const start = startMemberRunMission(name, memberRunAutoMissionText(name, args), requestedVerifier ? [...args, '--verify', requestedVerifier] : args);
+      if (start.status !== 0 || !start.payload?.mission) {
+        printMemberRunResult({ started: false, state: null, mission_id: start.payload?.mission?.id || null,
+          error: start.payload?.detail || start.payload?.error || start.stderr || 'mission creation failed' }, asJson);
+        return;
+      }
+      mission = start.payload.mission;
+      startedNewMission = true;
+      nodeModulesLinked = Boolean(start.payload.node_modules_linked);
+      nodeModulesSource = start.payload.node_modules_source || null;
+    } else {
+      mission = require('./mission').resolveMission(missionId);
+      if (!mission) {
+        printMemberRunResult({ started: false, state: null, mission_id: missionId, error: `mission ${missionId} was not found` }, asJson);
+        return;
+      }
+    }
   }
 
-  const missionId = resolveMemberRunMissionId(name, args);
-  if (!missionId) {
-    startMemberRunMission(name, memberRunAutoMissionText(name, args), args);
-    return;
+  if (startedNewMission && !asJson) {
+    if (mission.worktree?.path) console.log(`worktree: ${mission.worktree.path}`);
+    if (nodeModulesLinked) console.log(`linked node_modules from ${nodeModulesSource}`);
   }
 
-  const runArgs = stripKnownFlags(args, ['--mission', '--mission-id', '--minutes', '--hours'], ['--worktree', '--shared-checkout', '--no-worktree']);
+  const cwd = mission.worktree?.path || process.cwd();
+  const verifier = readFlag(args, '--verify', '') || mission.verifier || requestedVerifier;
+  if (verifier && verifier !== mission.verifier) {
+    const changed = memberRunCli(['mission', 'set-verifier', mission.id, verifier, '--json'], cwd);
+    if (changed.status !== 0) {
+      printMemberRunResult({ started: false, state: mission.status, mission_id: mission.id, mission,
+        error: changed.payload?.detail || changed.payload?.error || changed.stderr || 'could not set mission check' }, asJson);
+      return;
+    }
+    mission.verifier = verifier;
+  }
+
+  const missionWordIndices = missionText && !hasMissionOverride ? new Set(memberRunMissionWordIndices(args)) : new Set();
+  const executionArgs = args.filter((_, index) => !missionWordIndices.has(index));
+  const runArgs = stripKnownFlags(executionArgs,
+    ['--mission', '--mission-id', '--minutes', '--hours', '--industry', '--domain', '--value', '--outcome', '--truth', '--proof', '--base'],
+    ['--worktree', '--shared-checkout', '--no-worktree', '--choose-work', '--auto']);
   const budgetSeconds = memberRunBudgetSeconds(args);
-  // A timed run is a loop contract, not one tick: keep picking the next useful
-  // move until the wall clock (--max-wall) spends the budget. Only untimed runs
-  // default to a single tick.
   if (!readFlag(runArgs, '--max-ticks', '')) {
     runArgs.push('--max-ticks', budgetSeconds ? String(Math.max(4, Math.ceil(budgetSeconds / 300))) : '1');
   }
   if (!readFlag(runArgs, '--max-wall', '')) runArgs.push('--max-wall', String(budgetSeconds || 900));
-
-  const cliPath = path.join(__dirname, '..', 'bin', 'atris.js');
-  try {
-    execFileSync(process.execPath, [cliPath, 'mission', 'run', missionId, ...runArgs], {
-      cwd: process.cwd(),
-      stdio: 'inherit',
-    });
-  } catch (error) {
-    process.exitCode = Number(error?.status) || 1;
-  }
+  const run = memberRunCli(['mission', 'run', mission.id, ...runArgs], cwd, { live: !asJson, missionId: mission.id });
+  const payload = run.payload || {};
+  const finalMission = payload.mission || require('./mission').resolveMission(mission.id, cwd) || mission;
+  const started = run.status === 0 && payload.ok !== false && Number(payload.ran_ticks) > 0;
+  const noWorkStepExpected = hasFlag(runArgs, '--detach') || hasFlag(runArgs, '--dry-run');
+  const ok = run.status === 0 && payload.ok !== false && (started || noWorkStepExpected);
+  printMemberRunResult({ ...payload, ok, started, state: finalMission.status, mission_id: mission.id,
+    mission: finalMission, node_modules_linked: nodeModulesLinked, node_modules_source: nodeModulesSource,
+    errorReported: run.errorReported,
+    ...(!ok ? { error: payload.detail || payload.error || payload.reason || run.stderr || 'mission did not run a work step' } : {}) }, asJson);
 }
 
 function loadTeamScoreEvidence(scoreJsonPath) {
@@ -1830,8 +1964,8 @@ function problemSignalSources(root = process.cwd()) {
     sources.push(source);
   }
   for (const source of problemSignalFilesForStateDir(path.join(root, '.atris', 'state'))) push(source);
-  const siblingBackend = path.resolve(root, '..', 'atrisos-backend');
-  if (fs.existsSync(siblingBackend)) {
+  const siblingBackend = resolveBackendRoot(root);
+  if (siblingBackend) {
     for (const source of problemSignalFilesForStateDir(path.join(siblingBackend, '.atris', 'state'), 'backend')) push(source);
   }
   for (const source of configuredProblemSignalSources(root)) push(source);
@@ -4216,6 +4350,7 @@ function memberActivate(name) {
 
   const content = fs.readFileSync(activePath, 'utf8');
   const fm = parseFrontmatter(content) || {};
+  const sharedProcess = memberProcessPrompt(process.cwd());
 
   console.log('');
   console.log(`Activating: ${fm.name || name} (${fm.role || 'no role'})`);
@@ -4298,7 +4433,8 @@ function memberActivate(name) {
 
   console.log('');
   console.log(`Member "${fm.name || name}" activated.`);
-  console.log(`Tell your agent: "You are the ${fm.role || name}. Read team/${name}/MEMBER.md."`);
+  const identityPath = path.relative(process.cwd(), activePath);
+  console.log(`Tell your agent: "You are the ${fm.role || name}. Read ${sharedProcess ? `${MEMBER_PROCESS_PATH}, then ` : ''}${identityPath}. Stay inside this member's permissions."`);
 }
 
 // --- UPGRADE subcommand ---
@@ -4591,12 +4727,6 @@ function printJsonOrText(payload, lines, asJson) {
   for (const line of lines) console.log(line);
 }
 
-function sleepSync(ms) {
-  const duration = Math.max(0, Number(ms) || 0);
-  if (duration <= 0) return;
-  Atomics.wait(new Int32Array(new SharedArrayBuffer(4)), 0, 0, duration);
-}
-
 function memberGoal(name, ...args) {
   const paths = requireMemberDir(name);
   const asJson = hasFlag(args, '--json');
@@ -4707,6 +4837,49 @@ function memberGoalFromMission(name, ...args) {
     );
     return;
   }
+  if (MISSION_TERMINAL_STATUSES.has(lowerCompact(runtime.status || ''))) {
+    // A finished mission must not mint or re-point an active goal; that recreated the
+    // stale-goal defect class (OBL-1961, OBL-2212, OBL-2232) after every retire. --force
+    // cannot bypass this, it only widens the existing-goal match on a living mission.
+    const staleGoals = state.goals.filter((goal) => (
+      goal.source === 'mission' && goal.status === 'active'
+      && runtime.id && goal.mission_id === runtime.id
+    ));
+    const staleList = staleGoals.map((goal) => goal.title || goal.id).join('; ');
+    const ask = staleGoals.length
+      ? `Mission ${runtime.id || compactSentence(runtimeFocus, 88)} is ${runtime.status}, so its active goal is stale. Retire ${compactSentence(staleList, 140)} by setting its status in goals.json, or start a living mission and run: atris member goal-from-mission ${name} --force`
+      : `Mission ${runtime.id || compactSentence(runtimeFocus, 88)} is ${runtime.status}. Start a living mission, then run: atris member goal-from-mission ${name} --force`;
+    const logPath = appendMemberGoalLog(paths.memberDir, name, 'Member goal-from-mission blocked', {
+      ask,
+      mission_id: runtime.id || '',
+      mission_status: runtime.status || '',
+      stale_goals: staleGoals.map((goal) => goal.id),
+    });
+    printJsonOrText(
+      {
+        ok: true,
+        action: 'needs_user',
+        member: name,
+        needs_user: true,
+        ask,
+        stale_goals: staleGoals,
+        mission: {
+          north_star: purpose.northStar,
+          runtime_id: runtime.id || null,
+          runtime_status: runtime.status || null,
+          runtime_next: runtime.next || null,
+        },
+        mission_file: paths.missionFile,
+        log_path: logPath,
+      },
+      [
+        `Blocked for ${name}: mission ${runtime.id || 'in now.md'} is ${runtime.status}, a finished mission cannot drive an active goal.`,
+        `Ask: ${ask}`,
+      ],
+      asJson,
+    );
+    return;
+  }
   // The title IS the mission focus, no boilerplate prefix; the acceptance list already
   // says "one bounded step" and the why carries the full sentence.
   const title = compactSentence(runtimeFocus, 96);
@@ -4977,7 +5150,8 @@ function fallbackProposalForGoal(goal, context = {}) {
   };
 }
 
-function proposalPromptForGoal(goal, context = {}) {
+function proposalPromptForGoal(goal, context = {}, cwd = process.cwd()) {
+  const sharedProcess = memberProcessPrompt(cwd);
   const files = (context?.evidence?.goal_files?.files || [])
     .filter((file) => file.exists && file.excerpt)
     .slice(0, 4)
@@ -5005,6 +5179,7 @@ function proposalPromptForGoal(goal, context = {}) {
     },
   };
   return [
+    ...(sharedProcess ? [sharedProcess, ''] : []),
     'You generate the next bounded Atris member experiment.',
     'Read the JSON context and return only JSON with keys: title, proof_target, next_step, verifier, stop_rule.',
     'The next_step must be adaptive to the goal/evidence, concrete, receipt-backed, and safe for one bounded tick.',
@@ -5058,10 +5233,11 @@ async function callAtris2ProposalLlm(goal, context = {}) {
   const injected = injectedLlmProposal();
   if (injected) return injected;
   if (process.env.ATRIS_MEMBER_PROPOSAL_LLM !== '1') return null;
+  const prompt = proposalPromptForGoal(goal, context, process.cwd());
   try {
     const { postTurn } = require('../ax');
     const output = { isTTY: false, write() { return true; } };
-    const result = await postTurn(proposalPromptForGoal(goal, context), {
+    const result = await postTurn(prompt, {
       mode: process.env.ATRIS_MEMBER_PROPOSAL_LLM_MODE || 'fast',
       route: 'local',
       cwd: process.cwd(),
@@ -5761,6 +5937,7 @@ function emptyObjectiveGeneratorProposal(extra = {}) {
     updated_at: stampIso(),
     status: extra.status || 'empty',
     advisory_only: true,
+    auto_task_eligible: extra.auto_task_eligible !== false,
     world_model_used: false,
     llm_source: extra.llm_source || null,
     llm_error: extra.llm_error || null,
@@ -5893,8 +6070,8 @@ function fallbackObjectiveGeneratorProposal(graph, recommendations, transferPatt
     ),
     suggested_member: member,
     suggested_patterns: objectivePatternMatches(transferPatterns, proposedObjective),
-  }, { status: 'ok', llm_error: 'llm_not_configured', world_model_used: true });
-  return proposal || emptyObjectiveGeneratorProposal({ status: 'llm_not_configured', llm_error: 'llm_not_configured' });
+  }, { status: 'ok', llm_error: 'llm_not_configured', world_model_used: true, auto_task_eligible: false });
+  return proposal || emptyObjectiveGeneratorProposal({ status: 'llm_not_configured', llm_error: 'llm_not_configured', auto_task_eligible: false });
 }
 
 function objectiveGeneratorPrompt(graph, recommendations, transferPatterns = []) {
@@ -6056,7 +6233,7 @@ async function runObjectiveGeneratorWake(name, paths, { execute = false } = {})
       proposal = emptyObjectiveGeneratorProposal({ status: llm.error === 'invalid_json' ? 'parse_error' : 'llm_error', llm_source: llm.source, llm_error: llm.error });
       proposal.world_model_used = true;
     } else {
-      reason = 'heuristic_objective_proposal_written';
+      reason = execute ? 'heuristic_objective_proposal_written' : 'heuristic_objective_proposal_dry_run';
       proposal = fallbackObjectiveGeneratorProposal(graph, recommendations, transferPatterns);
     }
   }
@@ -6065,7 +6242,7 @@ async function runObjectiveGeneratorWake(name, paths, { execute = false } = {})
     proposal.suggested_patterns = objectivePatternMatches(transferPatterns, proposal.proposed_objective);
   }
 
-  if (execute && proposal?.status === 'ok' && Number(proposal.overall_score) > 7) {
+  if (execute && proposal?.status === 'ok' && proposal.auto_task_eligible !== false && Number(proposal.overall_score) > 7) {
     createdTask = createAutoObjectiveTask(proposal);
     proposal.created_task = createdTask.ok ? {
       id: createdTask.task_id || null,
@@ -6081,7 +6258,8 @@ async function runObjectiveGeneratorWake(name, paths, { execute = false } = {})
   }
 
   const proposalsPath = objectiveGeneratorProposalsPath(root);
-  if (execute) {
+  const proposalsWritten = Boolean(execute);
+  if (proposalsWritten) {
     fs.mkdirSync(path.dirname(proposalsPath), { recursive: true });
     fs.writeFileSync(proposalsPath, JSON.stringify(proposal, null, 2) + '\n', 'utf8');
   }
@@ -6111,6 +6289,7 @@ async function runObjectiveGeneratorWake(name, paths, { execute = false } = {})
     llm_successful: Boolean(llm?.source && llm?.proposal && proposal.status === 'ok'),
     llm_error: llm?.error || proposal.llm_error || null,
     proposals_path: path.relative(root, proposalsPath),
+    proposals_written: proposalsWritten,
     task_creation_threshold: 7,
     task_created: Boolean(createdTask?.ok),
     created_task: proposal.created_task,
@@ -6128,7 +6307,7 @@ async function runObjectiveGeneratorWake(name, paths, { execute = false } = {})
     score: proposal.overall_score || '',
     task: proposal.created_task?.ref || '',
     receipt: path.relative(root, receiptPath),
-    output: path.relative(root, proposalsPath),
+    output: proposalsWritten ? path.relative(root, proposalsPath) : '',
   });
 
   return {
@@ -7817,6 +7996,7 @@ const WAKE_REASON_TEXT = {
   auto_improver_task_create_failed: 'it found an improvement but could not put the task on the board',
   heuristic_cross_domain_proof_written: 'it wrote a cross-domain proof using its built-in heuristics',
   heuristic_objective_proposal_written: 'it drafted an objective proposal using its built-in heuristics',
+  heuristic_objective_proposal_dry_run: 'it previewed an objective proposal using its built-in heuristics, without writing it',
   install_requires_clean_git: 'installing needs a clean git tree first',
   insufficient_world_model_data: 'its world model is too thin to act on yet',
   llm_json_parse_failed: 'the model reply did not parse, so it stopped rather than act on garbage',
@@ -9208,7 +9388,7 @@ async function memberCommand(subcommand, ...args) {
       console.log('  atris member goal-from-mission growth --json');
       console.log('  atris member goal-from-score growth --score-json team-score.json --json');
       console.log('  atris member wake growth --json');
-      console.log('  atris member run growth "Improve onboarding proof" --minutes 30 --json');
+      console.log('  atris member run growth "improve onboarding proof" --verify "npm test" --minutes 30 --json');
       console.log('  atris member run growth --mission <mission-id> --max-ticks 1 --json');
       console.log('  atris member wake growth --execute --confirm-autonomy-policy');
       console.log('  atris member supervisor recommendations --json');
@@ -9232,6 +9412,7 @@ async function memberCommand(subcommand, ...args) {
 }
 
 module.exports = {
+  proposalPromptForGoal,
   memberCommand,
   findAllMembers,
   findWorkspaceBusinessId,