Vista generada de dec-0060: Invariante cross-tier (de r44/Candidate H)
docs/decisions/dec-0060-invariante-cross-tier-r44-candidate-h.mdVista generada desde
docs/decisions/dec-0060-invariante-cross-tier-r44-candidate-h.md. No se edita a mano:bun run docs:genla regenera ybun run docs:checkfalla si difiere. El estado aquí es el del model: si discrepa con otra página, manda el model.
| Campo | Valor |
|---|---|
| Estado | LOCKED (migrado de un rNN por gate-3: el fichero no declara estado) |
| Referencia legada | r45-cross-tier-pinned-semantics |
| Fichero | docs/decisions/dec-0060-invariante-cross-tier-r44-candidate-h.md |
Enmienda a: r12
Por qué importa (del frontmatter del ADR):
Citado por r44 Candidate H (condición C7), r46, r48; es invariante load-bearing del BackingStore
Nodos del roadmap que lo citan en refs: ninguno.
Páginas de la documentación que lo citan: ninguna todavía.
Leído de docs/decisions/dec-0060-invariante-cross-tier-r44-candidate-h.md, el fichero canónico.
Invariante cross-tier (de r44/Candidate H): eviction NUNCA toca entradas pinned — serve_to_completion + unavailable{evicted} truthful (C7)
Split de docs/decisions/r45-r12-eviction-reconciliation-2026-07-12.md (lock r45-cross-tier-pinned-semantics) durante PASO 7 (2026-07-16). Ver el fichero padre para el contexto completo del pack original.