dec-0095

Vista generada de dec-0095: 0-RTT replay-safe policy as annex to F-IDENTITY

ImplementadoSin versión del tren todavía· generada desde docs/decisions/dec-0095-0-rtt-replay-safe-policy-as-annex.md
track/docsdec-0124track/docs:DC10

Vista generada desde docs/decisions/dec-0095-0-rtt-replay-safe-policy-as-annex.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 legadaD3
Ficherodocs/decisions/dec-0095-0-rtt-replay-safe-policy-as-annex.md

Por qué importa (del frontmatter del ADR):

Cross-referenced with ThreatModel-v0 G8 (explicitly called out in ADR). F-IDENTITY is foundational phase in roadmap.spec.yml. Policy affects OfflineBundle encryption key mgmt (co-designed with F-IDENTITY). Cited in styx.model.yml extends list via r61.

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-0095-0-rtt-replay-safe-policy-as-annex.md, el fichero canónico.

0-RTT replay-safe policy as annex to F-IDENTITY

0-RTT replay-safe policy as annex to F-IDENTITY: capability advertisement + prepare query + subscription restoration ALLOWED; denylist mutations + one-time grants + capability elevation FORBIDDEN

Por qué pasa gate-3

  • Hard-to-reverse: Security policy embedded in identity contract. Reversal would require redefining F-IDENTITY security boundaries, ThreatModel-v0 G8, and encryption key management for OfflineBundle. Would be breaking change for any 0-RTT implementation.
  • Surprising sin contexto: Without ADR context, engineers implementing 0-RTT resumption would not understand why specific operations are allowlisted/denylisted. 'Prepare query idempotent read = OK' vs 'capability elevation = FORBIDDEN' is non-obvious without security rationale. Annex-to-F-IDENTITY decision (not standalone ADR) is context-dependent choice.
  • Trade-off real: Alternative explicitly considered and rejected: '0-RTT replay-safe as standalone ADR' - REJECTED because 'annex to F-IDENTITY is coherent with its scope; standalone would be ADR bloat for 1 paragraph + denylist'. Cost of annex approach = deferred until F-IDENTITY formal documentation; benefit = avoids ADR proliferation for 1-paragraph policy. Trade-off is: coherent scope vs standalone decision document.

Procedencia

Split de docs/decisions/r61-isolation-lifecycle-2026-07-15.md (lock D3) durante PASO 7 (2026-07-16). Ver el fichero padre para el contexto completo del pack original.