P12-L04 · P12 · P12-M01
Lansman aşamalarını ve geçiş başarısızlığı koşullarını eşleyin
Ön koşullar: P12-L03
Öğrenme hedefleri
- Lansman aşamalarını ve geçiş başarısızlığı koşullarını eşleyin
- Değişmez kontrolleri, geri alma sınırları ve açık başarısızlık durumlarıyla geçiş aşamalarını belirtin.
Neden önemli
Saklama, dağılım dönüşümü veya havuz oluşturma başarısız olabilse bile geçiş diyagramı garantili likidite ima edebilir. Aşama haritası gerçek eylemden önce bu bağımlılıkları açığa çıkarmalıdır.
Açıklama
Sonlu durum dizisini açıklayın: gereksinim taslağı, kabul edilmiş dağılım, geçiş uygunluğu, havuz oluşturma ve geçiş sonrası uzlaştırma. Her geçiş ön koşul, yetki, kanıt ve başarısızlık hedefi gerektirir. Launchpad veya bonding-curve etiketi sözleşme formülünü, rezerv davranışını veya geçiş izinlerini kanıtlamaz. Gösterilen eşiğe ulaşmanın işlem yapılabilir havuzu garanti ettiğini varsaymayın.
Önerilen sınır boyunca değişmezleri koruyun: kesin varlık kimliği, uyumlu ham birimler, arz muhasebesi, rezerv saklama ve hedef kontrolleri. Geçiş hakları dönüştürebilir veya bakiyeleri taşıyabilir; tasarım kimin yetkilendirdiğini ve kullanıcıların oluşan durumu nasıl inceleyeceğini belirtmelidir. Başarısızlık fonları erişilemez bırakıyorsa uygulamanın desteklemeyebileceği geri dönüş oku çizmek yerine bunu planda açıkça söyleyin.
Buradaki tüm aşamalar varsayımsaldır. Rezerv fonlanmaz, cüzdan imzalamaz, dağıtım veya havuz oluşturulmaz. Şeffaf geçiş tasarımı hâlâ tasarımdır; gözlenmiş lansman veya fiyat ve likidite vaadi değildir.
Terimler
Geçiş kapısı: durumlar arasında ilerlemek için gereken kanıt.
Değişmez: geçiş boyunca doğru kalması gereken koşul.
Başarısızlık durumu: ön koşullar veya yürütme başarısız olduğunda tanımlanmış sonuç.
Geri alma sınırı: otomatik olarak geri döndürülemeyen şey.
Tarihsel örnek
ILLUSTRATIVE Cedar taslak S0, belirtilen kâğıt eşikte uygunluk S1, önerilen havuz S2 ve uzlaştırılmış S3 durumlarını kullanır. S1→S2 kesin token kimliği, rezerv muhasebesi ve hedef izin incelemesi gerektirir. Hedef oluşturma başarısız olursa F durumu belgelenmiş çözümlenmemiş saklama yükümlülüğünü korur. Bakiye veya gerçek eşik gözlemi yoktur.
Görsel özellikler
Varsayımsal S0–S3 durumları, koşullu oklar ve görünür F başarısızlık alanıyla bonding-curve/geçiş spesifikasyonu. Uydurulmuş gerçek fiyat eğrisi çizmeyin; formül ve rezervleri uygulanmamış varsayımlar olarak açıklayın.
Başlık: Kurgusal koşullu geçiş tasarımı; garantili havuz veya iade yok.
SPECIFICATION_ONLY — görsel henüz üretilmemiş veya bağımsız olarak incelenmemiştir.
Kanıtın gösterdikleri
Kurgusal durum makinesi ön koşulları ve başarısızlık dalını açığa çıkarır. Önerilen akışı yürütmeden incelemeyi destekler.
Kanıtın göstermedikleri
Dağıtılmış launchpad formülünü, başarılı geçişi, fonlanmış rezervleri, otomatik iadeyi, yürütülebilir geri almayı veya gelecekte havuz erişimini kanıtlamaz.
Yaygın hatalar
Havuz oluşturma sonrası uzlaştırmayı atlamak; mekanizmasız garantili iade çizmek; eşiğe ulaşmayı tamamlanmış geçişle eşitlemek; başarısızlıkta saklamayı gizlemek.
Uygulamalı alıştırma
S1→S2 ve S2→S3 geçiş satırlarını yazın. Bir başarısızlık dalı ve üç değişmez ekleyin. “Geçiş otomatiktir ve likidite garantilidir” ifadesini yeniden yazın.
Açıklamalı düzeltmeyi göster
S1→S2: belirlenen varsayımsal yetki yalnızca kimlik/rezerv/hedef kontrolleri kanıtlandıktan sonra ilerleyebilir; oluşturma başarısızlığı çözümlenmemiş saklama açıklamasıyla F’ye götürür. S2→S3: uzlaştırma geçmeden oluşan havuz kimliğini, gerçek bakiyeleri ve LP/çekim kontrollerini doğrulayın. Değişmezler: kesin varlık, uyumlu birimler ve hesabı verilebilir rezerv saklama. Düzeltilmiş iddia: “Örnek geçiş belirtilen kapılara bağlıdır; yürütme, iade yolu veya likidite erişimi doğrulanmamıştır.” Geri alma ayrı belirtilmiş mekanizma gerektirir ve oktan çıkarılamaz.
Kontrol listesi
- Aşamaları ve sorumlu kontrolleri belirtin.
- Her geçişe kabul kanıtı ekleyin.
- Başarısızlıktaki saklamayı ve geri alma sınırlarını gösterin.
- Hedef kimliğini ve çekim kontrollerini uzlaştırın.
Özet
Geçiş planı yalnızca geçiş koşulları, değişmezler ve başarısızlıktaki saklama görünür kaldığında incelenebilir.
Özet
- Eşikler tamamlanmış geçişi kanıtlamaz.
- Başarısızlık dalları saklama yükümlülüklerini korumalıdır.
- Geri alma diyagram kuralı değil, uygulama iddiasıdır.
Sonraki ders
P12-L05
Araçlar
Adı belirtilen BlockAssay aracını yalnızca kanıt okuma bağlamı olarak kullanın. Bu ders araç çıktısı, hesap oturumu veya erişim hakkı oluşturmaz. Çevrimdışı alıştırmadır; hiçbir şeyi imzalamayın, dağıtmayın, onaylamayın veya fonlamayın.
Kaynaklar ve iddia sınırları
- POOL: Uniswap v2 havuzları — LP tokenları havuz katılımını temsil eder; çekim mekanizması niyet veya dolandırıcılıktan ayrıdır. Sınır: Yalnızca mekanizma belgeleri; özgün örnek değerler belirtilmiş varsayımlardır, gözlem değildir. Tarihsel kayıtların ayrı sabitlenmiş kaynak geçmişi ve açık veri toplama boşlukları vardır.
- ERC20: ERC-20 standardı — Token arayüzü ve harcama izni anlamı; standart ihraççı kimliğini veya güvenli izinleri kanıtlamaz. Sınır: Yalnızca mekanizma belgeleri; özgün örnek değerler belirtilmiş varsayımlardır, gözlem değildir. Tarihsel kayıtların ayrı sabitlenmiş kaynak geçmişi ve açık veri toplama boşlukları vardır.
Kanıt sınıfları
ILLUSTRATIVE — tamamen kurgusal çevrimdışı girdiler; güncel gözlem yok.
Gözlem tarihi
null — gerçek gözlem yok
İçerik sürümü
1
İnceleme tarihi
null
İnceleme durumu
needs_review
Görsel özellikler
P12-L04-V01
Lansman aşamalarını ve geçiş başarısızlığı koşullarını eşleyin
Kurgusal koşullu geçiş tasarımı; garantili havuz veya iade yok.
Varsayımsal S0–S3 durumları, koşullu oklar ve görünür F başarısızlık alanıyla bonding-curve/geçiş spesifikasyonu. Uydurulmuş gerçek fiyat eğrisi çizmeyin; formül ve rezervleri uygulanmamış varsayımlar olarak açıklayın.
Varsayımsal S0–S3 durumları, koşullu oklar ve görünür F başarısızlık alanıyla bonding-curve/geçiş spesifikasyonu. Uydurulmuş gerçek fiyat eğrisi çizmeyin; formül ve rezervleri uygulanmamış varsayımlar olarak açıklayın.
390 px boyutunda gözlemleri, varsayımları, boşlukları ve sonucu üst üste yerleştirin; tam kimlikleri ve eksiksiz metin karşılığını koruyun. Geniş tablolar kendi alanında kaydırılır.
Düzyazı RTL yönünü izleyebilir; kimlikler, miktarlar ve zaman eksenleri LTR kalır. Bağımlılık yönünü koruyun.
P12-L04-ILLUSTRATIVE-v1
Kaynaklar ve iddia sınırları
POOL · PRIMARY_DOCUMENTATION
Uniswap v2 havuzları
- Desteklenen iddia
- LP tokenları havuz katılımını temsil eder; çekim mekanizması niyet veya dolandırıcılıktan ayrıdır.
- Doğrulama sınırı
- Yalnızca mekanizma belgeleri; özgün örnek değerler belirtilmiş varsayımlardır, gözlem değildir. Tarihsel kayıtların ayrı sabitlenmiş kaynak geçmişi ve açık veri toplama boşlukları vardır.
- Kontrol tarihi
- 2026-10-02
https://developers.uniswap.org/docs/protocols/v2/concepts/pools
ERC20 · PRIMARY_DOCUMENTATION
ERC-20 standardı
- Desteklenen iddia
- Token arayüzü ve harcama izni anlamı; standart ihraççı kimliğini veya güvenli izinleri kanıtlamaz.
- Doğrulama sınırı
- Yalnızca mekanizma belgeleri; özgün örnek değerler belirtilmiş varsayımlardır, gözlem değildir. Tarihsel kayıtların ayrı sabitlenmiş kaynak geçmişi ve açık veri toplama boşlukları vardır.
- Kontrol tarihi
- 2026-10-02
https://eips.ethereum.org/EIPS/eip-20
Veri kaynağı
id: P12-L04-ILLUSTRATIVE-v1
dataStatus: ILLUSTRATIVE
observedAt: null
source: Original offline scenario in realOrHistoricalExample
scope: Fictional stipulated labels and values. No wallet, deployment, transaction, token launch or production observation.