Чынжыр аралык жаңыртуулар

1) Милдеттердин маңызы жана тобокелдиктер

• версияларынын келишпестиги (split-brain) жана тартибин/аякташын жоготуу;
• ABI/схемалардын туура келбегендиги → "үнсүз" билдирүүлөр/илинген каражаттар;
• комплаенстин бузулушу (гео/жаш/санкциялар, маалыматтарды экспорттоо);
• каскаддык көпүрө ката жана DA.

Максаты - баалуулуктарды токтобостон жаңылоо: катуу инварианттарды сактоо жана кайтарымдуулукту, телеметрияны жана башкарылуучу деградацияны камсыз кылуу.

2) Чынжыр аралык өзгөрүүлөрдүн инварианттары

Order/Idempotency: strict-order per key; outbox/inbox, 'idempotency _ key' жана seen-таблицалар.
Finality-aware: терезелер challenge/reorges эске алынган; каттамдар минималдуу 'FinalityLag' боюнча тандалып алынат.
Compatibility биринчи: келишимдер/ABI/окуялар схемалар үчүн SemVer.
Fail-closed: шек → блок/кол кворум.
Compliance-gate: DID/VC, ZK босоголору (жашы/гео/санкциялар), экспорттук/ретенция саясаты.
Observability: `x_msg_id`, `route_id`, `bridge_id`, `governance_version`.

3) Версия модели

3. 1 Версия үй-бүлөсү

SemVer келишимдер/ABI: 'MAJOR. MINOR. PATCH '(MAJOR - бузуучу).
Schema Окуялар реестри: версиялар жана талаалардын эволюциясы (additive-first, sunset менен deprecations).
Policy/Governance нускасы: салмагы/квота/баа; ар бир жаңыртуу 'governance _ version' бар.
Bridge/DA версиялары: көз карандысыз макулдашуу жана бүтүрүү каналдары.

3. 2 Версия сүйлөшүүсү (handshake)

Version-negotiation: тараптар бири-бири менен чынжыр аралык чакыруу боюнча чакан шайкеш профилин тандап; болбосо - graceful reject.
Feature-flags: MAJOR-өзгөртүүлөр терезелер/ролдорду/региондорду (canary → cohort → global) желектери менен жанданат.

4) аралык тактоо таксономиясы

1. Логикалык: жаңы бизнес-логика, валидация эрежелери, тарифтер/лимиттер.
2. Схема: окуя талаалары, маалыматтар моделдери, индекстөө.
3. Протоколдук: багыттоо, билдирүүлөрдүн белгилери, шифр/кол тамгалар.
4. Инфраструктуралык: DA/бридждер, секвенсерлер, POP/edge, Gas/fees.
5. Комплаенс-саясат: региондор, ZK-босого, экспорт/retenshn.
6. Экономика/стимул: QF, RiskAdj, пул/бөлүштүрүү.
7. Коопсуздук: ачкычтар/multisig, slashing эрежелери, токтоо краны.

5) чыгаруу жол-жоболору (rollout strategy)

Preflight: Simulation/Sandbox, replay тарыхый жол, алтын-комплект тесттер.
Көлөкө/Observe: көлөкө жоопторду эсептеп, учурдагы логика менен салыштырылат.
Canary: маршруттар/ролдорду/региондорду аз үлүшү, катуу Алерт.
Cohort rollout: Cogorte кеңейтүү (гео/чынжыр/QoS).
Dual-write/Dual-окуу: катуу тартип тоскоолдуктар менен эки нускада жазуу убакыт.
Sunset: узартуу үчүн эч кандай кворум жок болсо, убакыт параметрлерин auto-артка.
Rollback: коопсуз көчүрүү абалы менен бир кадам кайтып (кара § 8).

6) Жаңылоо учурунда Utility-чечим

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

StabilityScore (version): жаңы үчүн айып, өткөнчө soak/chaos.
Таразанын профилдери - QoS боюнча: Q4 ↑ wF, ↑ wS; Q1 ↑wC.
Инварианттар: Order ∧ Idempotency ∧ Quotas ∧ Compliance = true.

7) RNFT келишимдер: Жаңылоо укуктары

• 'upgrade _ rights': ким демилгелейт, кимдин кол тамгалары (мультисиг, k-of-n);
• 'freeze/stop': шашылыш токтоо краны жана кворумдар;
• 'quorum & veto': -процедуралар (анын ичинде R-ишеним/сапат модификатору);
• 'escrow/insurance': миграция инциденттерин жабуу;
• 'sunset': желектерди/босоголорду убактылуу оңдоо;
• 'finality _ windows': жаңылануу учурунда төлөмдөрдү жана бридж терезелерди кечиктирүү.

8) Миграция абалы жана кайтарымдуулугу

State Delta Journal: миграция delta журналы (меркли тамыры, кол тамгалар) тарабынан жүргүзүлөт; артка - тескери дельталарды колдонуу менен.
Replay-тоскоолдуктар: Q3/Q4 үчүн: stop → snapshot → reattach; "сплит-буйруктарга" тыюу салынат.
Idempotent Upcasters: схемалар өзгөрткүч аркылуу эски жазууларды окуу.
Cold/Warm switch: окурмандарды/жазуучуларды төмөн жүктөө терезесинде которуу.
Finality Holdback: максаттуу аягына чейин чынжыр аралык төлөмдөрдү кечиктирүү.

9) шайкештиги: ABI/схемалар/билдирүүлөр

ABI: MAJOR өзгөрүүлөр - бир гана Fich желеги артында; MINOR — additive; PATCH - логикасыз.
Окуялар: жаңы талаалар - 'nullable '/default; алып салуу - деприкация жана sunset аркылуу.
Билдирүүлөрдүн версиялары: 'msg. version ',' schema _ hash ', милдеттүү' compat _ min '.
тартипти текшерүү жана дедуп: outbox/inbox, TTL менен таблицалар.

10) Коопсуздук жана ачкычтар

Multisig/Threshold: негизги тактоо - гана босого кол аркылуу.
Timelocks: аудит/коомчулук жооп убакыт үчүн MAJOR өзгөрүүлөрдү киргизүү терезелер.
ZK-asserts: маалыматтарды ачыкка чыгарбастан критикалык инварианттарга (мисалы, баланстык инварианттар) шайкештик далилдери.
Key-rotation: укуктарды мурастоо менен ротациялоо планы, өткөөл мезгилде кош кол коюу.

11) Комплаенс

Policy Preview: синтетика жана реалдуу "көлөкө-трафик" боюнча саясатты симуляциялоо.
Geo/age/sanctions: ZK-Prufs босоголору; аныкталбаган учурда - карантин.
Export/retention: региондор боюнча DA/egress; жөнгө салуучу үчүн чечимдер журналы.
Салыктар/withholding: көпүрө аяктагандан кийин убактылуу кармап.

12) Байкоо жана аллергия

Метрики: 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.
Alerts: error-budget burn, TailAmplification өсүшү, drift схемалар, spike комплаенс ийгиликсиз, flap-rate маршруттары.

13) тесттер/симуляция/башаламандык

Бирдиктүү келишимдер: ABI/схемалар, шайкештик эрежелери.
Trace-replay: инвариант текшерүүлөр менен окуяларды басып өтүү.
Fuzz/Property-based: кокустук скрипт билдирүүлөр/тартиби/бүтүрүү.
Chaos/Game-day: кулаган POP/көпүрө/DA, reorg-бурстары, баа шок.
Soak 24-72h: туруктуулук p95/p99/акыркы/наркы.

14) Жаңылоо экономикасы

Budget-caps: мезгил үчүн наркы шыбы; ашыкча жүктөө учурунда surge-айып.
QF бонустар: upgrade терезеде SLO туруштук берүүчүлөр.
RiskAdj: мыйзам бузуулар учурунда төлөмдөрдү убактылуу кыскартуучу көбөйткүч.
Treasury hooks: тастыкталган окуялар менен камсыздандыруу пулунан ордун толтуруу.

15) (жол-жоболор жана ачык-айкындуулук)

Проозалдар: өзгөрүүнүн сүрөттөлүшү, тобокелдик-талдоо, кайтаруу планы, бүтүрүү терезелери.
Кворумдар/вето: ролдор жана салмактар; R-ишеним/сапат өзгөртүү.
Public: котормолорунда паспорт, diff-логика, тактоо кийин отчеттор.
Sunset-түзөтүүлөр: автоматтык убакыт орнотуулары.

16) KPI аралык тактоо

Ишенимдүүлүк: 0 критикалык тартип бузуу/бүтүрүү; DLQ өспөйт.
Кечигүү: коридордо p95/p99; TailAmplification максаттуу ≤.
Акыркы: FinalityLag бюджеттин үстүнө өсүп жатат; 0 жалган ырастоо.
Экономика: бюджетте Cost/Req; ≤ босогонун ордун толтуруу.
Операциялар: MTTR инциденттери ↓; flap-rate каттамдары начарлабайт.
Комплаенс: 100% gating өтүү; 0 экспорттук/чегинүү бузуулар.
Out: TTC SLA → Апрува; өз убагында sunset-откат үлүшү.

17) Формулалар жана көрсөтмөлөр

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 мс, DLQ = 0, MTTR ≤ 15 мин.
• Bridges/DA: акыркы ≤ 3 × T _ block, reorg ≈ 0.

18) киргизүү Playbook (кадамдар)

1. Демилгелөө: пропозал, тобокелдик-талдоо, кайтаруу планы, финалдык/комплаенс баалоо.
2. Даярдоо: SemVer/ABI, схемалар жана upcasters, Fich-желектер, RNFT-укуктар/кворумдар.
3. Тесттер: unit/trace-replay/fuzz, policy-preview, ZK-asserts инварианттар.
4. Байкоо: панелдер/алерттер, KPIs эталондук босоголор.
5. Shadow → Canary: көлөкө/салыштыруу, чакан когорттор, катуу Алерт.
6. Cohort rollout: аймак/чынжыр/QoS этап-этабы менен; finality-holdback төлөмдөр.
7. Dual-write/окуу: тартип тоскоолдуктар, репликация жана салыштыруу.
8. Soak/Chaos: endurance жана ийгиликсиз жагдайлар.
9. Глобализация: желектерди алып салуу, документтерди/төш белгилерди жаңыртуу.
10. Post-Mortem: отчеттуулук, такталар/босоголор/гайддар жаңыртуу.

19) Прод-даярдыктын чек-тизмеси

• SemVer/ABI и Schema Registry с upcasters
• Фича-желектер, активдештирүү терезелери, sunset-параметрлери
• RNFT укугу: кворумдар, токтоо краны, эскроу/камсыздандыруу бассейни
• Outbox/inbox, idempotency, replay-тоскоолдуктар
• Finality планы: бридж терезелер/ДА, holdback төлөмдөр
• Observability: Tracking, Upgrade/Finality/ABI панелдер
• Комплаенс-алдын ала, ZK-Prufs босоголор, экспорт/Retenshn саясаты
• Симуляциялар, shadow, canary, cohort, soak/chaos
• Rollback планы жана Delta абалы журналы
• Коомдук отчет жана жаңыртуу-реестрлер

20) Глоссарий

SemVer/ABI: семантикалык версиялоо/келишим интерфейстери.
Upcaster: окуп жатканда жаңы схемасы эски жазууларды өзгөрткүч.
FinalityLag: чынжыр аралык окуя кайтарылгыс терезе.
Outbox/Inbox: кепилденген жеткирүү/боштук.
RNFT: мамилелер/укуктар/лимиттер жана KPI келишими.
Sunset: автоматтык убакыт параметрлери.
Shadow/Canary/Cohort: этап-этап чыгаруу стратегиялары.

21) Жыйынтык

Чынжыр аралык жаңыртуулар - бул башкарылуучу тартип: версиялар → желектер → этап-этабы менен ишке киргизүү → финалдык/шайкештик → байкоо → артка кайтуу. Катуу тартип жана комплаенс инварианттары менен, RNFT укуктар, симуляциялар жана ачык-айкын экосистема үзгүлтүксүз баалуулугун жана катышуучуларынын ишенимин сактоо менен оорутпай жана алдын ала жаңыланат.