[green] Show board ID and firmware on connect

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

Author: yyods

app/lib/connect/connect_screen.dart

@@ -8,17 +8,18 @@
 ///
 ///   readiness banner (adapter-off / unauthorized / unsupported rationale)
 ///   → filtered scan CTA → live [ScanHit] list (advertised name + RSSI)
-///   → connecting progress → connected Board-info card (chip / MicroPython /
-///   free memory — the round-trip PROOF) + Disconnect → failure prompt,
+///   → connecting progress → connected Board-info card (board ID / PyBLE
+///   firmware / chip / MicroPython / free memory — the round-trip PROOF)
+///   + Disconnect → failure prompt,
 ///
 /// plus an always-on compact diagnostics panel (adapter state, scan running,
 /// boards seen, last error) for on-hardware (HIL) debugging.
 ///
 /// Binds ONLY to the neutral [ConnectController] over the [ConnectionManager]
 /// seam (CON-8, FR-BLE-8): NO `lib/ble` / `flutter_blue_plus` import, never a
 /// raw device list (SEC-4). All copy is sourced from [AppLocalizations];
-/// technical identifiers (the chip target, RSSI dBm, byte counts) render
-/// verbatim (FR-I18N-4).
+/// technical identifiers (board ID, firmware versions, chip target, RSSI dBm,
+/// byte counts) render verbatim (FR-I18N-4).
 library;
 
 import 'package:flutter/material.dart';
@@ -416,7 +417,20 @@ class _ConnectedView extends StatelessWidget {
                       ),
                     )
                   else ...<Widget>[
-                    // Chip is a technical identifier — rendered verbatim (FR-I18N-4).
+                    // These PBLE/1 values are display-only technical identifiers:
+                    // render them verbatim and never substitute ScanHit.id (SEC-9).
+                    _InfoRow(
+                      label: l10n.connectDeviceBoardId,
+                      value: info.deviceId.isEmpty
+                          ? l10n.connectDeviceNotReported
+                          : info.deviceId,
+                    ),
+                    _InfoRow(
+                      label: l10n.connectDeviceAgentVersion,
+                      value: info.agentVersion.isEmpty
+                          ? l10n.connectDeviceNotReported
+                          : info.agentVersion,
+                    ),
                     _InfoRow(label: l10n.connectDeviceChip, value: info.chip),
                     _InfoRow(
                       label: l10n.connectDeviceMpyVersion,

app/lib/localization/arb/app_en.arb

@@ -1311,6 +1311,18 @@
   "@connectDeviceInfoTitle": {
     "description": "Title of the connected-board information card, which proves the round-trip by showing live DeviceInfo."
   },
+  "connectDeviceBoardId": "Board ID",
+  "@connectDeviceBoardId": {
+    "description": "Label for the display-only PBLE/1 device_id in the board-info card. The value is rendered verbatim and is never the platform scan identifier or an authorization/profile gate."
+  },
+  "connectDeviceAgentVersion": "PyBLE firmware",
+  "@connectDeviceAgentVersion": {
+    "description": "Label for the PyBLE agent firmware SemVer in the board-info card. The value is rendered verbatim and is distinct from the MicroPython version."
+  },
+  "connectDeviceNotReported": "Not reported",
+  "@connectDeviceNotReported": {
+    "description": "Fallback shown when an additive Board ID or PyBLE firmware value is empty; absence does not gate the connection."
+  },
   "connectDeviceChip": "Chip",
   "@connectDeviceChip": {
     "description": "Label for the board's chip target in the board-info card. The value (e.g. esp32, esp32-s3, esp32-c3) is a technical identifier rendered verbatim (FR-I18N-4)."

app/lib/localization/gen/app_localizations.dart

@@ -1667,6 +1667,24 @@ abstract class AppLocalizations {
   /// **'Board info'**
   String get connectDeviceInfoTitle;
 
+  /// Label for the display-only PBLE/1 device_id in the board-info card. The value is rendered verbatim and is never the platform scan identifier or an authorization/profile gate.
+  ///
+  /// In en, this message translates to:
+  /// **'Board ID'**
+  String get connectDeviceBoardId;
+
+  /// Label for the PyBLE agent firmware SemVer in the board-info card. The value is rendered verbatim and is distinct from the MicroPython version.
+  ///
+  /// In en, this message translates to:
+  /// **'PyBLE firmware'**
+  String get connectDeviceAgentVersion;
+
+  /// Fallback shown when an additive Board ID or PyBLE firmware value is empty; absence does not gate the connection.
+  ///
+  /// In en, this message translates to:
+  /// **'Not reported'**
+  String get connectDeviceNotReported;
+
   /// Label for the board's chip target in the board-info card. The value (e.g. esp32, esp32-s3, esp32-c3) is a technical identifier rendered verbatim (FR-I18N-4).
   ///
   /// In en, this message translates to:

app/lib/localization/gen/app_localizations_en.dart

@@ -965,6 +965,15 @@ class AppLocalizationsEn extends AppLocalizations {
   @override
   String get connectDeviceInfoTitle => 'Board info';
 
+  @override
+  String get connectDeviceBoardId => 'Board ID';
+
+  @override
+  String get connectDeviceAgentVersion => 'PyBLE firmware';
+
+  @override
+  String get connectDeviceNotReported => 'Not reported';
+
   @override
   String get connectDeviceChip => 'Chip';