dec-0070

Vista generada de dec-0070: Handoff semantics amend

ImplementadoSin versión del tren todavía· generada desde docs/decisions/dec-0070-handoff-semantics-amend.md
track/docsdec-0124track/docs:DC10

Vista generada desde docs/decisions/dec-0070-handoff-semantics-amend.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 legadar54-D2.3-handoff
Ficherodocs/decisions/dec-0070-handoff-semantics-amend.md

Por qué importa (del frontmatter del ADR):

r60 §D2 depends on this amend explicitly ('Amend explícito a r54 D2.3'); TKT-046 materializes it and is marked done; roadmap.spec.yml has a dedicated gate 'r54-D2.3 amend' citing it directly.

Nodos del roadmap que lo citan en refs: ninguno.

Páginas de la documentación que lo citan: Dispositivos, mando y handoff (especificado)

Texto del ADR

Leído de docs/decisions/dec-0070-handoff-semantics-amend.md, el fichero canónico.

Handoff semantics amend

Handoff semantics amend: origin Client Session Controller TRANSFERS the active LogicalGenerationId (does not create a new one); receiver inherits; ADD_CONTROLLER/MOVE_TO_GROUP are observer-only

Por qué pasa gate-3

  • Hard-to-reverse: Cambia semántica de handoff de 'crear nueva generation' a 'transferir activa'; requiere updates en todos los handoff paths y validación de invariantes
  • Surprising sin contexto: Semántica counter-intuitiva: handoff no crea nueva generation, transfiere la activa; un ingeniero no lo inferiría sin leer el amend explicit
  • Trade-off real: Rejected alternative implícita: 'crear nueva generation en handoff' (model previo); coste visible = transfer complexity vs consistency of single-creator invariant

Procedencia

Split de docs/decisions/r54-presentation-authority-runtime-boundaries-2026-07-15.md (lock r54-D2.3-handoff) durante PASO 7 (2026-07-16). Ver el fichero padre para el contexto completo del pack original.