Siru en Simusol · Documentación · Manual

Contrato de intento y confirmación de pasos

Estado del 2026-10-06: Siru::Paso cubre IntegradorGLM y el conductor compartido Integrador (RK/PGLM/ROS). Se conserva la política numérica de cada familia; se comparten aislamiento, límites y norma de error. El avance M1–M3 y lo pendiente figuran en PLAN_CAPACIDADES_MOTOR.md.

Inventario de las interfaces actuales

Objeto y ciclo de vida

Secuencia normal: listo → evaluando → pendiente → aceptar/descartar → listo. Si falla la evaluación o la validación del candidato, se restaura el proveedor cuando corresponde y se propaga el error. No se decide automáticamente que una excepción permita reducir el paso.

El estado y los metadatos admiten árboles de hashes, arreglos y escalares. Se rechazan ciclos, objetos, funciones y referencias de otros tipos: una sesión de Calcula no se puede copiar como si fuera memoria numérica. Los valores físicos y su finitud los valida el motor, como ya hacía GLM; la transacción valida estructura y aislamiento, no las ecuaciones.

Ejemplo esquemático, con un proveedor de evaluaciones independientes:

my $paso = Siru::Paso->preparar(
    proveedor => 'independiente',
    estado => { t => 0, memoria => [{ x => 1 }], numero_paso => 0 },
);
my $candidato = $paso->intentar_paso(sub {
    my ($base) = @_;
    # El motor calcula y valida una instantanea completa a partir de $base.
    return { estado => $nueva_instantanea, error => $error_estimado };
});
if ($candidato->{error} <= 1) {
    my $confirmado = $paso->aceptar_paso;
    # Publicar salidas/callbacks de aceptacion desde $confirmado.
} else {
    $paso->descartar_intento;
}

El controlador decide si acepta, qué error tolera y qué paso propone. No hay un estimador universal: RK, GLM y ROS aportan el suyo. ControlPaso comparte únicamente validación, norma ponderada y cálculo limitado del paso siguiente.

Proveedores y efectos externos

• Los callbacks de guardar/restaurar deben lanzar una excepción si fallan; su valor de retorno no es un código booleano de éxito. Guardar devuelve la instantánea del proveedor.
• Si guardar falla, no se ejecuta el motor y se bloquea la transacción: no existe un respaldo fiable. Si restaurar falla, tampoco se permite otro intento ni un reinicio que oculte el fallo. El diagnóstico conserva el error original y el de restauración.
• Aceptar conserva el estado que dejó el proveedor; en este primer contrato no hay callback externo de confirmación que pueda fallar a mitad del commit.
• reiniciar reemplaza solo la instantánea del integrador. El llamador debe establecer previamente el modelo/proveedor y sus condiciones consistentes; no habilita por sí mismo cambios de topología.
• La transacción no revierte archivos, mensajes, procesos ni efectos arbitrarios de closures. El motor no debe publicar salidas ni ejecutar callbacks de aceptación durante el intento.
• Un timeout, EOF o respuesta fuera de secuencia obliga al conductor a abandonar la sesión; la política independiente no significa que una conexión rota se pueda reutilizar. GLM sigue abortando ante fallos de consulta: solo reintenta por error temporal excesivo. RK conserva los rescates de SOLVER FAILURE, pero ni el intento sin semilla ni la subdivisión pueden ocultar un fallo fatal nuevo.
• Las comparaciones de una rama no dejan el proveedor en un punto ajeno al candidato aceptado. Si falla guardar/restaurar una rama, la transacción queda bloqueada; no se intenta disimularlo con otra restauración o un paso menor.

Calcula dinámico

Se verificó en machine.c que SEMILLAS e ITER se restauran después de intentar_punto, tanto si converge como si falla. modulodinamico_plus.c inicializa cada pedido desde las semillas del .din, salvo las explícitas de ese pedido. GLM no envía semillas heredadas y declara ese proveedor independiente.

tests/paso_calcula.t comprueba el contrato con el sistema x*x=a, con semilla positiva: una consulta con semilla negativa produce la raíz negativa, se descarta y la siguiente vuelve a la positiva. También provoca una falla con semilla negativa e ITER=1 y comprueba que la consulta siguiente vuelve a resolver, en el mismo proceso y sin heredar esas opciones. Esto no promete pureza para cualquier módulo externo o función con efectos laterales: un proveedor distinto debe justificar su política.

Migración GLM

La instantánea contiene:

• Tiempo confirmado y número de paso.
• Anillo físico con estados, tiempos y pasos, más su cursor.
• Memoria externa GLM, conservando las derivadas sin escalar como antes.
• Quiebres pendientes, retorno a la grilla y contador de rearranques.

La selección del tamaño del paso, el consumo de quiebres, el cálculo de coeficientes, la consulta y la validación se ejecutan sobre el candidato. Solo después de validar también la memoria se confirma. La salida se escribe después de aceptar; un fallo de escritura sigue abortando la publicación del archivo completo, no deshaciendo un paso numérico ya aceptado.

Se mantienen los cuatro IDs, sus fórmulas, el último paso desigual y los rearranques alrededor de quiebres. El anillo físico usa Siru::Historia y puede tener capacidad distinta de la dimensión de memoria externa GLM. En adaptación, cada comparación trabaja con copias independientes de ambas historias: ni una mitad de prueba ni un intento rechazado llegan al confirmado. El estimador y sus límites se describen en GLM_CONTRATO.md; no habilita listas ni .mdin.

Conductor compartido RK/PGLM/ROS

La transacción no copia una sesión ni restaura por sí sola una topología. GLM sigue sin admitir cambios de modelo/topología; reiniciar es una operación de memoria, no un resolvedor de consistencia.

Pruebas y alcance del cierre

Comandos desde siru:

prove -Ilib tests/paso.t tests/paso_glm.t tests/paso_calcula.t
prove -Ilib tests/*.t

Verificación histórica del primer bloque (2026-10-04): 106 comprobaciones nuevas y 1087 en 32 archivos de la suite completa. Las pruebas con Calcula declaran omisión si no está compilado; en las verificaciones de esta ampliación se ejecutaron. La verificación actual se registra en el ChangeLog.

Continuación

SPLIT usa el conductor transaccional compartido: cada subflujo recibe una copia del estado del anterior, pero sólo se confirma la composición completa. Un fallo no publica estados parciales ni avanza el reloj. Los costos de consultas/subavances se conservan aun si falla el intento. El alcance inicial es fijo y autónomo; no agrega rechazo adaptativo ni eventos entre subflujos. Ver tests/split_nucleo.t y tests/split.t.

1. Definir reinicio completo por modelo/topología antes de habilitar esos cambios en GLM. El reemplazo de una instantánea no calcula estados consistentes.
2. Ampliar historia y estimadores para otros órdenes y representaciones, sin cambiar las fórmulas ya verificadas.
3. Añadir servicios numéricos solo con capacidades explícitas; EVAL/SENS1 y LU densa no son una interfaz DAE/dispersa general.
4. Continuar por M4 (particiones/subflujos declarados), conservando este contrato y sus pruebas.