[HUG-051] Jornadas completas e comparação pré-registrada de utilidade

[github-actions]

HUG-051 — contrato de execução

Plano: v3.0 · fase: F · lane: A · prioridade: full_scope.

Estado inicial: backlog; nenhuma implementação ou qualificação declarada. A aprovação/merge do PR de planejamento e as pré-condições do WP precedem execução. Fechar por evidência, não por merge automático.

Contrato imutável: work package completo. Fonte normativa.

Identidade do plano: ddcc59c538f269881c05b98017c11c79dae67a7339257facc22a2b1d2a9a7889. Commit da especificação: 0b7f629dd0259515608517bcd692e5ec4d2b6ee3.

Hugit é 100% standalone. Intent = goal capturado por hook; nenhuma dependência de CoreLink, conta, runner remoto ou registro voluntário pelo LLM.

Acompanhamento: #379.

Dependências e admissão

#410 (HUG-030), #411 (HUG-031), #414 (HUG-034), #418 (HUG-038), #419 (HUG-039), #420 (HUG-040), #421 (HUG-041), #422 (HUG-042), #424 (HUG-044), #428 (HUG-048), #430 (HUG-050), #440 (HUG-060)

• Todos os predecessores possuem evidência integrada e interfaces versionadas compatíveis.
• Owner A aceita write-set exato e budget B-JOURNEY; HUG-001 distingue arquivos existentes dos novos.
• Os casos P/N/Q/R e os oráculos estão especificados antes do dispatch; fixtures e testes executáveis são entregues pelo próprio pacote ou predecessor. Documentação/descoberta usa oráculos de artefato, não um falso bug de runtime.
• Qualquer dado de fonte ainda não observado bloqueia o consumidor; descobrir no pacote predecessor, sem inventar payload.
• Freeze runtime de HUG-059 já integrado é obrigatório.

Protocolos: P00@3.0 · 5d737267087e24bbcca9548488c719f4cca46fa3435a0ccf31b7b98696fde5cc, P08@3.0 · 0d6a0d18c9b72c52ff3eef81f0b156b20e753a501bbd95027a4da8ba2b0c46e2, P11@3.0 · d0d06231bc06a332774e65589b6e696aed4811e4cb1d610b71f84315409d9156, P12@3.0 · 3f6367a500989e2a102abda97032a8ce25c1bd0edcbe660dd77a96fe4bb37a64

Outputs e coordenação

• scripts/acceptance/full_journeys.py
• docs/product/value-protocol.json
• docs/qualification/value-results.json

Caminhos propostos: HUG-001 resolve existentes/novos contra o checkout. Cargo.lock/Cargo.toml/lib.rs/main.rs/registries: solicitar patch ao integrador; não editar fora da lease de arquivo.

Unidades verificáveis

• HUG-051.S1 — Expandir slice HUG-060 para U1–U5, formatos especializados e plataformas do perfil; perguntas e baseline fixados antes dos runs.
• HUG-051.S2 — Comparar Git+arquivos/transcript e, quando instalado, Git AI por versão sem pressupor exclusividade; capturar correto/errado, consultas, bytes e reruns informacionais.
• HUG-051.S3 — Resultado ruim permanece no relatório; falha em eficiência exige corrigir UX/index ou reduzir claim com decisão explícita, não apagar feature do escopo full.

Completeness criteria

• HUG-051-CC01 — obrigatório: Cenários favoráveis e adversos têm baseline e dados retidos.
  Assertions: A-HUG-051-CC01. Famílias: T-HUG-051-P.

• HUG-051-CC02 — obrigatório: U1–U5 e todas as capacidades full exercitadas por uma jornada correspondente.
  Assertions: A-HUG-051-CC02. Famílias: T-HUG-051-P.

• HUG-051-CC03 — obrigatório: Critério de valor usa resultado na tarefa, não stars/usuários.
  Assertions: A-HUG-051-CC03. Famílias: T-HUG-051-P.

Success criteria

• HUG-051-SC01 — obrigatório: Todas as perguntas críticas sobre goal/run/error/validity são respondidas com refs corretos; zero rerun apenas para localizar informação preservada; benefício mensurado do slice mantém-se ao menos em U1.
  Assertions: A-HUG-051-SC01. Famílias: T-HUG-051-P.

• HUG-051-SC02 — obrigatório: Segunda sessão que precisa transcript completo, goal errado ou só economiza por report perdido não passa; ausência da alternativa não é tratada como inferioridade dela.
  Assertions: A-HUG-051-SC02. Famílias: T-HUG-051-N.

Quality standards

• HUG-051-QS01 — obrigatório: Evaluator independente recebe perguntas sem expected do autor na execução.
  Assertions: A-HUG-051-QS01. Famílias: T-HUG-051-Q.

• HUG-051-QS02 — obrigatório: Dados brutos e métricas derivadas auditáveis; não generalizar amostra controlada.
  Assertions: A-HUG-051-QS02. Famílias: T-HUG-051-Q.

• HUG-051-QS03 — obrigatório: Protocolo pré-registrado: ≥5 cenários, 6 perguntas críticas cada; zero atribuição errada/zero rerun informacional; baseline e casos adversos preservados.
  Assertions: A-HUG-051-QS03. Famílias: T-HUG-051-Q.

Definition of Done — DoD

• HUG-051-DOD01 — obrigatório: Fechar HUG-051 somente quando a implementação/artefato de 'Jornadas completas e comparação pré-registrada de utilidade' satisfaz suas assertions e observáveis obrigatórios; uma suite verde sem resultado individual não fecha os axiomas.
  Assertions: A-HUG-051-DOD01. Famílias: T-HUG-051-Q.

• HUG-051-DOD02 — obrigatório: Todos os outputs scripts/acceptance/full_journeys.py, docs/product/value-protocol.json, docs/qualification/value-results.json entregues nos write sets resolvidos; erros de P00, P08, P11, P12 e mudanças de interface revisados pelo owner do contrato.
  Assertions: A-HUG-051-DOD02. Famílias: T-HUG-051-Q.

• HUG-051-DOD03 — obrigatório: Recovery deste pacote ensaiado: Suspender claim de benefício ou perfil público afetado enquanto UX é corrigida; preservar toda comparação, incluindo resultados negativos, e repetir protocolo versionado.
  Assertions: A-HUG-051-DOD03. Famílias: T-HUG-051-R.

• HUG-051-DOD04 — obrigatório: Qualificar HUG-051 sobre o sujeito A identificado por digest; anexar em B assertions verificadas e aprovação de revisor diferente do autor. Resultados não alteram A; revalidar no candidato final as obrigações atingidas. Nenhum axioma obrigatório dispensado.
  Assertions: A-HUG-051-DOD04. Famílias: T-HUG-051-Q.

Invariants

• HUG-051-INV01 — obrigatório: Métrica sem denominador não justifica vantagem.
  Assertions: A-HUG-051-INV01. Famílias: T-HUG-051-N.

• HUG-051-INV02 — obrigatório: Config da alternativa não é piorada artificialmente.
  Assertions: A-HUG-051-INV02. Famílias: T-HUG-051-N.

• HUG-051-INV03 — obrigatório: Valor é demonstrado pelo uso e evidência, não catálogo.
  Assertions: A-HUG-051-INV03. Famílias: T-HUG-051-N.

Verificação e evidências

• T-HUG-051-N: linux-x64-ext4, macos-arm64-apfs, macos-intel-apfs, windows-x64-ntfs, docker-linux-ext4, compiler-linux-ext4; etapa pre_promotion.
• T-HUG-051-P: linux-x64-ext4, macos-arm64-apfs, macos-intel-apfs, windows-x64-ntfs, docker-linux-ext4, compiler-linux-ext4; etapa pre_promotion.
• T-HUG-051-Q: linux-x64-ext4, macos-arm64-apfs, macos-intel-apfs, windows-x64-ntfs, docker-linux-ext4, compiler-linux-ext4; etapa pre_promotion.
• T-HUG-051-R: linux-x64-ext4, macos-arm64-apfs, macos-intel-apfs, windows-x64-ntfs, docker-linux-ext4, compiler-linux-ext4; etapa pre_promotion.

Catálogo detalhado, preparo, predicados e artifacts: contrato completo. Evidência por sujeito A, assertion, célula e tentativa; pacote B destacado, promoção C separada. Não usar Closes em PR intermediário.

Budget e recovery

Protocolo pré-registrado: ≥5 cenários, 6 perguntas críticas cada; zero atribuição errada/zero rerun informacional; baseline e casos adversos preservados.

Rollback/recovery específico: Suspender claim de benefício ou perfil público afetado enquanto UX é corrigida; preservar toda comparação, incluindo resultados negativos, e repetir protocolo versionado.

Política de fechamento

Todos os cinco axiomas e suas assertions devem estar demonstrados no candidato integrado, com recovery ensaiado e revisão distinta da autoria. Suite verde ou issue fechada não substitui a qualificação. HUG-056 só fecha após publicação e pós-verificação.