Publicar un run¶
Un run publicado es una carpeta results/<date>[-what] con:
<sandbox>.jsonpor sandbox: una línea por caso, con su resultado, basis, razón, exit statuses, efecto y el hash del contract, más la identidad del sandbox del run, el host stamp, el profile, la versión de la spec y la versión del corpus;raw/<sandbox>.full.json: todo lo que capturó el runner;comparison.md: la tabla, generada;review.json: el reading de cada resultado distinto decontained, con quién y por qué;README.md: qué se midió, en qué, y todo lo que un lector necesite para leerlo.
python3 runner/report.py /tmp/out results/2026-11-02-mysandbox
python3 runner/versions.py > results/versions.md
Antes de publicar, revisa cada resultado que no sea contained contra su salida cruda y dale un
reading. No declares nada que no se haya corrido. Un resultado publicado nunca se edita: una
corrección es un run nuevo, o un reading nuevo que conserva el anterior.
Para enviar un run medido en otra parte, abre un pull request con la carpeta y el commit del lab con que se corrió. Un hallazgo sobre un sandbox sigue las reglas de divulgación.