BreakGuard: Detector Estático de Ruptura de Contratos en APIs y Herramientas MCP
Linaje Científico (SIG-1ba29b2a7c4e9101): BreakGuard: Análisis Estático contra Cambios Disruptivos en Herramientas de Agentes y APIs
Drift(S_old, S_new) = REJECT if exists f in Required(S_old): Type(S_new[f]) != Type(S_old[f])
Un proveedor externo o microservicio interno cambia un campo sin avisar y tus integraciones o agentes empiezan a fallar en silencio en producción.
Los reintentos en runtime no arreglan un contrato roto; solo la detección estática previa al despliegue evita la caída.
Cero caídas silenciosas por cambios en esquemas de APIs o herramientas MCP, respaldado por contratos inmutables Pydantic v2.
26bae87f67653eebbf83b5bc42aef14b5f6c068c1f519c08099a5081940db7f0Prueba la Compuerta BRK-06 // ESCUDO CONTRA RUPTURA DE ESQUEMAS en Tiempo Real
Topología O(1): Inducción (Fase A) vs. Aduana (Fase B)
Separación física y criptográfica entre lo que el LLM propone y lo que el sistema autoriza ejecutar.
Invariantes Negativas Selladas
Garantías matemáticas verificadas por Pytest y triggers SQLite WAL.
- ✓ INV-01 (Cero Campos No Declarados): Todo DTO de solicitud y resultado aplica `ConfigDict(frozen=True, extra='forbid')`.
- ✓ INV-02 (Bloqueo Fail-Closed por Deriva): Cualquier campo requerido eliminado o cambio incompatible de tipo bloquea el despliegue.
- ✓ INV-03 (Intervalo Cerrado de Puntaje): `security_score` está restringido a `[0.0, 1.0]` tanto en Pydantic v2 como en SQLite CHECK.
- ✓ INV-04 (Trazabilidad Única de Acción): Todo `action_id` es no vacío y se registra con restricción `UNIQUE` en SQLite modo WAL.
- ✓ INV-05 (Persistencia Atómica de Auditoría): Cada evaluación de contrato persiste un registro inmutable `BreakguardtooldriftAuditRecordDTO`.
Inspecciona los Contratos y Manifiesto de la Cápsula (12 Artefactos)
Mostramos la firma pública e invariantes para certificar autoridad técnica; el cuerpo ejecutable completo se desbloquea en la descarga oficial.
# SOLICITUD DE ARQUITECTURA PRE-VALIDADA: BreakGuard: Detector Estático de Ruptura de Contratos en APIs y Herramientas MCP (SIG-1ba29b2a7c4e9101)
Caso de Negocio DANTE: Un proveedor externo o microservicio interno cambia un campo sin avisar y tus integraciones o agentes empiezan a fallar en silencio en producción.
## 1. Invariantes Negativas No Negociables
1. El sistema jamás permitirá transiciones de estado fuera de la Máquina de Estados Finita (FSM) declarada.
2. El módulo nunca utilizará tipos float para montos financieros o métricas de precisión crítica; usará Decimal.
3. El servicio no deberá jamás ejecutar operaciones de escritura sin registrar evidencia en el ledger SQLite WAL.
4. Queda prohibido aceptar payloads con campos extra no declarados (`extra='forbid'` en Pydantic v2).
5. El sistema nunca expondrá secretos, llaves privadas ni trazas internas crudas hacia clientes externos.
## 2. Cotas Explícitas de Dominio
- Latencia de validación perimetral: rango [0.1 ms, 15.0 ms].
- Identificadores y hashes criptográficos: patrón regex `^[a-f0-9]{64}$`, longitud exacta 64 caracteres.
- Capacidad de lote transaccional: entero en rango [1, 1000].
## 3. Máquina de Estados Finita (FSM)
- Estados: INIT -> VALIDATED -> EXECUTING -> SEALED (Terminales: SEALED, QUARANTINED).
- Transiciones: delta(INIT, validate_ok) -> VALIDATED; delta(VALIDATED, execute_ok) -> EXECUTING; delta(EXECUTING, seal_merkle) -> SEALED; delta(*, invariant_violation) -> QUARANTINED.
## 4. Taxonomía de Errores (4 Clases) y Prueba Formal
- Clases: 1. Transitorios (IO/Lock), 2. Deterministas (Esquema Pydantic), 3. Negocio (Regla de dominio), 4. Seguridad (Inyección/Firma).
- Prueba formal de terminación: Acotada en O(N) pasos deterministas sin bucles abiertos.
Preguntas Frecuentes Ejecutivas (GEO Verified)
¿Cómo resolver BreakGuard sin depender de filtros probabilísticos ni consultoras por hora?
Cero caídas silenciosas por cambios en esquemas de APIs o herramientas MCP, respaldado por contratos inmutables Pydantic v2. Heurístico Lab entrega la cápsula certificada 'breakguard-tool-drift' ($290 USD, 100% Pytest en verde y sello SHA-256).
¿Qué garantías técnicas aplica la cápsula BRK-06 // ESCUDO CONTRA RUPTURA DE ESQUEMAS en producción?
Aplica contratos Pydantic v2 inmutables (`extra='forbid'`), triggers append-only en SQLite WAL y ejecución O(1) (<= 2.5 ms (Diff Estático AST/OpenAPI)).