El motor Guidedoc¶
Guidedoc es el núcleo de conversión. Toma prestado el almacenamiento del llamador, lee la fuente, construye el árbol semántico, ejecuta pases, mide la salida y emite bytes. No abre archivos ni publica artefactos.
El límite¶
La conversión del núcleo no asigna memoria. El llamador aporta columnas de nodos, texto, diagnósticos y capacidad de salida. El anfitrión puede asignar al preparar esos búferes. Un compilador externo tiene sus propias reglas. La garantía cubre la conversión, no el proceso completo.
El árbol¶
Los nodos tienen identificadores tipados. Las columnas de acceso frecuente contienen clase e intervalo de subárbol; las tablas menos usadas, sus datos específicos. El preorden plano permite saltar un subárbol sin seguir una cadena de punteros en el montón.
Sea \(e_i\) el extremo excluido del subárbol del nodo \(i\). El subárbol ocupa \([i,e_i)\). Una hoja tiene \(e_i=i+1\); un padre termina después de sus descendientes. La prueba del intervalo está en Invariantes antes que algoritmos.
La API¶
La API del núcleo es explícita: inicializar, convertir, inspeccionar y reiniciar. Los registros son valores con descriptores de lectores, pases y renderizadores. No hay descubrimiento de plugins en ejecución ni efectos de registro global. Sus pocos verbos facilitan el uso desde otro programa Odin.
La propiedad es la regla clave. Las vistas del espacio de trabajo caducan al reiniciar o reutilizar. El resultado guardado por el anfitrión debe poseer el texto que sobreviva a la sesión. Las firmas exactas están en core, generado del mismo código Odin que docs/api. El PDF lo integra con enlaces internos. El diseño es GDS 0003 en docs/gds.