# PENGO — A09: ordinamento, watchdog e ghiaccio (W1/W2/X1/X2)

Audit offline E069v1.1 + addendum, E070 ed E071. Zero nuovi emulatori e frame. A10 non modificato. Best verificato 256.420: 44 round completati, ACT13 del terzo giro in corso, quattro vite, zero morti. Le osservazioni di A10 restano candidate fino ai suoi nuovi proof e gate.

## W1 — tutti i nodi richiesti

Il corpus contiene **13**, non10, nodi scartati senza discendenti osservati in morte. Gli altri7 scartati hanno discendenti in morte; anche i3 conservati ne hanno. Non si interpreta la morte di un discendente come motivo della scelta. E069v1 si è fermato sull’attesa errata10 ed è conservato INCOMPLETE,0MAME.

Tutti i13 appartengono al piano54 e sono confrontati con il nodo realmente scelto **m04-a09-v1-d0054-h19-n028758**, frame140877, score255960. È anche il massimo unico dell’ordinamento originale sui nodi accettati valutati. Il rank usa la radice originale ACT5/frame114713, il suo insieme di crediti e le visite prima del piano; non l’ingresso ACT13. I rank sono ricostruiti, non erano scritti nel journal. L’assenza di discendenti morti vale solo per il sottoalbero effettivamente esplorato.

| Nodo candidato (prefisso m04-a09-v1-d0054-) | Nodo scelto | Primo componente diverso | Candidato → scelto |
|---|---|---|---|
| h6-n028421 | h19-n028758 | Eventi causali accreditati | 70 → 72 |
| h6-n028422 | h19-n028758 | Eventi causali accreditati | 70 → 72 |
| h7-n028426 | h19-n028758 | Eventi causali accreditati | 71 → 72 |
| h7-n028449 | h19-n028758 | Eventi causali accreditati | 71 → 72 |
| h9-n028497 | h19-n028758 | Eventi causali accreditati | 71 → 72 |
| h11-n028534 | h19-n028758 | Score +12×geometria − pericolo −180×visite | 38828.0 → 40092.0 |
| h11-n028552 | h19-n028758 | Score +12×geometria − pericolo −180×visite | 38828.0 → 40092.0 |
| h11-n028553 | h19-n028758 | Score +12×geometria − pericolo −180×visite | 38912.0 → 40092.0 |
| h11-n028554 | h19-n028758 | Eventi causali accreditati | 71 → 72 |
| h11-n028556 | h19-n028758 | Eventi causali accreditati | 71 → 72 |
| h15-n028637 | h19-n028758 | Eventi causali accreditati | 70 → 72 |
| h15-n028638 | h19-n028758 | Eventi causali accreditati | 70 → 72 |
| h16-n028660 | h19-n028758 | Eventi causali accreditati | 71 → 72 |

Dieci confronti decidono prima dello score:70/71 crediti contro72. Gli altri3 hanno72 crediti e perdono sul termine composito. Quel termine contiene i30punti dei blocchi. Il confronto offline che elimina **tutti** i premi30 da entrambi i prefissi lascia lo stesso vincitore in **13/13** casi. Nei3 confronti sul termine composito il vincitore include un premio30, due premi500 delle uova e un premio400; i candidati un premio400. Restano anche differenze di geometria/pericolo. Il premio30 non è stato decisivo qui.

A09 eseguiva già la catena scelta per più macro fino allo stop registrato: non ripianificava necessariamente dopo ogni macro. Un prossimo esperimento cambierà esplicitamente il criterio W1, conserverà la linea fino alla rimozione e sopprimerà il premio ordinario30 nell’ordinamento; aperture utili saranno valutate come geometria di attacco/uovo, non come punti inventati. Nessuna modifica è applicata al tentativo A10 congelato.

## W2/X1 — rimozioni e watchdog

| Nodo | Fine macro | Contatore | Evento causale | Watchdog scritto |
|---|---:|---|---|---:|
| n028479 | 140626 |12→11| Uovo distrutto140601 |0|
| n028509 | 140653 |11→10| Uovo distrutto140628 |0|
| n028535 | 140685 |10→9| Crush: contatto140547, credito140557, conferma contatore140665 |1|

I primi due cali azzerano il watchdog. Il crush del terzo calo era già accreditato140557: lo stesso ID non viene contato due volte quando il contatore scende140665. La finestra degli ultimi40 comandi scelta per la review contiene anche i due azzeramenti; non coincide con40 unità consecutive del watchdog. Il watchdog finale comprende38 commit successivi all’ultimo azzeramento e2 rollback, se si conta il periodo effettivo dall’ultimo reset; il journal conserva la sequenza. Il punto di stop141398 ha inoltre un nuovo contatto141389: premio400 a141396, ma nessuna conferma causale/ack/credito prima della fine. Non è una quarta rimozione certificata.

A10 misura le macro dalla più recente **ack causale non censurata** nell’ACT corrente. Esclude le macro precedenti alla rimozione; se una macro termina dopo l’ack può visualizzare1 anziché0. Sforzo adattivo e guardia della rimozione in corso165frame sono già congelati; nessuna modifica.

Score da254530 a256420: **1890 = 2×400 + 2×500 + 3×30**. Premi400 a140562/141396; premi500 a140790/140815; premi30 a140750/140956/141144. Il secondo premio400 appartiene al crush ancora in corso al tape end. Non sono3rimozioni con premio400 e23blocchi pagati. Indicatore uova8→5 comprende2uova distrutte e una trasformazione/schiusa; le uova distrutte sono riconosciute causalmente ai frame140601 e140628. La schiusa rimanente è osservata140666: slot2 da raw14 a15, tabella perde uovo(11,3), contatore resta9; non è un’altra eliminazione.

## X2 — ghiaccio per round

ICE77all’ingresso ACT13,52alla fine A09. Per A10 i due PNG storici a258610/3obiettivi sono osservazioni, non nuovi proof: **35 ICE al frame142464,34 al frame142483**. Sono endpoint selezionati, non una misura del primo frame con3obiettivi. La scomparsa di ICE da una fotografia non equivale a una rottura del giocatore: spinte, trasporto, uova e Sno-Bee vanno separati.

E071 associa tutti i126 premi30 isolati del nastro A09 a PUSH reale da Pengo allineato, ICE bloccato oltre il bersaglio e bersaglio divenutoEMPTY entro il limite preregistrato161frame del controllore:126/126, nessuna attribuzione aperta. Colonna uova: eventi BREAK_EGG_BLOCK del reader causale su questo stesso proof. Sono conteggi distinti; ordinari+uova dà i blocchi distrutti da Pengo riconosciuti qui. ICE è misurato al **primo PLAY osservato con contatore3**, prima di altre azioni; “non raggiunto” non significa0.

| Giro | ACT | Blocchi ordinari Pengo (+30) | Blocchi con uovo distrutti | ICE al primo contatore3 | Frame |
|---:|---:|---:|---:|---:|---:|
| 1 | 1 | 5 | 2 | 68 | 1376 |
| 1 | 2 | 6 | 1 | 65 | 3606 |
| 1 | 3 | 6 | 2 | 52 | 8286 |
| 1 | 4 | 1 | 0 | 68 | 11307 |
| 1 | 5 | 3 | 1 | non raggiunto | — |
| 1 | 6 | 5 | 2 | 61 | 15868 |
| 1 | 7 | 4 | 3 | 67 | 18808 |
| 1 | 8 | 3 | 2 | 60 | 21422 |
| 1 | 9 | 3 | 1 | 68 | 24557 |
| 1 | 10 | 4 | 1 | 54 | 27419 |
| 1 | 11 | 0 | 3 | 53 | 30472 |
| 1 | 12 | 4 | 1 | 48 | 34334 |
| 1 | 13 | 1 | 1 | 47 | 37773 |
| 1 | 14 | 2 | 3 | 42 | 40497 |
| 1 | 15 | 3 | 2 | 46 | 44004 |
| 1 | 16 | 5 | 2 | 50 | 46453 |
| 2 | 1 | 2 | 2 | 72 | 49208 |
| 2 | 2 | 2 | 1 | 72 | 51304 |
| 2 | 3 | 6 | 1 | 65 | 54081 |
| 2 | 4 | 1 | 3 | 69 | 56568 |
| 2 | 5 | 1 | 2 | non raggiunto | — |
| 2 | 6 | 3 | 1 | 56 | 62504 |
| 2 | 7 | 3 | 1 | 59 | 66001 |
| 2 | 8 | 4 | 0 | 52 | 69413 |
| 2 | 9 | 0 | 2 | 48 | 74333 |
| 2 | 10 | 1 | 2 | 59 | 77966 |
| 2 | 11 | 5 | 1 | 55 | 81769 |
| 2 | 12 | 5 | 2 | 41 | 84992 |
| 2 | 13 | 2 | 2 | 42 | 89232 |
| 2 | 14 | 1 | 3 | 55 | 92551 |
| 2 | 15 | 2 | 2 | 31 | 96278 |
| 2 | 16 | 1 | 3 | non raggiunto | — |
| 3 | 1 | 2 | 2 | 76 | 103388 |
| 3 | 2 | 4 | 2 | 75 | 105499 |
| 3 | 3 | 3 | 0 | 67 | 108738 |
| 3 | 4 | 1 | 2 | 66 | 111185 |
| 3 | 5 | 4 | 2 | 66 | 113833 |
| 3 | 6 | 3 | 1 | non raggiunto | — |
| 3 | 7 | 1 | 1 | 62 | 120171 |
| 3 | 8 | 2 | 2 | 56 | 123385 |
| 3 | 9 | 1 | 2 | 43 | 127590 |
| 3 | 10 | 3 | 2 | 56 | 130770 |
| 3 | 11 | 3 | 2 | 48 | 134036 |
| 3 | 12 | 2 | 1 | 39 | 138103 |
| 3 | 13 | 3 | 2 | non raggiunto | — |

## W5 — posizione finale A09

Pengo è a(11,12);139celle raggiungibili senza considerare futuri nemici. Uovo(11,14): stance(11,13), distanza1, rottura contro bordo. Altre stance per uova raggiungibili: (4,11) a12celle per uovo(3,11); (8,1) a16 per(7,1); (3,8) a16 per(3,7). Uovo(9,7) non ha una geometria di rottura diretta nella rappresentazione attuale. Lane di crush attuale: ICE(10,7), stance(10,6), distanza7, verso il bersaglio in colonna10. Sono geometrie statiche raggiungibili, non kill verificati o assenza di pericolo.

| Profondità | Nodi valutati | Nodi con morte | Quota |
|---:|---:|---:|---:|
| 0 | 34 | 19 | 55.882% |
| 1 | 70 | 31 | 44.286% |
| 2 | 82 | 36 | 43.902% |
| 3 | 80 | 24 | 30.000% |
| 4 | 87 | 28 | 32.184% |
| 5 | 87 | 13 | 14.943% |
| 6 | 88 | 12 | 13.636% |
| 7 | 83 | 18 | 21.687% |
| 8 | 83 | 5 | 6.024% |
| 9 | 89 | 8 | 8.989% |
| 10 | 85 | 13 | 15.294% |
| 11 | 76 | 15 | 19.737% |
| 12 | 72 | 12 | 16.667% |
| 13 | 44 | 21 | 47.727% |
| 14 | 44 | 15 | 34.091% |
| 15 | 41 | 11 | 26.829% |
| 16 | 50 | 22 | 44.000% |
| 17 | 31 | 11 | 35.484% |
| 18 | 34 | 6 | 17.647% |
| 19 | 42 | 9 | 21.429% |

## M1–M5/X3 — morte di riserva

ACT13 è superato da A10: non serve una morte dichiarata per questo ACT e A10 resta zero-death. E070 misura due vecchie tracce native ACT3, non le due nuove richieste daM2. Pengo torna alla cella(6,6), vite3→2; gli Sno-Bee ripartono ai bordi. Nel caso independent-idle primoPLAY7187: griglia/uova invariati, contatore8. Nel caso E009 primoPLAY8135: due celle cambiate, uova2→1, contatore5→4, con un crush/schiusa già in corso durante la morte. Non si attribuiscono automaticamente questi cambiamenti al respawn. **GAME TIME è UNKNOWN: manca un reader validato.** Non si generalizza adACT13 e non si ammette un restore post-morte.

Una futura morte, massimo1per tentativo, resta dopo ricerca adattiva, ritorni e criterio corretto. Prima due nuovi reset nativi, misura completa e fidelity del primoPLAY; nessun restore nell’animazione. Etichette con N morti dichiarate e vite residue effettive. I nastri storici conservano zero morti.

## Prove e limiti

E069v1 INCOMPLETE0MAME conservato; v1.1 PASS13righe, addendum PASS13confronti invariati senza30. E070 PASS2respawn storici. E071 PASS126eventi ordinari. Nessun nuovo emulatore, nessuna search, nessun risultato pubblico di score. Nuovo criterio futuro da preregistrare, non applicato. M03B sito W4 corretto:5vite diverge1669, nessuna equivalenzaTG; il lab resta3vite iniziali.