Files
portfolio-hub/.proofline/criteria/ac-0011.md
T

1.2 KiB

id, status
id status
ac-0011 active

Isolated PostgreSQL migration·readiness와 exact cleanup

Criterion

Publication verification은 internal network의 disposable PostgreSQL, synthetic credential과 synthetic encryption key만 사용해 별도 pre-start pfhub migrate-db를 head까지 성공시킨 뒤 application을 시작해야 한다. Alembic revision, 별도 pfhub health-check DB ping, DB-enabled /health liveness를 각각 확인하고 성공·timeout·wrong-shape·canary/scan failure에서 실제 시도한 container, network 및 volume identity를 정확히 정리해야 한다.

Verification

  • 성공 조건: migration이 head에 도달하고 DB ping과 HTTP liveness가 각각 통과하며 생성·시도한 exact resource가 모두 cleanup된다.
  • 실패·경계 조건: production credential/DB 사용, application startup 중 암묵적 migration, bootstrap-user 비격리 side effect, readiness/liveness 혼합, timeout 또는 wrong-shaped payload 후 resource leak은 실패다.
  • 검사 방법: actual local image/PostgreSQL startup smoke, timeout/wrong-shape regressions, canary-bearing docker create cleanup regression과 exact attempted/removed identity assertions를 실행한다.