OCT Scientific Style Template v1.0
Template uniforme per la stesura del testo fondativo OCT. Uso: obbligatorio per tutti i capitoli del libro.
1. Metadati di capitolo (header standard)
Titolo capitolo:
Versione:
Data:
Stato: draft | in_review | candidate | frozen
Autore:
Allineato a: TE_CORE v5.1 / OST v2.1 / OCT baseline
2. Struttura fissa del capitolo
Ogni capitolo deve seguire questo ordine:
- Problema
- Tesi del capitolo
- Definizioni canoniche
- Sviluppo formale
- Proposizioni/teoremi locali
- Implicazioni operative
- Limiti e non-claim
- Claim Ledger (
S0-S3) - Bridge al capitolo successivo
3. Registro linguistico (uniforme)
Stile richiesto:
- assertivo ma non enfatico;
- lessico tecnico coerente;
- frasi brevi e disambiguate;
- evitare linguaggio promozionale.
- ortografia italiana completa in UTF-8 (accenti obbligatori:
è,à,ì,ò,ùquando dovuti).
Regole:
- usare "proponiamo", "definiamo", "mostriamo", "limitiamo";
- evitare "proviamo definitivamente" salvo prova completa;
- separare sempre fatti, inferenze, ipotesi;
- ogni claim deve essere tracciabile.
4. Notazione canonica
Notazione minima obbligatoria:
Omega: contesto osservativo;Coh_Omega(D): coerenza del diagrammaDinOmega;Phi_Omega(D): funzione emergente inOmega;Delta_Omega(D) = 1 - Coh_Omega(D);tau: soglia minima di coerenza;DOCT-reale iffCoh_Omega(D) >= tauePhi_Omega(D) != 0.
Regole:
- non introdurre varianti simboliche senza dizionario locale;
- dichiarare dominio/codominio di ogni funzione;
- tipizzare sempre i nuovi operatori.
5. Template per definizioni, proposizioni e teoremi
Definizione:
Definizione X (Nome).
Enunciato formale.
Commento operativo (2-4 righe).
Proposizione:
Proposizione X (Nome).
Enunciato.
Intuizione.
Teorema:
Teorema X (Nome).
Ipotesi:
Tesi:
Proof sketch:
Conseguenze:
Stato: in_proof | revise | validated
6. Politica evidenza (Claim Ledger)
Schema obbligatorio a fine capitolo:
| ID | Claim | Tipo | Evidenza | Stato |
|---|---|---|---|---|
| Cx.y | ... | formale/empirico/interpretativo | S0/S1/S2/S3 | validated/revise/reject |
Definizione sintetica:
S0: dato verificato esterno/replicato;S1: inferenza forte triangolabile;S2: inferenza teorica plausibile ma non chiusa;S3: ipotesi di lavoro.
7. Citazioni e riferimenti
Regole:
- citare sempre fonte primaria quando disponibile (paper, docs ufficiali, dataset DOI);
- riportare DOI/URL persistente dove possibile;
- separare "Riferimenti primari" e "Riferimenti di framework interno";
- evitare riferimenti non verificabili per claim
S0/S1.
Formato bibliografico:
- autore, anno, titolo, venue/editore, DOI/URL.
8. Sezione limiti (obbligatoria)
Checklist minima:
- cosa il capitolo non dimostra;
- ipotesi non testate;
- dipendenze da lavori futuri;
- possibili failure mode.
Regola:
- una teoria presentata senza limiti espliciti e editorialmente incompleta.
9. Box standard riusabili
Box A - Distinzione classico/OCT:
Classico: [definizione]
Limite classico: [limite]
OCT: [estensione]
Box B - Validazione:
Protocollo:
Metrica:
Criterio di accettazione:
Esito atteso:
Box C - Non-claim:
Questo capitolo non implica:
1.
2.
3.
10. Template minimo di capitolo (copia/incolla)
# Capitolo X - [Titolo]
## 1. Problema
## 2. Tesi del capitolo
## 3. Definizioni canoniche
## 4. Sviluppo formale
## 5. Proposizioni e teoremi locali
## 6. Implicazioni operative
## 7. Limiti e non-claim
## 8. Claim Ledger (S0-S3)
## 9. Bridge al Capitolo X+1
## Riferimenti
11. Quality Gate prima del freeze
Un capitolo può passare a candidate solo se:
- notazione coerente al 100% con schema canonico;
- nessun claim senza etichetta evidenza;
- almeno un controesempio o failure mode discusso;
- bibliografia verificata;
- lunghezza entro +/-10% del target parole assegnato.