UPDATE symbols
   SET status = 'TESTED',
       phase = '1_protocol_core',
       notes = COALESCE(notes, '') || char(10) ||
               '2026-05-16: C++ equivalence tests passed: 28 tests in migration/tests/test_fragmentation_cpp_equivalence.py.'
 WHERE source_file = 'src/ble_reticulum/BLEFragmentation.py'
   AND symbol_name IN (
       'BLEFragmenter',
       '__init__',
       'fragment_packet',
       'get_fragment_overhead',
       'BLEReassembler',
       'receive_fragment',
       '_reassemble',
       'cleanup_stale_buffers',
       'get_statistics',
       'reset_statistics',
       'HDLCFramer',
       'frame_packet',
       'deframe_packet'
   );