# DB-ACID-001 — Kanıt dizini

Bu sayfa, yazar tarafından sağlanan komut ve özet çıktı kayıtlarını dizinler. JSON dosyaları orijinal dxlab dışa aktarımı veya tam istemci günlükleri değildir. Veritabanları bu editoryal incelemede yeniden çalıştırılmadı.

[ZIP](/downloads/db-acid-001/db-acid-001-evidence-v0.2.zip)

## ms22.run.json

### SETUP / CLEANUP

```text
SETUP: surum=16 rcsi=0 varsayilan_izolasyon_kodu=2
```

### E1a

```text
E1a: hata_goruldu=1 bakiyeler(ali,veli)=50,100
```

### E1b

```text
E1b: hata_yakalandi=1 bakiyeler(ali,veli)=100,100
```

### E2

```text
E2: A_okudu=0 (gercek=100, B_commitlenmemis=0) dirty_read=evet
```

### E3a

```text
E3a: seviye=READ COMMITTED ilk=100 ikinci=150 tekrarlanabilir=hayir B_update_bekleme_sn=0
```

### E3b

```text
E3b: seviye=REPEATABLE READ ilk=100 ikinci=100 tekrarlanabilir=evet B_update_bekleme_sn=2
```

### E4

```text
E4: seviye=REPEATABLE READ ilk=2 ikinci=3 phantom=evet B_insert_bekleme_sn=0
```

### E4b

```text
E4b: seviye=SERIALIZABLE ilk=2 ikinci=2 phantom=hayir B_insert_bekleme_sn=2
```

### E5a

```text
E5a: seviye=REPEATABLE READ A_gordu=200 B_gordu=200 deadlock=1 son_toplam=140 kural(toplam>=100)_ihlali=hayir
```

### E5b

```text
E5b: seviye=SERIALIZABLE A_gordu=200 B_gordu=200 deadlock=1 son_toplam=140 kural(toplam>=100)_ihlali=hayir
```

### E5c

```text
E5c: seviye=SNAPSHOT A_gordu=200 B_gordu=200 deadlock=0 son_toplam=80 kural(toplam>=100)_ihlali=evet
```

### E8a

```text
E8a: rcsi=OFF bloklandi=evet okunan= sure_sn=3
```

### E8b

```text
E8b: rcsi=ON bloklandi=hayir okunan=100 sure_sn=0
```

### E8

```text
E8: rcsi_geri_alindi
```

### E6

```text
E6: yazildi ali.balance=777
```

### E6

```text
E6: restart_sonrasi ali.balance=777
```

### SETUP / CLEANUP

```text
TEMIZLIK: tamam
```

## my84.run.json

### SETUP / CLEANUP

```text
SETUP: surum=8.4.11 varsayilan_izolasyon=REPEATABLE-READ
```

### E1a

```text
E1a: hata_goruldu=1 bakiyeler(ali,veli)=50,100
```

### E1b

```text
E1b: hata_goruldu=1 bakiyeler(ali,veli)=100,100
```

### E2

```text
E2: A_okudu=0 (gercek=100, B_commitlenmemis=0) dirty_read=evet
```

### E3a

```text
E3a: seviye=READ COMMITTED ilk=100 ikinci=150 tekrarlanabilir=hayir
```

### E3b

```text
E3b: seviye=REPEATABLE READ ilk=100 ikinci=100 tekrarlanabilir=evet
```

### E4

```text
E4: seviye=REPEATABLE READ ilk=2 ikinci=2 phantom=hayir B_insert_bekleme_sn=0
```

### E4b

```text
E4b: seviye=SERIALIZABLE ilk=2 ikinci=2 phantom=hayir B_insert_bekleme_sn=2
```

### E5a

```text
E5a: seviye=REPEATABLE READ A_gordu=200 B_gordu=200 deadlock=0 son_toplam=80 kural(toplam>=100)_ihlali=evet
```

### E5b

```text
E5b: seviye=SERIALIZABLE A_gordu=200 B_gordu=200 deadlock=1 son_toplam=140 kural(toplam>=100)_ihlali=hayir
```

### E6

```text
E6: yazildi ali.balance=777
```

### E6

```text
E6: restart_sonrasi ali.balance=777
```

### SETUP / CLEANUP

```text
TEMIZLIK: tamam
```

## pg16.run.json

### SETUP / CLEANUP

```text
SETUP: surum=16.15 (Debian 16.15-1.pgdg13+2) varsayilan_izolasyon=read committed
```

### E1a

```text
E1a: hata_goruldu=1 bakiyeler(ali,veli)=100,100
```

### E1b

```text
E1b: hata_goruldu=1 bakiyeler(ali,veli)=100,100
```

### E2

```text
E2: A_okudu=100 (gercek=100, B_commitlenmemis=0) dirty_read=hayir
```

### E3a

```text
E3a: seviye=READ COMMITTED ilk=100 ikinci=150 tekrarlanabilir=hayir
```

### E3b

```text
E3b: seviye=REPEATABLE READ ilk=100 ikinci=100 tekrarlanabilir=evet
```

### E4

```text
E4: seviye=REPEATABLE READ ilk=2 ikinci=2 phantom=hayir
```

### E4b

```text
E4b: seviye=SERIALIZABLE ilk=2 ikinci=2 phantom=hayir
```

### E5a

```text
E5a: seviye=REPEATABLE READ A_gordu=200 B_gordu=200 serialization_hatasi=0 son_toplam=80 kural(toplam>=100)_ihlali=evet
```

### E5b

```text
E5b: seviye=SERIALIZABLE A_gordu=200 B_gordu=200 serialization_hatasi=1 son_toplam=140 kural(toplam>=100)_ihlali=hayir
```

### E6

```text
E6: yazildi ali.balance=777
```

### E6

```text
E6: restart_sonrasi ali.balance=777
```

### SETUP / CLEANUP

```text
TEMIZLIK: tamam
```

## pg17.run.json

### SETUP / CLEANUP

```text
SETUP: surum=17.11 (Debian 17.11-1.pgdg13+2) varsayilan_izolasyon=read committed
```

### E1a

```text
E1a: hata_goruldu=1 bakiyeler(ali,veli)=100,100
```

### E1b

```text
E1b: hata_goruldu=1 bakiyeler(ali,veli)=100,100
```

### E2

```text
E2: A_okudu=100 (gercek=100, B_commitlenmemis=0) dirty_read=hayir
```

### E3a

```text
E3a: seviye=READ COMMITTED ilk=100 ikinci=150 tekrarlanabilir=hayir
```

### E3b

```text
E3b: seviye=REPEATABLE READ ilk=100 ikinci=100 tekrarlanabilir=evet
```

### E4

```text
E4: seviye=REPEATABLE READ ilk=2 ikinci=2 phantom=hayir
```

### E4b

```text
E4b: seviye=SERIALIZABLE ilk=2 ikinci=2 phantom=hayir
```

### E5a

```text
E5a: seviye=REPEATABLE READ A_gordu=200 B_gordu=200 serialization_hatasi=0 son_toplam=80 kural(toplam>=100)_ihlali=evet
```

### E5b

```text
E5b: seviye=SERIALIZABLE A_gordu=200 B_gordu=200 serialization_hatasi=1 son_toplam=140 kural(toplam>=100)_ihlali=hayir
```

### E6

```text
E6: yazildi ali.balance=777
```

### E6

```text
E6: restart_sonrasi ali.balance=777
```

### SETUP / CLEANUP

```text
TEMIZLIK: tamam
```

## Sınırlar

Tek çalıştırma; bariyersiz zamanlama; saniye çözünürlüklü süreler; SQL Server tam build/CU ve etkin ayarların eksik kaydı. E6 kontrollü yeniden başlatmadır. `acid-env-*.yaml` için çalıştırma çıktısı yoktur. Ayrı bağlantıdaki ortam kaydı deney oturumunun durumunu kanıtlamaz.