feat(episode): BACKFILL_q-26bf3dfa-22e3-554c-8e44-05793c20ffd0_S20260425.INST40220_XX.bkf.0.warm_qdr.orphan.in.cc.es.000.BKF_J.55F4A_E.215-2

Skill: NONE | Type: chronicle
Summary: [TESSERA S20260425.INST40220.R1] | sesion=S20260425.INST40220 turno=R1 tipo=assi

episodes/BACKFILL_q-26bf3dfa-22e3-554c-8e44-05793c20ffd0_S20260425.INST40220_XX.bkf.0.warm_qdr.orphan.in.cc.es.000.BKF_J.55F4A_E.215-2.md

@@ -0,0 +1,53 @@
+---
+episode_id: "55f4a215-2bc8-50ac-b2cd-5d492d542ca3"
+puente_flat: "BACKFILL_q-26bf3dfa-22e3-554c-8e44-05793c20ffd0_S20260425.INST40220_XX.bkf.0.warm_qdr.orphan.in.cc.es.000.BKF_J.55F4A_E.215-2"
+session_code: "S20260425.INST40220"
+acto_dialogico: "informar"
+actor_flujo: "ember_internal"
+criticidad_aegis: "moderate"
+skill_dominante: "NONE"
+fase_proyecto: "maintenance"
+tipo_semantico: "chronicle"
+summary_one_line: "[TESSERA S20260425.INST40220.R1] | sesion=S20260425.INST40220 turno=R1 tipo=assistant | dominio=code modo=ejecución emocion=frustración | hora=00:10  ## 📚 Lote nuevo absorbido — 6 archivos  ### CRISOL"
+source_type: "claude_code"
+trust_boundary: "default"
+created_at: "2026-04-26T00:10:24.304969+00:00"
+relectura_tagged: false
+forgejo_commit_sha: "pending"
+---
+
+[TESSERA S20260425.INST40220.R1] | sesion=S20260425.INST40220 turno=R1 tipo=assistant | dominio=code modo=ejecución emocion=frustración | hora=00:10
+
+## 📚 Lote nuevo absorbido — 6 archivos
+
+### CRISOL spec completa (ZIP `crisol_f1.zip` — 5 archivos `.md` que forman un sistema coherente cargado por `SKILL.md` en pasos secuenciales)
+
+| Archivo | Boot step | Contenido nuclear |
+|---------|-----------|-------------------|
+| `operating-modes.md` | 1 | **7 modos**: M1 generate · M2 refactor · M3 arch-review · M4 PR-review · M5 tests · M6 structure · M7 document. Tie-break priority: refactor > arch-review > PR-review > generate > tests > structure > document |
+| `language-adapters.md` | 2 (cuando se identifica stack) | **12 stacks**: Python, TypeScript, JavaScript, React/Next.js, HTML/CSS, SQL/Postgres/MySQL, Java, C#, Go, Rust, Kotlin, PHP. Formato fijo: idioms · structure · tooling · pitfalls |
+| `architecture-doctrine.md` | 3 | **4 capas** (interface → application → domain ← infrastructure), dependency rule, feature-oriented slicing, 5 criterios DDD activation, **smell map de 7 familias** (A boundary, B naming, C complexity, D duplication, E persistence leakage, F security, G tests) |
+| `security-testing.md` | 5 | **8 always-checks** (no_secrets · validation_each_boundary · authz_server_side · parameterized_data · no_eval_user_input · errors_explicit · structured_logs · secure_defaults) + **4 test seams** (use case · adapter · interface · domain) + real > fake > stub > mock |
+| `output-contract.md` | 6 | **8 secciones obligatorias** en toda respuesta CRISOL + per-mode adaptation HEAVY/LIGHT/N/A + casos de deviación |
+
+### Paper postdoctoral `determinismo_codigo_ia_postdoctoral.md`
+
+Taxonomía de **7 capas estratificadas** del determinismo en generación de código por IA (state-of-the-art 2024-2026):
+
+| Capa | Tema | Frameworks/herramientas clave |
+|------|------|-------------------------------|
+| I | Determinismo numérico de inferencia | batch-invariant kernels (Thinking Machines), LayerCast, TBIK, LLM-42 |
+| II | Decodificación restringida | Outlines, Guidance, XGrammar, llguidance, Monitor-Guided Decoding |
+| III | Programación declarativa de LLMs | **DSPy** (Stanford) + optimizadores GEPA, MIPROv2, SIMBA |
+| IV | SDD spec-driven development | **GitHub Spec Kit**, Kiro (AWS), Tessl, BMAD-METHOD, Intent + EARS notation |
+| V | Bucles agénticos verificación ejecutiva | SWE-agent, OpenHands, Live-SWE-agent, Huxley-Gödel Machine, SWE-bench |
+| VI | Verificación formal / vericoding | Lean 4, Coq, Dafny, Verus + CLEVER, FVAPPS, VERINA, MA-LoT |
+| VII | Aproximaciones neuro-simbólicas | Logic-LM, LINC, PAL, Program-of-Thought |
+
+**Sección 12 dedicada al ecosistema EMBER** con recomendaciones operativas mapeadas a las 7 capas — propone migrar firmas críticas de EMBER a DSPy + GEPA, adoptar gates SDD para tareas L2+, formalizar `NEUROSIM` como skill canónico, etc.
+
+### Hallazgos cross-cutting
+
+1. **CRISOL es la encarnación EMBER de la Capa IV** del marco postdoctoral (SDD aplicado al ecosistema). Los 7 modos de CRISOL son una implementación específica de la metodología spec-driven.
+2. **Conexión con la lectura previa**: el paper determinismo cita explícitamente *"Replace Conditional with Polymorphism"* (técnica que acabamos de leer en Refactoring p.231-235) como ejemplo de *behavioral determinism* (régimen 2.3 del marco).
+3. **Doctrina CRISOL = SOLID aplicado**: las 4 capas + dependency rule materializan los 5 SOLID que leímos en Design Patterns p.48-67. Las familias del smell map mapean directamente a las 5 categorías Code Smells de Shvets que leímos.