| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
v1.9.17(dev): R41②/R43 fuzz 靶面扩容 1⇒4（按输入族分靶 ＋ 逐靶必红对照） 承 ar 裁决 43「取甲：一入口按输入族分靶（parse 分三族＋clamp 一靶＝4）， 不改产品码，即时可达；每靶须载输入族＋必红对照」。 靶（4 · 逐靶显名其输入族 · 三族互斥 ∧ 合之 = 入口全覆盖）: ① parse_worker_threads 族 C: 任意 UTF-8（混合: 空白/符号/多字节） ② parse_worker_threads_numeric 族 A: 滤后唯 [0-9+] ∧ 非空（滤空 ⇒ "0"） ③ parse_worker_threads_nonutf8 族 B: None ∨ 空串 ∨ 非 UTF-8（二不告警面） ④ clamp_default ncpu 之可得性 ∧ 量级（产品可达域 ncpu ≥ 1） 计数口径（承 R43）: fuzz_targets/*.rs 档数 = 4 ⇔ Cargo.toml [[bin]] 条数 = 4（须同值）。 ★ 断言强化（必红对照之前件）: 前态 parse 靶之二断言皆恒真（v1.7.2 审计 M3-02 「靶面两不变量结构恒真 ⇒ 绿侧无鉴别力」）⇒ 改为锚定独立参照 str::parse::<usize>()。 ★ 必红对照（一手 · 二法不同面并载）: 甲 注入法（临时面逐靶 panic）⇒ 4/4 rc=1 ∧ 具名; 乙 test 侧撤靶法（1 靶面 ⇒ 不达 / 4 靶面 ⇒ 达）。 ★ 自捕三失（同族 · 皆由真回放捕获）: 独立参照 ≠ 契约（漏空串支 / 误纳他族 / 值断言漏子支）。 ★ 并载: 首稿注文含 [[bin]] 表头字面 ⇒ 宽谓词假多计 2⇒6（test 已警示）⇒ 已改去。 面三值: 支 dev · 尖 3e39c15a7 · 树 e7f9122d8（批前; 本笔尖/树见交付报文） ★ 射程外残留（请 ar 裁）: scripts/fuzz_replay_gate.sh:33 与 scripts/tests/ac2_fuzz_leg.sh:54 皆 find … | head -1 唯取一靶 ⇒ 加靶后 3 靶未入任何门（扩面形式达 · 实效未达）。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 4 天前 | |
v1.9.17(dev): R41②/R43 fuzz 靶面扩容 1⇒4（按输入族分靶 ＋ 逐靶必红对照） 承 ar 裁决 43「取甲：一入口按输入族分靶（parse 分三族＋clamp 一靶＝4）， 不改产品码，即时可达；每靶须载输入族＋必红对照」。 靶（4 · 逐靶显名其输入族 · 三族互斥 ∧ 合之 = 入口全覆盖）: ① parse_worker_threads 族 C: 任意 UTF-8（混合: 空白/符号/多字节） ② parse_worker_threads_numeric 族 A: 滤后唯 [0-9+] ∧ 非空（滤空 ⇒ "0"） ③ parse_worker_threads_nonutf8 族 B: None ∨ 空串 ∨ 非 UTF-8（二不告警面） ④ clamp_default ncpu 之可得性 ∧ 量级（产品可达域 ncpu ≥ 1） 计数口径（承 R43）: fuzz_targets/*.rs 档数 = 4 ⇔ Cargo.toml [[bin]] 条数 = 4（须同值）。 ★ 断言强化（必红对照之前件）: 前态 parse 靶之二断言皆恒真（v1.7.2 审计 M3-02 「靶面两不变量结构恒真 ⇒ 绿侧无鉴别力」）⇒ 改为锚定独立参照 str::parse::<usize>()。 ★ 必红对照（一手 · 二法不同面并载）: 甲 注入法（临时面逐靶 panic）⇒ 4/4 rc=1 ∧ 具名; 乙 test 侧撤靶法（1 靶面 ⇒ 不达 / 4 靶面 ⇒ 达）。 ★ 自捕三失（同族 · 皆由真回放捕获）: 独立参照 ≠ 契约（漏空串支 / 误纳他族 / 值断言漏子支）。 ★ 并载: 首稿注文含 [[bin]] 表头字面 ⇒ 宽谓词假多计 2⇒6（test 已警示）⇒ 已改去。 面三值: 支 dev · 尖 3e39c15a7 · 树 e7f9122d8（批前; 本笔尖/树见交付报文） ★ 射程外残留（请 ar 裁）: scripts/fuzz_replay_gate.sh:33 与 scripts/tests/ac2_fuzz_leg.sh:54 皆 find … | head -1 唯取一靶 ⇒ 加靶后 3 靶未入任何门（扩面形式达 · 实效未达）。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 4 天前 | |
v1.9.17(dev): R41②/R43 fuzz 靶面扩容 1⇒4（按输入族分靶 ＋ 逐靶必红对照） 承 ar 裁决 43「取甲：一入口按输入族分靶（parse 分三族＋clamp 一靶＝4）， 不改产品码，即时可达；每靶须载输入族＋必红对照」。 靶（4 · 逐靶显名其输入族 · 三族互斥 ∧ 合之 = 入口全覆盖）: ① parse_worker_threads 族 C: 任意 UTF-8（混合: 空白/符号/多字节） ② parse_worker_threads_numeric 族 A: 滤后唯 [0-9+] ∧ 非空（滤空 ⇒ "0"） ③ parse_worker_threads_nonutf8 族 B: None ∨ 空串 ∨ 非 UTF-8（二不告警面） ④ clamp_default ncpu 之可得性 ∧ 量级（产品可达域 ncpu ≥ 1） 计数口径（承 R43）: fuzz_targets/*.rs 档数 = 4 ⇔ Cargo.toml [[bin]] 条数 = 4（须同值）。 ★ 断言强化（必红对照之前件）: 前态 parse 靶之二断言皆恒真（v1.7.2 审计 M3-02 「靶面两不变量结构恒真 ⇒ 绿侧无鉴别力」）⇒ 改为锚定独立参照 str::parse::<usize>()。 ★ 必红对照（一手 · 二法不同面并载）: 甲 注入法（临时面逐靶 panic）⇒ 4/4 rc=1 ∧ 具名; 乙 test 侧撤靶法（1 靶面 ⇒ 不达 / 4 靶面 ⇒ 达）。 ★ 自捕三失（同族 · 皆由真回放捕获）: 独立参照 ≠ 契约（漏空串支 / 误纳他族 / 值断言漏子支）。 ★ 并载: 首稿注文含 [[bin]] 表头字面 ⇒ 宽谓词假多计 2⇒6（test 已警示）⇒ 已改去。 面三值: 支 dev · 尖 3e39c15a7 · 树 e7f9122d8（批前; 本笔尖/树见交付报文） ★ 射程外残留（请 ar 裁）: scripts/fuzz_replay_gate.sh:33 与 scripts/tests/ac2_fuzz_leg.sh:54 皆 find … | head -1 唯取一靶 ⇒ 加靶后 3 靶未入任何门（扩面形式达 · 实效未达）。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 4 天前 | |
v1.9.17(dev): R41②/R43 fuzz 靶面扩容 1⇒4（按输入族分靶 ＋ 逐靶必红对照） 承 ar 裁决 43「取甲：一入口按输入族分靶（parse 分三族＋clamp 一靶＝4）， 不改产品码，即时可达；每靶须载输入族＋必红对照」。 靶（4 · 逐靶显名其输入族 · 三族互斥 ∧ 合之 = 入口全覆盖）: ① parse_worker_threads 族 C: 任意 UTF-8（混合: 空白/符号/多字节） ② parse_worker_threads_numeric 族 A: 滤后唯 [0-9+] ∧ 非空（滤空 ⇒ "0"） ③ parse_worker_threads_nonutf8 族 B: None ∨ 空串 ∨ 非 UTF-8（二不告警面） ④ clamp_default ncpu 之可得性 ∧ 量级（产品可达域 ncpu ≥ 1） 计数口径（承 R43）: fuzz_targets/*.rs 档数 = 4 ⇔ Cargo.toml [[bin]] 条数 = 4（须同值）。 ★ 断言强化（必红对照之前件）: 前态 parse 靶之二断言皆恒真（v1.7.2 审计 M3-02 「靶面两不变量结构恒真 ⇒ 绿侧无鉴别力」）⇒ 改为锚定独立参照 str::parse::<usize>()。 ★ 必红对照（一手 · 二法不同面并载）: 甲 注入法（临时面逐靶 panic）⇒ 4/4 rc=1 ∧ 具名; 乙 test 侧撤靶法（1 靶面 ⇒ 不达 / 4 靶面 ⇒ 达）。 ★ 自捕三失（同族 · 皆由真回放捕获）: 独立参照 ≠ 契约（漏空串支 / 误纳他族 / 值断言漏子支）。 ★ 并载: 首稿注文含 [[bin]] 表头字面 ⇒ 宽谓词假多计 2⇒6（test 已警示）⇒ 已改去。 面三值: 支 dev · 尖 3e39c15a7 · 树 e7f9122d8（批前; 本笔尖/树见交付报文） ★ 射程外残留（请 ar 裁）: scripts/fuzz_replay_gate.sh:33 与 scripts/tests/ac2_fuzz_leg.sh:54 皆 find … | head -1 唯取一靶 ⇒ 加靶后 3 靶未入任何门（扩面形式达 · 实效未达）。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 4 天前 | |
v1.9.17(dev): R41②/R43 fuzz 靶面扩容 1⇒4（按输入族分靶 ＋ 逐靶必红对照） 承 ar 裁决 43「取甲：一入口按输入族分靶（parse 分三族＋clamp 一靶＝4）， 不改产品码，即时可达；每靶须载输入族＋必红对照」。 靶（4 · 逐靶显名其输入族 · 三族互斥 ∧ 合之 = 入口全覆盖）: ① parse_worker_threads 族 C: 任意 UTF-8（混合: 空白/符号/多字节） ② parse_worker_threads_numeric 族 A: 滤后唯 [0-9+] ∧ 非空（滤空 ⇒ "0"） ③ parse_worker_threads_nonutf8 族 B: None ∨ 空串 ∨ 非 UTF-8（二不告警面） ④ clamp_default ncpu 之可得性 ∧ 量级（产品可达域 ncpu ≥ 1） 计数口径（承 R43）: fuzz_targets/*.rs 档数 = 4 ⇔ Cargo.toml [[bin]] 条数 = 4（须同值）。 ★ 断言强化（必红对照之前件）: 前态 parse 靶之二断言皆恒真（v1.7.2 审计 M3-02 「靶面两不变量结构恒真 ⇒ 绿侧无鉴别力」）⇒ 改为锚定独立参照 str::parse::<usize>()。 ★ 必红对照（一手 · 二法不同面并载）: 甲 注入法（临时面逐靶 panic）⇒ 4/4 rc=1 ∧ 具名; 乙 test 侧撤靶法（1 靶面 ⇒ 不达 / 4 靶面 ⇒ 达）。 ★ 自捕三失（同族 · 皆由真回放捕获）: 独立参照 ≠ 契约（漏空串支 / 误纳他族 / 值断言漏子支）。 ★ 并载: 首稿注文含 [[bin]] 表头字面 ⇒ 宽谓词假多计 2⇒6（test 已警示）⇒ 已改去。 面三值: 支 dev · 尖 3e39c15a7 · 树 e7f9122d8（批前; 本笔尖/树见交付报文） ★ 射程外残留（请 ar 裁）: scripts/fuzz_replay_gate.sh:33 与 scripts/tests/ac2_fuzz_leg.sh:54 皆 find … | head -1 唯取一靶 ⇒ 加靶后 3 靶未入任何门（扩面形式达 · 实效未达）。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 4 天前 | |
v1.9.17(dev): R41②/R43 fuzz 靶面扩容 1⇒4（按输入族分靶 ＋ 逐靶必红对照） 承 ar 裁决 43「取甲：一入口按输入族分靶（parse 分三族＋clamp 一靶＝4）， 不改产品码，即时可达；每靶须载输入族＋必红对照」。 靶（4 · 逐靶显名其输入族 · 三族互斥 ∧ 合之 = 入口全覆盖）: ① parse_worker_threads 族 C: 任意 UTF-8（混合: 空白/符号/多字节） ② parse_worker_threads_numeric 族 A: 滤后唯 [0-9+] ∧ 非空（滤空 ⇒ "0"） ③ parse_worker_threads_nonutf8 族 B: None ∨ 空串 ∨ 非 UTF-8（二不告警面） ④ clamp_default ncpu 之可得性 ∧ 量级（产品可达域 ncpu ≥ 1） 计数口径（承 R43）: fuzz_targets/*.rs 档数 = 4 ⇔ Cargo.toml [[bin]] 条数 = 4（须同值）。 ★ 断言强化（必红对照之前件）: 前态 parse 靶之二断言皆恒真（v1.7.2 审计 M3-02 「靶面两不变量结构恒真 ⇒ 绿侧无鉴别力」）⇒ 改为锚定独立参照 str::parse::<usize>()。 ★ 必红对照（一手 · 二法不同面并载）: 甲 注入法（临时面逐靶 panic）⇒ 4/4 rc=1 ∧ 具名; 乙 test 侧撤靶法（1 靶面 ⇒ 不达 / 4 靶面 ⇒ 达）。 ★ 自捕三失（同族 · 皆由真回放捕获）: 独立参照 ≠ 契约（漏空串支 / 误纳他族 / 值断言漏子支）。 ★ 并载: 首稿注文含 [[bin]] 表头字面 ⇒ 宽谓词假多计 2⇒6（test 已警示）⇒ 已改去。 面三值: 支 dev · 尖 3e39c15a7 · 树 e7f9122d8（批前; 本笔尖/树见交付报文） ★ 射程外残留（请 ar 裁）: scripts/fuzz_replay_gate.sh:33 与 scripts/tests/ac2_fuzz_leg.sh:54 皆 find … | head -1 唯取一靶 ⇒ 加靶后 3 靶未入任何门（扩面形式达 · 实效未达）。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 4 天前 |