fix(desktop): reconcile goal.arm after connection loss

apps/desktop/e2e/goal-dialog-budget.spec.ts

@@ -0,0 +1,66 @@
+import { test, expect, COMPOSER_INPUT } from './fixtures';
+
+/**
+ * Arming a Goal starts unattended token spending, and the two budgets in this
+ * dialog are what stops it. A budget the form shows but does not send is
+ * therefore the one failure this dialog must not have — most sharply when the
+ * value is dropped rather than altered, because an absent token budget is not
+ * a smaller ceiling but no ceiling at all.
+ *
+ * The assertions read the Goal back from the Host rather than watching the
+ * bridge call, so they answer what was actually armed.
+ */
+test('an unsendable budget blocks Start instead of arming a different one', async ({
+  window: page,
+}) => {
+  // The ＋ menu only offers a Goal for a Session that exists, so seed one and
+  // let its Turn settle first — a live Turn disables the entry too.
+  const composer = page.locator(COMPOSER_INPUT);
+  await composer.fill('seed session');
+  await composer.press('Enter');
+  await expect(page.getByRole('log').getByText(/Fake backend received: seed session/)).toBeVisible();
+  await expect(page.getByRole('button', { name: '重新生成' })).toHaveCount(1, { timeout: 20_000 });
+
+  const sessionId = await page.evaluate(async () => (await window.maka.sessions.list())[0]?.id);
+  expect(sessionId).toBeTruthy();
+  const armedGoal = () =>
+    page.evaluate(async (id: string) => await window.maka.goal.get(id), sessionId as string);
+
+  await page.getByRole('button', { name: '添加上下文' }).click();
+  await page.getByRole('menuitem', { name: '设定 Goal…' }).click();
+
+  const dialog = page.getByRole('dialog');
+  await dialog.getByLabel(/达成条件/).fill('所有测试通过');
+  const start = dialog.getByRole('button', { name: '开始' });
+  await expect(start).toBeEnabled();
+
+  // Below the Host's own minimum. The field this replaced kept such text to
+  // itself and left the sent budget null, so Start stayed enabled and armed no
+  // ceiling at all.
+  await dialog.getByLabel(/Token 预算/).fill('500');
+  await expect(start).toBeDisabled();
+  await expect(dialog.getByText(/请填不小于 1000 的整数/)).toBeVisible();
+
+  await dialog.getByLabel(/Token 预算/).fill('5000');
+  await expect(start).toBeEnabled();
+
+  // Above the Host's ceiling on turns; the same rule from the other side.
+  await dialog.getByLabel(/最多轮数/).fill('250');
+  await expect(start).toBeDisabled();
+  await expect(await armedGoal()).toBeNull();
+
+  await dialog.getByLabel(/最多轮数/).fill('25');
+  await expect(start).toBeEnabled();
+  await start.click();
+
+  await expect
+    .poll(async () => {
+      const goal = await armedGoal();
+      return goal && {
+        condition: goal.condition,
+        maxIterations: goal.maxIterations,
+        tokenBudget: goal.tokenBudget,
+      };
+    })
+    .toEqual({ condition: '所有测试通过', maxIterations: 25, tokenBudget: 5000 });
+});

apps/desktop/src/main/__tests__/goal-arm-outcome.test.ts

@@ -0,0 +1,81 @@
+import assert from 'node:assert/strict';
+import test from 'node:test';
+import type { GoalArmOutcome } from '../../shared/goal-arm.js';
+import { interpretGoalArmOutcome } from '../../renderer/goal-arm-outcome.js';
+import { getShellCopy } from '../../renderer/locales/shell-copy.js';
+
+test('successful Goal arming closes while every reconciliation result locks the form', () => {
+  const goal = {
+    id: 'goal-1',
+    revision: 1,
+    sessionId: 'session-1',
+    condition: 'All tests pass',
+    status: 'active' as const,
+    setAt: 1,
+    iterations: 0,
+    maxIterations: 50,
+    consecutiveNoProgress: 0,
+    blockCap: 8,
+    tokensAtStart: 0,
+    tokensNow: 0,
+    tokensBaselinePending: false,
+  };
+  const cases: Array<{
+    outcome: GoalArmOutcome;
+    expected: ReturnType<typeof interpretGoalArmOutcome>;
+  }> = [
+    {
+      outcome: { kind: 'armed', goal },
+      expected: { action: 'close' },
+    },
+    {
+      outcome: {
+        kind: 'reconciled',
+        currentGoal: goal,
+        matchesRequestedState: true,
+      },
+      expected: { action: 'lock', notice: { kind: 'matching_goal', goal } },
+    },
+    {
+      outcome: {
+        kind: 'reconciled',
+        currentGoal: goal,
+        matchesRequestedState: false,
+      },
+      expected: { action: 'lock', notice: { kind: 'different_goal', goal } },
+    },
+    {
+      outcome: {
+        kind: 'reconciled',
+        currentGoal: null,
+        matchesRequestedState: false,
+      },
+      expected: { action: 'lock', notice: { kind: 'no_goal' } },
+    },
+    {
+      outcome: { kind: 'reconciliation_unavailable' },
+      expected: { action: 'lock', notice: { kind: 'unavailable' } },
+    },
+  ];
+
+  for (const { outcome, expected } of cases) {
+    assert.deepEqual(interpretGoalArmOutcome(outcome), expected);
+  }
+});
+
+test('Goal reconciliation copy explains authoritative state in Chinese and English', () => {
+  const zh = getShellCopy('zh').goalDialog;
+  assert.match(
+    zh.reconciledMatching('所有测试通过', zh.statusLabels.active),
+    /所有测试通过.*进行中.*无法确认.*提交/,
+  );
+  assert.match(zh.reconciledNoGoal, /未读到 Goal/);
+  assert.match(zh.reconciliationUnavailable, /不会重复提交/);
+
+  const en = getShellCopy('en').goalDialog;
+  assert.match(
+    en.reconciledDifferent('All tests pass', en.statusLabels.paused),
+    /All tests pass.*Paused.*differs/,
+  );
+  assert.match(en.reconciliationUnavailable, /will not submit twice/);
+});