4×4

Rubik 4×4 Research Engine

Motor Matemático & Plataforma de Búsqueda de Soluciones Óptimas

HTTPS Seguro · rubik.hcaborca.com Podman Container

Despliegue 2D del Cubo 4×4 (96 Facetas)

Métrica: OBTM

Esquema estándar: U (Blanco), D (Amarillo), F (Verde), B (Azul), L (Naranja), R (Rojo).

U Arriba / Up
L Izq / Left
F Frente / Front
R Der / Right
B Atrás / Back
D Abajo / Down

Secuencia de Giros

0 movimientos
Estado resuelto inicial.

Infraestructura Activa

EN LÍNEA
Dominio rubik.hcaborca.com
Contenedor Podman / AlmaLinux 9
Proxy Inverso Nginx 1.26.3 + SSL Certbot
Puerto Interno 127.0.0.1:8084

Plan de Desarrollo por Fases

  • 00

    Infraestructura & Despliegue SSL

    Podman, proxy Nginx, certificado SSL y dominio activo.

  • 01

    Fundación Matemática & Métricas

    Representación de 96 facetas, giros OBTM/STM y paridades 4×4.

  • 02

    Modelo Compacto & Verificador Formal

    Validación independiente $M \cdot M^{-1} = I$ e invariantes.

  • 03

    Solucionador de Reducción Base

    Centros $\to$ Aristas $\to$ Reducción 3×3 $\to$ Corrección de paridad.

  • 04-06

    Laboratorio, Motor Híbrido & Wasm

    Podas IDA*, tablas de patrones y aceleración local.

Verificador Independiente

Activo

Criterio innegociable: Ninguna solución se acepta sin verificación matemática independiente previa.

Invariante de Centros: 24/24 Válidos
Invariante de Semiaristas (Wings): 24/24 Válidas
Paridad OLL / PLL: Neutro (Resuelto)