[HUG-060] Fatia antecipada de valor: goal→falha→retomada→restore

[github-actions]

HUG-060 — contrato de execução

Plano: v3.0 · fase: C · lane: I · prioridade: first_slice.

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

#383 (HUG-004), #385 (HUG-006), #386 (HUG-007), #387 (HUG-008), #388 (HUG-009), #389 (HUG-010), #391 (HUG-012), #393 (HUG-014), #403 (HUG-023), #405 (HUG-025), #408 (HUG-028), #409 (HUG-029), #414 (HUG-034), #415 (HUG-035), #418 (HUG-038), #419 (HUG-039)

• Todos os predecessores possuem evidência integrada e interfaces versionadas compatíveis.
• Owner I 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, P03@3.0 · 5a1fafc04faf82e1edd1a87b2de77eaad0f4e8392d1acf0f48bc3d5244745192, P05@3.0 · 9683d0acafd218be2078fba9ca22087a56ca933152d1ba62b0d930778f367564, P06@3.0 · 2e6d36db28e0cd10d7ec732507b96a8428c4c6dcc6ad7e0c0a9b4cdb5cf27fc9, P07@3.0 · 995564c0e30b81dbf5523fc72b8960a812edabcf576a85d551cd17fa86e49694, P08@3.0 · 0d6a0d18c9b72c52ff3eef81f0b156b20e753a501bbd95027a4da8ba2b0c46e2, P11@3.0 · d0d06231bc06a332774e65589b6e696aed4811e4cb1d610b71f84315409d9156

Outputs e coordenação

• scripts/acceptance/early_slice.py
• docs/qualification/early-slice-protocol.json
• docs/qualification/early-slice-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-060.S1 — Em runtime v2 novo isolado, um hook de goal real e um teste não interativo geram duas falhas; segunda tentativa corrige uma.
• HUG-060.S2 — Sessão B recebe somente context pack+refs, responde perguntas predefinidas e reconhece mudança posterior sem validação; export/restore usa exatamente esse corpus.
• HUG-060.S3 — Baseline Git+arquivos/transcript e Hugit usam mesmos cenários e resultados esperados; teste não depende de Playwright, Docker, compiler cache ou landing real.

Completeness criteria

• HUG-060-CC01 — obrigatório: Demo executada com harness real e fixture adversa multi-goal.
  Assertions: A-HUG-060-CC01. Famílias: T-HUG-060-P.

• HUG-060-CC02 — obrigatório: Dados baseline/on, métricas e todos os outputs necessários retidos sob política.
  Assertions: A-HUG-060-CC02. Famílias: T-HUG-060-P.

• HUG-060-CC03 — obrigatório: Protocolo pré-registrado não usa cache/landing para mascarar utilidade da captura.
  Assertions: A-HUG-060-CC03. Famílias: T-HUG-060-P.

Success criteria

• HUG-060-SC01 — obrigatório: 6 perguntas críticas por cenário têm respostas corretas com refs; zero rerun informacional e U1 demonstra redução de navegação manual ou bytes consultados sem perder correção; restore offline mantém tudo selecionado.
  Assertions: A-HUG-060-SC01. Famílias: T-HUG-060-P.

• HUG-060-SC02 — obrigatório: Goal errado, junit antigo verde, raw revogado, dependência de transcript inteiro ou corpus alternativo para export reprova slice e bloqueia ampliação orientada por claim não demonstrado.
  Assertions: A-HUG-060-SC02. Famílias: T-HUG-060-N.

Quality standards

• HUG-060-QS01 — obrigatório: Pelo menos 5 cenários de retomada, um deles desfavorável; 6 perguntas cada com expected fixado antes.
  Assertions: A-HUG-060-QS01. Famílias: T-HUG-060-Q.

• HUG-060-QS02 — obrigatório: Correção é exigida em todas as perguntas críticas; vantagem quantitativa somente nos casos medidos.
  Assertions: A-HUG-060-QS02. Famílias: T-HUG-060-Q.

• HUG-060-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-060-QS03. Famílias: T-HUG-060-Q.

Definition of Done — DoD

• HUG-060-DOD01 — obrigatório: Fechar HUG-060 somente quando a implementação/artefato de 'Fatia antecipada de valor: goal→falha→retomada→restore' satisfaz suas assertions e observáveis obrigatórios; uma suite verde sem resultado individual não fecha os axiomas.
  Assertions: A-HUG-060-DOD01. Famílias: T-HUG-060-Q.

• HUG-060-DOD02 — obrigatório: Todos os outputs scripts/acceptance/early_slice.py, docs/qualification/early-slice-protocol.json, docs/qualification/early-slice-results.json entregues nos write sets resolvidos; erros de P00, P03, P05, P06, P07, P08, P11 e mudanças de interface revisados pelo owner do contrato.
  Assertions: A-HUG-060-DOD02. Famílias: T-HUG-060-Q.

• HUG-060-DOD03 — obrigatório: Recovery deste pacote ensaiado: Congelar expansões opcionais se utilidade não aparecer; ajustar query/onboarding e repetir baseline predefinido. Runtime isolado pode ser descartado após backup validado; nenhuma migração de produção depende deste experimento.
  Assertions: A-HUG-060-DOD03. Famílias: T-HUG-060-R.

• HUG-060-DOD04 — obrigatório: Qualificar HUG-060 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-060-DOD04. Famílias: T-HUG-060-Q.

Invariants

• HUG-060-INV01 — obrigatório: Slice não é publicação de 100% do roadmap.
  Assertions: A-HUG-060-INV01. Famílias: T-HUG-060-N.

• HUG-060-INV02 — obrigatório: Menos integrações não relaxa privacidade, identidade ou durabilidade.
  Assertions: A-HUG-060-INV02. Famílias: T-HUG-060-N.

• HUG-060-INV03 — obrigatório: Nenhuma rerun é evitada fingindo validade atual de evidência antiga.
  Assertions: A-HUG-060-INV03. Famílias: T-HUG-060-P.

Verificação e evidências

• T-HUG-060-N: linux-x64-ext4, macos-arm64-apfs, macos-intel-apfs, windows-x64-ntfs; etapa pre_promotion.
• T-HUG-060-P: linux-x64-ext4, macos-arm64-apfs, macos-intel-apfs, windows-x64-ntfs; etapa pre_promotion.
• T-HUG-060-Q: linux-x64-ext4, macos-arm64-apfs, macos-intel-apfs, windows-x64-ntfs; etapa pre_promotion.
• T-HUG-060-R: linux-x64-ext4, macos-arm64-apfs, macos-intel-apfs, windows-x64-ntfs; 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: Congelar expansões opcionais se utilidade não aparecer; ajustar query/onboarding e repetir baseline predefinido. Runtime isolado pode ser descartado após backup validado; nenhuma migração de produção depende deste experimento.

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.