Spannerの「外部整合性」が保証されていることを証明する仕組みはどれか。

Spannerは原子時計とGPSを利用したTrueTime APIにより、グローバルな時間の一貫性と外部整合性を実現している。