[red] reproduce landscape keyboard panel overflow

Signed-off-by: Viwat Vchirawongkwin <viwat.v@chula.ac.th>

Author: yyods

app/test/widget/app_shell_test.dart

@@ -92,6 +92,62 @@ Future<void> _focusLandscapeBlocks(WidgetTester tester) async {
 }
 
 void main() {
+  group('landscape software keyboard', () {
+    for (final double inset in <double>[404, 440]) {
+      testWidgets('keeps editing and navigation usable with $inset dp inset', (
+        WidgetTester tester,
+      ) async {
+        const ShellSurface lenovo = ShellSurface(
+          'lenovo_landscape',
+          Size(2000 / 1.5, 800),
+          1.5,
+        );
+        await pumpShell(
+          tester,
+          connection: fakeConnection(initial: ConnState.ready),
+          surface: lenovo,
+        );
+        final Finder editor = find.byType(EditableText).first;
+        await tester.tap(editor);
+        await tester.enterText(editor, '# keyboard recovery check');
+        tester.view.viewInsets = FakeViewPadding(bottom: inset * 1.5);
+        addTearDown(tester.view.resetViewInsets);
+        await tester.pumpAndSettle();
+
+        expect(tester.takeException(), isNull);
+        expect(tester.getSize(editor).height, greaterThanOrEqualTo(80));
+        expect(tester.getRect(editor).bottom, lessThanOrEqualTo(800 - inset));
+        expect(
+          tester
+              .widget<ConsoleStripView>(find.byType(ConsoleStripView))
+              .collapsed,
+          isTrue,
+        );
+        expect(
+          tester.widget<EditableText>(editor).controller.text,
+          '# keyboard recovery check',
+        );
+        final Finder blocks = _landscapeBlocksDestination();
+        await tester.ensureVisible(blocks);
+        expect(blocks.hitTestable(), findsOneWidget);
+
+        tester.view.resetViewInsets();
+        await tester.pumpAndSettle();
+        expect(tester.takeException(), isNull);
+        expect(
+          tester
+              .widget<ConsoleStripView>(find.byType(ConsoleStripView))
+              .collapsed,
+          isFalse,
+        );
+        expect(
+          tester.widget<EditableText>(editor).controller.text,
+          '# keyboard recovery check',
+        );
+      });
+    }
+  });
+
   group('A-05 shell renders and binds to Connection', () {
     testWidgets('shows the IDE navigation destinations on iPad landscape '
         '(connected)', (tester) async {

docs/specifications/App/specs.md

@@ -1011,6 +1011,7 @@ implementation:
 - **FR-UI-5** — The layout MUST be tablet-first but MUST NOT break on a phone (phone is best-effort). MUST (*source: PRD §13.2, §19, app.md §5; verify: golden; story: A-20*)
 - **FR-UI-6** — Interactive controls MUST use large touch targets and MUST clearly communicate connection and run state (disconnected/connecting/ready/running/error). MUST (*source: PRD §13.2; verify: golden; story: A-22*)
 - **FR-UI-7** — No UI panel MUST bind to BLE directly; every panel binds to `Connection`. MUST (*source: PRD §19, app.md §1; verify: unit; story: all A-2x/3x*)
+- **FR-UI-8** — With a landscape software keyboard open, the connected shell MUST retain a usable editor viewport and reachable navigation without panel overflow. The console output strip MUST temporarily collapse to its status/actions bar while retaining buffered output; expanding it dismisses the keyboard. Navigation destinations MUST remain reachable by scrolling when height is constrained. Closing the keyboard restores the ordinary console layout and preserves the current document and selection. MUST (*source: FR-UI-1/5/6, NFR-A11Y-3; verify: widget and physical keyboard observations*)
 
 ### 4.14 Scan/Connect Flow UI (`lib/connect/`) — FR-CONNECT