Piano II — Ricostruire · Documento finale I Quaderni del Senzar

Quaderno XII — Specifica Formale del Senzar

Integrazione del Piano II — Rev. 0.1

Revisione 0.1 — Luglio 2026 · Integra: Quaderni VII–XI · 3 assiomi primitivi · 15 primitive · 16 operatori · 5 invarianti · In lavorazione

Una specifica non dice cosa il sistema è. Dice cosa il sistema può fare, cosa non può fare, e perché.

Ruolo di questo Quaderno nel Piano II

Questo è il documento di chiusura del Piano II. Non introduce nuove osservazioni — integra in forma coerente ciò che i Quaderni VII–XI hanno prodotto: primitive, operatori, trasformazioni, pattern grammaticali, assiomi, invarianti. La specifica formale è il modello che il Quaderno XIII sottoporrà a verifica sull'Antropogenesi.

Una specifica non è una prova. È un modello dichiarato che può essere falsificato. Se il Quaderno XIII mostrerà che il modello non spiega l'Antropogenesi senza aggiungere nuove assunzioni, la specifica andrà revisionata.

Struttura del Quaderno I Il Modello — Definizione Formale Completo II Gli Assiomi del Modello Completo III Tavola Sinottica — Tutto il Piano II Completo IV Verifica di Coerenza Interna Completo V Previsioni Pre-Registrate per il Quaderno XIII Completo
VI Limiti Dichiarati del Modello Completo
Registro I

Il Modello — Definizione Formale

Il modello del Senzar come sistema formale con quattro componenti.

Il Piano II ha costruito un modello strutturale del Libro di Dzyan. Il modello è composto da quattro componenti interdipendenti. Questa è la loro definizione formale integrata.

S-1 Primitive Quaderno VIII
Definizione formaleLe primitive sono le unità strutturali fondamentali del modello — gli elementi che il sistema non scompone ulteriormente. Ogni primitiva è definita per funzione, non per significato.
Numero nel modello15 primitive candidate, organizzate in 6 famiglie: Campo (4), Repository (3), Processo (4), Continuità (2), Ciclo (1), Vincolo (1).
Principio fondamentaleSimbolo ≠ Primitiva. Il simbolo (Thread, Wheel, Flame) è l'interfaccia della primitiva nel testo. La primitiva è la funzione strutturale (Continuità, Ciclo, Sorgente generativa). Se il simbolo cambiasse, la primitiva resterebbe.
Stato nel modelloProvvisorio — Rev. 0.1. Da verificare nell'Antropogenesi: se compaiono funzioni non riconducibili alle 15 primitive, il catalogo va ampliato.
S-2 Operatori Quaderno IX
Definizione formaleGli operatori sono le azioni strutturali del sistema — ciò che produce un cambiamento osservabile nella configurazione. Un operatore si applica a primitive e produce nuove configurazioni.
Numero nel modello16 operatori catalogati in 4 famiglie: Stato (5), Trasformazione (4), Generativi (3), Topologici (7). Ipotesi: 6 operatori primitivi non scomponibili (Manifest, Conceal, Differentiate, Generate, Connect, Bound).
Principio fondamentaleOperatore ≠ Relazione. Un operatore produce un cambiamento; una relazione lo descrive. Ogni operatore possiede un dominio di applicazione tipizzato (Assioma A-006).
Stato nel modelloProvvisorio — Rev. 0.1. Watch, Calculate, Thread-come-operatore restano casi aperti. L'ipotesi dei 6 operatori primitivi è da verificare.
S-3 Grammatica Quaderno X
Definizione formaleLa grammatica è il sistema delle trasformazioni ammissibili: le triple (Primitiva → Operatore → Primitiva) che il corpus mostra come valide, con le precondizioni osservate.
Unità minimaLa trasformazione: Primitiva-iniziale → Operatore → Primitiva-finale. Non l'operatore isolato.
Elementi nel modello19 trasformazioni catalogate (T-001–T-019), 7 pattern grammaticali (G-P01–G-P07). Tipizzazione operatori: Puri / Espansivi / Riduttivi.
Principio fondamentaleLa grammatica descritta in questo modello è osservata, non normativa. Le regole prescriptive appartengono alla specifica formale — questo Quaderno.
Regole grammaticali formali1. Gli operatori vincolanti (CIRCUMSCRIBE, BOUND) seguono sempre operatori espansivi. 2. MANIFEST non apre sequenze. 3. SPIN richiede input complementare binario. 4. Thread è medium, non agente delle trasformazioni.
S-4 Assiomi e Invarianti Quaderno XI
Definizione formaleGli assiomi sono i principi fondamentali da cui derivano le regole grammaticali. Gli invarianti sono proprietà che restano costanti attraverso ogni trasformazione ammissibile.
Elementi nel modello9 assiomi candidati (5 ontologici, 4 grammaticali), 5 invarianti (3 espliciti nel testo, 2 inferiti). Ipotesi: 3 assiomi primitivi (A-001, A-002, A-006) da cui derivano gli altri.
Stato nel modelloLa riduzione a 3 assiomi primitivi è un'ipotesi — non ancora verificata per coerenza interna completa.
Registro II

Gli Assiomi del Modello

I principi da cui il sistema è generato.

Assiomi primitivi — candidati non derivabili

A-001 · Ontologico · Forte

Ogni generazione preserva la sorgente da cui procede.

Spiega: T-004, T-005, T-015, T-017. Invariante I-001 (moltiplicazione non intacca l'unità). Da A-001 derivano le regole: Generate non consuma, Manifest non svuota, Emanation non impoverisce.

A-002 · Ontologico · Forte

Ogni stato manifestato presuppone uno stato più fondamentale che lo rende possibile.

Spiega: I-002 (Life precede Form), I-003 (Duration precede Time), T-002, T-003. È la spiegazione profonda di H-001. Da A-002 derivano: A-007 (vincoli dopo strutture), A-008 (MANIFEST dopo latenza), A-003 (no creazione dal nulla).

A-006 · Grammaticale · Forte

Ogni operatore possiede un dominio di applicazione definito.

È il principio di tipizzazione del sistema. Spiega la tabella Input/Output del Quaderno IX. Da A-006 derivano: A-007 (i vincoli hanno dominio proprio — geometrie, non campi).

Assiomi derivati

A-003 · Ontologico · Forte · corollario di A-002

Ogni nuova configurazione deriva da una configurazione precedente.

A-004 · Ontologico · Media · derivato da A-001

Una trasformazione modifica gli stati di una primitiva senza annullarne l'identità.

A-005 · Ontologico · Media · corollario di A-004

Le trasformazioni possiedono una direzione privilegiata; le inverse non sono equivalenti alle dirette.

A-007 · Grammaticale · Forte · da A-002 + A-006

I vincoli si applicano dopo le strutture generate — mai come primo passo.

A-008 · Grammaticale · Forte · caso specifico di A-002

Nel corpus osservato, MANIFEST compare solo dopo stati di latenza.

A-009 · Grammaticale · Media · da A-004 + A-005

Return è asimmetrico nel tempo — il ripristino preserva la storia del percorso.

Invarianti del modello

I-001La moltiplicazione non intacca l'unità della sorgente. (Esplicito — III.5)
I-002La Life precede la Form e le sopravvive. (Esplicito — VII.2)
I-003La Duration precede il Time e lo contiene. (Esplicito — I.2)
I-004La somma delle configurazioni manifeste e occulte è costante (= 7). (Inferito — VI.3)
I-005Il Thread rimane attivo e immutato attraverso sequenze multiple di CLOTHE. (Inferito — VII.5)
Registro III

Tavola Sinottica — Tutto il Piano II

Il percorso dal Quaderno VII al XII in una sola tabella.

QuadernoComponenteElementiContributo alla specifica
VII Registro di Laboratorio 57 ipotesi H · 6 stanze analizzate · Evoluzione Rev. 0.1→0.5 Materia prima: osservazioni non interpretate, ipotesi provvisorie, inversione metodologica (simbolo = interfaccia)
VIII Primitive 15 schede P-xxx · 6 famiglie · 4 escluse Vocabolario degli oggetti: cosa esiste nel sistema
IX Operatori 16 schede O-xxx · 4 famiglie · 6 primitivi candidati Vocabolario delle azioni: cosa il sistema sa fare
X Grammatica 19 trasformazioni T-xxx · 7 pattern G-P0x · 3 livelli Sintassi: come si combinano oggetti e azioni
XI Assiomi e Invarianti 9 assiomi A-xxx · 5 invarianti I-xxx · 3 primitivi ipotizzati Semantica profonda: perché il sistema funziona così
XII Specifica formale Integrazione dei precedenti Il modello completo — input per la verifica

Il percorso dal VII al XII replica esattamente la struttura del modello che descrive: si è partiti da osservazioni non interpretate (latenza), si sono identificate le unità fondamentali (differenziazione), si sono catalogate le azioni (generazione), si sono formalizzate le regole (connessione), si sono inferiti i principi profondi (vincolo), si è prodotto il modello integrato (manifestazione). Il metodo ha la stessa struttura dell'oggetto.

Registro IV

Verifica di Coerenza Interna

Il modello è coerente con sé stesso? Tre test.

Test 1 — Gli assiomi generano i pattern grammaticali osservati?

Se A-002 (precedenza ontologica) è vero, allora A-008 (MANIFEST non apre sequenze) deve essere vero — e lo è nel corpus. Se A-001 (conservazione sorgente) è vero, allora il Pattern G-P02 (ricorsione generativa senza consumo) deve essere osservato — e lo è (T-015: 1→7→49). Se A-006 (dominio tipizzato) è vero, allora nessun operatore deve apparire con primitive fuori tipo — e nel corpus non è mai osservato. Test superato.

Test 2 — Gli invarianti sono compatibili con la grammatica?

I-001 (la sorgente si conserva) è compatibile con tutte le trasformazioni di Famiglia C (Generativi): Generate, Generate-Hierarchy, Spin producono senza consumare. I-004 (somma costante = 7) è compatibile con la coppia CONCEAL/MANIFEST: i due operatori sono simmetrici e la loro applicazione preserva il totale. I-005 (Thread invariante) è compatibile con il Pattern G-P05: Thread non è modificato da CLOTHE. Test superato.

Test 3 — Le primitive escluse restano escluse?

Fohat (escluso come primitiva, riclassificato come agente esecutore di operatori) non produce conflitti con il modello: tutti i versi in cui compare Fohat sono spiegabili con gli operatori catalogati (Connect, Separate, Generate-Hierarchy, Harden). Mother/Father (sospesi) compaiono come trigger di EXPAND/CONTRACT e come input di SPIN — compatibili con il modello senza richiedere una nuova scheda. Test superato.

Nota sulla coerenza interna

I tre test sono necessari ma non sufficienti. La coerenza interna dimostra che il modello non si contraddice — non che sia vero. La verifica esterna (Quaderno XIV) su corpus indipendenti è l'unico test di specificità.

Registro V

Previsioni Pre-Registrate per il Quaderno XIII

Scritte prima di leggere analiticamente l'Antropogenesi. Seguendo la Regola 2 del Registro Costituzionale.

Il Quaderno XIII applicherà il modello alle Stanze VIII–XII dell'Antropogenesi. Le previsioni seguenti sono generate dagli assiomi e vanno verificate sul testo prima di qualsiasi adattamento del modello.

P-XIII-01 Conservazione delle primitive da A-001
PrevisioneLe 15 primitive candidate devono essere sufficienti a descrivere le Stanze VIII–XII senza aggiungere più di 2–3 primitive nuove. Se il numero di nuove primitive necessarie supera 5, il catalogo del Quaderno VIII era incompleto.
Soglia di falsificazionePiù di 5 nuove primitive non riducibili a quelle esistenti.
P-XIII-02 Conservazione degli operatori da A-006
PrevisioneI 16 operatori devono essere sufficienti a descrivere le trasformazioni dell'Antropogenesi. La soglia di tolleranza è 3–4 operatori nuovi. Ogni operatore nuovo deve soddisfare i 5 criteri del Quaderno IX.
Soglia di falsificazionePiù di 5 nuovi operatori non riducibili ai 16 esistenti.
P-XIII-03 Life precede Form nell'Antropogenesi da A-002, I-002
PrevisioneNelle Stanze VIII–XII, le forme fisiche delle Razze (Form) dovranno sempre emergere dopo i principi vitali (Life/Spirit). Nessuna Stanza dovrebbe mostrare una forma che precede il suo principio vitale.
Soglia di falsificazioneUna sola occorrenza di Form che precede Life nell'Antropogenesi.
P-XIII-04 Ricorsione gerarchica 1→7 da H-038, Pattern G-P02
PrevisioneLa struttura ricorsiva 1→7 (o variante) deve comparire nell'Antropogenesi con la stessa funzione strutturale osservata nella Cosmogenesi — non come ornamento numerico ma come regola di generazione gerarchica.
Soglia di falsificazioneAssenza totale della progressione 1→7 nell'Antropogenesi, o sua presenza in funzione puramente decorativa.
P-XIII-05 Capacità predittiva del modello da H-056
PrevisioneIl modello deve produrre almeno 10 previsioni verificabili su versetti specifici dell'Antropogenesi ("qui dovrebbe comparire un operatore di tipo X su una primitiva di famiglia Y"). Il tasso di successo deve superare il 60% per essere significativo.
Nota metodologicaQuesta è la previsione più importante. Un modello che non produce previsioni specifiche è una descrizione, non una teoria. Ogni fallimento predittivo va registrato con lo stesso rigore dei successi — Regola 3 del Registro Costituzionale.
Registro VI

Limiti Dichiarati del Modello

Cosa il modello non dice — e perché è importante dichiararlo.

L-001 Il modello lavora sulla traduzione inglese Limite strutturale
DescrizioneOgni primitive, operatore, trasformazione e pattern è stato estratto dal testo inglese pubblicato da HPB nel 1888. Alcune regolarità potrebbero riflettere le scelte stilistiche della traduttrice, non la struttura di un originale.
ImplicazioneIl modello descrive proprietà strutturali del testo inglese che abbiamo. Non implica proprietà di un originale ipotetico. Le inferenze verso il Livello C (ipotesi storiche) restano vietate senza evidenza indipendente.
L-002 Il modello non è verificato sull'Antropogenesi Limite temporaneo
DescrizioneTutte le osservazioni che hanno generato primitive, operatori e assiomi provengono dalle sole Stanze I–VII. Il corpus è la Cosmogenesi — non l'intero Libro di Dzyan.
ImplicazioneIl modello potrebbe essere ottimizzato sulla Cosmogenesi e non funzionare sull'Antropogenesi. La verifica del Quaderno XIII risolverà questa questione.
L-003 Il modello non dice nulla sulla storia del Senzar Limite di scope
DescrizioneIl modello è una proposta strutturale su come il testo è organizzato — non una teoria sull'esistenza storica del Senzar, sulla sua origine, o sulla veridicità delle affermazioni di HPB.
ImplicazioneLe ipotesi di Livello C (Quaderno XI) restano completamente separate dal modello. Un modello strutturale valido è compatibile sia con l'ipotesi che il Senzar esista sia con l'ipotesi che non esista.
L-004 La specificità del modello non è ancora dimostrata Limite critico
DescrizioneUn modello abbastanza flessibile può adattarsi a qualunque testo simbolico complesso. Finché il Quaderno XIV non avrà applicato il modello a corpus di controllo (Rig Veda, Tao Te Ching, Genesi), non è possibile escludere che il modello descriva la poesia cosmogonica in generale, non il Libro di Dzyan in particolare.
ImplicazioneIl modello è provvisoriamente valido come descrizione strutturale. Diventa specificamente interessante solo se il Quaderno XIV mostrerà che si adatta al Dzyan meglio che ai corpus di controllo.
Nota conclusiva — Fine del Piano II

Il Piano II è completato nella sua struttura. Tre assiomi primitivi, 15 primitive, 16 operatori, 19 trasformazioni, 7 pattern, 5 invarianti, 5 previsioni pre-registrate, 4 limiti dichiarati.

Il modello è coerente internamente. Non si contraddice. Spiega le regolarità che ha osservato con il minor numero di assunzioni che è stato possibile trovare.

Ora deve dimostrare di valere qualcosa al di là del corpus che lo ha generato. Questo è il compito del Piano III.

Piano III — Applicare · Continua con Quaderno XIII — Applicazione del Modello all'Antropogenesi
Previsto
← Tutti i Quaderni Rev. 0.1 · Luglio 2026 · Ricerca in corso