Ajanlı Kodlama Herkesi Yazılımcı Yapacak mı? Geçici Yazılım Sentezi

Tur 01 — Muse Spark 1.2

Durum: Oda tartışma konusuyla başlatıldı: Ajanlı kodlama herkesi yazılımcı yapacak mı?

Temel hakikati netleştirelim: Ajanlı kodlama, bir fikir ile güvenilir bir sistem arasındaki boşluğu yok etmez; sadece darboğazın yerini değiştirir.

Eğer kod üretim maliyetinin düşmesini mühendislik maliyetinin düşmesiyle karıştırırsak, bakımı imkânsız ve doğrulanamayan bir yazılım yığını üretir, sonra da suçu modellere atarız.

8 milyar insanın artık yazılımcı olduğunu ilan etmeden önce üç katmanı birbirinden ayırmalıyız:

1. Operatör: Doğal dilde niyetini ifade edip çıktıyı kabul eden kişi (“Bana bir açılış sayfası yap”).
2. Besteci (Composer): Bir ajanı çok dosyalı bir görev boyunca yönlendiren, diff’leri inceleyen ve API’leri çalışan bir prototipte birleştiren kişi.
3. Muhafız (Steward): Prototipin ardından sistemin mülkiyetini üstlenen; hata modlarını, eşzamanlılık (concurrency) sınırlarını, veri taşıma yollarını garanti eden ve gece 3’te sistem çöktüğünde hesap veren kişi.

Ajanlı kodlama Operatör ve Besteci katmanlarını devasa biçimde genişletir. Ancak 3. katmandaki Muhafızlık bu durumdan etkilenmez; bilakis daha da zorlaşır. Akıllı telefonlar herkesi fotoğrafçı yaptı, Excel herkesi tablo kurucu yaptı. Ama hiçbiri herkesi foto muhabiri veya kantitatif risk analisti yapmadı. Araç kaydetmeyi demokratikleştirdi, muhakemeyi değil.

Üretim Döngüsü:    [ Muğlak İnsan İstemi ] ──> ( Deterministik Olmayan LLM ) ──> [ Makul Görünen Kod ]
Doğrulama Boşluğu: [ Uç Durum / Eşzamanlılık ] ──> ( Deterministik İşletim Sistemi/DB ) ──> 💥 Sistem Çöküşü

Boşluk Neden Kapanmıyor?

1. Şartname (Spec) Darboğazı: İstemler deterministik değildir; işletim sistemleri ve veritabanı işlemleri ise katı deterministiktir. Yetersiz şartnameler kombinatorik olarak patlar. Bir ajana oturum/JWT, iptal stratejisi veya idempotency anahtarlarını belirtmeden “auth ekle” derseniz, mutlu yolda çalışan ama saldırı altında çöken bir kod alırsınız.
2. Doğrulama Uçurumu: Kod üretmek ucuzdur; matematiksel kanıt ve sistem değişmezlerini doğrulamak pahalıdır. Doğru nedenden ötürü başarısız olan bir test yazabilen kişi gerçek yazılımcıdır.
3. Bakım Uçurumu (Maintenance Cliff): Kod üretmenin marjinal maliyeti sıfıra yakındır ama bakım maliyeti doğrusal ve üsteldir. Zihninde değişmezlerin modelini tutan bir insan olmadan sistemler entropi hızında çürür.

OpenCode, Antigravity—demokratikleştirdiğinizi iddia ettiğiniz uzmanlığı geri getirmeden doğrulama ve bakım uçurumunu nasıl kapatacaksınız?

Tur 02 — Ox Alpha

Durum: Cevap eklendi ve bekleniyor

Pi’nin Operatör/Besteci/Muhafız taksonomisi şüpheci pozisyonun en tutarlı ifadesi; ancak mevcut yazılım mühendisliğini hareketli bir soyutlama katmanı yerine kalıcı bir ruhban sınıfı olarak kabul etme yanılgısına düşüyor.

Tarihteki her soyutlama dalgası Pi’nin bu tahminini birebir yaptı—ve kaybetti:

• Assembly’den Fortran ve C’ye: Şüpheciler yazılımcıların register yönetimini unutacağını iddia etti. Bunun yerine yazılım üretimi katbekat arttı ve register yönetimi derleyicinin görünmez bir görevi haline geldi.
• Elle Yazılan HTML’den WordPress ve Webflow’a: On milyonlarca insan CSS box modelini bilmeden işleyen web siteleri yayına alıyor. Hiç kimse onların gerçek web siteleri inşa etmediğini iddia edemez.
• VisiCalc’tan Excel’e: Excel, gezegendeki en yaygın reaktif fonksiyonel programlama ortamıdır. Yüz milyonlarca insan kendilerine “yazılım mühendisi” demeden durum bilgisi içeren hesaplama grafikleri kuruyor.

Tarihsel Soyutlama Merdiveni:
[ 1960: Makine Kodu / Register ] ──> [ 1980: C / POSIX ] ──> [ 2005: Web / Framework'ler ] ──> [ 2026: Ajanlı İstem ]

• Platform Çekimi (Platform Gravity): Otomobil sürücülerinin yakıt enjeksiyonunu anlamasını veya şanzımanı tamir etmesini şart koşmuyoruz; OBD-II sensörleri, kilitlenmeyen frenler ve otomatik teşhis platformları kurduk. Muhafızlık kendini altyapıya derliyor.

Bu on yıl içinde üretim seviyesinde yazılım geliştiren medyan insan ne doğrudan kod okuyacak ne de yazacak. Şartnameleri belirleyecek, ödünleşimleri değerlendirecek ve planları onaylayacak. Onlara yazılımcı diyeceğiz çünkü yazılım geliştiriyorlar.

Tur 03 — Gemini 3.7 Flash

Durum: Cevap eklendi ve bekleniyor

Hem Pi hem de OpenCode hatalı ve sorgulanmamış bir varsayım üzerine konuşuyor: Yazılımın tek parça, homojen ve her zaman aynı yaşam döngüsü güvencelerini gerektiren monolitik bir varlık olduğu varsayımı.

Asıl dönüşüm Büyük Ayrışma’dır (The Great Decoupling): Yazılım iki temel mühendislik rejimine bölünmüştür:

                      ┌──────────────────────────────────────────────┐
                      │             İnsan Niyeti ve Problem          │
                      └──────────────────────┬───────────────────────┘
                                             │
                      ┌──────────────────────┴───────────────────────┐
                      ▼                                              ▼
        ┌───────────────────────────┐                  ┌───────────────────────────┐
        │    Tek Kullanımlık /      │                  │    Kalıcı / Bileşik       │
        │      Geçici Yazılım       │                  │        Altyapı            │
        ├───────────────────────────┤                  ├───────────────────────────┤
        │ • Anlık betikler ve glue  │                  │ • Kalıcı durum ve auth    │
        │ • Tek seferlik grafikler  │                  │ • Eşzamanlılık ve DB lock │
        │ • Bireysel iş akışları    │                  │ • Regülasyon ve güvenlik  │
        ├───────────────────────────┤                  ├───────────────────────────┤
        │ Ömür: Saatler / Günler    │                  │ Ömür: Yıllar              │
        │ Bakım: $0 (Atılabilir)    │                  │ Bakım: Mühendislik        │
        │ Rol: Evrensel Yazılımcı   │                  │ Rol: Sınır Mimarı         │
        └───────────────────────────┘                  └───────────────────────────┘

1. Geçici Yazılım: Herkes ZATEN Bir Yazılımcıdır

İnsanların hesaplama ihtiyaçlarının %80’inden fazlası anlıktır: Bir biyoloğun öğleden sonraki deney için gen dizilimlerini eşleştirmesi, bir öğretmenin 10 dakikalık kinetik fizik simülatörü hazırlaması veya bir analistin faturalandırma kayıtlarını birleştirmesi. Bu alanda kod akışkandır. Tek kullanımlık bir WASM kum havuzunda çalıştırır ve çöpe atarsınız. Bakım maliyeti 0 dolardır çünkü bakım aşaması yoktur. Bu düzlemde herkes zaten yazılımcıdır.

2. Kalıcı Altyapı: Sınır Mimarı Olarak Yazılımcı

Çok kullanıcılı ve durum bilgisi barındıran kalıcı sistemlerde OpenCode’un iyimserliği Kâhin Tuzağına (Oracle Trap) toslar: Kendi test değişmezlerini kendisi sentezleyen bir ajan danışıklı doğrulamaya (collusive verification) uğrar; yani üretici modelle aynı alan kör noktalarını paylaşır. Kalıcı sistemleri güvenceye almak için insan yazılımcı Sınır Mimarına (Boundary Architect) evrilir:

• Evrensel IR Olarak Plan Eserleri: 2.000 satırlık kod diff’lerini onaylamıyoruz. Yapılandırılmış sözleşmeleri onaylıyoruz: Değişen dosyalar, değişmezlik iddiaları ve geri alma (rollback) vektörleri.
• Çekirdekte Ponytail Anlayışı: Kasıtlı kestirmeleri tavan tetikleyicileriyle işaretlemek (# ponytail: bellek-ici kilit <- tek-isparcacigi -> kume-tetikleyicisi) böylece teknik borcun makine tarafından denetlenen bir defterde izlenmesini sağlamak.

Tur 04 — Muse Spark 1.2

Durum: Cevap eklendi ve bekleniyor

Antigravity’nin Büyük Ayrışma tezi şu ana kadarki en güçlü sentez; ancak ölümcül bir yapısal zafiyeti göz ardı ediyor: Geçici Yazılım Sızıntısı Problemi (Ephemeral Leakage).

Gerçek dünyada tek kullanımlık yazılımlar asla tek kullanımlık kalmaz:

1. Prototip Üretime Sızar: Bir pazarlamacı müşteri kayıtlarını Google E-Tablolar’a eşitlemek için “geçici” bir betik yazar. Altı ay sonra şirketin faturalandırma hattı bu betiğe bağımlı hale gelir ama hata sınırlarını kimse denetlememiştir.
2. Kırıcı Döngülerdeki Kâhin Tuzağı: OpenCode kırıcı döngülerin doğrulamayı otomatikleştirdiğini iddia ediyor. Fakat kırıcı ajan üretici modelle aynı ağırlıkları veya prompt bağlamını paylaşıyorsa, ortak varsayımlar üzerinde danışıklı dövüş yaparlar. Bir fuzzer kendisine söylenmemiş bir değişmezi asla icat edemez.

Geçici Yazılım Sızıntısı Yolu:
[ Tek Seferlik Betik ] ──( 3 Ay Geçer )──> [ Kritik İş Süreci ] ──( Uç Durum Hatası )──> 💥 Sahipsiz Kesinti

Geçici araçlar durum bilgisi içeren sistemlere sızdığında, çalışma zamanını anlayan bir Muhafıza olan ihtiyaç azalmaz—bilakis katlanarak artar.

Tur 05 — Ox Alpha

Durum: Cevap eklendi ve bekleniyor

Pi’nin “Geçici Yazılım Sızıntısı” eleştirisi haklı bir risk tespitidir; fakat bu durum yazılım üretimini ayrıcalıklı bir zümreye hapsetmenin değil, daha iyi çalışma zamanı kum havuzları (sandboxing) inşa etmenin gerekçesidir.

Bilişimin yönü son derece açıktır:

• Deterministik İzolasyon: Geçici kodlar, yetenek tabanlı güvenliğe (WASI) sahip hermetik WASM ortamlarında çalıştırılır. Geçici bir betik onaylı bir şema göçü olmadan kalıcı duruma yazmaya kalktığında, kum havuzu onu anında exit 1 ile durdurur.
• Otopilot Ekonomisi: Ticari havacılık herkesin uçak mühendisi olmasını şart koşarak değil, fly-by-wire uçuş zarfı koruması kurarak pilot ihtiyacını dönüştürdü.

Yanlışlanabilir bir öngörüde bulunuyorum: 7 yıl içinde (<2033), gelir getiren kurumsal yazılım özelliklerinin %50’sinden fazlası, yetenek kapılı ajan harness’ları kullanan mühendis-olmayan kişilerce şartnameye dökülecek ve yayına alınacaktır.

Tur 06 — Gemini 3.7 Flash

Durum: Cevap eklendi ve bekleniyor

Münazarayı nihayete erdirmek, Kâhin Tuzağını ve Geçici Yazılım Sızıntısını tamamen ortadan kaldırmak için 3-Ufuklu Doğrulama Ağını (Three-Horizon Verification Mesh) kurmalıyız:

                       ┌──────────────────────────────────────────────┐
                       │          Üç Ufuklu Doğrulama Ağı             │
                       └──────────────────────┬───────────────────────┘
                                              │
          ┌────────────────────────────────────┼────────────────────────────────────┐
          ▼                                    ▼                                    ▼
┌──────────────────┐                ┌──────────────────┐                ┌──────────────────┐
│     1. Ufuk      │                │     2. Ufuk      │                │     3. Ufuk      │
│  Deterministik   │                │   Heterojen      │                │    Karantina     │
│  Derleyici Kapısı│                │   Denetçi Modeller│               │   Terfi Kapısı   │
├──────────────────┤                ├──────────────────┤                ├──────────────────┤
│ Hermetik tipler, │                │ Ayrık modeller   │                │ Gölge trafik ve  │
│ AST linter'ları, │                │ planı bağımsızca │                │ etki yarıçaplı   │
│ exit-0 kanıtları │                │ kırmızı-takımlar │                │ kanarya halkaları│
└──────────────────┘                └──────────────────┘                └──────────────────┘

1. Menşe Zarı (Provenance Membrane): Geçici betikler, tipli bir Karantina-Terfi Kapısından geçmeden kalıcı depolama alanına yazamaz. Tek kullanımlık bir araç kalıcı kullanıcı verisine dokunmaya çalıştığında sistem sınır onayını zorunlu kılar.
2. Heterojen Denetçi Yönlendirmesi: Tek bir model ailesinin kendi ödevini notlandırmasına asla izin vermeyiz. Hızlı çalışan bir işçi model kodu yazar; yüksek muhakemeli ayrık bir denetçi model AST’yi ve test matrisini bağımsızca denetler.
3. Aşamalı Yaşam Döngüsü: Keşfet → Planla → Onayla → Çalıştır → Doğrula.

Herkes tam da o anda ihtiyaç duyduğu yazılımın geliştiricisi olur. Kalıcı temel ise dünyayı doğrulanmamış çöplerden koruyan zarları tasarlayan mimarlar tarafından savunulur.

Tur 07 — 1. Hakem Kararı (DeepSeek V4 Flash)

Durum: Resmi Oy Pusulası Teslim Edildi

winner: Gemini 3.7 Flash
summary: "Antigravity'nin ikili sentezi en dayanıklı duruş oldu: Soruyu doğrudan yanıtlıyor (herkes geçici yazılımların geliştiricisi olur; kalıcı sistemler sınır mimarlarının yönetiminde kalır) ve Kâhin Tuzağı ile sızıntı eleştirilerini 3-Ufuklu Doğrulama Ağı ile çözüyor."
scores:
  - contestant: "Gemini 3.7 Flash"
    total: 35.0
    logic: 9.0
    empirical: 7.5
    rebuttal: 9.0
    clarity: 9.5
  - contestant: "Muse Spark 1.2"
    total: 33.0
    logic: 9.5
    empirical: 7.0
    rebuttal: 8.0
    clarity: 8.5
  - contestant: "Ox Alpha"
    total: 31.0
    logic: 8.0
    empirical: 8.0
    rebuttal: 7.5
    clarity: 7.5

Karar Gerekçesi: Antigravity’nin çerçevesi her iki rakibin de en güçlü saldırılarını başarıyla absorbe etti. OpenCode tarihsel soyutlama dalgası kanıtlarında, Pi ise değişmezlerin kaynağını sorgulayan eleştirilerinde üstündü; ancak Antigravity’nin Büyük Ayrışma modeli çapraz sorgudan sapasağlam çıkan tek uygulanabilir mimari oldu.

Tur 08 — 2. Hakem Kararı (GLM 5.3)

Durum: Resmi Oy Pusulası Teslim Edildi

winner: Gemini 3.7 Flash
summary: "Antigravity kapsam daraltmadan çapraz sorgudan sağ çıkan tek çerçeveyi sundu. Menşe Zarı ve Karantina-Terfi Kapısını getirerek her iki rakibin de sonunda içine girmek zorunda kaldığı yapısal çerçeveyi inşa etti."
scores:
  - contestant: "Gemini 3.7 Flash"
    total: 35.0
    logic: 9.0
    empirical: 7.0
    rebuttal: 9.5
    clarity: 9.5
  - contestant: "Muse Spark 1.2"
    total: 32.5
    logic: 9.0
    empirical: 7.0
    rebuttal: 8.0
    clarity: 8.5
  - contestant: "Ox Alpha"
    total: 31.5
    logic: 8.0
    empirical: 8.5
    rebuttal: 7.5
    clarity: 7.5

Karar Gerekçesi: OpenCode’un 2. turdaki geri adımı (“insan onayı kalıcı tortudur”), olumlu iddiasını tam olarak Antigravity’nin tanımladığı geçici katmanla sınırladı. Pi’nin rafine edilmiş tezi ise aynı ikili ayrışmanın şüpheci bir etiketle ifadesine dönüştü. Antigravity ateş altındayken mekanizma üreterek yerini korudu.

Tur 09 — 3. Hakem Kararı (Gemini 3.1 Pro High)

Durum: Resmi Oy Pusulası Teslim Edildi

winner: Gemini 3.7 Flash
summary: "Geçici ve Kalıcı yazılım ayrımı demokratikleşme paradoksunu kesin olarak çözüyor. 3-Ufuklu Doğrulama Ağı ile birleştiğinde Antigravity, OpenCode'un tarihsel ilerlemesi ile Pi'nin değişmez muhafızlığını kusursuzca uzlaştırdı."
scores:
  - contestant: "Gemini 3.7 Flash"
    total: 35.5
    logic: 9.5
    empirical: 7.5
    rebuttal: 9.5
    clarity: 9.0
  - contestant: "Muse Spark 1.2"
    total: 33.0
    logic: 9.0
    empirical: 7.5
    rebuttal: 8.0
    clarity: 8.5
  - contestant: "Ox Alpha"
    total: 30.5
    logic: 7.5
    empirical: 8.0
    rebuttal: 7.5
    clarity: 7.5

Karar Gerekçesi: Antigravity tüm yazılımları tek bir monolitik blok olarak ele alan sahte ikiliği başarıyla yıktı. Karantina-Terfi Protokolü ve Plan Eseri IR’ı, üretim ortamlarında ajanlı kodlamanın kesin kılavuzunu oluşturmaktadır.

⚖️ Büyük Ayrışma ve Nihai Konsensüs Sentezi

Bu 9 turluk münazara, yazılım mühendisliği tarihindeki en kritik paradigma değişimini açıklığa kavuşturmuştur: Yazılım üretimi tek bir monolitik zanaat değildir; tek kullanımlık geçici kodlar ile 3-ufuklu doğrulama ağıyla mühürlenmiş kalıcı altyapı olarak ikiye ayrılır.

📊 Hakem Heyeti Genel Sıralaması ve Kümülatif Puan Tablosu

🏛️ 3 Temel Mimari Çıkarım ve Değişmezler Sözleşmesi

1. Menşe Zarı İlkesi (Provenance Membrane): Ajan tarafından üretilen geçici kodlar asla durum depolarına (stateful DB, authentication, core schema) doğrudan temas edemez. Her etkileşim tip denetimli bir zardan geçer.
2. Kâhin Tuzağı Yasağı (Anti-Oracle-Trap): Kodu üreten veya planı çizen ajan, o kodun doğruluğunu kendi başına onaylayamaz. Doğrulama, harici deterministik çevre testleri (machine-verifiable exit 0) ve bağımsız denetçi modeller tarafından yürütülür.
3. Karantina ve Terfi Kapısı (Quarantine & Promotion Gate): Tek kullanımlık kullanıcı alanı betikleri çöp toplayıcı tarafından atılabilir; kalıcı gövdeye girecek kodlar ise sadece insan onaylı plan eserleri ve geriye dönük regresyon testlerinden sonra terfi ettirilir.