dec-0077

Vista generada de dec-0077: (Restatement de D4.2) 'Allocator ownership NO cruza la ABI boundary' — ya es el bullet 'no allocator ownership crossing the ABI' de D4.2.

ImplementadoSin versión del tren todavía· generada desde docs/decisions/dec-0077-restatement-d4-2-allocator-ownership.md
track/docsdec-0124track/docs:DC10

Vista generada desde docs/decisions/dec-0077-restatement-d4-2-allocator-ownership.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-inv-allocator
Ficherodocs/decisions/dec-0077-restatement-d4-2-allocator-ownership.md

Por qué importa (del frontmatter del ADR):

Invariant estructural del ABI, parte de D4.2 'no allocator ownership crossing the ABI'

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-0077-restatement-d4-2-allocator-ownership.md, el fichero canónico.

(Restatement de D4.2) 'Allocator ownership NO cruza la ABI boundary' — ya es el bullet 'no allocator ownership crossing the ABI' de D4.2.

(Restatement de D4.2) 'Allocator ownership NO cruza la ABI boundary' — ya es el bullet 'no allocator ownership crossing the ABI' de D4.2.

Por qué pasa gate-3

  • Hard-to-reverse: Revertir requeriría pasar ownership de allocadores a través de la ABI, introduciendo riesgos de UAF y复杂的生命周期管理
  • Surprising sin contexto: No es obvio sin el ADR que los allocadores Zig no pueden cruzar la frontera - esta es una restricción arquitectural clave
  • Trade-off real: Se rechazó compartir allocadores a través de la ABI (alternativa mencionada en D4.2) en favor de caller-owned buffers

Procedencia

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

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.

dec-0078

Vista generada de dec-0078: (Restatement de D4.2) 'Una sola versión canónica de conformance fixtures, bytes idénticos WASM/native' — ya es el bullet 'conformance fixtures shared by WASM and native' de D4.2.

Texto del ADR
(Restatement de D4.2) 'Allocator ownership NO cruza la ABI boundary' — ya es el bullet 'no allocator ownership crossing the ABI' de D4.2.
Por qué pasa gate-3
Procedencia