Investigador y desarrollador. Trabajo sobre gasto público en Honduras: el objetivo de mi tesis es que cada afirmación pueda comprobarse contra el documento original, no contra un resumen de ese documento.
Triage GCP (privado) — plugin MCP de solo lectura que recupera documentos oficiales y los entrega con su evidencia: SHA-256 del archivo, las páginas como imagen y la procedencia completa (URL de origen, redirecciones, fecha de captura). Sin OCR: una página escaneada se comprueba sobre la imagen renderizada, no sobre texto inferido.
Alrededor de eso:
- Cooperación multiagente sobre Postgres/Neon: leases, presupuestos de ejecución y QA entre agentes que trabajan en paralelo sobre el mismo corpus.
- Pipelines DuckDB / MotherDuck para las tablas canónicas y sus contratos de datos.
- Grafo legal en Notion: normas, artículos y decisiones enlazados, con verificación de que cada nodo activo tenga camino al clasificador.
- Ops: runtime en Lightning Studio, automatización con Playwright, despliegue por olas.
El núcleo es privado. Estos módulos sí son públicos. Logic Power v10 ya tiene repositorio propio; los cuatro restantes todavía viven como ramas dentro de un fork y están pendientes de mover.
| Módulo | Qué hace |
|---|---|
| Logic Power v10 | Lógica de decisión proof-carrying: ante una afirmación indecidible sintetiza el experimento mínimo que la separa, o entrega la obstrucción exacta que demuestra que ningún experimento permitido puede hacerlo. Certificados SHA-256 deterministas, verificador independiente en Node/BigInt, modelo TLA+/TLC y teoremas Lean 4 sin sorry. |
| ARCA | Transporta bytes exactos por canales con pérdida: shards Reed–Solomon sistemáticos, SHA-256 por shard, manifiesto canónico auto-hasheado y raíz Merkle. Sin dependencias. |
| CRONOS | Liga el QA automático al estado exacto que existía al entregar el resultado, y exige el SHA-256 del snapshot como token compare-and-set al finalizar. |
| FORJA | Plano de control: evita el split-brain de una misma identidad, impone presupuestos de ejecución exactos y sella artefactos desde sus bytes reales. |
| LLAVE | Separa capacidad de autorización: tener el permiso no basta si ninguna concesión activa cubre recurso, operación, modo y límites. |
Logic Power v10 es la metodología que gobierna todo lo anterior. Para un conjunto finito de hipótesis y una familia declarada de experimentos, existe un monitor exacto si y sólo si toda pareja de hipótesis con respuestas opuestas queda separada por algún experimento; la equivalencia es exhaustiva, así que cada ejecución termina en una política de experimentos exacta o en una obstrucción con su pareja testigo. IMPOSSIBLE es una respuesta de primera clase: dice que el lenguaje experimental declarado es insuficiente, y la salida correcta es ampliarlo, no estimar. Todo el camino de decisión usa aritmética racional exacta, sin flotantes. El repositorio publica el núcleo verificado, sus verificadores independientes, el modelo TLA+/TLC, los teoremas Lean y dos ejemplos aplicados —decisiones financieras y una compuerta logística de capacidad—, cada uno con su frontera honesta escrita: son finitos, sintéticos y deterministas, y no prueban validez causal en el mundo real ni aptitud para producción.
- Fail-closed. Si la verificación no puede completarse, el resultado se rechaza; no se degrada a una respuesta aproximada.
- «No acreditado» no es «no existe». La ausencia de evidencia se reporta como ausencia de evidencia, nunca como un hecho negativo.
- Hash y página por afirmación. Cada dato apunta al archivo por SHA-256 y a la página donde aparece.
- Determinismo. Misma entrada, misma salida; los manifiestos se sellan desde los bytes reales del artefacto.
Node 22 · Python · DuckDB / MotherDuck · Postgres (Neon) · MCP · Playwright · Lightning Studio · SQL · GitHub Actions
GitHub: @cristh99
Researcher and engineer working on public-spending accountability in Honduras. I build a read-only MCP plugin that recovers original official documents and returns them together with their evidence: file SHA-256, page images and full provenance. No OCR — a scanned page is verified against the rendered image, never against inferred text.
Around it: multi-agent cooperation over Neon Postgres (leases, execution budgets, QA), DuckDB/MotherDuck pipelines for the canonical tables, and a legal graph in Notion.
The core is private. The public modules listed above cover proof-carrying decision logic (Logic Power v10 — an exact experiment policy or an exact obstruction, with deterministic SHA-256 certificates, an independent Node/BigInt verifier, a TLA+/TLC model and Lean 4 theorems with no sorry), verifiable byte transport (ARCA), snapshot-bound QA (CRONOS), an execution control plane (FORJA) and refined authorization leases (LLAVE). Everything is fail-closed: "not accredited" is reported as exactly that, never as "does not exist".