Document lifecycle overhaul completion contract

[kim-em]

Summary

• amend the accepted overhaul plan with the 2026-08-25 scope decisions
• add the authoritative completion plan and definition of done
• add the execution runbook, approval gates, and mutable status checklist

This is documentation-only. It explicitly removes FC integration, disproof support, experimental kernels, a dedicated submission hostname, and persistent qualification machinery from the completion requirements. It records the no-DNS entry path, bounded lifecycle API smoke, temporary private OAuth ownership, empty open-problems launch, four-week overlap, historical replay after launch, and the agreed repository authorization boundary.

Validation

• git diff --check
• local relative-link validation for all three documents