CRDTs tolerantes a faltas bizantinas, verificação de invariantes de domínio e arquiteturas local-first para interoperabilidade na Administração Pública: uma revisão sistemática da literatura