spec(IR-0004): IR-0004 Cloudbird-Software/.github#315 条款级规格 rev4（ADR-0050，红队四轮 survived） by randypanding · Pull Request #338 · Cloudbird-Software/.github

spec(IR-0004): IR-0004 Cloudbird-Software/.github#315 条款级规格 rev1 + suite 结构自测（ADR-0050）

spec-author

committed

553b3e9

fix(IR-0004): suite 测试 fixture 修正（load_fm 辅助函数，5/5 绿）

spec-author

committed

686618c

spec(IR-0004): rev2 红队 R1 回炉——24 项有效命中全采纳（AC-21 token 补条、merger 分支、oracle 判据、月度干跑、负向断言堵 fail-open、ADR-0066/0067/0062/0035 承接、T-13 口径对齐、1C 硬档位、suite 语义断言）；R1-B 窗口未归，其攻击面并入 R2

spec-author

committed

2911111

spec(IR-0004): rev2 增补 R1-B 迟归 8 项——试点仓勘误 AI_Web_School、blastRadius 补登（REPOS.yaml/cost-check/dashboard/CI-Workflows workflows+scripts）、planned 双向存在性、IFACE-01 执行层落点、IFACE-02 承接 cnb_bridge.py、DECISIO…

spec-author

committed

03bde46

spec(IR-0004): rev3 红队 R2 回炉——19 项命中全采纳（DECISION-06 时序护栏、blastRadius planned 自洽、spec-check.py 并存分工+验证者 APP 身份、IFACE-02 增量映射、AC-2 量化/AC-5 复算/AC-7 抽样量化、AC-11/12 对拍负向、ADR 措辞精化、正交性声明）；suite 负向覆盖 13 AC+…

spec-author

committed

544b27d

spec(IR-0004): rev4 R3 终审收敛——ADR-0083 引用修正（正本已迁实测核实）、AC-8 时态澄清、DECISION-06 检测载体、AC-4/10/19/21 负向断言、suite 17AC 负向覆盖+工件词绑定

spec-author

committed

5ae1251

spec(IR-0004): 补 run-suite.sh（adversary 目标契约）+ suite stdlib 执行适配

spec-author

committed

f3105ce

spec(IR-0004): run-suite.sh 加 METERING_PYTHON 覆盖口（同官方 fixture 契约）

spec-author

committed

d5f8be0

spec(IR-0004): 套件语义锚定 v3（对抗 S1' posed-acceptance-criteria，adversary run 32686773389 判定 insufficient 的补强）——21 概念绑定/负向条件-后果结构/双工件词/then 密度/IR 量化锚；AC-10/14/20 given 概念词修正

spec-author

committed

78bf600

spec(IR-0004): 语义锚定定稿——NEG_STRUCT 条件词表补全（未按期/未释放），套件 10/10 绿

spec-author

committed

8a06535

review 处置：AG-1/ADR-0076 身份面澄清、相似度参数版本化、陌生 AI 不可变身份存证、BEH 引用集合校验、CRLF 兼容、cp -- 加固、-O 恒绿防护、ARTIFACTS 去重叠（coderabbit 4 项 + qodo 2 项全采纳）

spec-author

committed

a2e806e

spec(IR-0004): rev5 judge-deep 攻防轮——套件 v4 四类防线（then 查重/given-when 深度/正文内容锚/规模锚），J1/J2 击穿实现本地重放确认全拦；14/14 绿

spec-author

committed

a5f6ad3

spec(IR-0004): 套件 v5 指纹防线——42 语义指纹（21 AC × 2 载荷短语），J1-J4 全部得手实现回归确认被拦、真身 15/15 绿；judge-deep 攻防轮收口

spec-author

committed

c89fd54

spec(IR-0004): 套件 v6 机制闭环指纹（21 条机制载荷短语）+ then≥120 深度下限 + AC-4/11/18/20 机制深度充实；J1-J6 全部得手实现回归被拦、真身 16/16 绿

spec-author

committed

4a47a87

spec(IR-0004): 套件 v7 出身记录完整性（修订理由非占位>=20字）——judge-deep 四轮攻防收敛：J7 三难困境认输、J8 委托式改写被出身检查拦；真身 17/17 绿，全部 8 次攻击实现回归被拦

spec-author

committed

e4a191f

spec(IR-0004): 套件 TestCase 化——unittest discover 契约（T-14 真实执行面 NO TESTS RAN 修复），pytest/unittest 双兼容 17 项；回归：真身绿、J4/J6/J8 攻击存档全拦

spec-author

committed

4d2ff0e

Merge branch 'main' into spec/IR-0004-315

randypanding

authored

2059bde

Navigation Menu

Uh oh!

spec(IR-0004): IR-0004 Cloudbird-Software/.github#315 条款级规格 rev4（ADR-0050，红队四轮 survived） - #338

spec(IR-0004): IR-0004 Cloudbird-Software/.github#315 条款级规格 rev4（ADR-0050，红队四轮 survived）#338
randypanding merged 17 commits into
mainfrom
spec/IR-0004-315

Commits on Aug 24, 2026

spec(IR-0004): IR-0004 Cloudbird-Software/.github#315 条款级规格 rev1 + suite 结构自测（ADR-0050）

fix(IR-0004): suite 测试 fixture 修正（load_fm 辅助函数，5/5 绿）

spec(IR-0004): rev2 增补 R1-B 迟归 8 项——试点仓勘误 AI_Web_School、blastRadius 补登（REPOS.yaml/cost-check/dashboard/CI-Workflows workflows+scripts）、planned 双向存在性、IFACE-01 执行层落点、IFACE-02 承接 cnb_bridge.py、DECISIO…

spec(IR-0004): rev4 R3 终审收敛——ADR-0083 引用修正（正本已迁实测核实）、AC-8 时态澄清、DECISION-06 检测载体、AC-4/10/19/21 负向断言、suite 17AC 负向覆盖+工件词绑定

spec(IR-0004): 补 run-suite.sh（adversary 目标契约）+ suite stdlib 执行适配

spec(IR-0004): run-suite.sh 加 METERING_PYTHON 覆盖口（同官方 fixture 契约）

spec(IR-0004): 套件语义锚定 v3（对抗 S1' posed-acceptance-criteria，adversary run 32686773389 判定 insufficient 的补强）——21 概念绑定/负向条件-后果结构/双工件词/then 密度/IR 量化锚；AC-10/14/20 given 概念词修正

spec(IR-0004): 语义锚定定稿——NEG_STRUCT 条件词表补全（未按期/未释放），套件 10/10 绿

review 处置：AG-1/ADR-0076 身份面澄清、相似度参数版本化、陌生 AI 不可变身份存证、BEH 引用集合校验、CRLF 兼容、cp -- 加固、-O 恒绿防护、ARTIFACTS 去重叠（coderabbit 4 项 + qodo 2 项全采纳）

spec(IR-0004): rev5 judge-deep 攻防轮——套件 v4 四类防线（then 查重/given-when 深度/正文内容锚/规模锚），J1/J2 击穿实现本地重放确认全拦；14/14 绿

spec(IR-0004): 套件 v5 指纹防线——42 语义指纹（21 AC × 2 载荷短语），J1-J4 全部得手实现回归确认被拦、真身 15/15 绿；judge-deep 攻防轮收口

spec(IR-0004): 套件 v6 机制闭环指纹（21 条机制载荷短语）+ then≥120 深度下限 + AC-4/11/18/20 机制深度充实；J1-J6 全部得手实现回归被拦、真身 16/16 绿

spec(IR-0004): 套件 v7 出身记录完整性（修订理由非占位>=20字）——judge-deep 四轮攻防收敛：J7 三难困境认输、J8 委托式改写被出身检查拦；真身 17/17 绿，全部 8 次攻击实现回归被拦

spec(IR-0004): 套件 TestCase 化——unittest discover 契约（T-14 真实执行面 NO TESTS RAN 修复），pytest/unittest 双兼容 17 项；回归：真身绿、J4/J6/J8 攻击存档全拦

Merge branch 'main' into spec/IR-0004-315