feat(episode): DEPURA_fuzzer-listo-brazo-c-del-caso-4-ya_S20260705.R17_XX.ops.2.hot_inf.in.cc.es.000.MGQ_J.PMCFK_E.SGNFD

Skill: NONE | Type: troubleshooting
Summary: EPISODIO 17 — BLINDADAS: Fuzzer listo. Brazo C del caso #4 ya...

episodes/DEPURA_fuzzer-listo-brazo-c-del-caso-4-ya_S20260705.R17_XX.ops.2.hot_inf.in.cc.es.000.MGQ_J.PMCFK_E.SGNFD.md

@@ -0,0 +1,36 @@
+---
+episode_id: "35d0b83a-6eb5-4bfa-a0f6-62a015b1ce90"
+puente_flat: "DEPURA_fuzzer-listo-brazo-c-del-caso-4-ya_S20260705.R17_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: "troubleshooting"
+summary_one_line: "EPISODIO 17 — BLINDADAS: Fuzzer listo. Brazo C del caso #4 ya..."
+source_type: "claude_code"
+trust_boundary: "internal"
+created_at: "2026-07-12T16:16:36.933991+00:00"
+relectura_tagged: false
+forgejo_commit_sha: "pending"
+---
+
+Fuzzer listo. Brazo C del caso #4 ya terminó; espero A y B. Cuando lleguen los tres, corro **oracle curado (30) + fuzz masivo (3000+)** — el fuzz es el juez fino que revelará si A/B tienen los bugs que C cazó. *(Esperando brazos A y B del caso #4.)*
+
+# El clímax del experimento: el caso #4 discriminó — y desmontó la lectura fácil
+
+John, este es el resultado que valida todo el diseño. Commit `430e4db`, push 3/3. ## Por fin una tarea donde el base falla
+
+El caso #4 (reimplementar el mini-lenguaje de `format` a mano — tarea grande, ~200-286 líneas por brazo, el brazo A tardó **18 minutos**) fue el primero donde el base tropezó. Pero solo el **fuzz de 5000 casos** lo reveló; mis 30 curados daban empate. Ground-truth = `format()` nativo, imposible de falsear. | Brazo | Fuzz 5000 |
+|---|---|
+| **A** base 1-pasada | **0.9958** ❌ 21 fallas (`=` + miles + zero-fill: no agrupó los ceros de relleno con comas) |
+| **B** 2ª-pasada genérica | **1.000** ✅ |
+| **C** RELOJERO | **1.000** ✅ |
+
+## El hallazgo que solo el brazo B de control hace visible
+
+**B (segunda pasada genérica) igualó a C (RELOJERO): ambos 1.000.**
+- **C − B = +0.000** → RELOJERO no aportó *nada* sobre revisar una vez. - **B − A = C − A = +0.0042** → lo que recuperó la correctitud fue **pensar dos veces, no el protocolo.**
+
+**Sin el brazo B, el resultado ingenuo (C 1.0 vs A 0.9958) diría "RELOJERO gana" — y sería falso.** Es la segunda pasada, que B logra con menos código (198 vs 286 LOC).