wyrm-math es un motor de álgebra simbólica escrito en TypeScript puro, sin dependencias y sin acceso al DOM, lo que permite ejecutarlo en Node, navegadores, workers o webviews nativas. Su objetivo es servir como núcleo de interfaces de matemáticas manipulativas: aplicaciones en las que el usuario resuelve ecuaciones arrastrando términos, expandiendo potencias o extrayendo factores comunes, y en las que cada gesto debe corresponderse con una transformación algebraicamente válida.
La invariante central del proyecto es que todo movimiento legal es posible y todo movimiento ilegal resulta imposible. Las ecuaciones nunca se validan de forma estática: solo se transforman mediante reglas de reescritura, de modo que cada estado alcanzable es correcto por construcción. Cuando una operación solo es válida bajo una condición —como dividir por b, que exige b ≠ 0— o puede introducir soluciones espurias —como elevar al cuadrado ambos lados—, esa condición se convierte en una Assumption de primera clase que acompaña a la ecuación durante toda la derivación.
El motor ofrece una API pública organizada en diez bloques documentados: árboles de expresión con identificadores estables, aritmética exacta con racionales sobre bigint, evaluación exacta de relaciones, análisis e impresión con propiedad de round-trip, juicios con asunciones descargables, un sistema de reglas con derivaciones en árbol, cerca de 25 reglas integradas (ecuaciones lineales, distribución, fracciones, leyes de exponentes, desigualdades y cuadráticas), enumeración de movimientos legales con anclajes gestuales, geometría de layout independiente del contexto y un conjunto de herramientas para que terceros escriban sus propias reglas. El proyecto se distribuye bajo licencia MIT y utiliza pnpm junto a vitest y fast-check para ejecutar pruebas, entre ellas pruebas de propiedades que verifican que cada regla respeta el conjunto de soluciones bajo sus asunciones. La app Wyrm Math para iOS y Android consume este motor y constituye su modelo de sostenibilidad.