Architettura Ingegneristica e Design Matematico
Specifica dichiarativa di sistema: condizionamento numerico floating-point, formulazione LocalMetricFrame e core nativo deterministico.
Formulazione LocalMetricFrame (LMF)
Mitigazione della cancellazione numerica IEEE 754 sui sistemi di riferimento cartografici ad elevata magnitudo.
La Criticità delle Coordinate Globali
I sistemi di coordinate cartografiche proiettate (quali UTM o Gauss-Boaga) operano con valori scalari nell'ordine di 10^6 - 10^7 metri. Nella rappresentazione standard a virgola mobile a doppia precisione IEEE 754 (mantissa a 53 bit), la sottrazione tra coordinate vicine ad elevata magnitudo induce grave cancellazione numerica (catastrophic cancellation), erodendo bit critici di precisione metrica.
Traslazione Baricentrica Locale
L'architettura QismaCAD adotta il LocalMetricFrame: traslando l'origine di calcolo nel baricentro geometrico del poligono di progetto, le coordinate vengono normalizzate in vettori metrici locali a valori contenuti, preservando la stabilità numerica entro l'epsilon macchina.
P_local = R(theta) * (P_global - P_origin) Where P_origin is the geometric centroid anchor and R(theta) is the optional boundary orientation tensor.
Topologia Piana e Core Booleano
Primitive di geometria computazionale progettate per la delimitazione territoriale.
Chiusura Topologica e Orientamento
I confini poligonali vengono normalizzati con orientamento antiorario per il perimetro esterno e orario per eventuali fori interni. I vertici non-manifold vengono isolati in modo deterministico.
Decomposizione Booleana Esatta
Gli algoritmi di partizione e clipping operano su invarianti topologiche piane, prevenendo la formazione di micro-fessure (slivers) o discontinuità spaziali.
Sistemi di Riferimento delle Coordinate (CRS)
Gestione architetturale dei datum geodetici nazionali e internazionali.
L'architettura separa rigorosamente l'ancoraggio geodetico globale dal calcolo metrico locale. Le coordinate proiettate (UTM, Gauss-Boaga, griglie catastali) vengono trasformate tramite modelli di proiezione diretta/inversa prima dell'ottimizzazione geometrica.
Architettura Desktop a Strati
Separazione ad alte prestazioni tra UI TypeScript e core nativo Rust.
Livello di Presentazione (TypeScript)
Interfaccia reattiva e leggera per l'input utente, lo styling visivo e la composizione dell'AST dei vincoli senza bloccare i thread di calcolo.
Bridge di Serializzazione (Tauri IPC)
Canale di comunicazione seriale binario ad alta velocità per lo scambio di comandi tipizzati e buffer geometrici tra frontend e motore nativo.
Core Computazionale (Rust)
Esecuzione deterministica e memory-safe: algoritmi geometrici, triangolazione Delaunay e ottimizzatore multi-obiettivo compilati nativamente.
Avvertenza di Specifica Ingegneristica
Il presente documento espone l'architettura di design e i principi matematici per costruzione. La verifica formale dei singoli moduli risiede nel repository software QismaCAD.