[HUG-056] Publicação full por requisitos explícitos e suporte

[github-actions]

HUG-056 — contrato de execução

Plano: v3.0 · fase: G · lane: H · prioridade: release_gate.

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

#380 (HUG-001), #381 (HUG-002), #382 (HUG-003), #383 (HUG-004), #384 (HUG-005), #385 (HUG-006), #386 (HUG-007), #387 (HUG-008), #388 (HUG-009), #389 (HUG-010), #390 (HUG-011), #391 (HUG-012), #392 (HUG-013), #393 (HUG-014), #394 (HUG-015), #395 (HUG-016), #396 (HUG-017), #397 (HUG-018), #398 (HUG-019), #399 (HUG-020), #401 (HUG-021), #402 (HUG-022), #403 (HUG-023), #404 (HUG-024), #405 (HUG-025), #406 (HUG-026), #407 (HUG-027), #408 (HUG-028), #409 (HUG-029), #410 (HUG-030), #411 (HUG-031), #412 (HUG-032), #413 (HUG-033), #414 (HUG-034), #415 (HUG-035), #416 (HUG-036), #417 (HUG-037), #418 (HUG-038), #419 (HUG-039), #420 (HUG-040), #421 (HUG-041), #422 (HUG-042), #423 (HUG-043), #424 (HUG-044), #425 (HUG-045), #426 (HUG-046), #427 (HUG-047), #428 (HUG-048), #429 (HUG-049), #430 (HUG-050), #431 (HUG-051), #432 (HUG-052), #433 (HUG-053), #434 (HUG-054), #435 (HUG-055), #437 (HUG-057), #438 (HUG-058), #439 (HUG-059), #440 (HUG-060)

• Todos os predecessores possuem evidência integrada e interfaces versionadas compatíveis.
• Owner H aceita write-set exato e budget B-RELEASE; 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, P12@3.0 · 3f6367a500989e2a102abda97032a8ce25c1bd0edcbe660dd77a96fe4bb37a64

Outputs e coordenação

• scripts/release/promote_candidate.py
• docs/release-checklist.md
• docs/support/recovery-runbook.md

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-056.S1 — Pre-ready exige os 59 predecessores qualificados, implementação/rehearsal de 056 e assertions pre_promotion verificadas em B sobre A. Não exigir 056 closed antes da ação que encerra seu próprio DoD.
• HUG-056.S2 — Publicar somente assets A já testados, registrar C com IDs/destinos/readback/digest. Alterar A invalida B; alterar anotações em C não modifica A. Não tornar upload de cada asset uma suposta transação global: stage/draft+manifest, confirmar conjunto e só então tornar release visível, reconciliando falhas.
• HUG-056.S3 — Pós-publicação verifica disponibilidade/bytes/capabilities/matriz e fecha C/056; falha deixa published_unverified/recovery_required. Full é 60 closed após esse passo, nunca ready por JSON autodeclarado.

Completeness criteria

• HUG-056-CC01 — obrigatório: Manifestos A/B/C, rehearsal pré-promoção e suporte/incident recovery anexados fora do sujeito imutável; pós-verificação completa após publicação.
  Assertions: A-HUG-056-CC01. Famílias: T-HUG-056-POST.

• HUG-056-CC02 — obrigatório: Rastro de todos os axiomas e achados está fechado por evidência real.
  Assertions: A-HUG-056-CC02. Famílias: T-HUG-056-P.

• HUG-056-CC03 — obrigatório: Checklist resultante não permite skip/waiver de qualidade.
  Assertions: A-HUG-056-CC03. Famílias: T-HUG-056-P.

Success criteria

• HUG-056-SC01 — obrigatório: Percurso finito A→B→C: pre-ready com obrigações pre_promotion, publicação dos mesmos bytes A, fechamento de 056 somente depois das assertions post_publication; plan-only permanece not_ready.
  Assertions: A-HUG-056-SC01. Famílias: T-HUG-056-POST.

• HUG-056-SC02 — obrigatório: Excluir qualquer WP/axioma/teste, arquivo de evidence ausente, assinatura inválida ou source SHA divergente impede publicar, inclusive sob pressão de deadline.
  Assertions: A-HUG-056-SC02. Famílias: T-HUG-056-N.

Quality standards

• HUG-056-QS01 — obrigatório: Readiness é calculada por obligations de célula e assertions; pipeline retém observáveis reais e verificação de identidade de A/B/C; nenhum selo SOTA substitui predicados.
  Assertions: A-HUG-056-QS01. Famílias: T-HUG-056-Q.

• HUG-056-QS02 — obrigatório: Core fica standalone mesmo com perfis opcionais distribuídos.
  Assertions: A-HUG-056-QS02. Famílias: T-HUG-056-Q.

• HUG-056-QS03 — obrigatório: Publicar manifest/conjunto de assets A verificados sem rebuild; staging/draft e readback do conjunto precedem exposição; upload parcial deixa candidato não publicado ou recovery_required, não publicação atômica presumida.
  Assertions: A-HUG-056-QS03. Famílias: T-HUG-056-Q.

Definition of Done — DoD

• HUG-056-DOD01 — obrigatório: Fechar HUG-056 somente quando a implementação/artefato de 'Publicação full por requisitos explícitos e suporte' satisfaz suas assertions e observáveis obrigatórios; uma suite verde sem resultado individual não fecha os axiomas.
  Assertions: A-HUG-056-DOD01. Famílias: T-HUG-056-POST.

• HUG-056-DOD02 — obrigatório: Implementação/políticas scripts/release/promote_candidate.py, docs/release-checklist.md, docs/support/recovery-runbook.md integradas antes de congelar A; resultados qualification/B/pre-promotion-readiness.json, promotion/C/publication-record.json, promotion/C/post-verification.json entregues depois em B/C sem alterar A. Contratos versionados e interfaces revisadas pelo owner.
  Assertions: A-HUG-056-DOD02. Famílias: T-HUG-056-POST.

• HUG-056-DOD03 — obrigatório: Recovery deste pacote ensaiado: Antes de publicar: manter candidato bloqueado. Depois: emitir aviso e revogar asset/version quando necessário, orientar forward repair compatível com dados v2; nunca forçar downgrade destrutivo ou substituir asset sob mesmo ID.
  Assertions: A-HUG-056-DOD03. Famílias: T-HUG-056-POST.

• HUG-056-DOD04 — obrigatório: Qualificar HUG-056 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; fechamento final só após registro C e pós-verificação. Nenhum axioma obrigatório dispensado.
  Assertions: A-HUG-056-DOD04. Famílias: T-HUG-056-POST.

Invariants

• HUG-056-INV01 — obrigatório: Full exige 60/60 pacotes fechados ao final; gate pre_promotion exige 59 predecessores e qualificação prévia de 056, não seu fechamento posterior antecipado.
  Assertions: A-HUG-056-INV01. Famílias: T-HUG-056-POST.

• HUG-056-INV02 — obrigatório: Plano validado não é produto validado.
  Assertions: A-HUG-056-INV02. Famílias: T-HUG-056-N.

• HUG-056-INV03 — obrigatório: Publicação não troca bytes testados.
  Assertions: A-HUG-056-INV03. Famílias: T-HUG-056-N.

Verificação e evidências

• T-HUG-056-N: artifact-review; etapa pre_promotion.
• T-HUG-056-P: artifact-review; etapa pre_promotion.
• T-HUG-056-POST: linux-x64-ext4, macos-arm64-apfs, macos-intel-apfs, windows-x64-ntfs; etapa post_publication.
• T-HUG-056-Q: artifact-review; etapa pre_promotion.
• T-HUG-056-R: artifact-review; 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

Somente assets por manifesto/digest; staging/draft e verificação do conjunto antes de expor; upload parcial reconciliado; sem rebuild depois de testar; limites e origens verificados.

Rollback/recovery específico: Antes de publicar: manter candidato bloqueado. Depois: emitir aviso e revogar asset/version quando necessário, orientar forward repair compatível com dados v2; nunca forçar downgrade destrutivo ou substituir asset sob mesmo ID.

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.