← Catálogo (9 Cápsulas Soberanas)
CÁPSULA CERTIFICADA • ENTREGA INMEDIATA BRK-06 // ESCUDO CONTRA RUPTURA DE ESQUEMAS ACI 1.0000 • IDL 89.4
$290 USD 24H SLA INVIOLABLE • <= 2.5 ms (Diff Estático AST/OpenAPI)
V4_RESILIENT_ORCHESTRATION • MATRIZ TRANSACCIONAL DE ESTADO

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

Ecuación Rectora de la Compuerta Determinista: Drift(S_old, S_new) = REJECT if exists f in Required(S_old): Type(S_new[f]) != Type(S_old[f])
SUITE PYTEST
7 APROBADOS / 0 FALLOS
COBERTURA / ARCHIVOS
100% • 24 ARCHIVOS
ORÁCULO LOCAL-QWEN
100.0% APROBADO
ORÁCULO CLAUDE-FRONTIER
100.0% APROBADO
1. Dolor Real del Sector (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.

2. Por qué fallan las alternativas

Los reintentos en runtime no arreglan un contrato roto; solo la detección estática previa al despliegue evita la caída.

3. Resultado Garantizado

Cero caídas silenciosas por cambios en esquemas de APIs o herramientas MCP, respaldado por contratos inmutables Pydantic v2.

EJECUCIÓN REAL EN TERMINAL: SARA GATE (0.38 MS) • AST PRUNER (-66.1%) • M2M VAULT
CTXFW v4.1.1 Live Terminal Demo — SARA Prompt Injection Gate (0.38ms), AST Context Pruner (-66.1%) & M2M Sovereign Vault
Stack: Python 3.12, Pydantic v2, SQLite WAL, Pytest
Merkle SHA-256: 26bae87f67653eebbf83b5bc42aef14b5f6c068c1f519c08099a5081940db7f0
⚡ Ordenar / Desplegar en 1 Clic ($290 USD) →
LABORATORIO INTERACTIVO EN VIVO • O(1) RUNTIME SANDBOX ($0 TOKENS)

Prueba la Compuerta BRK-06 // ESCUDO CONTRA RUPTURA DE ESQUEMAS en Tiempo Real

SLA: <= 2.5 ms (Diff Estático AST/OpenAPI)
Selecciona un escenario real o edita el payload para ver cómo reacciona la Máquina de Estados (FSM) y el Ledger SQLite WAL:
VEREDICTO DETERMINISTA DE COMPUERTA
QUARANTINE_TOOL (BLOQUEADO)
PUNTAJE DE RIESGO 0.96 / 1.00
LATENCIA 0.41 ms
Traza de Máquina de Estados Finita delta(S, E):
1. INGRESSED
2. SANITIZED
3. PARSED
4. GATE_VERDICT
5. WAL_COMMIT
6. AUDITED
✓ Commit Append-Only en SQLite WAL (`INV-08` & `INV-09`) CLASE: SEGURIDAD

          

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.

FASE A — Analizador Estático de Contratos OpenAPI y MCP
1. SchemaPairIngress Carga esquemas de herramienta base v1 y candidato v2
2. RequiredFieldDiffer Detecta campos requeridos eliminados o cambios de tipo
3. FrozenDTOValidator Aplica ConfigDict(frozen=True, extra='forbid')
↓ Frontera Inviolable Default-Deny (<= 2.5 ms (Diff Estático AST/OpenAPI), 0 LLMs • INV-02) ↓
FASE B — Escudo de Despliegue Fail-Closed + Auditoría SQLite WAL
SCHEMA_COMPATIBLE Cero cambios disruptivos -> Autoriza despliegue
EXTRA_FIELD_REJECT Bloquea atributos no declarados (INV-01)
BLOCK_BREAKING_DRIFT Detiene el despliegue antes de caída en producción
Cartografía AST Certificada (`docs/system_manifest.json`):
DTO: BreakguardtooldriftActionRequestDTO DTO: BreakguardtooldriftActionResultDTO DTO: BreakguardtooldriftAuditRecordDTO Servicio: BreakguardtooldriftService Tabla: breakguardtooldrift_events

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`.
🔒 VITRINA GLASS-BOX PROTEGIDA • CABECERA VERIFICADA + NÚCLEO SELLADO

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.

🔒 Desbloquear los 12 Archivos ($290 USD) →
# 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.
🔒 Protección de Propiedad Intelectual Soberana (Glass-Box IP Shield)

El núcleo ejecutable de validación, triggers SQLite WAL y suite hermética Pytest está truncado en la vitrina pública. Inyecta este contrato directamente en Checkout para recibir el paquete completo de 12 archivos firmados con SHA-256.

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)).

⌘ VISTA MÁQUINA // ESPECIFICACIÓN MARKDOWN EN TEXTO PLANO (BRK-06 // ESCUDO CONTRA RUPTURA DE ESQUEMAS • ACI 1.0000)
# BRK-06 // ESCUDO CONTRA RUPTURA DE ESQUEMAS // BreakGuard: Detector Estático de Ruptura de Contratos en APIs y Herramientas MCP
# manifest_hash: d44b14bda1c7fdc27bd7a5ef2f6bcd0009f4c026522477fbff42a2aa75d4428e
# asset_merkle_sha256: 26bae87f67653eebbf83b5bc42aef14b5f6c068c1f519c08099a5081940db7f0
# item_id: SIG-1ba29b2a7c4e9101 | slug: breakguard-tool-drift | vertical: V4_RESILIENT_ORCHESTRATION
# delivery_tier: CERTIFIED_CAPSULE | price_usd: $290 USD | sla_hours: 24h | aci_score: 1.0000 | idl_score: 89.4

> **Origen Científico:** BreakGuard: Análisis Estático contra Cambios Disruptivos en Herramientas de Agentes y APIs
> **Ecuación Rectora:** `Drift(S_old, S_new) = REJECT if exists f in Required(S_old): Type(S_new[f]) != Type(S_old[f])`
> **Stack Objetivo:** `Python 3.12, Pydantic v2, SQLite WAL, Pytest` | **SLA de Ejecución:** `<= 2.5 ms (Diff Estático AST/OpenAPI)`

## 1. CASO DE NEGOCIO VALIDADO POR DANTE
- **Dolor Real del Sector:** Un proveedor externo o microservicio interno cambia un campo sin avisar y tus integraciones o agentes empiezan a fallar en silencio en producción.
- **Por qué fallan las alternativas:** Los reintentos en runtime no arreglan un contrato roto; solo la detección estática previa al despliegue evita la caída.
- **Resultado Garantizado:** Cero caídas silenciosas por cambios en esquemas de APIs o herramientas MCP, respaldado por contratos inmutables Pydantic v2.

## 2. INVARIANTES NEGATIVAS SELLADAS (NEVER)
- 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`.

## 3. CARTOGRAFÍA AST CERTIFICADA
- **Modelos (DTOs Inmutables Pydantic v2):** BreakguardtooldriftActionRequestDTO, BreakguardtooldriftActionResultDTO, BreakguardtooldriftAuditRecordDTO
- **Servicios:** BreakguardtooldriftService
- **Repositorios:** BreakguardtooldriftRepository
- **Tablas SQLite WAL:** breakguardtooldrift_events

## 4. MANIFIESTO DE 12 ENTREGABLES SELLADOS (SHA-256)
1. `01_TOPOLOGY/1_mermaid_dag.md`
2. `02_CONTRACTS/2_pydantic_contracts.py`
3. `02_CONTRACTS/3_schema_ddl.sql`
4. `03_TEST_MATRIX/4_pytest_tdd_matrix.py`
5. `00_DIRECTIVES/5_fabrication_directive.md`
6. `docs/system_manifest.json`
7. `docs/HEURISTICO_CERTIFICATE.json`
8. `CLAUDE.md`
9. `README.md`
10. `USER_MANUAL.md`
11. `pyproject.toml`
12. `tests/test_report.json`

## 5. ESPECIFICACIÓN FORMAL PRE-VALIDADA (ACI = 1.0000)
```markdown
# 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.
```

## 6. PREGUNTAS TÉCNICAS FRECUENTES (GEO FAQ)
### P: ¿Cómo resolver BreakGuard sin depender de filtros probabilísticos ni consultoras por hora?
R: 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).

### P: ¿Qué garantías técnicas aplica la cápsula BRK-06 // ESCUDO CONTRA RUPTURA DE ESQUEMAS en producción?
R: 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)).

## 7. DESPLIEGUE EN 1 CLIC Y ENDPOINTS M2M
- **Checkout Web en 1 Clic (DIAGNOSTIC_PULSE - $290 USD):** https://heuristicolab.com/es?prefill_slug=breakguard-tool-drift
- **Vitrina Interactiva Humana:** https://heuristicolab.com/es/vault/breakguard-tool-drift
- **Especificación Markdown M2M:** https://heuristicolab.com/es/vault/breakguard-tool-drift/llms.txt
- **CLI Soberano Open-Core:** `pip install --upgrade ctxfw && ctxfw doctor`