网易首页 > 网易号 > 正文 申请入驻

把Sentinel规则翻成HCL,测试全过就等于等价吗?

0
分享至

策略即代码一直有个别扭的依赖:规则用一种团队里没几个人能流畅阅读的语言写成,于是这道闸门在计划阶段很强,在评审阶段却很模糊。HashiCorp在2026年11月5日给出的答案是,把规则搬进HCL,并让模型来做翻译。


这次发布的Terraform policy agent,负责把Sentinel和OPA策略转换成Terraform policy。转换本身值得细看,因为它暴露了一个所有自动化迁移都要面对的问题:机器生成的代码,谁来担保它和原来一样。

这道闸门同时接受三套框架

Terraform policy是HashiCorp推出的声明式框架,用HCL写规则,决定一份Terraform计划能否继续推进,HCP Terraform在运行过程中评估这些规则。同一道闸门接受Terraform policy、Sentinel和Open Policy Agent三套框架。

真正促使团队迁移的是一个覆盖范围上的差别:只有Terraform policy的policy set同时适用于Stacks和workspaces,Sentinel和OPA的policy set只支持workspaces。对于已经或正在迁往Stacks的团队来说,留在旧框架里的策略库,看不见自己新建的那道闸门。

策略以policy set为单位组织,一个set只能装同一套框架写的策略,来自不同框架的多个set可以作用于同一个workspace或Stack。策略失败能否中止运行,取决于它的执行级别;具备相应权限的身份可以执行覆盖。Terraform policy要求Terraform v1.17或更高版本。

转换分三步,第一步不写代码

agent的输入可以是一个Sentinel的.sentinel文件、一个OPA的.rego文件、一组文件,或者整个策略仓库,它从每条策略的意图出发工作。整个过程分三个阶段:

  1. 提取策略目标,转写成普通人能读懂的纯语言需求,这是在任何代码产生之前就交付的评审材料;
  2. 生成.policy.hcl文件、.policytest.hcl文件、配套的Terraform配置,以及一份转换报告;
  3. 运行生成的测试,按策略汇总结果。

第一步是个值得借鉴的设计决定。转换先给出一段可读的说明,讲清这条策略是干什么的,评审者就能在成本最低的时候提出异议。

测试生成还会读取Sentinel的mock文件。在生成第一批测试场景之后,agent会补充这些场景尚未覆盖的用例。已有的mock是策略库里最接近回归测试的东西,把它当作覆盖来源,生成的测试才值得跑。

这个做法也划出了上限。mock描述的是团队当初写策略时想到的场景,没有mock覆盖的行为依然不可见。一条通过了全部生成测试的转换策略,可能在策略库从未编码的那个边界上表现得完全不同。

关于等价,公告自己划了线

发布公告里有一句少见的坦白:输出由语言模型生成,不同次运行的结果可能不同。通过生成的测试,只能说明这条策略满足了生成的场景;与原始Sentinel或OPA策略是否等价,公告没有替你做这个结论,它把这件事留给了评审者。

这句话要放在策略库的寿命里读。一个Sentinel库是一份决策记录,里面装着各种别扭的东西:遗留账号的例外、迁移期间临时放行的区域、绑定在未成文命名约定上的标签规则。从意图出发的转换,会产出一条执行该意图的策略,而那些例外怎么处理,仍然需要人来核对。

公告建议的上线顺序是:对每条转换后的策略运行tfpolicy test,把结果放进HCP Terraform并设为advisory执行级别,等行为验证之后再转为mandatory。这个顺序的理由很直接——一条会阻断计划的策略就是一台生产事故制造机,而转换后的策略,按任何合理定义都算新代码。

advisory阶段只有在有人读它报告什么的时候才产生价值。把转换后的库跑在advisory级别,将它的失败与旧框架的决策逐条比对,团队才能在转为强制之前拿到关于这次转换的证据。

需要盯住的漂移有几种:静默放宽,让转换后的策略放行了原策略排除的情况;静默收窄,拦下过去能通过的部署,逼得团队在第一周就放松规则;例外丢失,旧库里有明确记录的豁免没有带过来,新库对着一个没人预警的工作负载执行了通用规则。

还有一点:agent产出的任何东西都不会自动发布到HCP Terraform。策略库要进入那道闸门,得有人亲手把它放进去。

特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相关推荐
热点推荐
央媒批评韦世豪:情绪失控搞地域歧视,把蓉城推上没回头路的悬崖

央媒批评韦世豪:情绪失控搞地域歧视,把蓉城推上没回头路的悬崖

光辉记
2026-11-10 10:47:32
沈伯洋街头受访正侃侃而谈,过路民众当场直言:别一本正经讲废话

沈伯洋街头受访正侃侃而谈,过路民众当场直言:别一本正经讲废话

放开他让wo来
2026-11-09 22:42:50
马斯克转发一篇帖文,引发网友热议:向乌克兰免费提供星链是个错误”贴文,网友:无声的回应

马斯克转发一篇帖文,引发网友热议:向乌克兰免费提供星链是个错误”贴文,网友:无声的回应

琉璃聊科学
2026-11-09 12:22:10
印度自研模型社死!照搬千问,仅塞提示词硬充印度造

印度自研模型社死!照搬千问,仅塞提示词硬充印度造

新智元
2026-11-09 21:03:07
勇士连环大交易!?0场换15投1中!鸡同鸭讲啊!

勇士连环大交易!?0场换15投1中!鸡同鸭讲啊!

贵圈真乱
2026-11-10 11:31:53
画面不堪入目,地下人奶交易乱象,成年人躺进怀里吃奶的灰色黑产

画面不堪入目,地下人奶交易乱象,成年人躺进怀里吃奶的灰色黑产

易玄
2026-09-12 10:24:46
专访泸州“花坛白骨案”遇害者之子:妈妈失踪后我流浪街头,人生轨迹被彻底改写

专访泸州“花坛白骨案”遇害者之子:妈妈失踪后我流浪街头,人生轨迹被彻底改写

大风新闻
2026-11-09 20:25:03
双探花彻底闹掰!管理层是罪魁祸首,布朗祸引动水,塔图姆被激怒

双探花彻底闹掰!管理层是罪魁祸首,布朗祸引动水,塔图姆被激怒

你的篮球频道
2026-11-10 07:23:02
女体育生穿“黑纱裤”训练,心思被戳穿:你这种高六都考不上大学

女体育生穿“黑纱裤”训练,心思被戳穿:你这种高六都考不上大学

熙熙说教
2026-10-18 14:36:19
笑麻了!一座没有穿衣焦虑的城市,北京只有秩序没有穿搭 ​​​

笑麻了!一座没有穿衣焦虑的城市,北京只有秩序没有穿搭 ​​​

夜深爱杂谈
2026-11-03 18:41:56
奶茶店门口的这位阿姨的打扮把属于这个年纪的独特韵味展现出来了

奶茶店门口的这位阿姨的打扮把属于这个年纪的独特韵味展现出来了

美女穿搭分享
2026-11-10 10:25:59
解放军围台不打官宣!美智库猛然发现:常态化部署已悄然铺开!

解放军围台不打官宣!美智库猛然发现:常态化部署已悄然铺开!

寄予的清风
2026-11-10 10:47:41
赖斯:说那句“一切还没结束”其实有些后怕,但当时确实那么想的

赖斯:说那句“一切还没结束”其实有些后怕,但当时确实那么想的

懂球帝
2026-11-10 12:59:18
《伟大的长征》凯丰两次会议,都站少数派,第二次为何让人敬佩

《伟大的长征》凯丰两次会议,都站少数派,第二次为何让人敬佩

天玑影视说
2026-11-10 10:54:22
iOS27.2版本更新:部分老机型性能飙升!建议升级

iOS27.2版本更新:部分老机型性能飙升!建议升级

库克啥都聊
2026-11-09 15:51:11
黄仁勋黄乐多次同框被拍!当众亲脸搂腰,那个女人的朋友圈已清空

黄仁勋黄乐多次同框被拍!当众亲脸搂腰,那个女人的朋友圈已清空

草莓信箱
2026-11-10 11:36:44
在穆帅调教下,科纳特成为欧洲最被低估的中卫,比他更强的中卫不超过5名

在穆帅调教下,科纳特成为欧洲最被低估的中卫,比他更强的中卫不超过5名

福酱的小时光
2026-11-10 08:47:10
《令人心动的offer 8》被骂到停更,才知道录取率低至0.5%的港校医科有多难...

《令人心动的offer 8》被骂到停更,才知道录取率低至0.5%的港校医科有多难...

阅读第一
2026-11-08 08:36:29
每秒5MB后台狂写,AMD驱动每月可写13TB

每秒5MB后台狂写,AMD驱动每月可写13TB

灰度测试中
2026-11-09 11:33:56
暴跌76.8%,卫浴“洋品牌”败走中国

暴跌76.8%,卫浴“洋品牌”败走中国

投资家
2026-11-08 21:21:49
2026-11-10 13:39:00
我是一个粉刷匠2
我是一个粉刷匠2
有态度网友ytd
208文章数 176关注度
往期回顾 全部

科技要闻

黄仁勋承认出轨:伤害了妻儿,毫无借口

头条要闻

牛弹琴:果然是一场闹剧 这个世界就没有特朗普做不到

头条要闻

牛弹琴:果然是一场闹剧 这个世界就没有特朗普做不到

体育要闻

大连足球这些年的起落,都从他身边经过

娱乐要闻

黄仁勋与黄乐合照曝光,吃饭氛围暧昧

财经要闻

72岁王健林重回“一号位”

汽车要闻

限时权益价8.88万 吉利星愿STAR限定系列发布

态度原创

教育
房产
健康
家居
公开课

教育要闻

中俄教育年独家专访|远东联邦大学副校长详解赴俄留学新趋势

房产要闻

突发!陵水杀出重磅宅地!

痘痘长到25岁还没完?查查内分泌

家居要闻

2026建博会(广州) 公装联探展交流活动

公开课

李玫瑾:为什么性格比能力更重要?

无障碍浏览 进入关怀版