ember-memory-test/episodes/TRAZA_1-ncleo-r1r2r3-preservado-intacto-en-v10_S20260520.R64_XX.ops.2.hot_inf.in.cc.es.000.MGQ_J.PMCFK_E.SGNFD.md

episode_id	puente_flat	session_code	acto_dialogico	actor_flujo	criticidad_aegis	skill_dominante	fase_proyecto	tipo_semantico	summary_one_line	source_type	trust_boundary	created_at	relectura_tagged	forgejo_commit_sha
86128702-8269-4cad-9894-ae1143967887	TRAZA_1-ncleo-r1r2r3-preservado-intacto-en-v10_S20260520.R64_XX.ops.2.hot_inf.in.cc.es.000.MGQ_J.PMCFK_E.SGNFD	S20260520.RELOJERO_PATCH_SOTA_2026	informar	multi_actor	low	NONE	operations	troubleshooting	EPISODIO 64 — MNEMO_PRE_DIGEST: 1. **Núcleo R1+R2+R3** preservado intacto en v1.0.1 y...	claude_code	internal	2026-05-22T02:00:22.774043+00:00	false	pending

1. Núcleo R1+R2+R3 preservado intacto en v1.0.1 y v1.1.0
   • R1: contrato I/O explícito ANTES de código (Pydantic v2 / Zod / serde Rust)
   • R2: descomposición en micro-mecanismos ≤40 líneas hard cap / ≤20 lógica pura + patrón canónico identificado
   • R3: auto-verificación triple capa (Hypothesis property-based + pytest unit + mutmut mutation testing)
2. 6 anti-patrones canónicos RELOJ-AP1..AP6 declarados con síntomas + fix
3. Dominio de validez explícito — §1.5.1 tabla 15 problemas SI/PARCIAL/NO + §1.5.2 tabla 7 modelos con confidence numérico
4. Spectrum 5 niveles de rigor — convención (1/10) → mypy (4/10) → Pydantic/Zod default (6/10) → refinement types (8/10) → dependent types con prover (10/10)
5. 5 características observables §3.3 del comportamiento esperado (caveat OMEGA-2 distingue observable vs mecanismo causal interno)
6. Triple capa de verificación A+B+C con confidence scores declarados (Capa A property-based 0.95 + Capa B unit tests 0.90 + Capa C mutation testing >80% score)
7. Stack relojero por dominio — 5 lenguajes con herramientas específicas (Python: Pydantic + Hypothesis + mutmut + LangGraph · TypeScript: Zod + fast-check + Stryker · Rust: serde + Proptest + cargo-mutants · Java/Kotlin: jqwik + PIT · Go: gopter + go-mutesting)
8. 3 mecanismos extendidos v1.1.0 ya implementados (status experimental_during_dogfooding):
   • REFLEXION 4-ASK §11.1 — sub-protocolo 4 preguntas cuando capa A falla (threshold N≤3 antes de escalar a John)
   • SIX-CRIT METAVERIFICACIÓN §11.2 — capa L5 metaverificación periódica con 6 criterios (completitud + ejecutabilidad + optimalidad + representación + generalización + eficiencia)
   • TRAZA RELOJERA §11.3 — output canónico estructurado intra-tarea (plantilla Unicode bordes dobles ╔═╗║╚═╝)
9. Multi-agent frameworks awareness §1.3.1 — LangGraph + AutoGen/AG2 + CrewAI + MetaGPT mencionados como contexto
10. Process Reward Models §4.4.1 — Math-Shepherd + ThinkPRM + Survey 2025 + R-PRM citados
11. Caveat anti-benchmark-gaming §5.2.1 — Berkeley RDI April 2026 con 4 evidencias + 4 salvaguardas declaradas
12. ANEXO A ampliado — 4 citas académicas (Robotouille + METR + DeepSeek-R1 + Snell 2024 Test-Time Compute Scaling) + política mantenimiento periódico URLs cada 6 meses
13. Skill on-demand skills/relojero/CLAUDE.md v1.0 — SENTINEL CERTIFIED 100/100, integraciones declaradas con FORJA Module R + CRISOL GATE-C1 + FORENSE + SCIENTIA + OMEGA-2 + AEGIS