82c05f6f81
7 finder paralleli sul diff della giornata (8adf388..HEAD), fix dei confermati: CRITICI (money-path): - close_amount: GUARD stato-stantio sul fallback netting — il residuo non-reduce-only e' consentito solo fino al gap (conto reale - libri degli altri worker - orfani) nella direzione della chiusura (src/live/books.py = fonte unica, usata anche dal reconciler). Senza guard, un close su stato stantio (DSL scattato in outage, flatten manuale) APRIVA una posizione nuda a taglia piena bookata come 'chiusura verificata'. Fail-safe se il gap non e' calcolabile. Check polvere PRIMA di _quantize_step (che clampa al lotto minimo: un residuo 1e-17 diventava un ordine nudo da un lotto). - _real_close: market_amt = filled_amount anche a merged verified=False (i contratti chiusi dal reduce-only non si buttano se il leg netting fallisce); REAL_CLOSE_PARTIAL non piu' gateato su verified (era soppresso proprio nel caso parziale reale). - pairs: verita' per-FRAZIONE di gamba (gross proporzionale al fillato, orfano = solo il residuo — prima falsava reconciler e real_capital della parte gia' chiusa); REAL_OPEN_PAIR booka filled_amount; docstring applied corretta. - open_pair unwind: chiude il FILLATO, non il richiesto (senza il cap silenzioso del reduce-only avrebbe mangiato quota altrui). - place_tp_limit: quantize CONSERVATIVO (sell=floor/buy=ceil) — il rounding al tick piu' vicino poteva mettere il resting oltre il TP sim -> tocco genuino classificato phantom sistematicamente. ROBUSTEZZA/OSSERVABILITA': - runner: WORKER_ERROR_STREAK a 5 e poi ogni 50 poll + recovery RIPRESO + flag real_in_position nell'alert (prima: one-shot a n==5, poi silenzio). - _tp_phantom: TTL 120s sul verdetto (era ~50 HTTP/h per worker a barra fantasma); merge notes con entrambi gli order_id (audit-trail). - reset_flatten: _quantize_step Decimal (round float produceva amount che Deribit rifiuta); hourly_report: book XS01 con gambe SHORT visibili (abs). - validate_xsec_worker: POS/LEV importati (non hardcoded); xs01_tranche: regression-lock ESEGUITO vs xsec_sim; reconcile su src/live/books; drift_monitor: rolling vettoriale + exit code 1 su warn. Test: +4 guard/dust, fixture filled_amount -> 114 passed. Deferiti (TODO): resting esposti al netting, lifecycle orphan_legs, finestra trade-history TP_PHANTOM, validazione feed a monte, dedup minori. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
130 lines
5.5 KiB
Python
130 lines
5.5 KiB
Python
"""Netting delle chiusure market (v1.1.25): close_amount tenta il reduce-only e
|
|
riesegue il RESIDUO in market puro quando il netting di conto lo cappa/respinge
|
|
(audit 2026-06-11: 3 gambe pairs orfane + 1 close cappato). Il chiamante riceve
|
|
UN Fill combinato. Nessuna rete: _submit monkeypatchato."""
|
|
from src.live.execution import ExecutionClient, Fill
|
|
|
|
|
|
def _fill(inst, side, amount, filled, px, verified=True, state="filled", fee=0.05):
|
|
return Fill(inst, side, 0.0, amount, px if filled else None, 0.0, fee,
|
|
f"oid-{side}-{filled}", state, verified, filled_amount=filled)
|
|
|
|
|
|
def _client_with(submits, allowance=float("inf")):
|
|
"""ExecutionClient con _submit finto e guard del netting stubbato (il guard
|
|
reale legge conto+libri via HTTP/filesystem; qui si inietta il gap)."""
|
|
ec = ExecutionClient()
|
|
calls = []
|
|
|
|
def fake_submit(instrument, side, amount, notional, reduce_only, label=None,
|
|
order_type="market", price=None):
|
|
calls.append(dict(amount=amount, reduce_only=reduce_only, label=label))
|
|
return submits.pop(0)(instrument, side, amount)
|
|
|
|
ec._submit = fake_submit
|
|
ec._net_close_allowance = lambda *a, **k: allowance
|
|
return ec, calls
|
|
|
|
|
|
INST = "ETH_USDC-PERPETUAL"
|
|
|
|
|
|
def test_full_reduce_only_no_fallback():
|
|
# caso normale: il reduce-only filla tutto -> NESSUN secondo ordine
|
|
ec, calls = _client_with([
|
|
lambda i, s, a: _fill(i, s, a, filled=a, px=1700.0),
|
|
])
|
|
f = ec.close_amount(INST, "sell", 0.103, label="w1")
|
|
assert len(calls) == 1 and calls[0]["reduce_only"] is True
|
|
assert f.verified and abs(f.filled_amount - 0.103) < 1e-9
|
|
assert "netting" not in (f.notes or "")
|
|
|
|
|
|
def test_capped_reduce_only_nets_residual():
|
|
# reduce-only CAPPATO (filla 0.078 su 0.105) -> residuo 0.027 in market puro
|
|
ec, calls = _client_with([
|
|
lambda i, s, a: _fill(i, s, a, filled=0.078, px=1700.0),
|
|
lambda i, s, a: _fill(i, s, a, filled=a, px=1702.0),
|
|
])
|
|
f = ec.close_amount(INST, "sell", 0.105, label="w1")
|
|
assert len(calls) == 2
|
|
assert calls[0]["reduce_only"] is True and calls[1]["reduce_only"] is False
|
|
assert abs(calls[1]["amount"] - 0.027) < 1e-9
|
|
assert calls[1]["label"] == "w1|net"
|
|
assert f.verified and abs(f.filled_amount - 0.105) < 1e-9
|
|
# prezzo medio pesato: (0.078*1700 + 0.027*1702) / 0.105
|
|
exp_px = (0.078 * 1700.0 + 0.027 * 1702.0) / 0.105
|
|
assert abs(f.fill_price - exp_px) < 1e-6
|
|
assert abs(f.fee_usd - 0.10) < 1e-9 # fee sommate
|
|
assert "netting" in f.notes
|
|
|
|
|
|
def test_rejected_reduce_only_nets_full_amount():
|
|
# reduce-only RESPINTO (error, 0 fill) -> tutto l'amount in market puro
|
|
ec, calls = _client_with([
|
|
lambda i, s, a: _fill(i, s, a, filled=0.0, px=None, verified=False, state="error", fee=0.0),
|
|
lambda i, s, a: _fill(i, s, a, filled=a, px=1701.0),
|
|
])
|
|
f = ec.close_amount(INST, "buy", 0.027, label="pair")
|
|
assert len(calls) == 2 and abs(calls[1]["amount"] - 0.027) < 1e-9
|
|
assert f.verified and abs(f.filled_amount - 0.027) < 1e-9
|
|
assert f.fill_price == 1701.0
|
|
assert "netting" in f.notes
|
|
|
|
|
|
def test_net_leg_also_fails_reports_partial():
|
|
# anche il market puro fallisce -> Fill combinato NON verified, filled = solo r-o
|
|
ec, calls = _client_with([
|
|
lambda i, s, a: _fill(i, s, a, filled=0.05, px=1700.0),
|
|
lambda i, s, a: _fill(i, s, a, filled=0.0, px=None, verified=False, state="error", fee=0.0),
|
|
])
|
|
f = ec.close_amount(INST, "sell", 0.105, label="w1")
|
|
assert len(calls) == 2
|
|
assert not f.verified
|
|
assert abs(f.filled_amount - 0.05) < 1e-9 # solo il fillato vero nel ledger
|
|
|
|
|
|
def test_stale_state_guard_blocks_naked_order():
|
|
# quota gia' chiusa (DSL in outage / flatten manuale): reduce-only filla 0 e
|
|
# il gap conto-vs-libri e' 0 -> NESSUN ordine market nudo (code-review 2026-06-11)
|
|
ec, calls = _client_with([
|
|
lambda i, s, a: _fill(i, s, a, filled=0.0, px=None, verified=False, state="error", fee=0.0),
|
|
], allowance=0.0)
|
|
f = ec.close_amount(INST, "buy", 0.105, label="w1")
|
|
assert len(calls) == 1 # solo il reduce-only, niente fallback
|
|
assert not f.verified and f.filled_amount == 0.0
|
|
assert "netting NEGATO" in f.notes
|
|
|
|
|
|
def test_guard_unknown_fails_safe():
|
|
# guard non calcolabile (rete): FAIL-SAFE, niente ordine nudo
|
|
ec, calls = _client_with([
|
|
lambda i, s, a: _fill(i, s, a, filled=0.0, px=None, verified=False, state="error", fee=0.0),
|
|
], allowance=None)
|
|
f = ec.close_amount(INST, "buy", 0.105, label="w1")
|
|
assert len(calls) == 1
|
|
assert "non calcolabile" in f.notes
|
|
|
|
|
|
def test_guard_caps_residual_to_allowance():
|
|
# gap parziale: il residuo nudo e' cappato a quanto i libri giustificano
|
|
ec, calls = _client_with([
|
|
lambda i, s, a: _fill(i, s, a, filled=0.0, px=None, verified=False, state="error", fee=0.0),
|
|
lambda i, s, a: _fill(i, s, a, filled=a, px=1700.0),
|
|
], allowance=0.027)
|
|
f = ec.close_amount(INST, "sell", 0.105, label="w1")
|
|
assert len(calls) == 2
|
|
assert abs(calls[1]["amount"] - 0.027) < 1e-9
|
|
assert not f.verified # 0.027 < 0.105: chiusura parziale onesta
|
|
assert abs(f.filled_amount - 0.027) < 1e-9
|
|
|
|
|
|
def test_dust_residual_no_fallback():
|
|
# residuo da artefatto float (1e-17): NON deve diventare un lotto minimo nudo
|
|
ec, calls = _client_with([
|
|
lambda i, s, a: _fill(i, s, a, filled=a - 1e-17, px=1700.0),
|
|
])
|
|
f = ec.close_amount(INST, "sell", 0.105, label="w1")
|
|
assert len(calls) == 1
|
|
assert f.verified
|