Producto
MOD-02 · Pruebas y entrega
Comportamientos y límites de pruebas y entrega, según el catálogo de producto revisado.
FEAT-004 · Claims y verificación
Una claim necesita un comando ejecutado sobre el HEAD real. Los resultados pendientes, timeouts y pruebas retiradas no cuentan como aprobación.
FEAT-005 · CHECK independiente en CI
El bundle de claims se vuelve a ejecutar sobre el SHA exacto de la candidata. Una ejecución de otra thread o commit no demuestra este cambio. Cada thread tiene su propio bundle, .ork-ci/<thread>.json, que el CI encuentra por el nombre de la branch; una branch de thread sin bundle no se aprueba, y main ejecuta solo los comandos del manifiesto.
FEAT-006 · Entrega con push demostrado
SHIP serializa el merge mediante un lease y comprueba el remoto. Un dry-run o commit local no es un comprobante de publicación.
FEAT-007 · Worktrees y leases
Cada thread edita su worktree. Los leases de árbol, rutas, tarjetas y servicios coordinan recursos; la auditoría rechaza divergencias entre Git y el registro.