research(wave-0822): GATE PROP-01 gamba (a) CHIUSA — 13/13 sul venue; e la quota d'ingresso e' un deposito rimborsabile, non una fee

docs/research/RESULTS-0822.md

@@ -695,6 +695,7 @@ stessi hanno nominato senza poterli eseguire**. Stesso contratto di consegna, st
 | 21 | XS01-OOS | il vantaggio del PROP-ALLOC poggia sul drift di XS01 misurato sulla sua finestra di scoperta: regge fuori? | **LEAD** — regge, ed e' PIU' GRANDE fuori |
 | 28 | DEPEG | il falsificatore che l'autore di 21 ha nominato contro se stesso: il depeg USDT contamina il ranking? | **SOPRAVVIVE** — il venue sposta 0,01 di Sharpe |
 | 29 | PROP-RECAL | J rifatto con XS01 dalla storia lunga: il canale funded si apre? | **LEAD ridimensionato ~5x** — 42% → **7,8%** |
+| 30 | LISTINO | `GATE PROP-01` gamba (a): la firm lista >=10 delle 13 gambe con short? | **PASS 13/13** — verificato sul venue, non sul sito |
 | 22 | MAKER | l'esecuzione passiva e' una fonte di ritorno, al netto del costo di non essere eseguiti? | **SCARTATO** — il segno dipende da `<` contro `<=` |
 | 23 | BOCPD | un rilevatore di cambio di regime vero batte il miglior lookback COSTANTE? | **SCARTATO** — filone chiuso definitivamente |
 | 24 | CRITICO | cosa NON e' stato misurato, e quale singola misura mancante vale di piu' | **3 correzioni all'ondata**, 1 regola mia ritirata |
@@ -1314,3 +1315,49 @@ PASS; il surrogato dice +0,11/+0,12).
 
 **`IL CANALE FUNDED: SI APRE A CONDIZIONE DI leggere il listino della firm` — e di citarlo come
 P(≥50 €/g) 7,8% [7,2–9,1%] con P(zero) 25,5%, non 42%.**
+
+---
+
+## 30 — LISTINO (`GATE PROP-01` gamba (a)) — **la verifica da €0, fatta**
+
+Non un agente: eseguita dal coordinatore, perche' e' una **verifica esterna**, non un backtest — ed e'
+la gamba **bloccante prima di ogni spesa**. La regola del progetto la impone da luglio: *la
+negoziabilita' sul conto REALE va verificata quando lo sleeve entra in RICERCA* (lezione GTAA01/PRIIPs).
+
+📌 **Metodo: NON leggere il sito della firm, interrogare il VENUE su cui la firm esegue.** HyroTrader
+esegue su **Bybit** via API (o su Cleo, con dati Binance). Interrogato
+`api.bybit.com/v5/market/instruments-info?category=linear` (pubblico, tokenless, **833 strumenti**),
+lo stesso percorso che il progetto usa per certificare i feed.
+
+| esito | risultato |
+|---|---|
+| **U13 (le 13 gambe testabili fuori campione)** | **13/13 `Trading`, `LinearPerpetual`** |
+| le 6 gambe che fuori campione non esistono | **6/6 `Trading`** |
+| min notional | **$5 su tutte e 13** |
+| leva max | 50x-150x |
+
+**`GATE PROP-01 (a): PASS 13/13` (soglia era ≥10).** E sono **perpetual lineari**: lo short e'
+strutturale, non un permesso — non esiste un divieto di vendita allo scoperto su un perp.
+⚠️ **Cio' che questo NON prova:** che HyroTrader non abbia una **propria** lista ristretta distinta da
+quella di Bybit. La sua pagina dichiara *"700+ USDT perpetual pairs"* su un venue che ne ha 833 →
+coerente con nessuna restrizione significativa, ma e' la **sua** dichiarazione. Il residuo si chiude
+con una domanda al supporto, non con un dataset.
+
+✅ **VALIDAZIONE del modello del progetto (non correzione):** la pagina della firm dichiara
+**daily drawdown 4% · max loss 6%**, e `scripts/research/r0725_hyro.py:48-49` usa gia'
+`EV_TARGET, EV_DD, EV_DL = 0.10, 0.06, 0.04` e `FU_ML, FU_DL = 0.06, 0.04` → **le regole modellate dal
+25/07 sono quelle vere.**
+
+🚨 **UNA CORREZIONE ECONOMICA, invece, c'e': la quota d'ingresso non e' un COSTO AFFONDATO.** La firm
+la dichiara **"Refundable Challenge Deposit, returned in full alongside your first funded payout"**
+(pagina della firm + fonti secondarie concordi). Il progetto l'ha sempre modellata come **spesa
+persa** — e la gamba (c) di `GATE PROP-01` dice *"un'eval $100k costa $579 su un conto di $635 = il
+91%"*. **Resta vero che immobilizza il 91% del conto**, ma **non e' vero che lo brucia**: si perde
+solo nel ramo in cui non si arriva mai a un payout (**P(zero) 25,5%**), e torna in quello in cui si
+arriva. **E' una struttura a opzione, non una fee** → l'EV del biglietto va rifatto.
+⚠️ **Qualita' delle fonti dichiarata:** il listino degli strumenti e' **primario e misurato** (API del
+venue); le regole di DD sono **primarie ma dichiarative** (pagina della firm); la rimborsabilita' e il
+prezzo esatto del taglio $100k sono **primari-dichiarativi + secondari concordi**, non misurati.
+📌 **Conseguenza sul gate:** la gamba (a) e' **CHIUSA con un PASS**. Restano la **(b)** — banda
+d'ancora di SKH01 sotto la lente prop, che un agente sta girando ora invece di aspettare il 31/10 — e
+la **(c)**, che va **ricalcolata** con la quota come deposito rimborsabile invece che come spesa.