Registro pubblico

Che cosa afferma FoldEngine, dove ha sbagliato, e come controllare l'una e l'altra cosa senza fidarsi di noi. Questa pagina è generata dal registro del progetto con uno script; nessuno la scrive a mano, e lo script si rifiuta di pubblicare una cifra senza i suoi limiti o senza l'atto che l'ha promossa.

Cifre promosse

Qui compaiono solo le cifre promosse con un atto del titolare del progetto. Una promozione è una decisione su un protocollo di benchmark, non un'affermazione generale di velocità: ogni cifra porta accanto i suoi limiti, parola per parola come vuole la regola. Le cifre misurate e non promosse restano nel registro interno.

V2

Promossa · Cifra in testa

495,0 ns/day

698,2 ± 1,7 µs a passo a 4 fs

V2: il motore CK con la concorrenza di tre encoder a passo, ottenuta con le sole primitive documentate di Metal (risorse non tracciate, recinti, evento condiviso).

Protocollo di benchmark: JAC/DHFR, 23.558 atomi, acqua esplicita, campo di forze completo, passo di 4 fs. Sei bracci da 60.000 passi (240 ps) dallo stato s1-e01, uno alla volta, a schermo spento e senza nessuno collegato, su un M4 Pro (GPU a 16 core), macOS 27.2 26B5091g. Tempo misurato sulla finestra MD; la barra è la deviazione standard fra i sei bracci.

I limiti che stanno accanto alla cifra

Preparazione conformazionale non dimostrata: lo stato di partenza viene da una preparazione eseguita, ma il suo equilibrio conformazionale non è provato.
Deriva certificata su CK, non su V2: +2,204e−4 ± 0,162e−4 kT/ns/dof sulla finestra A, campioni [10:410) dopo 1,2 ns di preparazione, errore standard fra 8 repliche. V2 rifà i bit di CK da s1-e01 per 240 ps (misurato); sulle traiettorie della certificazione l'identità è un argomento di costruzione, non una misura.
Fra i quattro stati della prova C, sui campioni [10:410), la deriva è equivalente entro ±1e−4 kT/ns/dof (intervallo di Welch al 90%). Non vuol dire che la deriva non dipenda dalla conformazione.
Il margine dell'equivalenza è ±1e−4 kT/ns/dof: una differenza più piccola non è esclusa, e non è misurata.
Senza termostato il sistema scalda di +0,053 ± 0,008 K per ns.
Elettrostatica DSF con taglio a 9 Å, non PME: non è lo stesso calcolo delle cifre di Amber e OpenMM pubblicate per JAC.
Una sessione sola: sei bracci in una notte. Non è un'incertezza fra sessioni.
La predizione G1 è caduta: per watt marginale V2 rende lo 0,989 di CK, in una sessione che non era quieta. In energia a passo V2 spende circa 352 µJ più di CK, e l'host non è escluso come causa.
La promozione non certifica l'equilibrio conformazionale, l'accuratezza delle osservabili, l'equivalenza con altri motori, né prestazioni fuori dal protocollo: un altro stato di partenza, corse lunghe che scrivono i campioni, un'altra macchina.

Atto

Promossa con un atto di Alessandro Pedretti il 5 ottobre 2026, registrato nella Parte CCCLVIII del registro, secondo la regola di promozione della Parte CCCXXXVI.

File e digest sha256

Risultato: Esperimenti/prestazioni-20260907/diagnostica/via-documentata-v1/risultato.json13a361e6c1e486f514f4765bb775b172ffa44ba6dbae38e62061969c80d8a8c9
Binario del motore: frozen4/jacgpu.erec2488fbd52e14ae8ff75a87866ad8bf498308215afdf3f6ca6116886cbf7b995a7
Kernel della GPU: frozen4/forcefield.metal4acd8474d7e4355033868709cd2db0b6a39ff7c508651a96046cbd851c3a2220
Stato di partenza: frozen4/s1-e01.bin32bfa8b3410e9e14978693240c4d2bed754e469a6a505f4f51de43a020808e26
Stato finale atteso: 1812a13a2d8001a9ab162ce19e4ce4d45e5528308401b2f9d062e5ae27effb6c

Rifare un braccio

python3 frozen4/riproduci.py <cartella di uscita, che non deve esistere>

Dalla radice del repository di Nexus, su Apple silicon. Lo script controlla i tre digest qui sopra, esegue 60.000 passi ed esce con 0 solo se lo stato finale ha il digest atteso. I bit si rifanno ovunque giri questo binario su questa macchina; il tempo no: la cifra promossa viene da sei bracci al buio, uno alla volta, e un braccio lanciato di giorno dà un tempo suo.

CK

Promossa · non più in testa

475,8 ns/day

726,4 ± 3,9 µs a passo a 4 fs

CK: il motore col costruttore della lista e il gather coi thread in ordine di cella (salti S2b e S2c).

I limiti che stanno accanto alla cifra

Preparazione conformazionale non dimostrata: lo stato di partenza viene da una preparazione eseguita, ma il suo equilibrio conformazionale non è provato.
Deriva certificata su CK: +2,204e−4 ± 0,162e−4 kT/ns/dof sulla finestra A, campioni [10:410) dopo 1,2 ns di preparazione dalle coordinate d'ingresso, errore standard fra 8 repliche.
Fra i quattro stati della prova C, sui campioni [10:410), la deriva è equivalente entro ±1e−4 kT/ns/dof (intervallo di Welch al 90%). Non vuol dire che la deriva non dipenda dalla conformazione.
Il margine dell'equivalenza è ±1e−4 kT/ns/dof: una differenza più piccola non è esclusa, e non è misurata.
Senza termostato il sistema scalda di +0,053 ± 0,008 K per ns.
Elettrostatica DSF con taglio a 9 Å, non PME: non è lo stesso calcolo delle cifre di Amber e OpenMM pubblicate per JAC.
La promozione non certifica l'equilibrio conformazionale, l'accuratezza delle osservabili, l'equivalenza con altri motori, né prestazioni fuori dal protocollo: un altro stato di partenza (dallo stato s4 CK è più lento di 15–18 µs a passo), corse lunghe che scrivono i campioni, un'altra macchina.

Atto

Promossa con un atto di Alessandro Pedretti il 30 settembre 2026, registrato nella Parte CCCXXXVII del registro, secondo la regola di promozione della Parte CCCXXXVI.

File e digest sha256

Risultato: Esperimenti/prestazioni-20260907/diagnostica/passaggi-separati-v1/risultato.json373c750067f9132751e0f1ebed0cf2213c43ffc75d3f267d7a9460accb4b0769
Binario del motore: frozen3/jacgpu.gocbe1b7a62ee306fb1e02e3bb2c6751adf9bee032066ec5c913396914e32b606be
Kernel della GPU: frozen3/forcefield.metal56723f5b8e7419999da6b01f15027b5ca1d3199d5300e4775f5bbfeaaa0ede00
Stato di partenza: frozen3/s1-e01.bin32bfa8b3410e9e14978693240c4d2bed754e469a6a505f4f51de43a020808e26
Stato finale atteso: 1812a13a2d8001a9ab162ce19e4ce4d45e5528308401b2f9d062e5ae27effb6c

Rifare un braccio

python3 frozen3/riproduci.py <cartella di uscita, che non deve esistere>

Generata dal commit 95d42145148b del repository di Nexus: promozioni.tsv 054c599392f36c9e6bb7131b9e9eaab74ecc5beefd17518af5068e7242335eb1, CIFRE.md 9689b9978bff3abdf8a7412b869e8adcd614e0effb3ad9191e6708b38e3cf809.

Errata

Ogni correzione resta, mai riscritta in silenzio: oggi 124 voci. I titoli sono quelli scritti, tranne i nomi dei revisori esterni e i loro giri, che qui non compaiono («revisore esterno»); un tratto di percorso che porta uno di quei nomi è mostrato come «…». Ogni voce porta lo sha256 del suo testo originale, così il repository pubblicato si potrà confrontare con questo elenco e ogni file si ritrova dal suo digest.

Errata nel registro a catena di Hypoform (fino al 21 ottobre 2026 Nautilus)2 voci

foglia 66, versione 1freesolv-50-v1 — regola di rianalisi per le molecole cadute in MBAR (dichiarata prima, 19 ottobre 2026)depositi/freesolv-50-v1/ERRATA-ANALISI-MBAR.md42c56902567d94b47b688a7866a79fda4643e7baf824779d3b5703492f115ca9
foglia 140, versione 1ERRATA di bitmap-grandi-v1.md e grandi-sistemi-v1.md (19 ottobre 2026)docs/decisioni/ERRATA-bitmap-grandi-v1-20261019.md4091d61fca4f49af92ebf9a54a9a0add0b06360d1ca44e06004b28969116d6a8

Errata nel registro di Nexus (RISULTATI.md)80 voci

Parte DXXIRevisione delle cifre (DXVIII–DXX e le verifiche di Nautilus), ed errata, 14 ottobre 202624d2f8a36b6641c247348fb30f94c860ab9d0308fc602a53b2e1d1a56ee260f7
Parte DXXErratum alla DXIX: che cosa vuol dire «motore delle corse di produzione», 14 ottobre 20267e63dda0b32884e9694e8c8c8f360bcf9ce2a62490a73e2d36415c3c514f0d36
Parte DXVIIRevisione delle cifre (CDXXXVI–DXVI), ed errata, 12 ottobre 2026d739cc80a52636ee5c0575b2352f08cb6aa201f35d4e76c58cfb2f51225f097a
Parte CDXXXVRevisione delle cifre, sei rilievi: ERRATUM alla CDXXXIII, alla CDXXXIV, alla CDXXVII, alla CDXXIX, alla CDXXX e alla CDXXXII (il rimedio del barostato è provato, la causa esclusiva no; gli S² vengono da 3 blocchi su 4 per replica)d4230da6f5adf1cc646310d2af3edd55d231eb001cf76d8aae4f636a73b5832f
Parte CDXXVERRATUM alla CDXIX: le periodicità negative di FactorIX.prmtop non sono un difetto di OpenMM da segnalare, ma un comportamento voluto (issue 3391, chiusa nel 2022); e il prmtop di Factor IX è vecchio, le sue energie non sono un riferimento di Amber9c445017a63cd4b6f198f4270d966870beb497ceaaf04cf5c38d72ad99819d73
Parte CDXXIIILa revisione delle cifre sulle undici Parti: quattro rilievi, nessuna predizione cambia esito. ERRATUM alla CDXIV, CDXIX, CDXX e CDXXII: un'attribuzione causale e una proprietà del codice sono non valutate, una precisione è ridimensionata, un rimando è correttoea191c2e8d6e97beaf8968a3640cdd9d70ec628ace031a08d4eb180b27a6445c
Parte CDXILa revisione delle cifre sulle undici Parti: trentasette ponti, sei rilievi, due contraddizioni formali. ERRATUM alla CDV, CDVII, CDVIII e CDIX: quattro attribuzioni causali e una energetica sono non valutate. Il costo dell'edizione portabile e la certificazione del termostato reggono; la combinazione delle due adozioni e la fase del campionamento col termostato sono non valutatef20bf1c7a5891bbfb151529dbe5a2c7fe9c7e31c0ee3b54a6edbe9689c458d7e
Parte CDLa revisione delle cifre sulle Parti di oggi: ventisei ponti e «tre rilievi nuovi complessivi», «Nessuna nuova contraddizione numerica accertata». ERRATUM alla CCCXCVIII e alla CCCXCIX: un minuto su quattro ore non è un limite sull'errore d'energia, il 4% del termostato è un rapporto descrittivo e non un costo isolato, e lo 0,4% a 10 ps non si deduce71b0b35e23a22fefb0c19dd124f84ebd3b51c9087633329681511b5220fe4459
Parte CCCXCVLa revisione delle cifre: trenta ponti e «tre rilievi nuovi complessivi», «Nessuna nuova contraddizione numerica accertata». ERRATUM alla CCCLXXXVI e alla CCCXCIV: l'energia uguale sulla GPU non dice dove sta il tempo in più, una distanza fra due processi non misura il rumore fra processi, e nemmeno il ramo opposto del confronto sulle notturne ne identifica la causae7797d0fca5cca3fc80b745a00d5c5b7401c499a1db662ffbc03fe944bd9fc91
Parte CCCXCIVLa revisione delle cifre del 7 ottobre (settima): sette rilievi, due su strade chiuse, sette dubbi, tre contraddizioni. ERRATUM alla CCCLXXV, alla CCCLXXXIV, alla CCCLXXXVI, alla CCCLXXXIX, alla CCCXCI, alla CCCXCII e alla CCCXCIII: lo swap del caricamento sulla CPU sale al picco di +5.413 e +4.906 MiB, non di +957; il controllo sulle notturne del cron nuovo ora c'è; Xcode 27.1 RC non è installato, e restare sulla 27.2 beta 2 è una scelta. Le prove rimaste nella cartella temporanea sono nel repository1525d938f62da25aea0025d1ca0d0f2a825e5631a8013417069fa4a9128d1dee
Parte CCCXCIIIUn collaboratore esterno esce dal progetto, e la sua ultima Parte, rimasta fuori, entra nel registro com'era, col suo deposito e con le note ai quattro referti. Gli errata alla Parte CCCLXXV: il carico della CPU era la CYP, i «GB» sono MiB divisi per mille, la P5 cade sulla crescita in caricamento, la causa del caricamento più lento non è misurata, e l'esito del deposito è rifatto con le etichette della sua predizione. Il referto degli aggiornamenti dava da fare macOS e Xcode, installati la sera prima: ora si dichiara superato da solo06b4926739a46bb93c214fe2b33550c1aaaa9bfe34eb9f3be26151a79b7399cc
Parte CCCLXXXVIILa correzione di silicio.yml provata sull'M2: la copia stretta rimessa al suo nome non reggeva la scadenza della prova .safe, che sopravvive qualche secondo al limite del passo e scrive per nome; ora la prova scrive un file suo, e la seconda prova sul runner, scaduta allo stesso modo, lascia attestazione.txt intatto. Un presidio nuovo; ERRATUM alla CCCLXXXV: la simulazione con bash -e non conteneva un processo che sopravvive alla scadenza14f288e069a922e5664ed7d6ff4d7c5fef158017f23e5f2a8ed4cdbf4c2b8c30
Parte CCCLXXXIVLa revisione delle cifre del 6 ottobre (sesta, sera): dodici rilievi, tre su strade chiuse, sette dubbi, quattro contraddizioni; le notturne dal 2 al 5 ottobre giravano su un main del 10 settembre senza cancello, e delle 31 notturne nessuna è partita prima delle 07:08 italiane né è mai passata; la Parte di S15b entra con quattro correzioni; un presidio nuovo; ERRATUM alle CCCLXXIV, CCCLXXVII, CCCLXXVIII, CCCLXXX, CCCLXXXI e CCCLXXXII238e04ee378b5dc69e52ff0b49c0c61c79180e511943a73f400a3e3756a4f90e
Parte CCCLXXXL'equilibrio di OpenMM sulla CPU, con le forze deterministiche e 8 thread, non si ripete in due processi: P1 CADE. Con l'interruttore acceso l'energia iniziale è la stessa nei due processi, ma dopo la minimizzazione è già diversa, prima della dinamica e del barostato. Con OpenMM 8.6 su questo Mac né la GPU né la CPU ripetono l'equilibrio, e lo stato equilibrato resta un ingresso attestato. ERRATUM alla CCCLXXVI e alle PREDIZIONI della F0, della C1 e di questa prova: la leva 3 della challenge CYP era finita alle 12:58:35, e non girava durante nessuna delle tre corse7549bfd73904ec0859c10dc4e90810d4a7e49e77dbb48cc7912dc324aa1d5354
Parte CCCLXXIVIl rosso dei Mac, lavoro per lavoro, dall'1 al 5 ottobre: dei 48 lavori presi da un runner, 12 hanno perso il contatto e 19 sono caduti sul cancello delle radici con i bit giusti; l'M1 non era mai stato registrato, e appena è rimasto sveglio ha dato sei esiti 3 su sei. L'M1 è registrato. Col contatto, nessuna delle quattro notturne sarebbe passata. ERRATUM alla CCCLXII: il primo passo era chiuso senza l'M1f681fda1afa0438fec13cdc553870ad49d3f0865adf5477584b41973bbf22894
Parte CCCLXXIIILa revisione delle cifre del 6 ottobre (quinta): diciannove rilievi sulle CCCLXI–CCCLXXII, otto dubbi, quattro contraddizioni; un turno del DIALOGO tolto da un commit di un collaboratore esterno, e rimesso; nelle leve di MacFold della notte, conseguenze tratte oltre la misura e un esito scritto con le etichette di un'altra predizione, ripetuto stamattina; tre presidi nuovi e uno esteso; ERRATUM alle CCCLXII, CCCLXIV, CCCLXV, CCCLXVI, CCCLXVII, CCCLXVIII, CCCLXIX, CCCLXX, CCCLXXI e CCCLXXIIdb36f8d63d67ef94fe67bb79649852b751629f9e9f63ce7226b50623cc1a9410
Parte CCCLXILa revisione delle cifre del 5 ottobre (quarta): sedici rilievi, undici dubbi, cinque contraddizioni; quattro strade erano chiuse oltre la misura; nella CCCLIX l'host non è escluso e S20 risponde a G1; nella CCCLX il cancello dei Mac non è chiuso su main, e su Team si perde una protezione provata; gli errata del revisore esterno confermati; quattro controlli ciechi riaperti; ERRATUM alle CCCL, CCCLI, CCCLV, CCCLVI, CCCLVII, CCCLVIII, CCCLIX e CCCLXcfa2fcee33dc6039022cfa719e04554277c48a3a38b44d9100a258bbe801d92c
Parte CCCLIXIl millesimo di G1: la concorrenza paga circa 1,2 W fuori dalla GPU, con o senza recinti; non è il pedaggio di S20 e non è la manutenzione di macOS, che però rendeva non quieta la sessione dell'1 ottobre; errata alle Parti CCCXLVIII e CCCLVIII; un presidio per le sessioni non quietebb6726200b0533df4bc5c8e7f817315966af97d74817caf78953b0afba9ee1b7
Parte CCCLVIILa revisione del lavoro dall'1 al 4 ottobre: la deriva certificata e S18 al buio reggono, rifatti dai file; riparati il banco pubblicato con un marcatore falso, uno script depositato ritoccato dopo la misura, i rami delle risposte del revisore esterno cancellati senza archivio, i depositi rimasti su rami locali, i NON VALUTATO che non fermavano un commit e il CI rosso dall'1 ottobre; erratum alla CCCXLIV0d60e87925a808659e64c5c7c08f474e6ab8154ef4fd91c9e0201836050f6108
Parte CCCLLa notte del 2 ottobre: la revisione delle cifre (terza) chiusa con cinque errata e nessuna strada riaperta; la via del gather a coppie d'acqua di S4 MUORE al banco kernel su stato congelato (52,8–53,0 ps a valutazione contro il pareggio di 29,72 ps); S21 VIVA alla prima prova di caduta (risparmio atteso 507–585 µs sulla ricostruzione, il 48–56%): la lista molecolare è il salto davanti verso i 600; salto nuovo S22, il raccordo molecolare-atomico; ERRATUM alle CCCXLII, CCCXLVI, CCCXLVII e CCCXLIX6b8b690dd831f830b51c390e32cba31d70a32e3ddab6dcbf9ede43a58d8c3e4e
Parte CCCXLIXS4, primo passo: il riconteggio dell'acqua sul motore attuale (riempimento 0,7913, l'erratum della CCC regge) dice che la stima 352–472 ns/day NON si trasferisce a CK: sul gather il segno è incerto (pareggio a 29,7 ps a coppia, CK già a 30,6); il premio vero è il costruttore della lista (288 µs); salto nuovo S21, la lista molecolare6d2eb0a08c096e17f7d0f6ab7019a1792968b340aa9a7fc921cc77aba0b0d41f
Parte CCCXLILa risposta del revisore esterno: un criterio sulla deriva stessa, dichiarato prima, basta a certificare la sola deriva senza un'altra modifica della regola; il disegno com'è non lo è ancora (D4 non può cadere, la finestra B lascia un buco, il conto delle repliche dà 5 e non 8); erratum alla CCCXXXIX sul salto dell'energia all'avvio597500d4988145a6e692d78525e02fd1ecb475eb14dada6a7e6304c2677cc065
Parte CCCXXXVIIILa revisione delle cifre del 30 settembre, fatta da un revisore esterno prima del commit della regola e dell'atto: otto rilievi, cinque dubbi, quattro contraddizioni; la cifra promossa va detta con la sua elettrostatica, DSF e non PME, e coi limiti in ogni riga che la presenta; ERRATUM alle CCCXXVI, CCCXXVII, CCCXXIX, CCCXXX, CCCXXXIV, CCCXXXV, CCCXXXVI e CCCXXXVII11bb3c8c88e02013fa2cdae075d4d2211bba15d0cce4eb7b3a18a6f41525b9fa
Parte CCCXXXVIERRATUM di regola alle Parti CLVII, CCXLVI, CCLXXV sezione 8 e CCLXXXVII sezione 2: promozione della portata di benchmark distinta dalla certificazione della deriva22f37dc0dc38bc731e11dc7362a56b954c4ca6463003ba7ba4213c867719af4b
Parte CCCXXXIVLa risposta del revisore esterno, registrata parola per parola: raccomanda di cambiare apertamente la regola perché una portata di benchmark delimitata si possa promuovere, con un testo suo al posto di quello del revisore esterno; le tre frasi non bastano; la diagnosi passa circoscritta e cade assoluta; le sue citazioni tornano sul commit letto; ERRATUM alle CCCXXVI, CCCXXIX, CCCXXX e CCCXXXII: una cifra arrotondata male, due scenari scritti come conti, due frasi assolute e un intervallo che non è una barra08e47887f52dae7217525d18978ebef559dad6f9441142346e1b36bd1e4536d0
Parte CCCXXXIIIERRATUM alla CCCXXXII: il lanciatore col tetto avrebbe fermato la ripresa al primo controllo, e cadeva su un processo già uscito; li trova una prova a vuoto a finestra esaurita, e la sua prova ora li vede8b1a0876d5bb3f42ba1032aa2bdac5082a5290b2c77c80c2006799fe25a2a0ec
Parte CCCXXXILa risposta del revisore esterno, registrata parola per parola: la proposta cade come cancello, nessun criterio lo apre, e restano due strade, fermarsi o una regola cambiata apertamente da Alessandro; il suo ricalcolo torna; ERRATUM alla CCCXXX su cinque punti di formac80eb9b5a9bab69d7477b93e5ad208a7b669b0ad7641b076685afb28bbeab1ff
Parte CCCXXIXLa via regolare alla promozione col criterio depositato invariato non si compra con le ore di GPU: sulle 80 corse da 4,09 ns che c'erano già lo strumento depositato dichiara compatibile il 40–47% delle traiettorie a ogni durata da 1 a 4 ns, il Rg ha uno scambio fra conformazioni di circa 22 ns, e l'NVE scalda 0,053 K per ns; ERRATUM alle CCCXXV e CCCXXVI sul costo della preparazione766c99cb711a5c256b6cce36a90d72435a743d5cbca562580139e66e276b3183
Parte CCCXXVILa revisione delle cifre del 29 settembre sera: ERRATUM alle CCCXIX e CCCXXIII nei loro depositi, e alle CCCXX, CCCXXI, CCCXXII, CCCXXIV e CCCXXV; la via regolare alla promozione costa circa 25–68 ore col τ centrale, non 10–25; A1 della CCCXXIV è «non valutata» con le parole del revisore esterno; la soglia di gather più lista si rifà col tempo fuori dalla GPU; S14 non ha un tetto di 11 µs; nella misura di S2c un braccio girava con un altro processo, e un presidio nuovo lo vede632f3f2c787e35e5d531c1968266feed89a05f250b8fa2ea2b31c870b3690167
Parte CCCXXIIERRATUM alla CCCXXI: la somma degli stadi non è il passo, perché coi campioni dei tempi al confine la GPU fa girare insieme legami e lista (36,7–38,5 µs a passo); la causa diventa un salto che conserva i bit, gli encoder separati coi campioni, circa −26 µs a passo nelle prove indicative; S16 costruito, circa −7; la revisione esternaf3a9f07894e84a38175a3dbfccc875a915e6deb98397728bdf4b8f999c5be622
Parte CCCXIXIl deposito di gather-ordine-cella-v1 (S2c): il gather legge l'atomo del thread da una mappa, e con quattro mappe il motore rifà i bit di QB; ERRATUM alla CLXVII: i gruppi SIMD puri del raggruppamento senza Lennard-Jones erano contati nell'ordine del prmtop, non in quello del motore2899b4956dca4fc6af5b5b63ccedc626769492a8fbd64571db709ae173efb7cb
Parte CCCXIVLa revisione delle cifre dal 28 al 29 settembre: ERRATUM alle CCCV, CCCVII, CCCVIII, CCCIX, CCCXI e CCCXII; S9 era chiuso su un prezzo ritirato, la resa di S12 non è un tetto, la soglia di S14 non può sparare, e le cifre di sessione di QB non valgono per le corse lunghe32aa1e991cd2a7bc704a2bf8b581b63e3980c0eaa038bcab9f5658b0ac9d6b31
Parte CCCVIIIDeposito di concorrenza-q-v1: due Q insieme sulla stessa GPU, il primo passo di S12; G1 chiede una resa sopra 1,25; ERRATUM alla predizione della CCCI6026dd8757ed77c482157773bf06d75c9765ea465bcc19cfab96083eb4a8d363
Parte CCCVIIgather-newton-sovr-v1: Newton e la codifica sovrapposta tolgono insieme 24,5 ± 0,2 µs sopra Pol, e gli orologi del motore li separano, 19,5 di vuoti e 5,1 di GPU; Q a 878,2 µs nella sessione, 393,6 ns/day: P1 e Q1 CADONO; ERRATUM alla CCCVaf37caebfe4965726cfa8b4d1e856b648ee788093d34f877bd67ae6a27adab15
Parte CCCIVLa revisione delle cifre dal 25 al 28 settembre: ERRATUM alle CCXCII, CCXCVII, CCC, CCCI e CCCII; «7,5 ps a divisione» è un guadagno per divisione tolta, dedotto; i 216 ps a 5 fs erano 16 ps con l'equilibratura saltatab8dd31440920b24adb09d59e3af83e20988bcb68de8e073398df62e446f9d208
Parte CCCOltre i limiti: un foglio dei fatti con il suo erratum, quattro lenti, tre revisori e la risposta del revisore esterno; ERRATUM alla CCI: il riempimento dell'acqua è 0,79, non 0,35, perché lo stato era in ordine Morton; da dove vengono le idee; i salti evolutivi; Python 3.144c4bd184e058ce4556cdde5aa97aed6035ee846c68c32af7dd1ebf0e4a1a95ce
Parte CCXCVIILa verifica delle risposte dal 27 al 40: nessuno dei pacchetti scritti nel fine settimana è pronto per il deposito, i due ricalcoli reggono; e un erratum alla CCXCIII: la P2 della ripartenza è passata da uno stato in cui la lista salvata non poteva contareb9657eaaf3ad7b53f78822cf3dd6cd73b6be4ae9161182767f20916b9ac28084
Parte CCXCVIQuattordici risposte del revisore esterno dal fine settimana, registrate prima di usarle; e un erratum alla CCXCV: la barra della media grezza di G0 è un errore standard2d26535bad0f74ce889067e11ba8ab634eadfcdad56740b005d391c5ae6046ba
Parte CCXCLa risposta del revisore esterno, registrata prima di ogni misura di G0: la regola riscritta regge con quattro scostamenti, la barra diventa un intervallo di Student al 95%, e il collaudo aspetta il motore finto; ERRATUM alla CCLXXXVIII sulla prima riga di AGENTS.md, e alla CCLXXXIX sulla prova della regola vecchia2bc62a15d6580bef4372dbce4263d7007403ca5ece02df6f38ca01c4e3dbe5ad
Parte CCLXXXIIIERRATUM alla CCLXXX, sezione 2: il «circa 2,4» non è in σ di una corsa; e i due controlli sulla richiesta d'ingresso per il revisore esterno683d89a07e6d389f5fb88769f5f5df3d37aa06115398e6a43592a692c837134b
Parte CCLXXXIIIl revisore esterno non è disponibile: l'erratum e la richiesta 22 vanno a un secondo revisore esterno, preceduti da una richiesta d'ingresso; il presidio sulle attribuzioni oggi vede solo il revisore esternoa8140013e785d73546589268ffc04a072603de83a24c977db6ddc1a06785c73b
Parte CCLXXXIERRATUM alla CCLXXVIII: la legge quadratica del 2 settembre è fittata sulle corse in float32, non su FORCELO; e in piano.tsv la corsa di OpenMM con vincoli stretti non è «la sola misura»2b82be5392ab399ad689b566e833b7f53b3775a636e0cdd2bd6f8055ed497bb9
Parte CCLXXXLa revisione delle cifre sulle ultime tredici Parti: ERRATUM alle CCLXXVIII, CCLXXIV, CCLXXVII e CCLXX. K3 di coordinate-baricentro-v1 non distingue il rimedio: con la stessa regola anche il braccio A starebbe sotto 1e−3; la lettura «non dai chip» dice più dei dati; la conversione di T1 non dipende da C2; «non può passare» vale per una rappresentazione544952c7da7e53d179bee2889a955d7b3e2445e5874d28d365b396106ac9ae36
Parte CCLXXVIIsovrapposizione-e-tetto-v1, la notte del 25 settembre: le sei predizioni passano; S rifà E bit per bit e toglie 20,1 µs a passo, il vuoto della GPU fra i batch, senza cambiare il lavoro della GPU; il tetto della matematica veloce, T, sta 264,1 µs a passo sotto E e non è una configurazione; da questo pacchetto S non entra nella configurazione corrente; ERRATUM all'addendum: la barra dell'analisi è di Welch sui bracci, non dei quartettiad03adc0ea639063004784828d612fc115e69763fa1e5e517fc8ddd0a6ad0fc6
Parte CCLXXVIopenmm-pme-gpu-v1: OpenMM col PME sulla GPU di questo Mac, in singola, sta fra i due gate a 2 e a 4 fs in tutte e otto le repliche, e la lettura di fattibilità è IN MEZZO; B1, B2, B4, K1 e K2 passano, B3 cade: a 4 fs la deriva è più piccola in modulo e di verso opposto; B4 passa per 0,0019; ERRATUM alla CCXXV: sulla GPU di questo Mac OpenMM col PME sta fra i due gate, il PME, su queste traiettorie76cc1b8d45160f81706b062e1662cf46cc5679e9f102dc9ebb33efebcb3185b9
Parte CCLXXIIII cinque punti rimasti aperti dopo la CCLXXI: due erano già decisi, tre andavano fatti; dodici binari col digest nel registro e fuori da ogni commit, e uno perduto; ERRATUM alle CCLV e CCLVII e al deposito di sander-jac-v2: la P4 di preparazione-4fs-v1 non ha una questione di formulazionef7d756b9f10cc846828cb3b4196b9e67224be7f98f1d233c733adb8a62e145b9
Parte CCLXVIIIDeposito di determinismo-fra-chip-v1: lo stesso motore bit per bit su M4 Pro, M2 e M1, coi due bracci A1 (oggetti compilati sull'M4) e A2 (compilato sul posto); sull'M4 la libreria compilata offline rifà i bit del 10 settembre; strumenti nuovi; un erratum al messaggio di un commitbdf0e1fbe73184914c5399cd5b240f582ec64f6543574e65d6ee0cd578ab0b94
Parte CCLXVILa risposta del revisore esterno: il Neural Engine resta fuori dal passo classico, con una sonda per poterlo rivedere; tre addendum prima dei dati; la cifra corrente resta storica; ERRATUM alle CCLVI, CCLXII, CCLXIII e CCLXV dalla revisione delle cifre65cabbe6a19430909ee82b94912a90dc5b4c009501a942bdbc37b1f66265c5bc
Parte CCLXIERRATUM alla CCLX: il deposito di sander-jac-v2 è delle 11:28:47, non «verso le 12:25»; un presidio sulle ore scritte dopo il commit682b6b85ce4d9e0236631b76179c5e56e4eb44324c3a2d2b333e93b159894472
Parte CCLVIIIERRATUM alla CCLVII: la revisione dei due disegni non è passata da un revisore esterno; il presidio sulle predizioni senza esito ora vede le sottocartelleb1cdfac147ee57d79f06e5bf73a7bbffe39161d639541b4b1c458159318abd31
Parte CCLVIILa risposta del revisore esterno: C per la prossima misura della deriva, P2 PASSA alla lettera, 2 K di tolleranza termica, sander delimitato; ERRATUM alle CCLV e CCLVI sui τ «limiti inferiori»8ec785487ee47ac70f45da4a620277cfeee8cfc2f98ea711f4f85d036366b5be
Parte CCLVIERRATUM alle CCLIV e CCLV, dalla revisione delle cifre: il verso della correzione di PSTR, la strada «allungare» chiusa troppo presto, e lo stimatore che si spegne a spaziatura larga575f945a7ff78995d5526e4737adf12cf3e0b1a1f8b9a78183b076df837b1fb4
Parte CCLVERRATUM alla CCLIV: P2–P4 attribuite al revisore esterno, e la preparazione non si dimensiona dalla coda di 1,2 ns; D1 e D2 passano, il binario della cifra corrente rifà la traiettoria del 10 settembre su macOS 27.2; un riavvio automatico a metà corsa9375f6aa5d46c6f2c9b87854af4c23df9c7a951ce9b67de787c31f6a14e9b4ee
Parte CCLIVERRATUM alle XV e CCLII; la preparazione a 4 fs non passa il criterio (1 replica su 4), sander deriva −1,34e−3 a 4 fs, PSTR si aggiorna una volta al secondod1c4abfd50f6693fed117b086587c8343754b371cc7b969a95574e0468da435f
Parte CCLIIIERRATUM alla LXXXVII e alla richiesta 19; il soluto «più freddo di 20 K» a 4 fs è il termometro sul passo, e DIAGH è il mezzo passo di Jung, non la V di Eastwood0a501844dc7929c100fe52a3fcddff38305c8b286efeab9c97ed7e6d5f94b267
Parte CCLIERRATUM alle CCXLIX e CCL, dalla revisione esterna, verificata sul sorgente di macmon: il canale sistema è un massimo, e CARICA non dice se c'è una preparazionef53edde47c0c0c2cf163811e949bbc55ab16b8be15ab7ab8b7d7a73b5753ccb7
Parte CCLERRATUM alla CCXLIX: la corsa a 4 fs dell'8 settembre non ha una preparazione; il bersaglio ritirato, il banco in paric8b5b20d48c72795950cfe4e8560c719eff771e72a4a67874dcf476624c215ee
Parte CCXLIXERRATUM alle CCXLV–CCXLVIII, scritte lo stesso giorno: il canale «SoC» è il sistema intero, e sei affermazioni erano più forti dei dati94ce4fc2f6d757a1863f691786e4b5856d33df7d8d87ba949d68ad67e24b679a
Parte CCXLVIIIERRATUM alle CCXXXI, CCXXXIX, CCXL e ai residui delle revisioni del 10 e del 14 settembre; gli esiti di pacchetto mai registrati668a7cac890b2869c5c606657737e67a4899a7403346b1c174d9fad2e10662ad
Parte CCXLVIIERRATUM alle CCXXXIV, CCXLIII e CCXLIV: il verso del TDP era rovesciato, la V620 non è «ultima», e la predizione dei watt sul SoC non c'eraf202b099e205068d173bc3eb19ccf48562855bb5f55c17709cece019775b3632
Parte CCXLVIERRATUM alle CCXXXIX, CCXLII e CCXXXIV: le corse NVE a 4 fs non hanno una preparazione, la deriva cresce lungo la traiettoria, e la predizione a 2700 ps era caduta4775d351fb4d9f3a79243914dd5f13567520e8242fd296a9c7ecc7dd546d3442
Parte CCXLIVDue strumenti, tre perimetri: 6,76 ns/day per watt alla presa. ERRATUM alla CCXLIII: il «vantaggio» confrontava grandezze diverseaf34878e6594c443725c874e60726295296972910c4e401bccd7e8f435b910d0
Parte CCXLIERRATUM alla CCXXXVIII: anche la stima corretta era sbagliata, e la divergenza SIMD la dimezzaf49832df23e2c1ecc76b355b66f1a1824425049ba79320e065ae0f5037f533f6
Parte CCXLERRATUM alle CCXXIX e CCXXXVI: lo scarto fisso era lo strumento sbagliato, e l'«effetto reale» era il mio scarto98a6e51cdf47c0fcc1b75735392dfe7dac65feb3b68bc4d46aa26674bb8dbb5e
Parte CCXXXVIIIERRATUM alla CCXXXIII: il divario è 2,8 volte, non 4,1b22fefd2ca982d0163e48870bc7996871664caddd3dabc83bec8c4ddb932b80f
Parte CCXXXVIERRATUM alla CCXXVI: il bilancio per stadi è gonfiato del 5,1%, su tutti gli stadi17b9ba29540bc1078f9050f4636b65efd1545d3c082a05287e2b0260fd43242a
Parte CCXXXIIIERRATUM alla CCXXXII: «byte» e «caricamenti» non sono la stessa cosa, e i blocchi riducono i secondi0f463743ae7a4365b8ab48ab24c51cb56eea1c09abb9298495961c4d8f071356
Parte CCXXIXERRATUM alla CCXXVI: il gather è piatto, e i 48,5 µs erano l'avvio a freddo167ebdf90c297c5c5fb97dbecc3017c71ed5d7e94091d53e3fe19b9bedf0ce35
Parte CLXXIXERRATUM: il «77% non dovuto all'integratore» non era dimostratob8b4d9b6672ab6dbd5bdbdbc7c033d34a0beb5f2166f51f0111bfbba6bd1b5b7
Parte CLXIXERRATUM: «errore sotto mezzo quanto» non è «intero certificato»4d1c2a6d4e172665b77c9ac1eb1d6223b7456e8044613a1f38af4e1d9c430dd2
Parte CLXIIERRATUM: il tempo di Lyapunov non è l'orizzonte, e la differenza è un fattore 12,53fa5dd78572bbe9a7cbbf77d433993ea8cac9f07f92df8a706950774e7b21e67
Parte CLVIIERRATUM alla Parte CLVI: ho promosso una cifra che il verdetto negafd9cf7791f10911b9291e385dbff89aa1b91a43ab970463b9cdba81b5623c244
Parte CLVILa deriva misurata a +1,157e−4 su 1 ns — cifra NON CERTIFICATA, vedi l'erratum in Parte CLVIIfde32cbe2372c2fbef1905bb350a631084c51aa1ebcde8ea2720aff1f41c1500
Parte CLIVTre errata miei, trovati da una verifica esterna, e uno tocca la posizione del progetto03339c0e5366e0543526153520783d0ee6861c603cf519346e62c3a9f0c3038e
Parte CXLVLa seconda verifica: otto chiusure su diciannove reggevano, e tre erratac846e3d59fe72461b150d865de2fc51351a7aaad2563a9ac41413d6e9d418bcd
Parte CXXXVERRATUM alla Parte CXXIX: il limite era calcolato col modello sbagliato, ed è 2,6 volte più largobecf0b8088432798d355c5ecdef9ce3b49003097af4ecf208758500db26442b5
Parte CXXXIIERRATA dalla verifica indipendente: due strumenti mentivano, e il travaso non è linearee31d13c5f3478da255afa549237ef2e4959ad3a3ffb13895fef423f8162da326
Parte LXXXIXDIAG su r0: il pozzo del soluto non è un pozzo; erratum alla Parte LXXXVIII060fe94e046e9f3f37745246a592eee88da43a7737ed642d3b31e1abfca3b0d1
Parte LXXXVErratum: il «discriminante del microstato» non discriminava, e le barre d'errore numeriche7b8db1fb17edc6f25e95e1e52af1866a7545cefdc481f990b4378581e03a76f2
Parte LXIXERRATUM: la deriva era in kelvin, non in kT22e1cf38c4e9388aa8e92ecd61779cf03db42e33a51c20892e89446b52ca0345

File di errata nel repository di Nexus42 voci

2026-09-25Erratum — nella richiesta il deposito di preparazione-4fs-v1 era riassunto male sulla P4, e mancavano due righe sulla P2PROMPT-20-ERRATUM-20260925.md1fdcb6b2b5e11865dfc87c4f84c3b0395eba8e6236576451d69fb8d653924aa8
2026-09-24sander-jac-v1 — ERRATUM alla conseguenza depositata con S1Esperimenti/prestazioni-20260907/diagnostica/sander-jac-v1/nve/ERRATUM-S1.mdeec398ba0a2c2db3ed8672fcad2d2218ed9abea9d2768e4e338c6f3a43b08933
2026-09-23Risposta del revisore esterno all'erratum, registrata prima delle corse…71cda79b9b0db62f84af675a16e1f2c7535dcf67bfbda13463d809d56380a2ac
2026-09-23Erratum — la storia dello scarto del soluto era sbagliataPROMPT-19-ERRATUM-20260923.md0f0ffc07294514be05081a44d8f19244fcab09529f752dc88ba0db7a5b383ac3
2026-09-10Controllo aggiunto prima della misuraEsperimenti/prestazioni-20260907/throughput-only-v2-driver/erratum-v1.mddec6fbaa23d9215bad832acf98f3824c314259d46ea9184691617fa1cf5e5e7e
2026-09-10(senza titolo)Esperimenti/prestazioni-20260907/throughput-nb16-reduce32-v1/audit-v1-addendum-final-cpu/review-script-erratum.json330912603940301b488be9060c5baefcba8cb4d7e22b368b25baecdeb53be5d2
2026-09-10Erratum — REBUILD omesso dal contratto del pianoEsperimenti/prestazioni-20260907/skin-scan-v1/erratum-rebuild.mda50d38a9afbdf326944749cc3a6a5b1f0764fcee659b5cf5e459851d23c90544
2026-09-10(senza titolo)Esperimenti/prestazioni-20260907/screen-v3-retry3-driver/erratum-tentativo2.mdf4d2a5764ca783ffad38a593ffe0a76b7a2c4b247dc9bc09bc0d53dface4744b
2026-09-10(senza titolo)Esperimenti/prestazioni-20260907/screen-v3-retry2-driver/erratum-tentativo1.mdc1e284fb744ff2ca174c45e6a2ce75e7f947b1e088ade7aab84d63e41c9c10ba
2026-09-10(senza titolo)Esperimenti/prestazioni-20260907/erratum-runner-locale.mdb3e8e4f27f42f40fbcedda6580b715e3ee25a7e41435c3be0fb2cf626baff3d7
2026-09-10(senza titolo)Esperimenti/prestazioni-20260907/erratum-restart-v1.mdb88d76075b35c7c4c0807aace89c9dc8093783672f7505141bae4ce42ab9fd00
2026-09-10(senza titolo)Esperimenti/prestazioni-20260907/erratum-lista-negativi-v1.mdd771bec9d50cfd3c3606970c8f7c13de68fdf1d89e5b4cf58557faf035c17ef0
2026-09-10Erratum — la v1 non ha misurato niente, e per due difetti mieiEsperimenti/prestazioni-20260907/diagnostica/stencil-scaling-v1/ERRATUM.md610c418e2c8ddd2dd6fbd4ddd241c28697cf0d8feafd5f96a4953a756355cdcc
2026-09-10Primo tentativo — due fatti raccolti, sei bracci persiEsperimenti/prestazioni-20260907/diagnostica/pelle-ottima-quiete-v1-tentativo-1/ERRATUM.mda8a8482a11876c035a9c755a3f4751c4308459674dd8dd823a2e64ec75fc5418
2026-09-10Erratum del wrapper capability v1Esperimenti/prestazioni-20260907/diagnostica/owner4x32-controller-v2/erratum-v1.mda8c066d2149016648cd641f2dc34f02e2cac975817907625ee57df1e3ff23eb8
2026-09-10Il verdetto automatico dice CERTIFICABILE. Non lo è.Esperimenti/prestazioni-20260907/diagnostica/nve-microstati-v1/ERRATUM-VERDETTO.mdb2edc03a09e4dd7027ce292f4c7b1dc1a1f18a2429a310a89867af99f76ea3f6
2026-09-10Erratum 3 — due convenzioni di finestra nello stesso documentoEsperimenti/prestazioni-20260907/diagnostica/nve-microstati-v1/ERRATUM-3-FINESTRE.mde134980f8c07779b9710cd1bce583ce52f902bad076061105432cc5cb7eec673
2026-09-10Il revisore esterno ha trovato due errori miei, e il secondo cancella l'esperimentoEsperimenti/prestazioni-20260907/diagnostica/nve-microstati-v1/…7d06778f103be4245ed72a604d29f40e5211bf290164f2626a89ff8a7fb67f56
2026-09-10Correzioni del solo audit prima del deposito finaleEsperimenti/prestazioni-20260907/diagnostica/md-cost-profile-long-v2-audit-v1/ERRATUM.md07e15af01d5bdb6a0ebdc4f7c557c4a37e503ca404bd4c13162dd9934442c80c
2026-09-10(senza titolo)Esperimenti/prestazioni-20260907/diagnostica/md-cost-profile-long-controller-v1/erratum-tests.mdf3129eb1b9f5e0f6bd9d9ca242103e7ff6da123f430c9e9a4e8e11afc5119c35
2026-09-10(senza titolo)Esperimenti/prestazioni-20260907/diagnostica/md-cost-profile-controller-v1/erratum-tests.md809fe026741fc8550e6e4bc82e14aa595ab16b69161d76ed8a02a46cc02333b1
2026-09-10(senza titolo)Esperimenti/prestazioni-20260907/diagnostica/list-builder-portable-root-review-v1/invocation-erratum.md845377dc7c1ac48f3982d669dfb99a7f305ad1a2ccfe66a170e9a5dab4eb4d4e
2026-09-10Launcher MD: primo avvio non eseguitoEsperimenti/prestazioni-20260907/diagnostica/list-builder-launch-erratum.mdb8617f04dddacf0d6f9072ac6e85d667c7c031f4e3be4dc5a59b7ff815ec018c
2026-09-10Secondo tentativo — la misura c'è, ma la dispersione la annullaEsperimenti/prestazioni-20260907/diagnostica/hermite-costo-on-v1-tentativo-2-DISPERSIONE/ERRATUM.mdc318da1e33db3adcbc34af473407d55aba6862e4e70e0c33eaddbc98b2f0fbbe
2026-09-10Primo tentativo caduto — GDSF_MODEEsperimenti/prestazioni-20260907/diagnostica/hermite-costo-on-v1-tentativo-1-GDSF_MODE/ERRATUM.mdfc12d310c37bf6bb62c1209a50611e2c189af8a13100ea8b9771e30f07c54ab1
2026-09-10Primo tentativo di rilettura, conservatoEsperimenti/prestazioni-20260907/diagnostica/gpu-stage-profile-reader-v2/ERRATUM-TENTATIVO-1.md02824d3b72dbab6e79910f7139c0b6fec5092fe86bb6a6e5b10aa5436b83132c
2026-09-10(senza titolo)Esperimenti/prestazioni-20260907/diagnostica/gather-metadata-pack-controller-v1/PRE-FREEZE-ERRATUM.md083a6bb8ee768f0675fdd35f3619572311710c4f1dd4714b1a7ef3235f418438
2026-09-10(senza titolo)Esperimenti/prestazioni-20260907/diagnostica/equil-stride-v1-gates-1/audit-v1/erratum-audit-output.json2ed0b81e85f66d819acfef6e5b4398729cb6f40f8d5658fc4032b58dba482399
2026-09-10Il primo tentativo è caduto, e per un errore di metodoEsperimenti/prestazioni-20260907/diagnostica/deriva-configurazione-corrente-v1/ERRATUM-tentativo-1.md0016e92bfbb8c5c275ba36422b44c26aae2f7bed19229334ce4a1c2ae479c88b
2026-09-10Primo tentativo caduto — il digest dello shaderEsperimenti/prestazioni-20260907/diagnostica/costo-lanci-vuoti-v1-tentativo-1-MS_SOURCE/ERRATUM.mdb411fe680c4f756f477c4a80368538dfb5e2ec111760ba5e4ea7cce288415ccb
2026-09-10Erratum — duplicazioni nel piano Swift del bundle portabileEsperimenti/apple-silicon/gather-metadata-v2-review-cpu/ERRATUM-v2.md60b76c7821f1f66f3c1a76e778a28b5a39616590b8879fb7d351fbf807c01bf4
2026-09-10Correzione del referto di buildEsperimenti/apple-silicon/gather-metadata-v1-review-cpu/ERRATUM-build.md82385e925737f35d1ddfd59fc30ad4d43eae05c91b35e470e79356cf67b3641f
2026-09-10Correzione di compilazione…/codice/gather-dsf-hermite-probe-v2/ERRATUM-v2.md445ff8e078a2a19a75531de78945da4c2096219c4671e65fc1e97abf594cd157
2026-09-08(senza titolo)Esperimenti/apple-silicon/projection-host-v1/history/fixture-erratum.txt2f3f8f50a4a1228fb55e5b1e45355a6336a54b4f3a8a06a3e7e92edaa45c0835
2026-09-08(senza titolo)Esperimenti/apple-silicon/projection-host-review-v1/history/fixture-erratum.txt3793317cee1c1fb1803141ab12642929a873a8ded806d809723568192ed3d423
2026-09-08Rettifica della review iniziale DSFEsperimenti/apple-silicon/gather-dsf-hermite-v1-review-followup-v2/ERRATUM.md04c4fbf5cb54fb017b144d2ca502f07885ec4ace65f59b39ad5577e5e5902813
2026-09-08Erratum v2: duplicate trajectory_classEsperimenti/apple-silicon/gather-dsf-hermite-build-v2/source/ERRATUM-v2.md280a2a51364142c35fc48c663d9b79a2bff4fcf39cb9ef2d7f3ffda06a041eab
2026-09-07Erratum prima della pubblicazione — 7 settembre 2026Esperimenti/apple-silicon/observers-gates-v2/ERRATUM-pre-freeze.md795f0d28c5476cbc62acfb837442890581a5fa33b8ae841024c2044d8818e308
2026-09-07(senza titolo)Esperimenti/apple-silicon/nb16-reduce32-v1/erratum-fixture.md63cb829e5fe1a23ecf6728d9f7e0381225250b040abcc7d56a3ef0bf462e0091
2026-09-07Erratum — duplicazioni nel piano Swift del bundle portabileEsperimenti/apple-silicon/gather-metadata-v2/ERRATUM-v2.md60b76c7821f1f66f3c1a76e778a28b5a39616590b8879fb7d351fbf807c01bf4
2026-09-06Errata dell'harness, visibileVerifiche/esterna-2026-09-06-supporto/strumento/errata-esecuzione.md6f1bc61f881420764cc4b024e976aa499cee4955b7d03ed0373bb8de5d8f7dd7
2026-09-06Errata visibile prima della seconda esecuzioneEsperimenti/correzione-20260906/oracolo/storico/errata.mda4fff61db426bb83d5c74315619a9cc45f9318c867073df15ed6b9d9a3269c52

Radice del giorno del registro a catena

Predizioni, referti, depositi, errata e affermazioni entrano in un registro a sola aggiunta. Una volta al giorno il registro si chiude con una radice di Merkle (RFC 6962), e la riga che dice la radice è ancorata nella catena di Bitcoin con OpenTimestamps. Dal progetto esce solo un'impronta, mai un file.

Giorno: 21 ottobre 2026
Foglie: 242
Radice (RFC 6962): 64714918167154272acd5b797a596a13dbeea91d3e69c6006aff9f11ae4461bb
Riga della radice: foldengine-registro-affermazioni/1 data=2026-10-21 foglie=242 radice=64714918167154272acd5b797a596a13dbeea91d3e69c6006aff9f11ae4461bb
sha256 della riga della radice: eb045bcea6c034c628d0556c75b6827f37412e2abfda851efff7a4cf4ac0cd16
OpenTimestamps: in attesa: i calendari hanno l'impronta, il blocco Bitcoin non è ancora nella prova
File: 2026-10-21.txt
2026-10-21.txt.ots

Le 242 foglie di questa radice non sono ancora pubbliche: si renderanno pubbliche all'apertura del repository. Intanto si possono verificare la riga della radice e la sua marca temporale (passi 1 e 3 qui sotto); le foglie si ricalcoleranno poi contro la radice col passo 2.

Verifica del registro alla generazione: integro (L1 PASSA, L2 PASSA, L3 PASSA, L4 PASSA, L5 PASSA, L6 non valutata, L7 PASSA).

Verificarla da sé

Scarica i due file qui sopra. La riga della radice deve dare il valore pubblicato:
```
shasum -a 256 2026-10-21.txt
```
Ricalcola la radice dal file delle foglie, dove è pubblicato (la nota qui sopra dice se lo è, per questa radice). Ogni riga del file è una foglia: la riga intera, byte per byte, oppure, dove la riga nomina una persona, un revisore o un modello, H seguita dal suo hash di foglia RFC 6962, lo sha256 del byte 0x00 e della riga, che è proprio il valore che entra nell'albero. L'albero è quello di RFC 6962, sezione 2.1; lo stesso script vale sul file intero, all'apertura del repository:
```
python3 - 2026-10-21-leaves.txt <<'EOF'
import hashlib, sys
h = lambda b: hashlib.sha256(b).digest()
leaf = lambda l: bytes.fromhex(l[2:].decode()) if l.startswith(b"H ") else h(b"\x00" + l)
def mth(f):
    if len(f) == 1: return f[0]
    k = 1
    while k * 2 < len(f): k *= 2
    return h(b"\x01" + mth(f[:k]) + mth(f[k:]))
leaves = [leaf(l) for l in open(sys.argv[1], "rb").read().split(b"\n") if l]
print(len(leaves), mth(leaves).hex())
EOF
```
I due valori devono essere le foglie e la radice della riga della radice. Intanto i passi 1 e 3 legano già la riga della radice alla sua marca temporale: la riga porta la radice, e il suo sha256 è ciò che la prova attesta.
Controlla l'ancora con il client di OpenTimestamps (pip install opentimestamps-client):
```
ots upgrade 2026-10-21.txt.ots
ots verify 2026-10-21.txt.ots
```
ots verify chiede un nodo Bitcoin per leggere l'intestazione del blocco (--bitcoin-node); senza, ots info mostra il blocco e il percorso di Merkle, e il blocco si legge su qualunque esploratore. Una prova fatta oggi resta in attesa per qualche ora, finché i calendari non la portano in un blocco.

Che cosa prova la radice, e che cosa no

Prova che le foglie di quel giorno esistevano, invariate, non dopo il blocco Bitcoin della prova, a meno di qualche ora.
Non retrodata il passato: quello che entra nel registro per la prima volta è attestato come esistente quel giorno, non prima.
Registra che un testo esisteva, non che sia giusto: non dice che una cifra sia corretta né che una predizione abbia preceduto la sua corsa.
Copre solo le fonti dichiarate (predizioni, referti, depositi, errata, affermazioni, registri statistici), non binari né uscite grezze.
Le foglie non sono firmate: il registro non dice chi le ha registrate. Contro la cancellazione del registro intero la difesa sono le copie, non il file.

Il codice, il registro completo e i bundle che servono ai comandi qui sopra si pubblicano all'apertura del codice con la GNU AGPL. Fino ad allora i digest di questa pagina sono impegni: chiunque potrà confrontarli col repository pubblicato.