Zynjyrara täzelenmeler

1) Wezipäniň düýp manysy we töwekgelçilikleri

• wersiýalaryň gapma-garşylygy (split-brain) we tertibiň/finalyň ýitmegi;
• ABI/shemalaryň gabat gelmezligi → "dilsiz" habarlar/asylan serişdeler;
• komplayensiň bozulmagy (geo/ýaş/sanksiýalar, maglumatlaryň eksporty);
• köprüleriň kaskad şowsuzlyklary we DA.

Maksat gymmatlyklary duruzman täzelemek: berk üýtgewsizlikleri saklamak we tersine, telemetriýa we dolandyrylýan pese gaçmagy üpjün etmek.

2) Zynjyrara üýtgeşmeleriň üýtgemegi

Order/Idempotency: strict-order per key; outbox/inbox, 'idempotency _ key' we seen-tablisalar.
Finality-aware: çallenge/reorg penjireleri göz öňünde tutulandyr; iň az 'FinalityLag' boýunça saýlanýar.
Compatibility First: Şertnamalar/ABI/wakalar shemalary üçin SemVer.
Fail-closed: şübhe → blok/el kworum.
Compliance-gate: DID/VC, ZK-bosagalar (ýaş/geo/sanksiýalar), eksport/retensiýa syýasaty.
Observability: `x_msg_id`, `route_id`, `bridge_id`, `governance_version`.

3) Wersiýalaşdyryş modeli

3. 1 Wersiýa maşgalasy

SemVer şertnamalary/ABI: 'MAJOR. MINOR. PATCH '(MAJOR - döwüjiler).
Schema Wakalar sanawy: wersiýalar we meýdanlaryň ewolýusiýasy (additive-first, deprecations with sunset).
Policy/Governance wersiýasy: agramlar/kwotalar/nyrhlar; her täzelenmede 'governance _ version' bar.
Bridge/DA wersiýalary: garaşsyz utgaşdyrmak we gutarmak kanallary.

3. 2 Wersiýa gepleşigi (handshake)

Version-negotiation: zynjyrara çagyryşda taraplar iň az gabat gelýän profili saýlaýarlar; ýogsam - graceful reject.
Feature-flags: MAJOR-üýtgeşmeler penjireler/rollar/sebitler boýunça baýdaklar tarapyndan işjeňleşdirilýär (canary → cohort → global).

4) Zynjyrara täzelenmeleriň taksonomiýasy

1. Logiki: täze işewürlik logikasy, tassyklama düzgünleri, nyrhlar/çäkler.
2. Shema: wakalaryň meýdançalary, maglumatlaryň modelleri, indeksasiýa.
3. Teswirnamalar: marşrutlaşdyryş, habar belgileri, şifr/gollar.
4. Infrastruktura: DA/brijler, sekwenserler, POP/edge, Gas/fees.
5. Ylalaşyk syýasaty: sebitler, ZK bosagalary, eksport/retenşn.
6. Ykdysadyýet/höweslendiriş: QF, RiskAdj, howuzlar/paýlanyş.
7. Howpsuzlyk: açarlar/multisig, slashing-düzgünler, stop-kranlar.

5) Goýberiş tertibi (rollout strategy)

Preflight: simulýasiýa/sandyk gutusy, taryhy traffigi göçürmek, altyn-set synaglary.
Shadow/Observe: kölegeler jogaplary hasaplaýar we häzirki logika bilen deňeşdirilýär.
Canary: marşrutlaryň/rollaryň/sebitleriň az bölegi, berk töwekgelçilikler.
Cohort rollout: kogortda giňeltmek (geo/zynjyr/QoS).
Dual-write/Dual-read: berk tertip päsgelçilikleri bilen iki wersiýada ýazmagyň wagt döwri.
Sunset: uzaltmak üçin kworum ýok bolsa, wagt parametrleriniň awto-yza gaýdyp gelmegi.
Rollback: ýagdaýyň howpsuz göçmegi bilen bir basgançakly gaýdyp gelmek (§ 8 serediň).

6) Täzelenmeler wagtynda Utility-çözgüt

Utility(route    version) =
wL·Latency_p95 + wQ·QueueDepth + wF·FinalityLag
+ wC·Cost_per_unit + wR·RiskScore + wS·StabilityScore(version)
+ wG·Geo/PolicyPenalty

StabilityScore (wersiýa): soak/chaos geçýänçä täzeleri üçin jerime.
Terazi profilleri - QoS: Q4 ↑ wF, ↑ wS; Q1 ↑wC.
Invariantlar: Order ∧ Idempotency ∧ Quotas ∧ Compliance = true.

7) RNFT şertnamalary: täzelenmelerdäki hukuklar

• 'upgrade _ rights': kimiň başlangyjy, kimiň goly (multisig, k-of-n);
• 'freeze/stop': gyssagly duralgalar we kworumlar;
• 'quorum & veto': -proseduralar (ynam/hil boýunça R-modifikatory goşmak bilen);
• 'escrow/insurance': migrasiýa hadysalaryny ýapmak;
• 'sunset': baýdaklaryň/bosagalaryň wagtlaýyn düzedişleri;
• 'finality _ windows': täzelenme wagty töleg gijikdirmeleri we bridge penjireleri.

8) Ýagdaýyň göçmegi we yzyna öwrülmegi

State Delta Journal: migrasiýalary deltalar magazineurnaly (körli-kökler, gollar) ýöredýär; yza gaýdyp gelmek - ters deltalary ulanmak.
Replay-päsgelçilikler: Q3/Q4 üçin: dur → snapshot → reattach; "split-buýruklar" gadagan.
Idempotent Upcasters: shema öwrüjisi arkaly köne ýazgylary okamak.
Cold/Warm switch: okyjylary/ýazyjylary pes ýük penjiresinde üýtgetmek.
Finality Holdback: Zynjyrara tölegleriň maksatly gutarýança gijikdirilmegi.

9) Gabat gelmek: ABI/shemalar/habarlar

ABI: MAJOR üýtgeşmeleri - diňe fiç baýdagyň aňyrsynda; MINOR — additive; PATCH - mantyksyz.
Wakalar: Täze meýdançalar - 'nullable '/default; aýyrmak - deprikasiýa we sunset arkaly.
Habar wersiýasy: 'msg. version ',' schema _ hash ', hökmany' compat _ min '.
Tertibi barlamak we aýtmak: outbox/inbox, TTL bilen seen-tablisalar.

10) Howpsuzlyk we açarlar

Multisig/Threshold: esasy täzelenmeler diňe bosagadaky gollar arkaly.
Timelocks: auditiň/jemgyýetiň jogap bermegi üçin MAJOR üýtgeşmelerini girizmek üçin penjireler.
ZK-asserts: maglumatlary aýan etmezden möhüm üýtgewsizliklere (mysal üçin, balans-üýtgewsizlikler) laýyklyk subutnamasy.
Key-rotation: hukuklaryň miras galmagy bilen aýlaw meýilnamasy, geçiş döwründe goşa gol.

11) Komplayens

Policy Preview: sintetikada we hakyky "kölege-traffikde" syýasatyň simulýasiýasy.
Geo/age/sanctions: ZK-bosagalar; näbellilik ýüze çykan halatynda - karantin.
Eksport/retention: DA/egress sebitler boýunça; düzgünleşdiriji üçin çözgütler magazineurnaly.
Salgytlar/withholding: köprüler gutaranda wagtlaýyn saklamak.

12) Syn etmek we alertler

Метрики: p50/p95/p99, retry/timeout, out-of-order/dup, DLQ depth, finality lag, cost/req, stability(version).
Отчеты: Upgrade Live, Finality & Bridges, Schema/ABI Health, Governance Queue.
Alertler: error-budget burn, TailAmplification, drift shemalary, spike şowsuzlyklary, flap-rate ugurlary.

13) Synaglar/simulýasiýa/bulam-bujarlyk

Unit-kontraktlar: ABI/shemalar, laýyklyk düzgünleri.
Trace-replay: invariant barlaglary bilen hekaýalary geçmek.
Fuzz/Property-based: tötänleýin habar ssenarileri/tertibi/jemleri.
Chaos/Game-day: POP/köpriniň/DA ýykylmagy, reorg-burstlar, bahalar.
Soak 24-72h: durnuklylyk p95/p99/gutarnykly/bahasy.

14) Täzelenmeleriň ykdysadyýeti

Budget-caps: döwür üçin bahanyň potoloklary; artykmaç ýüklenilende surge-jerimeler.
QF-bonuslar: täzelenme penjiresinde SLO-dan geçen üpjün edijilere.
RiskAdj: bozulan halatynda tölegleri wagtlaýyn peseldiji köpeldiji.
Treasury hooks: tassyklanan hadysalarda ätiýaçlandyryş howuzundan öwezini dolmak.

15) (amallar we aç-açanlyk)

Propozallar: üýtgemegiň beýany, töwekgelçilik-seljermesi, yzyna gaýtarmak meýilnamasy, jemleýji penjireler.
Kworumlar/weto: rollar we agramlar; R-ynam/hil modifikatory.
Köpçülige ýetirilmegi: wersiýa pasportlary, diff-logika, täzelenenden soň hasabatlar.
Sunset düzedişleri: Wagt sazlamalarynyň awtomatiki yza çekilmegi.

16) KPI zynjyrara täzelenmeler

Ygtybarlylyk: 0 düýpli düzgün bozmalar/gutarnykly; DLQ ösmeýär.
Gijikdirme: koridorda p95/p99; TailAmplification ≤ maksatly.
Final: FinalityLag býudjetden artyk ösmeýär; 0 ýalan tassyklamalar.
Ykdysadyýet: Býudjetde Cost/Req; ≤ bosagasynyň öwezini dolmak.
Amallar: MTTR hadysalary ↓; flap-rate ugurlary erbetleşmeýär.
Gabat gelmek: 100% gating geçişi; Eksport/retensiýanyň 0 bozulmagy.
"TTC" -ni SLA-da goýdy; wagtynda sunset-yzyna gaýdyp gelmegiň paýy.

17) Formulalar we görkezmeler

SuccessRate = 1 − (timeouts+errors)/requests

TailAmplification = p99/p50 (↓)

Headroom = (cap − current)/cap

FinalityScore = f(lag, variance, reorgs)

Stability(version) = 1 − norm(incidents, flap, drift)

QualityFactor (QF) = f(success, p95, DLQ, finality)

• Q4: success ≥ 99. 99%, p95 ≤ 200 ms, DLQ = 0, MTTR ≤ 15 minut.
• Bridges/DA: Final ≤ 3 × T _ block, reorg ≈ 0.

18) Giriş pleýbugy (ädimler)

1. Inisiatiwasy: ýitdi, töwekgelçilik-seljermesi, yzyna gaýtarmak meýilnamasy, gutarnykly/komplayensiň bahalandyrylmagy.
2. Taýýarlyk: SemVer/ABI, shemalar we upcasters, ficha-baýdaklar, RNFT-hukuklar/kworumlar.
3. Synaglar: unit/trace-replay/fuzz, policy-preview, ZK-asserts invariantlar.
4. Syn edilişi: paneller/alertler, KPIs salgylanma çäkleri.
5. Shadow → Canary: kölegeler/deňeşdirme, kiçi kogortlar, berk aladalar.
6. Cohort rollout: sebit/zynjyr/QoS tapgyrlaýyn; finality-holdback tölegleri.
7. Dual-write/read: tertip päsgelçilikleri, köpeltmek we deňeşdirmek.
8. Soak/Chaos: endurance we şowsuzlyk ssenarileri.
9. Globallaşma: baýdaklary aýyrmak, resminamalary/nyşanlary täzelemek.
10. Post-mortem: hesabat , belgileri/bosagalary/gidleri täzelemek.

19) Azyk taýýarlygynyň çek-sanawy

• SemVer/ABI и Schema Registry с upcasters
• Baýdaklar, işjeňleşdirmek penjireleri, sunset parametrleri
• RNFT hukuklary: kworumlar, duralgalar, eskrow/ätiýaçlandyryş howzy
• Outbox/inbox, idempotency, replay-päsgelçilikler
• Finality-plan: Bridge/DA penjireleri, tölegleriň holdback
• Observability: Tracking, Upgrade/Finality/ABI panelleri
• Complayens-preview, ZK-profs bosagalary, eksport/retenshn syýasaty
• Simulýasiýa, shadow, canary, cohort, soak/chaos
• Rollback meýilnamasy we deltanyň ýagdaýy
• Köpçülikleýin hasabat we täzelenme-registrler

20) Sözlük

SemVer/ABI: semantik wersiýa/şertnama interfeýsleri.
Upcaster: okalanda köne ýazgylary täze shema öwüriji.
FinalityLag: zynjyrara hadysanyň yzyna dolanyp bolmajak penjiresi.
Outbox/Inbox: kepillendirilen eltip bermek/ibermek.
RNFT: gatnaşyklar/hukuklar/çäkler we KPI şertnamasy.
Sunset: wagt parametrleriniň awto-yza gaýdyp gelmegi.
Shadow/Canary/Cohort: tapgyrlaýyn goýberiş strategiýalary.

21) Jemleýji

Zynjyrara täzelenmeler dolandyrylýan düzgün-nyzam: wersiýalar → baýdaklar → tapgyrlaýyn başlangyç → ahyrky/gabat gelmek → syn etmek → yza gaýdyp gelmek. Düzgüniň we laýyklygyň berk üýtgemegi, RNFT hukuklary, simulýasiýalary we aç-açanlygy bilen ekosistema gatnaşyjylaryň dowamly gymmatyny we ynamyny saklamak bilen agyrysyz we öňünden aýdyp boljak görnüşde täzelenýär.