Sei tappe fino alla prima versione, completata il 9 ottobre 2026, poi sette per il livello dei dataset. Ognuna lascia qualcosa che funziona e ha un criterio di uscita che si può verificare.
| N. | Tappa | Contenuto | Criterio di uscita |
|---|---|---|---|
| 1 | Ordine nel prototipo | Il backend parte senza chiavi esterne. Tolto il servizio di correzione remoto. Corretti il percorso del file delle correzioni e il riconoscimento del verbo essere. README con il comando di avvio. Licenze nei repository. Le frasi di prova come prova automatica | Un comando avvia il backend; la prova gira da sola e segna quali frasi passano |
| 2 | ONTO collegato | ONTO avviato come servizio. Una sola chiamata di inserimento. Teorie, proposizioni, proprietà e aggregazioni salvate in ONTO, con provenienza e data | Una teoria inserita si ritrova già mappata dopo il riavvio; il file JSON non c'è più |
| 3 | Mappatura | Forma esplosa. Operatori conservati. Negazione. Avverbi e tempi. Concetto sottinteso o ereditato. Teorie grammaticali generate | Passano le frasi M1–M20 e G1–G2 |
| 4 | Valori | Quattro valori con motivo e storia. Regola delle congetture. Vincoli logici con formula da confermare. Accordo sugli scenari. Propagazione. Contraddizioni. Alternative ed esclusione. Esplorazione | Passano le prove V1–V12 |
| 5 | App | Forma esplosa e valori nell'elenco. Schermate per alternative, contraddizioni ed esplorazione. Circuito con incroci tra teorie. Errori mostrati | Tutte le funzioni della prima versione si usano dall'app, senza toccare il backend a mano |
| 6 | Richieste e correttore | Riconoscimento di richiesta o immissione. Ricerca per proprietà. Correttore ortografico locale | Passano R1–R2; le tre teorie d'insieme danno l'esito atteso |
Livello dei dataset
La prima versione è completa. Il livello dei dataset viene subito dopo, in sette tappe; il progetto è nella pagina Il livello dei dataset.
| N. | Tappa | Contenuto | Criterio di uscita |
|---|---|---|---|
| 7 | Previsione e piano | Scheda della previsione proposta dalla mappatura e confermata dall'utente (decisione 47). Piano di prova registrato in ONTO, che non si modifica | Passano M24–M26 e D1–D3 |
| 8 | Dataset e scheda di provenienza | Dataset grezzo caricato come tabella di ONTO che non si modifica (decisione 35). Scheda di provenienza. Controlli sui dati | Passano D4–D5 |
| 9 | Prima procedura: la proporzione | Intervallo esatto al 99,9%, multiverso con Wilson e normale, fatto statistico, motivo sulla teoria, replica (decisioni 28, 29, 48 e 54) | Passano D6–D10 |
| 10a | Due gruppi, dati appaiati, tabelle 2×2 | Previsioni e piani per questi disegni; Student e Welch, t appaiato e test dei segni, Wald e Newcombe con Pearson, Yates e Fisher; applicabilità, fragilità, precisione attesa, confronti multipli (decisioni 55, 56 e 57) | Passano D11–D18 |
| 10b | Più gruppi e prove ripetute | Confronti dichiarati prima dei dati tra due gruppi o due condizioni; contrasto con la varianza comune, Welch e Yuen; Greenhouse-Geisser e Huynh-Feldt; quote su classi con il χ² di adattamento (decisione 58) | Passano D19–D23: si rifanno Viagra, Bushtucker (senza il modello multilivello) e compleanno |
| 10c | Modelli multilivello | Unità raggruppate (studenti in scuole): modello multilivello e medie dei raggruppamenti nel multiverso; i metodi che ignorano i raggruppamenti come informazione (decisione 59) | Passano D24–D26: si rifanno l'esempio classico High School and Beyond (Raudenbush e Bryk: 7185 studenti in 160 scuole, dati pubblici nel pacchetto R nlme) e il modello multilivello di Bushtucker |
| 11 | Alternative e secondo nodo | Alternative dichiarate contraddette sullo stesso dataset. Spiegazioni rivali aggiunte dal sistema secondo la scheda. Il calcolo rifatto da un altro nodo (decisioni 60, 61 e 62) | Passano D27–D34: lo stesso fatto statistico da due nodi, con le stesse cifre |
Dopo il livello dei dataset
- Semata (tappa 12, decisioni 63 e 64): passano S1–S18. Separazione, creazione e distruzione (tappa 12b, decisione 65): S19–S41. Fallacie (tappa 13, decisione 66): passano F1–F16.
- Identità e registro (tappa 14, decisioni 67, 68 e 69): passano W1–W16.
- Rete (tappa 15, decisioni 70–74): passano RT1–RT16.
- TheoryChain: l'ordine causale tra le catene e le doppie versioni (tappa 16, decisioni 75 e 76): passano TC1–TC9.
- TheoryCoin (tappa 17): simulazioni dell'economia nella pagina Economia del TheoryCoin e decisioni 77–82 (moneta e fondi, lavoro confermato, emissione, testimoni per merito, pagamento dei fondi, nascita) e protocollo (decisione 83): passano TK1–TK16.
- Calcolo locale più rapido; il calcolo in rete resta rimandato, con le condizioni pronte per quando servirà (tappa 18, decisioni 84 e 85): passano D35–D37.
Regole di lavoro
- In ogni momento c'è una sola tappa aperta.
- Una funzione è finita quando ha una prova che gira da sola e sta scritta in questa documentazione.
- Una regola di mappatura si aggiunge solo insieme alla frase di prova che la richiede.
- Una decisione nuova entra nel registro prima di entrare nel codice.
Aggiornato il 12 ottobre 2026.