Una respuesta del modelo, una ejecución exitosa y un objetivo cumplido son afirmaciones distintas. Comal guarda su procedencia para que puedas separarlas.

## Consultas que ayudan

```text
/house
/audit
/operations
/board
```

| Vista | Qué permite inspeccionar |
| --- | --- |
| `/house` | Recibos, rechazos, ejecuciones abiertas y disposiciones |
| `/audit` | Consistencia del libro y evidencia de ejecución registrada |
| `/operations` | Contratos, esquemas, audiencias y efectos declarados |
| `/board` | Tareas, criterios, estado y comprobaciones registradas |

## Alcance antes que confianza

Un recibo de Write puede comprobar que el archivo observado coincide con los bytes solicitados. Eso no prueba que el programa satisfaga cualquier necesidad humana. Un informe visual es un análisis del proveedor, no una inspección independiente de otro actor.

El éxito del ejecutor puede declarar `scope:house_execution` y `asked:unjudged`. La evaluación de `/goal` usa evidencia y una opinión del modelo marcada como advisory. Un payload con `verified:true` no fabrica un recibo oficial.

## Comprobaciones declaradas

El tablero puede guardar aserciones sobre salida: no vacía, contiene, no contiene o igualdad JSON. El cierre verifica los criterios declarados y su vigencia respecto de artefactos observados.

Una coincidencia textual en un archivo no equivale a ejecutar su comportamiento. Si el problema aparece en un navegador, observa DOM, consola o red en el target real. Si es visual, incorpora una captura y un modelo capaz de analizarla.

## Recuperar sin repetir

Después de una interrupción, consulta los recibos antes de volver a pedir un efecto. EvidenceRead recupera páginas de evidencia; no vuelve a ejecutar la operación que las produjo.

El journal tiene una cadena local de hashes. Aporta trazabilidad; no es una firma externa ni protege contra quien controla el sistema operativo y puede reescribir todo el libro.