@@ -13,6 +13,7 @@
     "@expo-google-fonts/fredoka": "^0.4.1",
     "@expo-google-fonts/nunito": "^0.4.2",
     "@expo/dom-webview": "~57.0.1",
+    "@formatjs/intl-listformat": "^8.3.15",
     "@formatjs/intl-pluralrules": "^6.3.15",
     "@react-native-async-storage/async-storage": "2.2.0",
     "@supabase/supabase-js": "^2.49.1",
 
@@ -100,6 +100,10 @@ function Root() {
             <Stack.Screen name="new-note" options={sheet} />
             <Stack.Screen name="add-file" options={sheet} />
             <Stack.Screen name="source/[id]" options={sheet} />
+            {/* The website's limit and model dialogs; short, so the sheet stops at half height. */}
+            <Stack.Screen name="limit" options={{ ...sheet, sheetAllowedDetents: [0.56, 0.86] }} />
+            <Stack.Screen name="save-case" options={{ ...sheet, sheetAllowedDetents: [0.56, 0.86] }} />
+            <Stack.Screen name="context-review" options={sheet} />
             {/* Full screen above the tabs, as in mock 07. */}
             <Stack.Screen name="ask" />
             {/* History, full screen above the tabs like the documents it opens. */}
 
@@ -12,6 +12,7 @@ import { backLabel } from '@/lib/back-label';
 import { formatWhen } from '@/lib/dates';
 import { copyText, sharePdf, shareText } from '@/lib/export';
 import { attackExportFileName, attackExportHtml } from '@/lib/export-html';
+import { crossfireFromAttack } from '@/lib/result-links';
 import { attackToText, discussAttackMessage } from '@/lib/result-text';
 import { isCompleteAttack } from '@/lib/results';
 import { arrivalNoticeText, useResultDocument } from '@/lib/use-result-document';
@@ -59,7 +60,13 @@ export default function AttackResultScreen() {
   };
   const discuss = () => router.push({ pathname: '/ask', params: { prompt: discussAttackMessage(output) } });
 
+  const openCrossfire = () => {
+    crossfireFromAttack(typeof result.input.caseText === 'string' ? result.input.caseText : '', output);
+    router.push({ pathname: '/crossfire', params: { from: 'attack' } });
+  };
+
   const actions: HeaderAction[] = [
+    { key: 'crossfire', label: t('crossfire.openFromResult'), symbol: 'person.2.wave.2', icon: 'swords', onPress: openCrossfire },
     ...(doc.autoSaved.length > 0
       ? [{ key: 'undo-sources', label: t('autoSavedSources.undo'), symbol: 'arrow.uturn.backward' as const, icon: 'history' as const, onPress: () => void doc.undoAutoSaved() }]
       : []),
 
@@ -1,3 +1,4 @@
+import { attackDraftSections } from '@debatelab/core/ai/live-sections';
 import type { AttackInput } from '@debatelab/core/ai/schemas/attack';
 import { useLocalSearchParams, useRouter } from 'expo-router';
 import { useCallback, useEffect, useRef, useState } from 'react';
@@ -11,14 +12,18 @@ import { Field } from '@/components/field';
 import { FormGroup, SelectRow, SwitchRow } from '@/components/form-rows';
 import { ModelPicker } from '@/components/model-picker';
 import { Text } from '@/components/text';
-import { ToolError, ToolProgress, ToolTitle, WorkingIn } from '@/components/tool-form';
+import { ContextLine } from '@/components/context-line';
+import { LiveToolRun, useLiveRun } from '@/components/live-run';
+import { ToolError, ToolTitle, WorkingIn } from '@/components/tool-form';
 import { AIError, isAbortError, type AIErrorKind } from '@/lib/ai-request';
 import { useAuth } from '@/lib/auth';
 import { backLabel } from '@/lib/back-label';
+import { resetContextChoices } from '@/lib/context-plan';
 import { buildDebateContext } from '@/lib/context-request';
 import { useDebates } from '@/lib/debate-context';
 import { keepOpenResult, openResult } from '@/lib/open-results';
 import { caseToText } from '@/lib/result-text';
+import { openRefusal } from '@/lib/refusal';
 import { arrivalNotices, attackCase, autosaveSources, fetchResult, isCompleteCase, keepSourceAssessments, recordResult } from '@/lib/results';
 import { sessionSlot } from '@/lib/session-memory';
 import { useSettings } from '@/lib/settings';
@@ -35,8 +40,6 @@ const DEFAULT_FORM: AttackInput = {
 };
 const lastForm = sessionSlot<AttackInput>(() => DEFAULT_FORM);
 
-// The website's one progress line while the tool runs.
-const PROGRESS = ['attack.working'];
 
 /**
  * Attack, as the website's AttackPage. Opened from a case, the case's text
@@ -67,11 +70,14 @@ export default function AttackScreen() {
       return next;
     }), []);
 
+  const liveRun = useLiveRun();
+  const endLiveRun = liveRun.end;
   const abortActive = useCallback(() => {
     requests.current += 1;
     abort.current?.abort();
     abort.current = null;
-  }, []);
+    endLiveRun();
+  }, [endLiveRun]);
 
   useEffect(() => () => {
     live.current = false;
@@ -121,7 +127,15 @@ export default function AttackScreen() {
         debateId ? buildDebateContext(forUser, debateId, 'attack', 'both') : Promise.resolve(undefined),
       ]);
       if (!isCurrent()) return;
-      const { result, discoveredSources, truncated, assessments } = await attackCase(input, { config, language: outputLanguage, debateContext, signal: controller.signal });
+      const { result, discoveredSources, truncated, assessments } = await attackCase(input, {
+        config,
+        language: outputLanguage,
+        debateContext,
+        signal: controller.signal,
+        live: liveRun.begin(),
+      });
+      // Review choices cover one request, as on the website.
+      resetContextChoices('attack');
       if (!isCurrent()) return;
       const assessed = await keepSourceAssessments(forUser, debateId, assessments, controller.signal);
       if (!isCurrent()) return;
@@ -155,8 +169,11 @@ export default function AttackScreen() {
       const kind = cause instanceof AIError ? cause.kind : 'failed';
       if (!(cause instanceof AIError)) console.warn('Attack failed:', cause instanceof Error ? cause.message : cause);
       if (kind === 'debateMissing') void refresh();
-      setError(kind);
+      liveRun.end();
       setPhase('form');
+      // A limit or model refusal opens the website's dialog as a sheet, not an inline error.
+      if (openRefusal(router, cause, 'attack')) return;
+      setError(kind);
     } finally {
       if (requests.current === request) abort.current = null;
     }
@@ -172,13 +189,15 @@ export default function AttackScreen() {
       <ToolTitle title={t('nav.attack')} subtitle={t('attack.emptyDesc')} />
       <WorkingIn />
       {attacking ? (
-        <ToolProgress
-          pose="skeptical"
-          messages={PROGRESS.map((key) => t(key))}
+        <LiveToolRun
+          label={t('attack.working')}
+          run={liveRun.state}
+          sections={liveRun.state.draft ? attackDraftSections(liveRun.state.draft, t) : []}
           onCancel={() => {
             abortActive();
             setPhase('form');
           }}
+          pose="skeptical"
         />
       ) : (
         <>
@@ -236,6 +255,7 @@ export default function AttackScreen() {
             />
           </FormGroup>
           <ModelPicker feature="attack" />
+          <ContextLine feature="attack" side={'both'} />
           {error ? <ToolError title={t('attack.failed')} error={error} onRetry={() => void submit()} /> : null}
         </>
       )}
 
@@ -1,3 +1,5 @@
+import { requestSide } from '@debatelab/core/contract/debate-context';
+import { brainstormDraftSections } from '@debatelab/core/ai/live-sections';
 import type { BrainstormInput } from '@debatelab/core/ai/schemas/brainstorm';
 import { useLocalSearchParams, useRouter } from 'expo-router';
 import { useCallback, useEffect, useRef, useState } from 'react';
@@ -11,15 +13,19 @@ import { Field } from '@/components/field';
 import { FormGroup, SelectRow } from '@/components/form-rows';
 import { ModelPicker } from '@/components/model-picker';
 import { Text } from '@/components/text';
-import { ToolError, ToolProgress, ToolTitle, WorkingIn } from '@/components/tool-form';
+import { ContextLine } from '@/components/context-line';
+import { LiveToolRun, useLiveRun } from '@/components/live-run';
+import { ToolError, ToolTitle, WorkingIn } from '@/components/tool-form';
 import { AIError, isAbortError, type AIErrorKind } from '@/lib/ai-request';
 import { useAuth } from '@/lib/auth';
 import { backLabel } from '@/lib/back-label';
+import { resetContextChoices } from '@/lib/context-plan';
 import { buildDebateContext } from '@/lib/context-request';
 import { useDebates } from '@/lib/debate-context';
 import { decideMotionTarget, shouldPrefillMotion } from '@/lib/motion';
 import { chooseMotionTarget } from '@/lib/motion-gate';
 import { keepOpenResult } from '@/lib/open-results';
+import { openRefusal } from '@/lib/refusal';
 import { arrivalNotices, autosaveSources, brainstormIdeas, keepSourceAssessments, recordResult } from '@/lib/results';
 import { sessionSlot } from '@/lib/session-memory';
 import { useSettings } from '@/lib/settings';
@@ -31,8 +37,6 @@ const DEFAULT_FORM: BrainstormInput = { motion: '', side: 'both', context: '', o
 // The last form stays for the session, as on the website; session memory forgets it when the account changes.
 const lastForm = sessionSlot<BrainstormInput>(() => DEFAULT_FORM);
 
-// The website's one progress line while the tool runs.
-const PROGRESS = ['brainstorm.working'];
 
 /** Brainstorm, as the website's BrainstormPage: a native form, a calm wait, then the ideas as a document. */
 export default function BrainstormScreen() {
@@ -60,11 +64,14 @@ export default function BrainstormScreen() {
       return next;
     }), []);
 
+  const liveRun = useLiveRun();
+  const endLiveRun = liveRun.end;
   const abortActive = useCallback(() => {
     requests.current += 1;
     abort.current?.abort();
     abort.current = null;
-  }, []);
+    endLiveRun();
+  }, [endLiveRun]);
 
   useEffect(() => () => {
     live.current = false;
@@ -101,7 +108,15 @@ export default function BrainstormScreen() {
         debateId ? buildDebateContext(forUser, debateId, 'brainstorm', input.side) : Promise.resolve(undefined),
       ]);
       if (!isCurrent()) return;
-      const { result, discoveredSources, truncated, assessments } = await brainstormIdeas(input, { config, language: outputLanguage, debateContext, signal: controller.signal });
+      const { result, discoveredSources, truncated, assessments } = await brainstormIdeas(input, {
+        config,
+        language: outputLanguage,
+        debateContext,
+        signal: controller.signal,
+        live: liveRun.begin(),
+      });
+      // Review choices cover one request, as on the website.
+      resetContextChoices('brainstorm');
       if (!isCurrent()) return;
       const assessed = await keepSourceAssessments(forUser, debateId, assessments, controller.signal);
       if (!isCurrent()) return;
@@ -145,8 +160,11 @@ export default function BrainstormScreen() {
       if (!(cause instanceof AIError)) console.warn('Brainstorm failed:', cause instanceof Error ? cause.message : cause);
       // A missing debate was deleted elsewhere; reload the list so the app stops using it.
       if (kind === 'debateMissing') void refresh();
-      setError(kind);
+      liveRun.end();
       setPhase('form');
+      // A limit or model refusal opens the website's dialog as a sheet, not an inline error.
+      if (openRefusal(router, cause, 'brainstorm')) return;
+      setError(kind);
     } finally {
       if (requests.current === request) abort.current = null;
     }
@@ -206,7 +224,14 @@ export default function BrainstormScreen() {
       <ToolTitle title={t('nav.brainstorm')} subtitle={t('brainstorm.emptyDesc')} />
       <WorkingIn />
       {working ? (
-        <ToolProgress pose="idea" messages={PROGRESS.map((key) => t(key))} detail={form.motion} onCancel={cancel} />
+        <LiveToolRun
+          label={t('brainstorm.working')}
+          run={liveRun.state}
+          sections={liveRun.state.draft ? brainstormDraftSections(liveRun.state.draft, t) : []}
+          detail={form.motion}
+          onCancel={cancel}
+          pose="idea"
+        />
       ) : (
         <>
           <Field
@@ -262,6 +287,7 @@ export default function BrainstormScreen() {
             style={styles.context}
             testID="brainstorm-context"
           />
+          <ContextLine feature="brainstorm" side={requestSide('brainstorm', form)} />
           {error ? <ToolError title={t('brainstorm.failed')} error={error} onRetry={() => void submit()} /> : null}
         </>
       )}
 
@@ -1,3 +1,4 @@
+import type { CaseSection } from '@debatelab/core/ai/generate-output';
 import { useLocalSearchParams, useRouter } from 'expo-router';
 import { useEffect, useState } from 'react';
 import { useTranslation } from 'react-i18next';
@@ -9,11 +10,15 @@ import { openCitation } from '@/components/citation-target';
 import { DocumentScreen, DocumentTitle } from '@/components/document';
 import { DocumentHeader, type HeaderAction } from '@/components/document-header';
 import { DocumentStatus } from '@/components/document-status';
+import { RegeneratingStrip } from '@/components/regenerating-strip';
 import { backLabel } from '@/lib/back-label';
+import { useCaseEdits } from '@/lib/case-edits';
+import { useDebates } from '@/lib/debate-context';
 import { formatWhen } from '@/lib/dates';
 import { copyText, sharePdf, shareText } from '@/lib/export';
 import { caseExportFileName, caseExportHtml } from '@/lib/export-html';
 import { caseToText, discussCaseMessage } from '@/lib/result-text';
+import { buildFlowchartFromCase, crossfireFromCase } from '@/lib/result-links';
 import { isCompleteCase } from '@/lib/results';
 import { arrivalNoticeText, useResultDocument } from '@/lib/use-result-document';
 
@@ -23,8 +28,11 @@ export default function CaseScreen() {
   const router = useRouter();
   const { id, from, notice: arrival, failed } = useLocalSearchParams<{ id: string; from?: string; notice?: string; failed?: string }>();
   const doc = useResultDocument('case', id);
+  const { activeDebateId } = useDebates();
   const [exportOpen, setExportOpen] = useState(false);
+  const [regenerateOpen, setRegenerateOpen] = useState(false);
   const { setNotice } = doc;
+  const edits = useCaseEdits(doc.state.status === 'ready' ? doc.state.key : null, setNotice);
 
   // Problems from saving a fresh result are told once, on arrival.
   useEffect(() => {
@@ -59,7 +67,35 @@ export default function CaseScreen() {
     });
   };
 
+  const openCrossfire = () => {
+    crossfireFromCase(typeof result.input.motion === 'string' ? result.input.motion : output.metadata?.motion ?? '', output);
+    router.push({ pathname: '/crossfire', params: { from: 'case' } });
+  };
+  const buildFlowchart = () => {
+    const outcome = buildFlowchartFromCase(output, result.debateId, activeDebateId, t);
+    if (outcome === 'built') router.push({ pathname: '/flowchart', params: { from: 'case', built: '1' } });
+    else setNotice(`${t('generate.flowchartImportFailed')}. ${t(outcome === 'noData' ? 'generate.flowchartNoData' : 'generate.flowchartOtherDebate')}`);
+  };
+
+  // The website's section cards, in their order; the opening shows only when the case has one.
+  const sections: { key: CaseSection; title: string }[] = [
+    ...(output.exordio && (output.exordio.hook || output.exordio.transition) ? [{ key: 'exordio' as const, title: t('generateResults.exordio') }] : []),
+    { key: 'contentions', title: t('generateResults.arguments') },
+    { key: 'structure', title: t('generateResults.caseStructure') },
+    { key: 'opponent', title: t('generateResults.predictedOpponent') },
+    { key: 'counters', title: t('generateResults.preparedCounters') },
+  ];
+  const regeneratingTitle = sections.find((section) => section.key === edits.regenerating)?.title;
+
   const actions: HeaderAction[] = [
+    ...(edits.regenerating
+      ? []
+      : [{ key: 'regenerate', label: t('mobile.results.regenerateSection'), symbol: 'arrow.clockwise' as const, icon: 'reset' as const, onPress: () => setRegenerateOpen(true) }]),
+    ...(edits.canUndo && !edits.regenerating
+      ? [{ key: 'undo', label: t('generateResults.undo'), symbol: 'arrow.uturn.backward' as const, icon: 'history' as const, onPress: () => void edits.undo() }]
+      : []),
+    { key: 'crossfire', label: t('crossfire.openFromResult'), symbol: 'person.2.wave.2', icon: 'swords', onPress: openCrossfire },
+    { key: 'flowchart', label: t('mobile.results.buildFlowchart'), symbol: 'point.3.connected.trianglepath.dotted', icon: 'branch', onPress: buildFlowchart },
     { key: 'discuss', label: t('common.discuss'), symbol: 'bubble.left.and.bubble.right', icon: 'chat', onPress: () => router.push({ pathname: '/ask', params: { prompt: discussCaseMessage(output) } }) },
     ...(result.savedId ? [] : [{ key: 'save', label: t('common.save'), symbol: 'square.and.arrow.down' as const, icon: 'download' as const, onPress: () => void doc.save() }]),
     ...(doc.autoSaved.length > 0
@@ -73,6 +109,7 @@ export default function CaseScreen() {
       testID="case-document"
       outline
       notice={doc.notice}
+      noticeTone={doc.noticeTone}
       header={<DocumentHeader backLabel={back} onShare={() => run(() => shareText(title, caseToText(output)))} actions={actions} />}
       // "Attack this case" is the longer label, so it gets the wider button.
       actionWidths={[1.3, 1]}
@@ -89,7 +126,17 @@ export default function CaseScreen() {
         </>
       }>
       <DocumentTitle title={title} meta={t('mobile.results.generatedMeta', { side, when: formatWhen(generatedAt) })} />
+      {regeneratingTitle ? <RegeneratingStrip title={regeneratingTitle} /> : null}
       <CaseDocument output={output} library={doc.library} sources={result.sources} onCite={(target) => openCitation(router, target)} />
+      <ActionMenu
+        visible={regenerateOpen}
+        title={t('mobile.results.regenerateSection')}
+        testID="regenerate-menu"
+        items={sections.map((section) => ({ key: section.key, label: t('common.regenerate', { title: section.title }), icon: 'reset' as const }))}
+        cancelLabel={t('common.cancel')}
+        onClose={() => setRegenerateOpen(false)}
+        onSelect={(choice) => void edits.regenerate(choice as CaseSection)}
+      />
       <ActionMenu
         visible={exportOpen}
         title={t('common.export')}