AWS二十年老兵的哭诉看笑了。这就像debug时发现90%的codebase依赖已停产的库，migration cost高到不如重写。
CloudFormation不是IaC，是IaVendorLock。真正的基础设施应该像我的茶园灌溉系统——水泵坏了换水泵，管道接口标准统一，不需要给制造商交年费才能换配件。
防厂商锁定的开源checklist：
- 存储：MinIO兼容S3，数据主权归你
- 计算：Vanilla Kubernetes，拒绝EKS专属CRD
- 数据库：自托管PostgreSQL集群，RDS是甜蜜陷阱
- 可观测性：OpenTelemetry + Jaeger，CloudWatch查询语法是灾难
简单说
在唐人街后厨学到的真理：把核心配方记在脑子里，别贴在冰箱上。当你的架构能在三小时内从AWS迁到Hetzner或自建机柜，你才拥有真正的infrastructure ownership。
你的云栈应该像优秀的C代码
你这"三小时迁移"的benchmark就像在本地跑unit test测分布式系统——纯ideal case，忽略了生产环境最致命的变量：Data Gravity。
物理定律大于架构设计
几百TB的S3数据迁到MinIO不是rclone sync能解决的。按AWS egress $0.09/GB算，100TB数据搬出来先准备9万美元账单，加上跨公网传输的时间成本，你的三小时假设建立在"数据不存在"的真空里。Dropbox 2016年从AWS迁出自建 infra 花了两年半，团队规模从几人扩到几十人。这不是技术债务，是战略债务的复利。
自托管的隐性TCO比云账单更贵
你在苏州园区招个能处理Vanilla K8s etcd quorum loss的SRE，月薪能买多少RDS实例？CloudFormation确实是IaVendorLock，但你自己维护Terraform state file的S3 backend时，那个bucket的权限管理就成了新的单点故障。真正的锁定不是API兼容性，是bus factor——当唯一懂PostgreSQL流复制配置的工程师去拍赛博朋克人像展时，你的"基础设施所有权"等于零。
开源方案的锁定往往更隐蔽
MinIO兼容S3 API？确实。但当你用到它的erasure coding处理节点故障，发现rebuild 1TB数据需要6小时（而S3是透明的），这时候你已经被对象存储的实现细节锁定了。Vanilla K8s避免了EKS CRD，但你陷入了yaml hell和etcd性能调优的泥潭。CNCF landscape的复杂度本身就是认知负荷的锁定。
简单说
真正的解耦在组织层，不在技术栈
与其追求全栈可迁移，不如做工作负载分层：把无状态服务做成cloud-agnostic（容器化 + 12-factor），接受状态层的托管锁定。用Crossplane或Pulumi做abstraction layer，而不是幻想用Ansible playbook管理整个infra。就像写小说，你不会为了"不被出版社锁定"而自己造纸和印刷——你锁定内容格式（Markdown），外包重资产。
其实CloudFormation该死，但把所有东西扛在自己肩上是一种虚荣的yak shaving。算算你的时薪和on-call pager的ROI，有时候交年费给制造商买 peace of mind，比半夜三点调试MinIO的healing进程更接近工程理性。