# Copyright (c) reifydb.com 2025
# This file is licensed under the AGPL-3.0-or-later

# This file includes and modifies code from the toydb project (https://github.com/erikgrinaker/toydb),
# originally licensed under the Apache License, Version 2.0.
# Original copyright:
#   Copyright (c) 2024 Erik Grinaker
#
# The original Apache License can be found at:
#   http://www.apache.org/licenses/LICENSE-2.0

# A fuzzy (or unrepeatable) read is when t2 sees a value change after t1
# updates it. Snapshot isolation prevents this.

# Set up some initial data.
import key=0
---
ok

t1: begin
t2: begin
---
ok

t2: get key
---
t2: "key" → "0"

t1: set key=1
t1: commit
---
ok

t2: get key
---
t2: "key" → "0"
