Vai al contenuto

Il registro, in un colpo d'occhio.

Ogni riquadro è generato da uno script dal registro del progetto, a ogni pubblicazione. Niente qui è scritto a mano: una cifra senza i suoi limiti o senza il suo atto ferma la generazione. Generato dal commit 95d42145148b di Nexus del 21 ottobre 2026.

V2Parte CCCLVIII

Valore
495,0ns/day
698,2 ± 1,7 µs a passo a 4 fs
Stato
Promossa · in testa
Limiti
  • 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.

Promossa con un atto del titolare il 5 ottobre 2026, Parte CCCLVIII del registro. La scheda completa: digest e comando che la riproduce

CKParte CCCXXXVII

Valore
475,8ns/day
726,4 ± 3,9 µs a passo a 4 fs
Stato
Promossa · non più in testa
Limiti
  • 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.

Promossa con un atto del titolare il 30 settembre 2026, Parte CCCXXXVII del registro. La scheda completa: digest e comando che la riproduce

Errata124 voci

Le correzioni più recenti del registro di Nexus, dalla più nuova.

  • Parte DXXIRevisione delle cifre (DXVIII–DXX e le verifiche di Nautilus), ed errata, 14 ottobre 2026
  • Parte DXXErratum alla DXIX: che cosa vuol dire «motore delle corse di produzione», 14 ottobre 2026
  • Parte DXVIIRevisione delle cifre (CDXXXVI–DXVI), ed errata, 12 ottobre 2026
  • 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)
  • 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 Amber
  • 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 è corretto

Tutti gli errata, con lo sha256 di ogni testo

Radice del giornoRFC 6962

Chiusa il 2026-10-21: 242 foglie.

64714918167154272acd5b797a596a13dbeea91d3e69c6006aff9f11ae4461bb

OpenTimestamps: attesa

Come verificarla da sé

Tre Mac, un risultatoM4 Pro · M2 · M1

M4 Pro

stessi bit

Il Mac di sviluppo. Il riferimento di ogni confronto.

Radice dell'attestazione (validatore del percorso di produzione, edizione 2): 3bb28046d9fac28ae54cc082ed724c33, registrata il 3 ottobre 2026

M2

stessi bit

Rifà i tre digest della corsa dell'M4 Pro del motore di produzione, 1 ns a 4 fs.

Radice dell'attestazione (validatore del percorso di produzione, edizione 2): 3bb28046d9fac28ae54cc082ed724c33, registrata il 5 ottobre 2026

M1

stessi bit

Rifà gli stessi tre digest, sulla stessa build di macOS.

Radice dell'attestazione (validatore del percorso di produzione, edizione 2): 3bb28046d9fac28ae54cc082ed724c33, registrata il 6 ottobre 2026

Limiti: una macchina per chip, macOS 27.2, le build e gli stati di partenza provati. Non altre build, altri stati, altri esemplari, né le varianti Pro e Max. I bit dipendono da scelte che il compilatore Metal ha il permesso di fare, come fondere a*b+c in una sola FMA: l'identità fra chip è osservata, non garantita dal codice, e un chip nuovo si prova prima di dire «tutta la famiglia». Fonte: Nexus 95d42145148b, RISULTATI.md; Nexus 95d42145148b, reference-digests-jac.txt.

In corso

In corso

Un gemello di Nexus sulla CPU

Un secondo programma, in C sulla CPU, ricalcola le forze del motore di produzione partendo dalla sola specifica di Metal. In 120 campioni su 200 le forze coincidono con la GPU byte per byte su tutti i 23.558 atomi: i campioni presi subito dopo la ricostruzione della lista dei vicini. Gli altri 80 differiscono di pochi quanti del punto fisso, perché lì la lista è di qualche passo prima. La traiettoria non è ancora fatta: mancano integratore e vincoli.

Fonte: Nexus 95d42145148b, SCHEDA.md.

Prototipo

Un server locale per gli agenti

Un agente software può chiedere al Mac una dinamica molecolare breve con Nexus e riceverne il risultato con una prova firmata. Solo locale, su stdio: nessuna porta aperta, nessuna chiamata di rete. Quattro strumenti, nessuno dei quali esegue comandi o legge file; una corsa lunga aspetta la conferma di una persona. È un prototipo, non fa parte dell'app.

Fonte: Hypoform c4350c67cbc6, LEGGIMI.md.

Prova interna

L'app, su TestFlight

La build 202610210924 è stata caricata il 21 ottobre 2026 per Mac e per iPhone e iPad, solo per la prova interna. Non c'è una beta pubblica e l'app non è ancora sull'App Store.

Fonte: FoldEngine app 5c71ffc3e75d, testflight-build.tsv.