dec-0075

Vista generada de dec-0075: (Mismo contenido que D4.1, fila L3) — 'L3 permanece DIFERIDA mientras consumer_count<2', con su propio AC-D4.5 y riesgo R-D4.5.

ImplementadoSin versión del tren todavía· generada desde docs/decisions/dec-0075-mismo-contenido-d4-1-fila.md
track/docsdec-0124track/docs:DC10

Vista generada desde docs/decisions/dec-0075-mismo-contenido-d4-1-fila.md. No se edita a mano: bun run docs:gen la regenera y bun run docs:check falla si difiere. El estado aquí es el del model: si discrepa con otra página, manda el model.

CampoValor
EstadoLOCKED (migrado de un rNN por gate-3: el fichero no declara estado)
Referencia legadar56-D4.5
Ficherodocs/decisions/dec-0075-mismo-contenido-d4-1-fila.md

Por qué importa (del frontmatter del ADR):

El contenido en sí es load-bearing (mismo que D4.1), pero no como lock INDEPENDIENTE — TKT-040 cita este hecho bajo la etiqueta 'r56 D4.1', no 'r56 D4.5'.

Nodos del roadmap que lo citan en refs: ninguno.

Páginas de la documentación que lo citan: ninguna todavía.

Texto del ADR

Leído de docs/decisions/dec-0075-mismo-contenido-d4-1-fila.md, el fichero canónico.

(Mismo contenido que D4.1, fila L3) — 'L3 permanece DIFERIDA mientras consumer_count<2', con su propio AC-D4.5 y riesgo R-D4.5.

(Mismo contenido que D4.1, fila L3) — 'L3 permanece DIFERIDA mientras consumer_count<2', con su propio AC-D4.5 y riesgo R-D4.5.

Por qué pasa gate-3

  • Hard-to-reverse: Revertir requerira implementar L3 antes de tener 2 consumers reales, violando r28 §3 (capas sin consumer)
  • Surprising sin contexto: No es obvio sin el ADR que la capa L3 está explícitamente DIFERIDA a pesar de estar definida en la tabla
  • Trade-off real: Se rechazó implementar L3 ahora (alternativa mencionada en Contexto) en favor de esperar a consumers reales que validen la semántica

Procedencia

Split de docs/decisions/r56-portable-client-core-abi-2026-07-15.md (lock r56-D4.5) durante PASO 7 (2026-07-16). Ver el fichero padre para el contexto completo del pack original.

dec-0074

Vista generada de dec-0074: ABI NO se declara estable hasta (1) consumer WASM real en F-WEB-PLAYER-ENGINE, (2) consumer nativo real en F-APPLIANCE-PI3, (3) fixtures cross-target idénticos, (4) evolución compatible documentada o política de breaking-changes; cierre de fase promueve 'ABI v1 candidate'

dec-0076

Vista generada de dec-0076: (Restatement de D4.2) 'Zig structs NO cruzan el ABI boundary' — ya es el bullet 'no Zig structs in public layout' de D4.2.

Texto del ADR
(Mismo contenido que D4.1, fila L3) — 'L3 permanece DIFERIDA mientras consumer_count<2', con su propio AC-D4.5 y riesgo R-D4.5.
Por qué pasa gate-3
Procedencia