Skip to content
Henry Rincón

The showcase · Technical sheet

  • Sealed
  • Sealed on 2026-08-22
  • paper 3
  • 4 sprints
  • v1.21
  • Data as of 2026-09-06

Harness Paper Computacional

Si no está en el ledger, no está en el paper.

  • Claude Science
  • litkit
  • Ledger Parquet append-only
  • Contrato L2 en YAML
  • Pyomo + HiGHS
  • OR-Tools CP-SAT
  • LaTeX con biblatex
  • Markdown con frontmatter

What nobody else does

Ningún número llega al paper sin existir antes como fila del ledger; y la prueba de que el harness es declarativo es un comando: tras tres papers de clases distintas, el diff de las fases y del contrato sigue saliendo vacío.

  • 3

    Papers listos para publicar

    measured
  • 4.171

    Horas de agente del tercer paper

    measured
  • 0

    Campos nuevos del contrato en tres papers

    measured
  • 44

    Criterios binarios de verificación

    measured
  • 224

    Horas liberadas en el año 1 (estimadas)

    estimate
01

Who it's for, and what it solves

The person before the technology.

Who it's for

Para el investigador que produce papers computacionales de Investigación de Operaciones y quiere sostener una agenda de siete al año. Hoy los números nacen en un sitio, se grafican en otro y se escriben en un tercero: a los tres años nadie puede reconstruir de dónde salió cada cifra. Y un paper le cuesta unas cuarenta horas y meses de calendario, así que la agenda no se atrasa: no ocurre.

The promise

El paper deja de ser un documento que se escribe y pasa a ser una corrida que se ejecuta: una configuración declara el dominio, el pipeline encadena diez fases y cuatro tokens verbales separan lo reversible de lo que ya no lo es. Cada figura es una función del ledger, así que la procedencia no se documenta: se vuelve difícil de romper. Tres papers salieron así: el tercero, en 4,171 h de agente.

02

How it works

The process in BPMN: one lane per actor, the decision where it is made, and the loop in plain sight.

UNA CORRIDA DE PAPER COMPUTACIONALEL AUTOR ·INVESTIGADOREL HARNESS ·EN SU RUNTIMELITKIT ·FUENTES DELITERATURACONTROLESMECÁNICOSEL AUTOR ·INVESTIGADOREL HARNESS ·EN SU RUNTIMELITKIT ·FUENTES DELITERATURACONTROLESMECÁNICOSEL AUTOR ·INVESTIGADOREL HARNESS ·EN SU RUNTIMELITKIT ·FUENTES DELITERATURACONTROLESMECÁNICOSsí · tokenno · corrigesí · tokenno · reformulasí · tokenno · reescribesí · listono · re-ejecutaAABBCCNuevo paper enla agendaDeclara preguntas,parámetros ysemillasValida el contrato:si falta un campo,se detiene1P0 framing y lintde no divulgación¿Aprueba?P1 corpus: cadaobra verificada enla fuenteP2 modelo formal,antes de gastarcómputo¿Modelo ok?P3 a P5: todonúmero entra alledger2P6 y P7: figurasdel ledger ymanuscrito¿Va la voz?P8: revisor, citasy kernel fresco3¿Sin críticos?45
  1. El harness nunca rellena contenido de dominio: una configuración incompleta falla al cargar, no se completa con un valor por defecto.
  2. Si no está en el ledger, no puede estar en el paper: cero números editados a mano en figuras, tablas o manuscrito.
  3. La reproducción corre en kernel fresco: si las figuras no se regeneran idénticas, hay estado oculto y el paper no cierra.
  4. Los hallazgos críticos no son dispensables. Un preprint no se retira: sin este token no hay envío, jamás.
  5. Publicar es una fase latente aparte: solo arranca con su propio token del autor, meses después si hace falta.

Scroll sideways to see the whole process.

Process declared by the app itself in its export.

03

What it has

8 groups · 42 features.

  • El pipeline declarativo

    10 features

    De la pregunta de investigación al preprint: diez fases con entradas, salidas y criterios de aceptación.

  • La escalera de gates

    4 features

    Cuatro puntos de control con token verbal; el de revisión es recurrente, antes de cada envío.

  • El contrato con cada paper

    3 features

    Esquema, plantilla y validación del paper.yaml: la frontera entre proceso y contenido de dominio.

  • Plantillas de artefactos

    13 features

    Lo que cada paper llena: framing, posicionamiento, modelo, diseño experimental, ledger, figuras, revisión.

  • Lint de no divulgación

    1 features

    Verificación binaria de lista negra y regla de sustentación, en la primera fase y en la última.

  • Cápsulas de fallo

    4 features

    Qué hacer cuando el ledger se invalida, el lint falla, la reproducción se rompe o no hay benchmark.

  • Memoria del programa

    3 features

    Lecciones, una fila por paper con horas y tokens, y las decisiones de agenda con su evidencia.

  • Contexto por capas

    4 features

    Negocio, producto, técnica y entrega: lo que el agente necesita saber antes de la primera fase.

04

Limits, and what it never does

What it chose not to be counts as much as what it is.

Limits, on purpose

  • Produce papers computacionales de Investigación de Operaciones; no es un asistente de escritura general ni cubre trabajo de campo con personas.
  • La fachada de literatura da acceso a metadatos: no lee PDFs, no criba intelectualmente ni redacta. Ese juicio es del harness y del autor.
  • El entorno donde se fabrica el harness no ejecuta ninguna fase de paper: la separación entre fabricar y operar es de permisos, no de intención.
  • La razón 5:1 del retorno es declarada sobre el paper más básico, no medida: se verifica contra el segundo o el tercer paper, nunca contra el piloto.

Never

  • Envía a un servidor de preprints: el acto irreversible lo ejecuta el autor, con su token, y nunca el agente.
  • Edita un número a mano en una figura, una tabla o el manuscrito: todo sale del ledger o no existe.
  • Rellena una pregunta de investigación, un parámetro o una referencia que la configuración del paper no declaró.
  • Menciona el ecosistema del autor ni su maquinaria en el manuscrito o los metadatos: un lint binario lo verifica dos veces.
  • Cita un resultado que no esté en el ledger, ni una obra que no haya pasado verificación estructurada.
05

Where it stands

The pinned version, not real time.

  1. paper 3cycle
  2. 4work-items cerrados
  3. 2026-08-22sealed (testing gate)
  4. v1.21repo version
  5. 14decisiones registradas

Shown here; not handed over.