Implementation of shorting.pdf v3.6.1 (Fixed-Liability Covered Continuous-Unwind Model, 17 June 2026) + PR #2764. Closed-forms from spec Appendix A.1, decay from §6.2, restoration zaps from §6.6.
Educational model. You enter P (your TAO in). Protocol solves C from the spec quadratic (§4.2), then derives N = C−P, pool fraction ϕ = (1−√(1−4N/T))/2 (§4.3), fixed liability Q = ϕ·A, escrow E = ϕ·T, footprint B = λC. Opening pulls N + E TAO out of the pool, dropping spot. Buffer R = N and escrow E decay together at d_day = d_min + (d_max−d_min)·u² (§6.2) and are restored to the pool via the one-sided zap (§6.6). Closing buys ρQ alpha back at spot with full CPMM slippage K = T·Q/(A−Q). EMA (SubnetMovingPrice) is informational on the chart; chain uses it only as the dereg-settlement floor K_D = max(K_spot, Q·p_EMA).
Price vs. Position Equity
Per-day close: R + P bars, line = price (the buyback split) — click a day for the breakdown
Click any day's bar. Below the line is returned to the pool; above the line goes to you. On the clicked day, R kept above the line turns green (profit) and any P sold below the line turns red (loss).