Frasi di prova - Documentazione TheoryFlow

Queste frasi sono la specifica. Una regola di mappatura esiste quando qui c'è una frase che la richiede, con il risultato atteso accanto.

Lo stato dice se il programma attuale produce già quel risultato; nel backend lo verificano le prove automatiche test/frasi_di_prova.py (mappatura), test/valori.py (valori) e test/richieste.py (richieste e teorie d'insieme), con il modello italiano di TheoryFlow (decisione 40). Nelle forme esplose le aggregazioni con articoli sono omesse per brevità. «Momento di T» è il concetto di un verbo impersonale, con T le prime cifre dell'impronta della teoria (decisione 38).

Mappatura

N.	Frase	Forma esplosa attesa	Stato
M1	Il cane è bello	`cane ▷ bello`	Funziona
M2	Fido è un cane fedele	`fido ▷ cane` · `cane ▷ fedele`	Funziona
M3	Il mare è molto mosso	`mare ▷ mosso` · `mosso ▷ molto`	Funziona
M4	Le mele erano gialle	`mele ▷ gialle` · `mele ▷ erano`	Funziona
M5	La mela non è blu	`mela ▷ blu`, sostenuta come F	Funziona
M6	Il cane è bello e il gatto è brutto	`cane ▷ bello` ^ `gatto ▷ brutto`	Funziona
M7	L'acqua è chiara, cristallina e fresca	`acqua ▷ chiara` ^ `acqua ▷ cristallina` ^ `acqua ▷ fresca`	Funziona
M8	Maria ha comprato il pane, Paolo la carne	`maria ▷ ha comprato · ha comprato ▷ pane` ^ `paolo ▷ ha comprato · ha comprato ▷ carne`: la seconda proposizione eredita «ha comprato»	Funziona
M9	Roma è la capitale d'Italia	`roma ▷ capitale` · `capitale ▷ d'` · `d' ▷ italia`	Funziona
M10	L'acqua se la si scalda diventa vapore	`acqua ▷ scalda` => `acqua ▷ diventa · diventa ▷ vapore`: solo il legame	Funziona
M11	Il fuoco è caldo	`fuoco ▷ caldo`	Funziona
M12	Marco mangia la mela	`marco ▷ mangia · mangia ▷ mela`	Funziona
M13	Piove, ma esco	`momento di T ▷ piove` ^ `io ▷ esco`; teoria implicita C: `momento di T ▷ piove` => `io ▷ esco` sostenuta come F	Funziona
M14	Piove, quindi la strada è bagnata	Tre parti: `momento di T ▷ piove` · `strada ▷ bagnata` · la prima => la seconda	Funziona
M15	Quando sono uscito, pioveva	Concetto nuovo K, «tempo in cui io sono uscito»: `K ▷ tempo · K ▷ io · K ▷ uscito · K ▷ piove`	Funziona
M16	Studio affinché io superi l'esame	`io ▷ studio`; teoria implicita C: `io ▷ studio` => `io ▷ supero · supero ▷ esame`	Funziona
M17	Marco dice che piove	`marco ▷ dice · dice ▷ «piove»`; «piove» è una teoria citata, attribuita a marco, non affermata	Funziona
M18	Marco sa che piove	Come M17: T1 citata, non affermata	Funziona
M19	Il cane che abbaia è mio	Concetto nuovo K, «cane che abbaia»: `K ▷ cane · K ▷ abbaia · K ▷ mio`; «cane» non riceve «mio»	Funziona
M20	Il cane, che abbaia, è mio	`cane ▷ abbaia · cane ▷ mio`	Funziona
M21	L'omeopatia non cura le malattie	`omeopatia ▷ cura`, sostenuta come F · `cura ▷ malattie`	Funziona
M22	Il treno arriva alla stazione di Roma	`treno ▷ arriva · arriva ▷ alla · alla ▷ stazione · stazione ▷ di · di ▷ roma`	Funziona
M23	L'acqua bolle a 100 °C al livello del mare	`acqua ▷ bolle · bolle ▷ a · a ▷ 100 °c · bolle ▷ al · al ▷ livello · livello ▷ del · del ▷ mare`; «100 °C» è un numero con la sua unità di misura, la teoria non è incompleta	Funziona
M24	Il farmaco guarisce più della metà dei pazienti	Concetto nuovo K, «più della metà dei pazienti»: `K ▷ pazienti · K ▷ più della metà · farmaco ▷ guarisce · guarisce ▷ K`	Funziona
M25	Più del 2% dei chip è difettoso	K, «più del 2% dei chip»: `K ▷ chip · K ▷ più del 2% · K ▷ difettoso`	Funziona
M26	Meno della metà dei pazienti guarisce	K, «meno della metà dei pazienti»: `K ▷ pazienti · K ▷ meno della metà · K ▷ guarisce`	Funziona

Teorie grammaticali generate

N.	Frase inserita	Teorie attese	Stato
G1	Le mele erano gialle	«mele è il plurale di mela» · «gialle è il plurale di gialla» · «gialla è il femminile di giallo» · «erano è il passato di sono»	Funziona
G2	La mela è gialla, dopo G1	Nessuna teoria nuova; incrocio con G1 attraverso «gialla»	Funziona

Valori

Le prove V1–V12 sono verificate da test/valori.py; dove la situazione parte da valori già dimostrati («A e B dimostrate F»), questi sono dati come premesse. V1, V2, V5, V6, V8 e V9 sono verificate anche nell'archivio in ONTO da test/archivio_onto.py, con dimostrazioni vere.

N.	Situazione	Esito atteso	Stato
V1	«La mela è rossa», appena inserita	C · manca: `mela ▷ rossa`	Funziona
V2	«La mela è rossa e la mela non è rossa», una sola teoria	F · si contraddice	Funziona
V3	«Questa frase è falsa»	N · malformata	Funziona
V4	«La distanza vale 2»	N · incompleta	Funziona
V5	Teoria di alternative A, B, C confermata; A e B dimostrate F	C diventa V · per esclusione	Funziona
V6	Dopo V5 si aggiunge l'alternativa D	C torna congettura	Funziona
V7	«Il mammifero depone uova» è F; «il cane è un mammifero» è V	«Il cane depone uova» è F · derivata	Funziona
V7b	Come V7, ma «il cane è un mammifero» è ancora congettura	«Il cane depone uova» resta congettura; avviso: sarebbe F se il legame fosse dimostrato	Funziona
V8	Esplorazione su V1: «se `mela ▷ rossa` fosse V»	V mostrato, nulla salvato	Funziona
V9	Una teoria dice «la mela è blu», un'altra «la mela non è blu»; nessuna dimostrata	Contraddizione segnalata; restano congetture; proposte come alternative	Funziona
V10	«La mela è rossa e blu», senza alcuna teoria che vincoli rosso e blu	Nessuna contraddizione	Funziona
V11	Si inserisce «una cosa non è rossa e blu insieme»; il sistema propone `rosso ^ blu` sostenuta come F; confermata. Poi V10	Contraddizione segnalata; entrambe restano congetture	Funziona
V11b	Come V11, con il vincolo «una cosa non è calda e fredda insieme» e la teoria «il caffè è caldo e freddo»	Contraddizione segnalata: «calda» e «caldo» sono la stessa proprietà, collegate da una teoria grammaticale (decisione 42)	Funziona
V12	«Se la mela è rossa allora è blu, e se la mela non è rossa allora è blu, e la mela non è blu»	F · falsa in ogni scenario	Funziona

Richieste

N.	Richiesta	Esito atteso	Stato
R1	Di che colore è la mela?	Le teorie che aggregano proprietà a «mela», con i loro valori, e il circuito con gli incroci su «mela»	Funziona
R2	Una richiesta senza teorie pertinenti	Elenco vuoto, detto chiaramente; nessun testo inventato	Funziona

Tre teorie d'insieme

Servono a provare tutto il percorso: inserimento, mappatura, valore, ricerca con una richiesta e circuito. Nella prima versione nessuna teoria diventa V perché i dati la confermano: i dati arrivano con il livello dei dataset. Una teoria consolidata resta quindi una congettura, ed è il valore giusto finché nessun dato la sostiene.

N.	Teorie	Esito atteso	Stato
I1	Una teoria consolidata: «L'acqua bolle a 100 °C al livello del mare»	Mappata come M23, senza parole perse. C · manca: le sue aggregazioni. La richiesta «Che cosa bolle a 100 °C?» la trova	Funziona
I2	Una pseudoscienza e la teoria che la contraddice: «L'omeopatia cura le malattie» e «L'omeopatia non cura le malattie»	Contraddizione segnalata; entrambe restano C e sono proposte come alternative. La richiesta «Che cosa cura le malattie?» le trova entrambe, con gli incroci su «cura» e «malattie»	Funziona
I3	Un paradosso: «Questa frase è falsa»	N · malformata. Non cambia il valore delle altre teorie. La richiesta «Quali frasi sono false?» la trova con il suo valore	Funziona

Teorie già presenti

Decisione 51. La prova automatica è test/presenti.py.

N.	Situazione	Esito atteso	Stato
P1	Esiste «La mela è rossa»; si inserisce «la mela è rossa.», poi di nuovo «La mela è rossa»	Già presente: non si salva una seconda volta, si rimanda a «La mela è rossa»	Funziona
P2	Si inserisce «La mela è rossa e dolce»	Una parte c'è già: si propone di salvare solo «La mela è dolce», che l'utente può riscrivere	Funziona
P3	Dopo P2, «La mela è dolce e rossa»	Già presente, con le due teorie che la contengono	Funziona
P4	Esiste «Marco mangia la mela»; si inserisce «Marco mangia la mela e beve il vino»	Parte nuova: «Marco beve il vino», con il soggetto ereditato	Funziona
P5	«Se la mela è rossa allora è dolce»	Teoria nuova: condizione e conseguenza non sono affermate da sole	Funziona
P6	Tutti gli inserimenti precedenti	Nello storico, ognuno con data, testo scritto ed esito, anche quando non ha salvato nulla; la parte nuova registra la frase intera	Funziona

Livello dei dataset

La teoria di partenza è «Il farmaco guarisce più della metà dei pazienti», con la popolazione «adulti ricoverati per X nel 2026» e la zona di rilevanza 0,45–0,55, salvo dove è detto altro. Gli intervalli sono al 99,9% (decisione 29). La prova automatica è test/dataset.py.

N.	Situazione	Esito atteso	Stato
D1	Si chiede la previsione della teoria	Proposta: unità «pazienti», parametro «quota con guarisce», verso «maggiore di 0,5»; popolazione e zona di rilevanza da completare	Funziona
D2	D1 confermata senza popolazione	N · non apofantica; nessun piano si può collegare	Funziona
D3	D1 completa e confermata, piano registrato; poi si prova a cambiare la zona del piano	Cambio rifiutato: il piano resta quello registrato, con la sua data	Funziona
D4	Un dataset la cui scheda di provenienza lascia senza risposta la regola di ingresso, o risponde «non applicabile» alla randomizzazione senza motivo	Il dataset non entra: «non è una prova», con le due voci	Funziona
D5	Il piano dice «sì» e «no»; la colonna dell'esito contiene anche «forse», e un paziente compare due volte	Dataset rifiutato, con il valore non ammesso e l'unità ripetuta; nulla viene salvato. Lo stesso file corretto entra, con 100 righe raccolte e quelle usate	Funziona
D6	Ross: 10 chip difettosi su 300; teoria «più del 2% dei chip è difettoso», zona 0,015–0,025	Coda esatta 0,0818, approssimazione normale 0,0495; intervallo esatto 0,0091–0,0821, a cavallo della zona: inconcludente, la teoria resta C senza motivo	Funziona
D7	80 guariti su 100	Intervallo 0,6436–0,9106, tutto sopra la zona: C · sostenuta da D1, in attesa di replica	Funziona
D8	Dopo D7, un secondo dataset con 75 guariti su 100, da un'altra persona, nessun paziente in comune, con il suo piano	Intervallo 0,5873–0,8746: C · sostenuta da D1 e D2. Se i due dataset hanno un paziente in comune, resta «in attesa di replica»	Funziona
D9	1000 guariti su 2000	Intervallo 0,4630–0,5370, dentro la zona: C · contraddetta da D1	Funziona
D10	17 guariti su 20	Intervallo esatto da 0,4684, a cavallo della zona; quello normale da 0,587, sopra: inconcludente · dipende dal metodo	Funziona
D11	Ragni (Field): ansia di 12 persone davanti alla foto di un ragno e di 12 davanti a un ragno vero, come gruppi indipendenti; teoria «un ragno vero mette più ansia della sua foto», zona da −2 a 2	Student t(22) = 1,681, p = 0,1068; Welch con 21,39 gradi di libertà; intervalli al 99,9% a cavallo della zona: inconcludente	Funziona
D12	Gli stessi numeri come dati appaiati: le stesse 12 persone, prima la foto poi il ragno	t appaiato t(11) = 2,4725, p = 0,0310: il disegno dichiarato cambia il p; al 99,9% resta inconcludente	Funziona
D13	Programma di sicurezza (Ross): ore perse in 10 stabilimenti, prima e dopo; teoria «il programma riduce le ore perse», zona da −1 a 1	t appaiato −2,266, p unilaterale 0,025; test dei segni p bilaterale 0,344; al 99,9% inconcludente	Funziona
D14	Cani (Field): ballano 29 su 36 premiati con l'affetto e 20 su 34 premiati con il cibo; teoria «con l'affetto ballano più spesso», zona da −0,05 a 0,05	Pearson p = 0,047, Yates 0,085, Fisher 0,068; al 99,9% inconcludente con Wald e con Newcombe	Funziona
D15	Una 2×2 con 3 su 4 e 1 su 4	Frequenze attese sotto 5: Wald non si applica ed esce dal multiverso, con il motivo; Pearson e Yates sono segnalati come non applicabili	Funziona
D16	Una quota sostenuta per poco: 59 guariti su 80 stanno sopra la zona, ma togliendo uno solo dei «sì» (58 su 79) l'intervallo scende a cavallo	C · sostenuta da D1, fragile, in attesa di replica	Funziona
D17	Lo stesso file analizzato da due piani	Al caricamento del secondo, entrambi i calcoli si rifanno al livello 0,0005 e lo dicono: due analisi sullo stesso file	Funziona
D18	Un piano per una quota con 20 unità previste e la zona da 0,45 a 0,55	Il piano si registra con un avviso: con 20 unità l'intervallo al 99,9% è largo almeno ±0,37 e non potrà mai stare dentro la zona	Funziona
D19	Viagra (Field): libido di 15 persone in tre gruppi da 5, placebo, dose bassa, dose alta; teoria «la dose alta aumenta la libido rispetto al placebo», zona da −1 a 1	Contrasto alta − placebo 2,8 con p 0,008 (varianza comune dei tre gruppi, 12 gradi di libertà); F(2,12) = 5,12, p 0,025; Welch F(2; 7,94) = 4,32, p 0,054; Yuen sulle medie troncate; al 99,9% inconcludente	Funziona
D20	Sullo stesso file di D19 un secondo confronto, dose bassa − placebo, con il suo piano	Due confronti sullo stesso file: entrambi i calcoli al livello 0,0005; bassa − placebo 1,0 con p 0,28	Funziona
D21	I ragni di D11 dopo la decisione 58	Accanto a Student e Welch c'è Yuen, con p 0,216 come nel libro; resta inconcludente	Funziona
D22	Bushtucker (Field): 8 persone, 4 cibi ciascuna, tempo prima del conato; teoria «l'insetto stecco dà il conato più tardi del testicolo di canguro», zona da −1 a 1	F(3,21) = 3,79; Greenhouse-Geisser ε 0,53, p 0,063; Huynh-Feldt p 0,048; con ε sotto 0,75 il contrasto con l'errore comune non si applica; t appaiato e test dei segni: inconcludente	Funziona
D23	Compleanno e morte (Ross): 1251 persone in 12 classi dichiarate prima dei dati, attese uguali; il «sì» sono le ultime sei classi, zona da 0,45 a 0,55; poi un secondo piano con 4 classi scelte dopo aver visto i dati	Con 12 classi χ² p 0,1023, con 4 classi p 0,0020; il secondo piano è un'altra analisi dello stesso file e il livello si dimezza; quota 691 su 1251, inconcludente	Funziona
D24	High School and Beyond (Raudenbush e Bryk): matematica di 7185 studenti in 160 scuole, 70 cattoliche e 90 pubbliche; teoria «nelle scuole cattoliche si va meglio in matematica che nelle pubbliche», raggruppamento per scuola, zona da −1,5 a 1,5	Multilivello 2,80 con errore standard 0,439 e 158 gradi di libertà (come nell'output di HLM per un modello equivalente), intervallo 1,33–4,28; medie delle scuole con Welch 1,33–4,30: inconcludente. Ignorando le scuole sarebbe 2,28–3,33, effetto presente: Student, Welch e Yuen escono con il motivo «unità raggruppate»	Funziona
D25	Il modello vuoto delle stesse scuole	Media generale 12,64 con errore standard 0,24; varianza tra scuole 8,61, entro le scuole 39,15, come nel libro	Funziona
D26	Bushtucker di D22 con il modello multilivello	Rapporto di verosimiglianza χ²(3) = 12,69, p 0,005 come in Field, accanto a Greenhouse-Geisser 0,063: il test è informazione, l'esito resta inconcludente; la varianza tra persone stimata a zero è segnalata	Funziona
D27	Lo sciroppo (T) e il riposo (A) confermati come alternative; D1 sostiene T e A non ha fatti su D1	T: C · compatibile con D1, come l'alternativa «il riposo…», non ancora provata su D1	Funziona
D28	Una previsione e un piano per A sullo stesso file di D1, con esito contrario ad A	A: contraddetta da D1; T: sostenuta da D1, in attesa di replica; i due calcoli al livello 0,0005	Funziona
D29	Un dataset osservazionale prima e dopo, 12 persone, che sostiene la teoria «la dieta riduce il peso»	C · sostenuta da D1, in attesa di replica, se si escludono: placebo e cambiamenti nel tempo; confondenti	Funziona
D30	Una replica con assegnazione casuale e due gruppi	La condizione sui confondenti e su placebo e tempo cade, perché D2 le esclude: C · sostenuta da D1 e D2	Funziona
D31	Un caricamento senza le tre risposte sì o no	Rifiutato con i problemi: valore estremo, soglia, aggregati	Funziona
D32	Un fatto appena calcolato	V; il motivo sulla teoria non dice «da verificare» (decisione 69)	Funziona
D33	Un secondo nodo, un altro processo con il suo nome, rifà il calcolo dal pacchetto	Stesse cifre: il fatto resta V e la verifica del nodo B resta registrata	Funziona
D34	Lo stesso nodo verifica sé stesso; poi un fatto alterato nell'archivio	Accettato, stesse cifre (decisione 69); il fatto alterato dà cifre diverse: N · calcolo non riproducibile, e il motivo non vale	Funziona
D35	Due gruppi di pazienti, uno con tutti i valori uguali (nessuna variabilità)	Il calcolo non fallisce: «student» non applicabile con il motivo «un gruppo ha varianza nulla»; con Welch e Yuen il fatto resta inconcludente (decisione 84)	Funziona
D36	20 pazienti: nove con infiammazione 1,2 e uno con 1,5, contro dieci col placebo	Effetto rilevante presente; togliendo la sola unità a 1,5 diventa inconcludente: fragile, trovato dal calcolo veloce (decisione 84)	Funziona
D37	Lo stesso calcolo di D11 su 2.000 pazienti anziché 24	Differenza 2,0384, effetto rilevante presente, in pochi secondi; prima della tappa 18 la sola fragilità ne avrebbe richiesti circa 200 (decisione 84)	Funziona

Semata

Le frasi che violano un sema (decisioni 63, 64 e 65) e quelle che non lo violano. La prova automatica è test/semata.py.

N.	Frase	Esito atteso	Stato
S1	L'universo è nato dal nulla	F a priori: viola l'ingenerabilità	Funziona
S2	Dio ha creato il mondo dal nulla	F a priori: viola l'ingenerabilità	Funziona
S3	L'essere è nato	F a priori: viola l'ingenerabilità	Funziona
S4	L'anima finisce nel nulla	F a priori: viola l'eternità	Funziona
S5	L'essere finisce	F a priori: viola l'eternità	Funziona
S6	L'essere cambia	F a priori: viola l'immutabilità («essere» è il nome, non il verbo)	Funziona
S7	L'essere si muove	F a priori: viola l'immobilità	Funziona
S8	L'essere è diviso	F a priori: viola l'indivisibilità	Funziona
S9	L'essere non è unico	F a priori: viola l'unicità	Funziona
S10	Il nulla esiste	F a priori: viola la pienezza	Funziona
S11	Esiste il nulla	F a priori: viola la pienezza (il soggetto è il nulla)	Funziona
S12	Nulla esiste	F a priori: viola la pienezza (nessuna cosa esiste)	Funziona
S13	Nulla nasce dal nulla	Nessun sema violato, e nessun V a priori	Funziona
S14	L'essere non cambia	Nessun sema violato, e nessun V a priori	Funziona
S15	L'universo si espande	Nessun sema violato: l'universo è un'esistenza	Funziona
S16	L'acqua cambia stato	Nessun sema violato	Funziona
S17	L'acqua bolle a 100 °C al livello del mare	Nessun sema violato: si passa ai dati	Funziona
S18	L'acqua è chiara e il nulla esiste	La seconda proposizione è F a priori, quindi la teoria è F	Funziona
S19	Esiste qualcosa fuori dall'essere	F a priori: viola l'unicità	Funziona
S20	L'anima è una sostanza separata dal corpo	F a priori: viola l'unicità	Funziona
S21	Le idee esistono in un mondo separato	F a priori: viola l'unicità	Funziona
S22	Esistono più universi	F a priori: viola l'unicità	Funziona
S23	Dio ha creato l'universo	F a priori: viola l'ingenerabilità	Funziona
S24	Dio ha creato una sedia	F a priori: viola l'ingenerabilità (un creatore fuori dal mondo)	Funziona
S25	Il nulla ha generato l'universo	F a priori: viola l'ingenerabilità	Funziona
S26	L'essere ha un inizio	F a priori: viola l'ingenerabilità	Funziona
S27	La materia può essere distrutta	F a priori: viola l'eternità	Funziona
S28	L'energia si distrugge	F a priori: viola l'eternità	Funziona
S29	La bomba annienta la città	F a priori: viola l'eternità	Funziona
S30	L'essere ha una fine	F a priori: viola l'eternità	Funziona
S31	Il non essere è	F a priori: viola la pienezza	Funziona
S32	Esiste il vuoto assoluto	F a priori: viola la pienezza	Funziona
S33	L'essere è composto di parti	F a priori: viola l'indivisibilità	Funziona
S34	Marco ha creato una sedia	Nessun sema violato, con l'avviso: in senso proprio creare è fare dal nulla, forse «costruire»	Funziona
S35	Il fuoco distrugge la casa	Nessun sema violato, con l'avviso: si distrugge la struttura che la rende tale, non la cosa	Funziona
S36	Marco ha costruito una sedia	Nessun sema violato, nessun avviso	Funziona
S37	L'universo ha avuto un inizio	Nessun sema violato: l'universo è un'esistenza	Funziona
S38	Dopo la morte la coscienza scompare	Nessun sema violato	Funziona
S39	L'universo finirà	Nessun sema violato	Funziona
S40	Tra gli atomi c'è il vuoto	Nessun sema violato: il vuoto della fisica	Funziona
S41	La cellula genera altre cellule	Nessun sema violato	Funziona

Fallacie

Le inferenze fallaci e quelle valide (decisione 66). La prova automatica è test/fallacie.py.

N.	Frase	Esito atteso	Stato
F1	«Se piove, la strada è bagnata» nel sistema; poi «La strada è bagnata, quindi piove»	Il legame è F a priori: affermazione del conseguente; la teoria è F	Funziona
F2	«Se piove, la strada è bagnata. La strada è bagnata, quindi piove», in una frase sola	Affermazione del conseguente	Funziona
F3	Con F1: «Non piove, quindi la strada non è bagnata»	Negazione dell'antecedente	Funziona
F4	Con F1: «Piove, quindi la strada è bagnata»	Nessuna fallacia: modus ponens	Funziona
F5	Con F1: «La strada non è bagnata, quindi non piove»	Nessuna fallacia: modus tollens	Funziona
F6	«La strada è bagnata, quindi piove», senza alcun «se» nel sistema	Nessuna fallacia riconosciuta	Funziona
F7	«Piove, quindi piove»	Petizione di principio	Funziona
F8	«Marco dice che piove, quindi piove»	Appello all'autorità	Funziona
F9	«Il medico dice che il farmaco guarisce, quindi il farmaco guarisce»	Appello all'autorità, anche se il medico è competente	Funziona
F10	«Tutti dicono che piove, quindi piove»	Appello alla moltitudine	Funziona
F11	«La maggioranza crede che la terra sia piatta, quindi la terra è piatta»	Appello alla moltitudine	Funziona
F12	«Marco dice che piove»	Nessuna fallacia: non c'è inferenza	Funziona
F13	«Dopo lo sciroppo Marco è guarito, quindi lo sciroppo guarisce»	Post hoc	Funziona
F14	«Questo cigno è bianco, quindi tutti i cigni sono bianchi»	Generalizzazione indebita	Funziona
F15	«Tutti i cigni sono bianchi, quindi questo cigno è bianco»	Nessuna fallacia: dal generale al caso	Funziona
F16	Con F1 e F6: la teoria «Piove»	Resta C: la fallacia non tocca la conclusione	Funziona

Identità e registro

Il wallet e il registro firmato (decisioni 67, 68 e 69). La prova automatica è test/identita.py.

N.	Frase	Esito atteso	Stato
W1	Primo avvio, senza wallet: si chiede di inserire una teoria	Rifiutato: serve il wallet. Le letture funzionano	Funziona
W2	Creazione del wallet con la parola d'ordine e il nome «Bob»	24 parole dell'elenco italiano, mostrate una volta; indirizzo tf1…; nel file né la chiave né le parole in chiaro	Funziona
W3	Un secondo wallet sulla stessa installazione	Rifiutato: c'è già il wallet di Bob	Funziona
W4	Blocca; sblocca con la parola d'ordine sbagliata, poi con quella giusta	Prima rifiutato, poi sbloccato	Funziona
W5	Esci con la parola d'ordine; importa con le stesse 24 parole; poi con una parola cambiata	Stesso indirizzo; con la parola cambiata rifiutato	Funziona
W6	Esci senza la parola d'ordine giusta	Rifiutato: il wallet resta	Funziona
W7	Bob inserisce «Marco dice che piove»	Una voce firmata da Bob con le righe della teoria e della citata; lo storico e la teoria portano il suo indirizzo e il nome	Funziona
W8	Alternative, previsione, piano, dataset con il calcolo, verifica e la cancellazione di una teoria	Una voce per ciascuna; la catena è integra	Funziona
W9	Il wallet nasce in un archivio che ha già delle teorie	La prima voce le elenca come «precedenti al wallet»; la catena è integra	Funziona
W10	Un'aggregazione cambiata a mano in ONTO	Segnalata: riga cambiata, con la voce che l'aveva scritta	Funziona
W11	Una proposizione tolta a mano	Segnalata: riga tolta	Funziona
W12	Una teoria aggiunta a mano, senza voce	Segnalata: riga senza voce	Funziona
W13	Una voce del registro tolta in mezzo	Segnalata: catena interrotta	Funziona
W14	L'ultima voce del registro tolta	Segnalata: la testa scritta accanto al wallet non c'è più	Funziona
W15	Una voce con la firma alterata	Segnalata: firma non valida	Funziona
W16	Bob esce, Anna importa il suo wallet e inserisce una teoria	La voce nuova porta l'indirizzo di Anna, le vecchie restano di Bob; la catena è integra	Funziona

Rete

Pubblicazione, diffusione, presenza e ricezione (decisioni 70–74). La prova automatica è test/rete.py, con tre nodi sulla stessa macchina e il trasporto di prova; la prova su I2P vera si fa a mano.

N.	Frase	Esito atteso	Stato
RT1	Bob pubblica «Il campione 47/B contiene piombo»; ha anche un appunto non pubblicato	Voce 0 della catena pubblica di Bob, firmata; l'appunto non esce	Funziona
RT2	Anna, al primo avvio, incolla l'indirizzo del nodo di Bob	Riceve la teoria con autore Bob; il suo archivio la valuta	Funziona
RT3	Carla è collegata solo ad Anna	Riceve la teoria di Bob tramite Anna, con la firma di Bob	Funziona
RT4	I tre nodi accesi; poi si spegne il nodo di Carla	Tutti attivi; poi Carla è «visto l'ultima volta il …»; Bob resta «c'è stato» per la sua pubblicazione	Funziona
RT5	Una voce alterata in transito	Scartata, non importata né inoltrata	Funziona
RT6	Arriva la voce 2 di un autore senza la voce 1	Non importata finché manca la precedente; poi entrambe	Funziona
RT7	Bob pubblica con le prove (previsione, piano, dataset)	Anna ricalcola il fatto dal dataset ricevuto e ottiene le stesse cifre	Funziona
RT8	Bob pubblica una teoria che si appoggia a un suo appunto	Avviso «si appoggia a 1 teoria non pubblicata»; da Anna il valore resta C	Funziona
RT9	Anna ha scritto la stessa teoria di Bob	Una teoria sola, con due autori	Funziona
RT10	Carla pubblica «Il campione 47/B non contiene piombo»	Da Anna le due teorie sono in contraddizione	Funziona
RT11	Bob ritratta la sua teoria	Da Anna «ritrattata dall'autore il …»; resta nei conflitti	Funziona
RT12	Il controllo del registro di Anna dopo le ricezioni	Integro: le righe ricevute sono coperte dalle firme degli autori	Funziona
RT13	Il saluto del nodo di Anna a un altro nodo	Porta la chiave di nodo, non l'indirizzo tf1 del wallet	Funziona
RT14	Il nodo senza router I2P e senza trasporto di prova	Non parte: nessuna caduta in chiaro	Funziona
RT15	Un nodo nuovo senza indirizzo incollato	Parte dai nodi di partenza scritti in TheoryFlow	Funziona
RT16	Pubblicare senza wallet sbloccato	Rifiutato	Funziona

TheoryChain

L'ordine causale tra le catene e le doppie versioni (decisioni 75 e 76). La prova automatica è test/theorychain.py.

N.	Frase	Esito atteso	Stato
TC1	Carla riceve la teoria di Bob, poi pubblica la sua	La voce di Carla cita quella di Bob: «Bob prima di Carla»	Funziona
TC2	Bob e Carla pubblicano senza essersi visti	Contemporanee	Funziona
TC3	Anna pubblica la stessa teoria di Bob dopo averla ricevuta	Due autori; Bob è il primo	Funziona
TC4	Due teorie in contraddizione, una pubblicata dopo aver visto l'altra	Nei conflitti, chi è venuto prima	Funziona
TC5	Bob firma due voci 5 diverse e le manda a nodi diversi	Dopo un giro entrambe ovunque, segnate «due versioni»; le due teorie contano	Funziona
TC6	Bob continua da una delle due versioni	La voce 6 è accettata ovunque: la catena è un albero	Funziona
TC7	Una voce con le citazioni alterate	Scartata: le citazioni sono firmate	Funziona
TC8	Due nodi con rami diversi della stessa catena si incontrano	Ognuno riceve il ramo che gli manca	Funziona
TC9	Il controllo del registro dopo le doppie versioni	Integro	Funziona

TheoryCoin

Misure, conferme, incassi, fondi, pagamenti e testimoni (decisioni 77–83). La prova automatica è test/theorycoin.py.

N.	Frase	Esito atteso	Stato
TK1	Bob pubblica una teoria con un dataset; Carla, dopo averla ricevuta, la pubblica con un dataset suo, indipendente, con lo stesso esito	La misura di Bob è confermata e Bob può incassarla; quella di Carla è in attesa di conferma	Funziona
TK2	Come TK1, ma il dataset di Carla ha unità in comune con quello di Bob	Nessuna conferma: le misure non sono indipendenti	Funziona
TK3	Come TK1, ma il dataset di Carla dà «nessun effetto rilevante»	Nessuna conferma; la teoria è contesa	Funziona
TK4	Bob incassa all'avvio, quando nessuno ha merito	L'incasso vale senza firme, «in attesa della fine della settimana»; l'app dice che senza testimoni i movimenti non sono protetti	Funziona
TK5	La settimana si chiude con l'incasso dello studio di Bob e di una replica	Bob riceve 50 TheoryCoin (20% di 250), la replica 200 (80%)	Funziona
TK6	Dopo l'incasso di una replica confermata	Chi l'ha fatta ha merito 1 e fa da testimone	Funziona
TK7	Anna versa 40 TheoryCoin nel fondo della teoria	Con le firme dei testimoni: saldo di Anna −40, fondo 40	Funziona
TK8	Due repliche della teoria vengono incassate una dopo l'altra	Il fondo paga 10 alla prima e 7,5 alla seconda; restano 22,5	Funziona
TK9	Anna paga 5 TheoryCoin a Carla	Definitivo con le firme per due terzi del merito; i saldi cambiano su tutti i nodi	Funziona
TK10	Anna firma due pagamenti con lo stesso numero, uno a Bob e uno a Carla, mandati a nodi diversi	I testimoni onesti ne firmano uno solo: al più uno diventa definitivo, l'altro mai	Funziona
TK11	Un pagamento più grande del saldo	I testimoni non lo firmano: non diventa definitivo	Funziona
TK12	Bob prova a incassare due volte la stessa conferma	La seconda volta i testimoni non firmano	Funziona
TK13	Un movimento con una data lontana più di 10 minuti dall'orologio dei testimoni	Non firmato	Funziona
TK14	Tre nodi, dopo un giro	Gli stessi saldi, fondi e meriti su tutti e tre	Funziona
TK15	Chi riceve un pagamento e chi versa nel primo anno	L'app avvisa: prima del PHS il merito dei testimoni costa poco; nel primo anno il valore dei TheoryCoin si diluisce	Funziona
TK16	Il lancio	Tutti i saldi a zero; i TheoryCoin esistenti sono la somma delle settimane chiuse	Funziona

Aggiornato il 12 ottobre 2026.