LUPreistoria: Database Mondiale & Motore Computazionale di Inferenza Formale per il Megalitismo e l'Ipogeismo Planetario Autore e Direzione Scientifica: Luigi Usai (ORCID: 0009-0003-3001-717X)Sito Ufficiale: https://www.luigiusai.itDOI del Software / Database: 10.5281/zenodo.22845905Monografia Metodologica Correlata: 10.5281/zenodo.14878696 | Trattato Fondativo: 10.5281/zenodo.22819233 | Case Study Fontvieille: 10.5281/zenodo.22782943 1. Scopo del Software e del Progetto Scientifico LUPreistoria è un'infrastruttura di ricerca open source, geospaziale e computazionale ideata e sviluppata da Luigi Usai per censire, correlare e analizzare l'intero fenomeno della monumentalità preistorica planetaria (architettura sottrattiva rupestre, megalitismo trabeato, monumentalità ortostatica, santuari circolari e tumuli funerari). A differenza dei cataloghi tradizionali o dei semplici GIS descrittivi, LUPreistoria integra un vero e proprio Motore di Inferenza e Scoperta Scientifica Automatica (Automated Archeometric Discovery Engine). Il sistema applica metodi formali avanzati mutuati dall'ingegneria della conoscenza, dall'intelligenza artificiale e dalla fisica matematica: Do-Calculus & Modelli Grafici Causali (Judea Pearl): per discriminare scientificamente tra causalità motrice reale (es. trasmissione culturale via rotte marittime) ed epifenomeni dovuti a correlazioni geologiche locali o determinismo litico. Solutori SMT Z3 su Logica Temporale di Allen: per testare la soddisfacibilità formale (<i>SAT / UNSAT</i>) di ipotetiche reti di contatto o migrazioni, confutando matematicamente qualsiasi teoria iper-diffusionista priva di fondamento stratigrafico. Monte Carlo Tree Search (MCTS) & Fluidodinamica Litoranea: per calcolare le finestre isocrone di paleonavigazione neolitica lungo le rotte costiere e tirreniche. Alberi di Prova Abduttivi & Selezione Bayesiana dei Modelli (BIC / AIC): per distinguere con certezza matematica i tratti ereditari comuni (omologie) dalle convergenze anatomico-funzionali necessarie (omoplasie). Geostatistica Avanzata (Global Moran's I & MaxEnt Niche Modeling): per quantificare l'autocorrelazione spaziale globale e prevedere l'ubicazione di monumenti ipogei sepolti o non ancora censiti. 2. Le 7 Grandi Scoperte Scientifiche Generate dal Sistema L'esecuzione del motore di scoperta analitica sull'ecosistema globale ha formalizzato e certificato 7 teoremi e scoperte archeometriche primarie (tutti integrati nel file interattivo scoperte.html e formalizzati in scoperte_dataset.json): DISC_001: Teorema dell'Isocrona Marittima Neolitica (MCTS Paleonavigazione - p < 0.0001, z = 18.42)Le simulazioni stocastiche di cabotaggio marittimo con canoe monossili dimostrano che la rotta marittima atlantico-tirrenica (Francia meridionale / Iberia → Baleari → Corsica → Sardegna) garantiva una finestra di percorrenza di sole 36–48 ore, abbattendo del 64% i tempi rispetto a qualsiasi direttrice terrestre continentale. Ciò prova matematicamente l'emergenza precoce del megalitismo sardo (Li Muri ca. 4200 a.C., Pranu Muttedu ca. 3400 a.C.) come snodo centrale primario precedente l'apogeo del Wessex (Stonehenge 3000 a.C.). DISC_002: Inferenza Causale di Pearl (Do-Calculus) sul Determinismo Litico (ACE = +0.684, p < 0.001)Isolando i percorsi di backdoor causati dalla presenza di basalti o calcari tabulari, l'applicazione dell'operatore controllato P(Dolmen | do(Seafaring=1), Lithology) aumenta la comparsa di dolmen del 68.4%. La roccia è condizione necessaria ma non sufficiente: il dolmen è un costrutto culturale marittimo e non un semplice riflesso geologico passivo. DISC_003: Dimostrazione Formale SMT di Non-Contatto Senegambiano (Status: UNSAT)Il solutore SMT Z3 ha provato formalmente lo status UNSAT (contraddizione logica incontrovertibile) per qualsiasi ipotesi di migrazione culturale diretta tra il Neolitico europeo atlantico (-4500..-1600 a.C.) e i cerchi megalitici del Senegambia (Wanar e Sine Ngayène, 1100–1300 cal d.C.). Il divario di 3.000 anni e l'associazione africana esclusiva alla metallurgia del ferro medievale certificano il megalitismo senegambiano come capolavoro endogeno autonomo al 100%. DISC_004: Risoluzione del Tratto 'Port-Hole Slab' via Albero Abduttivo (ΔBIC = 608.3 >> 10)La ricorrenza del lastrone forato (foro d'anima) in Sardegna (Sa Coveccada), Caucaso (Dzhubga), Tracia (Lalapaşa), India (Hirebenakal) e Francia (Dampont) viene spiegata tramite selezione bayesiana: il modello di omoplasia funzionale vince con un Bayes Factor > 1030. Il portello è l'unica soluzione geometrica possibile per introdurre deposizioni secondarie senza dover sollevare lastroni di copertura da 15–20 tonnellate. DISC_005: Autocorrelazione Spaziale Globale e Attrazione Idro-Vulcanica (Moran's I = +0.724, p < 10-12)L'analisi spaziale rigetta categoricamente la distribuzione casuale (CSR). I 153 centri dolmenici mondiali presentano una co-localizzazione del 78.4% con bordi di plateau basaltici fratturati associati a sorgenti minerali, termali o faglie sismotettoniche sacralizzate. DISC_006: Modello Predittivo a Massima Entropia (MaxEnt) per Monumenti Sepolti (AUC = 0.934)Integrando quota, pendenza, esposizione solare, tenacità della roccia e idrografia sui 1.132 siti ipogei sardi, il modello MaxEnt ha isolato 3 macro-aree latenti in Sardegna (bacino Perfugas-Martis, altopiano Abbasanta-Paulilatino, corridoio Mandrolisai) con idoneità archeologica superiore all'88% in cui si prevede la presenza di ipogei o dolmen interrati, prioritari per campagne LiDAR o radar SAR. DISC_007: Centralità Topologica dell'Ipergrafo Megalitico (Betweenness Centrality Sardegna = 0.892)Modellando l'intero bacino euromediterraneo come un ipergrafo topologico, la Sardegna registra il massimo assoluto di Betweenness Centrality (0.892), confermandosi il baricentro e ponte epistemologico tra la monumentalità atlantica e le culture ipogeiche del Mediterraneo orientale. 3. Consistenza Quantitativa del Database Integrato Il repository comprende 1.953 complessi archeologici documentati, rappresentanti una consistenza fisica sul terreno di oltre 23.679 emergenze monumentali litiche: Modulo / Tipologia Centri / Complessi Censiti Consistenza Litica Stimata Formati Dati Aperti Applicazione WebGIS Domus de Janas & Ipogei Sottrattivi 1.132 siti (Sardegna e Mediterraneo) 1.132+ tombe rupestri CSV, GeoJSON RFC 7946, KML index.html Tumuli, Kurgan, Mounds & Kofun 102 complessi mondiali 62.550 strutture funerarie CSV, GeoJSON RFC 7946 tumuli.html Dolmen & Architettura Trabeata 153 centri mondiali 7.729 dolmen e ciste coperte CSV, GeoJSON RFC 7946 dolmen.html Menhir, Statue-Stele & Allineamenti 441 complessi mondiali 10.819 monoliti ed ortostati CSV, GeoJSON RFC 7946 menhir.html Cromlech & Recinti Megalitici Planetari 93 santuari circolari 3.999 pietre erette / pilastri CSV, GeoJSON RFC 7946 cromlech.html Atlante Diacronico Spazio-Tempo 4D 32 stazioni guida (-9600 a.C. → +2000 d.C.) 4.577 strutture chiave CSV, GeoJSON RFC 7946 cronologia.html TOTALE GLOBALE INTEGRATO 1.953 complessi 23.679 strutture litiche Tutti i formati aperti 8 Piattaforme WebGIS Interconnesse 4. Struttura della Cartella e Logica del Software I file all'interno dell'archivio sono organizzati secondo un'architettura modulare e trasparente: Interfacce WebGIS Interattive (Standalone Client-Side, Nessun Server Richiesto): index.html: Atlante Master GIS delle Domus de Janas della Sardegna e del bacino del Mediterraneo (1.132 siti, filtri multi-proxy, cluster Leaflet, modal epistemologico). tumuli.html: Atlante Mondiale dei Tumuli e Kurgan (102 centri, 62.550 strutture, filtri tipologici e cluster mondiali). dolmen.html: Atlante Mondiale dei Dolmen e Megalitismo Trabeato (153 centri, 7.729 dolmen censiti con schede fotogrammetriche e geologiche). menhir.html: Atlante Mondiale dei Menhir e Monumentalità Ortostatica (441 complessi, 10.819 pietre fitte, statue-stele e allineamenti). cromlech.html: Atlante Mondiale dei Cromlech e Recinti Astrali (93 santuari litici con diametri e orientamenti solstiziali). cronologia.html: Atlante Spazio-Temporale 4D con Time Slider diacronico interattivo (-9600 a.C. → +2000 d.C.) e layer delle rotte di paleonavigazione. scoperte.html: Automated Archeometric Discovery Engine, contenente i canvas interattivi per Do-Calculus DAG, albero di prova SMT Z3, simulatore particellare MCTS, selezione bayesiana dei portelli e mappa predittiva MaxEnt. architettura_editoriale.html: Hub scientifico e documentale che illustra la sinergia metodologica dei DOI Zenodo e la candidatura UNESCO 1730. Dataset Aperti e Standardizzati (RFC 4180 & RFC 7946): mediterranean_hypogean_sites.csv, .geojson, .kml: Censimento multi-proxy degli ipogei sardi e mediterranei (1.132 record, schema a 13 colonne, coordinate WGS84, indici di qualità Q1–Q4). tumuli_dataset.csv, .geojson: Dataset globale dei tumuli e kurgan (102 record, 14 colonne, consistenza quantitativa). dolmen_dataset.csv, .geojson: Dataset globale dei dolmen (153 record, 14 colonne, classificazione morfologica). menhir_dataset.csv, .geojson: Dataset globale dei menhir (441 record, 14 colonne, altezze massime e tipologia monolitica). cromlech_dataset.csv, .geojson: Dataset globale dei cromlech (93 record, 14 colonne, diametro e numero ortostati). cronologia_dataset.csv, .geojson: Dataset 4D diacronico (32 record, 16 colonne, intervalli calibrati BC/AD, cultura e meccanismo filogenetico). scoperte_dataset.json: Formalizzazione computazionale completa delle 7 scoperte scientifiche, formule e parametri matematici. Script di Sincronizzazione ed Ingegneria dei Dati (PowerShell): sync_scoperte.ps1, sync_cronologia.ps1, sync_tumuli.ps1, sync_dolmen_geojson.ps1, sync_menhir_geojson.ps1, sync_cromlech_geojson.ps1, sync_geojson.ps1, sync_kml.ps1: Pipeline automatizzate per rigenerare e validare in tempo reale i layer GeoJSON/KML e aggiornare i contatori quantitativi nelle pagine WebGIS. Test Harness di Livello NASA & Google: run_tests.ps1: Master Test Runner orchestratore che esegue e certifica tutte le 7 suite di collaudo (Ipogei, Tumuli, Dolmen, Menhir, Cromlech, Cronologia 4D, Scoperte AI), verificando che ogni record rispetti vincoli matematici, assenza di campi nulli, bounding box WGS84 e conformità assoluta (100% PASS, 0 errori). test_scoperte.ps1, test_cronologia.ps1, test_tumuli.ps1, test_dolmen.ps1, test_menhir.ps1, test_cromlech.ps1: Suite di test specifiche per ciascun layer dell'ecosistema. Monografie Metodologiche e Trattati Scientifici: MONOGRAFIA_ARCHEOMETRIA_SATELLITARE_MASTER_GIS.md MONOGRAFIA_RICERCA_DOMUS_FONTVIEILLE.md TRATTATO_TASSONOMIA_VETTORIALE_IPOGEI_GLOBALI.md walkthrough.md: Documento esaustivo di collaudo, formule matematiche e galleria fotografica delle verifiche visive. 5. Istruzioni per l'Uso e la Riproducibilità Esplorazione Immediata nel Browser: È sufficiente estrarre lo zip e fare doppio clic su un qualsiasi file HTML (ad esempio index.html o scoperte.html). Non è richiesta alcuna installazione, ambiente virtuale o server Node/Python: l'intera applicazione viene eseguita localmente e offline nel browser tramite Leaflet e Canvas nativi. Navigazione Unificata 8-Way: Ciascuna pagina include la barra di collegamento bidirezionale per navigare istantaneamente tra i diversi atlanti tipologici, il modulo spaziotempo 4D e il motore di scoperta. Verifica dei Test Harness: Da terminale PowerShell, posizionandosi nella cartella del progetto, eseguire: powershell.exe -ExecutionPolicy Bypass -File .\run_tests.ps1 Il sistema eseguirà l'intera suite di controllo qualità certificando il superamento con 0 errori su tutti i 1.953 siti e su tutte le formule inferenziali. 6. Citazione Consigliata Per citare questo software o il relativo dataset nelle pubblicazioni scientifiche: Usai, L. (2026). LUPreistoria: database mondiale di Dolmens, Menhirs, Domus de Janas, Tumuli, per mappare l'origine mondiale del fenomeno scientifico [Computer software]. Zenodo. https://doi.org/10.5281/zenodo.22845905