Migration und externer AMM

Atomische Migration auf dem endgültigen Kurvenkauf, USDC-Genauigkeitskonvertierung, LP-Locking, Spendengrenzen und externe Produktpreisung.

Nach Aufbrauchen aller verkäuflichen Kurven-Token bildet BigShortProtocol-EVM mit reservierten Token + tatsächlichen Netto-USDC-Reserven der Kurve externe Liquidität und startet die unabhängige Short Engine dieses Token. Die Migration verwendet keine virtuellen USDC, vermischt keine Mittel anderer Token-Kurven und behandelt die Kreditreserve nicht als anfängliche externe Liquidität.

1. Auslöser und Ausführungsreihenfolge

Reihenfolge	Aktion	Geschäftliches Ergebnis
1	Der endgültige Kauf abschließt	Verkäuflicher Token-Saldo null, Zustand `Complete`
2	Token ausgeben und Überzahlung erstatten	Erstattungsempfänger ist der Transaktionsabsender
3	Kurvenhandels- und Abschlussereignisse ausgeben	Endgültigen Snapshot der Kurvenreserven speichern
4	Konfigurationssnapshot des Token und erwartete Engine-Adresse erneut prüfen	Kein Wechsel auf ein später gesetztes neues Standard-Profile
5	Zustand `Migrating` setzen und Haupt-Pair prüfen	Identität, Laufzeitcode, Reserven und Salden prüfen
6	206,900,000 Token und darstellbare reale USDC übertragen	Reale externe Liquidität bilden
7	Migrations-LP an die Nulladresse prägen und prüfen	Sämtliche anfänglichen LP müssen bei der Nulladresse liegen
8	Short Engine bereitstellen und initialisieren	Tatsächliche Pair-Reserven und vorhandenen Kreditbestand binden
9	Bindung prüfen und Haupt-Pair-Handel freigeben	`externalTradingEnabled` wird wahr
10	Reales USDC-Guthaben dieser Kurve löschen und Migration speichern	Endzustand `Migrated`

2. Von native18 zu ERC-20-USDC mit sechs Stellen

Nativer Arc-USDC-Saldo und externe USDC-ERC-20-Schnittstelle gehören zum selben Quotierungsasset, verwenden jedoch verschiedene Präzision. Der aktuelle Code nutzt:

Szenario	Präzision	Eine USDC-Einheit
Kurvenzahlungen, Factory-Buchhaltung, interne Engine-Buchhaltung	native18	10¹⁸
USDC-ERC-20-Schnittstelle der externen Pair	external6	10⁶
Umrechnungsverhältnis $s$	—	10¹²

Die zu migrierende reale USDC-Reserve sei $Q_{18}$ :

Q_{6} = ⌊ \frac{Q_{18}}{10^{12}} ⌋

Q_{migrated, 18} = Q_{6} \cdot 10^{12}, D = Q_{18} mod 10^{12}

Hier ist, $Q_{6}$ ist die Anzahl der kleinsten ERC-20 USDC-Einheiten, die in das Paar übertragen wurden, und $D$ ist ein Rest unter 0.000001 USDC. Der Vertrag runde weder diesen Rest auf noch enthält er ihn stillschweigend in Pair-Reserven.

Zuordnung des Migrationsrests

Die Migration entfernt das vollständige $Q_{18}$ dieser Kurve aus den Gesamtverbindlichkeiten aller noch nicht migrierten Kurven und addiert zugleich die Restverbindlichkeit $D$ . Reserven anderer Token-Kurven verringern sich dadurch nicht.

3. Vollständiges Ausverkaufsbeispiel und drei Bewertungen

Beispiel D: Gesamten Anfangsbestand einmalig kaufen, ohne Abgabe oder Spende

beträgt der Nettozufluss zur Kurve:

Q_{18} = ⌈ \frac{(4,292 \times 10^{18}) \cdot (793,100,000 \times 10^{18})}{(1,073,000,000 - 793,100,000) \times 10^{18}} ⌉

Element	Exaktes Ergebnis
Netto-USDC in der Kurve	12,161.433369060378706681
In die Pair eingezahlte Token	206,900,000 Token
In die Pair eingezahlte USDC	12,161.433369 USDC
USDC-Ganzzahl in external6	12,161,433,369
Migrationsrest	0.000000060378706681 USDC

Dies sind einmalige Beispiele mit klarer Ausgangsbasis. Sie garantieren nicht, dass sämtliche Pfade mit mehreren Käufen und Verkäufen exakt denselben Gesamtwert bis zur kleinsten Einheit erzielen. Ganzzahlrundungen pro Transaktion und der Einstieg mit exaktem Budget erzeugen Unterschiede.

Kurvenendpunkt, tatsächlicher externer Wert und idealer Anker sind zu trennen

Kennzahl	Wert in diesem Beispiel	Verwendung
Virtuelle interne USDC nach letztem Kauf	16,453.433369060378706681	Virtuelle Reservenaufzeichnung am Kurvenende
Virtuelle Token am Kurvenendpunkt	279,900,000	Virtuelle Reservenaufzeichnung am Kurvenende
Protokoll-Marktkapitalisierung am Kurvenendpunkt	58,783.256052377201524405 USDC	Aus virtuellen Kurvenreserven berechnet
Tatsächliche externe Anfangs-USDC	12,161.433369	Reale Pair-Mittel
Tatsächliche externe Anfangs-Token	206,900,000	Reale Pair-Mittel
Tatsächliche externe Anfangs-Marktkapitalisierung	58,779.281628806186563557 USDC	`actualStartMarketCap`
Fester idealer Migrations-USDC-Parameter	12,161.433370	Risikomodellparameter, kein vorgeschriebener Transferbetrag
Feste ideale Migrations-Marktkapitalisierung	58,779.281633639439342677 USDC	`startMarketCap`, Anker der Risiko-/Margin-Kurven

Der tatsächliche externe Anfangspreis beträgt ungefähr 0.000058779281628806186564 USDC/Token. Die aktuellen Parameter erzwingen keine „bis zur kleinsten Einheit völlig stetigen Grenzpreise vor und nach Migration“. Virtuelle Kurvenreserven und reale Migrationsreserven sind zwei unterschiedliche Wertemengen.

Der feste ideale Anker liefert eine reproduzierbare Risikomodellbasis. Reale Pair-Reserven bestimmen Spot-Preis, Schuldenrückkaufkosten und jeden tatsächlichen Swap. Der Modellparameter 12,161.433370 USDC darf nicht als zwangsläufiger Geldeingang jeder Migration beschrieben werden.

4. Vorab erstellte Pair, Spenden und Kontaminationsschutz

Welche Vorzustände sind zulässig?

Zu Migrationsbeginn gelten:

Token-Reserve der Pair gleich 0.
Tatsächlicher Token-Saldo der Pair gleich 0.
LP-Gesamtangebot der Pair gleich 0; keine alten LP anderer Inhaber.
USDC-Reserve der Pair darf ihren tatsächlichen USDC-Saldo nicht übersteigen.
Pair-Adresse, Token-Zusammensetzung, zugehöriger Handelsplatz und Code-Identität bestehen die Profile-Prüfung.

Nach den Migrationstransfers wird auch der tatsächliche USDC-Zuwachs geprüft. Nach LP-Prägung muss die Token-Reserve dem Migrationskontingent entsprechen und die USDC-Reserve dem tatsächlichen USDC-Saldo vor Migration + jetzt eingezahlten USDC. Abweichungen lösen PairContaminated oder den jeweiligen Prüfungsfehler aus und setzen zurück.

Der Konfigurationssnapshot prüft mehr als nur eine Versionsnummer. Die Migration validiert erneut Code-Hashes und Beziehungen von Engine-Deployer, Engine-Implementierung und Handelsplatz-Factory/Router, kontrolliert Engine-Parameterhash und Oracle-Konfiguration. Aus dem Pair-Initialisierungscodehash wird die erwartete Adresse abgeleitet, und der Laufzeitcodehash validiert die tatsächliche Pair. Weicht Laufzeitcode von Deployer oder Implementierung vom registrierten Wert ab, wird der letzte Kauf atomar zurückgesetzt, statt stillschweigend die veränderte Implementierung zu verwenden.

Diese Regeln garantieren nicht die Annahme beliebig großer Spenden. Ganzzahlige Reservengrenzen der Pair, LP-Prägung und weitere Ausführungsbedingungen gelten weiterhin. Noch nicht in Reserven verbuchte Spenden können außerdem vor der Migration durch normale Pair-Operationen entfernt werden. Maßgeblich ist daher der Saldo bei Migrationsausführung.

Wohin gehen Spenden?

Der bei Migration bereits vorhandene USDC-Saldo sei $Q_{pre, 6}$ :

Q_{actual, 6} = Q_{pre, 6} + Q_{6}

Diese Kurve zahlt weiterhin fest 206,900,000 Token ein. Bei Migration verbleibende USDC-Spenden gehen in den realen Pool und werden weder dem Spender noch dem letzten Käufer erstattet. Sie erhöhen den tatsächlichen Anfangspreis und actualStartMarketCap, ändern jedoch den festen idealen Migrationsanker nicht. Auch die zeitgewichtete Kapazitätsfreigabe wird nicht allein durch eine Spende mit hohem Momentanpreis bei Migration sofort abgeschlossen.

Beispiel E: Zusätzlich 170 USDC bleiben in der Haupt-Pair aus Beispiel D

Element	Ohne Spende	Mit zusätzlicher Spende von 170 USDC
Externe Token-Reserve	206,900,000	206,900,000
Externe USDC-Reserve	12,161.433369	12,331.433369
Tatsächliche anfängliche Protokoll-Marktkapitalisierung	58,779.281628806186563557	59,600.934601256645722571
Feste ideale Migrations-Marktkapitalisierung	58,779.281633639439342677	58,779.281633639439342677

Eine direkte USDC-Überweisung an die Factory ist etwas anderes: Sie erhöht nicht automatisch realNativeReserves eines Token und wird daher nicht automatisch zu dessen Migrationsmitteln. Kurvenbuchsaldo, Factory-Gesamtsaldo und tatsächlicher Pair-Saldo müssen getrennt verstanden werden.

5. Endgültiger Verbleib von LP und Kreditbestand

Sämtliche anfänglichen LP sind für gewöhnliche Inhaber nicht einlösbar

{LPBalance}_{zero} = LPTotalSupply

Zudem müssen die diesmal geprägten LP größer als 0 und die Gesamt-LP größer als die zurückgegebene Liquiditätsmenge sein, um die anfängliche Mindestliquiditätsstruktur von V2 abzudecken. Weder Ersteller, Betrieb, Protokoll-Wallet noch letzter Käufer erhalten diese Migrations-LP.

„LP verbrennen“ bedeutet hier: Die Nulladresse hält die LP; gewöhnliche Konten können sie nicht entnehmen und einlösen. Es bedeutet weder, dass ERC-20- Gesamtangebot 0 wird, noch dass die Token in der Pair verbrannt werden. Die Migrationsprüfung betrifft den Anfangszeitpunkt und rechtfertigt nicht die Behauptung, dass das externe AMM später nie neue Liquidität oder weitere LP erzeugen kann.

Die Kreditreserve bleibt unabhängig

Die 199,861,071 Token liegen bereits auf der vorausberechneten Engine-Adresse. Die Migration stellt die Engine lediglich bereit und initialisiert sie; sie prägt nicht erneut und überträgt dieses Kapital nicht in die Pair. Die Initialisierung liest reale Pair-Reserven und verfolgt verfügbares Kreditkapital in einer separaten Buchhaltung.