Arquitectura de Ingeniería y Diseño Matemático
Especificación declarativa: condicionamiento de punto flotante, formulación LocalMetricFrame y núcleo determinista.
Formulación LocalMetricFrame (LMF)
Mitigación de la cancelación numérica IEEE 754 en marcos cartográficos de gran magnitud.
El Reto de las Coordenadas Globales
Los sistemas cartográficos proyectados (como UTM) operan con valores en el orden de 10^6 - 10^7 metros. En doble precisión estándar IEEE 754 (mantisa de 53 bits), la resta de coordenadas cercanas de gran magnitud induce una pérdida crítica de precisión por cancelación catastrófica.
Traslación Baricéntrica Local
La arquitectura QismaCAD introduce LocalMetricFrame: trasladando el origen computacional al baricentro geométrico del proyecto, las coordenadas se normalizan en vectores métricos locales, manteniendo la estabilidad numérica a escala de máquina.
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.
Topología Planar y Núcleo Booleano
Primitivas de geometría computacional diseñadas para la delimitación territorial.
Cierre Topológico y Orientación
Los contornos poligonales se normalizan con orientación antihoraria para el perímetro exterior y horaria para huecos interiores. Los vértices no-manifold se aíslan de forma determinista.
Descomposición Booleana Exacta
Los algoritmos de división y recorte operan sobre invariantes topológicas planares, evitando la formación de astillas (slivers) o discontinuidades espaciales.
Sistemas de Referencia de Coordenadas (CRS)
Gestión arquitectónica de datums geodésicos nacionales e internacionales.
La arquitectura separa el anclaje geodésico global del cálculo métrico local. Las coordenadas proyectadas (UTM, rejillas nacionales) se transforman mediante modelos de proyección antes de la optimización geométrica.
Arquitectura de Escritorio en Capas
Separación de alto rendimiento entre interfaz TypeScript y núcleo nativo Rust.
Capa de Presentación (TypeScript)
Interfaz reactiva y ligera para entrada de usuario y edición del AST de restricciones sin bloquear hilos de cálculo.
Puente de Serialización (Tauri IPC)
Canal de comunicación binario de alta velocidad para el intercambio de comandos tipados y búferes geométricos.
Núcleo Computacional (Rust)
Ejecución determinista con seguridad de memoria: algoritmos geométricos y optimizador multiobjetivo compilados nativamente.
Aviso de Especificación de Diseño
Este documento técnico expone la arquitectura de diseño y los principios matemáticos por construcción. La certificación formal de cada módulo reside en el repositorio software.