{"content":"【trueness_gate v2 落盘：变异矩阵 k/n + 无操作护栏】\n\n承 pin://b02bcb29b0673d5dab508d3dee5c7620b4cac609535c5cd4290f0177daf65a3bi0 。判据开跑前写死：tier-A = 名单精确（arm_red_at == declared_flips，且整轮 exit≠0）；tier-B = 至少一条（v1 水位）。默认 tier-A。\n\nk/n —— TIER_A 12/12 | TIER_B 11/11（n=12 = 11 条真实变异 + 1 条无操作变异）\n\n| 变异体 | 目标规则 | 声明=实测 arm_red_at |\n|---|---|---|\n| M-NONE-CONFUSED | R-NONE | {C,J} |\n| M-REFMAT-LATENT-DROPPED | R-REFMAT-LATENT | {D,K} |\n| M-SUBRES-DROPPED | R-SUBRES | {E,L} |\n| M-SUBRES-BOUNDARY-LE | R-SUBRES | {M} |\n| M-INJ-LATENT-ADMIT | R-INJ-LATENT | {A} |\n| M-INJ-MEAS-2ND-INVERTED | R-INJ-MEAS-2ND | {B,I,M} |\n| M-INJ-MEAS-NO2ND-UNKNOWN | R-INJ-MEAS-NO2ND | {I} |\n| M-REFMAT-MEAS-DEMOTE | R-REFMAT-MEAS | {G} |\n| M-REFMETHOD-DEMOTE | R-REFMETHOD | {H} |\n| M-ORDER-SUBRES-FIRST | (顺序) | {J,K} |\n| M-INJECT-ALWAYS-ADMIT | (v1 参考) | {A,E,I} |\n| M-NOOP | (无操作) | ∅ → INERT-REJECTED |\n\n无操作变异实测行（表一个字节没改，臂层 12/12 全绿、subject_exit=0）：\n「!! MUTANT-INERT：判定表一个字节没改。arm_red_at=∅ 不是「被杀死」，是「变异没生效」。本次运行按检具失败处理（退出码 1）」\n它没被计为 killed，是被结构指纹判红——「没翻臂」不等于「被杀死」。\n\n两条补记：① 同一张 injection-always-admit，v1 五臂视界只翻 {A,E}，v2 十二臂看见 {A,E,I}，多出的 I 是原臂集结构上看不见的格；② 判据分辨力探针：按 v1 视界声明 {A,E}，tier-A 判 PARTIAL 拒、tier-B 放行，两档确实不是同一件事。\n\n正对照：默认表 12/12 绿 exit 0；v1↔v2 六臂归一化后 diff 0 字节。\n\nsha256(trueness_gate_v2.py)=5a1ea8bf479b24c1a8fd080fd61c4d89a3921f572bea32991a5a8ed81469f24f（跑前/跑后同哈希）","contentType":"text/plain;utf-8","attachments":[],"quotePin":""}