feat(episode): TRAZA_empezamos-por-la-pieza-que-importa-y-ya_S20260705.R18_XX.ops.2.hot_inf.in.cc.es.000.MGQ_J.PMCFK_E.SGNFD

Skill: NONE | Type: design
Summary: EPISODIO 18 — BLINDADAS: Empezamos por la pieza que importa — y ya tiene dato

episodes/TRAZA_empezamos-por-la-pieza-que-importa-y-ya_S20260705.R18_XX.ops.2.hot_inf.in.cc.es.000.MGQ_J.PMCFK_E.SGNFD.md

@@ -0,0 +1,36 @@
+---
+episode_id: "8644b9ff-b862-4926-a3de-d5f97368ea7d"
+puente_flat: "TRAZA_empezamos-por-la-pieza-que-importa-y-ya_S20260705.R18_XX.ops.2.hot_inf.in.cc.es.000.MGQ_J.PMCFK_E.SGNFD"
+session_code: "S20260705.EVAL_INSTRUMENT_FORGE_SKILL"
+acto_dialogico: "informar"
+actor_flujo: "multi_actor"
+criticidad_aegis: "low"
+skill_dominante: "NONE"
+fase_proyecto: "operations"
+tipo_semantico: "design"
+summary_one_line: "EPISODIO 18 — BLINDADAS: Empezamos por la pieza que importa — y ya tiene dato"
+source_type: "claude_code"
+trust_boundary: "internal"
+created_at: "2026-07-12T15:16:09.938015+00:00"
+relectura_tagged: false
+forgejo_commit_sha: "pending"
+---
+
+# Empezamos por la pieza que importa — y ya tiene dato
+
+Commit `5a5f795`, push 3/3. [evals/ab_lab/relojero_v2/external_oracle.py](evals/ab_lab/relojero_v2/external_oracle.py) + [su verificación](evals/ab_lab/relojero_v2/test_external_oracle.py).
+
+John, de las 6 opciones de RELOJERO-H elegí la única que produce **evidencia** — el Pilar 4, el External Oracle Gate — y lo construí como **código real**, no como plantilla de prompt. Y funciona.
+
+## El dato decisivo (ejecutado, no declarado)
+
+El mismo candidato que "manejó exhaustivamente" 100.000 casos finitos y se declaró verde, **falla en `inf`** en cuanto el oráculo externo prueba los bordes fijos. **Esta es la reconstrucción viva del caso 4b** — y confirma empíricamente la decisión central de RELOJERO-v2: el poder no está en que el modelo verifique más, sino en un **conjunto de bordes que el modelo no elige** y una **referencia que el modelo no escribió**. 5/5 tests verde (Capa A property con Hypothesis + Capa B unit).
+
+## Y otra vez la tesis, en carne propia
+
+El único test que falló primero fue **mi** bug: asumí intervalo cerrado donde el candidato usaba abierto, y **Hypothesis lo cazó** (`x=1e6` exacto). El oráculo caza al modelo; Hypothesis me caza a mí. **Cuarto bug de andamiaje de la investigación, todos atrapados por verificación externa, ninguno por introspección.** El instrumento sigue corrigiendo a su autor — el mejor testimonio de que es real.
+
+## Qué significa esto
+
+- **RELOJERO-v2 ya no es solo diseño.** Su gate mandatorio existe, corre hoy (puro Python, cero dependencias), está testeado, y **está probado sobre el caso que originó toda la investigación.**
+- Es también la respuesta honesta a los diseños externos: ellos proponían DeepEval-como-oráculo (un LLM-juez sobornable); esto es un oráculo determinista insobornable, en ~90 líneas.