İçeriğe geçBlockAssay

Launchpad ve havuz geçişi tasarımı

P12-L04 · P12 · P12-M01

Lansman aşamalarını ve geçiş başarısızlığı koşullarını eşleyin

ILLUSTRATIVE · needs_review

Ö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

SPECIFICATION_ONLY · ILLUSTRATIVE

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
Birincil kaynağı aç
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
Birincil kaynağı aç
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.

Gerekçeni sınama

P12-L04-Q1 · Kâğıt eşik karşılandı. Ne çıkarılabilir?
P12-L04-Q2 · Hedef oluşturma başarısız. Harita ne göstermeli?
P12-L04-Q3 · Geçiş boyunca kimliği hangi değişmez korur?
P12-L04-Q4 · Havuz sonrası uzlaştırma neden gerekli?
P12-L04-Q5 · Yürütülebilir geri almayı ne kanıtlar?