Produto
MOD-02 · Verdade e entrega
Comportamentos e limites de verdade e entrega, conforme o catálogo de produto revisado.
FEAT-004 · Claims e verificação
A claim precisa de comando executado no HEAD real. Resultado pendente, timeout ou prova retirada não contam como aprovação.
FEAT-005 · CHECK independente no CI
O bundle de claims é reexecutado no SHA exato da candidata. Uma execução de outra thread ou outro commit não prova esta mudança. Cada thread tem o próprio bundle, .ork-ci/<thread>.json, que o CI acha pelo nome da branch; branch de thread sem bundle reprova, e a main roda só os comandos do manifesto.
FEAT-006 · Entrega com push comprovado
SHIP serializa o merge por lease e confere o remoto. Dry-run e commit local não são recibos de publicação.
FEAT-007 · Worktrees e leases
Cada thread edita sua worktree. Leases de árvore, caminhos, cards e serviços coordenam recursos; a auditoria recusa divergência entre Git e registro.