fix FFI write lock stall and attestation source divergence and fix fmt#88

ArtiomTr merged 1 commit intograndinetech:devnet-3grandinetech/lean:devnet-3from

bomanaps:fix/attestation-source-head-statebomanaps/lean:fix/attestation-source-head-stateCopy head branch name to clipboard