| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
v1.7.2 件② 批7 —— AC10 发布工件门（dist plan 非空 ∧ cyclonedx SBOM） - dist-workspace.toml 入库（dist init -y 产物 + 本席**三处具名之裁**）: ★ 裁一 ci = [] —— ci = "github" 须 repository **指向 GitHub**，而本仓托管于 gitcode.com ⇒ 一手实证 rc=255（Only GitHub URLs are supported at the moment） ⇒ 取 "github" 即【结构性恒红】（本版靶心之反面） ★ 裁二 installers = [] —— 本仓自有 install.sh ⇒ 再取 dist installer 即【双安装面】 ★ 裁三 targets 收窄为 **Linux 二支**（弃默认 apple/windows）—— 逐支载据: aarch64 = 现役部署面 ∧ x86_64 = 开发机面; 无部署面之据者列入即【规划了不构建之物】 - ★★ Cargo.toml [package.metadata.dist] dist = true —— **publish = false 之必要配对** 一手实证（探针面）: 留 publish = false ∧ 去本键 ⇒ dist 判「This workspace doesn't have anything for dist to Release!」并**直接点出**该键; 去 publish = false ∧ 去本键 ⇒ plan rc=0（**二态对照**）⇒ 非可选装饰。★ 批6 之笔若**不配对**即**静默**使本批 判据空转 —— 此即本键之由 - Cargo.toml [profile.dist]（inherits = "release"） - 新载体 scripts/sbom_gate.sh: ① dist plan **非空**（工件数 =0 ⇒ **空集失真** · 承 test 方案 §三 之★★ 二次空集险）② cyclonedx SBOM（**格式显名** CycloneDX/1.3） - ★★ **归一化四面**（本席自捕 · 逐条一手实证）: ★ 挥发二: serialNumber（随机 UUID）∧ metadata.timestamp —— 同面连跑二次**逐位异** （differ: byte 99, line 5）⇒ 不归一化则**逐跑必红** ★★ 机器相关二: ① 根包 ref 含**绝对路径**（path+file://<ws>#… · 现档 3 处）⇒ CI checkout 于 /home/runner/work/… ⇒ **CI 必红唯因路径** ② metadata.properties[…target:triple] 随**宿主**变（本机 aarch64 ⇄ CI x86_64） 治: ① 路径归一抹去 ② **生成时显式钉靶** --target aarch64-unknown-linux-gnu （★ 取【钉靶】非【抹去】之由: 该字段**有语义**） ★★ 并载: 路标红侧谓词「SBOM **变**」若落于【档字节】则**恒真**（挥发字段使然） ⇒ 判据须落【归一化后之结构面】 - 入库档 sbom/xwcode-skeleton.cdx.json（448310 字节 · 承 AC 逐字「档入库」）—— 载体之漂移判据以**其为另一操作数** ⇒ 使「档入库」**非静默陈旧** - 新腿 scripts/tests/ac10_sbom_leg.sh（绿侧 G1/G2 + 红侧 R1 + 对照 R2 · **接入出口码**）: 本机 PASS=6 FAIL=0 rc=0 ★★ **双面对照**: R1（探针删 libc）与 R2（同探针不删）**同形** · 差唯一行 ⇒ R1 载体 rc=1（漂移）∧ R2 rc=0（归一化逐位符）⇒ 判据**非恒真** ∧ **非恒假** ∧ 差**可归**; ★ R2 并承【**路径因之归一抹去**】（探针在 $TMPDIR · 异于入库档之仓根） - ★ 门禁**首跑即红**（照实 · 二处）: ① 检查14(AC10②/界之具名): 新档 dist-workspace.toml 界未具名 ⇒ 处置 = **具名排除** （新增类 **庚** · 载由: 新档无既存特征锁标识须登 ∧ 判据由本 AC 之专司载体承载 ∧ **禁纳入**之由 = 纳入面愈宽则证1 之代码级命中愈易满足 = **削弱证1**） ② 检查9: 本地 master 引用**陈旧**（前番 ff 只移 dev 未移 master）⇒ 判「dev 领先 master 1 个 commit」⇒ 处置 = checkout master → merge --ff-only origin/master → checkout dev → merge --ff-only master（**ff-only** · 零 force） - ★ 锚复算: 本批改者系 CHECK14_DOMAIN_EXEMPT（**不在** md5 域内）—— 哨符区间（16 行） md5 **编辑前后同值** = deca0d617910bc07f9d482fd5dc4124f = 锚 ⇒ **不须重锚**（实证 · 非疏漏） - ★ 器之坑（照实 · 本席当场捕）: dist plan | head -N ⇒ rc=134（**非** 0）—— Rust 缺省**忽略 SIGPIPE** ⇒ 写已闭管道 ⇒ panic ⇒ abort; 载体取**命令替换**避之 - ci.yml publish-gate job 增 3 步（install-action ∧ 载体 ∧ 腿; 前置 rustup target add aarch64-unknown-linux-gnu 去一 CI-only 失败因）⇒ job 数仍 15 - 核（照实）: 门禁 XW_ADJUDICATE_SKIP=检查5#1 bash scripts/verify_release.sh ⇒ rc=0 （检查14 枚举 20 档皆具名 ∧ 检查25 面 128 件/候选 73 条全在名册 ∧ 检查27 声明面 32 项全到达）; yaml.safe_load rc=0; fmt/clippy/build --release 皆 rc=0; ★ nextest rc=4 —— tests run = 0（members = [] **结构性零覆盖 · 非绿**） - D6: tasks.md 批7（T7.1–T7.12） Co-Authored-By: Claude Code <noreply@anthropic.com> | 20 天前 | |
v1.7.2 件② 批8 —— AC11 变更日志门（cliff.toml ∧ 版本标题集 ⊆ tag 集 · 承裁决03甲案） - ★★ 前件退役（本席一手实证）: 路标原书逐字命令 git-cliff --check 于 git-cliff 2.14.2 **不存在** —— 直跑 ⇒ rc=2 error: unexpected argument '--check' found; 全旗/选项枚举 = 50 项，含 check|diff|dry|verify 之命中 = **0**（唯一疑似命中 -l,--latest 系 latest 含 test 之子串**假命中**）。⇒ 本席**勘察前置报告**（未落笔 · 承「报告 ≠ 获准」） ⇒ ar **裁决03**（取甲 · 乙/丙否决）+ **路标就地订正09**（逐字命令退役） - cliff.toml 入库（**非** --init 默认形 · 二处具名之裁）: ★ 裁一 filter_unconventional = false（弃 --init 之 true）—— 本仓提交信息**多为中文 散文**（非 conventional-commit）⇒ 取 true 则**零 conventional-commit 之 tag 节被 【整节略去】**（一手实证: 全史输出之版本集 275 ⇄ 语义化 tag 281; ★ 同一 tag **二面异形** —— v1.7.1 于全史输出中**无节**而 --latest 下有节）⇒ 生成面覆盖面静缩且不可预期 ★ 裁二 tag_pattern 钉 v[0-9]+\.[0-9]+\.[0-9]+ —— 本仓另有非发布形 tag（如 xwshell-v0.1.0）∧ **与载体判据同域**（禁以宽窄不同之域互充） - 新载体 scripts/changelog_gate.sh: ① 生成面**内容条目非空**（落 - 条目行而**非**标题 —— 一手实证: 空 range HEAD..HEAD 仍产 ## [unreleased]（116 字节）⇒ 谓词「有输出」**恒真**; 现取条目数 = 13186） ② 【在库 CHANGELOG 版本标题集 ⊆ tag 集】（现取: 标题 265 ∧ tag 281 ∧ 差集 5 全在豁免表内） ③ tag − CHANGELOG（未撰版本 21 条）⇒ ::notice:: **只报不红**（判据方向仅要求已撰 ⊆ tag） ④ ★★ **豁免表自身亦复核**: 僵尸（已有 tag ⇒ 该条可删）∧ 无对象 ⇒ ::notice:: —— **禁静默陈旧**（承本版靶心） - 具名豁免**枚举封闭** 5 条（0.5.0/0.8.3/0.8.4/0.80.0/0.93.2 · 早期无 tag 之历史 遗留）—— **第六条出现 ⇒ 红**（承裁决03 裁4）; ★ 「本版窗口内」判据**不取**（窗口外新增 无 tag 标题可**漏网**） - 新腿 scripts/tests/ac11_changelog_leg.sh（绿侧 G1/G2 + 红侧 R1 + 对照 R2 · **接入出口码**）: 本机 PASS=5 FAIL=0 rc=0 ★ 红侧之可判形（承裁决03 裁6）: 探针植入 ## v9.9.9（**无 tag**）⇒ 载体 rc=1 ∧ 命中 「豁免表**之外**」∧ 具名 9.9.9; 对照（同克隆**不植入**）⇒ rc=0 ★★ 探针构造: 载体**同时**读【在库 CHANGELOG.md】∧【git tag 集】∧【cliff 生成面 （**须有提交史**）】⇒ 三者皆须具 ⇒ 取 git clone --shared（实测 ≈ 1.1 s · 294 tag 全承 · 零对象复制）⇒ 探针与真面**同史同 tag**，差异**唯一**于注入项（**克隆因之隔离**） ★ 克隆后**再**覆写 cliff.toml/CHANGELOG.md ⇒ 使**未提交之工作副本**亦得被探 - ★★ ci.yml publish-gate 之 checkout **须** fetch-depth: 0（**CI-only 失败因** · 本席显名）: actions/checkout@v4 缺省 = fetch-depth: 1 ∧ **零 tag** ⇒ 缺省形下 git tag -l = 空 ⇒ 265 个在库标题对 0 个 tag ⇒ **必红唯因 checkout 形**（非缺陷）; 并承 AC10（dist plan 亦读 tag）。增 git-cliff 至 install-action ∧ 载体步 ∧ 腿步 （job 数仍 15） - verify_release.sh 检查14 具名排除: cliff.toml 入 **庚 类**（并**重构**该条目使二档 **同律** —— dist-workspace.toml ∧ cliff.toml = 【交付物生成面之工具配置】） ★ **须显名其界**（防读者以「工具配置」一名混同）: 「器配置四档」（clippy/rustfmt/ typos/nextest.toml）**在纳入面** —— 彼四器**其读数即门禁判据本身**（属**判据面**）; 而 dist/cliff 之器**产出交付物**，判据由专司载体另立 ⇒ **二类不同面** - ★★ 门禁**首跑即红**（照实）—— 检查14(**窗口自检**) 捕出批7 之落档 sbom/xwcode-skeleton.cdx.json 界未具名 ⇒ 处置 = 新增类 **辛 · 发布工件产物面**（sbom） ★★ **并载其【何以批7 未现】**: 本检查之窗口面 = git diff --name-only "$_c14_wb..HEAD" ⇒ **只及【已提交】之改动** ⇒ 批7 落笔时该档**未提交** ⇒ **窗口未见** ⇒ 本批（批7 已 并入）方**现形**。★ **此即【窗口面之界】之活体: 绿 ≠ 无害，可为【尚未入窗】。** - ★ 锚复算: 本批改者系 CHECK14_DOMAIN_EXEMPT（**不在** md5 域内）—— 哨符区间 md5 **编辑前后同值** = deca0d617910bc07f9d482fd5dc4124f = 锚 ⇒ 不须重锚（实证） - 核（照实）: 门禁 XW_ADJUDICATE_SKIP=检查5#1 bash scripts/verify_release.sh ⇒ rc=0 （检查14 枚举 21 档皆具名 · 纳入 10 ∧ 具名排除 17 ∧ 检查25 面 130 件/候选 75 条 全在名册 ∧ 检查27 声明面 32 项全到达）; yaml.safe_load rc=0; fmt/clippy/build --release 皆 rc=0; ★ nextest rc=4 —— tests run = 0 （members = [] **结构性零覆盖 · 非绿**） - D6: tasks.md 批8（T8.1–T8.11） Co-Authored-By: Claude Code <noreply@anthropic.com> | 20 天前 | |
v1.9.12(dev): M3-e —— AC12 取乙（历史接受）落实现（门表＋载体＋腿件＋CI 面腿随动） 承 ar 裁决26（docs/V1912_RULINGS_26.md）裁1「取乙（历史接受）…3 条入 notice 历史接受表 （承丙表先例, 不阻断）, 门以「红具名」态收, 不再追轮换」∧ 裁2「dev 落实现（M3-e 关闭）: 门表＋重跑至 GATE 预期态; 门文自守随动。值禁入库（既有红线, 抑制只落提交 SHA）」。 落点: - .gitleaks.toml: 增第三 [[allowlists]]（乙表 · commits 键 = 提交 SHA · 零值面） ＋ 头注/段注正名（「不抑制 ∧ 门持红」⇒「notice ∧ 不阻断」）。 - scripts/secret_scan_gate.sh: 乙表 ::error::（阻断）转 ::notice::（历史接受）; ★ 无条件 ::notice:: 上提至「报告为空」早退之前（否则乙表入表后报告转空 ⇒ notice 永不达 ⇒ 具名面失守）。【新命中 ⇒ ::error:: ∧ rc=1】臂未动 ⇒ 咬合力不缩。 - scripts/tests/ac12_secret_scan_leg.sh: G1 判据形由【rc=1 ∧ 红唯归乙表】转 【rc=0 ∧ 乙 notice 在场 ∧ 丙 notice 在场 ∧ 零 ::error::】; G2 二表改三表 ∧ 自守向反转 （乙之提交须 ∈ 第三表 ∧ ∉ 甲/丙）。 - scripts/tests/ci_face_leg.sh: secret-scan@@skip@@ 载由随动（非掩红 · 乃归位）。 - release/v1.9.12/V1912_M3_AUDIT.md: 增 §十三（落点/notice 先于早退/咬合力/taplo 自捕/门禁/载由）。 我侧自捕（本批）: 乙表 commits 数组首版书多行 ⇒ taplo fmt --check rc=1; 取 HEAD 基线副本 同目录同器对照 rc=0 ⇒ 差归本笔; 根因 taplo array_auto_collapse（单元素取单行形）; 修后全量 rc=0。 读数: 载体 rc=0（乙/丙二 notice 并立 ∧ 未抑制命中 = 0）; 腿 rc=0 PASS=5 FAIL=0 （R1 阳性对照 rc=1 命中 1 ⇒ 咬合; R2 rc=0 ⇒ 非恒假）。 门禁: fmt 0 / clippy 0 / nextest 4（members = [] ⇒ 结构性零覆盖, 非绿）/ build 0 / typos 0 / taplo 0。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 3 天前 | |
test(v1.9.12): M1-b 判据档（P6-3∧AC-J-4 皆达）＋ cfg-guest 阳性夹具 ＋ 六腿显名支（裁19§2） ★ M1-b 判（承裁18§3 / 裁20§1「段一生即判」） - AC-J-4 三判据皆达: ① priority 降序 ② 同 priority 按 id 升序 ③ \n 连接 - ★ 判别力（决定性）: 体载发射序 #idx（ov#0,zz#1,aa#2,mm#3）而输出为 mm#3,ov#0,aa#2,zz#1 ⇒ 完全重排 ⇒ 宿主【真】排序（非照抄发射序）⇒ 判据非恒真 - P6-3 双向达: 撤 C ⇒ 他源(覆盖层)段仍在 / 撤他源 ⇒ manifest 段仍在 - P5-4 达: 零贡献非报错（segments: 0 ∧ rc=0） ★ 一手（订正前报） - 段之产源 = plugin.toml [plugin.config]（xwwasm v0.1.10 PluginSection.config 任意 TOML 表 ⇒ xwmgmt plugin_cmd.rs:488/534 原样透传）⇒ 先前「零段」纯系【夹具缺口】, 非产品缺陷 - ★★ events/turn_*.jsonl 之 system_prompt = truncate_system_prompt(s, 256)（xwcore runtime/mod.rs:400 · llm_request.rs:162/549）⇒ 依设计【摘要】⇒ 段追加于末 ⇒ 恒落 截断之外 ⇒ 该面【结构性不可判】AC-J-4/P6-3。⇒ 我侧 V1912_M1B_FACE_SURVEY.md §六 之「面在⇒可判」结论【已倒】（第二次同型自捕: 穷举【档】未穷举【形】） ★ 夹具（入库 · 干净 checkout 可复跑） - 新增 release/v1.9.12/fixtures/cfg-guest/plugin.toml（阳性 · 含 [plugin.config]） - guest.rs 改【多段】+ 体载发射序 #idx（判据判别力之要件） - 造法须 -C strip=symbols（否则 556KB: 安全切片索引 ⇒ panic 路径 ⇒ 符号膨胀）; 制品 非逐字节可复现 ⇒ wasm_sha256 钉【已入库制品】 - cfg-noconfig/plugin.{toml,wasm} 随同制品更新 sha ★ 六腿显名支（裁19§2 · 承裁17§2 同律 · test 域） - ac1/ac2/ac3/ac6/ac8/ac13: 增 rc=124 ∧ 空输出「未判」支（超时 ≠ 未咬合 · 禁混） - 照实: ac3/ac6/ac8/ac13 腿内零 timeout（124 经载体或不可达）⇒ 支为防御 · 由自陈读数显名 ★ 未改门核 scripts/verify_release.sh（新增 *.toml 之检查14 ① 臂补登归 dev · 见判据档 §三） Co-Authored-By: Claude Code <noreply@anthropic.com> | 3 天前 | |
v1.7.2 件② 批5 —— AC14 dev 命令块现支断言（M4 池项清偿 · 承 3f 建议①） - 新 scripts/hooks/pre-commit: 【现支断言】—— master 上唯【合并提交】（MERGE_HEAD 在场）可过; 单父提交一律拒（**含 docs-only**） - ★ 决定性: docs-only 不再豁免 —— 病（v1.7.1 3f W1）= B5-g 落 master 直笔（单父） ∧ 差集唯 release/** 二件 ⇒ pre-push 之 docs-only 豁免【放行】⇒ 【推送面零信号】 ⇒ 治在【落笔前】（pre-commit）而非【推送前】 - 具名豁免（逐条载由 · 非开区间）: XW_BRANCH_GUARD_ALLOW_DOCS=1 ⇒ 恢复 pre-push 之 docs-only 豁免（供评审档 / 路标编辑通道之角色）; 默认【不设】⇒ 硬 - 安装入工作副本（.git/hooks/pre-commit）∧ 真仓烟测: master 单父 staged ⇒ rc=1 （命中「现支断言【先红】」）⇄ dev ⇒ rc=0 - 新腿 scripts/tests/ac14_branch_assert_leg.sh（**夹具仓** · 绿侧 G1/G2 + 红侧 R1/R2 + 对照 R3 · **接入出口码**）: 本机 PASS=5 FAIL=0 rc=0 ★ R2 即 B5-g 之形（master ∧ 单父 ∧ docs-only）⇒ 必红 —— 该形于本批前 【pre-push 零信号】∧【pre-commit 无断言】⇒ 本批为其首立之面 - 夹具而非真仓之由: 断言之面（支 / MERGE_HEAD / 暂存面）须【精确构造】∧ 真仓 MERGE_HEAD 不可随意造（会破坏其状态）⇒ 取夹具仓（零触真仓） - ci.yml gate-selftest 接入本腿（job 数仍 14 ∧ yaml.safe_load rc=0） - 核: 检查25 scan rc=0（新档零未登记候选） - D6: tasks.md 批5（T5.1–T5.6） Co-Authored-By: Claude Code <noreply@anthropic.com> | 20 天前 | |
test(v1.9.12): M1-b 判据档（P6-3∧AC-J-4 皆达）＋ cfg-guest 阳性夹具 ＋ 六腿显名支（裁19§2） ★ M1-b 判（承裁18§3 / 裁20§1「段一生即判」） - AC-J-4 三判据皆达: ① priority 降序 ② 同 priority 按 id 升序 ③ \n 连接 - ★ 判别力（决定性）: 体载发射序 #idx（ov#0,zz#1,aa#2,mm#3）而输出为 mm#3,ov#0,aa#2,zz#1 ⇒ 完全重排 ⇒ 宿主【真】排序（非照抄发射序）⇒ 判据非恒真 - P6-3 双向达: 撤 C ⇒ 他源(覆盖层)段仍在 / 撤他源 ⇒ manifest 段仍在 - P5-4 达: 零贡献非报错（segments: 0 ∧ rc=0） ★ 一手（订正前报） - 段之产源 = plugin.toml [plugin.config]（xwwasm v0.1.10 PluginSection.config 任意 TOML 表 ⇒ xwmgmt plugin_cmd.rs:488/534 原样透传）⇒ 先前「零段」纯系【夹具缺口】, 非产品缺陷 - ★★ events/turn_*.jsonl 之 system_prompt = truncate_system_prompt(s, 256)（xwcore runtime/mod.rs:400 · llm_request.rs:162/549）⇒ 依设计【摘要】⇒ 段追加于末 ⇒ 恒落 截断之外 ⇒ 该面【结构性不可判】AC-J-4/P6-3。⇒ 我侧 V1912_M1B_FACE_SURVEY.md §六 之「面在⇒可判」结论【已倒】（第二次同型自捕: 穷举【档】未穷举【形】） ★ 夹具（入库 · 干净 checkout 可复跑） - 新增 release/v1.9.12/fixtures/cfg-guest/plugin.toml（阳性 · 含 [plugin.config]） - guest.rs 改【多段】+ 体载发射序 #idx（判据判别力之要件） - 造法须 -C strip=symbols（否则 556KB: 安全切片索引 ⇒ panic 路径 ⇒ 符号膨胀）; 制品 非逐字节可复现 ⇒ wasm_sha256 钉【已入库制品】 - cfg-noconfig/plugin.{toml,wasm} 随同制品更新 sha ★ 六腿显名支（裁19§2 · 承裁17§2 同律 · test 域） - ac1/ac2/ac3/ac6/ac8/ac13: 增 rc=124 ∧ 空输出「未判」支（超时 ≠ 未咬合 · 禁混） - 照实: ac3/ac6/ac8/ac13 腿内零 timeout（124 经载体或不可达）⇒ 支为防御 · 由自陈读数显名 ★ 未改门核 scripts/verify_release.sh（新增 *.toml 之检查14 ① 臂补登归 dev · 见判据档 §三） Co-Authored-By: Claude Code <noreply@anthropic.com> | 3 天前 | |
v1.9.2 M3-D1 升版批(dev): 版号 1.9.1⇒1.9.2 + 检查24 丙改动 + 检查14 续期点同批四件 + CHANGELOG 四态段 【判据面（ar 裁决 04 裁甲取丙）】 - ac1_patch_guard.py 增 align-check 子命令（收名册三集为参 · 出口码 0 合/1 失对齐/2 前提不成立） ⇒ 检查24 比较逻辑移入载体 ∧ selftest 增夹具十五（阴性/阳性/判别力/GAP/终态五臂） 治 test 三环批复核 捕一: 原比较逻辑在 verify_release.sh 内联段 ⇒ 载体 selftest 结构性不可达 二态对照: 实面 FAIL=0 / 篡改名册 FAIL=1（函数级）· 新载体正捕本批二真实病形 - 检查23 阳性对照注文 十四组 ⇒ 十五组 - 检查14 同批四件: ① 续期点 1.9.1⇒1.9.2 ② 名册 28⇒30（增 align_check + red20_spec_ver_marker_dual_control · 具名其由 + 逐项核过之候选判不登）③ 重锚 4767617c…⇒ede3b913…（区间恒16行不变式保持） ④ 红侧⑩ 样例前移（咬合 1.9.2⇒1.9.3 / 对照 1.9.1⇒1.9.2） 检查14 探针（cargo_ver=1.9.2）: FAIL=0 · 30 名全命中 【D1 射程】 - Cargo.toml version ⇒ 1.9.2（+ D1 注块 · 含升钉窗二分） - Cargo.lock 根包 ⇒ 1.9.2（唯 1/1 行） - sbom 重生成（组件数 361 不变 · sbom_gate rc=0） - CHANGELOG v1.9.2 条（含升钉窗二分 + F-40/F-41 四态段: D1预合并 GATE_RC=1 唯一红=检查9 / 合并面 / tag面 / post-flip） - ROADMAP 🚧 v1.9.2 行 · README 5 处（含条目行数读数 23⇒24）· RELEASE_NOTES v1.9.2 节（第四源） 【typos】test 三环复核批所落三门禁日志入 ①h 族（D1 三坑之三）⇒ typos rc=0 · taplo rc=0 Co-Authored-By: Claude Code <noreply@anthropic.com> | 11 天前 | |
test(v1.9.12): M1-b 判据档（P6-3∧AC-J-4 皆达）＋ cfg-guest 阳性夹具 ＋ 六腿显名支（裁19§2） ★ M1-b 判（承裁18§3 / 裁20§1「段一生即判」） - AC-J-4 三判据皆达: ① priority 降序 ② 同 priority 按 id 升序 ③ \n 连接 - ★ 判别力（决定性）: 体载发射序 #idx（ov#0,zz#1,aa#2,mm#3）而输出为 mm#3,ov#0,aa#2,zz#1 ⇒ 完全重排 ⇒ 宿主【真】排序（非照抄发射序）⇒ 判据非恒真 - P6-3 双向达: 撤 C ⇒ 他源(覆盖层)段仍在 / 撤他源 ⇒ manifest 段仍在 - P5-4 达: 零贡献非报错（segments: 0 ∧ rc=0） ★ 一手（订正前报） - 段之产源 = plugin.toml [plugin.config]（xwwasm v0.1.10 PluginSection.config 任意 TOML 表 ⇒ xwmgmt plugin_cmd.rs:488/534 原样透传）⇒ 先前「零段」纯系【夹具缺口】, 非产品缺陷 - ★★ events/turn_*.jsonl 之 system_prompt = truncate_system_prompt(s, 256)（xwcore runtime/mod.rs:400 · llm_request.rs:162/549）⇒ 依设计【摘要】⇒ 段追加于末 ⇒ 恒落 截断之外 ⇒ 该面【结构性不可判】AC-J-4/P6-3。⇒ 我侧 V1912_M1B_FACE_SURVEY.md §六 之「面在⇒可判」结论【已倒】（第二次同型自捕: 穷举【档】未穷举【形】） ★ 夹具（入库 · 干净 checkout 可复跑） - 新增 release/v1.9.12/fixtures/cfg-guest/plugin.toml（阳性 · 含 [plugin.config]） - guest.rs 改【多段】+ 体载发射序 #idx（判据判别力之要件） - 造法须 -C strip=symbols（否则 556KB: 安全切片索引 ⇒ panic 路径 ⇒ 符号膨胀）; 制品 非逐字节可复现 ⇒ wasm_sha256 钉【已入库制品】 - cfg-noconfig/plugin.{toml,wasm} 随同制品更新 sha ★ 六腿显名支（裁19§2 · 承裁17§2 同律 · test 域） - ac1/ac2/ac3/ac6/ac8/ac13: 增 rc=124 ∧ 空输出「未判」支（超时 ≠ 未咬合 · 禁混） - 照实: ac3/ac6/ac8/ac13 腿内零 timeout（124 经载体或不可达）⇒ 支为防御 · 由自陈读数显名 ★ 未改门核 scripts/verify_release.sh（新增 *.toml 之检查14 ① 臂补登归 dev · 见判据档 §三） Co-Authored-By: Claude Code <noreply@anthropic.com> | 3 天前 | |
v1.9.0 AC2/AC3 端到端腿 三项之修(dev): 码序订正(FAIL 优先 GAP) + 阶梯夹具自核 + 二处显名 令源: test 独立复核(msg-1791724566512-1 §2.2/§2.3/§2.4 · 档 release/v1.9.0/V190_AC23_LEG_INDEP_REVIEW.md) 三项归 dev 域(皆非阻塞)。 ar(msg-1791726493920-1)「三项归你域候你另批。部署位与仓面同步请显名守之。」 一 腿② 附加子句 (other not in screen) —— 显名(采「或显名」支 · 未删) test 变异实证: 删之 ⇒ 读数逐项不变(rc=1 · CTL=0) ⇒ 本面下零判别力。 保留为防御性(屏面渲染面非确定 ⇒ 退化解一旦出现即假绿); 注中显名「不得读作已咬合」。 真阴性对照仍为二臂注入值互异各须自符(与 test 会判一致)。 二 ★★ GAP 掩蔽 FAIL —— 码序订正 CTL(2) > FAIL(1) > GAP(3) > 绿(0) 病相(旧序 CTL→GAP→FAIL): GAP=1 ∧ FAIL=1 ⇒ rc=3 ⇒ 门禁落 skip_gap ⇒ 他腿真红被【未判】掩。 承在册【禁以未判充绿】之对偶【亦禁以未判掩红】。 判据本体抽为纯函数 exit_code()(唯此一处) + 阶梯夹具自核(python3 <probe> --selfcheck)。 夹具 7 条(含 test 之反例 (0,1,0,1) ⇒ 须 1) ⇒ 实跑 7 条 ∧ 不符 0 ⇒ rc=0。 ★ 阳性对照接入出口码: 腿件外壳【前置】跑 --selfcheck, 不过 ⇒ exit 2(读数不可读)非 1。 ★ 阴性对照(实跑): 旧序副本 --selfcheck ⇒ 该条读数 3 ≠ 1 ⇒ 不符 1 ⇒ rc=1 ⇒ 夹具可证伪旧序(非恒真)。 门禁 守⑨ rc=1 支并载 GAP 计数(免「只报红」被读作「无缺件面」)。 三 守卫死支 —— 显名「恒绕」(采显名支) Pty.__init__ 无条件置 XWCODE_ALLOW_PARALLEL_TESTS=1 ⇒ boot() 之 guard 支当前结构性不达; 保留为防御性(若日后改条件置该 env 即复活) ∧ 显名「不得读作本腿已覆盖守卫面」。 四 改面: scripts/tests/ac2ac3_e2e_probe.py ∧ ac2ac3_e2e_leg.sh ∧ scripts/verify_release.sh(唯守⑨ 面) CHECK14 锚自核: 实算 09e6bbd2b361d67bd56d0212cb1a2592 (sed -n '1863,1878p' | md5sum · 16 行) = 档内值逐位同 ⇒ 无须重锚。 器 sha256: 0a20042c… ⇒ 3d955335ae68962bc3b38a52deabd63f126f0f0a0a0efb8a708c26c7f9ff1832 五 针对性验证(dev 界): 阶梯夹具 7/0 rc=0 · 旧序阴性对照 rc=1(可证伪) · 腿件全跑 rc=0(1m51s) 面指纹 target/release/xwcode sha256 a2c97c15…(= P11 批产物 · 本批零产品源码变更) 六 整门留证: release/v1.9.0/evidence/gate_v190_testitems.log GATE_RC=0 ∧ FAIL 行 0 · 全部通过 ✓ · 守⑨ rc=0 ✓(修后仍绿) · 守④ 6/0 · 守⑦ 29/29/0 · 守⑧ 8/0/0/0 检查26 对表 32 项零差集 ∧ 检查27 声明面 32 项全到达 · 守⑥ WARN(不计 EXIT) typos ①h 入族: gate_v190_testitems.log(唯登记零改内容); 裸 typos rc=2 余红唯 audit/v182-arch-audit(在册冻结) 七 ★ 部署位 ↔ 仓面 同步(承 ar 令 · 显名守之) 仓面 target/release/xwcode ⇄ 部署位 /data1/km/ke-local/bin/xwcode 二径 sha256 皆 a2c97c15e9209a5336643c57e5b7d6e174263bc823d344a7f788c9e5811b5341 ∧ cmp -s rc=0 ⇒ 逐字节同 ⇒ 同步 ✓ 本批未动部署位(无 cp) ⇒ 其同步之证系二径逐字节比对, 非「未动故同步」之推定。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 12 天前 | |
v1.9.0 P12 双槽升钉批(dev): xwrepl v0.2.33 + xwkernel v1.4.14 + 裸 mock 旗标 fail-closed 消费(五处调用方同修) 令源: ar(msg-1791737381474-1)「另 P12 双槽已落 tag(v0.2.33/8ad8c395 + v1.4.14/af44d935), 即消费批 + e2e。」 一 升钉面(九行 + 一非显然成员) Cargo.toml:421-423,426 声明面 xwkernel 四键 Cargo.toml:901-904 [patch.xwkernel] 四键 Cargo.toml:1020 [patch.xwrepl] 一键(★ xwrepl 唯单面 —— 2026-09-24 AC2 删层后主线无主钉) scripts/tests/v143_structural_guards.sh:12 KERNEL_TAG v1.4.13 ⇒ v1.4.14(重钉面非显然成员; 世代解析取最大 ⇒ 跑 v154, v143 不在跑线 ⇒ 同批随动免留陈旧锚) 一手 ls-remote: xwrepl annotated 780669d2 → deref 8ad8c395; xwkernel eb196f73 → af44d935(与 ar 令逐位符) 计数自证: xwkernel v1.4.13 残留 0 / v1.4.14 命中 8; xwrepl v0.2.32 残留 0 / v0.2.33 命中 1 二 Cargo.lock: cargo update -p kernel -p kernel-macros -p kernel-loader -p kernel-host -p xwrepl rc=0 · Locking 5 packages · numstat 10/10(五包 × version+source) ★ 本批之异于前诸批: 【零无关漂移】(无 getrandom/windows-sys 类) ⇒ 无须以前态锁回退手改 cargo metadata --locked rc=0 三 配套腿件: AC5 rc=0(直钉 34/破例 0) · 锥锁 54⇄54(差 0) · AC1 rc=0(seg=18 entries=23 ssh_decl=0) 四 e2e: build rc=0(3m14s) · 冒烟 总体 ✅(TUI 692 字符 ∧ REPL 34) · 腿件 rc=0(PASS=4 FAIL=0 CTL=0 GAP=0 · 1m50s) SBOM 重生成 rc=0(363 组件/364 依赖 不变) · 重编重部署(a2c97c15 ⇒ 9d35fc47 · inode 180038026 不变 · 同步 cmp -s ✓) 五 ★★ 连带面 —— 裸 --mock-provider 之 fail-closed 消费(DEFECT 项清偿): xwkernel v1.4.14 kernel-host/src/args.rs:359 删 num_args=0..=1 ∧ default_missing_value="" ⇒ 裸旗标落 clap 解析期拒绝 = 甲 fail-closed(上游注逐字引本席 DEFECT 档之归族语) 行为级: 冒烟首跑即红 —— error: a value is required for '--mock-provider <MOCK_PROVIDER>' ★★ 连带暴露(照实 · 本批最要): 主线诸调用方之「离线确定性」【从来只是注释】—— 裸旗标于 v1.4.13 系静默 fail-open ⇒ 实走真 provider ⇒ 其【绿】系于真模型面取得(依赖本机模型配置 ⇒ 非确定 ∧ CI 不可达) ⇒ 本批使该宣称【首次为真】(读数 858 ⇒ 692 字符 = 真模型长文 ⇄ 夹具三行) 同修五处: conftest.py(2) · run_tui_smoke.py(1) · test_layout_spec.py(1) · ac2ac3_e2e_probe.py(2) ★ scripts/tui-smoke-test.py 之 --mock-provider 系脚本自身 argparse 形(唯带值时透传) ⇒ 本即安全 · 不改 新增夹具: tests/tui_validation/fixtures/mock_scenario.json DEFECT 档 docs/V1.9.0_DEFECT_BARE_MOCK_FLAG.md 加 §七 清偿登记 + §7.1 连带面(状态 ⇒ FIXED) 六 整门留证: release/v1.9.0/evidence/gate_v190_p12.log GATE_RC=0 ∧ FAIL 行 0 · 全部通过 ✓ · 守⑨ rc=0 ✓ ∧ 并载 面指纹 sha256=9d35fc47… 守④ 6/0 · 守⑦ 29/29/0 · 守⑧ 8/0/0/0 · 检查26 对表 32 项零差集 · 检查27 声明面 32 项全到达 ★ 首跑曾红(照实): FAIL 行 1 = 检查9(AC8) dev 领先 master 1 笔 —— 因 ar 推 RULINGS_03 后 我唯 ff 了 dev, 未对齐本地 master ref(仍停 132d2fbc6) ⇒ git branch -f master origin/master 后重跑即绿 (承在册律: 本地 master ref 须对齐; 本次漏行, 照实载) typos ①h 入族: gate_v190_p12.log(唯登记零改内容); 裸 typos rc=2 余红唯 audit/v182-arch-audit 二档(gate-lane.md 6 ∧ REPORT.md 2 = 8 条 · 在册冻结) 七 待行(登记 · 本批不动): verify_release.sh:2336 注载 SBOM 448310 字节 ⇒ 本批重生成后 448902 ⇒ 陈旧 (3j scope 之 P2-5 · 承 ar 令禁先并)。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 12 天前 | |
test(v1.9.12): M1-b 判据档（P6-3∧AC-J-4 皆达）＋ cfg-guest 阳性夹具 ＋ 六腿显名支（裁19§2） ★ M1-b 判（承裁18§3 / 裁20§1「段一生即判」） - AC-J-4 三判据皆达: ① priority 降序 ② 同 priority 按 id 升序 ③ \n 连接 - ★ 判别力（决定性）: 体载发射序 #idx（ov#0,zz#1,aa#2,mm#3）而输出为 mm#3,ov#0,aa#2,zz#1 ⇒ 完全重排 ⇒ 宿主【真】排序（非照抄发射序）⇒ 判据非恒真 - P6-3 双向达: 撤 C ⇒ 他源(覆盖层)段仍在 / 撤他源 ⇒ manifest 段仍在 - P5-4 达: 零贡献非报错（segments: 0 ∧ rc=0） ★ 一手（订正前报） - 段之产源 = plugin.toml [plugin.config]（xwwasm v0.1.10 PluginSection.config 任意 TOML 表 ⇒ xwmgmt plugin_cmd.rs:488/534 原样透传）⇒ 先前「零段」纯系【夹具缺口】, 非产品缺陷 - ★★ events/turn_*.jsonl 之 system_prompt = truncate_system_prompt(s, 256)（xwcore runtime/mod.rs:400 · llm_request.rs:162/549）⇒ 依设计【摘要】⇒ 段追加于末 ⇒ 恒落 截断之外 ⇒ 该面【结构性不可判】AC-J-4/P6-3。⇒ 我侧 V1912_M1B_FACE_SURVEY.md §六 之「面在⇒可判」结论【已倒】（第二次同型自捕: 穷举【档】未穷举【形】） ★ 夹具（入库 · 干净 checkout 可复跑） - 新增 release/v1.9.12/fixtures/cfg-guest/plugin.toml（阳性 · 含 [plugin.config]） - guest.rs 改【多段】+ 体载发射序 #idx（判据判别力之要件） - 造法须 -C strip=symbols（否则 556KB: 安全切片索引 ⇒ panic 路径 ⇒ 符号膨胀）; 制品 非逐字节可复现 ⇒ wasm_sha256 钉【已入库制品】 - cfg-noconfig/plugin.{toml,wasm} 随同制品更新 sha ★ 六腿显名支（裁19§2 · 承裁17§2 同律 · test 域） - ac1/ac2/ac3/ac6/ac8/ac13: 增 rc=124 ∧ 空输出「未判」支（超时 ≠ 未咬合 · 禁混） - 照实: ac3/ac6/ac8/ac13 腿内零 timeout（124 经载体或不可达）⇒ 支为防御 · 由自陈读数显名 ★ 未改门核 scripts/verify_release.sh（新增 *.toml 之检查14 ① 臂补登归 dev · 见判据档 §三） Co-Authored-By: Claude Code <noreply@anthropic.com> | 3 天前 | |
v1.7.2 件② 批13 —— AC4 loom 位具名 note + AC5 criterion 基线（M1 收束批） AC4（承裁决05 裁2「loom 位之具名 note（无 job）」）: - nightly-deep.yml 增 AC4 段: 判【不适用】+ 三据（实证/根因/弃案具名） - ①实证 = M1 靶面并发原语命中数 0（可机械复核 ⇒ 可证伪） - ci.yml 增具名指针（承 D1 式: 深测独立成档 ⇒ 本档无该 job） - 腿 scripts/tests/ac4_loom_leg.sh（G1/G2/G3 + R1/R2）PASS=5 FAIL=0 AC5（承路标「criterion 基线入库 ∧ 回退超阈 ⇒ 报（非硬红, 显名）」）: - deep/benches/parse_worker_threads.rs + deep/bench_baseline.json（基线入库） - criterion 走可选依赖 + required-features=bench ⇒ Miri 面仍零依赖 - 载体 scripts/perf_gate.sh（出口码唯表测量面之成败; 超阈只报不红） - 腿 scripts/tests/ac5_perf_leg.sh（G1/G2 + R1/R2/R3）PASS=6 FAIL=0 - ④负向判据腿 scripts/tests/ac5_pr_negative_leg.sh（甲乙二面并判）PASS=4 FAIL=0 - nightly-deep.yml 增 perf job（on 不变 ⇒ ④ 仍结构成立） 当场自捕之订正（照实）: - lib bench 靶混入 ⇒ [lib] bench = false - 相对 CARGO_TARGET_DIR 解析于 manifest 根 ⇒ 仓根绝对化 - typos 捕 thr ⇒ 改名 threshold - YAML run 内 printf 之 \n 写成真换行 ⇒ 整档不可解析 - G2 自我指涉计数 / R3 判据与实现反向 / R3 二变量并因 - AC4 腿锚取错段 + 外层 heredoc 提前收束 Co-Authored-By: Claude Code <noreply@anthropic.com> | 19 天前 | |
v1.7.2 件② 批13 —— AC4 loom 位具名 note + AC5 criterion 基线（M1 收束批） AC4（承裁决05 裁2「loom 位之具名 note（无 job）」）: - nightly-deep.yml 增 AC4 段: 判【不适用】+ 三据（实证/根因/弃案具名） - ①实证 = M1 靶面并发原语命中数 0（可机械复核 ⇒ 可证伪） - ci.yml 增具名指针（承 D1 式: 深测独立成档 ⇒ 本档无该 job） - 腿 scripts/tests/ac4_loom_leg.sh（G1/G2/G3 + R1/R2）PASS=5 FAIL=0 AC5（承路标「criterion 基线入库 ∧ 回退超阈 ⇒ 报（非硬红, 显名）」）: - deep/benches/parse_worker_threads.rs + deep/bench_baseline.json（基线入库） - criterion 走可选依赖 + required-features=bench ⇒ Miri 面仍零依赖 - 载体 scripts/perf_gate.sh（出口码唯表测量面之成败; 超阈只报不红） - 腿 scripts/tests/ac5_perf_leg.sh（G1/G2 + R1/R2/R3）PASS=6 FAIL=0 - ④负向判据腿 scripts/tests/ac5_pr_negative_leg.sh（甲乙二面并判）PASS=4 FAIL=0 - nightly-deep.yml 增 perf job（on 不变 ⇒ ④ 仍结构成立） 当场自捕之订正（照实）: - lib bench 靶混入 ⇒ [lib] bench = false - 相对 CARGO_TARGET_DIR 解析于 manifest 根 ⇒ 仓根绝对化 - typos 捕 thr ⇒ 改名 threshold - YAML run 内 printf 之 \n 写成真换行 ⇒ 整档不可解析 - G2 自我指涉计数 / R3 判据与实现反向 / R3 二变量并因 - AC4 腿锚取错段 + 外层 heredoc 提前收束 Co-Authored-By: Claude Code <noreply@anthropic.com> | 19 天前 | |
v1.7.2 件② 批13 —— AC4 loom 位具名 note + AC5 criterion 基线（M1 收束批） AC4（承裁决05 裁2「loom 位之具名 note（无 job）」）: - nightly-deep.yml 增 AC4 段: 判【不适用】+ 三据（实证/根因/弃案具名） - ①实证 = M1 靶面并发原语命中数 0（可机械复核 ⇒ 可证伪） - ci.yml 增具名指针（承 D1 式: 深测独立成档 ⇒ 本档无该 job） - 腿 scripts/tests/ac4_loom_leg.sh（G1/G2/G3 + R1/R2）PASS=5 FAIL=0 AC5（承路标「criterion 基线入库 ∧ 回退超阈 ⇒ 报（非硬红, 显名）」）: - deep/benches/parse_worker_threads.rs + deep/bench_baseline.json（基线入库） - criterion 走可选依赖 + required-features=bench ⇒ Miri 面仍零依赖 - 载体 scripts/perf_gate.sh（出口码唯表测量面之成败; 超阈只报不红） - 腿 scripts/tests/ac5_perf_leg.sh（G1/G2 + R1/R2/R3）PASS=6 FAIL=0 - ④负向判据腿 scripts/tests/ac5_pr_negative_leg.sh（甲乙二面并判）PASS=4 FAIL=0 - nightly-deep.yml 增 perf job（on 不变 ⇒ ④ 仍结构成立） 当场自捕之订正（照实）: - lib bench 靶混入 ⇒ [lib] bench = false - 相对 CARGO_TARGET_DIR 解析于 manifest 根 ⇒ 仓根绝对化 - typos 捕 thr ⇒ 改名 threshold - YAML run 内 printf 之 \n 写成真换行 ⇒ 整档不可解析 - G2 自我指涉计数 / R3 判据与实现反向 / R3 二变量并因 - AC4 腿锚取错段 + 外层 heredoc 提前收束 Co-Authored-By: Claude Code <noreply@anthropic.com> | 19 天前 | |
v1.9.12(dev): 批四 v143 删档批 —— 死世代全档删除（承 ar 裁决01 裁1）＋ ac5 注「禁静默陈旧」补注 ＋ 检查14 证1 隔离复算腿件 ＋ M1 设计档引面 r4⇒r5（ed6a035be/12a863c5） | 3 天前 | |
test(v1.9.12): M1-b 判据档（P6-3∧AC-J-4 皆达）＋ cfg-guest 阳性夹具 ＋ 六腿显名支（裁19§2） ★ M1-b 判（承裁18§3 / 裁20§1「段一生即判」） - AC-J-4 三判据皆达: ① priority 降序 ② 同 priority 按 id 升序 ③ \n 连接 - ★ 判别力（决定性）: 体载发射序 #idx（ov#0,zz#1,aa#2,mm#3）而输出为 mm#3,ov#0,aa#2,zz#1 ⇒ 完全重排 ⇒ 宿主【真】排序（非照抄发射序）⇒ 判据非恒真 - P6-3 双向达: 撤 C ⇒ 他源(覆盖层)段仍在 / 撤他源 ⇒ manifest 段仍在 - P5-4 达: 零贡献非报错（segments: 0 ∧ rc=0） ★ 一手（订正前报） - 段之产源 = plugin.toml [plugin.config]（xwwasm v0.1.10 PluginSection.config 任意 TOML 表 ⇒ xwmgmt plugin_cmd.rs:488/534 原样透传）⇒ 先前「零段」纯系【夹具缺口】, 非产品缺陷 - ★★ events/turn_*.jsonl 之 system_prompt = truncate_system_prompt(s, 256)（xwcore runtime/mod.rs:400 · llm_request.rs:162/549）⇒ 依设计【摘要】⇒ 段追加于末 ⇒ 恒落 截断之外 ⇒ 该面【结构性不可判】AC-J-4/P6-3。⇒ 我侧 V1912_M1B_FACE_SURVEY.md §六 之「面在⇒可判」结论【已倒】（第二次同型自捕: 穷举【档】未穷举【形】） ★ 夹具（入库 · 干净 checkout 可复跑） - 新增 release/v1.9.12/fixtures/cfg-guest/plugin.toml（阳性 · 含 [plugin.config]） - guest.rs 改【多段】+ 体载发射序 #idx（判据判别力之要件） - 造法须 -C strip=symbols（否则 556KB: 安全切片索引 ⇒ panic 路径 ⇒ 符号膨胀）; 制品 非逐字节可复现 ⇒ wasm_sha256 钉【已入库制品】 - cfg-noconfig/plugin.{toml,wasm} 随同制品更新 sha ★ 六腿显名支（裁19§2 · 承裁17§2 同律 · test 域） - ac1/ac2/ac3/ac6/ac8/ac13: 增 rc=124 ∧ 空输出「未判」支（超时 ≠ 未咬合 · 禁混） - 照实: ac3/ac6/ac8/ac13 腿内零 timeout（124 经载体或不可达）⇒ 支为防御 · 由自陈读数显名 ★ 未改门核 scripts/verify_release.sh（新增 *.toml 之检查14 ① 臂补登归 dev · 见判据档 §三） Co-Authored-By: Claude Code <noreply@anthropic.com> | 3 天前 | |
v1.8.3 M3 AC6: v182-arch-audit 六件落子（归档纪律 + AC7乙面 + 检查14名实 + 豁免寿命 + sources改形 + ci条件预置） 承 docs/V1.8.3_RULINGS_01.md §二（AC6 M3 增补）∧ ar 二问答（①取乙·不破冻 / ④取甲·检查23增守）。 - ① gate-lane-01 归档纪律: release/v1.8.3/M3_AC6_ARCHIVE_DISCIPLINE.md（D1 命名加注 ∧ D2 post-tag 回填靶树内 ∧ D3 裁定落档）· 自 v1.8.3 起效 · v1.8.2 不破冻 - ② gate-lane-02 AC7 乙面: 豁免标记行（二态: 在册冻结值 a4b7ee77b ⇄ 新异值）∧ 对照④真红侧（合成态档 consensus_head==靶尖 ⇒ 乙面报【对齐】）· selftest 四对照全符 rc=0 - ③ gate-lane-04 检查14 抬头: 名实相符（双证/单证 二态显名）· 判据面零动 - ④ supply-lane-03 豁免寿命: 检查23 守⑥（甲=reason 寿命数 / 乙=复审时点版本集合基数 · 甲=乙=6 > 阈5 ⇒ WARN 不计 EXIT）∧ deny.toml reason 载【寿命: 第6版】· 四臂对照 - ⑤ supply-lane-02/04/05: deny.toml [sources] 18 条 ssh-scheme ⇒ https 形（★实跑证伪审计「冗余」说: 删 ⇒ rc=8）∧ install.sh:511 标历史形（现值 17）; REPOS.md 不在本机 ⇒ 未办照实 - ⑥ gate-lane-03 ③④: ci.yml 条件预置（代码面探 ROADMAP 本版 🚧 ⇒ 有则不注入）∧ verify_release.sh 裁定行追加键与计数全量 门禁: fmt 0 / fmt --check 0 / clippy 0 / nextest 4（0 tests run · members=[] 结构性零覆盖）/ build --release 0 自检: 13 红侧全部咬合 ✓ rc=0 · ac6 腿 PASS=6 FAIL=0 · ac7 腿 四对照全符 rc=0 整门: rc=1 —— FAIL 唯二项: 检查25（★非本域: test 侧 M2 腿件 m2_gate4_watch_recheck_leg.sh:EOF 未登记候选 · origin/master 净面复现）∧ 检查5 空窗未裁定（D4 前结构性） typos: rc=2 —— 余红唯 audit/v182-arch-audit/{REPORT.md,gate-lane.md}（★非本域 · 随 origin/master 并入）; 本批新档已入 ①h 族（typos.toml · 落笔前自捕） Co-Authored-By: Claude Code <noreply@anthropic.com> | 16 天前 | |
v1.7.2 件② 批2 —— AC7 cargo-machete 未用依赖（M2 供应链深化）: 检入 CI + 腿件（逐字拷贝面红侧） - ci.yml supply-chain job: taiki-e/install-action 加 cargo-machete ∧ 新步跑 AC7 腿（job 数仍 13 ∧ yaml.safe_load rc=0） - 新腿 scripts/tests/ac7_unused_deps_leg.sh（绿侧 G1–G2 + 红侧 R1/对照 R2 · **接入出口码**）: 本机 PASS=4 FAIL=0 rc=0 - 绿侧现取（cargo-machete 0.9.2 · 本仓根包）: 未用依赖 = 0 ∧ 豁免表 [package.metadata.cargo-machete] 条数 = 0（零掩盖 ⇒ 绿系真绿） - 红侧（阳性对照）: 【逐字拷贝】本仓 Cargo.toml + src/ 于临时目录 + 注入 once_cell = "1" ⇒ rc=1 ∧ **具名**命中 once_cell；对照 R2（同拷贝不注入 ⇒ rc=0）隔离其因 - ★ 面之择（照实）: 红侧取【拷贝面】而非【就地改 Cargo.toml】—— 由: 就地改触构建面 ∧ --with-metadata 会改 Cargo.lock ⇒ 取拷贝面以零触本仓构建面达同形判据（器 machete [paths...] 直收面参） - D6: openspec/changes/v1.7.2-deep-water-release-gate/tasks.md 批2（T2.1–T2.4） Co-Authored-By: Claude Code <noreply@anthropic.com> | 20 天前 | |
test(v1.9.12): M1-b 判据档（P6-3∧AC-J-4 皆达）＋ cfg-guest 阳性夹具 ＋ 六腿显名支（裁19§2） ★ M1-b 判（承裁18§3 / 裁20§1「段一生即判」） - AC-J-4 三判据皆达: ① priority 降序 ② 同 priority 按 id 升序 ③ \n 连接 - ★ 判别力（决定性）: 体载发射序 #idx（ov#0,zz#1,aa#2,mm#3）而输出为 mm#3,ov#0,aa#2,zz#1 ⇒ 完全重排 ⇒ 宿主【真】排序（非照抄发射序）⇒ 判据非恒真 - P6-3 双向达: 撤 C ⇒ 他源(覆盖层)段仍在 / 撤他源 ⇒ manifest 段仍在 - P5-4 达: 零贡献非报错（segments: 0 ∧ rc=0） ★ 一手（订正前报） - 段之产源 = plugin.toml [plugin.config]（xwwasm v0.1.10 PluginSection.config 任意 TOML 表 ⇒ xwmgmt plugin_cmd.rs:488/534 原样透传）⇒ 先前「零段」纯系【夹具缺口】, 非产品缺陷 - ★★ events/turn_*.jsonl 之 system_prompt = truncate_system_prompt(s, 256)（xwcore runtime/mod.rs:400 · llm_request.rs:162/549）⇒ 依设计【摘要】⇒ 段追加于末 ⇒ 恒落 截断之外 ⇒ 该面【结构性不可判】AC-J-4/P6-3。⇒ 我侧 V1912_M1B_FACE_SURVEY.md §六 之「面在⇒可判」结论【已倒】（第二次同型自捕: 穷举【档】未穷举【形】） ★ 夹具（入库 · 干净 checkout 可复跑） - 新增 release/v1.9.12/fixtures/cfg-guest/plugin.toml（阳性 · 含 [plugin.config]） - guest.rs 改【多段】+ 体载发射序 #idx（判据判别力之要件） - 造法须 -C strip=symbols（否则 556KB: 安全切片索引 ⇒ panic 路径 ⇒ 符号膨胀）; 制品 非逐字节可复现 ⇒ wasm_sha256 钉【已入库制品】 - cfg-noconfig/plugin.{toml,wasm} 随同制品更新 sha ★ 六腿显名支（裁19§2 · 承裁17§2 同律 · test 域） - ac1/ac2/ac3/ac6/ac8/ac13: 增 rc=124 ∧ 空输出「未判」支（超时 ≠ 未咬合 · 禁混） - 照实: ac3/ac6/ac8/ac13 腿内零 timeout（124 经载体或不可达）⇒ 支为防御 · 由自陈读数显名 ★ 未改门核 scripts/verify_release.sh（新增 *.toml 之检查14 ① 臂补登归 dev · 见判据档 §三） Co-Authored-By: Claude Code <noreply@anthropic.com> | 3 天前 | |
v1.6.7 裁决 50 知悉: 自审 cut -c 工具面（立条（二十一）/（二十二）） 令（docs/V1.6.7_RULINGS_27.md）: cut -c1-N 按【字节】切 ⇒ 裂多字节字符（字符安全形 = LC_ALL=C.UTF-8 awk '{print substr($0,1,N)}'）; 凡取值经管道者须核工具面（grep -a）。 自审（我侧全部交付件: verify_release.sh 之检查23/24 ∧ ac1_patch_guard.py ∧ ac8_paste_pair.sh ∧ ac9_anchor_gate.sh）: - cut -c 用法【唯 ac8_paste_pair.sh:104 一处】; 实跑确认本机 cut -c 按字节 （printf '其者' | cut -c1-2 ⇒ e5 85 = 非法 UTF-8）; 其输入 = sha256sum 输出 = 【纯 ASCII 十六进制】⇒ 字节 ≡ 字符 ⇒ 无虞。★ 该判系【核后之判】, 非默认 ⇒ 已就地留注。 - 检查23/24 之管道取值皆作用于载体之 ASCII 输出（__FACE__/__COVER__ 等）或 Cargo.toml （合法 UTF-8, grep 无 binary 告警）⇒ 无须 grep -a; 载体读档用 errors='replace' ⇒ 面稳健。 - 零 cut -c 于新增段。 门禁: fmt rc=0 ∧ clippy rc=0 Co-Authored-By: Claude Code <noreply@anthropic.com> | 22 天前 | |
v1.6.5 回边批（八项）: 欠项 A 主线消费面（检查13.3 撤 gate 转实跑）+ W1/W2/⑫ + S1–S5 + 锚订正五件 + 名册 11 + AC8 适用条件 承 docs/V1.6.5_RULINGS_23.md（裁定 68–73）: 回边触发字① 已达（xwkernel v1.4.6 = 81b7a3114 → deref 10390a558）⇒ 状态机回 implement(5/12, dev) ⇒ 本批落。 欠项 A（M1 主线侧消费面 · 判据面 = 检查13.3） - 撤 gate 使无条件实跑。原谓词面取 $REPO_ROOT/crates 而本仓系极薄根 bin （Cargo.toml:2 members=[] ∧ git ls-tree origin/master crates/ ⇒ 0 条）⇒ 恒空恒 skip; 且其前提「待 AC3 消费预演落地」随极薄化消失（AC3 系插件轨）。 - 照实: 本仓 Cargo.toml:16 kernel-host ∈ [dependencies]（真消费）∧ :35 kernel ∈ [dev-dependencies] ∧ src/ 对 WasmtimeSource/PluginSource 零命中 ⇒ 原 skip 本为 正确判定, 非 fail-open。 - 并清死赋值 XWKERNEL_REV_SHORT="8643b8b55353"（v1.0.2 期遗留 ∧ 零消费点 ∧ 静态陈 rev）。 - xwkernel v1.4.5→v1.4.6 双面 8 行（https :170-175 ∧ ssh :468-471）; 二步协议 cargo update -p kernel --dry-run ⇒ Locking 4 packages; DUAL=0; build --locked EXIT=0。 - 实测: 检查13.3 由【跳过】转【实跑 ∧ 绿】—— 四轮门禁皆逐字 「dump-config 字节确定 ✓（同输入两轮输出一致, 含 patch 覆盖+来源警告）」。 ① W1: tasks.md §四 补 T15.5（AC5 组合审计红侧二向, 判据 = V ≤ T ∧ 名册完备）∧ 回执 失实句订正（原称「已登记于 §四」而 §四 唯 T15.1–T15.4; 归族【以断言充实证】）。 ② W2: 表述订正「其自身依赖边随动」⇒「第三方 crates.io 包之依赖边随动 ∧ 非六源自身 需求」; 判据第三维按裁定 60 = 「依赖边【之目标版本】恒等」; 补 tempfile → getrandom 之【非 cfg(windows) 门控】一面。 ③ ⑫: M1_DECISION §6.1 补前提「scripts/verify_release.sh:24 无 set -e」。 ④ S1–S5 全采: S1 → 新建 scripts/tests/ac5_registry_gate.sh（(丁) 判据机械化 ∧ 阳性对照接入出口码）, 接入门禁为检查21; S2 → 新增检查20（skip 路径登记完备机械闸, 行首锚 ^[[:space:]]*skip_gap）; S3 → Cargo.toml 六处注释引锚去行号化（段名为主）—— 一手实证原书 :534 已漂至 :555; S4 → T12.9 并入 T15.1; S5 → 出口块裁定键补空窗计数（<检查名>#<条数>; 裸键不认）。 ⑤ 锚订正五件 → tasks.md T15.2 + 机械载体 scripts/tests/ac9_anchor_gate.sh（对 v1.4.6^{}:kernel/src/registry.rs 实测 主锚 1 / 辅锚 0; 阳性对照三组全符; 非可移植性显名登记当场取值: 不转义形于 GNU rc=1 静默恒假）。 ⑥ 名册 10→11（增 xwtui V=0.3.8 / T=0.3.9）+ 三态分列（已落 origin/dev ∧ 未合入主线 ∧ 无 tag）。 ⑦ 裁定 65: AC8 判据适用条件（前提 = 终端 bracketed paste; 前提不具 ⇒ 仍丢 = 终端面之限）。 照实（本批限度） - S2 之判据为标记词启发式, 非语义分析; 新增 skip 路径若不书标记词则不咬合（已显名）。 - 跨实现核（裁定 71 处方③）未取: 本机 bash 脚本面唯 /usr/bin/grep(GNU), ugrep 系 交互面内嵌 ⇒ 结构性不可达 ⇒ 以【实现钉死 + 非可移植性显名登记】代之。 - 自犯一例 ∧ 由门禁当场捕出: 撤 gate 时统一反缩进误伤 heredoc 内 YAML 嵌套缩进 （ greeting: hi ⇒ greeting: hi）⇒ 首跑即红「缺少 patch 覆盖」⇒ 已回补并四轮重跑皆绿。 - 门禁读数之树态纪律: 首轮四跑启动后我继续编辑被跑脚本（bash 增量读取）⇒ 该轮读数 作废, 已 kill 重跑; 四轮日志头部皆记 HEAD 与启动时点。 S5 四轮受控对照（唯一自变量 = 裁定键形; 日志 /tmp/gate165.R*.out） - R1 无 env ⇒ FAIL 行 2 - R2 未裁定 ⇒ FAIL 行 4（+条件记账 +未裁定空窗） - R3 裸键 检查19 ⇒ FAIL 行 4（与 R2 逐字相同 ⇒ 裸键不认） - R4 计数键 检查19#1 ⇒ FAIL 行 2 ∧ 逐字「已由调用方裁定放行…（键 检查19#1）」 - 四轮常项 2 行 = 检查0/检查9（dev 领先 master 之在册 P16 本地 ref 假阳, 3d 合并后消解）。 域界: 未碰 xwcore/xwtools/xwkernel/xwwasm/xwtui 任何仓; 未打 tag; 未触部署位; 零 key; 逐路径 add; 未 amend/未 force。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 24 天前 | |
v1.7.2 件② 批6 —— AC9 发布门（可发布集判定 · 承裁决01 裁一取甲） - Cargo.toml: [package] publish.workspace = true ∧ [workspace.package] publish = false + **具名其由**（注载）—— 前态【无键无注 = 静默不可发布】（红侧待清偿） - 由（具名 · 非「跳过」）: kernel-host 系 git 依赖（**无 version**）⇒ 主线仓系 **装配面非库** ⇒ 结构性不可发布。一手实证（探针面 · 删 publish 键）: cargo package 报 dependency 'kernel-host' does not specify a version ⇒ rc=1 - 新载体 scripts/publish_gate.sh（两态 · **禁静默**）: 可发布集【空】⇒ ::notice:: **显名其不适用**（非静默跳过）⇄ 【非空】⇒ 逐包判定 - ★ **两阶段判定**（归因面）: ① cargo package --locked --allow-dirty（manifest 结构性 · 可离线）⇒ ② cargo publish --dry-run --locked（注册表面 · 须网络）。序之由: 本机 crates-io 经源替换（rsproxy-sparse）⇒ 若唯跑②, 其红**异源**不可归 manifest - ★★ **派生面自守**（本载体首版当场自捕之**假绿**）: 首版 python3 -c 用 f-string 内嵌 转义引号 ⇒ 本机 python3 **3.10** SyntaxError ⇒ DERIVED **静默为空** ⇒ 可发布集 **误判空集** ⇒ **红绿二面皆 rc=0**。治三: ①字符串拼接 ②|| exit 1 ③N_TOTAL ≥ 1 兜底（**零包不得读作空集**） - 新腿 scripts/tests/ac9_publish_gate_leg.sh（绿侧 G1–G3 + 红侧 R1 + 对照 R2 · **接入出口码**）: 本机 PASS=6 FAIL=0 rc=0 ★ 红侧取【删键探针】而非【造坏 manifest】: 本仓之「坏」本就存在 ⇒ 前态不现全赖 【publish 键缺省】使该包**不进**可发布集 ⇒ **判据被旁路**; 红侧之最小构造 = **移去旁路**（删键）⇒ 判据面复现 ★ R2 对照（同拷贝**不删** ⇒ rc=0）: R1/R2 之差**唯** publish 键一项 ⇒ 对照即归因之锁 - ci.yml 新 job publish-gate（job 数 14 ⇒ 15）: 工具链 → rust-cache → 载体 → 腿; 【无】continue-on-error ∧ 【无】if: ⇒ 硬门 - 附则 D1（路标就地订正 06 并入本 AC）: engine-bench 结构性恒红已于**批0**清偿 （删 job + 原位 ①–⑤ 具名 note 块）⇒ 本批计数以 14 为基线 - 核（照实）: 门禁 XW_ADJUDICATE_SKIP=检查5#1 bash scripts/verify_release.sh ⇒ rc=0 （检查25 面 126 件 / 候选 70 条全在名册 ∧ 检查27 声明面 32 项全到达）; yaml.safe_load rc=0; fmt/clippy/build --release 皆 rc=0; ★ nextest rc=4 —— tests run = 0（members = [] ⇒ **结构性零覆盖 · 非绿**） - D6: tasks.md 批6（T6.1–T6.9） Co-Authored-By: Claude Code <noreply@anthropic.com> | 20 天前 | |
V196-M1(dev): 升钉 xwtui v0.3.44 + 依赖源切六面同批（+ 二腿锚修复） 承 ar 令「M1升钉批可启动：插件④已验（tag v0.3.44^{}=ea2206ca26dc==xwtui master） · 升 xwtui 0.3.43=>0.3.44 + 源切六面同批 · 承裁 01 Q1/Q2 · 整门复跑」。 【升钉】xwtui v0.3.43 ⇒ v0.3.44（声明面 1 + patch 面 2 · 三处同改） · annotated f8818dd128062c63389efa62a6d2aa6a05bdb376 → deref ea2206ca26dc4187c1c1ae7918f3865b0bb1bd2b · ★ 前件核（本席自跑 · 裸仓取 tag 解）: v0.3.44^{} == refs/heads/master 尖 ⇒ 双轴齐 ✓; 二址读数逐位同 ✓; V=T（根 [workspace.package] version = "0.3.44"）⇒ AC5 名册无须增项。 【源切六面】kemeng1 ⇒ xuanwu-code · Cargo.toml: 段 20⇒57（③ 新增址键段 18 · ④ 新建仓段 10）· 旧址键 29 · 新址键 28 · 重复段键 0 · C3a 声明/条目行 0 · Cargo.lock: 重生成 rc=0（33s）· kemeng1 0 · [[patch.unused]] 0 · git 源 34 · 差 −35/+35 · deny.toml: allow-git 28 条换址（硬耦合）· 残留 1 = :35 史注（前态 v1.4.9 · 照实保留） · scripts/verify_release.sh: check13 之 5 处 ⇒ 新址（腿内真拉）· bash -n rc=0 · .github/workflows/ci.yml: insteadOf 二行 + 一注文 ⇒ 新址 · sbom: 重生成（cyclonedx）· 组件 361 不变 · 归一化差 69 叶全归因（66 = 33 组件 × 2: bom-ref+purl，+ 3 = xwtui 之 bom-ref/purl/version）· ★ 交叉印证: SBOM 变 33 组件 ⇄ lock 变 33 source 行 逐数相合 · Cargo.lock.sha256 同批重锚 = e9215ff854472fa0a23b387f96c3dccfa41b2084c8f288850c1a47d50bc67f87 【★ 同批修二腿】源切致其锚失效（本席自捕 · 二腿皆 dev 笔 ⇒ 自修非越权） · ac6_supply_chain_leg.sh: R2 注入正则 (kemeng1/xwcore)" ⇒ (/xwcore)"（org 无关 · deny.toml 内该串唯一命中 1 处）—— 原锚不中 ⇒ AssertionError ⇒ PASS=5 FAIL=1 rc=1; 修后 PASS=6 FAIL=0 rc=0（R2 咬合: 未用 1 ∧ 条数 29==29 不变 ∧ 器 rc=8） ★ 该腿系发布门判据腿（verify_release.sh 检查23 守④:3604 ∧ ci.yml:352 ∧ .xuanwu/release/） · ac_ssrf_permission_leg.sh: face_tags 之 ("kemeng1/" repo "\.git\"") ⇒ ("/" repo "\.git\"") —— 原锚致声明面 tag 集恒空 ⇒ 三条「双面失同批」FAIL rc=1; 修后 PASS=13 FAIL=0 rc=0 · 改法取 org 无关（唯仓名）而非「改 xuanwu-code/」—— 后者对下次换 org 必再失效 （承在册「报谓词须书正则原文 ∧ 可取结构面者恒稳」裁 69/70） · 同族面已核未动: ac1_patch_guard.py 41 ∧ ac5_registry_gate.sh 4 系夹具原文（承裁 01 Q2）; v14x/v15x structural guards 各 1 系主线仓自身 [patch."…kemeng1/xwcode.git"] 存在性检查（异面） 【自检 15 项】fmt 0 · clippy 0（0 warn/0 err · 30s）· nextest rc=4（★ 结构性零覆盖: members=[] ⇒ Starting 0 tests · 非绿）· doctest rc=101（no library targets · 结构性）· build --release 0（197s · 35823184 字节）· 冷面复编（touch src/*.rs）逐位同 ✓ · typos 裸跑 0 · taplo 0（16 档）· ac1 selftest 0 · ac5 0 · ac6 0 · ac_ssrf 0 · cone_lock 0 · v154 守卫 0 · 检查25 OK 【照实并载 · 未闭合面】 · N1 SBOM 之 externalReferences 25 处仍指旧址 —— 源自所钉插件 manifest 之 repository 字段（一手核 xwapi/xwcomm/xwcore）⇒ 禁写插件仓 ⇒ 上游面, 待插件侧更新（经 ar 转呈） · N2 本批未重部署 —— 升钉批不部署（承 v1.9.5 实践: 部署位唯现于 D1/S3j 发布批）; 并载: 二进制已变（35797216 ⇒ 35823184 字节）⇒ 部署位落后一批, 待发布批刷新 · N3 deny.toml:35 史注保留（述前态） ★ 未跑: 整门（承 dev 只做针对性验证 · 全量 ∧ 发布整门皆归 test）⇒ 已通知 test ★ 证据档: release/v1.9.6/evidence/M1_SOURCE_SWITCH_REPIN.md Co-Authored-By: Claude Code <noreply@anthropic.com> | 7 天前 | |
测试(test): v1.9.17 R5/F9 —— 门禁空窗在册登记制（禁内联 · 红着候 dev 接线） 承 docs/V1916_RULINGS_36.md 裁2（F9: R5 降 P1 + AC 改以现尖）∧ docs/V1917_RULINGS_14.md 决2 ∧ 分析档 §3.8 R5。 一 内联三弊（本腿之靶） ① 不可复核（键散于 Dockerfile/workflow · 无由无责任人无复核时点） ② 不可穷举（新增内联点无人知 ⇒「本刻空窗全量」不可答） ③ 效期不明（令之效期止而内联不去 ⇒ 静默放行） 实证三处: .xuanwu/release/Dockerfile.verify-release:98 · .github/workflows/ci.yml:821（赋值） ∧ ci.yml:930（echo "XW_ADJUDICATE_SKIP=检查19#1" >> "$GITHUB_ENV" ⇒ 后续步生效） 二 交付件 - scripts/tests/adjudication_registry_leg.sh（新立 · sha256 0fdddb11… · ★ RC=1 判据② 红） - release/v1.9.17/adjudications.txt（新立 · 在册档 · 五字段 TAB 分隔 · 登记 2 条: 检查5#1 失效 / 检查19#1 生效） ★ AC④ 以【现尖】取: 版由 Cargo.toml 之 version 现读（非硬编码）⇒ 升版即随动 三 判据 ① 在册（四字段齐）✓ ② 禁内联: 域内字面赋值 3 处 ⇒ 红具名 ③ 对照三向咬合 ✓ 四 自捕二则 1 ★★ 器于对照面递归（★ 族第二现）⇒ 无限递归挂起（timeout 120 ⇒ rc=124） ⇒ 正形: 环境闸 XW_ADJ_REG_NO_CONTROL=1 ⇒ ★ 已入档为族（凡器自带对照者必设递归闸） 2 ★ 对照面表头裸行被读作登记项 ⇒ 甲腿假红 ⇒ 正形: 表头以 # 起首 ★ 并载: 该假红恰由对照面自身捕获 ⇒ 对照之价值 五 ★ 判据② 之二段判（本席当场自捕 · 谓词过宽） - 首版单段谓词「行内含 XW_ADJUDICATE_SKIP= 即内联」⇒ 实测 7 处，其中 4 处系 echo "… 不注入 XW_ADJUDICATE_SKIP" 之【串内字样】⇒ 承 predicate-too-wide 律 - 正形 = 二独立判: 甲 剔双引号串后取记号首（证其为赋值）∧ 乙 原行右值须含 $（非字面） ∧ 丙 补形 echo "…=…" >> "$GITHUB_ENV"（串内然实为赋值 · 单列一形） - 修正后 7 ⇒ 3（逐处具名） 六 限: 本腿不断言「门器已读在册档」（接线属实现面 · 候 dev）; 不断言「在册键集 = 实见空窗键集」 （须实跑门器）; 未入闸（现红 · 同 F2 先例）; 单点观测。 ★ 同批重签 manifest（新器入判据面域）: 329 条 · 锚值 ff4a8f25… 留证: release/v1.9.17/evidence/P0_R5_adjudication.md ＋ _asrun.txt Co-Authored-By: Claude Code <noreply@anthropic.com> | 2 小时前 | |
fix(dev): v1.9.12 ac13 具名 skip ＋ 检查14 名册补登（同批）＋ M1 端到端判据器/读数 令源: ar 裁决 13 裁2「ac13 准具名 skip（整门归 test 发布前整门），名册改由 dev 落」 ∧ ar 裁决 15 裁1「补登名册归 dev 落笔」∧ 裁15 裁2「skip ≠ 替代 ⇒ 须同批；否则发布整门必红」。 ① scripts/tests/ci_face_leg.sh —— ac13 项 run ⇒ 【具名 skip】＋载由: ac13 = 整门 verify_release.sh 全量（绿侧 ∧ 红侧探针 ⇒ 实测 ≈ 19 min）⇒ 归 test 发布前整门承载。★ 并载「其面本机可跑（非『不可跑』）⇒ 非掩红, 乃归位」。 ★ 复跑（本席一手）: PASS=28 FAIL=1 —— 唯一 FAIL = lint_face_leg.sh 之 R3 阳性对照 「未咬合」。★ 一手复核: bash scripts/tests/lint_face_leg.sh 直跑 ⇒ PASS=6 FAIL=0 rc=0 ⇒ 该红系【并发负载下之 flaky】（timeout 120 taplo 被杀 ⇒ rc≠0 而【无】 'not properly formatted' ⇒ 判「未咬合」之假红）。★ 非本批所触（本批未动 taplo.toml ∧ lint_face_leg.sh），已具名通报 ar。 ② scripts/verify_release.sh —— CHECK14_DOMAIN_EXEMPT 补登一档（承 test 报件 release/v1.9.12/V1912_C14_FIXTURE_REGISTRATION.md 之建议条目 · 逐字可粘）: release/v1.9.12/fixtures/cfg-noconfig/plugin.toml 由: M1 负对照夹具之清单（真实加载 fixture 须入库 ⇒ 无「避」之路）⇒ 属发布产物面, 非构建/判据面; 禁【纳入】之由同己/庚/辛（纳入面愈宽则证1 愈易满足 = 削弱证1）。 ★★ 锚核（一手 · 承在册「改登记面须同批重锚」之射程辨）: 本增在【名册哨符区间之外】 ⇒ 区间 md5 改前/改后【逐位同】= c6432016a4acb0363b5a7c8661fec736（= 现锚值） ⇒ **不须**重锚 LOCK_REGISTRY_MD5_ANCHOR。 ★ 并载（照实）: cfg-guest/guest.rs ∧ 二 plugin.wasm 非 *.toml ⇒ 不中 ① 臂 ⇒ 不登 （承本表「逐档精确具名」之纪律 · 目录形不及其内之档）。 ③ scripts/tests/check14_domain_isolate.sh（新）—— 检查14【域之完备性】二臂【隔离复算】 （谓词逐字取自 verify_release.sh · 非手抄）。★ 阳性对照【接入出口码】: 旧 EXEMPT（origin/master · 35 项）⇒ ① 臂界未具名 = **1**（逐字 = test 报件所载之 release/v1.9.12/fixtures/cfg-noconfig/plugin.toml）; 新 EXEMPT（36 项）⇒ ① 臂 = 0 ∧ ② 臂（窗基 v1.9.11^{} · 76 档改动）= 0 ⇒ rc=0。 ④ release/v1.9.12/evidence/m1_e2e_dev.sh（新 · 器）＋ M1_CONFIG_E2E_DEV.md（新 · 读数档）: M1 端到端判据（真 xwcode 进程 · 隔离 HOME/cwd · 零网络 · 夹具沿用 test 侧 cfg-guest 制品）。 ★ 读数: P5-2 真段（源①）PASS · P5-4 判别力 PASS · P6-1 链路三腿 PASS · 件 B 源② NA（probe 路结构性不经 · 面未定）· P6-3/AC-J-4 未判（须驱动式探针）。 ★ 全链实证: [plugin.config] ⇒ PluginSection.config ⇒ Entry.config ⇒ MountSpec.config ⇒ apply(C) ⇒ provide ⇒ segments ⇒ assemble ⇒ 装配串 = XWSEG:ATOML（f(C) 逐字节）。 自检（本机实跑）: cargo fmt --all --check ⇒ rc=0 ∧ typos（新档）⇒ rc=0。 ★ 未跑整门 verify_release.sh（12m+ · 承在册「dev 只做针对性验证 · 全量归 test」） ⇒ 以 ③ 之隔离复算代（同谓词 · 二臂皆判）。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 3 天前 | |
v1.9.12(dev): 批四 v143 删档批 —— 死世代全档删除（承 ar 裁决01 裁1）＋ ac5 注「禁静默陈旧」补注 ＋ 检查14 证1 隔离复算腿件 ＋ M1 设计档引面 r4⇒r5（ed6a035be/12a863c5） | 3 天前 | |
测试(test): v1.9.17 P0-2 收口 —— R1 修钉后 check_tool_pins 转绿 ＋ 器自捕一则 ＋ 口径订正 读数（面 36188c38d · RC=0）: 分母 7 ∧ 违规 0 ⇒ PASS 判据①②; 对照甲（全钉形）0 ✓ · 乙（撤一处钉）1 具名 ✓ · 丙（范围钉）1 ✓ ⇒ 三条皆达 ⇒ P0-2 收口。 ★ 口径之辨（dev 一手提出 · 我复核逐处同）: 活码（剔整行注释 ∧ 剔 *.md）= 0 ⇄ 裸谓词 = 5（3 注释 ＋ 2 README 引文） ⇒ V1917_TEST_PLAN §二 R1 行之逐字谓词已订正为【显名口径】（原书裸谓词 ⇒ 谓词面差 ⇒ 假红）。 ★★ 器自捕（当场 · 决定性）: 首版对照造法「补 --version」唯于【未修面】成立 ⇒ 于已修面 sed 不中 ⇒ 对照成 no-op（器报「不可造」并置 rc=1 ⇒ 未静默 · 闸生效）。 ★ 律: 对照之造法【禁依赖现面之形】。正形 = 先归一为【全钉形】（剔既有钉 ∧ 补无钉者）⇒ 二面同法可造。 留证: release/v1.9.17/evidence/P0_2_tool_pins_r1_confirm.md ∧ _asrun.txt Co-Authored-By: Claude Code <noreply@anthropic.com> | 5 小时前 | |
测试(test): v1.9.17 R25 七裁定落地 —— 名册二改 ＋ 载由 ＋ 裁2 名册 ＋ 裁5 二项 承 docs/V1917_RULINGS_25.md（ar · e2cfd010e）一·裁1–裁7。 一、名册四改（scripts/tests/ci_face_leg.sh · 皆载由） ① python-test: -exec … {} \; → {} +（裁5） 旧形逐档起一进程（1039 档 ⇒ 60s）⇒ 改后 2s（30× · 同档集同谓词 · 唯一变量） ⇒ pr-fast 220s → 162s（3.67 → 2.70 min）入 3 min 预算 ② 新增 lint-extra@@run@@adjudication_registry_leg.sh（裁7 · 入闸前件已成） ③ tui-gate skip 载由订正 ⇒ 归 pr-deep（须 release 构建产物 · 实测 58s） 并载: 旧载由「非本机可判」不成立（pty 可跑 · 无 tmux） ④ 新增 gate-selftest@@slow@@timeout 900 ac13_arrival_guard_leg.sh（裁5） 归 pr-deep（slow = 重面/异步）∧ 硬超时 900s（旧形自陈零 timeout · 实测 ≥400s） 外层 _run_tmo 2400 ＋ 内层 timeout 900 双闸 二、裁2: tests/benchmark/swebench/Dockerfile 之 rust:1.95-slim 入 EXEMPT_SHEET 具名载由 （不改仓钉）⇒ 源 C 真面 rc=0（DEFECT=0 · EXEMPT=2）⇒ 裁4 入闸之前件已成 三、G4 粒度补（自捕）: 旧形唯印 job 名 ⇒ 同 job 多项不可辨（入 ac13 后印「2 项: gate-selftest 」） ⇒ 改印项级 [job] cmd 四、订正（自捕）: P0_R13_sourceC.md 之「16 臂」系目视混计 ⇒ 改列具名: 对照臂 15（含 2 R1 在位核臂）＋ 域核臂 5 = 总 20 判据行 · 零失 读数: L3 PASS=36 FAIL=2（余红唯 changelog 二腿 = tag 前必然）· G0 名册 37 行逐字相符 F4 重签 329 条 · 源 C --selftest 20 判据行零失 · ac13 真起核 rc=124（能起） 自捕: ① 改判据面未重签 ⇒ F4 立红（PASS 35/FAIL 3）—— 反证 F4 咬合 ② 固定 /tmp 名撞他用户 ⇒ 命令静默未跑（正形 = mktemp） Co-Authored-By: Claude Code <noreply@anthropic.com> | 8 分钟前 | |
v1.6.6 release_doc(9): D1–D4 + D6(N/A) + D8 + D9 发布文档同步 + 3e 自评报告 + 出口要件（版本升位 1.6.5⇒1.6.6）+ 锥锁修（裁定 417） 令源: 裁定 419（环⑤ 判 passed ⇒ 引擎入 release 态, 属主 dev）∧ ar 出口要件【新增一条】= 配套表第 8 行 （docs/V1.6.6_RULINGS_131.md §2.2: Cargo.toml version 1.6.5→1.6.6 ∧ 产物 --version 须报 1.6.6 —— 制品版本串与 tag 名不符 = X1 之近亲）。 ★ 出口要件（配套表第 8 行）兑现: Cargo.toml:76 version = "1.6.6"（原 :68 = "1.6.5"）∧ Cargo.lock:4076 xwcode-skeleton version = "1.6.6" ⇒ ./target/release/xwcode --version 逐字 "xwcode 1.6.6" rc=0 ⇒ X1 之近亲面【已闭】 ★ lock 改法 = 手工定点（非 cargo update -p, 避无关漂移）∧ 改前断言块数=1 ∧ version="1.6.5" 全文 1 次 ★ 复证: cargo metadata --locked rc=0 ★ 锥锁修（裁定 417 · 准修 ∧ 本批随行）scripts/tests/cone_lock_reverse_lookup.sh: ① 解析谓词行尾锚 \}\s*$ ⇒ \}\s*(?:#.*)?$（纳行尾 # deref … 注） ② 计数谓词 ^[A-Za-z0-9_-]+ = \{ git = ⇒ ^[A-Za-z0-9_-]+ = \{[^{}]*git = "（与解析谓词同构） ③ py 段新增【计数 vs 解析】并报 ∧ 断言其差为 0 落毕要件读数: 修前 计数 52 / 解析 39（差 13, 盲区）⇒ 修后 计数 53 / 解析 53（差 0）; rc=0 ★ 并载 ar 读数之微差: 裁定 417 载「跳过 14 行」而 52-39=13 不自洽 ⇒ 归因 = 旧计数谓词另漏 1 行 （package = "…" 重定向形, 无行尾注释）⇒ 52 非真声明数; 修后二谓词同构, 二数皆 53。 ★ 三夹具对照（恒真谓词不承证力）: 夹具1 旧0/新1 ∧ 夹具2 旧计数不中/对齐中/解析中 ∧ 夹具3 带注释之漂移行仍命中（不因放宽而漏）。 ★ D 清单逐项: D1 Cargo.toml（version + 本版沿革注七行）+ Cargo.lock 随动 D2 README.md:1/3/15/22/33 五处刷至 v1.6.6 D3 CHANGELOG.md 首条目新增 v1.6.6 节 D4 ROADMAP.md v1.6.5 行后新增 🚧 v1.6.6 行 ∧ 末列「🚧 待发布（pre-tag）」（禁写已发布 —— 实测该行「已发布」命中数=0） D6 N/A（照实显名: 本版无 openspec/changes/<name>/ 变更档; 计划载体 = openspec/specs/v1.6.6-goal-and-plan.md @224095f80） D5 归 ar（不代作） D8 合并逐项对表（见 3e §3.3） D9 Cargo.lock 归因申报（净 0 行, 唯一变更点 = 根包 version） 3e = release/v1.6.6/V1.6.6_RELEASE_REPORT.md（新增） ★ 并载（照实 · 判例）: check_doc_pin_sync.sh 首跑 RED×3（README/ROADMAP 现势面含 old→new 转场形） ⇒ 依 v1.6.2 判例（「🚧 行 = 纯现势语义; 历史归 CHANGELOG/台账, 现势行只载当版」, release/v1.6.2/V1.6.2_RELEASE_REPORT.md:61） 改写现势面去旧版号 ⇒ 复跑四 delta 分域清零 rc=0; 转场史已载 CHANGELOG（该档禁清扫）⇒ 零信息丢失。 ★ 该脚本【非门禁】（ar 一手 grep 实证 verify_release.sh 未调用之 · docs/V1.6.5_RULINGS_34.md:120 裁定 94）⇒ 自选加严面。 ★ 四门禁（冻结树）: fmt rc=0 ∧ clippy rc=0 ∧ nextest rc=4（0 tests/2 bins · no tests 语义 · 预期）∧ build rc=0 ∧ metadata --locked rc=0 产物 sha256 = 654aa6532b33572a4fe1482358f31d85b3a726b694aecea523a230e4f2981c8b（35,168,144 B） ★ 异于环⑤ 批末值（09e6afbd…）—— 因版本串内嵌产物, 属预期; lock 除版本字段外零变更。 ★ 门禁全集扫（承裁定 408）: DUAL=0（git 源包 34）∧ AC5 rc=0（名册 8 条 / 33 包 / 破例 8）∧ V>T=0（具 tag= 之包 32, V≠T 8） ∧ check_doc_pin_sync ×4 rc=0 ∧ 锥锁 rc=0 ∧ v143 四守卫 rc=0 ∧ v154 二十守卫 rc=0 ★ 行号位移照实: Cargo.toml 四件钉位 +8（183/184/185/188∧269∧483∧523-526∧535∧614∧656 ⇒ 191/192/193/196∧277∧491∧531-534∧543∧622∧664） —— 因 D1 新增本版沿革注八行; 判据谓词取【钉值】非【行号】⇒ 门禁不受影响。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 22 天前 | |
测试(test): v1.9.17 发布报告初版 ＋ TEST_PLAN r2 补丁（R3′ 定稿）＋ P0-7 入闸（R10 三条件） 一. V1.9.17_RELEASE_REPORT.md（我域交付件 ③ · 在版中初版） ★ 落之由: 门器 检查2（令刷覆盖度）之第 4 件前件即本档 ⇒ 未在位 ⇒ 一条 skip_gap 空窗 （与 v1.9.16 §3.2 逐字同形）⇒ 本档落即消。★ 禁以 XW_ADJUDICATE_SKIP=检查2#1 消之（以裁定掩缺件）。 载: 四跑阶梯（升钉面/去引文面/携令面/D1面）逐级 rc ＋ 四项转绿（检查13.1 / L3 check_tool_pins / 检查5 / 检查2-D1）＋ 我域判据器读数 ＋ 限（tag 前常态 · L5 面解耦 · 器面各异 · offline 依缓存 · DB 时点）。 二. TEST_PLAN r2 补丁（R3′ 行定稿 · 承 R04 裁1） R3① 不取 ⇒ 本行定稿; 器 = deny_r3p_leg.sh; 守绿判据面归 ac6（本腿不重复断言）; 入 supply-chain@@run@@ 附 R10 裁1 三条件。 三. P0-7 入闸（R10 裁1） deny_r3p_leg.sh 增无网检测: git ls-remote 顾问库 12s 超时 ⇒ 不可达则取 --offline 并【响亮显名】FALLBACK（守本机上次 DB 时点 · 禁以之充现时点之证 · 须报 ar）。 ci_face_leg.sh REGISTRY 增 supply-chain@@run@@bash scripts/tests/deny_r3p_leg.sh@@。 实测（面 7a7b05dc · RC=0）: 四类 rc=0 ∧ bug=5 具名 ∧ error=0 ∧ DB HEAD 8a5b8090… ∧ 对照咬合; ★ 本机顾问库网络不可达 ⇒ FALLBACK 支【真触发】并显名（非静默）。 留证: release/v1.9.17/V1.9.17_RELEASE_REPORT.md ∧ evidence/P0_7_deny_r3p_gate_asrun.txt Co-Authored-By: Claude Code <noreply@anthropic.com> | 4 小时前 | |
v1.9.5 M4(dev): 审计清偿八条 + 令刷覆盖度守④ + 双跑可比性腿 + durable 红侧臂 ★ 令源: ar comm（04:15Z）「M2毕 M4起批 审计清偿 加 L5修 按r2四」∧ V195裁决06 （裁3.1 F-CI-11取甲 · 裁3.2 F-CI-13拟形可 · 裁1 L5归test · 裁4 F-RE-08转test）。 ■ §3.1 十四条逐条销项（判据面唯仓库交付件） 已落（我侧域 · 八条）: F-CI-06 Dockerfile 头部增「仅供本地冒烟 · 发布面以 docker/Dockerfile.release 为准」注 F-CI-08 .gitignore 并写 .botgate/ ∧ .botgate（原唯目录形 ⇒ 文件形漏判） F-RE-10 同上（同源二条合修） F-RE-12 .gitignore 增 opencode.json（原唯 .opencode/ 目录形 ⇒ 根文件形漏判） F-CI-14 .cargo/audit.toml 迁入 3 条旧公告 · Dockerfile.supply-chain 去 --ignore ⇒ 载体单源 F-SC-05 Cargo.toml description 去版本前缀（入 SBOM ⇒ 机器可读面失真） F-RE-05 Cargo.toml 判据 C 二行改【引用形】（--version == [workspace.package] version） F-SC-06 install.sh 旧址 fail-fast（die 2）+ main 顶层前置判定（使 die 真出） F-SC-07 dist-workspace.toml 增【复跑条件】（升 cargo-dist-version 须同批重跑二态探针） F-CI-09 Dockerfile.dockerignore 补 ~/.cache/xwcode/ 使成 .dockerignore 之超集 他方已闭（我侧实核 · 零动作）: F-RE-09 ac7_pipeline/SHA256SUMS 39/39 OK ∧ 根 SHA256SUMS 仓根跑 45/45 OK（已纯 -c 形） F-RE-11 audit/v1002-arch-audit-r18/ 已不在工作树 ∧ 入库 0 非我域（转 test · 我侧不碰）: F-RE-08 mr_head_staleness_two_state.txt:35 侧注「6 笔」未锚 rev（出具方 = test） ■ 腿件入位（三条 · 承 ar 裁06） ① F-CI-11 取甲 ⇒ 检查2 增【守④ 令刷覆盖度】: 四档（RELEASE_NOTES/CHANGELOG/ROADMAP/ RELEASE_REPORT）之【本版节在位 ∧ 制品面口径标记在位】。取【正形标记】形（承守③「防删块 即绿」律）; 前件缺 ⇒ 一条 skip_gap 显名（禁以未判充绿）。射程显名: 唯判【字段在场】, 不判其值（值之真伪归发布评审）。 ② F-CI-09 腿 ⇒ scripts/tests/docker_context_ignore_leg.sh（超集判据 + R1/R2 阳性对照） ③ F-CI-13 腿 ⇒ scripts/tests/nightly_dual_run_reconcile_leg.sh（静态可比性四守 + R1/R2）; 活读数须外部网络 ⇒ 显名不承（承 ci_face_leg.sh skip 先例 · 禁静默绿） 二腿挂 .xuanwu/Dockerfile.lint（pr-check · 同 lint_face_leg.sh 先例） ■ durable 红侧臂（承裁15裁2② / 裁16裁2①） 检查4 守②（Cargo.lock SHA256 锚）⇒ selftest 红侧㉒ 三臂: 甲 阴性（锚合 ⇒ 正形标记在位 ∧ 本守零 FAIL） 乙 阳性（篡改 lock 一字节 ⇒ 锚失配 ⇒ 具名 FAIL ∧ rc≠0） 丙 阳性（删已入库锚档 ⇒ ls-files 仍中 ⇒ 显式 FAIL · 证删档不逃） 立臂三律落实: 夹具扩至同形（Cargo.lock + 锚档皆入库）∧ 谓词具名到行（禁泛形 grep 检查4） ∧ 空窗键名净 token（本臂不造空窗 · 记此明其不涉） 并立红侧㉓（守④ 之判别力）: 甲阴性 / 乙真病相（抽 RELEASE_NOTES 标记 ⇒ 具名 FAIL）/ 丙删块（删整节 ⇒ 报前件缺显名 ∧ 全门仍红 ⇒ 删块不逃） ■ 取捨并载（交评审） · F-CI-14: 3 条 unmaintained 原以命令行形传 ⇒ 唯 supply-chain 作业静之, 本地裸跑仍见提示 （原注「可修性之活提示」）; 迁入本档后该面收窄, 换取【载体单源 ∧ 器升级不失效】。 · F-SC-06: 取【die 2】而非【warn 续行】（warn 仍装旧树 ⇒ 未消静默错版之害）。 · 守④: 不承「四档判级**值**一致」（该面须人判 · 承「报告 ≠ 获准」）。 ■ 门禁 fmt rc=0 ∧ clippy rc=0 ∧ nextest rc=4（0 tests · members=[] 结构性零覆盖 · 非绿声明） ∧ build --release rc=0（3m03s）∧ typos rc=0 ∧ taplo rc=0 ∧ sbom_gate rc=0（361 叶 · 归一化一致） ∧ heredoc_expand_guard rc=0 红侧㉒/㉓ 隔离实跑各三臂全咬合（rc=0） 整门 + 全自证器按律重跑（承 ar 裁06 裁3.1）—— 见本批证据档。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 8 天前 | |
v1.7.1 B1 —— M1 门禁机制清偿（AC1–AC5）+ AC10（面乙） ★ 前向显名（承在册【commit message 不可改唯前向显名】）: 上一笔 9d7addd6d 之报文 书「树 03e4a1b (待复取)」—— 该值为【占位之推演】非取值, 违反【铸出之标识须取值 非推演】。实树 = e18d41087e5817f67568abc962924cd72b2f3653（git rev-parse 9d7addd6d^{tree}）。★ 本笔起报文不再书树值（树须于提交后取值, 前置书之必为推演）。 - AC1 check14_feature_lock_registry(): 三面解耦 —— 平表 CHECK14_TESTS（24 名 · 版本 无关）+ 下界 CHECK14_APPLICABLE_FROM=1.7.0 + 续期点 CHECK14_REGISTRY_VALID_THROUGH =1.7.1; 删 ≤1.7.0 之 8 个历史臂（362 行 ⇒ 40 行）。fail-closed 语义保: 超续期点必红, 低于下界显名不适用 + skip_gap（非静默绿）。 - AC3 检查13.3: 单一源 check13_target_dir ⇒ 构点以 CARGO_TARGET_DIR 显式绑定 ∧ 取点 同源取值 ∧ 取点缺席 ⇒ 显名 fail（归因链断之治）。越仓红线: kernel 仓不触。 - AC4 检查5: 追加【版本格存在性】谓词 ^\|\s*\*\*(?:🚧|✅)\s*v<cur>(?![\d.])\*\*\s*\| ⇒ 0 命中 ⇒ fail（既有三面不动 ⇒ 覆盖面只增不减）。堵【D4 只改状态栏而版本格留旧值】 之假绿。 - AC5 检查26: scripts/release_gates_v1210.sh 增 check26_exhaustive_domain()（四维 载体/ 检查项/面/出口态 + 维数常量 + 二源对表 声明面⇄由代码解析之 check 锚全集）∧ verify_release.sh 显式调用（承裁 02 裁一: 禁以【函数已定义】充【已接线】）∧ 腿 scripts/tests/domain_dims_selftest.sh 四组阳性对照（承裁 03: 到达面须显名）。 - AC10 检查14 域扩: 扫描域逐项显名扩至 crates scripts .github install.sh deny.toml rust-toolchain.toml Cargo.toml Cargo.lock（禁开区间）∧ 增域之完备性自检。 - AC2 release/v1.7.1/tools/e2e_mainline.sh 新建（基 release/v1.6.7 sha256 4f32c365…）: 构建面段判据项名归一 ∧ 跳过支显名 build_rc=SKIPPED ∧ 判级器出口自检（E2E_ITEMS ⇄ ROWS 对表 ⇒ 差集非空 ⇒ rc=2）。冻结核: release/v1.6.6|v1.6.7 零笔（实核空）。 - tasks.md: T1–T6 勾（随批改）; T7 留 ☐（批之验证待终态实跑后另笔勾, 照实）。 面: 支 dev Co-Authored-By: Claude Code <noreply@anthropic.com> | 21 天前 | |
docs(v1.6.6): 事件日志 2× 重复诊断档 + red-side 复现门禁（缺陷 D-v166-01 红侧机制实证） 关联缺陷 D-v166-01（事件通道双写, 裁定 93 立案 / 裁定 94 派单 plugin-dev）。 根因收敛 ar「根因二择」为【事件双派发】（非总线 subscribe 未去重）: emit_event(xwcore/src/runtime/event.rs:35-52) 双 sink —— sink2(event_bus.dispatch) 与 sink3(event_summary_tx → xwtui 中继 app/mod.rs:259-264 → bus.dispatch) 汇入同一 SharedEventBus(:286 注入同级) ⇒ FilePersistSubscriber(:257) 每事件写两行。 三证排除(144/73=2.0; model_calls.jsonl call_index 单调无重复; 诊断行[检查]仅 1 次) 确证非模型重复生成/非整文件双写。 - docs/V1.6.6_EVENT_LOG_DUPLICATION_DIAGNOSIS.md: 诊断档(症状/三证/根因链/修复 A·B·C/回归判据) - scripts/tests/event_log_dedup_gate.sh: 比值判据门禁(总行/唯一行), 实测复现 198/100 FAIL | 23 天前 | |
v1.6.7 gate_cache_faces.sh 补: 零覆盖检出 ∧ 出口码分判（承裁决 39 令） - nextest 门禁报 tests run 数（谓词: 日志尾 N tests run）; =0 ⇒ 三行显式警告【零覆盖】 并显名其因: 本仓 [workspace] members = [] ⇒ 无成员 crate 承载测试 - fmt 门禁显名【不依缓存面】（纯格式化读取 ⇒ 无 T/S 面）—— 免与编译门禁混（承裁决 39 §三） - 出口码分判: 0=全绿 ∧ 1=有真红 ∧ 2=阳性对照失效 ∧ 3=rc≠0 之【全部】成因皆零覆盖 据: 立条（二十六）——【零覆盖】与【真绿】不可辨即为害, 须异码 Co-Authored-By: Claude Code <noreply@anthropic.com> | 22 天前 | |
测试(test): v1.9.17 P0-4 补 —— R20 裁1 F4 入闸 lint-extra ＋ F2 器 sha 订正 ＋ 自捕第五则 承 docs/V1917_RULINGS_20.md 一（订正 ∧ 裁1）∧ 去向（P0_4 证表小补丁）。 一 F2 器 sha 订正（★ 本席之过 · 同族第二现） - 报文所引 067a8ded… ⇒ 误; 正 = a1b0bb5024957dfc62b4f348eea2b3e7a7a8d7c526cc1892a4008ad47521e58f （以上库面 + as-run 自印为准） - 由: 067a8ded… 系删「无消费者之锚」块之后、补正档头域具名之前那一版的自印值 ⇒ 其后我又改了该器 ⇒ 面已变而值未重取 - ★ 律须扩（已入档）: 自印面值须与【其所描述之制品】同批取 —— 判据 = 取用时刻之 sha256sum <器> 逐位相符（非「取自 RC=0 之跑」即足） - ★ 本役二现（P0-3 一现 + 本处二现）⇒ 载入 failed-run-self-print-does-not-carry-later-readings 二 R20 裁1 落: F4 准入 lint-extra - scripts/tests/ci_face_leg.sh 名册增 lint-extra@@run@@bash scripts/tests/gate_face_manifest.sh@@ - .xuanwu/Dockerfile.lint RUN 链同批增一腿 - ★★ 同批重签 manifest（承 R20 裁2 重签律）: 清单 sha256 cc3374a0… · 锚值同 三 ★ 自捕第五则（潜伏 bug 于「未跟踪 ⇒ 已跟踪」跃迁后现形） - 现象: 入闸后重签 ⇒ 清单 328 ⇒ 329 条 ∧ 判据② 红（.xuanwu/gate-face.manifest.sha256: FAILED） - 由: face_files 只剔 $MANIFEST 未剔 $ANCHOR ⇒ 锚入 manifest 之哈希集 ⇒ 自指 ⇒ 无不动点 - ★ 潜伏之由: 该 bug 首签即在，然彼时锚未跟踪 ⇒ git ls-files 不列之 ⇒ 不入集 ⇒ 看着是绿的 - ★ 此即自捕③（git ls-files 唯列已跟踪档）之镜像形 —— 彼为「未跟踪 ⇒ 漏判」， 此为「已跟踪 ⇒ 多纳」；二者同源（集之成员随跟踪态而变） - 正形（已落）: face_files 剔二者; 锚之存在由判据① 守，锚之内容由判据③ 守 四 订正后读数（as-run 复取） - F4: 器 sha256 0760571a… · 清单 328 条 · RC=0（判据①②③④ 皆 ✓） - F2: 器 sha256 a1b0bb50… · RC=1（判据① 红着候 dev · 承 R20 裁6） 五 R20 余裁之结: 裁3 双轨并存（不归位）· 裁4 历史锚不另批 · 裁5 域不收窄 ⇒ 证表 §七 已结 Co-Authored-By: Claude Code <noreply@anthropic.com> | 2 小时前 | |
v1.8.1 M3 AC6+AC9 门禁日志咬合腿（test）: 面自载头咬合 ∧ 实征抽查 · 三模式 + 自足 selftest 承 ar 裁 03§四（AC6 分界: dev 交自载头 ∧ test 做咬合腿/红侧; 咬合取【异源独立复算】） ∧ 裁 06（三取甲: 载体 scripts/tests/ ∧ 形态合器 ∧ 红侧自足 selftest 不并 dev 自检） ∧ 路标 AC6/AC9。 一、器 scripts/tests/gate_log_face_bite.sh（三模式 · 合器共用抽取） face —— AC6 咬合腿: ① 抽取自证（六项 · 缺一 ⇒ EXTRACT_FAIL rc=2） ② 自洽（头载树 ⇄ rev-parse <尖>^{tree}） ③ 咬合腿（异源独立复算: rev-list --count <头载窗基>..<头载尖> ⇄ 日志 检查15 之 N） ★ 由: N 系门禁【自身逻辑】产出 ⇒ 与本器独立复算二路同源 ⇒ 抄错/篡改必显形 （判例: E10 头若自载 362292804 ⇒ N 应 127 而实印 126） evid —— AC9 S3e: ④ 实征抽查（检查8 之 Checking = N）; N >= 1 ⇒ 真跑; N = 0 ⇒ 显名【零覆盖 · 暖缓存 no-op】(非绿 · 承裁 54 立条(二十六)) ∧ 搜批内他档之 N >= 1 者【具名承面】(取最新, 禁 sort -u —— 排序非中性) all —— ①–④ 同跑; 无头档 ⇒ ①缺件 + ④缺件（不硬退） 二、★ 自足 selftest（阳性对照先行 · 不引仓内他件 · 免加塞 dev 自检） 七臂: A 无头 ⇒ rc=2 ∧ B 符 ⇒ 0 ∧ C 篡改尖 ⇒ 1 ∧ D 尖不可达 ⇒ 2 ∧ E Checking=1 ⇒ 0 ∧ F Checking=0 有承面 ⇒ 2 ∧ G 无承面 ⇒ 2 ⇒ PASS=7 FAIL=0 三、★ 照实自载（二失 · 皆红侧跑出后订正） ① 首版汇总判级唯计 FAIL 不计缺件 ⇒ 缺件竟判绿 —— 我自违所守之「缺件禁充绿」 ② 承面选取首版用 sort -u ⇒ 字典序重排 ⇒ 取中较旧之 E10 而非最新 E11 四、预核: 检查25（heredoc 名册）零候选 ∧ 检查14② 本档在 scripts/* 甲臂 ⇒ OK Co-Authored-By: Claude Code <noreply@anthropic.com> | 17 天前 | |
v1.6.0 SM.3.3 Stage-C: 黄金基线采集器+pre_switch 基线落档+gate20k 首跑留痕 - scripts/tests/golden_baseline_sm33.sh: mock 剧本驱动四案例行为快照采集器 (④建造归 dev, S4 定谳; 归一化剥易变字段, 判据=同 bin self-diff 空+预/后切换 diff 空) - evidence/sm33_golden/pre_switch/: 四案例 (c1_text_round/c2_tool_loop/ c3_retry_exhausted/c4_mode_plan) × 四通道 (stdout/events/model_call_audit/stderr) 快照, 2026-09-26 16:06 采于升钉前旧钉二进制 (出处干净, 基线等价前提) - evidence/SM33_gate20k.log: gate20k 首跑 FAIL 留档 (NO_FRAME——根因已定位: api_key 凭据带不过 seam 序列化通道, 通报 ar 裁定修复归属; 禁静默弃置, 修复后复跑换 PASS 档) - 安全: 落档前扫描无 key 形态 (mock 剧本驱动, 无真实凭据面) Co-Authored-By: Claude Code <noreply@anthropic.com> | 28 天前 | |
v1.8.5 M3（test）: 检查25 名册补登记 v1.8.5 变异器 heredoc（对象面） 令源: dev 通报 —— v1.8.5 D1 发布面门禁捕出【test】侧一件: 检查25 未登记候选 面: 支 dev 尖 721d32fa0 树 5f63e9cb6 脏数 0 · 命令 env -u CARGO_TARGET_DIR XW_VERIFY_RELEASE_WINDOW_BASE=v1.8.4 bash scripts/verify_release.sh · GATE_RC=1 读数: [verify_release] 检查25: ★ 未登记候选: release/v1.8.5/tools/ac1_yi_band_backtest_mutations.sh:PY（实见 1 条） 承判例: 名册登记归原实现方（0fd11dd0f / 3b0175390）—— 该档系我 M3 AC1 v7 批（1b30970d5）新落 ⇒ 归我域。 载体 scripts/tests/heredoc_expand_guard.py REGISTRY 增一条: "release/v1.8.5/tools/ac1_yi_band_backtest_mutations.sh:PY": (1, ...) 判【对象面】（承立条二十八之界 · 同族承 v1.8.4 之 ac1 条目）: 本 heredoc 之体为【变异器之检索/替换模式原文】—— Python MUT 之字符串字面量内嵌被测腿 v7 之 shell/awk 片段（[ "$V" -lt "$LO" ] || [ "$V" -gt "$HI" ] ∧ awk 域引用 {v[NR]=$1} ∧ 消息串 $KEY= / $tag / $NPMAX / $NNOVAL），经 src.count(old) 逐字匹配后写入十三变异副本。 其 $-名（V/LO/HI/KEY/tag/i/1/NPMAX/NNOVAL）于本器作用域内皆未定义 ∧ 本器 set -uo pipefail ⇒ 去引号即 (a) -u 下即刻中止 或 (b) 展开为空 ⇒ 检索模式变样 ⇒ src.count 得 0 ⇒ HARNESS_FAIL ⇒ 十三变异校准读数失真。⇒ 引号形【正确】，须保持字面量，禁改。 较 v1.8.4 之差: 增 m13（pre-RUN 行计数删之）—— 其替换串为 awk 语句 if (!seen) { npre++; next }，不含 $-名。 核（三组 · 留证于下）: scan rc=0（候选 18 条全登记 · 判 OK ✓） selftest rc=0（阳性对照十四组全符） coverage rc=0（199 件 · 129 候选行 ⇄ 129 已解析） ★ 阳性对照（证名册条目真被读取 · 副本扰动 · 不动交付件）: 对照一 计数 1⇒2 ⇒ 报「名册计 2 条 ≠ 实见 1 条」· rc=1 对照二 键名 v1.8.5⇒v1.8.6 ⇒ 报「未登记」· rc=1 对照三 原件 ⇒ rc=0（反向） typos scripts/tests/heredoc_expand_guard.py rc=0 Co-Authored-By: Claude Code <noreply@anthropic.com> | 15 天前 | |
测试(test): v1.9.17 R13决2 源C补正 ＋ F11 快档设计 ＋ lint_face 假红正名 ＋ R23裁1 一、R13 决2（源 C 覆盖缺口 · 器之域） 二缺口: ① 形（R2 四档改 FROM ⇒ 旧谓词失配 ⇒ 静默出表） ② 域（find .xuanwu ⇒ 域外真工具链源结构性不入判） 补法: 扩谓词（具名派生族）＋ 扩域（全仓构建档）＋ UNKNOWN⇒DEFECT 读数: 真面 rc=1（DEFECT=2 = tests/benchmark/swebench 之 rust:1.95-slim） --selftest 16 臂全咬合（含 5 域核臂 + 2 防死支臂） 自捕: 判据次序之失（FROM scratch 误判）⇒ 名册查前置 + 补防死支臂 二、F11 快档设计（承 R19 裁3 / R36 裁2 / R23 去向） 逐腿墙钟取自名册 run 项（n=2）: 合计 431s / 429s ★ pr-fast 220s = 3.67 min ⇒ 已超 180s 目标 22% 治靶: python-test 60s（find -exec {} \; 逐档起进程） ★ 对照: \; → + ⇒ 2s（30× · 同档集 1039 · 同谓词 · 唯一变量） ⇒ 补后 162s = 2.70 min 入线 tui-gate 入 pr-deep（须构建产物 · 58s）; ac13 ≥400s 入 pr-deep + 硬超时 判据器自测 = 对照内建 ⇒ F11 无须新面 三、lint_face_leg.sh R3 假红正名（F11 之 M1=0 前件） 一手: 串行复跑 30 ⇒ 10/30 红（33%）· 隔离精确形 1/30 · 独立形 30/30 稳 可断言: 器之退出口稳定（坏形 rc≠0 30/30）· 措辞行间歇缺失 ⇒ 旧形由日志行判 ⇒ 假红 根因: 二假说皆经探针否定 ⇒ 仍未定（禁以结果充因由） 正形: 判据取退出口 + 新增 CTL 第三态（另计 · rc=9 防吞自败）+ 不以重试掩盖 三向对照: 甲咬合 rc=0 / 乙 CTL rc=9 / 丙真未咬合 rc=1（判别力未失） 修后: 0/30 红 · 新支真被触发 R1 同法正（其失败形未观察 ⇒ 类推 · 并载） 四、R23 裁1（残留①）: verify_release_devsafe.sh _adj 字面 → 取在册档【生效】条 fail-closed: 在册档不在位 ⇒ 零裁定键; 空值不写键 Co-Authored-By: Claude Code <noreply@anthropic.com> | 47 分钟前 | |
v1.6.2 SW.3.3 dev 域活体接线探针交付（ar 批令 2026-09-28「即启」同日兑现, 主线域件 kernel/插件仓增量零触发）: examples/m2_subscribe_probe.rs 三 K 件 pub API 只读消费——kernel v1.4.4 Registry::mount+watch_status 原语（K-4 零增量定谳面, emit_status 与 Loader::mount_rows 同通路）+xwtui v0.3.8 plugin_watch 通道/attach/run_disposer（件③ 最小增量载荷 {entryId,phase,at} R4 结构体级）+xwmgmt v0.1.5 audit_cmd::append_plugin_event（件② M-e 六字段域写点）; [dev-dependencies] 承载=产品 bin 依赖图零增量（lock 仅 +6 行 dev-deps 边, 零新包零新源, DUAL=1×6 复证）; m2-spec §3 判据全咬合（S33a-d, evidence/M2_walkthrough_20260928_043928.log）: 增量流 4 条逐字留痕（Loading→Active）+断线 run_disposer 零增量（即时性降级非失真）+重连增量恢复+全量对齐块 4 行全 Active（Loader 唯一权威, App::align_plugin_state 同构载荷）+M-e 联立在线装载留痕随审计时间线（4 条 load 事件 revision 单调 0..3, SW.4.1 后半 (b) 承继面实证）; 拓扑发现申报 ar 候裁: 产品 TUI 运行链无活体 kernel::Registry（App::new 吞 runtime dev_app.rs:257+BootConfig 两字段无钩子位 boot.rs:33-36）——产品装配点 attach=kernel-host 源增量=新 tag（K-chain 件④ 形态）非本批零触发面; harness S33 段集成（探针沙箱隔离+timeout 短路）; SW.3.3 勾选, CLI --watch 不做（1c 定谳⑥候下版） Co-Authored-By: Claude Code <noreply@anthropic.com> | 26 天前 | |
v1.5.6 S1.1/S1.2 批1 AC-M1 分解探针落位+首批实测: memory_decomposition_probe.sh(rss 分阶段采样+heaptrack 调用栈归因双模式, 预热轮内置[规则 15], --interact 单模型调用形态[单路纪律], 双 C-c 优雅退出判例[硬杀=0 字节迹], .zst 输出形态); 首批实测三发现: ①启动堆峰 10,025 kB 中 code_graph 反序列化面 9,690.6 kB=96.7%, syntect/fancy-regex/xwtui 语法面启动态零构造(上版两处 ~10M 在合并二进制不叠加——立版判例方向性实证) ②消融 A/B: code_graph.json(7,484,483B) 在位 20,580 vs 消融 13,976 = Δ6,612 kB 常驻归因(规则 6 双对象, 零推算) ③--interact 态 RSS 20,588→23,820(Δ+3,232)=Provider 400 错误路径面(非高亮面——deepseek-v4.1-flash 活体复现, tools.27/32 index 漂移证据已报批F 诊断线, SF1_dev_repro.log); tasks S1.1 勾选; 证据 M1_*.log 四件+SF1 一件 Co-Authored-By: Claude Code <noreply@anthropic.com> | 29 天前 | |
v1.6.2 SW.5.0/SW.5.0b r36 主路由清偿批（ar 启动令 14:56 生效）: ①check14 补登两臂——1.5.3=18 真名（v152 承继 14+v153 新增 4）+1.6.0=21 真名（定义级 20 承继+SB.4 THRESHOLD_KB=20000）, 各对 tag 树逐一 grep 零 MISS; 登记史差异注记（selftest:315 '2026-09-25 19 名'未持久化, 计数链 33/34/35 实证, 按 tag 树实存补登）②md5 重锚 852d091b（37 臂=35+2, AC-G2 ①同批绑定, AC12 自检 ✓）③红侧⑪差集断言（M5-01 事故形泛化: released tag×注册臂双向差集必空, 纪元 1.1.1 起+patch/prerelease 豁免; 37 版×37 臂空+变异对照删臂检出[1.6.0]=有效力证明; 自捕双缺陷: 初版 awk 吃 v 前缀 273 版全放行+comm 'Unknown command' 差集恒空假绿→grep -Fxv 集差修正）④nextest exit4 语义放行件（EXIT=4 '0 tests run' 零测试≠门红, 三态判据）⑤check18 收口（P0-6）: 格式前置校验+|| true 撤除+计数行缺位显式红——三态证据绿 rc0/红① 前置红 rc1/红②' 扫描炸缺位红 rc1+诊断逐行; 证据档 evidence/SW50_gate_faces.log（管道子壳 FAIL 伪影自纠在档——真实退出码禁管道陷阱判例再现） Co-Authored-By: Claude Code <noreply@anthropic.com> | 26 天前 | |
v1.9.5 M4(dev): 审计清偿八条 + 令刷覆盖度守④ + 双跑可比性腿 + durable 红侧臂 ★ 令源: ar comm（04:15Z）「M2毕 M4起批 审计清偿 加 L5修 按r2四」∧ V195裁决06 （裁3.1 F-CI-11取甲 · 裁3.2 F-CI-13拟形可 · 裁1 L5归test · 裁4 F-RE-08转test）。 ■ §3.1 十四条逐条销项（判据面唯仓库交付件） 已落（我侧域 · 八条）: F-CI-06 Dockerfile 头部增「仅供本地冒烟 · 发布面以 docker/Dockerfile.release 为准」注 F-CI-08 .gitignore 并写 .botgate/ ∧ .botgate（原唯目录形 ⇒ 文件形漏判） F-RE-10 同上（同源二条合修） F-RE-12 .gitignore 增 opencode.json（原唯 .opencode/ 目录形 ⇒ 根文件形漏判） F-CI-14 .cargo/audit.toml 迁入 3 条旧公告 · Dockerfile.supply-chain 去 --ignore ⇒ 载体单源 F-SC-05 Cargo.toml description 去版本前缀（入 SBOM ⇒ 机器可读面失真） F-RE-05 Cargo.toml 判据 C 二行改【引用形】（--version == [workspace.package] version） F-SC-06 install.sh 旧址 fail-fast（die 2）+ main 顶层前置判定（使 die 真出） F-SC-07 dist-workspace.toml 增【复跑条件】（升 cargo-dist-version 须同批重跑二态探针） F-CI-09 Dockerfile.dockerignore 补 ~/.cache/xwcode/ 使成 .dockerignore 之超集 他方已闭（我侧实核 · 零动作）: F-RE-09 ac7_pipeline/SHA256SUMS 39/39 OK ∧ 根 SHA256SUMS 仓根跑 45/45 OK（已纯 -c 形） F-RE-11 audit/v1002-arch-audit-r18/ 已不在工作树 ∧ 入库 0 非我域（转 test · 我侧不碰）: F-RE-08 mr_head_staleness_two_state.txt:35 侧注「6 笔」未锚 rev（出具方 = test） ■ 腿件入位（三条 · 承 ar 裁06） ① F-CI-11 取甲 ⇒ 检查2 增【守④ 令刷覆盖度】: 四档（RELEASE_NOTES/CHANGELOG/ROADMAP/ RELEASE_REPORT）之【本版节在位 ∧ 制品面口径标记在位】。取【正形标记】形（承守③「防删块 即绿」律）; 前件缺 ⇒ 一条 skip_gap 显名（禁以未判充绿）。射程显名: 唯判【字段在场】, 不判其值（值之真伪归发布评审）。 ② F-CI-09 腿 ⇒ scripts/tests/docker_context_ignore_leg.sh（超集判据 + R1/R2 阳性对照） ③ F-CI-13 腿 ⇒ scripts/tests/nightly_dual_run_reconcile_leg.sh（静态可比性四守 + R1/R2）; 活读数须外部网络 ⇒ 显名不承（承 ci_face_leg.sh skip 先例 · 禁静默绿） 二腿挂 .xuanwu/Dockerfile.lint（pr-check · 同 lint_face_leg.sh 先例） ■ durable 红侧臂（承裁15裁2② / 裁16裁2①） 检查4 守②（Cargo.lock SHA256 锚）⇒ selftest 红侧㉒ 三臂: 甲 阴性（锚合 ⇒ 正形标记在位 ∧ 本守零 FAIL） 乙 阳性（篡改 lock 一字节 ⇒ 锚失配 ⇒ 具名 FAIL ∧ rc≠0） 丙 阳性（删已入库锚档 ⇒ ls-files 仍中 ⇒ 显式 FAIL · 证删档不逃） 立臂三律落实: 夹具扩至同形（Cargo.lock + 锚档皆入库）∧ 谓词具名到行（禁泛形 grep 检查4） ∧ 空窗键名净 token（本臂不造空窗 · 记此明其不涉） 并立红侧㉓（守④ 之判别力）: 甲阴性 / 乙真病相（抽 RELEASE_NOTES 标记 ⇒ 具名 FAIL）/ 丙删块（删整节 ⇒ 报前件缺显名 ∧ 全门仍红 ⇒ 删块不逃） ■ 取捨并载（交评审） · F-CI-14: 3 条 unmaintained 原以命令行形传 ⇒ 唯 supply-chain 作业静之, 本地裸跑仍见提示 （原注「可修性之活提示」）; 迁入本档后该面收窄, 换取【载体单源 ∧ 器升级不失效】。 · F-SC-06: 取【die 2】而非【warn 续行】（warn 仍装旧树 ⇒ 未消静默错版之害）。 · 守④: 不承「四档判级**值**一致」（该面须人判 · 承「报告 ≠ 获准」）。 ■ 门禁 fmt rc=0 ∧ clippy rc=0 ∧ nextest rc=4（0 tests · members=[] 结构性零覆盖 · 非绿声明） ∧ build --release rc=0（3m03s）∧ typos rc=0 ∧ taplo rc=0 ∧ sbom_gate rc=0（361 叶 · 归一化一致） ∧ heredoc_expand_guard rc=0 红侧㉒/㉓ 隔离实跑各三臂全咬合（rc=0） 整门 + 全自证器按律重跑（承 ar 裁06 裁3.1）—— 见本批证据档。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 8 天前 | |
测试(test): v1.9.17 P0-3 补 —— R18 裁1 余项（M 类空值显名格式检查）＋裁2 入闸 承 docs/V1917_RULINGS_18.md 裁1（不另立判据·归 F5 本体余项·显名格式检查可做）∧ 裁2（准入 lint-extra）。 裁1 余项（no_swallow_leg.sh）: - 新立 m_empty_scan()：M 类【赋值形】逐处格式检查 · ⚠ 空值未显名（赋值吞错 ⇒ 空串 ⇒ 「无读数」与「读数为空」不可分） · ⚠ 默认值冒充读数（${VAR:-0} 使「无读数」与「读数为 0」不可分） - ★ 只印 ⚠ ＋ 计数 · 不判红（逐处语义不判 · 不膨胀新判据） - 读数: 赋值形 M 类 = 70（分母）· 已显名 = 8 · ⚠ 空值未显名 = 57 · ⚠ 默认值冒充读数 = 5 - ★ 然器须有判别力 ⇒ 判据③第二组三向对照（赋值吞错必报 RISK ∧ 显名占位 ${v:-<不可读>} 必不报 ∧ ${v:-0} 必报 MASQ）—— 所判者 = 「器有判别力」非「M 类合规」 裁2 入闸: - scripts/tests/ci_face_leg.sh 名册增 lint-extra@@run@@bash scripts/tests/no_swallow_leg.sh@@ - .xuanwu/Dockerfile.lint RUN 链同批增一腿（与 check_tool_pins.sh 同组先例） 器 sha256 24acc05c… · RC=0 Co-Authored-By: Claude Code <noreply@anthropic.com> | 3 小时前 | |
v1.8.10 M2 批2(dev): R7 守⑧ 检查23 增守(WARN 记账) + 腿件出口码四分 - scripts/tests/permission_drift_gate.sh 出口码由【三分】改【四分】—— 新增 rc=2 「阳性对照失效（谓词不承证力）⇒ 本刻读数不可读」, 与 rc=1（漂移）相区别。 由: 旧形二者同码 ⇒ 「器坏」会被读作「真漂移」= 假红之一种（承 检查23 守③ 之码语义先例）。 二态实证: 真面 rc=1（CTL=0）⇄ 探针面（pred_ident 改写为恒真）rc=2（CTL=2）。 - scripts/verify_release.sh 检查23 增 守⑧（承 ar 裁 01 §二 ∧ 裁 02 §一/§二）: 形取【腿件复用】—— 唯取腿件出口码, 禁自写等价形 ⇒ 不动 检查26 之「检查项对表 32 项 零差集」∧ 不动 检查27 到达面 ∧ CHECK14 名册零动（重锚面实测: 哨符区 md5 b9e07dd3823dd69522c928e5b83aaeb9 不变 ∧ 恒 16 行 —— 本批改点在该区【之外】）。 判级 = WARN（不计 EXIT · 承裁 02 §二 取乙 · 附条件: 插件侧 M4 前收敛 ⇒ 升钉后转 fail 级; 未收敛 ⇒ 显名放行, fail 级转下版）。 ★ 出口码映射: 0 ⇒ note ✓ / 1 ⇒ WARN 记账（逐行并载）/ 2 ⇒ **fail**（器坏 ≠ 面漂, 不得以 WARN 掩之）/ 3 ⇒ skip_gap（面缺件, 禁读作无漂移）。 - 检查23 抬头补记 守⑦（v1.8.8 入册而【未入抬头】· 照实补）+ 守⑧。 - 实跑读数（面 b99c62f2d · 工作树即本批）: 检查23 守⑧ ⚠ WARN 记账 —— 腿件 rc=1 ⇒ 组A 漂移（xwpermission permission.rs md5 95b28fa3… ≠ xwtools 76bb0dde…）; 组B 恒等 ✓ ∧ 组C 子集 ✓; 阳性对照 R1/R2/R3 全咬合（PASS=7 FAIL=1 CTL=0 GAP=0）。 ★ 与 test 独立复算 1f8738f7 逐值同（双源互锁）。 - 全跑 rc=1 —— 唯 检查0/检查9（dev 领先 master · 推前结构性红）∧ 检查5#1 空窗未裁定 （须 XW_ADJUDICATE_SKIP=检查5#1）; 并入 master 后复跑取 rc=0（承在册）。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 14 天前 | |
v1.9.15 M2 批三(dev): 主线升钉 xwtui v0.3.64 ∧ xwwasm v0.1.14 ＋ R28 池项落器（档⑩带面降 WARN） ★ 令源: ar R13 §一 裁2（准并批: R12 三裁 ＋ R28 池项）∧ R14 §二 裁2（消费侧接线）∧ R15 §一 裁1／裁2。 一 升钉二仓（双面同改） xwtui v0.3.63 ⇒ v0.3.64 deref a6e859aced287f5b61fa…（卫星 annotated d183a641…） 2 行（声明面 ＋ patch 面） xwwasm v0.1.13 ⇒ v0.1.14 deref 69c1f558d776ddc49168791374c7edd526076ff9 （卫星 annotated 0835d6b9…）· 5 行（声明面 2 ＋ patch 面 3: xw-plugin ∧ xw-plugin-kernel ∧ xw-plugin-wasmtime） ★ 锁面: 定点改值四处（xwtui ∧ xw-plugin ∧ xw-plugin-kernel ∧ xw-plugin-wasmtime）—— 非重解析; 判据 = cargo metadata --locked rc=0（一手实跑）。 二 R28 池项落器（档⑩协议面 · 三选一取「**以中位代替**」） scripts/tests/realtotal_gate.sh: 正式轮【逐轮 ∈ 中位 ±100】由 **FAIL 降为 WARN** （报出 · 不改 RC）; 判定值取**中位**。 ★ 由（承 ar R28 裁1 理由）: ① 检查19 系**阈面**（--runs 缺省 1）⇒ 带面**非门禁**; ② 机况（load 45+）下逐轮位稳差实测 ~1000–1700 kB ≫ 带 ±100 ⇒ **假 FAIL** （同器同二进制 · D1 批稳差 4/20 ⇒ 变量在机况）; ③ 中位系稳健中心估计。 ★ 红线仍**逐轮**判（任一轮越线即 FAIL —— 不因取中位而掩单轮越线）。 ★ 未取之二候选并载: 「负载前件」= 令门禁于高载下不可跑（自跳即静默失效面）; 「放宽带」= 失判别力（本带判别力由域之别承之: 精确族 24–28 kB ⇄ 旧计数族 1220–1284 kB）。 ★ 判据侧（新臂）: scripts/tests/realtotal_gate_redside.sh 增 红侧④ —— 多轮（--runs 3） 低载 ⇒ 须 EXIT=0 ∧ 门禁 PASS ∧ 判定行**显名新律**（R28 中位代替）⇒ 证代码面在位且在跑。 ★★ 并载（限 · 照实）: 「带面 WARN **触发**」一路**未**构造机械臂 —— 器之载荷注入为**定值** （--inject-load 各轮同值）⇒ 无逐轮变值注入面 ⇒ 位稳差恒 0。该路之证唯代码面 ＋ 红侧④。 ★ 红侧全臂复跑: 红侧①（注入 40000 ⇒ EXIT=2）∧ 红侧③a/③b（预热档）∧ 红侧④ ∧ 对照①（坏口径 ⇒ EXIT=1）—— **全部咬合** rc=0。 三 门禁自查 fmt --all --check rc=0 ∧ clippy --all-targets -D warnings rc=0 ∧ nextest run --workspace --all-targets -j 32 --no-fail-fast ⇒ 0 tests / rc=4 （结构性零覆盖: 根 members=[] · 非绿 · 在册） ∧ CARGO_BUILD_JOBS=16 build --release rc=0 ∧ cargo metadata --locked rc=0。 四 并载（照实） - 卫星侧二仓之码面细节见其各自批笔（xwtui v0.3.64 ∧ xwwasm v0.1.14）—— 本笔唯升钉消费。 - ★ R14 裁2 之射程界: 「宿主侧调用点」不在本批（一手 grep 八仓无既存消费者 · 候裁）。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 1 天前 | |
v1.9.15 M2 批三(dev): 主线升钉 xwtui v0.3.64 ∧ xwwasm v0.1.14 ＋ R28 池项落器（档⑩带面降 WARN） ★ 令源: ar R13 §一 裁2（准并批: R12 三裁 ＋ R28 池项）∧ R14 §二 裁2（消费侧接线）∧ R15 §一 裁1／裁2。 一 升钉二仓（双面同改） xwtui v0.3.63 ⇒ v0.3.64 deref a6e859aced287f5b61fa…（卫星 annotated d183a641…） 2 行（声明面 ＋ patch 面） xwwasm v0.1.13 ⇒ v0.1.14 deref 69c1f558d776ddc49168791374c7edd526076ff9 （卫星 annotated 0835d6b9…）· 5 行（声明面 2 ＋ patch 面 3: xw-plugin ∧ xw-plugin-kernel ∧ xw-plugin-wasmtime） ★ 锁面: 定点改值四处（xwtui ∧ xw-plugin ∧ xw-plugin-kernel ∧ xw-plugin-wasmtime）—— 非重解析; 判据 = cargo metadata --locked rc=0（一手实跑）。 二 R28 池项落器（档⑩协议面 · 三选一取「**以中位代替**」） scripts/tests/realtotal_gate.sh: 正式轮【逐轮 ∈ 中位 ±100】由 **FAIL 降为 WARN** （报出 · 不改 RC）; 判定值取**中位**。 ★ 由（承 ar R28 裁1 理由）: ① 检查19 系**阈面**（--runs 缺省 1）⇒ 带面**非门禁**; ② 机况（load 45+）下逐轮位稳差实测 ~1000–1700 kB ≫ 带 ±100 ⇒ **假 FAIL** （同器同二进制 · D1 批稳差 4/20 ⇒ 变量在机况）; ③ 中位系稳健中心估计。 ★ 红线仍**逐轮**判（任一轮越线即 FAIL —— 不因取中位而掩单轮越线）。 ★ 未取之二候选并载: 「负载前件」= 令门禁于高载下不可跑（自跳即静默失效面）; 「放宽带」= 失判别力（本带判别力由域之别承之: 精确族 24–28 kB ⇄ 旧计数族 1220–1284 kB）。 ★ 判据侧（新臂）: scripts/tests/realtotal_gate_redside.sh 增 红侧④ —— 多轮（--runs 3） 低载 ⇒ 须 EXIT=0 ∧ 门禁 PASS ∧ 判定行**显名新律**（R28 中位代替）⇒ 证代码面在位且在跑。 ★★ 并载（限 · 照实）: 「带面 WARN **触发**」一路**未**构造机械臂 —— 器之载荷注入为**定值** （--inject-load 各轮同值）⇒ 无逐轮变值注入面 ⇒ 位稳差恒 0。该路之证唯代码面 ＋ 红侧④。 ★ 红侧全臂复跑: 红侧①（注入 40000 ⇒ EXIT=2）∧ 红侧③a/③b（预热档）∧ 红侧④ ∧ 对照①（坏口径 ⇒ EXIT=1）—— **全部咬合** rc=0。 三 门禁自查 fmt --all --check rc=0 ∧ clippy --all-targets -D warnings rc=0 ∧ nextest run --workspace --all-targets -j 32 --no-fail-fast ⇒ 0 tests / rc=4 （结构性零覆盖: 根 members=[] · 非绿 · 在册） ∧ CARGO_BUILD_JOBS=16 build --release rc=0 ∧ cargo metadata --locked rc=0。 四 并载（照实） - 卫星侧二仓之码面细节见其各自批笔（xwtui v0.3.64 ∧ xwwasm v0.1.14）—— 本笔唯升钉消费。 - ★ R14 裁2 之射程界: 「宿主侧调用点」不在本批（一手 grep 八仓无既存消费者 · 候裁）。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 1 天前 | |
v1.9.0 P0-2 器面专批(dev): 主线门禁成仓状态纯函数(v154 去 checkout 依赖 + 检查22 撤乙面 + verify-release CI 前提判定) 令源: ar(msg-1791738695206-1)「裁取乙: P0-2 断言归属插件仓自仓 gate, 主线 gate 成仓状态纯函数 ⋯ 主线侧按序落笔, 缺失覆盖记 GAP 显名。」 裁定: ar(msg-1791743472864-1)「裁取甲 ⋯ xwcore 面闭条件转插件侧立靶, 我去通报。GAP 三面记档 + 名册 33→28 重锚准行。」 依据: 审计 audit/v191-incremental-arch-audit-r49(F-08 / 02 §3.8 / 05 NEW-2 / 05 NEW-3 · P0-2 九轮 STILL OPEN) 一 病相(审计逐字): 守卫结果【非仓库状态纯函数】(依赖 $CARGO_HOME/git/checkouts 存在性) + verify-release CI job 于干净 runner 无 checkout ⇒ 首真跑必红(archived 证据 ⇄ 实跑背离 6 ⇒ 26 份) + 检查22(乙) 同具 checkout 依赖(cargo metadata --locked · 读数非单调 0,0,1,0) 二 处置三部分 ① v154 删五条 checkout 依赖断言(rc 前态/后态实证): xwcore 面 4: assert_v152_ac_cg_lazy_boot(第三段) · assert_v152_ac_cg_lazy_ensure · assert_v152_ac_cg_dual_bounds · assert_v151_ac4_codegraph_bound xwrepl 面 1: assert_v151_ac1_syntect_lazy 连带废: xwcore_lock_commit() / xwcore_src_dir()(唯上四用) · skip_note()/SKIP_COUNT(唯 ac1 用) · XWCORE_TAG(唯 lazy_boot 用) ⇒ 本档遂【无 checkout 读取】∧【无跳过路径】(禁留死支) 守卫计数: 二十 ⇒ 十五(终行 note 同批改) ★ 一手: 空 CARGO_HOME 跑 ⇒ 前态 rc=1(四 FAIL 皆 xwcore 面 · xwrepl 一条已 P0-4 化不致红) 后态 rc=0(十五守卫全过) —— 故唯【全删】可达 P0-2 之的 ⇒ ar 裁取甲 ★ 未动(并载): 旧世代档 v143/v151/v152_structural_guards.sh 仍含同名函数与 checkout 读取 —— 世代解析取最大 ⇒ 不在跑线(检查14b 唯执行现役档) ⇒ 禁越改史档 ② 检查22 撤(乙)插件面 ⇒ 唯存(甲)主线面(纯 grep -c) · 级别仍 WARN 不计 EXIT(裁定 368③) 阳性对照同批改形(旧对照所核 = 乙面之谓词 ⇒ 无对象 ⇒ 改夹具二行自核甲面) 载体 revpin_visibility.py 保留(其 roots 仍为 检查23 守① 所用) · scan 之主线消费面已撤(档内显名) ③ .github/workflows/ci.yml verify-release job: needs[release-check] + download-artifact + chmod + 前提判定步实设 DEPLOY_BIN · if 改 always() && (…) ⇒ 免【job 消失 > 红】(承 tui-gate / dev-safe 判例) 三 CHECK14 名册同批随动(33 ⇒ 28) + 重锚 删五名(即 §二① 所删五断言之载体名) · 新锚 4493bc0fef761938453dbf1fa2e5328e(旧 09e6bbd2…) 哨符区间(BEGIN..END 含)恒 16 行 ∧ 区间内唯 lock_tests 一行变 ⇒ md5 之变唯一归因名册 重锚注块落 END 哨符【之后】(承在册 v1.8.6 亲历: 落之前则锚随注块变 ∧ 自指涉 ∧ 归因不唯一) 续期点零动(非版本批) ⇒ 红侧⑩ 样例亦零动(与历版版本批之四件形异 · 同批唯二件) 一手复算: 28 名逐名核 检查14 证1 之代码级命中 ⇒ total=28 miss=0 ★★ 并载(照实 · 本席一手 · 非本批所治): 被删五名于旧世代档 v151/v152_structural_guards.sh 内 仍有代码级命中 ⇒ 若不删名, 检查14 证1 将照样通过 —— 即证1 之代码级命中可被【非现役世代档】 满足(覆盖面假绿之一形)。本批取删名而非留名, 并显名该形【候 ar 裁】是否另立现役世代约束。 四 ★★ 缺失覆盖之 GAP 记档(三面 ∧ 时序 · release/v1.9.0/evidence/P02_GATE_PURITY.md §五) xwrepl 面 ⇐ v154 ac1_syntect_lazy · 闭条件 = P13 甲腿(plugin-ar G-7 自仓化 · 零码面不占槽) xwkernel 面 ⇐ 检查22(乙) 插件面扫描 · 闭条件 = P13 乙腿(G-3 rev 收敛 + 新槽 xwkernel v1.4.15) xwcore 面 ⇐ v154 四断言 · 闭条件 = ar 转插件侧立靶(靶未立于本档 ⇒ 立靶后补载) 时序之律(ar msg-1791740059910-1 逐字): 甲腿落定⇒xwrepl 面 GAP 闭, xwkernel 面仍开, 二腿全定方全闭 (禁以甲充乙) ⇒ 各面之闭【独立】判 ★ 禁以「插件仓自仓 gate 将承载」充【主线已承】—— 本表即该覆盖面之唯一在册位 五 整门留证: release/v1.9.0/evidence/gate_v190_p02.log(1487 行 · 含 2 行档头 + 末行 GATE_RC=) GATE_RC=0 ∧ FAIL 行 0 · 全部通过 ✓ 检查14 证1: 28 项特征标识全命中 ✓ · 检查14b: 现役守卫 v154 实际执行 EXIT=0 ✓ 检查20: skip 路径登记完备 ✓(本批删 检查22 三条 skip 出口后仍完备) · 检查22: 阳性对照 ✓ ∧ 乙面已撤显名 守⑨ rc=0 ✓ ∧ 并载 面指纹 sha256=9d35fc47…(= P12 批产物 ⇒ 本批零产品源码变更) 守④ 6/0 · 守⑤ 363 · 守⑥ WARN(不计 EXIT) · 守⑦ 29/29/0 · 守⑧ 8/0/0/0 检查26 对表 32 项零差集 · 检查27 声明面 32 项全到达 面指纹(档内自载): 支 dev · 尖 835d8c92e · 树 59b35754b · 窗基 v1.8.10 · 脏数 7 · 器 sha256 d1ec94f2… ★ 首跑后曾改器(照实): 首跑 GATE_RC=0 亦绿, 然 检查22 阳性对照之 note 行内未转义反引号被 bash 命令替换(夹具字样丢失) ⇒ 修后重跑(本档 = 重跑之留证 · 器 1968f60e ⇒ d1ec94f2) ★ 同批顺手修(具名 · 同一缺陷类): 检查23(守⑨)「汇总行未取到」支 note 内同病一处(blame=本席 826623a6e) ⇒ 一并去反引号(唯 note 字面 · 零判据变更); 器档全档扫描(双引号串内未转义反引号 ∧ 非注释行) 命中 0 typos ①h 入族: gate_v190_p02.log(Compiling 行 344 条 ⇒ 二词类各 1 = 2 条 · 唯登记零改内容) 裸 typos rc=2 余红唯 audit/v182-arch-audit 二档(gate-lane.md 6 ∧ REPORT.md 2 = 8 条 · 在册冻结) taplo(CI 形): rc=0 ✓(本批改 typos.toml ⇒ 13 档) 六 待行: ① xwcore 面立靶(ar 通报插件侧后)补载闭条件 ② xwkernel v1.4.15(P13 乙腿新槽 · 直放面)到即消费 ③ P13 甲腿(xwrepl 自仓 gate)落定 ⇒ xwrepl 面 GAP 闭(须以插件仓交付件为凭) ④ SBOM 快照 P2-5 归 3j 批 Co-Authored-By: Claude Code <noreply@anthropic.com> | 12 天前 | |
测试(test): v1.9.17 P0-6 卫星仓 MSRV 面 —— satellite-msrv.sh（R6/F7 甲 · 面参数） 新立 scripts/tests/satellite-msrv.sh（sha256 5a786eba…）· 面参数为器形之要: 类 IV 真红不在主线钉面（主线锁钉 xweval v0.1.7 已治愈）⇒ 唯遍历主线锁之器结构性看不到 ⇒ 零证力（集成图 ⇄ standalone 图互不承证）。故器不硬编码主线锁。 判据二向皆须显式: --expect red ⇒ rc≠0 ∧ ^error[E0658] 计数 ≥ 1（具名）; --expect green ⇒ rc=0 ∧ 计数 = 0; --expect 缺席 ⇒ 器之自败 rc=2（缺席亦是断言）。 读数（一手）: · pairs 模式 · 主线锁 ⇒ 29 对（逐对具名）· RC=0 · 红侧真物腿 red32(v1.4.32) · -p xw-eval@0.1.2 ⇒ rc=101 ∧ E0658=3 具名 crates/xweval/src/diagnostic_collector.rs:342:63 / :441:41 / :1080:24 ⇒ RC=0 ★ 与 dev 报文逐值逐行相符（我侧独立复跑 · 非转述） · 翻转对照: 同红树唯改【期】为 green ⇒ FAIL（rc=1）⇒ 判据非恒真非恒假 · 器之自败: --expect 缺席 ⇒ rc=2 · 主腿 green33(v1.4.33) 实编面【候】（本档落时仍在跑）⇒ 记 n/a · 候落毕另批补录 锁面三判据已取: xw-eval=1 ∧ xw-subagent=1 ∧ patch.unused=0（与 dev 逐数相符） 自陈: 本档首稿曾于主腿格预填「rc=0 ∧ E0658=0 ⇒ PASS」而该跑当时仍在跑 ⇒ 该预填系未验之果 ⇒ 我侧当场自捕并撤回，改记 n/a（撤回之笔与本档同批）。 留证: release/v1.9.17/evidence/P0_6_satellite_msrv.md ∧ _asrun.txt Co-Authored-By: Claude Code <noreply@anthropic.com> | 6 小时前 | |
v1.7.1 B2 —— M2 跳过形之清偿（AC6–AC8）（面乙） ★ 序（决定性 · 承 tasks.md §21）: AC6 先行 ⇒ 其扩后【必红】∧ AC7/AC8 补 skip_gap ⇒ 转绿。 - AC6 检查20 selfaudit_skip_paths(): 锚点由【裸 return 0 行】位移为 skip 出口之三形 （形① 可空源守卫 / 形② note-only / 形③ 裸 return 0）; 命中须 ±6 行内有 skip_gap （认法含 || 连写形）; 具名豁免 SKIP20_EXEMPT（内容锚, 2 条）; 域扩至 release_gates_v1210.sh（承裁 02 裁二 取甲, 可测面 XW_SKIP20_FILES）。 - ★ 红侧（D6-RED · 活体实证 · 非夹具）: 本步落毕而 AC7/AC8 未落时跑门禁 ⇒ 检查20 实捕 四处真缺陷: scripts/verify_release.sh:352(形1) 422(形1) 427(形1) 647(形2)。 - AC7 检查2: changelog_ver / roadmap_ver 二源各置 skip_gap（显名其源 · 紧邻其守卫 ⇒ 使检查20 之 ±6 窗认得出）; 二源皆空 ⇒ 2 条 ⇒ 出口键 检查2#2（禁并因）。 并载 AC6 必随后果: 检查1 之 W1 守卫（形① 同族）一并登记（hoist 至 for 外 ⇒ 计数恒 ≤1）。 - AC8 检查5: 「无 🚧 进行中条目」之跳过支伴 skip_gap ⇒ 键 检查5#1。 - 调用方（穷举五面 · 承裁 01 裁一②）: verify_release_devsafe.sh 恒并载 检查5#1。 - 腿 scripts/tests/skip_path_registry_selftest.sh（新件）: 六组阳性对照（形①/②/③ 各一 · 合规一 · 具名豁免一 · 域扩一）∧ 任一失效 ⇒ exit 1; 由门禁本体调用（承裁 03 到达面）。 - tasks.md: T8–T11 勾（随批改）; T12 留 ☐（批之验证待终态实跑后另笔勾, 照实）。 实跑读数: 腿① 四组全符 rc=0 ∧ 腿② 六组全符 rc=0。 面: 支 dev Co-Authored-By: Claude Code <noreply@anthropic.com> | 21 天前 | |
v1.7.3 AC5 bump（dev）: 四仓升钉 + README/sm41 退役 · 检查14 续期 1.7.3 · AC5 名册+2 【四仓升钉 · 双面同批】皆一手 ls-remote 取值（annotated tag → deref 逐位吻合） xwcore v0.1.30 → v0.1.31 声明面 Cargo.toml:176 ∧ patch 面 :688（deref ed2dcfad4bbe2a86a8a77d379bcf9cce8757aa94） xwtui v0.3.17 → v0.3.18 声明面 :360 ∧ patch 面 :668（deref 6e60759f76aefd1ca55220e2e100d45fb9da1514） xwproviders v0.1.6 → v0.1.7 三键同批（xwproviders/xw-llm/xw-llm-kernel）声明面 :394/:398/:399 ∧ patch 面 :793/:794/:795（deref a9d43c96d7bd047d632dd9b97d15741c301f7596） xwrepl v0.2.29 → v0.2.30 单面 :757（闭包内无人钉他版 ⇒ 无收敛需求）（deref 452ebbfedbcd256ac6902600a4f39e7abf953824） Cargo.lock: 定点 update（恰六包）· 无关漂移（tempfile→getrandom）手回 · cargo metadata --locked rc=0 【AC3 文档/件面】 README.md: 清 /provider-swap [model] 命令条 ∧ 其描述段（零残留已核） scripts/tests/sm41_provider_swap.sh: 首标 9 行退役头（v1.7.3 AC3 · 触发器已撤 ⇒ 不再可跑） 留存之由（承 ar 裁定）: v1.6.0 SM.4.1 历史证链载体 —— 被 audit 双 lane ∧ SM41_HOTSWAP_PLAN ∧ cicd-openapi 注册表引用 ⇒ 删即断证链; 不在任何跑线（全仓 grep 证无调用）⇒ 留存不致假绿 【检查14 续期 · AC-G2① 同批重锚】 scripts/verify_release.sh:1755 CHECK14_REGISTRY_VALID_THROUGH "1.7.2" → "1.7.3"（哨兵区内） 区外附 v1.7.3 D1 注（0 新登记 + 具名排除 normalize_repo_url） scripts/tests/verify_release_gate_selftest.sh:475 LOCK_REGISTRY_MD5_ANCHOR → 1715487fe748d3d9ac045bf655293a06 红侧⑩样本 1.7.3→1.7.4 / 对照 1.7.2→1.7.3 【AC5 名册 +2（承 ar 裁决取①）】 scripts/tests/ac5_registry_gate.sh:114-117 入册 xw-llm ∧ xw-llm-kernel 其由: xwproviders v0.1.7 根 version=0.1.7 而 crates/xw-llm ∧ crates/xw-llm-kernel 仍 0.1.6 ⇒ 版本塌陷 V(0.1.6) ≠ T(0.1.7)（前态 v0.1.6 全 V=T ⇒ 系 v0.1.7 新引入） 归因: 插件侧版本卫生（非主线之责）· 功能影响零（cargo 钉值凭 tag+rev, 非 version 字段） 销册条件: 上游对齐二子 crate 版本（随新 tag）⇒ 本二条须随动删（否则触发「名册僵尸项」FAIL） 【门禁读数（本树）】 fmt 0/0 · clippy rc=0 · nextest rc=4（members=[] ⇒ 0 tests run = 结构性零覆盖·非绿） build --release rc=0 · metadata --locked rc=0 ac5_registry_gate rc=0（直钉 35 包 ∧ 破例 2 条）· cone_lock rc=0 Co-Authored-By: Claude Code <noreply@anthropic.com> | 19 天前 | |
测试(test): v1.9.17 P0-4 —— F2 snippet 完整性 ＋ F4 判据面清单哈希 承 docs/V1916_RULINGS_36.md 裁1/裁4 ∧ docs/V1917_RULINGS_19.md 去向。 一 F2 scripts/tests/snippet_integrity_leg.sh（新立 · sha256 067a8ded… · ★ RC=1 红着候 dev） - 靶: .xuanwu/snippets/install-cargo-binstall.sh 自 GitHub 取 tarball 径解包径 install ⇒ 零完整性校验 - 判据① 下载面活码内 sha256 计数 ≥ 1 —— 实测 1 档 · 计数 0 ⇒ 红（唯认计数，非「有/无」） - 判据② 仓内每一 *.sha256 锚逐件 sha256sum -c rc=0 —— 实测 3 档皆 rc=0 ★ 并载归位: Cargo.lock.sha256 之判据面已归 检查4 守②（verify_release.sh:1020 一手核） - 判据③ 对照: 副本锚 不篡改必绿 ∧ 篡改一字节必红 ⇒ 咬合 - 真缺口（候裁）: release/v1.6.{6,7}/tools/MANIFEST.sha256 活码零消费者 （域具名 .xuanwu scripts .github · 剔注释 ⇒ 零命中） 二 F4 scripts/tests/gate_face_manifest.sh ＋ .xuanwu/gate-face.manifest（328 条）＋ 自举锚 （器 sha256 88165fc2… · RC=0） - 判据① 同集（语义目录兜底）: 枚举 329 ⇄ 键 329 逐名相符 - 判据② 逐件 sha256sum -c: 328 件皆符 - 判据③ 自举: 锚对 manifest 校验 rc=0 - 判据④ 对照四向: 甲 0 / 乙 ≠0 / 丙 ≠0 / 丁 ≠0 ⇒ 咬合（各具名） - 自举双向锁: manifest 改 ⇒ 判据③ 红; 锚改 ⇒ 判据③ 红 ⇒ 单独改任一皆红 ★ 锚不入 manifest 之哈希集（若入则自指无不动点 —— 首版实测判据② 必红） ★ 限: 二者同改自洽则可伪造（自指之固有限 · 治在人） - 域具名（对合 §4.5.3）: .xuanwu/** scripts/tests/** scripts/verify_release.sh release/*/tools/** botgate.toml deny.toml .github/workflows/** - ★ 运维后果（候裁）: 凡改判据面须同批重签 manifest（承 Cargo.lock.sha256 重签体例） 三 自捕四则（照实） 1. 报「无」而未跑枚举: F2 档头初稿断言「全仓无一处跑 sha256sum -c」为假 （verify_release.sh:1020 即在）⇒ 正形: 凡「无」之断言必先跑枚举印命中集 2. 器于对照面递归 ⇒ 无限递归挂起（timeout 400 ⇒ rc=124）⇒ 正形 XW_GFM_NO_CONTROL=1 闸 3. git ls-files 唯列已跟踪档 ⇒ 未 git add 之新档不入册 ⇒ 册不全而报绿 ⇒ 正形: 域内有未跟踪档 ⇒ 器之自败 rc=2 具名 4. 脚本串内反引号（★ 第五现）: 写档时反斜线丢失 ⇒ 双引号串内 glob 真跑并执行了装包脚本 ⇒ 正形: 串内去反引号 · 消息/脚本串一律单引号 留证: release/v1.9.17/evidence/P0_4_f2_f4.md ＋ _f2_snippet_asrun.txt ＋ _f4_manifest_asrun.txt Co-Authored-By: Claude Code <noreply@anthropic.com> | 2 小时前 | |
守卫v1.3.7.1订正: ac7断言版本无关化(tag在位即可, 硬编码具体tag值随批演进必碎)——绿EXIT=0+红侧撤tag钉咬合EXIT=1双证 Co-Authored-By: Claude Code <noreply@anthropic.com> | 1 个月前 | |
v1.4.0 1a补登: check14特征锁测注册表+真语义载体——scripts/tests/v140_structural_guards.sh六断言(版本1.4.0/双key钉v0.3.2/repl钉v0.2.13/lock单实例DUAL=0旧rev零残留/锥锁脚本存活/scan>=2)全绿EXIT=0; 四标识crates_scanned+cone_lock_reverse_lookup+v140_tui_dual_key_pin_v032+v140_lock_single_instance_dual_zero按门禁判据复刻代码级命中; cone脚本补执行位; v137先例0c4b06eb形态, A14教训第五版连续不犯 Co-Authored-By: Claude Code <noreply@anthropic.com> | 1 个月前 | |
v1.4.1 check14 1a登记: v141结构守卫五断言(xwmgmt双key钉v0.1.0/lock单实例a8b6c26b/退役面物理缺席/锥锁存活/scan双阈值>=2+>=15)全绿EXIT=0+注册表四标识按门禁判据复刻代码级命中; 载体就位时点登记(1d S1判例执行) Co-Authored-By: Claude Code <noreply@anthropic.com> | 1 个月前 | |
v1.9.12(dev): M3-b —— F-GT-16 余项（四档守卫常量动态取钉）＋ G3 具名豁免 pure.rs 令源: ar 裁25 裁3 **取甲**（F-GT-16 余项 4 档改动态取钉 · 与现役同形 · 消潜伏） ∧ 裁25 裁5 **取甲（最小）**（G3 豁免具名 pure.rs · 谓词与 v1.7.2 现实对齐） ∧ 裁25 裁6（M3-b 即落 · 零设计）。 一 F-GT-16 余项 —— 死世代档守卫常量 字面 ⇒ 动态（4 档 · 4 行） · 修前形: KERNEL_TAG 字面固化于 v142("v1.2.4") / v150,v151,v152("v1.2.5") —— 皆【本世代时点之值】∧ 与现钉 v1.4.23 差 19/18 档 ⇒ 属「守卫常量滞后 = 假绿」族 · 修后形: pin_tag() 自 Cargo.toml 首条 tag= 声明派生（**与现役 v154 同形**; 空值 exit 1 fail-fast · 禁静默空串放行） · ★ 潜伏性（照实）: 四档**皆不在跑线**（verify_release.sh 检查14b 唯执行现役 v154） ⇒ 常量不参与判绿 ⇒ 现无假绿; 然世代解析退化（现役档缺失）即复活 · ★ 二态对照（一手 · 谓词面）: grep -c "xwkernel.git.*tag = \"<TAG>\"" Cargo.toml v1.2.4 ⇒ 0 ∧ v1.2.5 ⇒ 0 ∧ v1.4.23 ⇒ 8（期望 ≥4 ⇒ 修前必红 / 修后达） · ★ 修前/修后实跑对照（原档置同层取基线 · 跑毕即删）: v142 rc=1(1 FAIL) ⇒ rc=0(0 FAIL) v150 rc=1(3 FAIL) ⇒ rc=1(2 FAIL) —— kernel 钉 FAIL 行**已消** ∧ **零新增** FAIL v151 rc=1(3 FAIL) ⇒ rc=1(2 FAIL) —— 同上 v152 rc=1(4 FAIL) ⇒ rc=1(3 FAIL) —— 同上 ★ 余红系**同类余项**（XWWASM_TAG "v0.1.2" 现钉 v0.1.10 ∧ v152 XWCORE_TAG "v0.1.20" 现钉 v0.1.44）—— **不在本裁射程内** ⇒ 本笔不动, 另报候裁。 · ★ 射程（照实 · 不冒认）: 本笔唯动 KERNEL_TAG（承裁25 裁3 之「4 行」射程） 二 G3 具名豁免 pure.rs（v143_gates.sh） · 病灶: G3 谓词「主线 src/ 非 main.rs 之 .rs 计数须 0」**早于** v1.7.2 AC1, 而后者自 src/main.rs 合法抽出 pure.rs（std-only 纯函数 · 承 ar 裁决 05 裁1 三条件: 零依赖 ∧ 行为零变 ∧ #[path] 同源经 ac1_miri_leg.sh 实证）∧ 已入检查14 名册 （verify_release.sh 之 parse_worker_threads 面）⇒ 谓词与现实失配 ⇒ 假红 · 修后形: **具名豁免清单**（显名 · 逐名可审 · **非**通配/前缀）; 余者**仍零容忍** · ★ 二态对照（一手）: v143_gates.sh 直跑 修前 rc=1 （FAIL: G3: 主线 src/ 存在 1 个非 main.rs 产品文件）⇒ 修后 **rc=0**（G1-G6 全过） · ★★ 阳性对照（接入出口码 · 非恒真谓词）: 临时注入未具名 src/probe_unregistered.rs ⇒ 直跑 **rc=1** ∧ FAIL: G3: ... 存在 1 个非 main.rs 产品文件（...; 具名豁免 = pure.rs） ⇒ 豁免**未缩判据力**（余者照红）; 跑毕即删（git status 零残留 · 已核） · ★ 潜伏性（照实 · 双方一手一致）: 本档**整门不在跑线** —— verify_release.sh 唯调 --print-active-guard（纯函数早退）⇒ 本 G3 之红**非阻塞**; 本笔为**谓词正名** 三 门禁（CARGO_BUILD_JOBS=16） fmt --check rc=0 ∧ clippy --all-targets -D warnings rc=0 ∧ build --release rc=0 ∧ nextest --workspace --all-targets -j 32 --no-fail-fast = rc=4（0 tests run · members=[] 结构性零覆盖 · **非绿** 照实）∧ typos rc=0 检查14 证1 隔离腿 rc=0（名册 34 项 · missing/onlycomment/notactive 皆 0） 检查14 域隔离腿 rc=0（纳入面 14 · 具名排除 37 · 界未具名 0） ★ Cargo.lock / Cargo.lock.sha256 / SBOM **零动**（本批零依赖变更 · 唯 .sh 面） Co-Authored-By: Claude Code <noreply@anthropic.com> | 3 天前 | |
v1.9.12(dev): M3-b —— F-GT-16 余项（四档守卫常量动态取钉）＋ G3 具名豁免 pure.rs 令源: ar 裁25 裁3 **取甲**（F-GT-16 余项 4 档改动态取钉 · 与现役同形 · 消潜伏） ∧ 裁25 裁5 **取甲（最小）**（G3 豁免具名 pure.rs · 谓词与 v1.7.2 现实对齐） ∧ 裁25 裁6（M3-b 即落 · 零设计）。 一 F-GT-16 余项 —— 死世代档守卫常量 字面 ⇒ 动态（4 档 · 4 行） · 修前形: KERNEL_TAG 字面固化于 v142("v1.2.4") / v150,v151,v152("v1.2.5") —— 皆【本世代时点之值】∧ 与现钉 v1.4.23 差 19/18 档 ⇒ 属「守卫常量滞后 = 假绿」族 · 修后形: pin_tag() 自 Cargo.toml 首条 tag= 声明派生（**与现役 v154 同形**; 空值 exit 1 fail-fast · 禁静默空串放行） · ★ 潜伏性（照实）: 四档**皆不在跑线**（verify_release.sh 检查14b 唯执行现役 v154） ⇒ 常量不参与判绿 ⇒ 现无假绿; 然世代解析退化（现役档缺失）即复活 · ★ 二态对照（一手 · 谓词面）: grep -c "xwkernel.git.*tag = \"<TAG>\"" Cargo.toml v1.2.4 ⇒ 0 ∧ v1.2.5 ⇒ 0 ∧ v1.4.23 ⇒ 8（期望 ≥4 ⇒ 修前必红 / 修后达） · ★ 修前/修后实跑对照（原档置同层取基线 · 跑毕即删）: v142 rc=1(1 FAIL) ⇒ rc=0(0 FAIL) v150 rc=1(3 FAIL) ⇒ rc=1(2 FAIL) —— kernel 钉 FAIL 行**已消** ∧ **零新增** FAIL v151 rc=1(3 FAIL) ⇒ rc=1(2 FAIL) —— 同上 v152 rc=1(4 FAIL) ⇒ rc=1(3 FAIL) —— 同上 ★ 余红系**同类余项**（XWWASM_TAG "v0.1.2" 现钉 v0.1.10 ∧ v152 XWCORE_TAG "v0.1.20" 现钉 v0.1.44）—— **不在本裁射程内** ⇒ 本笔不动, 另报候裁。 · ★ 射程（照实 · 不冒认）: 本笔唯动 KERNEL_TAG（承裁25 裁3 之「4 行」射程） 二 G3 具名豁免 pure.rs（v143_gates.sh） · 病灶: G3 谓词「主线 src/ 非 main.rs 之 .rs 计数须 0」**早于** v1.7.2 AC1, 而后者自 src/main.rs 合法抽出 pure.rs（std-only 纯函数 · 承 ar 裁决 05 裁1 三条件: 零依赖 ∧ 行为零变 ∧ #[path] 同源经 ac1_miri_leg.sh 实证）∧ 已入检查14 名册 （verify_release.sh 之 parse_worker_threads 面）⇒ 谓词与现实失配 ⇒ 假红 · 修后形: **具名豁免清单**（显名 · 逐名可审 · **非**通配/前缀）; 余者**仍零容忍** · ★ 二态对照（一手）: v143_gates.sh 直跑 修前 rc=1 （FAIL: G3: 主线 src/ 存在 1 个非 main.rs 产品文件）⇒ 修后 **rc=0**（G1-G6 全过） · ★★ 阳性对照（接入出口码 · 非恒真谓词）: 临时注入未具名 src/probe_unregistered.rs ⇒ 直跑 **rc=1** ∧ FAIL: G3: ... 存在 1 个非 main.rs 产品文件（...; 具名豁免 = pure.rs） ⇒ 豁免**未缩判据力**（余者照红）; 跑毕即删（git status 零残留 · 已核） · ★ 潜伏性（照实 · 双方一手一致）: 本档**整门不在跑线** —— verify_release.sh 唯调 --print-active-guard（纯函数早退）⇒ 本 G3 之红**非阻塞**; 本笔为**谓词正名** 三 门禁（CARGO_BUILD_JOBS=16） fmt --check rc=0 ∧ clippy --all-targets -D warnings rc=0 ∧ build --release rc=0 ∧ nextest --workspace --all-targets -j 32 --no-fail-fast = rc=4（0 tests run · members=[] 结构性零覆盖 · **非绿** 照实）∧ typos rc=0 检查14 证1 隔离腿 rc=0（名册 34 项 · missing/onlycomment/notactive 皆 0） 检查14 域隔离腿 rc=0（纳入面 14 · 具名排除 37 · 界未具名 0） ★ Cargo.lock / Cargo.lock.sha256 / SBOM **零动**（本批零依赖变更 · 唯 .sh 面） Co-Authored-By: Claude Code <noreply@anthropic.com> | 3 天前 | |
v1.9.12(dev): M3-b 追补 —— 全 *_TAG 族动态取钉 ＋ 陈旧指针订正 ＋ remove 别名取乙（xw-mgmt v0.1.21 重钉） 令源: ar 裁27 裁2（M3-b 追补: XWWASM_TAG 3 处 ＋ XWCORE_TAG 1 处改动态取钉 ∧ 陈旧指针二处改注 · 唯正指针 · 载由保留）∧ 裁27 §2 执行细化 ∧ 裁28 裁2 **取乙**（remove 别名: 镜像删 alias ＋ 注文正名 ＋ 差异记檔）∧ 裁28 裁3（乙与 M3-b 追补**同批** · 省一槽）。 一 全 *_TAG 族动态取钉（治裁25 裁3「②空真达」之**谓词过窄**） · 修前: XWWASM_TAG 字面 v0.1.2 于 v150/v151/v152（3 处）∧ XWCORE_TAG 字面 v0.1.20 于 v152（1 处）—— 皆本世代时点之值 ∧ 与现钉（v0.1.10 / v0.1.44）各差多档 · 修后: pin_tag 'xwwasm.git' / pin_tag 'xwcore.git'（**与现役 v154 同形** · 空值 exit 1） · ★ 二态对照（一手 · 谓词面）: grep -c "xwwasm.git.*tag = \"<T>\"" Cargo.toml v0.1.2 ⇒ 0 ∧ v0.1.10 ⇒ 5（期望 ≥2）; xwcore.git: v0.1.20 ⇒ 0 ∧ v0.1.44 ⇒ 2（期望 ≥2） · ★ 修前/修后实跑对照（原档置同层取基线 · 跑毕即删）: v150 rc=1（xwwasm FAIL）⇒ **rc=0**（0 FAIL） v151 rc=1（xwwasm FAIL）⇒ **rc=0**（0 FAIL） v152 rc=1（xwwasm ＋ xwcore FAIL）⇒ **rc=0**（0 FAIL） ★ 零新增 FAIL 行 ⇒ 零副作用（对照逐行核） · ★ 射程（照实）: 本笔取**全 *_TAG 族**（4 处）—— 承裁27 裁1「谓词须取全 *_TAG 族 ∧ 报『空』须并报所取键集」; 现存族成员 = KERNEL_TAG（前批已治）＋ XWWASM_TAG ＋ XWCORE_TAG （本笔）⇒ 族内**无余项**（grep -nE '^[A-Z_]+_TAG="v' scripts/tests/v*_structural_guards.sh 现零命中 · 谓词与读数并载）。 二 陈旧指针订正二处（Cargo.toml · 承裁27 裁2「唯正指针 · 载由保留」） · 落点: 声明面 :782 段 ∧ patch 面 :1651 段（**二处** —— 与 ar 所指 :782/:1611 同件; 行号差由本版 M3-a 之加注所致 · 显名） · 形: **不改写原文** ＋ 附**订正注**（承裁25 裁1 之形）—— 正名: 所指之 scripts/tests/v143_structural_guards.sh **已全档删除**（批四 d0f38bd16）⇒ 指针**无对象**; **v143 载体正名** = scripts/tests/v143_gates.sh（**G 门载体 · 在位**）。 · ★ 上句之「**不在跑线**」**载由保留**（世代解析取最大 ⇒ 现役 = v154）—— 照 ar 令。 三 remove 别名取乙（xw-mgmt v0.1.20 ⇒ **v0.1.21** · 尖 bef7a13c 树 b63ba154 annot f5905d0a） · 镜像 args.rs **删** alias = "remove" ＋ 变体注/档头注**正名**。 · ★ 差异记檔（新立）: release/v1.9.12/V1912_ACJ43_ALIAS_DISCREPANCY.md —— 载承诺面原文 （V1911_ACJ_CPC2_ACCEPTANCE_REPORT.md:149 §四）、实状面（plugin remove rc=2 ∧ git log -S 零命中 ∧ alias 唯存镜像）、根因（**活 CLI 面 ⇄ 同构镜像** 二枚举之辨）、 处置与取乙之由。★ v1.9.11 AC-J §4.3 **不改史实**（承裁28 裁2）。 · ★ 判据（部署位实读）: plugin remove --help ⇒ unrecognized subcommand 'remove'（**同修前** —— 因活面从未有该名 ⇒ **零行为变化**）∧ plugin --help 之 uninstall/disable 二行文面**不变**。 四 主线重钉消费（本笔） · Cargo.toml 2 行（xw-mgmt 声明 1 ＋ patch 1）＋ deref 注 2 ＋ 批注块; **双面同批**。 · Cargo.lock 强制重解（删 git+ 块 36）⇒ 差域 **4 行** = 1 包 × 4 ∧ registry **479 包零漂移** ∧ 包总数 **516 不变**。 · Cargo.lock.sha256 a4130862… ⇒ 567ad03b…; SBOM 重生成（差域唯 xw-mgmt 一包版本面 · 组件数 **436** 不变 · rc=0）。 五 门禁（CARGO_BUILD_JOBS=16） fmt --check rc=0 ∧ clippy --all-targets -D warnings rc=0 ∧ build --release rc=0 ∧ nextest --workspace --all-targets -j 32 --no-fail-fast = rc=4（0 tests · members=[] 结构性零覆盖 · **非绿** 照实）∧ typos rc=0 检查14 证1 隔离腿 rc=0（名册 34 · missing/onlycomment/notactive 皆 0） 检查14 域隔离腿 rc=0（纳入面 14 · 具名排除 37 · 界未具名 0） ★ xwmgmt 侧: fmt0 ∧ clippy0 ∧ **118/118** ∧ build0（CARGO_TARGET_DIR 显式覆盖 —— 本仓 .cargo 之 /data/target-xwmgmt* 不可写 · 承本仓 config 自注） Co-Authored-By: Claude Code <noreply@anthropic.com> | 3 天前 | |
v1.9.12(dev): M3-b 追补 —— 全 *_TAG 族动态取钉 ＋ 陈旧指针订正 ＋ remove 别名取乙（xw-mgmt v0.1.21 重钉） 令源: ar 裁27 裁2（M3-b 追补: XWWASM_TAG 3 处 ＋ XWCORE_TAG 1 处改动态取钉 ∧ 陈旧指针二处改注 · 唯正指针 · 载由保留）∧ 裁27 §2 执行细化 ∧ 裁28 裁2 **取乙**（remove 别名: 镜像删 alias ＋ 注文正名 ＋ 差异记檔）∧ 裁28 裁3（乙与 M3-b 追补**同批** · 省一槽）。 一 全 *_TAG 族动态取钉（治裁25 裁3「②空真达」之**谓词过窄**） · 修前: XWWASM_TAG 字面 v0.1.2 于 v150/v151/v152（3 处）∧ XWCORE_TAG 字面 v0.1.20 于 v152（1 处）—— 皆本世代时点之值 ∧ 与现钉（v0.1.10 / v0.1.44）各差多档 · 修后: pin_tag 'xwwasm.git' / pin_tag 'xwcore.git'（**与现役 v154 同形** · 空值 exit 1） · ★ 二态对照（一手 · 谓词面）: grep -c "xwwasm.git.*tag = \"<T>\"" Cargo.toml v0.1.2 ⇒ 0 ∧ v0.1.10 ⇒ 5（期望 ≥2）; xwcore.git: v0.1.20 ⇒ 0 ∧ v0.1.44 ⇒ 2（期望 ≥2） · ★ 修前/修后实跑对照（原档置同层取基线 · 跑毕即删）: v150 rc=1（xwwasm FAIL）⇒ **rc=0**（0 FAIL） v151 rc=1（xwwasm FAIL）⇒ **rc=0**（0 FAIL） v152 rc=1（xwwasm ＋ xwcore FAIL）⇒ **rc=0**（0 FAIL） ★ 零新增 FAIL 行 ⇒ 零副作用（对照逐行核） · ★ 射程（照实）: 本笔取**全 *_TAG 族**（4 处）—— 承裁27 裁1「谓词须取全 *_TAG 族 ∧ 报『空』须并报所取键集」; 现存族成员 = KERNEL_TAG（前批已治）＋ XWWASM_TAG ＋ XWCORE_TAG （本笔）⇒ 族内**无余项**（grep -nE '^[A-Z_]+_TAG="v' scripts/tests/v*_structural_guards.sh 现零命中 · 谓词与读数并载）。 二 陈旧指针订正二处（Cargo.toml · 承裁27 裁2「唯正指针 · 载由保留」） · 落点: 声明面 :782 段 ∧ patch 面 :1651 段（**二处** —— 与 ar 所指 :782/:1611 同件; 行号差由本版 M3-a 之加注所致 · 显名） · 形: **不改写原文** ＋ 附**订正注**（承裁25 裁1 之形）—— 正名: 所指之 scripts/tests/v143_structural_guards.sh **已全档删除**（批四 d0f38bd16）⇒ 指针**无对象**; **v143 载体正名** = scripts/tests/v143_gates.sh（**G 门载体 · 在位**）。 · ★ 上句之「**不在跑线**」**载由保留**（世代解析取最大 ⇒ 现役 = v154）—— 照 ar 令。 三 remove 别名取乙（xw-mgmt v0.1.20 ⇒ **v0.1.21** · 尖 bef7a13c 树 b63ba154 annot f5905d0a） · 镜像 args.rs **删** alias = "remove" ＋ 变体注/档头注**正名**。 · ★ 差异记檔（新立）: release/v1.9.12/V1912_ACJ43_ALIAS_DISCREPANCY.md —— 载承诺面原文 （V1911_ACJ_CPC2_ACCEPTANCE_REPORT.md:149 §四）、实状面（plugin remove rc=2 ∧ git log -S 零命中 ∧ alias 唯存镜像）、根因（**活 CLI 面 ⇄ 同构镜像** 二枚举之辨）、 处置与取乙之由。★ v1.9.11 AC-J §4.3 **不改史实**（承裁28 裁2）。 · ★ 判据（部署位实读）: plugin remove --help ⇒ unrecognized subcommand 'remove'（**同修前** —— 因活面从未有该名 ⇒ **零行为变化**）∧ plugin --help 之 uninstall/disable 二行文面**不变**。 四 主线重钉消费（本笔） · Cargo.toml 2 行（xw-mgmt 声明 1 ＋ patch 1）＋ deref 注 2 ＋ 批注块; **双面同批**。 · Cargo.lock 强制重解（删 git+ 块 36）⇒ 差域 **4 行** = 1 包 × 4 ∧ registry **479 包零漂移** ∧ 包总数 **516 不变**。 · Cargo.lock.sha256 a4130862… ⇒ 567ad03b…; SBOM 重生成（差域唯 xw-mgmt 一包版本面 · 组件数 **436** 不变 · rc=0）。 五 门禁（CARGO_BUILD_JOBS=16） fmt --check rc=0 ∧ clippy --all-targets -D warnings rc=0 ∧ build --release rc=0 ∧ nextest --workspace --all-targets -j 32 --no-fail-fast = rc=4（0 tests · members=[] 结构性零覆盖 · **非绿** 照实）∧ typos rc=0 检查14 证1 隔离腿 rc=0（名册 34 · missing/onlycomment/notactive 皆 0） 检查14 域隔离腿 rc=0（纳入面 14 · 具名排除 37 · 界未具名 0） ★ xwmgmt 侧: fmt0 ∧ clippy0 ∧ **118/118** ∧ build0（CARGO_TARGET_DIR 显式覆盖 —— 本仓 .cargo 之 /data/target-xwmgmt* 不可写 · 承本仓 config 自注） Co-Authored-By: Claude Code <noreply@anthropic.com> | 3 天前 | |
v1.9.12(dev): M3-b 追补 —— 全 *_TAG 族动态取钉 ＋ 陈旧指针订正 ＋ remove 别名取乙（xw-mgmt v0.1.21 重钉） 令源: ar 裁27 裁2（M3-b 追补: XWWASM_TAG 3 处 ＋ XWCORE_TAG 1 处改动态取钉 ∧ 陈旧指针二处改注 · 唯正指针 · 载由保留）∧ 裁27 §2 执行细化 ∧ 裁28 裁2 **取乙**（remove 别名: 镜像删 alias ＋ 注文正名 ＋ 差异记檔）∧ 裁28 裁3（乙与 M3-b 追补**同批** · 省一槽）。 一 全 *_TAG 族动态取钉（治裁25 裁3「②空真达」之**谓词过窄**） · 修前: XWWASM_TAG 字面 v0.1.2 于 v150/v151/v152（3 处）∧ XWCORE_TAG 字面 v0.1.20 于 v152（1 处）—— 皆本世代时点之值 ∧ 与现钉（v0.1.10 / v0.1.44）各差多档 · 修后: pin_tag 'xwwasm.git' / pin_tag 'xwcore.git'（**与现役 v154 同形** · 空值 exit 1） · ★ 二态对照（一手 · 谓词面）: grep -c "xwwasm.git.*tag = \"<T>\"" Cargo.toml v0.1.2 ⇒ 0 ∧ v0.1.10 ⇒ 5（期望 ≥2）; xwcore.git: v0.1.20 ⇒ 0 ∧ v0.1.44 ⇒ 2（期望 ≥2） · ★ 修前/修后实跑对照（原档置同层取基线 · 跑毕即删）: v150 rc=1（xwwasm FAIL）⇒ **rc=0**（0 FAIL） v151 rc=1（xwwasm FAIL）⇒ **rc=0**（0 FAIL） v152 rc=1（xwwasm ＋ xwcore FAIL）⇒ **rc=0**（0 FAIL） ★ 零新增 FAIL 行 ⇒ 零副作用（对照逐行核） · ★ 射程（照实）: 本笔取**全 *_TAG 族**（4 处）—— 承裁27 裁1「谓词须取全 *_TAG 族 ∧ 报『空』须并报所取键集」; 现存族成员 = KERNEL_TAG（前批已治）＋ XWWASM_TAG ＋ XWCORE_TAG （本笔）⇒ 族内**无余项**（grep -nE '^[A-Z_]+_TAG="v' scripts/tests/v*_structural_guards.sh 现零命中 · 谓词与读数并载）。 二 陈旧指针订正二处（Cargo.toml · 承裁27 裁2「唯正指针 · 载由保留」） · 落点: 声明面 :782 段 ∧ patch 面 :1651 段（**二处** —— 与 ar 所指 :782/:1611 同件; 行号差由本版 M3-a 之加注所致 · 显名） · 形: **不改写原文** ＋ 附**订正注**（承裁25 裁1 之形）—— 正名: 所指之 scripts/tests/v143_structural_guards.sh **已全档删除**（批四 d0f38bd16）⇒ 指针**无对象**; **v143 载体正名** = scripts/tests/v143_gates.sh（**G 门载体 · 在位**）。 · ★ 上句之「**不在跑线**」**载由保留**（世代解析取最大 ⇒ 现役 = v154）—— 照 ar 令。 三 remove 别名取乙（xw-mgmt v0.1.20 ⇒ **v0.1.21** · 尖 bef7a13c 树 b63ba154 annot f5905d0a） · 镜像 args.rs **删** alias = "remove" ＋ 变体注/档头注**正名**。 · ★ 差异记檔（新立）: release/v1.9.12/V1912_ACJ43_ALIAS_DISCREPANCY.md —— 载承诺面原文 （V1911_ACJ_CPC2_ACCEPTANCE_REPORT.md:149 §四）、实状面（plugin remove rc=2 ∧ git log -S 零命中 ∧ alias 唯存镜像）、根因（**活 CLI 面 ⇄ 同构镜像** 二枚举之辨）、 处置与取乙之由。★ v1.9.11 AC-J §4.3 **不改史实**（承裁28 裁2）。 · ★ 判据（部署位实读）: plugin remove --help ⇒ unrecognized subcommand 'remove'（**同修前** —— 因活面从未有该名 ⇒ **零行为变化**）∧ plugin --help 之 uninstall/disable 二行文面**不变**。 四 主线重钉消费（本笔） · Cargo.toml 2 行（xw-mgmt 声明 1 ＋ patch 1）＋ deref 注 2 ＋ 批注块; **双面同批**。 · Cargo.lock 强制重解（删 git+ 块 36）⇒ 差域 **4 行** = 1 包 × 4 ∧ registry **479 包零漂移** ∧ 包总数 **516 不变**。 · Cargo.lock.sha256 a4130862… ⇒ 567ad03b…; SBOM 重生成（差域唯 xw-mgmt 一包版本面 · 组件数 **436** 不变 · rc=0）。 五 门禁（CARGO_BUILD_JOBS=16） fmt --check rc=0 ∧ clippy --all-targets -D warnings rc=0 ∧ build --release rc=0 ∧ nextest --workspace --all-targets -j 32 --no-fail-fast = rc=4（0 tests · members=[] 结构性零覆盖 · **非绿** 照实）∧ typos rc=0 检查14 证1 隔离腿 rc=0（名册 34 · missing/onlycomment/notactive 皆 0） 检查14 域隔离腿 rc=0（纳入面 14 · 具名排除 37 · 界未具名 0） ★ xwmgmt 侧: fmt0 ∧ clippy0 ∧ **118/118** ∧ build0（CARGO_TARGET_DIR 显式覆盖 —— 本仓 .cargo 之 /data/target-xwmgmt* 不可写 · 承本仓 config 自注） Co-Authored-By: Claude Code <noreply@anthropic.com> | 3 天前 | |
v1.9.14(dev): P1 抬线批 —— 内存红线 20,000 ⇒ 32,768 kB（用户 2026-10-23 定夺 · 六档十三处） 令源: 用户具名择Ⓐ（我侧呈 R16 之三选项 + 机制代价）⇒ ar R19 重裁取Ⓐ（R18 之Ⓑ读法作废 · 照实载明）。由（一手 · 部署位 A 点）: M4 修后插件由「签名门拒 ⇒ 从不装载」转为**真装载** ⇒ 五轮中位 29,172 kB（test 窄域复测中位 30,136 / max 30,900）⇒ 超旧红线 9,172 kB ⇒ 检查19 恒红 ⇒ 抬线解阻。新值 = 32 MiB（对 max 30,900 余量 +6.0%）。 ★ 射程六档十三处（**语义不变 · 唯值** —— 仍 Σ rollupRss 原值 kB ∧ 仍 > 即 FAIL）: ① scripts/tests/realtotal_gate.sh —— 判据本体 THRESHOLD_KB 20000 ⇒ 32768 ＋ 现行陈述注五处（S1 计量口径 / --threshold-kb / --inject-load / 注入判据 / 红线即比第 3 栏） ★ 历史注（v1.5.3 / v1.6.0 SB.4 / v1.8.4 换源）**保留**（逐版记录）∧ 新增本批注块。 ② scripts/tests/realtotal_gate_redside.sh —— 同批随动**二值**: · 四调用点 --threshold-kb 20000 ⇒ 32768 · ★ 红侧① 注入值 32000 ⇒ **40000** —— 否则 32000 < 32768 ⇒ 注入不再超线 ⇒ 红侧①（本档唯一之「超线必红」实证）**结构性失效**（假绿）。新余量 7,232。 ③ scripts/tests/v154_structural_guards.sh —— 结构守**逐字钉** THRESHOLD_KB=20000 ⇒ 32768 （现役世代档 · v143_gates.sh --print-active-guard 实核）; 守之【职】不变, 唯所钉之值随 现行处方走。不改则门禁自检结构性红。 ④ scripts/verify_release.sh —— 检查14 名册项 "THRESHOLD_KB=20000" ⇒ "THRESHOLD_KB=32768" （**机制性** · 非风格: 名册诸项系 grep -rn 之逐字靶 ∧ 命中须**代码级**（剥 path:lineno: ∧ 剥注释后非空）⇒ 常量一改则旧名零代码级命中 ⇒ missing[] 非空 ⇒ 本检查必红） ＋ 检查19 头注（并去其漂移之行号锚「realtotal_gate.sh:35」⇒ 改为变量本体之显名）＋ 三处判词/注记（PASS / FAIL / 测量失败 / 跳过）显名新值。 ⑤ scripts/tests/verify_release_gate_selftest.sh —— **重锚**（承 AC-G2① 双绑「名册变 ⇒ 同批重锚」）: LOCK_REGISTRY_MD5_ANCHOR 26ed8424d271125977f08fbb425bb32b ⇒ 19a26ceb763807a849135776ce784dd9 ★ 实算自证: 哨符区间（BEGIN..END 含）恒 **16** 行 ∧ 区间内逐行 diff 变**唯**名册行一处 ∧ 旧锚同法复算 = 26ed8424… **逐位符** ⇒ 抽取式自证。名册**项数零动**（34 ⇒ 34）。 ⑥ 现行注随动: .github/workflows/ci.yml（+ CI 步名/回填标签去「20MB」旧名） ＋ scripts/tests/ci_face_leg.sh ＋ scripts/tests/verify_release_devsafe.sh ＋ docs/PIPELINE_GUIDE.md（检查表 19 行）＋ docs/XWCODE_DEEP_ANALYSIS.md（内存红线行）。 ★ 自证（本席一手 · 针对性; **整门归 test**）: · 红侧腿 realtotal_gate_redside.sh = 四臂全咬合 rc=0（含「注入 40,000 ⇒ EXIT=2 门禁 FAIL」） · 结构守腿 v154_structural_guards.sh = 十五守卫全过 rc=0（含红线 32,768 kB[v1.9.14 P1]） · 检查14 证1 复现（逐名实跑同谓词）= 34/34 名代码级命中 ∧ missing[] 空 ∧ 仅注释命中 0 ∧ 唯现役世代（^v1[0-9]+_）15/15 落 v154_structural_guards.sh · 门禁: fmt rc=0 ∧ clippy --all-targets -D warnings rc=0 ∧ nextest --workspace --all-targets -j 32 --no-fail-fast rc=4（结构性零覆盖 · members=[]） ∧ CARGO_BUILD_JOBS=16 build --release rc=0 · ★ 零码批 ⇒ 产物**未变** ⇒ **无须重编/重部署**（部署位仍 5eb0c062… = 1.9.14）。 ★ 射程外残留（显名 · 候 ar 裁 · 本席未擅动）: CHANGELOG.md / RELEASE_NOTES.md / ROADMAP.md 三件**未载**本次红线变更（ar R19 之射程列举唯六档）; openspec/specs/roadmap.md 属 ar 域 （dev 不写路标）⇒ 一并候裁。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 1 天前 | |
v1.5.5 S6.2 AC-D2 L2 部署位鉴别器硬化: verify_deploy ①版本步非空断言→与发布候选等值断言强制步(判据 C: --version 唯一部署位鉴别器, 检查19 内存门无鉴别力判例)+⑤DEPLOY_EVIDENCE 三证据留痕(mtime/sha256/version)恒输出含 FAIL 路径; 新增 scripts/tests/verify_deploy_selftest.sh 三判例(红侧旧版本 bin 部署态 FAIL 检出/绿侧同体 PASS+三证据齐全/红侧缺席部署位 FAIL), 假 bin sleep30 使冒烟步 rc=124 PASS 保证红侧 FAIL 仅来自版本鉴别器; CI gate-selftest job 挂载(纯 bash/coreutils 供给面, CI 假红防线合规); 实跑 3 判例全咬合 EXIT=0 留档 evidence/S6.2_deploy_selftest_pass.log Co-Authored-By: Claude Code <noreply@anthropic.com> | 30 天前 | |
测试(test): v1.9.17 R13决2 源C补正 ＋ F11 快档设计 ＋ lint_face 假红正名 ＋ R23裁1 一、R13 决2（源 C 覆盖缺口 · 器之域） 二缺口: ① 形（R2 四档改 FROM ⇒ 旧谓词失配 ⇒ 静默出表） ② 域（find .xuanwu ⇒ 域外真工具链源结构性不入判） 补法: 扩谓词（具名派生族）＋ 扩域（全仓构建档）＋ UNKNOWN⇒DEFECT 读数: 真面 rc=1（DEFECT=2 = tests/benchmark/swebench 之 rust:1.95-slim） --selftest 16 臂全咬合（含 5 域核臂 + 2 防死支臂） 自捕: 判据次序之失（FROM scratch 误判）⇒ 名册查前置 + 补防死支臂 二、F11 快档设计（承 R19 裁3 / R36 裁2 / R23 去向） 逐腿墙钟取自名册 run 项（n=2）: 合计 431s / 429s ★ pr-fast 220s = 3.67 min ⇒ 已超 180s 目标 22% 治靶: python-test 60s（find -exec {} \; 逐档起进程） ★ 对照: \; → + ⇒ 2s（30× · 同档集 1039 · 同谓词 · 唯一变量） ⇒ 补后 162s = 2.70 min 入线 tui-gate 入 pr-deep（须构建产物 · 58s）; ac13 ≥400s 入 pr-deep + 硬超时 判据器自测 = 对照内建 ⇒ F11 无须新面 三、lint_face_leg.sh R3 假红正名（F11 之 M1=0 前件） 一手: 串行复跑 30 ⇒ 10/30 红（33%）· 隔离精确形 1/30 · 独立形 30/30 稳 可断言: 器之退出口稳定（坏形 rc≠0 30/30）· 措辞行间歇缺失 ⇒ 旧形由日志行判 ⇒ 假红 根因: 二假说皆经探针否定 ⇒ 仍未定（禁以结果充因由） 正形: 判据取退出口 + 新增 CTL 第三态（另计 · rc=9 防吞自败）+ 不以重试掩盖 三向对照: 甲咬合 rc=0 / 乙 CTL rc=9 / 丙真未咬合 rc=1（判别力未失） 修后: 0/30 红 · 新支真被触发 R1 同法正（其失败形未观察 ⇒ 类推 · 并载） 四、R23 裁1（残留①）: verify_release_devsafe.sh _adj 字面 → 取在册档【生效】条 fail-closed: 在册档不在位 ⇒ 零裁定键; 空值不写键 Co-Authored-By: Claude Code <noreply@anthropic.com> | 47 分钟前 | |
v1.9.17(dev): D1 升版批 —— 1.9.16⇒1.9.17（射程十档 · 令源 R15 裁1「取甲·D1即落」） 令源: docs/V1917_RULINGS_15.md §一 裁1 ∧ §二 去向「dev（本裁即令）: D1 批即落」。 射程（十档 · 循 v1.9.16 先例 2807d9188 实核）: Cargo.toml · Cargo.lock · Cargo.lock.sha256 · CHANGELOG.md · README.md · RELEASE_NOTES.md · ROADMAP.md · sbom/xwcode-skeleton.cdx.json · scripts/tests/verify_release_gate_selftest.sh · scripts/verify_release.sh 检查2 守③（D1 二分自书律 · 一手）: 窗基 v1.9.16（git describe --match 'v[0-9]*'）· 窗尖 HEAD（v1.9.17 tag 未立） 根包 1−/1+（xwcode-skeleton 1.9.16⇒1.9.17）+ git 钉面 4 包（xwkernel v1.4.32⇒v1.4.33: kernel / kernel-host / kernel-loader / kernel-macros）· registry 源行 0 ⇒ n_pin = max(4,4) = 4 > 0 ⇒ 二自书面【皆】须含「含升钉窗」 甲 = Cargo.toml 末 D1 注块（49 行）· 乙 = CHANGELOG 本版节 ⇒ 各含 3 / 1 处 ∧ 「无升钉窗」各 0 ✓ 检查2 守/守② · 检查14 · 检查5（一手）: RELEASE_NOTES 本版节在位 1（版本字段指针第 32 次）· 前版节 v1.9.16 终态（回填）+ 判词「已并版」在位 CHECK14_REGISTRY_VALID_THROUGH 1.9.16⇒1.9.17（sentinel 区 16 行不变）· 名册臂数 24（零动） 重锚 LOCK_REGISTRY_MD5_ANCHOR 0f37543f…⇒15b5bd3c…（旧值由改前区自证逐位同）· red10 咬合/对照随移 inprog_cells = [v1.9.17] · ver_cell(v1.9.17) = 1 · raw_has_marker = 1（⇒ 检查5#1 令之射程已尽） R38 同根二假红（承前笔）: ROADMAP:97 已去引文化 ⇒ 检查5(RC4-C1) 与 check_doc_pin_sync 二红同消。 门禁（本机 · CARGO_BUILD_JOBS=16）: sha256sum -c Cargo.lock.sha256 ⇒ OK（新值 2563f9300fed78a6086e916e68aabb1b9648ef338a2062f504461edea113e256） cargo metadata --locked rc=0 · cargo fmt --all --check rc=0 · cargo clippy --all-targets -- -D warnings rc=0 CARGO_BUILD_JOBS=16 cargo build --release rc=0（Compiling xwcode-skeleton v1.9.17 · Finished 1m26s） typos（十档全档）rc=0 ★ 未跑 nextest —— 本仓 [workspace] members=[] ⇒ 结构性零覆盖（rc=4 非绿）· 归 test 整门复跑。 候: 档⑩（重编 ＋ 冷面复编 ＋ 重部署〔部署位先取前态〕＋ 20M 自测 ＋ 整门复跑）。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 5 小时前 |
| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
| 20 天前 | ||
| 20 天前 | ||
| 3 天前 | ||
| 3 天前 | ||
| 20 天前 | ||
| 3 天前 | ||
| 11 天前 | ||
| 3 天前 | ||
| 12 天前 | ||
| 12 天前 | ||
| 3 天前 | ||
| 19 天前 | ||
| 19 天前 | ||
| 19 天前 | ||
| 3 天前 | ||
| 3 天前 | ||
| 16 天前 | ||
| 20 天前 | ||
| 3 天前 | ||
| 22 天前 | ||
| 24 天前 | ||
| 20 天前 | ||
| 7 天前 | ||
| 2 小时前 | ||
| 3 天前 | ||
| 3 天前 | ||
| 5 小时前 | ||
| 8 分钟前 | ||
| 22 天前 | ||
| 4 小时前 | ||
| 8 天前 | ||
| 21 天前 | ||
| 23 天前 | ||
| 22 天前 | ||
| 2 小时前 | ||
| 17 天前 | ||
| 28 天前 | ||
| 15 天前 | ||
| 47 分钟前 | ||
| 26 天前 | ||
| 29 天前 | ||
| 26 天前 | ||
| 8 天前 | ||
| 3 小时前 | ||
| 14 天前 | ||
| 1 天前 | ||
| 1 天前 | ||
| 12 天前 | ||
| 6 小时前 | ||
| 21 天前 | ||
| 19 天前 | ||
| 2 小时前 | ||
| 1 个月前 | ||
| 1 个月前 | ||
| 1 个月前 | ||
| 3 天前 | ||
| 3 天前 | ||
| 3 天前 | ||
| 3 天前 | ||
| 3 天前 | ||
| 1 天前 | ||
| 30 天前 | ||
| 47 分钟前 | ||
| 5 小时前 |