# E-027 — Un plan ignorado permitió evidencia autorreferencial

- Fecha: 2026-08-03
- Estado: falso `pass` de observabilidad confirmado y corregido.

En una ronda de discovery, el plan real quedó bajo un path ignorado. La superficie sólo vio `.gitignore` preexistente y `oguard.contract.json`; este último acreditó el KR que declaraba. `align` devolvió `pass` sin observar el entregable ni los supuestos que el plan afirmaba.

La corrección incorpora tres fronteras deterministas: `scope-unobservable` cuando un glob sólo resuelve archivos ignorados, exclusión de bookkeeping como evidencia de KR y snapshot de paths ya sucios al abrir la ronda. Además, una ronda discovery puede exigir un ledger de supuestos con evidencia local verificable. El ledger no demuestra semántica de negocio ni ejecuta comandos arbitrarios: pide una fuente comprobable y, si corresponde, un check ya declarado.

Esto no prueba que Objective Guard descubra contradicciones como C1/C2/C3. Hace explícito cuándo todavía no puede evaluar el entregable ni sus afirmaciones, evitando presentar esa ausencia como alineación.