Computable Structuralism: A Categorical Rewrite Calculus of Mythic Variants

Resumen Técnico: Estructuralismo Computable

Planteamiento del Problema
El análisis comparativo de mitos y narrativas enfrenta una tensión metodológica entre dos impulsos: la insistencia en que el significado es local y dependiente del contexto (condiciones sociales, rituales e históricas) y la visión estructuralista de que las narrativas son comparables mediante transformaciones sistemáticas (sustituciones, inversiones, intercambios de roles). Si bien la antropología estructural (p. ej., Lévi-Strauss) estableció que los mitos funcionan como sistemas de transformación, la analítica cultural contemporánea requiere métodos que sean lo suficientemente explícitos como para ser reproducibles, contestables y escalables. Los enfoques actuales suelen depender de métricas basadas en la semejanza (p. ej., traslape de motivos, similitud de embeddings) que cuantifican la proximidad pero no logran expresar un "transporte de ley" bajo restricciones operativas explícitas. El artículo identifica una brecha en la operacionalización de la transformación lévi-straussiana: no existe un marco formal que convierta la transformación estructural en matemáticas permaneciendo legible como análisis narrativo y capaz de contener restricciones falsables.

Metodología
Los autores proponen un marco formal que modela las narrativas como programas de reescritura tipados que actúan sobre un estado de dos registros acoplados $(X, Y)$.

1. Configuración de Dos Registros ($Z = (X, Y)$):

   • Registro X (Cotidiano/Social): Rastrea agentes, instituciones, restricciones de supervivencia, conflictos políticos y condiciones materiales.
   • Registro Y (Simbólico/Legitimación): Rastrea la ley, el tabú, la profecía, el pacto, el ritual, las restricciones morales y el orden cosmológico.
     El modelo postula que las transformaciones en $X$ son consecuentes solo cuando son reconocidas o autorizadas en $Y$, y que las disrupciones en $Y$ son reales solo cuando reorganizan a $X$.

2. Esquema de Codificación:
   Cada narrativa se codifica en un esquema funcional de cuatro ranuras $(a, b, x, y)$:

   • $a$: Agente focal (portador de la transformación).
   • $b$: Fuerza opuesta/perturbadora (antagonista, caos, institución).
   • $x$: Mediador que permite la transformación (herramienta, pacto, ayudante).
   • $y$: Orden de restricción/legitimación (ley, tabú, regla).

3. Políticas de Actualización y Transformación Natural:
   El marco define dos políticas de actualización sistemática (endofuntores) sobre las configuraciones:

   • Política Directa ($U$): Las actualizaciones preservan los roles de los registros (el mediador sigue siendo mediador; la restricción sigue siendo restricción).
   • Política Canónica ($V$): Implementa un movimiento estructurado de intercambio + inversión (p. ej., una restricción se convierte en objeto de conflicto; un conflicto se reencuadra como una restricción).
   • Condición de Coherencia: Una transformación canónica se define como la existencia de una transformación natural $\eta: U \Rightarrow V$. Para un transporte $h$ propuesto entre variantes, el diagrama debe conmutar: $V(h) \circ \eta_Z = \eta_{Z'} \circ U(h)$.
   • Falsabilidad: Si la ecuación de naturalidad falla, diagnostica un error específico: una mala especificación de la oposición, un transporte de operador ilegal o una asignación de registro incorrecta. Esto convierte el análisis estructural en una "verificación de tipos" orientada al corpus.

4. Sensibilidad al Contexto:
   El contexto se internaliza mediante la elección de operadores estructurados. Los operadores de reescritura y las reglas de transporte admisibles son específicos de familias narrativas (p. ej., cuentos de hadas frente a franquicias). Esto evita el colapso de "todo mapea con todo" al hacer que los transportes de operadores específicos sean ilegales si violan el contexto declarado.

5. Invariante de Firma de Orden (Clave):
   Para dar cuenta de los efectos de orden secuencial (p. ej., cruces de tricksters, bucles temporales) donde "intercambiar y luego invertir" $\neq$ "invertir y luego intercambiar", cada narrativa recibe una Clave (arquetipos A–E). Estas claves resumen los efectos de orden utilizando arquetipos de trenzado (braid archetypes) e invariantes computables, sirviendo como una huella estructural compacta.

Corpus y Diseño Experimental
El estudio utiliza un corpus estratificado de 80 narrativas dividido equitativamente en cuatro familias de medios:

• 20 Cuentos de hadas (p. ej., Cenicienta, Caperucita Roja)
• 20 Mitos religiosos (p. ej., Adán y Eva, Noé)
• 20 Narrativas de superhéroes (p. ej., Batman, Spider-Man)
• 20 Franquicias (p. ej., Star Wars, Harry Potter)

El diseño está balanceado para evitar el dominio de un género y asegurar que el método sea transitable entre medios. Una auditoría de codificación de dos pasadas sobre un subconjunto ($n=20$) demostró una alta confiabilidad inter-evaluador ($\kappa = 0.95$ para $x$ e $y$), con desacuerdos concentrados en el límite $x/y$ (mediador vs. restricción), que es precisamente lo que el modelo aborda.

Resultados Clave

1. Coherencia Operacional: El marco modela con éxito las narrativas como reescrituras tipadas. La condición de naturalidad sirve como herramienta de diagnóstico; en un ejemplo trabajado (Caperucita Roja), un error de tipado plausible (cambiar el rol del cazador de mediador $x$ a restricción $y$) causó una falla de naturalidad, localizando la incoherencia estructural.
2. Prevalencia de Restricciones: En 59/80 (74%) de las narrativas, el registro $y$ nombra explícitamente una restricción normativa (ley, tabú, contrato, profecía). Esto respalda la validez de la abstracción de dos registros.
3. Estabilidad Transmedia: Los roles funcionales $(a, b, x, y)$ siguen siendo inteligibles a través de los medios. Aunque las realizaciones difieren (p. ej., "Corte Real" en cuentos de hadas frente a "Ley de Registro" en superhéroes), la función estructural de $y$ como un sistema de restricción persiste.
4. Sensibilidad de la Clave: Una micro-prueba ($n=10$) mostró que las Claves son estables bajo una normalización conservadora (8/10 casos) pero cambian bajo pruebas de estrés de "peor escenario" (intercambiar $x$ y $y$), confirmando que el invariante es sensible a la lógica estructural específica de la narrativa.
5. Tipología de Restricciones: El análisis del registro $y$ revela distintas "firmas de tipo de restricción" a través de los corpus (p. ej., Superhéroes/Franquicias tienden hacia restricciones legales/institucionales; Mitos Religiosos hacia restricciones divinas/cósmicas).

Significancia y Reivindicaciones
El artículo afirma proporcionar un puente testeable entre la antropología estructural y la analítica cultural. Sus principales contribuciones son:

• Formalización: Convierte la transformación canónica de Lévi-Strauss en una condición de coherencia testeable (transformación natural) en lugar de una plantilla laxa.
• Operacionalización: Desplaza la comparación de la "semejanza" al "transporte de ley", haciendo que las afirmaciones estructurales sean explícitas, transportables y refutables.
• Poder Diagnóstico: Los fallos en el modelo no son defectos, sino diagnósticos que localizan exactamente dónde ha colapsado un análisis (p. ej., confundir un mediador con una restricción).
• Interpretabilidad: El marco mantiene la interpretabilidad para la lectura cercana (vía el esquema $a, b, x, y$ y las Claves) al tiempo que permite la computación a nivel de corpus.

Los autores declaran explícitamente que esto es un conjunto de demostración de operacionalización, no una afirmación sobre la prevalencia narrativa global. El marco está diseñado para hacer que las afirmaciones de transformación sean explícitas y contestables, separando lo que es codificado, lo que es inferido y lo que es testeado. Se identifica como trabajo futuro la extensión de la codificación desde resúmenes de un solo paso hacia grafos de nivel de episodio y la publicación de un paquete de replicación.