| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
v1.7.2 件② 批11 —— AC2 fuzz 语料回归（靶 + 语料入库 + 固定时长回放 + 腿 + 夜跑） 承 ar 裁决05 裁3（fuzz 靶认可）∧ 批10评审 A（准进批11）。 fuzz/ 靶 crate（独立 workspace）: 靶 = parse_worker_threads 纯解析面 —— 产品面唯一之 「外部字符串 → 内部值」通道 ⇒ 其健壮性即产品正确性之面（非「为满足 AC 而 fuzz 空函数」）。 路径依赖 ../deep ⇒ deep 又以 #[path] 引 src/pure.rs ⇒ 零拷贝零漂移。 靶载不变量（value 恒 Some ∧ 回退必取入参缺省）⇒ 靶可崩, 非恒绿。 语料库入库 6 档（8 / 0 / abc / +8 / usize::MAX / usize::MAX+1 ⇒ 覆盖四支 + 边界）。 ★ 实测捕出之订正: libFuzzer 不加载 0 字节语料档（文件系统 7 ⇒ files found 6） ⇒ 载体增 0 字节闸 ∧ 删该空档 ⇒ 二源计数对表。 载体 scripts/fuzz_replay_gate.sh: 回放取 -runs=0（逐语料一次, 无变异）—— 开放 fuzz 之 耗时与结果皆非确定 ⇒ 作门禁即「以掷骰充判据」; 回放确定性且有界（实测 7 runs / 0 秒）。 三处失真闸: 靶面 0 / 语料 0 / 未见 seed corpus 行 ⇒ 皆红。 腿 scripts/tests/ac2_fuzz_leg.sh: PASS=4 FAIL=0 G1 真面 rc=0 ∧ 靶面 1 ∧ 语料 6 G2 独立读数（libFuzzer files found ⇔ 文件系统档数） R1 临时面注入【必崩靶 + 触发语料】⇒ 回放 rc=1 ∧ 命中具名 probe: known-crash replay R2 同形面不注入 ⇒ rc=0 腿件当场自捕二缺陷并订正: ① cargo-fuzz 须【根 cargo 项目】(临时面唯 fuzz/ ⇒ could not find a cargo project ⇒ R1/R2 双双失真) ⇒ 补最小 [workspace] members = [] ② G2 谓词取错位（取 files found 之后文 ⇒ 无数字 ⇒ 恒空）。 nightly-deep.yml 增 fuzz-corpus job（on: 不变 ⇒ AC5④ 负向判据仍结构成立）。 检查14: fuzz ∧ fuzz/Cargo.toml 具名排除（二形并列 —— 目录形供②臂, 精确形供①臂）; .gitignore 增 fuzz/artifacts/（崩溃产物面 · 非交付件）。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 17 天前 | |
v1.7.2 件② 批11 —— AC2 fuzz 语料回归（靶 + 语料入库 + 固定时长回放 + 腿 + 夜跑） 承 ar 裁决05 裁3（fuzz 靶认可）∧ 批10评审 A（准进批11）。 fuzz/ 靶 crate（独立 workspace）: 靶 = parse_worker_threads 纯解析面 —— 产品面唯一之 「外部字符串 → 内部值」通道 ⇒ 其健壮性即产品正确性之面（非「为满足 AC 而 fuzz 空函数」）。 路径依赖 ../deep ⇒ deep 又以 #[path] 引 src/pure.rs ⇒ 零拷贝零漂移。 靶载不变量（value 恒 Some ∧ 回退必取入参缺省）⇒ 靶可崩, 非恒绿。 语料库入库 6 档（8 / 0 / abc / +8 / usize::MAX / usize::MAX+1 ⇒ 覆盖四支 + 边界）。 ★ 实测捕出之订正: libFuzzer 不加载 0 字节语料档（文件系统 7 ⇒ files found 6） ⇒ 载体增 0 字节闸 ∧ 删该空档 ⇒ 二源计数对表。 载体 scripts/fuzz_replay_gate.sh: 回放取 -runs=0（逐语料一次, 无变异）—— 开放 fuzz 之 耗时与结果皆非确定 ⇒ 作门禁即「以掷骰充判据」; 回放确定性且有界（实测 7 runs / 0 秒）。 三处失真闸: 靶面 0 / 语料 0 / 未见 seed corpus 行 ⇒ 皆红。 腿 scripts/tests/ac2_fuzz_leg.sh: PASS=4 FAIL=0 G1 真面 rc=0 ∧ 靶面 1 ∧ 语料 6 G2 独立读数（libFuzzer files found ⇔ 文件系统档数） R1 临时面注入【必崩靶 + 触发语料】⇒ 回放 rc=1 ∧ 命中具名 probe: known-crash replay R2 同形面不注入 ⇒ rc=0 腿件当场自捕二缺陷并订正: ① cargo-fuzz 须【根 cargo 项目】(临时面唯 fuzz/ ⇒ could not find a cargo project ⇒ R1/R2 双双失真) ⇒ 补最小 [workspace] members = [] ② G2 谓词取错位（取 files found 之后文 ⇒ 无数字 ⇒ 恒空）。 nightly-deep.yml 增 fuzz-corpus job（on: 不变 ⇒ AC5④ 负向判据仍结构成立）。 检查14: fuzz ∧ fuzz/Cargo.toml 具名排除（二形并列 —— 目录形供②臂, 精确形供①臂）; .gitignore 增 fuzz/artifacts/（崩溃产物面 · 非交付件）。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 17 天前 | |
v1.7.2 件② 批11 —— AC2 fuzz 语料回归（靶 + 语料入库 + 固定时长回放 + 腿 + 夜跑） 承 ar 裁决05 裁3（fuzz 靶认可）∧ 批10评审 A（准进批11）。 fuzz/ 靶 crate（独立 workspace）: 靶 = parse_worker_threads 纯解析面 —— 产品面唯一之 「外部字符串 → 内部值」通道 ⇒ 其健壮性即产品正确性之面（非「为满足 AC 而 fuzz 空函数」）。 路径依赖 ../deep ⇒ deep 又以 #[path] 引 src/pure.rs ⇒ 零拷贝零漂移。 靶载不变量（value 恒 Some ∧ 回退必取入参缺省）⇒ 靶可崩, 非恒绿。 语料库入库 6 档（8 / 0 / abc / +8 / usize::MAX / usize::MAX+1 ⇒ 覆盖四支 + 边界）。 ★ 实测捕出之订正: libFuzzer 不加载 0 字节语料档（文件系统 7 ⇒ files found 6） ⇒ 载体增 0 字节闸 ∧ 删该空档 ⇒ 二源计数对表。 载体 scripts/fuzz_replay_gate.sh: 回放取 -runs=0（逐语料一次, 无变异）—— 开放 fuzz 之 耗时与结果皆非确定 ⇒ 作门禁即「以掷骰充判据」; 回放确定性且有界（实测 7 runs / 0 秒）。 三处失真闸: 靶面 0 / 语料 0 / 未见 seed corpus 行 ⇒ 皆红。 腿 scripts/tests/ac2_fuzz_leg.sh: PASS=4 FAIL=0 G1 真面 rc=0 ∧ 靶面 1 ∧ 语料 6 G2 独立读数（libFuzzer files found ⇔ 文件系统档数） R1 临时面注入【必崩靶 + 触发语料】⇒ 回放 rc=1 ∧ 命中具名 probe: known-crash replay R2 同形面不注入 ⇒ rc=0 腿件当场自捕二缺陷并订正: ① cargo-fuzz 须【根 cargo 项目】(临时面唯 fuzz/ ⇒ could not find a cargo project ⇒ R1/R2 双双失真) ⇒ 补最小 [workspace] members = [] ② G2 谓词取错位（取 files found 之后文 ⇒ 无数字 ⇒ 恒空）。 nightly-deep.yml 增 fuzz-corpus job（on: 不变 ⇒ AC5④ 负向判据仍结构成立）。 检查14: fuzz ∧ fuzz/Cargo.toml 具名排除（二形并列 —— 目录形供②臂, 精确形供①臂）; .gitignore 增 fuzz/artifacts/（崩溃产物面 · 非交付件）。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 17 天前 | |
v1.7.2 件② 批11 —— AC2 fuzz 语料回归（靶 + 语料入库 + 固定时长回放 + 腿 + 夜跑） 承 ar 裁决05 裁3（fuzz 靶认可）∧ 批10评审 A（准进批11）。 fuzz/ 靶 crate（独立 workspace）: 靶 = parse_worker_threads 纯解析面 —— 产品面唯一之 「外部字符串 → 内部值」通道 ⇒ 其健壮性即产品正确性之面（非「为满足 AC 而 fuzz 空函数」）。 路径依赖 ../deep ⇒ deep 又以 #[path] 引 src/pure.rs ⇒ 零拷贝零漂移。 靶载不变量（value 恒 Some ∧ 回退必取入参缺省）⇒ 靶可崩, 非恒绿。 语料库入库 6 档（8 / 0 / abc / +8 / usize::MAX / usize::MAX+1 ⇒ 覆盖四支 + 边界）。 ★ 实测捕出之订正: libFuzzer 不加载 0 字节语料档（文件系统 7 ⇒ files found 6） ⇒ 载体增 0 字节闸 ∧ 删该空档 ⇒ 二源计数对表。 载体 scripts/fuzz_replay_gate.sh: 回放取 -runs=0（逐语料一次, 无变异）—— 开放 fuzz 之 耗时与结果皆非确定 ⇒ 作门禁即「以掷骰充判据」; 回放确定性且有界（实测 7 runs / 0 秒）。 三处失真闸: 靶面 0 / 语料 0 / 未见 seed corpus 行 ⇒ 皆红。 腿 scripts/tests/ac2_fuzz_leg.sh: PASS=4 FAIL=0 G1 真面 rc=0 ∧ 靶面 1 ∧ 语料 6 G2 独立读数（libFuzzer files found ⇔ 文件系统档数） R1 临时面注入【必崩靶 + 触发语料】⇒ 回放 rc=1 ∧ 命中具名 probe: known-crash replay R2 同形面不注入 ⇒ rc=0 腿件当场自捕二缺陷并订正: ① cargo-fuzz 须【根 cargo 项目】(临时面唯 fuzz/ ⇒ could not find a cargo project ⇒ R1/R2 双双失真) ⇒ 补最小 [workspace] members = [] ② G2 谓词取错位（取 files found 之后文 ⇒ 无数字 ⇒ 恒空）。 nightly-deep.yml 增 fuzz-corpus job（on: 不变 ⇒ AC5④ 负向判据仍结构成立）。 检查14: fuzz ∧ fuzz/Cargo.toml 具名排除（二形并列 —— 目录形供②臂, 精确形供①臂）; .gitignore 增 fuzz/artifacts/（崩溃产物面 · 非交付件）。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 17 天前 |
| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
| 17 天前 | ||
| 17 天前 | ||
| 17 天前 | ||
| 17 天前 |