Aggiungi menu Nuovo estrazione/Guida, rimuovi verifica completezza assiemi

"File -> Nuova estrazione" (Ctrl+N) azzera distinta/raw/verifica per ripartire
senza ricaricare DB e cartella di lavoro; "Aiuto -> Guida" (F1) apre una sintesi
interattiva delle 5 fasi. Rimossa "Verifica completezza assiemi": bottone,
ReportCompletezzaForm e VerificaCompletezzaAssiemi non più necessari.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

docs/architettura.md

@@ -72,10 +72,8 @@ sbaglia, Creo Distributed Batch non dice quale file manca — dice solo `[-4] Da
 completi`.
 
 **5. Verifica e consegna a Creo.** `AggiornaAnteprimaAsm` mostra i `.asm` della distinta già
-in `raw/` come icone trascinabili; "Verifica completezza assiemi" ricontrolla ricorsivamente
-**sull'indice** (non su `raw/`) che ogni sotto-componente esista. L'esportazione STEP vera è
-manuale e fuori dall'app: si trascinano i `.asm` su Creo Distributed Batch, che scrive in
-`step/`.
+in `raw/` come icone trascinabili. L'esportazione STEP vera è manuale e fuori dall'app: si
+trascinano i `.asm` su Creo Distributed Batch, che scrive in `step/`.
 
 ## Entry point
 
@@ -98,12 +96,17 @@ manuale e fuori dall'app: si trascinano i `.asm` su Creo Distributed Batch, che
   | 2 | Importa Distinta Base | selezione file → `ImportaDistinta` → `DistintaBaseImporter.ConvertiInCsv` | Xls/Xml gestionale → CSV componente;descrizione, scritto nella cartella di lavoro |
   | 3 | Crea cartella raw | "Crea cartella raw" → `CreaCartellaRaw` | `TrovaPercorsiCad` + `CopiaFileTrovati` (parallela) → `raw/` dentro la cartella di lavoro |
   | 4 | Trova componenti referenziati | "Trova componenti referenziati" → `TrovaPrtReferenziati` → `RisolviAlberoComponenti` | Legge i `.asm` in `raw/`, risolve ricorsivamente sotto-assiemi/parti nell'indice e li copia anch'essi in `raw/`, insieme ai componenti soppressi e ai modelli citati per riferimento esterno che servono a Creo per aprire l'assieme |
-  | 5 | Verifica completezza | "Verifica completezza assiemi" → `VerificaCompletezzaAssiemi` | Completezza ricorsiva sui percorsi in indice. All'ingresso nella fase, `AggiornaAnteprimaAsm` mostra le icone trascinabili dei `.asm` della distinta già in `raw/`, da trascinare su Creo per l'esportazione STEP (Distributed Batch) |
+  | 5 | Verifica completezza | (ingresso in fase) → `AggiornaAnteprimaAsm` | Mostra le icone trascinabili dei `.asm` della distinta già in `raw/`, da trascinare su Creo per l'esportazione STEP (Distributed Batch) |
 
   Stato condiviso tra le fasi (campi privati di `Form1`): `_dbPath`, `_cartellaLavoro`,
   `_percorsoInputCorrente`, `_righeCorrenti` (righe del CSV), `_ultimaVerifica` (cache percorsi
   CAD), `_ultimaCartellaRaw`.
 
+  Menu (`MenuStrip`, in cima alla finestra): "File → Nuova estrazione" (Ctrl+N) azzera lo
+  stato delle fasi 2-5 (`NuovaEstrazione`) per ripartire con una nuova distinta senza
+  ricaricare il database/la cartella di lavoro (fase 1, che resta invariata); "Aiuto → Guida"
+  (F1) apre `GuidaForm`, sintesi interattiva delle 5 fasi per chi non ha letto questi docs.
+
   Altre responsabilità in Form1.cs:
   - `TrovaPercorsiCad` / `CaricaCodiciNoti` — query sul DB (`files_ultima_versione`), la
     seconda carica tutti i codici prt/asm noti in un colpo solo (usata sia per risolvere i
@@ -134,8 +137,7 @@ manuale e fuori dall'app: si trascinano i `.asm` su Creo Distributed Batch, che
 
 ## Lettura dei componenti referenziati in un `.asm`
 
-`Form1.EstraiCodiciReferenziati` (usata da `RisolviAlberoComponenti`, fase 4, e da
-`AssiemeCompleto` dentro `VerificaCompletezzaAssiemi`, fase 5) prova prima
+`Form1.EstraiCodiciReferenziati` (usata da `RisolviAlberoComponenti`, fase 4) prova prima
 `AsmRecordReader.EstraiCodiciReferenziati` e ripiega su
 `AssemblyComponentScanner.EstraiCodiciReferenziati` solo se il primo lancia
 `InvalidDataException` (file che non rispetta il formato validato dal reverse engineering).
@@ -169,9 +171,6 @@ parte, e la fase 4 le copia in `raw/` senza contarle fra i "non trovati":
   feature, datum copiati), elencati in una tabella a parte del binario (§7.5). Qui si ricorre
   dentro, perché Creo carica il modello citato con tutto il suo albero.
 
-La fase 5 (`VerificaCompletezzaAssiemi`) usa invece **solo** i membri: è una domanda sulla
-distinta, e contare le altre due liste produrrebbe falsi "componenti mancanti".
-
 ## Quale copia di un componente si copia in `raw/`
 
 Lo stesso codice esiste spesso in più cartelle della share, con contenuto diverso e pari
@@ -220,8 +219,8 @@ completi".
   sotto-assiemi trovati e copiati in `raw/`, più i codici referenziati che non corrispondono a
   nessun file indicizzato (possono essere disegni, componenti davvero mancanti, o falsi
   positivi della scansione `.asm`).
-- **ReportCompletezzaForm.cs** — per ogni assieme della distinta, se tutti i suoi componenti
-  (ricorsivamente fino ai PRT) sono nell'indice (✓/✗/? per "non trovato").
+- **GuidaForm.cs** — guida interattiva ("Aiuto → Guida"/F1): lista delle 5 fasi a sinistra,
+  testo a destra; sintesi, il dettaglio resta solo in questi docs.
 
 ## Persistenza