{"total_blueprints":9,"last_updated":"2026-10-23T18:26:24.697001+00:00","horizons":{"HORIZON_1":7,"HORIZON_2":2,"HORIZON_3":0},"blueprints":[{"signal_id":"SIG-0d2acf53b92882b0","slug":"sara-action-induction-runtime-auth","title":"SARA: Separating Action Induction from Runtime Authorization in Tool-Augmented LLM Agents","horizon":"HORIZON_2","idl_score":91.25,"summary":"Arquitectura de mediación perimetral que desacopla la inducción de intenciones del LLM de la autorización criptográfica de ejecución en tiempo de ejecución (Runtime Auth), previniendo ataques de Prompt Injection indirecto y secuestro de herramientas (Tool Hijacking).","pain_point":"Los agentes con LLM ejecutan llamadas a herramientas (bash, SQL, APIs) confiando en el plan generado por el modelo, permitiendo inyecciones de comandos cuando procesan datos externos no confiables.","proposed_solution":"Micro-compuerta determinista con tokenización de intenciones (Action Induction), verificación de invariantes mediante Pydantic v2 estricto y auditoría transaccional en SQLite WAL.","target_stack":"Python 3.12, Pydantic v2, SQLite WAL, Pytest","tags":["llm-security","runtime-authorization","tool-augmented-agents","prompt-injection-defense"],"merkle_tree_sha256":"SHA256:01ccaba46208541ed165dae1d73a01572d9df5113aab2f8c4120a5c2d544d01d","certified_by":"Heurístico Lab • Protocol Sentinel","certified_at":"2026-08-31T20:44:58.514313+00:00","status":"CERTIFIED"},{"signal_id":"SIG-1d0a63f087edb904","slug":"claude-rules-compiler","title":"When \"Do Not\" Is Not Deny: Security Rules in CLAUDE.md vs Built-In Controls","horizon":"HORIZON_2","idl_score":91.25,"summary":"Compilador determinista y auditable que convierte reglas de seguridad escritas en lenguaje natural en controles que bloquean antes de actuar, haciendo visible qué reglas siguen dependiendo de la interpretación del modelo.","pain_point":"En `CLAUDE.md`, un \"do not\" es una instrucción en lenguaje natural que el modelo interpreta probabilísticamente; entre el 84% y el 95.6% de las directivas en lenguaje natural en repositorios públicos carecen de controles deterministas equivalentes.","proposed_solution":"Compilación estática de directivas en lenguaje natural a filtros sintácticos AST y guards de tiempo de ejecución de denegación estricta (`PATH_DENY`, `COMMAND_DENY`, `AST_DENY`, `IMPORT_DENY`) con fallo cerrado, persistidos en SQLite WAL con triggers de inmutabilidad.","target_stack":"Python 3.10+, Pydantic v2, SQLite WAL, Pytest","tags":["llm-security","claude-md","rules-compilation","deny-rules","ast-guards","agent-governance"],"merkle_tree_sha256":"SHA256:2aaec9b3754c39270a459aeab995bdd105a65e0d9629e7e74319e6d6bc09ae91","certified_by":"Heurístico Lab • Hermetic Compiler","certified_at":"2026-10-06T22:05:41Z","status":"CERTIFIED"},{"signal_id":"SIG-88f10a94c2e31b08","slug":"mcp-schema-contract-gate","title":"MCPGate: Strict REST-to-MCP Schema Compiler & Token-Bounded Tool Proxy","horizon":"HORIZON_1","idl_score":90.85,"summary":"Compilador determinista que transforma contratos REST/OpenAPI en esquemas de herramientas MCP inmutables con poda de descriptores (-65% tokens) y rechazo fail-closed de parámetros alucinados.","pain_point":"Exponer APIs REST directamente a agentes MCP infla la ventana de contexto con esquemas redundantes y permite llamadas con parámetros alucinados o tipos inválidos.","proposed_solution":"Compuerta estática y proxy en runtime con contratos Pydantic v2 (extra=forbid), compresión determinista de descriptores JSON Schema y bitácora inmutable en SQLite WAL.","target_stack":"Python 3.12, Pydantic v2, SQLite WAL, Pytest","tags":["mcp-gateway","schema-compiler","token-finops","zero-hallucination"],"merkle_tree_sha256":"SHA256:b6efa1357c8ee9937c42682db8d252e85c88cae53dd030ea395073abaa7a3673","certified_by":"Heurístico Lab • Protocol Sentinel","certified_at":"2026-10-25T21:07:28.736912Z","status":"CERTIFIED"},{"signal_id":"SIG-99c42e81b5a07d09","slug":"sqlite-distributed-lock-queue","title":"WalLock: Deterministic Fencing-Token Lock Coordinator & Transactional Outbox Queue","horizon":"HORIZON_1","idl_score":90.6,"summary":"Coordinador de concurrencia determinista sobre SQLite WAL con tokens de esgrima (fencing tokens) monótonos, cola transaccional idempotente y disyuntor fail-closed.","pain_point":"Flujos multi-agente y workers concurrentes sufren condiciones de carrera, ejecución duplicada de webhooks y bloqueos huérfanos cuando un proceso muere a mitad de transacción.","proposed_solution":"Gestor de leases atómicos con fencing tokens estrictamente crecientes, outbox transaccional idempotente y persistencia ACID en SQLite modo WAL sin dependencias externas.","target_stack":"Python 3.12, Pydantic v2, SQLite WAL, Pytest","tags":["distributed-locks","fencing-tokens","sqlite-wal","transactional-outbox"],"merkle_tree_sha256":"SHA256:76049e1ce0982cfa5e746598f72933ed11e481f8bde2b6f22223a100947efc9d","certified_by":"Heurístico Lab • Protocol Sentinel","certified_at":"2026-10-25T21:07:34.602016Z","status":"CERTIFIED"},{"signal_id":"SIG-673052a2a791ec2b","slug":"swe-gate-ci-verifier","title":"SWE-Gate: Passing Functional Tests Is Not Enough for Software Engineering Agents","horizon":"HORIZON_1","idl_score":90.4,"summary":"Compuerta determinista de CI/CD que admite un merge únicamente si los tests funcionales pasaron y el parche cumple las restricciones arquitectónicas de complejidad ciclomática, tipado e imports.","pain_point":"Los parches generados por agentes autónomos se aceptan cuando pasan los tests funcionales, pero el 34.3% de esos parches degrada la arquitectura del código introduciendo `# type: ignore`, importando módulos prohibidos o disparando la complejidad ciclomática.","proposed_solution":"Compuerta de CI determinista en dos fases con fallo cerrado: ingesta validada (`PatchMetadataDTO` + `FunctionalTestResultDTO`), inspección estática sub-5 ms de complejidad ciclomática, `# type: ignore` e imports prohibidos, y registro append-only en SQLite WAL.","target_stack":"Python 3.10+, Pydantic v2, SQLite WAL, Pytest","tags":["ci-gate","patch-review","cyclomatic-complexity","type-ignore","import-policy","coding-agents","append-only-ledger"],"merkle_tree_sha256":"SHA256:11a0c985e0ac5da98553feead48621640f5fb47d78e71e890f54a4ea6453e98a","certified_by":"Heurístico Lab • Hermetic Compiler","certified_at":"2026-10-06T23:55:00Z","status":"CERTIFIED"},{"signal_id":"SIG-728856af9bd65ae0","slug":"tracekit-hash-ledger","title":"Tracekit: Tamper-Evident Intent-Reasoning-Action Auditing for Autonomous Coding Agents","horizon":"HORIZON_1","idl_score":89.55,"summary":"Ledger determinista que convierte la bitácora del agente en una cadena criptográfica verificable donde cualquier edición, borrado, reordenamiento o inserción forjada se detecta en el acto.","pain_point":"Las bitácoras de los agentes autónomos son archivos editables localmente sin encadenamiento criptográfico, impidiendo demostrar integridad forense ante auditorías regulatorias (SOC2, ISO27001).","proposed_solution":"Caja negra criptográfica que encadena por cada paso del agente la tríada Intención-Razonamiento-Acción mediante sellado SHA-256 inyectivo de 283 bytes en un ledger SQLite WAL append-only con cerrojo de manipulación (`tamper_latch`).","target_stack":"Python 3.10+, Pydantic v2, SQLite WAL, Pytest","tags":["tamper-evidence","hash-chain","audit-ledger","coding-agents","forensics","compliance"],"merkle_tree_sha256":"SHA256:5192212d83981b0a47ff8edbb17ba3760a5a940f19aa8a833804d51e6f55ca23","certified_by":"Heurístico Lab • Hermetic Compiler","certified_at":"2026-10-06T23:33:30Z","status":"CERTIFIED"},{"signal_id":"SIG-947678205487bc66","slug":"tokencast-budgeter","title":"TokenCast: Forecasting Token Consumption During LLM Agent Execution","horizon":"HORIZON_1","idl_score":89.55,"summary":"Regulador FinOps preventivo que anticipa el cruce de límites blando y duro antes de que ocurra y deja evidencia auditable e inmutable de cada decisión en SQLite WAL.","pain_point":"Las ejecuciones agénticas descubren el agotamiento de presupuesto de forma reactiva cuando la sesión ya consumió el límite de tokens sin podar contexto.","proposed_solution":"Pronosticador autorregresivo en matemática entera y Decimal que proyecta el consumo acumulado a H turnos en < 5 ms y opera un disyuntor de tres estados (`CONTINUE`, `FORCE_D3_PRUNING`, `EMERGENCY_HALT`) con cerrojo en SQLite WAL.","target_stack":"Python 3.10+, Pydantic v2, SQLite WAL, Pytest","tags":["finops","token-forecasting","circuit-breaker","agent-budgeting","llm-agents","fail-closed"],"merkle_tree_sha256":"SHA256:67dc80c44b74b06e39025f9a729d447432641d46278ba9b07ef7c7165058c51c","certified_by":"Heurístico Lab • Hermetic Compiler","certified_at":"2026-10-06T23:16:30Z","status":"CERTIFIED"},{"signal_id":"SIG-1ba29b2a7c4e9101","slug":"breakguard-tool-drift","title":"BreakGuard: Static Analysis for Agent Tool Breaking Changes","horizon":"HORIZON_1","idl_score":89.4,"summary":"Detección estática de breaking changes en schemas de tools OpenAPI/MCP para evitar caídas silenciosas en agentes autónomos.","pain_point":"Cambios silenciosos en esquemas JSON/OpenAPI de herramientas MCP provocan fallos en cascada en agentes en producción.","proposed_solution":"Diferenciador estructural determinista de contratos JSON/MCP en tiempo de CI/CD con bloqueo pre-despliegue y registro inmutable en SQLite WAL.","target_stack":"Python 3.12, Pydantic v2, SQLite WAL, Pytest","tags":["sovereign-os","ddd","pydantic-v2"],"merkle_tree_sha256":"SHA256:26bae87f67653eebbf83b5bc42aef14b5f6c068c1f519c08099a5081940db7f0","certified_by":"Heurístico Lab • Protocol Sentinel","certified_at":"2026-08-31T20:58:20.925253+00:00","status":"CERTIFIED"},{"signal_id":"SIG-fd6fc168c4a11029","slug":"symtrace-symbolic-tracing","title":"SymTrace: Symbolic Execution & Contract Drift Tracer for Autonomous Microservices","horizon":"HORIZON_1","idl_score":88.5,"summary":"Motor de trazado simbólico y detección de deriva de contratos para microservicios soberanos, validando invariantes de tipo y límites de memoria en tiempo de diseño y runtime.","pain_point":"Deriva silenciosa en esquemas de datos distribuidos que rompe la interoperabilidad inter-agente.","proposed_solution":"Árbol de pruebas simbólicas y atestación de esquemas con Merkle Root SHA-256.","target_stack":"Python 3.12, Pydantic v2, SQLite WAL, Pytest","tags":["symbolic-execution","contract-drift","ast-analysis"],"merkle_tree_sha256":"SHA256:309c319dc2d0c315836fe3e7dadc6f9c779931e9c97d58d91cd3f75d7a7799a9","certified_by":"Heurístico Lab • Protocol Sentinel","certified_at":"2026-08-31T20:45:22.717793+00:00","status":"CERTIFIED"}]}