feat: update heap size for MQTT demo and adjust binary path in flash script

Author: test

Cargo.toml

@@ -47,6 +47,13 @@ resolver = "2"
 # Note: build aimdb-core only by default. Use make all to build the full workspace!
 default-members = ["aimdb-core"]
 
+# debug = 2 embeds full DWARF location info; without it, probe-rs/defmt can't
+# resolve file:line for release-profile embedded binaries ("insufficient
+# DWARF info" at runtime). No effect on codegen or binary size — only debug
+# sections grow.
+[profile.release]
+debug = 2
+
 [workspace.package]
 version = "1.1.0"
 edition = "2021"

docs/design/044-embassy-mqtt-tls.md

@@ -177,11 +177,14 @@ EMQX credential (issue 007) land.
 
 ## 8. Cost
 
-On the reference STM32H563ZI (640 KB RAM / 2 MB flash), the TLS build adds
-~21 KB of statically-allocated RAM (16 640 + 4 096 record buffers, D10) plus
-the handshake's stack transient, and roughly 150–250 KB of flash
-(p256 + rsa + p384 + SHA-2 + embedded-tls). Comfortable here; a smaller
-part could drop `rsa`/`p384` (features are additive pass-throughs) and pin
+On the reference STM32H563ZI (640 KB RAM / 2 MB flash), measured on
+`embassy-mqtt-connector-demo` (`arm-none-eabi-size`, release profile): the
+TLS build adds 21 568 bytes of statically-allocated RAM (16 640 + 4 096
+record buffers, D10, matching the estimate exactly) plus the handshake's
+stack transient, and ~351 KB of flash — p256 + rsa + p384 + SHA-2 +
+embedded-tls, plus the embedded CA and the TLS-path additions to the
+mountain-mqtt fork port. Comfortable here; a smaller part could drop
+`rsa`/`p384` (features are additive pass-throughs) and pin
 its broker CA chain to P-256.
 
 ## 9. Open questions

examples/embassy-mqtt-connector-demo/flash.sh

@@ -6,7 +6,7 @@
 
 set -e
 
-BINARY="../../target/thumbv8m.main-none-eabihf/debug/embassy-mqtt-connector-demo"
+BINARY="../../target/thumbv8m.main-none-eabihf/release/embassy-mqtt-connector-demo"
 
 if [ ! -f "$BINARY" ]; then
     echo "Error: Binary not found at $BINARY"

examples/embassy-mqtt-connector-demo/src/main.rs

@@ -221,7 +221,7 @@ async fn main(spawner: Spawner) {
     // Initialize heap for the allocator
     {
         use core::mem::MaybeUninit;
-        const HEAP_SIZE: usize = 49152; // 48KB heap (MQTT + serial AimX server JSON)
+        const HEAP_SIZE: usize = 98304; // 96KB heap (MQTT + serial AimX server JSON)
         static mut HEAP: [MaybeUninit<u8>; HEAP_SIZE] = [MaybeUninit::uninit(); HEAP_SIZE];
         unsafe {
             let heap_ptr = core::ptr::addr_of_mut!(HEAP);