შუალედური განახლებები

1) ამოცანის არსი და რისკები

• ვერსიების შეუსაბამობა (split-brain) და შეკვეთის/საბოლოო დაკარგვა;
• ABI/სქემების შეუთავსებლობა „მუნჯი“ შეტყობინებები/შემცირებული საშუალებები;
• შესაბამისობის დარღვევა (გეო/ასაკი/სანქციები, მონაცემთა ექსპორტი);
• ხიდების კასკადის გაუმართაობა და DA.

მიზანია ფასეულობების შეჩერების გარეშე განახლება: მკაცრი ინვარიანტების შენარჩუნება და შექცევადობა, ტელემეტრია და კონტროლირებადი დეგრადაცია.

2) ინტერ-ჯაჭვური ცვლილებების ინვარიანტები

Order/Idempotency: strict-order per key; outbox/inbox, 'idempotency _ key' და seen ცხრილი.
Finality aware: გათვალისწინებულია გამოწვევა/რეორგის ფანჯრები; მარშრუტები შეირჩევა მინიმალური 'FinalityLag- ით ".
Compatibility First: SemVer კონტრაქტებისთვის/ABI/მოვლენების სქემებისთვის.
Fail-closed: ეჭვი - ბლოკი/სახელმძღვანელო კვორუმი.
კომპლექტი-კარიბჭე: DID/VC, ZK ბარიერები (ასაკი/გეო/სანქციები), ექსპორტის/რეტენციების პოლიტიკა.
Observability: `x_msg_id`, `route_id`, `bridge_id`, `governance_version`.

3) ვერსიის მოდელი

3. 1 ვერსიების ოჯახი

SemVer კონტრაქტები/ABI: 'MAJOR. MINOR. PATCH '(mAJOR - გატეხილი).
Schema Registry მოვლენები: ვერსიები და ველების ევოლუცია (additive-first, deprecations sunset- ით).
პოლიტიკა/მთავრობის ვერსიები: წონა/კვოტები/ტარიფები; თითოეულ გაფართოებას აქვს 'governance _ version'.
Bridge/DA ვერსიები: დამოუკიდებელი კოორდინაციისა და საბოლოო არხები.

3. 2 ვერსიის მოლაპარაკება (handshake)

Version-negotiation: ინტერჯაზური გამოწვევით, მხარეები ირჩევენ ყველაზე მცირე თავსებადი პროფილს; წინააღმდეგ შემთხვევაში - graceful პროექტი.
Feature-flags: MAJOR- ის ცვლილებები გააქტიურებულია დროშებით ფანჯრების/როლების/რეგიონების მიხედვით (canary - cohort - global).

4) ინტერჯექტორული განახლებების ტაქსონომია

1. ლოგიკური: ახალი ბიზნეს ლოგიკა, სავალდებულო წესები, ტარიფები/ლიმიტები.
2. სქემები: ღონისძიების ველები, მონაცემთა მოდელები, ინდექსაცია.
3. პროტოკოლი: მარშრუტიზაცია, შეტყობინებების ხელმოწერები, კოდი/ხელმოწერები.
4. ინფრასტრუქტურა: DA/bridges, მიმდევრობები, POP/edge, Gas/fees.
5. შესაბამისობის პოლიტიკა: რეგიონები, ZK ბარიერები, ექსპორტი/ჭრა.
6. ეკონომიკა/სტიმულები: QF, RiskAdj, აუზები/განაწილება.
7. უსაფრთხოება: გასაღებები/მულტისიგი, ნაგვის წესები, გაჩერების ამწეები.

5) გამოშვების პროცედურები (rollout strategy)

Preflight: სიმულაციები/ქვიშის ყუთები, ისტორიული ტრაფიკის მიმოხილვა, ოქროს ტესტები.
Shadow/Observe: ჩრდილები ითვლიან პასუხებს და შედარებულია მიმდინარე ლოგიკასთან.
Canary: მარშრუტების/როლების/რეგიონების მცირე ნაწილი, მკაცრი ალერტები.
Cohort rollout: კოგორტის გაფართოება (გეო/ჯაჭვი/QoS).
ორმაგი write/Dual Read: ჩაწერის დროებითი პერიოდი ორ ვერსიაში, მკაცრი შეკვეთის ბარიერებით.
Sunset: დროებითი პარამეტრების გამოტოვება, თუ გახანგრძლივების კვორუმი არ არსებობს.
Rollback: ერთსაფეხურიანი დაბრუნება სახელმწიფო უსაფრთხო მიგრაციით (იხ. § 8).

6) სამეწარმეო გადაწყვეტილება განახლებების დროს

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

StabilityScore (ვერსია): ჯარიმა ახალისთვის, სანამ არ გაივლის soak/chaos.
წონის პროფილები - QoS: Q4: wF, wS; Q1 ↑wC.
ინვარიანტები: Order - Idempotency, Qutas - Compliance = true.

7) RNFT კონტრაქტები: გაგრილების უფლებები

• 'upgrade _ rights': ვინ წამოიწყებს ვისი ხელმოწერებს (მრავალმხრივი, k-of-n);
• 'freeze/stop': საგანგებო გაჩერების ამწეები და კვორუმები;
• 'èrum & veto': პროცედურის დასრულება (მათ შორის ნდობის/ხარისხის R- მოდიფიკატორის ჩათვლით);
• 'escrow/insurance': მიგრაციის ინციდენტების გაშუქება;
• 'sunset': დროშების/რეიდების დროებითი რედაქტირება;
• 'finality _ windows': გადახდების შეფერხება და ხიდის ფანჯრები განახლების დროისთვის.

8) მდგომარეობის მიგრაცია და შექცევადობა

სახელმწიფო დელტა ჟურნალი: მიგრაციას ახორციელებს ჟურნალი დელტი (მერკლის ფესვები, ხელმოწერები); დაბრუნება - საპირისპირო დელტების გამოყენებით.
Replay ბარიერები: Q3/Q4- ისთვის: გაჩერება snapshot-reattach; აკრძალულია „შეკვეთა“.
Idempotent Upcasters: ძველი ჩანაწერების კითხვა სქემების გადამყვანი საშუალებით.
Cold/Warm switch: მკითხველთა/მწერლების შეცვლა დაბალი დატვირთვის ფანჯარაში.
Finality Holdback: სამიზნე ფინალამდე შეფერხება.

9) თავსებადობა: ABI/სქემები/შეტყობინებები

ABI: MAJOR ცვლილებები - მხოლოდ წინა დროშის უკან; MINOR — additive; PATCH - ლოგიკის გარეშე.
მოვლენები: ახალი ველები - 'nullable '/default; მოცილება - დეკრიმინალიზაციით და sunset.
შეტყობინებების ვერსიები: 'msg. ვერსია ',' schema _ hash ', სავალდებულო' compat _ min '.
შეკვეთის შემოწმება და დედაპლატი: outbox/inbox, seen მაგიდა TTL- ით.

10) უსაფრთხოება და გასაღებები

Multisig/Threshold: ძირითადი განახლება - მხოლოდ ბარიერი ხელმოწერების საშუალებით.
Timelocks: MAJOR- ის შესვლის ფანჯრები, რათა მოახდინონ აუდიტის/საზოგადოების რეაგირება.
ZK-asserts: მტკიცებულება კრიტიკულ ინვარიანტებთან შესაბამისობაში (მაგალითად, ბალანსის ინვარიანტები) მონაცემების გამჟღავნების გარეშე.
კეი-როტაცია: როტაციის გეგმა უფლებების მემკვიდრეობით, ორმაგი ხელმოწერა გარდამავალ პერიოდში.

11) შესაბამისობა

Policy Preview: პოლიტიკის სიმულაცია სინთეზზე და რეალურ „ჩრდილის ტრაფიკზე“.
Geo/age/sanctions: ZK ბარიერები; გაურკვევლობით - კარანტინი.
Export/retention: DA/egress რეგიონებში; რეგულატორის ჟურნალი.
გადასახადები/witholding: დროებითი შენახვა ხიდების საბოლოო დონეზე.

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.
ალერტები: error-budget burn, TailAmplification ზრდა, drift სქემები, შესაბამისობის უარის თქმის სპიკი, flap-rate მარშრუტები.

13) ტესტები/სიმულაციები/ქაოსი

Unit კონტრაქტები: ABI/სქემები, თავსებადობის წესები.
Trace-replay: მოთხრობების დაჩქარება უცვლელი შემოწმებებით.
Fuzz/Property-based: შემთხვევითი შეტყობინებების/წესრიგის/საბოლოო სცენარები.
Chaos/Game-day: ვარდნა POP/Bridge/DA, reorg-bursts, ფასების შოკები.
Soak 24-72h: სტაბილურობა p95/p99/საბოლოო/ღირებულება.

14) აგრეგატების ეკონომიკა

Budget-caps: პერიოდის ღირებულების ჭერი; გადატვირთვის ჯარიმები.
QF პრემიები: პროვაიდერები, რომლებმაც გაუძლეს SLO- ს გრეის ფანჯარაში.
RiskAdj: დარღვევების გადახდის დროებითი შემცირება.
Treasury hooks: კომპენსაცია სადაზღვევო აუზიდან დადასტურებული ინციდენტებისთვის.

15) (პროცედურები და გამჭვირვალობა)

პროპოზიები: ცვლილების აღწერა, რისკის ანალიზი, დაბრუნების გეგმა, საბოლოო ფანჯრები.
კვორუმი/ვეტო: როლები და წონა; ნდობის/ხარისხის R- მოდიფიკატორი.
საჯაროობა: ვერსიის პასპორტი, დიფის ლოგიკა, მოხსენებები განახლება.
Sunset კორექტირება: დროის პარამეტრების ავტომატური გამოტოვება.

16) KPI ინტერჯექტორული განახლებები

საიმედოობა: წესრიგის/საბოლოო დარღვევის 0 კრიტიკული დარღვევა; DLQ არ იზრდება.
შეფერხება: p95/p99 დერეფანში; TailAmplification არის სამიზნე.
ფინალურობა: FinalityLag არ იზრდება ბიუჯეტში; 0 ყალბი მტკიცებულება.
ეკონომიკა: Cost/Req ბიუჯეტში; ანაზღაურება ბარიერი.
ოპერაციები: MTTR ინციდენტები; ფრენის მარშრუტები არ გაუარესდება.
შესაბამისობა: 100% გასეირნება; 0 ექსპორტის/რეაგირების დარღვევა.
SLA- ში Aprove გაქრა; დროულად 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 ms, DLQ = 0, MTTR - 15 წთ
• Bridges/DA: საბოლოო - 3 × T _ block, reorg - 0.

18) განხორციელების ფლეიბუკი (ნაბიჯები)

1. ინიცირება: გაქრა, რისკის ანალიზი, გამოტოვების გეგმა, საბოლოო/შესაბამისობის შეფასება.
2. მომზადება: SemVer/ABI, სქემები და upcasters, წინა დროშები, RNFT სამართალი/კვორუმი.
3. ტესტები: unit/trace-replay/fuzz, policy-preview, ZK-asserts ინვარიანტები.
4. დაკვირვება: პანელები/ალერტები, KPIs საცნობარო ბარიერები.
5. Shadow - Canary: ჩრდილები/შედარება, მცირე კოჰორტები, მკაცრი ალერტები.
6. Cohort rollout: რეგიონი/ჯაჭვი/QoS ეტაპობრივად; finality-holdback გადახდები.
7. ორმაგი write/read: წესრიგის ბარიერები, რეპლიკაცია და შერიგება.
8. Soak/Chaos: endurance და წარუმატებელი სცენარები.
9. გლობალიზაცია: დროშების მოხსნა, დოკუმენტაციის განახლება/ბარიერი ვერსია.
10. პოსტ-მორტემი: მოხსენება, ხელმოწერების/რეიდების/ჰაიდების განახლება.

19) Prod List მზადყოფნა

• SemVer/ABI и Schema Registry с upcasters
• Fich დროშები, გააქტიურების ფანჯრები, sunset პარამეტრები
• RNFT უფლებები: კვორუმები, გაჩერებული ამწეები, ესკიზი/სადაზღვევო აუზი
• Outbox/inbox, idempotence, replay ბარიერები
• Finality გეგმა: Bridges Windows/DA, holdback გადახდები
• Observability: კვალი, Upgrade/Finality/ABI პანელები
• შესაბამისობის გადახედვა, ZK ბარიერების აუზები, პოლიტიკის ექსპორტი/რეტენსი
• სიმულაციები, shadow, canary, cohort, soak/chaos
• Rollback გეგმა და ჟურნალის დელტა
• საჯარო მოხსენება და რეესტრის განახლებები

20) გლოსარიუმი

SemVer/ABI: ხელშეკრულების სემანტიკური ვერსია/ინტერფეისი.
Upcaster: ძველი ჩანაწერების გადამყვანი ახალი სქემისთვის კითხვის დროს.
FinalityLag: ფანჯარა, სანამ შეუქცევადი ინტერჯეზიული მოვლენა.
Outbox/Inbox: გარანტირებული მიწოდება/idempotence.
RNFT: ურთიერთობის ხელშეკრულება/უფლებები/ლიმიტები და KPI.
Sunset: დროებითი პარამეტრების ავტომატური გამოტოვება.
Shadow/Canary/Cohort: ეტაპობრივი გამოშვების სტრატეგიები.

21) შედეგი

ინტერჯექტორული განახლებები არის კონტროლირებადი დისციპლინა: ვერსიები - დროშები - ეტაპობრივი გაშვება, საბოლოო/თავსებადობა, დაკვირვება და დაბრუნება. მკაცრი შეკვეთისა და შესაბამისობის ინვარიანტებით, RNFT უფლებებით, სიმულაციებითა და გამჭვირვალეობით, ეკოსისტემა განახლებულია უმტკივნეულოდ და პროგნოზირებულად, ინარჩუნებს მონაწილეთა უწყვეტი ღირებულებას და ნდობას.