Laboratorio de IA Aplicada y Verificación de Sistemas · Gobernanza MCP Acotada

Los modelos lingüísticos redactan borradores; las compuertas deterministas de esquema y la firma humana deciden.

En la arquitectura de Praksis AI Lab, ningún modelo lingüístico ni agente autónomo posee credenciales de escritura directa sobre bases de datos productivas o de campo. Toda tarea atraviesa cinco nodos secuenciales de aislamiento.

Leer especificaciones técnicas (SPEC-01..04)Consulta de verificación IA institucional

◆ Demostración Arquitectónica Aislada (Cero Escrituras en Producción)Esta tubería interactiva ejecuta trazas de auditoría predefinidas en aislamiento para mostrar el funcionamiento de las compuertas deterministas, sin acceso de escritura a las tablas vivas de ColonyOS o Sandras.

Seleccionar Escenario de Auditoría:Inyectar Violación de Esquema / Estado Epistémico

Migración de registros históricos de inspección en el Valle de Osmaniye (AKS: 080000845618) al esquema colonies ≠ hives, garantizando que los conteos de Varroa no medidos por lluvia se conserven como NULL y nunca como 0.

◈ Traza de Auditoría Predefinida · Client-Side Rule Walkthrough (Not a Live Server Execution)

FLUJO NOMINAL — Todas las validaciones de esquema, 5 estados epistémicos y compilador fueron superadas; listo para firma humana en el Nodo 05.

Active la inyección de fallos para observar cómo el Nodo 04 (Verification Gate) bloquea valores no medidos forzados a cero (`NULL → 0`), picos GPS sin cuarentena o desajustes entre los 5 idiomas.

NODO 04 · Responsabilidad del Nodo

Verification Gate

Valida los artefactos candidatos frente a tsc --noEmit, disparadores SQL append-only, reglas epistémicas de 5 estados y paridad de diccionarios en 5 idiomas.

Entradas Aceptadas

Diff candidato del Nodo 03 y carga útil de prueba
Verificador estático de tipos y validadores deterministas SQL/JSON

Artefactos Emitidos

Veredicto determinista PASS / BLOCKED
Diagnóstico detallado de infracciones por campo y línea

Frontera de Seguridad y Credenciales

Cero juicio probabilístico de LLM; ejecuta exclusivamente comprobaciones deterministas de compilador, esquemas y umbrales matemáticos.

Bloquea la tubería (BLOCKED_BY_VERIFICATION_GATE) ante cualquier error de tipos, coerción NULL → 0 o pico GPS SUSPECT sin cuarentena.

Traza de Carga de Auditoría (JSON)Salida Ilustrativa de Esquema (No Firma en Vivo)

{
  "simulation_mode": "PREDEFINED_SCENARIO_TRACE",
  "pipeline": "colonyos-v1-to-v3.2",
  "spec_ref": "SPEC-01 · COLONYOS-V3.2",
  "station_aks": "080000845618",
  "checks": {
    "colony_hive_separated": true,
    "epistemic_states_preserved": ["NULL", "N/A", "UNKNOWN", "SUSPECT", "VERIFIED"],
    "append_only_triggers": "VERIFIED"
  },
  "gate_decision": "READY_FOR_HUMAN_REVIEW"
}

Aclaración: El veredicto y el bloque JSON anteriores son ejemplos estáticos del esquema; este recorrido se ejecuta en el navegador sin mutar ningún estado en producción.