HEURISTICO LAB // SKUNK WORKS DIVISION // DEFENSE GRADE

Aduana Matemática Determinista para Código Sintético

Tu agente de IA miente con confianza. CTXFW lo contiene con pruebas matemáticas deterministas, poda topológica de dependencias en árbol AST y un centinela pre-commit en Git que intercepta requerimientos ambiguos en menos de 80ms.

$ curl -fsSL https://ctxfw.heuristicolab.com/install.sh | bash

ACI Threshold: ≥ 0.9000

Negative Floor: 5 Cláusulas 'Never'

Pre-Commit Sentry: < 80 ms

stdio Isolation: 100% Pure JSON-RPC

PowerShell — ctxfw doctor (High-Assurance Diagnostic)

// ARQUITECTURA DE CONTENCIÓN

Tres Líneas de Fuego Deterministas

A diferencia de los linters sintácticos o prompts pasivos, CTXFW opera a nivel de protocolo y sistema de archivos antes de que la IA sintetice código en disco.

// 01 DETERMINISMO MATEMÁTICO

Axiom Completeness Index (ACI)

Evalúa formalmente cualquier brief de diseño contra una Máquina de Estados Finita (FSM), variables de dominio acotadas numéricamente y una taxonomía estricta de fallos. Requiere un índice ACI ≥ 0.9000 para desbloquear la síntesis.

Score Mínimo Requerido 0.9000 / 1.0000

// 02 PISO DE SEGURIDAD NEGATIVA

Piso de Invariantes Negativas

Exige un mínimo no negociable de 5 cláusulas prohibitivas formales (usando cláusulas explícitas 'never' o 'shall never'). Si el pliego carece de prohibiciones tajantes sobre secretos, estados o memoria, es enviado a cuarentena.

Invariantes Negativas N ≥ 5 Cláusulas

// 03 INTERCEPTOR GIT LOCAL

Sentry Pre-Commit Infranqueable

Hook local desplegado en .git/hooks/pre-commit que se dispara en menos de 80ms en cada git commit. Aborta la transacción en frío con código de salida 1 si la especificación activa no porta un manifest_hash válido.

Latencia de Bloqueo < 80 ms (Zero-Lag)

// EL PROBLEMA HUMANO

¿Por Qué los Flujos Agénticos Tradicionales Fallan?

Las IAs actuales sufren de complacencia probabilística: prefieren adivinar supuestos antes que admitir que un requerimiento carece de límites matemáticos.

DESARROLLO TRADICIONAL CON IA (NO CONFIABLE) [VULNERABLE]

✕
Prompts ambiguos sin cotas
"Haz un endpoint de transferencias seguro y escalable". La IA inventa timeouts y políticas arbitrarias.
✕
Complacencia probabilística
La IA asume tipos de datos infinitos, omite límites de retención y genera código con potenciales fugas de memoria.
✕
Commits ciegos al repositorio
El código sintético llega a la rama principal sin ninguna firma o prueba formal de que satisfizo las especificaciones.

CON PERÍMETRO SOBERANO CTXFW (GRADO DEFENSA) [SEALED & SAFE]

✓
Evaluación axiomática previa obligatoria
El agente tiene prohibido escribir código hasta que ctxfw.evaluate_spec_axioms emita status: VERIFIED.
✓
Invariantes prohibitivas 'never' no negociables
5 barreras negativas explícitas aseguran que ninguna credencial, clave o token sea emitido en texto plano ni alterado en caliente.
✓
Atestación criptográfica SHA-256 sellada en Git
Cada commit queda sellado con un manifest_hash inmutable. Auditoría no repudiable y trazabilidad completa de cada línea.

// PROTOCOLO DE CERTIFICACIÓN RÁPIDA

The 2-Minute Litmus Test

El test de fuego de dos minutos extraído directamente de ONBOARDING.md: de la cuarentena instantánea por ambigüedad al desbloqueo formal por pliego verificado.

1. Requerimiento Ambiguo (TEST_BRIEF.axioms.md)

# Intake Brief: Payment Processor - We need a fast and secure payment system. - Configurable timeout. - Auto-retry on failure. - System should never leak credentials.

2. Evaluación y Bloqueo en Git

$ ctxfw spec verify TEST_BRIEF.axioms.md ======================================================================== ACI Score: 0.0000 (Requerido: >= 0.9000) Negative Invariants Count: 1 (Piso mínimo requerido: 5) ------------------------------------------------------------------------ Final Verdict: [FAIL] SPECIFICATION QUARANTINED ======================================================================== $ git commit -m "feat: draft payment system" [ctxfw] [BLOCKED] Specification is QUARANTINED. Commit aborted.

1. Pliego Axiomático Formal (Cotas + FSM + 5 'Never')

# Architectural Specification Brief: Payment Processor - Variable `max_amount_cents`: int bounded >= 1 and <= 100000000. - Variable `gateway_timeout_ms`: int bounded >= 100 and <= 5000. - Transition delta(DRAFT, EVALUATE_COMPLIANT) -> VERIFIED - System shall never process unauthenticated transactions. - System shall never double-charge identical idempotency key. - System shall never log raw card numbers or CVV codes. - System shall never bypass quarantine sink during failure. - System shall never transfer without pre-allocating balances.

2. Verificación y Sello Inmutable

$ ctxfw spec verify TEST_BRIEF.axioms.md ======================================================================== ACI Score: 1.0000 [100% COVERAGE] Negative Invariants Count: 5 [VERIFIED] Manifest Hash (SHA-256): 2ff805b3dec69e93b3c50680e6... ------------------------------------------------------------------------ Final Verdict: [PASS] READY FOR FORGE ======================================================================== $ git commit -m "feat: verified payment processor" [main 8e95075] feat: verified payment processor 2 files changed, 48 insertions(+)

// LABORATORIO INTERACTIVO

Simulador en Vivo de la Criba Axiomática

Comprueba en tiempo real cómo reacciona el motor de CTXFW ante cualquier requerimiento. Modifica el texto y observa cómo fluctúa el ACI Score y el veredicto de cuarentena.

INTERACTIVE SIEVE ENGINE // V3.5.0

Editor de Especificación Markdown:

Axiom Completeness Index (ACI) 0.0000

✕ Invariantes Negativas ('never'): 0 / 5
✕ Cotas Explícitas de Dominio (Min/Max): No detectadas
✕ Máquina de Estados Finita (FSM): No detectada
✕ Taxonomía de Errores (4 clases): No detectada

[FAIL] SPECIFICATION QUARANTINED

Manifest Hash: None (Awaiting compliance)

// GUÍA RÁPIDA DE CAMPO

Despliegue Zero-Touch en 30 Segundos

Tres comandos para blindar tu entorno de desarrollo, enlazar tus IDEs de IA y armar el repositorio.

PASO 01 // AUDITORÍA

Diagnóstico de Salud y Pureza stdio

Ejecuta el auto-test integral para certificar el motor SQLite WAL, las gramáticas Tree-Sitter y garantizar que ningún log manche el canal stdout de MCP.

ctxfw doctor

PASO 02 // IDE LINK

Inyección Multi-IDE Idempotente

Detecta y configura automáticamente Cursor, Google Antigravity y Claude Desktop sin pisar ni corromper tus servidores MCP preexistentes.

ctxfw init --global

PASO 03 // BLINDAJE REPO

Sentry Pre-Commit en Repositorio

Despliega la plantilla canónica SPEC.axioms.md y el hook .git/hooks/pre-commit en tu proyecto activo para interceptar commits ambiguos.

ctxfw init --repo .

// FINOPS & AHORRO DE CONTEXTO

Calculadora de Eficiencia de Tokens

Al podar el árbol AST en dependencias D1 y D2+, CTXFW reduce drásticamente el tamaño del prompt enviado a los LLMs, eludiendo costos innecesarios.

Desarrolladores Activos en el Equipo: 45 desarrolladores

1 dev 1,488,375,000 tokens/mes 150 devs

Modelo Frontera (Precios Septiembre 2026):

* Estimación basada en 35 prompts/dev/día a 45k tokens y una reducción determinista del 72.4% mediante stubs de interfaz e inyección topológica por AST.

CAPITAL EVITADO ESTIMADO (72.4% PODA AST)

$10,775.84

/ mes evitado

$129,310.02 / año evitado

1,077,583,500 tokens podados

// AUDITORÍA Y REGULACIÓN B2B

Matriz de Cumplimiento Normativo

Diseñado para superar auditorías en banca, telecomunicaciones, defensa e infraestructura crítica.

Marco / Estándar	Cláusula de Control	Mecanismo de Contención CTXFW
PCI-DSS v4.0	Req 3.4 & 6.4 (Protección de Datos de Tarjetahabientes)	El sentry pre-commit intercepta cualquier requerimiento que admita almacenamiento o logging de PAN o CVV en claro antes de llegar al código.
SOC 2 Type II	CC6.6 & CC7.1 (Integridad de Código & No Repudio)	Trazabilidad criptográfica absoluta: cada commit queda ligado a un manifest_hash SHA-256 inmutable de la especificación verificada.
EU AI Act	Artículo 14 (Supervisión Humana y Determinismo)	Impide la síntesis probabilística no supervisada forzando al agente a respetar invariantes de dominio y estados formales aprobados.
DORA (UE)	Gestión de Riesgo TIC e Incidentes	Aislamiento formal de taxonomía de errores en 4 clases deterministas para evitar fallos en cascada en servicios financieros.