| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
v1.9.4 M7(dev): botgate 二红真修（doc-check + audit 载体对齐）+ AC7 可判面 令源: 用户令（ar comm 10:02Z）「M7 开工」+ ar 裁决 08 裁1/裁3 + 上游 test AC7 独立验证 （release/v1.9.4/V194_AC7_PIPELINE_VERIFICATION.md · 8e516bacd） 一、doc-check —— 真因 + 真修（承裁1） 真因（一手 · 取自 botgate doc-check.log 原文）: error: missing documentation for the crate --> src/main.rs:10:1 = note: requested on the command line with -F missing-docs botgate 之 doc-check 以 -F missing-docs 跑 rustdoc, 而 src/main.rs 无 crate 级文档 ⇒ missing_docs 触发 ⇒ exit_code=101。★ 非工具链之故（同跑 check/clippy/test 三步皆过）。 修: src/main.rs 首部补 //! crate 级文档块（真修 · 非豁免 · 非改判据）。 二态: RUSTDOCFLAGS="-F missing-docs" cargo doc -p xwcode-skeleton --locked --no-deps 修前 rc=101 ⇄ 修后 rc=0（compiler-message 0） 二、supply-chain —— 豁免载体与器对齐（承裁1） 真因: botgate 走 cargo audit（不读 deny.toml）⇒ rustls 四公告于 cargo deny 豁免生效 而于 cargo audit 不生效 ⇒ 同红根于二器异判。 修: 新增 .cargo/audit.toml（cargo audit 之载体）。 取法（照实 · 非抄 deny.toml 全表）: 唯收 cargo audit 判为 vulnerability(error) 之四条; unmaintained ×3 于 cargo audit 系 warning(不阻塞) ⇒ 刻意不收, 留作可修性活提示 （同本仓对 yoke-derive yanked 之既裁 · V1.7.0_M2_SUPPLY_CHAIN_RULINGS_01 取乙形） ⇒ 二载体条目数不必相等: 取决于各器缺省严重度, 非载体之失。 二态: cargo audit --json --file Cargo.lock 修前 rc=1(count=4) ⇄ 修后 rc=0(count=0); 修后 warnings 仍 unmaintained3/unsound2/yanked1（活提示保留, 非清场） 三、AC7-c PR 前件 —— 可判面已取（test 之 GAP 系端点名误） 正名: GET .../protect_branches ⇒ 200 []（未配）∧ GET .../pull_request_settings ⇒ 200 （approval_required_approvers=1 · approvers/reviewers/disable_merge_by_self/can_force_merge 逐值） ★ test 四形非正名; 其中二形实返 405/400 ⇒ 端点存在（形不合）, 非「不可观测」 ⇒ 404 ⇄ 405/400 之别即「无此端点」⇄「有此端点而形不合」; 以 404 判不可观测致假 GAP。 ★ 本席未落任何治理变更（照实 · 候裁）: 用户令「能配则配」与「当前仍直推」在分支保护一项相抵 ⇒ 只取读数, 不动仓库设置。令牌 project_access.access_level=40（Maintainer）。 四、并载: GitCode Actions（.gitcode/workflows/）之判 —— 非本版流水线之路 - 新址编排入口 = .gitcode/workflows/（非 .github/workflows/） - 探针二读数并载（含本席一次自我推翻）: 侧支时 workflows=0（初判「特性未开」= 失当） ⇄ 落默认支后 workflows=1 state=active（推翻初判; 真因 = actions/workflows 无 ref 参数 ⇒ 只认默认支） - 执行面: 推空提交后逐 20s 轮询 actions/runs 六次恒 0 ⇒ 注册成立 ⇄ 执行不成立 （与文档「须申请代码化流水线内测名额」相合） - ⇒ 本版 M7 之流水线 = xuanwu-ci, 非 GitCode Actions; 探针件已撤（不留死配置） - 附: .github/workflows 三档 AtomGit 语法皆 valid=false（ci 85 / nightly 30 / codeql 5 诊断） ⇒ 若日后取迁移之路须先过语法适配（候裁） 五、AC7-b 端到端 = GAP 续（照实）: 本席未取独立可判面; 不以相邻读数充该面之证。 六、自检 / 制品 - fmt rc=0 · clippy -D warnings rc=0 · build --release rc=0 · 现役守卫 v154 十五全过 rc=0 · typos rc=0 - ★ 二进制 sha256 2b165bab… / size 35796032 与部署位【逐位同】⇒ //! 文档块字节中性 ⇒ 无须重部署 七、凭据纪律（照实 · 含一次外显） - ~/linux.txt 经 $(cat …) 取用 · 未入库/未入报文/未落档 - ★ 并载一次失: 首次探针以 sed 遮蔽, 该正则假定 key=value 形而该档系裸串 ⇒ 遮蔽失效 ⇒ 令牌值当场打印一次。根因 = 以【形之假定】充【遮蔽】; 补救 = 其后只以 $(cat …) 取用。 呈报用户可自决是否轮换。 证据档 - release/v1.9.4/evidence/M7_PIPELINE_BOTGATE_FIX_AND_AC7_FACES.md - release/v1.9.4/evidence/m7_pipeline/{01,02,03}_*.txt + SHA256SUMS Co-Authored-By: Claude Code <noreply@anthropic.com> | 9 天前 | |
v1.7.2 件② 批10 —— AC1 Miri 挂载（靶面抽取 src/pure.rs + deep/ 同源靶 + 腿 + nightly-deep.yml） 承 ar 裁决05 裁1（取甲）: 抽 std-only 纯函数 src/pure.rs（产品真逻辑 —— 线程封顶 min(4,ncpu) ∧ worker-thread 解析四支），深测靶 crate deep/（独立 workspace · 零依赖）以 #[path] 引同一源 （非拷贝 ⇒ 零漂移 ⇒ 真靶非假靶）。src/main.rs 唯改调用（行为零变）。 腿 scripts/tests/ac1_miri_leg.sh: PASS=6 FAIL=0 G1 真面 miri rc=0 ∧ running 12 tests（靶非空） G2 独立读数（源面 #[test] 计数 12）与 G1 对表（二源异面） G3 同源二态对照（改 src/pure.rs 一判据 ⇒ 靶 rc=101） G4 机械抽取 v1.7.1:src/main.rs 原函数（14 行）与 pure:: 逐项等值（行为零变） R1 UB 注入（use-after-free）⇒ Miri rc=1 ∧ 报 Undefined Behavior; R2 对照 rc=0 新档 .github/workflows/nightly-deep.yml: on 唯 schedule + workflow_dispatch ⇒ AC5④ 负向判据（push/PR 可达 job 集 ∩ M1 名集 = 空）结构成立（承裁决05 裁2）。 检查14: src 入纳入面（实证 24 项 lock_tests 于 src 零命中 ⇒ 不改证1 任何读数） ∧ deep 具名排除（测试载体 · 判据由 ac1_miri_leg.sh 承载）; 三面一致同批改。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 20 天前 |