Consola SQL
Ejecuta SQL contra el motor soberano
1
HISTORIAL
Sin consultas aún.
Tablas
Selecciona una tabla del explorador
Elige una tabla en el EXPLORADOR para ver su esquema, constraints y una vista previa de datos.
Métricas
Telemetría del motor · auto-refresco 5s
CONSULTAS EN EL TIEMPO
muestreado del cliente · Δ consultas por intervalo
Salud del Motor
Estado, integridad y self-check
—
Esperando conexión con el motor.
VERIFICACIÓN DE INTEGRIDAD
Pulsa "Ejecutar self-check" para validar las tablas.
Auditoría Soberana
Ledger de eventos con prueba criptográfica
Raíz de integridad
prueba criptográfica de no-manipulación
—
Cada evento encadenado al anterior. Alterar uno rompe la raíz.
Roles y Permisos
Gobernanza de acceso (RBAC)
Almacenamiento
Tablas, filas y bytes escritos
Sesiones
Conexiones pgwire vivas
Transacciones
Estado MVCC por conexión
Cifrado
Estado de cifrado en reposo
Vector
Embeddings · vecinos más cercanos
GUARDAR VECTOR
BUSCAR VECINOS
VECTORES EXISTENTES
ÍNDICE VECTORIAL
Búsqueda
Texto completo · score y ranking
INDEXAR DOCUMENTO
BUSCAR
Grafos
Nodos, aristas y recorrido BFS
AGREGAR
RECORRER
Substrato
Átomos LIF y cristales/engramas
CREAR · CONECTAR · ESTIMULAR
Características
Todo lo que el motor soberano puede hacer
Control
Operaciones del dueño sobre el motor
Checkpoint
Vuelca el WAL a segmentos durables. Mantiene el arranque rápido.
Backup en frío
Pausa escrituras un instante, checkpoint y copia consistente a una carpeta con fecha. No borra nada.
Self-check
Verifica que cada tabla cuadre con su contrato.
Log de errores
Limpia el log en vivo (la auditoría NO se toca: es inmutable).
Token del Studio
Rota el token Bearer. El nuevo se muestra UNA sola vez; actualízalo en secrets.env.
PITR / Restauración
Puntos de restauración en el tiempo. Restaurar exige doble confirmación.
Replicación
Estado del clúster y failover manual.
SEHL_REF Adaptado
Referencia del ZIP aplicada como herramientas opcionales de SEHL-DB nativa. No es ley fija del motor.
ESTADO NATIVO
Esperando conexión al motor...
HERRAMIENTAS OPCIONALES
lint-shell <tabla> · diagnostica class_id contra registry opcional.
scaffold-shell <program_id> · imprime plantillas sugeridas.
SDK Python/JS · genera envelope universal SEHL-DB.
Compliance tests · verifican envelope, string_id y _nm.
ARCHIVOS APLICADOS
| Tipo | Ruta | Uso |
|---|---|---|
| Docs | docs/sehl_ref/ | Adaptación del ZIP a SEHL-DB nativa |
| SDK Python | sdk/python/sehldb_client.py | Envelope builder universal |
| SDK JS | sdk/js/sehldb_client.js | Envelope builder universal |
| Proof | proof/sehl_ref/README.md | Prueba de adaptación sin forzar taxonomía |
| Lint | scripts/lint/sehl_ref_lint_smoke.sh | OK/WARN opcional |
| Scaffold | scripts/scaffold/sehldb_semantic_scaffold.sql | Plantilla conceptual |
DOCTOR SERVER
Doctor no ejecutado todavía.
ABOUT SEHL-DB
Version: 0.0.1
Build profile: native-dev
Namespace: SEHLDB
Studio: /opt/sehl-db/studio/index.html
Service: sehl-db.service
DOCTRINA CORRECTA
Core universal: SEHL-DB acepta identidades semánticas universales si cumplen program_id, class_id, string_id y _nm.
Registry opcional: SHELL_FAMILIES ayuda a lint/scaffold, pero no bloquea escrituras válidas.
Namespace interno recomendado: SEHLDB, no PMS, no AISEHL, no SEHL-DB con guion dentro del class_id.
Prueba esperada: una fila compatible da OK; una fila fuera del registry da WARN, no REJECT.
Diagnóstico
Estado · integridad · errores en vivo · telemetría (auto 5s)