Skip to content
FoldEngine Italiano

Public registry

What FoldEngine claims, what it got wrong, and how to check both without trusting us. This page is generated from the project's own register by a script; nobody edits it by hand, and the script refuses to publish a figure without its limits or the act that promoted it.

Promoted figures

Only figures promoted by an act of the project owner appear here. A promotion is a decision about one benchmark protocol, not a general claim of speed: each figure keeps its limits next to it, word for word as the rule requires. Measured but unpromoted figures stay in the internal register.

V2

Promoted · Headline figure

495.0 ns/day

698.2 ± 1.7 µs per step at 4 fs

V2: the CK engine with the concurrency of three encoders per step, built only from documented Metal primitives (untracked resources, fences, a shared event).

Benchmark protocol: JAC/DHFR, 23,558 atoms, explicit water, full force field, 4 fs step. Six arms of 60,000 steps (240 ps) each from the state s1-e01, run one at a time with the screen off and nobody connected, on one M4 Pro (16-core GPU), macOS 27.2 26B5091g. Time measured on the MD window; the error bar is the standard deviation across the six arms.

Limits that travel with this figure

  • Conformational preparation not demonstrated: the starting state comes from a preparation that was run, but its conformational equilibrium is not proven.
  • Energy drift certified on CK, not on V2: +2.204e−4 ± 0.162e−4 kT/ns/dof on window A, samples [10:410) after 1.2 ns of preparation, standard error across 8 replicas. V2 reproduces CK bit for bit from s1-e01 for 240 ps (measured); on the certification trajectories the identity is an argument from construction, not a measurement.
  • Across the four states of test C, on samples [10:410), the drift is equivalent within ±1e−4 kT/ns/dof (90% Welch interval). This does not mean the drift is independent of the conformation.
  • The equivalence margin is ±1e−4 kT/ns/dof: a difference smaller than that is not excluded, and is not measured.
  • Without a thermostat the system warms by +0.053 ± 0.008 K per ns.
  • Electrostatics are DSF with a 9 Å cutoff, not PME: this is not the same calculation as the Amber and OpenMM figures published for JAC.
  • One session only: six arms in one night. It is not an uncertainty across sessions.
  • Prediction G1 failed: per marginal watt V2 delivers 0.989 of CK, in a session that was not quiet. In energy per step V2 spends about 352 µJ more than CK, and the host is not excluded as the cause.
  • The promotion does not certify conformational equilibrium, the accuracy of observables, equivalence with other engines, or performance outside the protocol: another starting state, long runs that write samples, another machine.

Act

Promoted by an act of Alessandro Pedretti on 5 October 2026, recorded in Part CCCLVIII of the register, under the promotion rule of Part CCCXXXVI.

Files and sha256 digests

Result
Esperimenti/prestazioni-20260907/diagnostica/via-documentata-v1/risultato.json13a361e6c1e486f514f4765bb775b172ffa44ba6dbae38e62061969c80d8a8c9
Engine binary
frozen4/jacgpu.erec2488fbd52e14ae8ff75a87866ad8bf498308215afdf3f6ca6116886cbf7b995a7
GPU kernel
frozen4/forcefield.metal4acd8474d7e4355033868709cd2db0b6a39ff7c508651a96046cbd851c3a2220
Starting state
frozen4/s1-e01.bin32bfa8b3410e9e14978693240c4d2bed754e469a6a505f4f51de43a020808e26
Expected final state
1812a13a2d8001a9ab162ce19e4ce4d45e5528308401b2f9d062e5ae27effb6c

Reproduce one arm

python3 frozen4/riproduci.py <output folder, must not exist>

From the root of the Nexus repository, on Apple silicon. The script checks the three digests above, runs 60,000 steps and exits 0 only if the final state has the expected digest. The bits reproduce wherever this binary runs on this machine; the time does not: the promoted figure comes from six arms run in the dark, one at a time, and an arm run during the day gives a time of its own.

CK

Promoted · no longer the headline

475.8 ns/day

726.4 ± 3.9 µs per step at 4 fs

CK: the engine with the neighbour-list builder and the gather running with threads in cell order (steps S2b and S2c).

Benchmark protocol: JAC/DHFR, 23,558 atoms, explicit water, full force field, 4 fs step. Six arms of 60,000 steps (240 ps) each from the state s1-e01, run one at a time with the screen off and nobody connected, on one M4 Pro (16-core GPU), macOS 27.2 26B5091g. Time measured on the MD window; the error bar is the standard deviation across the six arms, not a standard error and not an uncertainty across sessions.

Limits that travel with this figure

  • Conformational preparation not demonstrated: the starting state comes from a preparation that was run, but its conformational equilibrium is not proven.
  • Energy drift certified on CK: +2.204e−4 ± 0.162e−4 kT/ns/dof on window A, samples [10:410) after 1.2 ns of preparation from the input coordinates, standard error across 8 replicas.
  • Across the four states of test C, on samples [10:410), the drift is equivalent within ±1e−4 kT/ns/dof (90% Welch interval). This does not mean the drift is independent of the conformation.
  • The equivalence margin is ±1e−4 kT/ns/dof: a difference smaller than that is not excluded, and is not measured.
  • Without a thermostat the system warms by +0.053 ± 0.008 K per ns.
  • Electrostatics are DSF with a 9 Å cutoff, not PME: this is not the same calculation as the Amber and OpenMM figures published for JAC.
  • The promotion does not certify conformational equilibrium, the accuracy of observables, equivalence with other engines, or performance outside the protocol: another starting state (from state s4 CK is 15 to 18 µs per step slower), long runs that write samples, another machine.

Act

Promoted by an act of Alessandro Pedretti on 30 September 2026, recorded in Part CCCXXXVII of the register, under the promotion rule of Part CCCXXXVI.

Files and sha256 digests

Result
Esperimenti/prestazioni-20260907/diagnostica/passaggi-separati-v1/risultato.json373c750067f9132751e0f1ebed0cf2213c43ffc75d3f267d7a9460accb4b0769
Engine binary
frozen3/jacgpu.gocbe1b7a62ee306fb1e02e3bb2c6751adf9bee032066ec5c913396914e32b606be
GPU kernel
frozen3/forcefield.metal56723f5b8e7419999da6b01f15027b5ca1d3199d5300e4775f5bbfeaaa0ede00
Starting state
frozen3/s1-e01.bin32bfa8b3410e9e14978693240c4d2bed754e469a6a505f4f51de43a020808e26
Expected final state
1812a13a2d8001a9ab162ce19e4ce4d45e5528308401b2f9d062e5ae27effb6c

Reproduce one arm

python3 frozen3/riproduci.py <output folder, must not exist>

From the root of the Nexus repository, on Apple silicon. The script checks the three digests above, runs 60,000 steps and exits 0 only if the final state has the expected digest. The bits reproduce wherever this binary runs on this machine; the time does not: the promoted figure comes from six arms run in the dark, one at a time, and an arm run during the day gives a time of its own.

Generated from commit 95d42145148b of the Nexus repository: promozioni.tsv 054c599392f36c9e6bb7131b9e9eaab74ecc5beefd17518af5068e7242335eb1, CIFRE.md 9689b9978bff3abdf8a7412b869e8adcd614e0effb3ad9191e6708b38e3cf809.

Errata

Every correction is kept, never rewritten in silence: 124 entries today. Errata are written in Italian, the working language of the project, and their titles are shown as written, except that the names of outside reviewers and their review rounds are left out («revisore esterno»), and a path segment carrying such a name is shown as «…». Each entry carries the sha256 of its original text, so the published repository can be checked against this list and every file can be found from its digest.

Errata in the Hypoform (Nautilus until 21 October 2026) ledger2 entries
  1. leaf 66, version 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
  2. leaf 140, version 1ERRATA di bitmap-grandi-v1.md e grandi-sistemi-v1.md (19 ottobre 2026)docs/decisioni/ERRATA-bitmap-grandi-v1-20261019.md4091d61fca4f49af92ebf9a54a9a0add0b06360d1ca44e06004b28969116d6a8
Errata in the Nexus register (RISULTATI.md)80 entries
  1. Part DXXIRevisione delle cifre (DXVIII–DXX e le verifiche di Nautilus), ed errata, 14 ottobre 202624d2f8a36b6641c247348fb30f94c860ab9d0308fc602a53b2e1d1a56ee260f7
  2. Part DXXErratum alla DXIX: che cosa vuol dire «motore delle corse di produzione», 14 ottobre 20267e63dda0b32884e9694e8c8c8f360bcf9ce2a62490a73e2d36415c3c514f0d36
  3. Part DXVIIRevisione delle cifre (CDXXXVI–DXVI), ed errata, 12 ottobre 2026d739cc80a52636ee5c0575b2352f08cb6aa201f35d4e76c58cfb2f51225f097a
  4. Part 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
  5. Part 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
  6. Part 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
  7. Part 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
  8. Part 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
  9. Part 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
  10. Part 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
  11. Part 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
  12. Part 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
  13. Part 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
  14. Part 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
  15. Part 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
  16. Part 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
  17. Part 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
  18. Part 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
  19. Part 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
  20. Part 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
  21. Part 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
  22. Part 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
  23. Part 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
  24. Part CCCXXXVIERRATUM di regola alle Parti CLVII, CCXLVI, CCLXXV sezione 8 e CCLXXXVII sezione 2: promozione della portata di benchmark distinta dalla certificazione della deriva22f37dc0dc38bc731e11dc7362a56b954c4ca6463003ba7ba4213c867719af4b
  25. Part 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
  26. Part 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
  27. Part 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
  28. Part 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
  29. Part 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
  30. Part 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
  31. Part 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
  32. Part 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
  33. Part 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
  34. Part 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
  35. Part 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
  36. Part 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
  37. Part 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
  38. Part 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
  39. Part 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
  40. Part 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
  41. Part 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
  42. Part 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
  43. Part 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
  44. Part 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
  45. Part 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
  46. Part 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
  47. Part 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
  48. Part 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
  49. Part 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
  50. Part CCLVIIIERRATUM alla CCLVII: la revisione dei due disegni non è passata da un revisore esterno; il presidio sulle predizioni senza esito ora vede le sottocartelleb1cdfac147ee57d79f06e5bf73a7bbffe39161d639541b4b1c458159318abd31
  51. Part 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
  52. Part 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
  53. Part 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
  54. Part 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
  55. Part 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
  56. Part 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
  57. Part CCLERRATUM alla CCXLIX: la corsa a 4 fs dell'8 settembre non ha una preparazione; il bersaglio ritirato, il banco in paric8b5b20d48c72795950cfe4e8560c719eff771e72a4a67874dcf476624c215ee
  58. Part CCXLIXERRATUM alle CCXLV–CCXLVIII, scritte lo stesso giorno: il canale «SoC» è il sistema intero, e sei affermazioni erano più forti dei dati94ce4fc2f6d757a1863f691786e4b5856d33df7d8d87ba949d68ad67e24b679a
  59. Part CCXLVIIIERRATUM alle CCXXXI, CCXXXIX, CCXL e ai residui delle revisioni del 10 e del 14 settembre; gli esiti di pacchetto mai registrati668a7cac890b2869c5c606657737e67a4899a7403346b1c174d9fad2e10662ad
  60. Part 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
  61. Part 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
  62. Part CCXLIVDue strumenti, tre perimetri: 6,76 ns/day per watt alla presa. ERRATUM alla CCXLIII: il «vantaggio» confrontava grandezze diverseaf34878e6594c443725c874e60726295296972910c4e401bccd7e8f435b910d0
  63. Part CCXLIERRATUM alla CCXXXVIII: anche la stima corretta era sbagliata, e la divergenza SIMD la dimezzaf49832df23e2c1ecc76b355b66f1a1824425049ba79320e065ae0f5037f533f6
  64. Part CCXLERRATUM alle CCXXIX e CCXXXVI: lo scarto fisso era lo strumento sbagliato, e l'«effetto reale» era il mio scarto98a6e51cdf47c0fcc1b75735392dfe7dac65feb3b68bc4d46aa26674bb8dbb5e
  65. Part CCXXXVIIIERRATUM alla CCXXXIII: il divario è 2,8 volte, non 4,1b22fefd2ca982d0163e48870bc7996871664caddd3dabc83bec8c4ddb932b80f
  66. Part CCXXXVIERRATUM alla CCXXVI: il bilancio per stadi è gonfiato del 5,1%, su tutti gli stadi17b9ba29540bc1078f9050f4636b65efd1545d3c082a05287e2b0260fd43242a
  67. Part CCXXXIIIERRATUM alla CCXXXII: «byte» e «caricamenti» non sono la stessa cosa, e i blocchi riducono i secondi0f463743ae7a4365b8ab48ab24c51cb56eea1c09abb9298495961c4d8f071356
  68. Part CCXXIXERRATUM alla CCXXVI: il gather è piatto, e i 48,5 µs erano l'avvio a freddo167ebdf90c297c5c5fb97dbecc3017c71ed5d7e94091d53e3fe19b9bedf0ce35
  69. Part CLXXIXERRATUM: il «77% non dovuto all'integratore» non era dimostratob8b4d9b6672ab6dbd5bdbdbc7c033d34a0beb5f2166f51f0111bfbba6bd1b5b7
  70. Part CLXIXERRATUM: «errore sotto mezzo quanto» non è «intero certificato»4d1c2a6d4e172665b77c9ac1eb1d6223b7456e8044613a1f38af4e1d9c430dd2
  71. Part CLXIIERRATUM: il tempo di Lyapunov non è l'orizzonte, e la differenza è un fattore 12,53fa5dd78572bbe9a7cbbf77d433993ea8cac9f07f92df8a706950774e7b21e67
  72. Part CLVIIERRATUM alla Parte CLVI: ho promosso una cifra che il verdetto negafd9cf7791f10911b9291e385dbff89aa1b91a43ab970463b9cdba81b5623c244
  73. Part CLVILa deriva misurata a +1,157e−4 su 1 ns — cifra NON CERTIFICATA, vedi l'erratum in Parte CLVIIfde32cbe2372c2fbef1905bb350a631084c51aa1ebcde8ea2720aff1f41c1500
  74. Part CLIVTre errata miei, trovati da una verifica esterna, e uno tocca la posizione del progetto03339c0e5366e0543526153520783d0ee6861c603cf519346e62c3a9f0c3038e
  75. Part CXLVLa seconda verifica: otto chiusure su diciannove reggevano, e tre erratac846e3d59fe72461b150d865de2fc51351a7aaad2563a9ac41413d6e9d418bcd
  76. Part CXXXVERRATUM alla Parte CXXIX: il limite era calcolato col modello sbagliato, ed è 2,6 volte più largobecf0b8088432798d355c5ecdef9ce3b49003097af4ecf208758500db26442b5
  77. Part CXXXIIERRATA dalla verifica indipendente: due strumenti mentivano, e il travaso non è linearee31d13c5f3478da255afa549237ef2e4959ad3a3ffb13895fef423f8162da326
  78. Part LXXXIXDIAG su r0: il pozzo del soluto non è un pozzo; erratum alla Parte LXXXVIII060fe94e046e9f3f37745246a592eee88da43a7737ed642d3b31e1abfca3b0d1
  79. Part LXXXVErratum: il «discriminante del microstato» non discriminava, e le barre d'errore numeriche7b8db1fb17edc6f25e95e1e52af1866a7545cefdc481f990b4378581e03a76f2
  80. Part LXIXERRATUM: la deriva era in kelvin, non in kT22e1cf38c4e9388aa8e92ecd61779cf03db42e33a51c20892e89446b52ca0345
Errata files in the Nexus repository42 entries
  1. 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
  2. 2026-09-24sander-jac-v1 — ERRATUM alla conseguenza depositata con S1Esperimenti/prestazioni-20260907/diagnostica/sander-jac-v1/nve/ERRATUM-S1.mdeec398ba0a2c2db3ed8672fcad2d2218ed9abea9d2768e4e338c6f3a43b08933
  3. 2026-09-23Risposta del revisore esterno all'erratum, registrata prima delle corse…71cda79b9b0db62f84af675a16e1f2c7535dcf67bfbda13463d809d56380a2ac
  4. 2026-09-23Erratum — la storia dello scarto del soluto era sbagliataPROMPT-19-ERRATUM-20260923.md0f0ffc07294514be05081a44d8f19244fcab09529f752dc88ba0db7a5b383ac3
  5. 2026-09-10Controllo aggiunto prima della misuraEsperimenti/prestazioni-20260907/throughput-only-v2-driver/erratum-v1.mddec6fbaa23d9215bad832acf98f3824c314259d46ea9184691617fa1cf5e5e7e
  6. 2026-09-10(no title)Esperimenti/prestazioni-20260907/throughput-nb16-reduce32-v1/audit-v1-addendum-final-cpu/review-script-erratum.json330912603940301b488be9060c5baefcba8cb4d7e22b368b25baecdeb53be5d2
  7. 2026-09-10Erratum — REBUILD omesso dal contratto del pianoEsperimenti/prestazioni-20260907/skin-scan-v1/erratum-rebuild.mda50d38a9afbdf326944749cc3a6a5b1f0764fcee659b5cf5e459851d23c90544
  8. 2026-09-10(no title)Esperimenti/prestazioni-20260907/screen-v3-retry3-driver/erratum-tentativo2.mdf4d2a5764ca783ffad38a593ffe0a76b7a2c4b247dc9bc09bc0d53dface4744b
  9. 2026-09-10(no title)Esperimenti/prestazioni-20260907/screen-v3-retry2-driver/erratum-tentativo1.mdc1e284fb744ff2ca174c45e6a2ce75e7f947b1e088ade7aab84d63e41c9c10ba
  10. 2026-09-10(no title)Esperimenti/prestazioni-20260907/erratum-runner-locale.mdb3e8e4f27f42f40fbcedda6580b715e3ee25a7e41435c3be0fb2cf626baff3d7
  11. 2026-09-10(no title)Esperimenti/prestazioni-20260907/erratum-restart-v1.mdb88d76075b35c7c4c0807aace89c9dc8093783672f7505141bae4ce42ab9fd00
  12. 2026-09-10(no title)Esperimenti/prestazioni-20260907/erratum-lista-negativi-v1.mdd771bec9d50cfd3c3606970c8f7c13de68fdf1d89e5b4cf58557faf035c17ef0
  13. 2026-09-10Erratum — la v1 non ha misurato niente, e per due difetti mieiEsperimenti/prestazioni-20260907/diagnostica/stencil-scaling-v1/ERRATUM.md610c418e2c8ddd2dd6fbd4ddd241c28697cf0d8feafd5f96a4953a756355cdcc
  14. 2026-09-10Primo tentativo — due fatti raccolti, sei bracci persiEsperimenti/prestazioni-20260907/diagnostica/pelle-ottima-quiete-v1-tentativo-1/ERRATUM.mda8a8482a11876c035a9c755a3f4751c4308459674dd8dd823a2e64ec75fc5418
  15. 2026-09-10Erratum del wrapper capability v1Esperimenti/prestazioni-20260907/diagnostica/owner4x32-controller-v2/erratum-v1.mda8c066d2149016648cd641f2dc34f02e2cac975817907625ee57df1e3ff23eb8
  16. 2026-09-10Il verdetto automatico dice CERTIFICABILE. Non lo è.Esperimenti/prestazioni-20260907/diagnostica/nve-microstati-v1/ERRATUM-VERDETTO.mdb2edc03a09e4dd7027ce292f4c7b1dc1a1f18a2429a310a89867af99f76ea3f6
  17. 2026-09-10Erratum 3 — due convenzioni di finestra nello stesso documentoEsperimenti/prestazioni-20260907/diagnostica/nve-microstati-v1/ERRATUM-3-FINESTRE.mde134980f8c07779b9710cd1bce583ce52f902bad076061105432cc5cb7eec673
  18. 2026-09-10Il revisore esterno ha trovato due errori miei, e il secondo cancella l'esperimentoEsperimenti/prestazioni-20260907/diagnostica/nve-microstati-v1/…7d06778f103be4245ed72a604d29f40e5211bf290164f2626a89ff8a7fb67f56
  19. 2026-09-10Correzioni del solo audit prima del deposito finaleEsperimenti/prestazioni-20260907/diagnostica/md-cost-profile-long-v2-audit-v1/ERRATUM.md07e15af01d5bdb6a0ebdc4f7c557c4a37e503ca404bd4c13162dd9934442c80c
  20. 2026-09-10(no title)Esperimenti/prestazioni-20260907/diagnostica/md-cost-profile-long-controller-v1/erratum-tests.mdf3129eb1b9f5e0f6bd9d9ca242103e7ff6da123f430c9e9a4e8e11afc5119c35
  21. 2026-09-10(no title)Esperimenti/prestazioni-20260907/diagnostica/md-cost-profile-controller-v1/erratum-tests.md809fe026741fc8550e6e4bc82e14aa595ab16b69161d76ed8a02a46cc02333b1
  22. 2026-09-10(no title)Esperimenti/prestazioni-20260907/diagnostica/list-builder-portable-root-review-v1/invocation-erratum.md845377dc7c1ac48f3982d669dfb99a7f305ad1a2ccfe66a170e9a5dab4eb4d4e
  23. 2026-09-10Launcher MD: primo avvio non eseguitoEsperimenti/prestazioni-20260907/diagnostica/list-builder-launch-erratum.mdb8617f04dddacf0d6f9072ac6e85d667c7c031f4e3be4dc5a59b7ff815ec018c
  24. 2026-09-10Secondo tentativo — la misura c'è, ma la dispersione la annullaEsperimenti/prestazioni-20260907/diagnostica/hermite-costo-on-v1-tentativo-2-DISPERSIONE/ERRATUM.mdc318da1e33db3adcbc34af473407d55aba6862e4e70e0c33eaddbc98b2f0fbbe
  25. 2026-09-10Primo tentativo caduto — GDSF_MODEEsperimenti/prestazioni-20260907/diagnostica/hermite-costo-on-v1-tentativo-1-GDSF_MODE/ERRATUM.mdfc12d310c37bf6bb62c1209a50611e2c189af8a13100ea8b9771e30f07c54ab1
  26. 2026-09-10Primo tentativo di rilettura, conservatoEsperimenti/prestazioni-20260907/diagnostica/gpu-stage-profile-reader-v2/ERRATUM-TENTATIVO-1.md02824d3b72dbab6e79910f7139c0b6fec5092fe86bb6a6e5b10aa5436b83132c
  27. 2026-09-10(no title)Esperimenti/prestazioni-20260907/diagnostica/gather-metadata-pack-controller-v1/PRE-FREEZE-ERRATUM.md083a6bb8ee768f0675fdd35f3619572311710c4f1dd4714b1a7ef3235f418438
  28. 2026-09-10(no title)Esperimenti/prestazioni-20260907/diagnostica/equil-stride-v1-gates-1/audit-v1/erratum-audit-output.json2ed0b81e85f66d819acfef6e5b4398729cb6f40f8d5658fc4032b58dba482399
  29. 2026-09-10Il primo tentativo è caduto, e per un errore di metodoEsperimenti/prestazioni-20260907/diagnostica/deriva-configurazione-corrente-v1/ERRATUM-tentativo-1.md0016e92bfbb8c5c275ba36422b44c26aae2f7bed19229334ce4a1c2ae479c88b
  30. 2026-09-10Primo tentativo caduto — il digest dello shaderEsperimenti/prestazioni-20260907/diagnostica/costo-lanci-vuoti-v1-tentativo-1-MS_SOURCE/ERRATUM.mdb411fe680c4f756f477c4a80368538dfb5e2ec111760ba5e4ea7cce288415ccb
  31. 2026-09-10Erratum — duplicazioni nel piano Swift del bundle portabileEsperimenti/apple-silicon/gather-metadata-v2-review-cpu/ERRATUM-v2.md60b76c7821f1f66f3c1a76e778a28b5a39616590b8879fb7d351fbf807c01bf4
  32. 2026-09-10Correzione del referto di buildEsperimenti/apple-silicon/gather-metadata-v1-review-cpu/ERRATUM-build.md82385e925737f35d1ddfd59fc30ad4d43eae05c91b35e470e79356cf67b3641f
  33. 2026-09-10Correzione di compilazione…/codice/gather-dsf-hermite-probe-v2/ERRATUM-v2.md445ff8e078a2a19a75531de78945da4c2096219c4671e65fc1e97abf594cd157
  34. 2026-09-08(no title)Esperimenti/apple-silicon/projection-host-v1/history/fixture-erratum.txt2f3f8f50a4a1228fb55e5b1e45355a6336a54b4f3a8a06a3e7e92edaa45c0835
  35. 2026-09-08(no title)Esperimenti/apple-silicon/projection-host-review-v1/history/fixture-erratum.txt3793317cee1c1fb1803141ab12642929a873a8ded806d809723568192ed3d423
  36. 2026-09-08Rettifica della review iniziale DSFEsperimenti/apple-silicon/gather-dsf-hermite-v1-review-followup-v2/ERRATUM.md04c4fbf5cb54fb017b144d2ca502f07885ec4ace65f59b39ad5577e5e5902813
  37. 2026-09-08Erratum v2: duplicate trajectory_classEsperimenti/apple-silicon/gather-dsf-hermite-build-v2/source/ERRATUM-v2.md280a2a51364142c35fc48c663d9b79a2bff4fcf39cb9ef2d7f3ffda06a041eab
  38. 2026-09-07Erratum prima della pubblicazione — 7 settembre 2026Esperimenti/apple-silicon/observers-gates-v2/ERRATUM-pre-freeze.md795f0d28c5476cbc62acfb837442890581a5fa33b8ae841024c2044d8818e308
  39. 2026-09-07(no title)Esperimenti/apple-silicon/nb16-reduce32-v1/erratum-fixture.md63cb829e5fe1a23ecf6728d9f7e0381225250b040abcc7d56a3ef0bf462e0091
  40. 2026-09-07Erratum — duplicazioni nel piano Swift del bundle portabileEsperimenti/apple-silicon/gather-metadata-v2/ERRATUM-v2.md60b76c7821f1f66f3c1a76e778a28b5a39616590b8879fb7d351fbf807c01bf4
  41. 2026-09-06Errata dell'harness, visibileVerifiche/esterna-2026-09-06-supporto/strumento/errata-esecuzione.md6f1bc61f881420764cc4b024e976aa499cee4955b7d03ed0373bb8de5d8f7dd7
  42. 2026-09-06Errata visibile prima della seconda esecuzioneEsperimenti/correzione-20260906/oracolo/storico/errata.mda4fff61db426bb83d5c74315619a9cc45f9318c867073df15ed6b9d9a3269c52

Daily root of the ledger

Predictions, reports, deposits, errata and claims enter an append-only ledger. Once a day the ledger is closed with a Merkle root (RFC 6962), and the line that states the root is anchored in the Bitcoin blockchain through OpenTimestamps. Only a hash leaves the project: never a file.

Day
21 October 2026
Leaves
242
Root (RFC 6962)
64714918167154272acd5b797a596a13dbeea91d3e69c6006aff9f11ae4461bb
Root line
foldengine-registro-affermazioni/1 data=2026-10-21 foglie=242 radice=64714918167154272acd5b797a596a13dbeea91d3e69c6006aff9f11ae4461bb
sha256 of the root line
eb045bcea6c034c628d0556c75b6827f37412e2abfda851efff7a4cf4ac0cd16
OpenTimestamps
pending: calendars have the hash, the Bitcoin block is not in the proof yet
Files

The 242 leaves of this root are not published yet: they will become public when the repository opens. Until then you can check the root line and its timestamp (steps 1 and 3 below); the leaves can then be recomputed against the root with step 2.

Ledger check at generation: intact (L1 PASSA, L2 PASSA, L3 PASSA, L4 PASSA, L5 PASSA, L6 non valutata, L7 PASSA).

Check it yourself

  1. Download the two files above. The root line must hash to the published value:

    shasum -a 256 2026-10-21.txt

  2. Once the leaves are public (they will be when the repository opens), recompute the root from them. Each leaf is one line of the file, byte for byte; the tree is the one of RFC 6962, section 2.1. Until then the file of this root's leaves is not on this site:

    python3 - 2026-10-21-leaves.jsonl <<'EOF'
import hashlib, sys
h = lambda b: hashlib.sha256(b).digest()
def mth(f):
    if len(f) == 1: return h(b"\x00" + f[0])
    k = 1
    while k * 2 < len(f): k *= 2
    return h(b"\x01" + mth(f[:k]) + mth(f[k:]))
leaves = [l for l in open(sys.argv[1], "rb").read().split(b"\n") if l]
print(len(leaves), mth(leaves).hex())
EOF

    The two numbers must be the leaves and the root of the root line. Meanwhile, steps 1 and 3 already tie the root line to its timestamp: the root line carries the root, and its sha256 is what the proof attests.

  3. Check the anchor with the OpenTimestamps client (pip install opentimestamps-client):

    ots upgrade 2026-10-21.txt.ots
ots verify 2026-10-21.txt.ots

    ots verify needs a Bitcoin node to read the block header (--bitcoin-node); without one, ots info shows the block and the Merkle path, and the block can be read on any block explorer. A proof made today is pending for a few hours, until the calendars commit it to a block.

What the root proves, and what it does not

  • It proves that the leaves of that day existed, unchanged, no later than the Bitcoin block of the proof, give or take a few hours.
  • It does not backdate the past: everything that enters the ledger for the first time is attested as existing on that day, not before.
  • It records that a text existed, not that it is right: it does not say that a figure is correct or that a prediction preceded its run.
  • It covers only the declared sources (predictions, reports, deposits, errata, claims, statistical records), not binaries or raw outputs.
  • The leaves are not signed: the ledger does not say who registered them. Against the deletion of the whole ledger, the defence is its copies, not the file.

The source code, the full register and the bundles that the commands above need are published when the code opens under the GNU AGPL. Until then the digests on this page are commitments: anyone will be able to check them against the published repository.