spec-update

Update spec documents by analyzing git history to sync task status with reality.