# Firmware memory budget
# Scope: Byte counts represented as dimensionless counts; decimal bytes, no alignment model.
# Status: illustrative worked example; engineering review pending.
# Inputs are example values. Checks are editable example requirements, not standards.

flashAvailable = 262144
code = 100000
constants = 20000
ramAvailable = 65536
buffers = 12000
stack = 8000

flashUsed := code+constants
flashReserve := flashAvailable-flashUsed
ramUsed := buffers+stack
ramReserve := ramAvailable-ramUsed

check flash fits: flashUsed <= flashAvailable
check RAM fits: ramUsed <= ramAvailable

scenario alternative: flashAvailable = 209715