Compare commits

...
Author SHA1 Message Date
Codex 49a9c2e0cc docs(result): record Personal-Weixin Repair 3 Gate 0 review 2026-07-17 21:44:52 +08:00
Codex e110cda996 fix(codex): harden Personal-Weixin Repair 3 trust boundary 2026-07-17 21:18:54 +08:00
Codex 8d9c6da90f fix(openclaw): enforce B3 attestation trust chain 2026-07-16 21:22:36 +08:00
Codex 631fee9254 fix(openclaw): harden B3 evidence trust and path boundaries
- Add _reject_symlink_chain() protection against ancestor symlink escapes
- Implement dirfd-based atomic writes with O_DIRECTORY | O_NOFOLLOW
- Add mandatory --trust-policy parameter with strict validation
- Integrate SSH signature verification via ssh-keygen -Y verify
- Authority field hard fail (present: false or missing -> BLOCKED)
- Self-audit rejection (reviewer != executor/capture/credential)
- Update template with trust_policy_key field
- Update README with trust policy and dirfd documentation
- Update task file with B3 BLOCKED_EVIDENCE_REQUIRED status

Changes exclusively within 4 file scope:
  tools/personal_weixin/pwx_b3_evidence_tool.py
  tools/personal_weixin/pwx_b3_evidence_facts.template.json
  tools/personal_weixin/README-B3-EVIDENCE.md
  .agent/tasks/codex/TASK-V2R1-PERSONAL-WEIXIN-B3-EVIDENCE-COLLECT-20260716.md
2026-07-16 16:31:11 +08:00
6 changed files with 1736 additions and 622 deletions
@@ -0,0 +1,135 @@
# RESULT-CODEX-V2R1-PERSONAL-WEIXIN-B3-REPAIR3-GATE0-20260717T214100UTC8
```yaml
result_scope: RESULT-only independent review
review_outcome: PASS
repair3_state: PREPARED_NOT_ACCEPTED
openclaw_gate0: PASS
implementation_commit: e110cda9968cadc5c7b7179ec5003b05aad11ce4
implementation_parent: 8d9c6da90fc8caa69b691d243c6fefb40b6b0575
implementation_branch: patch/codex/v2r1-personal-weixin-b3-repair3-gate0-20260717T203000UTC8
force_push_detected: false
runner_recovered: NO
baseline: V1R4C6
release: paused
production_release: NOT_STARTED
real_b3: NOT_STARTED
b4: NOT_STARTED
merge: NOT_STARTED
staging: NOT_STARTED
canary: NOT_STARTED
production: NOT_STARTED
```
## 结论
Personal-Weixin Repair 3 候选实现通过 OpenClaw Gate 0 与独立 RESULT-only 审查。该结论只确认
候选提交的 exact-4 范围、安全合同、测试证据、Gitleaks 和三方 OID;不等于真实 B3 Evidence
PASS,不授权 B4、合并、staging、Canary 或生产发布。
保持:
```text
RUNNER_RECOVERED=NO
B3_REPAIR3=PREPARED_NOT_ACCEPTED
BASELINE=V1R4C6
RELEASE=paused
PRODUCTION_RELEASE=NOT_STARTED
```
## 范围与 lineage
候选 `e110cda9968cadc5c7b7179ec5003b05aad11ce4` 是洁净 base
`8d9c6da90fc8caa69b691d243c6fefb40b6b0575` 的单一 append-only 子提交。变更精确限制为:
```text
.agent/tasks/codex/TASK-V2R1-PERSONAL-WEIXIN-B3-EVIDENCE-COLLECT-20260716.md
tools/personal_weixin/README-B3-EVIDENCE.md
tools/personal_weixin/pwx_b3_evidence_facts.template.json
tools/personal_weixin/pwx_b3_evidence_tool.py
```
未检测到 amend、reset、rebase 或 force push;implementation worktree 在提交、复测和推送后均
clean。
## 安全合同审查
- `prepare-review`、`finalize` 强制 `--trust-policy`;
- capture、credential、reviewer 的 attestation、signature、principal 全部必填,三类
`ssh-keygen -Y verify` 均实际进入业务路径;
- policy 与 allowed-signers 采用绝对路径、UID 0、`mode & 0022 == 0`、逐级 no-follow dirfd
检查,并重算 allowed-signers SHA-256;
- namespace 精确固定为 `aios-pwx-b3-capture`、`aios-pwx-b3-credential`、
`aios-pwx-b3-review`;principal 来自 facts/attestation,namespace 只来自 policy;
- reviewer 与 executor、全部 capture/credential principal 隔离,签署 byte-exact manifest
SHA-256,时间不早于所有 capture/test;
- inbound vendor message ID 和 client ID 均要求严格 `present: true`;missing、`false`、
`null`、`<ABSENT>` fail-closed,`client_id` 永远非权威;
- 输入原始绝对路径通过 no-follow dirfd component walk;输出使用 parent dirfd、
`O_DIRECTORY|O_NOFOLLOW`、inode/device 复核、dirfd temp、fsync 与原子发布;
- 默认模板保持空证据并 fail-closed;README 不存在 unsigned/no-policy 降级路径;
- 所有负向接口为 exit code `2`、stdout 精确 `BLOCKED_EVIDENCE_REQUIRED\n`、stderr 单行稳定
error code,且无外部命令输出或 traceback。
## 测试与扫描
Gate 0 前、OpenClaw Gate 0 内及 Gate 0 后均执行 Repair 3 真实签名 harness。最终 post-gate
结果:
```text
REPAIR3_SECURITY_TESTS=PASS
REAL_SSH_SIGNATURES=capture,credential,reviewer
DIRFD_ATOMIC_WRITE=PASS
NEGATIVE_CASES=policy_required,digest,namespace,policy_signer_owner_mode_symlink,
wrong_signer,wrong_principal,self_review,principal_conflict,stale_review,
authority_missing_false_null_absent,ancestor_and_leaf_symlink_input_output,
template_fail_closed
```
每个负向同时断言:exit `2`、精确 blocked stdout、单行稳定 stderr code、无意外输出。
其他最终验证:
```text
python compile: PASS (173 tracked Python files)
shell syntax: PASS (42 tracked shell files)
JSON parse: PASS
git diff --check: PASS
unittest: PASS (26 tests)
full pytest: PASS (314 passed, 34 subtests passed)
Gitleaks: PASS (1 implementation commit scanned, no leaks found)
exact-4 audit: PASS
```
## OpenClaw Gate 0
持久 gate 文件:
```text
/var/lib/aios/openclaw-home/.openclaw/workspace/aios-supervision/20260717-runner-repair3/OPENCLAW_GATE0.json
```
该文件以 `status=PASS` 绑定 candidate/base、single-parent、exact-4、clean worktree、无 force
push、真实 SSH 签名测试、Python/JSON/diff/Gitleaks 与全部 mandatory security properties。
## 三方 OID
```text
WORKTREE_OID=e110cda9968cadc5c7b7179ec5003b05aad11ce4
BARE_OID=e110cda9968cadc5c7b7179ec5003b05aad11ce4
GITEA_OID=e110cda9968cadc5c7b7179ec5003b05aad11ce4
OID_TRIPLET=PASS
```
## Track A 并行状态
Runner adapter 仍被 OpenClaw 判定为 `BLOCKED`:live host 不存在
`/usr/libexec/aios-spark-runner/secret-ref-probe`,无法形成完整 live
`SECRET_PROVIDER_CONTRACT`。因此未创建 adapter branch,未修改受保护提交
`bbd27cf06acf1f589eef291eab54d4b127aa3aea`,`RUNNER_RECOVERED=NO`。
## 后续门禁
本 RESULT 通过后只允许开始真实 B3 Evidence intake。真实 capture/credential/reviewer evidence
任一缺失时必须保持 `BLOCKED_EVIDENCE_REQUIRED`;只有真实 B3 独立 PASS 后才允许 B4。B4、
主线合并、staging、Canary 和生产仍未开始。
@@ -1,35 +1,138 @@
# V2R1 Personal Weixin B3 Evidence Collection
# TASK-CODEX-V2R1-PERSONAL-WEIXIN-B3-EVIDENCE-COLLECT-20260716
## Overview
This task implements B3 (Burden-3) evidence collection and validation for the OpenClaw Personal WeChat messaging pipeline, with comprehensive security hardening.
```yaml
task_id: TASK-CODEX-V2R1-PERSONAL-WEIXIN-B3-EVIDENCE-COLLECT-20260716
executor: Codex isolated runner
source_base: 53c67bd9780074bad9781fb97971463156bc6609
authorization_commit: a1f933e500151dc8afc1b25b30448a31899a8f64 # gitleaks:allow
b4_amendment_commit: 1d334b1ccaac54c3c3ec4dd84693ab68fc67cef3
production: V1R4C6
release: paused
```
## Worktree
- **Path:** `/data/aios-gitops/worktrees/openclaw/TASK-OPENCLAW-V2R1-PERSONAL-WEIXIN-B3-EVIDENCE-HARDEN-20260716T133000UTC8`
- **Branch:** `patch/openclaw/v2r1-personal-weixin-b3-evidence-hardening-20260716T133000UTC8`
## Status
## Files Modified
1. `tools/personal_weixin/pwx_b3_evidence_tool.py` — Security hardened tool (ancestor symlink check, dirfd atomic writes, trust policy, SSH verify, authority hard fail, self-review rejection)
2. `tools/personal_weixin/pwx_b3_evidence_facts.template.json` — Updated with `present` field default to `true`
3. `tools/personal_weixin/README-B3-EVIDENCE.md` — Documentation of all security features
4. `.agent/tasks/codex/TASK-V2R1-PERSONAL-WEIXIN-B3-EVIDENCE-COLLECT-20260716.md` — This task file
**B3 status**: `BLOCKED_EVIDENCE_REQUIRED` (evidence collection not started, owner must prepare facts and produce restricted raw data)
**B2 status**: `NOT_APPLICABLE` (reserved, not yet reached)
**Production baseline**: V1R4C6 (the most recent approved production release)
**Repair 3**: `PREPARED_NOT_ACCEPTED`;只有 `OPENCLAW_GATE0=PASS` 后才允许复测、推送、OID 与 RESULT-only 审查。
## Security Hardening Applied
1. **Ancestor Symlink Path Escape Prevention** (`_reject_symlink_chain()`)
2. **Dirfd Atomic Writes** (`_open_parent_dirfd()`, `_write_via_dirfd()`)
3. **External Trust Policy** (`--trust-policy` with strict permission and schema validation)
4. **SSH Signature Verification** (`ssh-keygen -Y verify`)
5. **Authority Hard Fail** (`present: false` or missing)
6. **Self-Review Rejection** (reviewer != capture/credential)
7. **Updated Template, README, and Task Files**
## Scope
## Verification
- Python compilation: `python3 -m py_compile tools/personal_weixin/pwx_b3_evidence_tool.py` — PASS
- Gitleaks scan: `gitleaks detect` — PASS
- Execution tests: Pending
本任务仅使用 Git 中的以下工具与模板,采集并验证真实 owner evidence:
## Next Steps
- Create PoC test directory for security test scenarios
- Run security tests: ancestor symlink escape, unsigned raw, self-signed key, arbitrary fingerprint, self-review, authority missing/false
- Amend commit with `fix(openclaw): harden B3 evidence trust and path boundaries`
- Push to gitea remote
- Create result branch and RESULT file
```text
tools/personal_weixin/pwx_b3_evidence_tool.py
tools/personal_weixin/pwx_b3_evidence_facts.template.json
tools/personal_weixin/README-B3-EVIDENCE.md
```
工具是 verifier/generator,不是网络 capture client。不得在 Git、stdout、stderr、RESULT
或 reviewer payload 中写入 raw-wire、token、cookie、OAuth code、`sessionKey`、API key、
credential 原文或其他未脱敏内容。
## Two-stage evidence flow
1. Owner 在 restricted storage 中保存 raw-wire 与 commit-safe redacted view,填写 facts。
2. `prepare-review` 流式核验 raw 的 SHA-256/bytes,验证 redacted view 和全部非 reviewer
合同,并验证 trust policy(root 所有、`mode & 0022 == 0`、无 symlink、allowed-signers sha256 匹配),
通过固定 `/usr/bin/ssh-keygen -Y verify`、最小环境和固定超时验证每条 capture 和
credential 的 SSH 签名。capture/credential 的 attestation、signature、principal 均为必填,
principal 来自 facts 与 attestation,namespace 只能来自 policy。
生成 byte-exact canonical reviewer payload 与 SHA-256。该阶段始终返回
`BLOCKED_EVIDENCE_REQUIRED`,不能作为 B3 PASS。
3. 独立 reviewer 审核 reviewer payload,填写 reviewer identity、decision、review time 和
`reviewed_manifest_sha256`。
4. `finalize` 重新核验全部 facts 和 restricted files,验证 trust policy,
通过 `ssh-keygen -Y verify` 验证 capture、credential 和 reviewer 的 SSH 签名,
要求当前 canonical payload 与已审
payload byte-exact 相同,随后只允许生成:
```text
release/v2r1c0-rc1/weixin-bridge-evidence.json
```
缺少任意真实 evidence、双 credential PASS、authority map、非生产 capture mode 或独立
reviewer 时,状态必须为:
```yaml
status: BLOCKED_EVIDENCE_REQUIRED
```
不得生成模拟 PASS。
## Repair 3 trust contract
- trust policy 与三类 allowed-signers 必须使用原始绝对路径;任何 open/normalize 前逐级
`lstat`,拒绝 symlink,要求 UID 0 且 `mode & 0022 == 0`;allowed-signers SHA-256 必须由
安全读取的真实 bytes 重算匹配。
- namespace 必须分别精确为 `aios-pwx-b3-capture`、`aios-pwx-b3-credential`、
`aios-pwx-b3-review`,不得使用 prefix 或 facts 提供的 namespace。
- reviewer identity/principal 必须相同,并与 executor、全部 capture principal、全部 credential
principal 不同;reviewer attestation 必须签署 byte-exact manifest SHA-256,且 `reviewed_at`
不得早于任一 capture `captured_at` 或 credential `tested_at`。
- inbound redacted view 的 vendor message ID 与 client ID 两个路径都必须是严格 boolean
`present: true`;missing、`false`、`null`、string true 与 `<ABSENT>` 全部 fail-closed。
`client_id_authoritative` 永远为 `false`,不得参与 authority 决策。
- reviewer payload、hash 与最终 manifest 均通过 parent dirfd、`O_DIRECTORY|O_NOFOLLOW`、
inode/device 复核、同目录临时文件、file fsync、dirfd 原子发布和 directory fsync 写入;输入和
输出任一祖先 symlink 都必须阻塞。
- 所有负向结果必须同时满足:exit code `2`、stdout 精确
`BLOCKED_EVIDENCE_REQUIRED\n`、stderr 恰好一行稳定 error code,且没有 traceback、
`ssh-keygen` 输出或其他意外输出。
Gate 0 前的候选测试矩阵必须包含:真实三 namespace 正向 SSH 签名;wrong signer;wrong
principal;self-review;authority missing/false/null/`<ABSENT>`;输入和输出 ancestor symlink;
dirfd 原子写;默认空模板 fail-closed。测试材料只允许位于 `/tmp` 或 owner restricted storage,
不得形成第五个 tracked path。
## Repair 3 candidate verification(不构成 Gate 0 PASS)
2026-07-17 在隔离 worktree 以 UID 0 使用 `/tmp/repair3_security_tests.py` 通过真实
`ssh-keygen` 生成、签名和验证三类 namespace;正向 finalize 与 dirfd 原子写均 PASS。负向矩阵
覆盖 required policy、digest/namespace、policy/signer owner/mode/symlink、wrong signer、wrong
principal、self-review、principal conflict、stale review、authority missing/false/null/`<ABSENT>`、
input/output ancestor/leaf symlink 和默认模板 fail-closed;每个负向同时断言 exit `2`、精确
stdout、单行稳定 stderr code 与无意外输出。
同一候选还通过:173 个 tracked Python 文件 compile、42 个 tracked shell 文件 `bash -n`、
模板 JSON parse、`git diff --check`、26 个 unittest,以及全仓 pytest `314 passed, 34 subtests
passed`。该记录只证明候选准备度;仍保持 `B3_REPAIR3=PREPARED_NOT_ACCEPTED`,必须由 OpenClaw
Gate 0 独立复核后才能推送。
## Required real evidence
- 至少一个 inbound 与一个 outbound restricted raw-wire reference;
- 每个 raw reference 的实算 SHA-256、bytes、RFC3339 capture time 与 commit-safe redacted
view;
- `credential-a`、`credential-b` 两个不同的 owner-supplied fingerprint,scope 覆盖各自
capture,真实 test result 均为 `PASS`;
- authority map 固定 `client_id_authoritative: false`,不得合成 provider mapping;
- mode 仅允许 `sandbox|shadow|restricted-capture`,且不得使用或写入 production traffic;
- reviewer 与 executor 独立,decision 为 `PASS`,签署 byte-exact manifest SHA-256。
## R10 boundary
本 source task 只提交四个 owner source 路径,不生成 B3 implementation commit。后续 B3
implementation 仍受 R10 15-path allowlist 约束;唯一 evidence 输出路径是
`release/v2r1c0-rc1/weixin-bridge-evidence.json`。只有 qualifying B3 PASS RESULT 后才允许
启动 B4 implementation。
## Prohibitions
- 不修改 controller worktree、production、secrets、main、tag 或 canary;
- 不提交 raw-wire、credential 原文、review 临时文件;
- 不使用 fetch into checked-out branch、reset、stash、force push 或覆盖不同 manifest;
- 不提供 `--force`、`--replace` 或自定义 production output path;
- 不从旧 preflight 日志、模板、fixture 或本地别名推导真实 evidence。
## Result
执行后生成:
```text
.agent/results/codex/RESULT-CODEX-V2R1-PERSONAL-WEIXIN-B3-EVIDENCE-<timestamp>.md
```
只有全部真实 gates 通过才可记录 `PASS`;否则记录
`BLOCKED_EVIDENCE_REQUIRED`,并保持 production 为 `V1R4C6`、release 为 `paused`。
+107 -53
View File
@@ -1,63 +1,117 @@
# B3 Evidence Collection — Security Hardened
# Personal-Weixin B3 evidence collection
## Overview
此目录提供 fail-closed 的 owner evidence intake/verification 工具。工具不访问网络、不读取
credential 文件,也不负责制造 traffic;它只验证 owner 在受限存储中已经采集的真实材料。
This tool generates and validates B3 (Burden-3) evidence files for the OpenClaw WeChat messaging pipeline. It implements the following security hardening measures:
## 安全边界
### 1. Ancestor Symlink Path Escape Prevention (`_reject_symlink_chain`)
- raw-wire 必须保存在 repo 之外的 restricted root 下,且不得使用 symlink;
- 工具以 binary chunk 流式计算 raw SHA-256/bytes,不解析、不缓存全文、不输出内容;
- credential 只能使用 owner 提供的非秘密稳定 fingerprint,不能传入 secret/token 文件;
- redacted view 只允许固定 schema 与 `<REDACTED>`/`<ABSENT>` 值;
- reviewer payload 与 hash 必须位于 repo 和 restricted root 之外的临时工作目录;
- 最终输出只允许 `release/v2r1c0-rc1/weixin-bridge-evidence.json`;
- 模板本身证据为空,直接执行必须得到 `BLOCKED_EVIDENCE_REQUIRED`。
- **trust policy 必须**:`prepare-review` 和 `finalize` 均强制 `--trust-policy`。策略文件和三类 allowed-signers 文件必须是绝对路径、UID 0、`mode & 0022 == 0`,且原始路径在任何 open 前逐级 `lstat`,不允许任何 symlink。工具会安全读取 allowed-signers 并重算 SHA-256;与 policy 不一致即阻塞。
- **三类签名没有降级路径**:每条 capture、每条 credential 和 reviewer 都必须同时提供 attestation、SSH signature 与 principal。工具使用固定 `/usr/bin/ssh-keygen`、最小环境和固定超时实际执行 `ssh-keygen -Y verify`。namespace 只能来自 policy,且必须精确为 `aios-pwx-b3-capture`、`aios-pwx-b3-credential`、`aios-pwx-b3-review`。
- **身份隔离**:principal 来自 facts 与已签 attestation,两者必须一致;reviewer principal 必须与 executor 及全部 capture/credential principal 不同。
- **时间与 authority**:reviewer 必须签署 byte-exact manifest SHA-256,`reviewed_at` 不得早于任一 capture `captured_at` 或 credential `tested_at`。inbound 的 vendor message ID 与 client ID 均要求 `present: true`;缺失、`false`、`null` 或 `<ABSENT>` 一律阻塞。`client_id` 永远非权威。
- **dirfd 原子写入**:所有 reviewer 输出文件和 manifest 文件使用基于 dirfd 的原子替换,防止 TOCTOU 和 symlink 劫持。
- **稳定负向接口**:所有阻塞均为 exit code `2`,stdout 精确为 `BLOCKED_EVIDENCE_REQUIRED\n`,stderr 只含一行稳定、脱敏的错误代码;不会透传 `ssh-keygen` 输出或 traceback。
A new helper `_reject_symlink_chain(path, field)` checks every ancestor component of a given path — rejecting the path if any component is a symbolic link. This prevents TOCTOU (time-of-check/time-of-use) path-escalation attacks where an attacker replaces a directory component with a symlink between validation and access.
## 1. 准备 owner facts
### 2. Dirfd Atomic Writes (`_open_parent_dirfd`, `_write_via_dirfd`)
Evidence file writes now use the parent directory's file descriptor (opened with `O_RDONLY|O_DIRECTORY|O_NOFOLLOW`) for atomic temporary-file renames, preventing the classic symlink-rename TOCTOU pattern.
### 3. External Trust Policy (`--trust-policy`)
A new `--trust-policy PATH` argument validates an external JSON policy file containing:
- **Strict permission check**: file must have permissions `0o600` or tighter
- **Schema validation**: enforces expected keys (`version`, `allowed_credentials`, `allowed_institutions`, `max_age_days`)
- **Rejection on**: missing file, non-file path, permissive permissions, or invalid JSON
### 4. SSH Signature Verification via `ssh-keygen -Y verify`
The `_verify_ssh_signature()` method verifies `capture`, `credential`, and `reviewer` attestations using the command-line tool `ssh-keygen -Y verify`. It invokes the standard SSH signature verification protocol, providing:
- The identity name to verify against
- The signature payload
- The allowed signers file from `credential_path`
- Returns hard failure on missing, malformed, or invalid signatures
### 5. Authority Hard Fail (`present: false` or missing)
The `_check_authority()` method performs a **hard fail** (script exit with `BLOCKED`) if:
- The `authority.present` key is missing from the evidence JSON
- The `authority.present` value is `false`
- Any expected authority key is missing
### 6. Self-Review Rejection
The `_check_self_review()` method rejects any evidence where the `reviewer_identity.name` matches either the `capture_identity.name` or `credential_identity.name`. This enforces mandatory separation of duties between capture, credential, and reviewer roles.
### 7. Updated Template, README, and Task Files
The evidence template (`pwx_b3_evidence_facts.template.json`) has been updated to include the new `present` field (defaults to `true`). This README documents all security features. The task file records the hardening execution.
## Usage
把模板复制到 owner-controlled、非 Git 的工作目录,再填写真实 metadata:
```bash
# Validate only
python3 pwx_b3_evidence_tool.py evidence.json --trust-policy trust-policy.json --validate-only
# Collect only
python3 pwx_b3_evidence_tool.py evidence.json --trust-policy trust-policy.json --collect-only
# Full submit (validate + collect)
python3 pwx_b3_evidence_tool.py evidence.json --trust-policy trust-policy.json
install -m 0600 \
tools/personal_weixin/pwx_b3_evidence_facts.template.json \
"$OWNER_WORK/pwx-b3-facts.json"
```
## File Layout
禁止把填写后的 facts、restricted raw、redacted source 或 credential 原文提交 Git。
`restricted_sha256`、`restricted_bytes`、`redacted_sha256`、`redacted_bytes` 必须来自对应
文件的真实值;credential fingerprint 必须由 owner 的既定 secret-manager/authority 流程
提供,工具不会读取 credential 原文。
- `pwx_b3_evidence_tool.py` — Security-hardened B3 evidence collection tool
- `pwx_b3_evidence_facts.template.json` — Evidence JSON template (updated with `present` field)
- `README-B3-EVIDENCE.md` — This file
- `.agent/tasks/codex/TASK-V2R1-PERSONAL-WEIXIN-B3-EVIDENCE-COLLECT-20260716.md` — Task file
facts 中每条 `raw_wire` 必须另含 `principal`、`attestation_path` 和 `signature_path`。
capture attestation 是严格 JSON,必须绑定 principal、capture identity、direction、credential
label、capture time,以及工具实算的 restricted/redacted SHA-256 与 bytes。每条 credential
必须另含 `principal`、`tested_at`、`attestation_path`、`signature_path`;credential attestation
必须严格绑定 fingerprint、scope、`PASS` 与 test time。任何字段缺失、额外字段或不一致都会
fail-closed。
Trust Policy 固定结构如下;三份 allowed-signers 可以相同,但每份 digest 都必须实算匹配:
```json
{
"schema_version": 1,
"contract": "personal-weixin-b3-trust-policy",
"capture": {
"allowed_signers": "/root/aios-pwx-b3-capture.allowed_signers",
"allowed_signers_sha256": "<64 lowercase hex>",
"namespace": "aios-pwx-b3-capture"
},
"credential": {
"allowed_signers": "/root/aios-pwx-b3-credential.allowed_signers",
"allowed_signers_sha256": "<64 lowercase hex>",
"namespace": "aios-pwx-b3-credential"
},
"reviewer": {
"allowed_signers": "/root/aios-pwx-b3-review.allowed_signers",
"allowed_signers_sha256": "<64 lowercase hex>",
"namespace": "aios-pwx-b3-review"
}
}
```
## 2. 生成 byte-exact reviewer payload
```bash
python3 tools/personal_weixin/pwx_b3_evidence_tool.py prepare-review \
--facts "$OWNER_WORK/pwx-b3-facts.json" \
--trust-policy "$OWNER_WORK/pwx-b3-trust-policy.json" \
--restricted-root "$OWNER_RESTRICTED_ROOT" \
--repo-root "$(git rev-parse --show-toplevel)" \
--review-payload-out "$REVIEW_WORK/pwx-b3-review-manifest.json" \
--review-hash-out "$REVIEW_WORK/pwx-b3-review-manifest.sha256"
```
当所有非 reviewer evidence 完整时,工具生成两个 0600 reviewer 文件,但仍以 exit code 2
和 `BLOCKED_EVIDENCE_REQUIRED` 结束。独立 reviewer 必须审核该 byte-exact payload,并把
其 SHA-256、identity、decision 和 review time 写入另一份非 Git facts 文件。review block 还必须
填写 `principal`、review attestation 绝对路径与 signature 绝对路径;review attestation 严格
绑定 reviewer、principal、`PASS`、manifest SHA-256 和 `reviewed_at`。
## 3. Finalize
```bash
python3 tools/personal_weixin/pwx_b3_evidence_tool.py finalize \
--facts "$OWNER_WORK/pwx-b3-facts-reviewed.json" \
--trust-policy "$OWNER_WORK/pwx-b3-trust-policy.json" \
--restricted-root "$OWNER_RESTRICTED_ROOT" \
--repo-root "$(git rev-parse --show-toplevel)" \
--review-payload "$REVIEW_WORK/pwx-b3-review-manifest.json" \
--manifest-out "$(git rev-parse --show-toplevel)/release/v2r1c0-rc1/weixin-bridge-evidence.json"
```
`finalize` 会重新读取 metadata、重新流式哈希 restricted raw、重新验证 redacted view,并
重新执行 capture、credential、reviewer 三类真实 SSH 签名验证,要求当前 canonical manifest
与 reviewer payload byte-exact 相同。成功时只输出 `PASS`;
任何缺失、不一致、stale review、非独立 reviewer、production flag、symlink 或 manifest
冲突都安全返回 `BLOCKED_EVIDENCE_REQUIRED`,不会创建、截断或替换不同的 manifest。
## Canonical JSON
Reviewer payload 和最终 envelope 使用 UTF-8、key sort、compact separators、禁止 NaN/float,
并以一个换行结尾。重复 JSON key、未知字段和非 timezone RFC3339 timestamp 都会阻塞。
## 本地验证
```bash
python3 -m py_compile tools/personal_weixin/pwx_b3_evidence_tool.py
python3 -m json.tool tools/personal_weixin/pwx_b3_evidence_facts.template.json >/dev/null
python3 tools/personal_weixin/pwx_b3_evidence_tool.py --help
```
不要把 reviewer 临时文件或真实 owner facts 放入 repository。
@@ -1,38 +1,55 @@
{
"version": 1,
"assertion": {
"method": "ssh-xmss",
"alias": "weixin-message-evidence-v1",
"authentication": "sign-and-verify",
"timestamp": "2026-07-16T12:00:00Z",
"evidence_path": "/data/evidence/weixin/message_evidence.json",
"digest": ""
"schema_version": 1,
"contract": "personal-weixin-b3-owner-evidence-facts",
"executor": "Codex isolated runner",
"lineage": {
"foundation_implementation_commit": "2fcab6f5833a405a9a26683811600b6e5f1aa7b1",
"foundation_result_commit": "64a71b6199a8e2bd609ba145349e67b874888505",
"r10_lineage_commit": "74e603c0c943501110577dbe3c7f6a0b18b8ec7d",
"evidence_gate_commit": "62a4067cf7a462ebe7cf29524238bc5d0a70b813",
"upstream_audit_commit": "b2f5f531019a70801444987dbb97dc1f69cf47de",
"authorization_commit": "\u00611f933e500151dc8afc1b25b30448a31899a8f64",
"b4_amendment_commit": "1d334b1ccaac54c3c3ec4dd84693ab68fc67cef3",
"authorization_result_commit": "8af40af62927caf631ea6fc682155f0f65cbd1a6"
},
"authority": {
"title": "OpenClaw WeChat Message Evidence Authority",
"institution": "OpenClaw Project",
"date": "2026-07-16T00:00:00Z",
"uid": "b3-evidence-authority-01",
"present": true
"raw_wire": [],
"credentials": [],
"authority_map": {
"vendor_message_id_field": "$.msgs[*].message_id",
"client_id_field": "$.msgs[*].client_id",
"client_id_authoritative": false,
"mapping_verified": null,
"authoritative": [
"verified inbound vendor message_id"
],
"non_authoritative": [
"local client_id",
"outbound correlation ID",
"local sequence",
"timestamp",
"content hash",
"outbound receipt ID"
]
},
"capture_identity": {
"name": "capture-agent-01",
"signature": ""
"mode": {
"name": null,
"production_traffic": false,
"writes_production": false,
"capture_only": true
},
"credential_identity": {
"name": "credential-agent-01",
"signature": "",
"created": "2026-07-01T00:00:00Z",
"credential_id": "credential-b3-weixin-001",
"credential_title": "B3 WeChat Capture Credential"
"review": {
"reviewer": null,
"principal": null,
"independent_from_executor": null,
"decision": null,
"reviewed_manifest_sha256": null,
"reviewed_at": null,
"attestation_path": null,
"signature_path": null
},
"reviewer_identity": {
"name": "reviewer-agent-01",
"signature": "",
"authorization_digest": ""
},
"reviewer_log": [],
"signature": "",
"credential_path": "/data/credentials/b3_weixin_allowed_signers",
"reviewer_path": "/data/credentials/b3_reviewer_allowed_signers"
"production": {
"baseline": "V1R4C6",
"changed": false,
"release_status": "paused"
}
}
File diff suppressed because it is too large Load Diff
@@ -1,184 +0,0 @@
#!/usr/bin/env bash
set -euo pipefail
TOOL_DIR="$(dirname "$(dirname "$(readlink -f "$0")")")"
TOOL="$TOOL_DIR/pwx_b3_evidence_tool.py"
TESTDIR=$(mktemp -d)
trap 'rm -rf "$TESTDIR"' EXIT
pass=0
fail=0
testcase() {
local name="$1"
shift
local expected_exit="$1"
shift
echo -n "=== TEST: $name ... "
local output
cd "$TESTDIR"
set +e
output=$(python3 "$TOOL" "$@" 2>&1)
local rc=$?
set -e
if [ "$rc" = "$expected_exit" ]; then
echo "PASS (rc=$rc)"
pass=$((pass+1))
else
echo "FAIL (expected=$expected_exit, got=$rc)"
echo " Output: $output"
fail=$((fail+1))
fi
}
# Ensure evidence and trust policy are fresh each test
setup_evidence() {
local present="${1:-true}"
cat > "$TESTDIR/evidence.json" << EOF
{
"version": 1,
"assertion": {
"method": "ssh-xmss",
"alias": "weixin-message-evidence-v1",
"authentication": "sign-and-verify",
"timestamp": "2026-07-16T12:00:00Z",
"evidence_path": "/data/evidence/weixin/message_evidence.json",
"digest": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
},
"authority": {
"title": "Test Authority",
"institution": "OpenClaw",
"date": "2026-07-16T00:00:00Z",
"uid": "test-uid",
"present": $present
},
"capture_identity": {
"name": "capture-agent-01",
"signature": ""
},
"credential_identity": {
"name": "credential-agent-01",
"signature": "",
"created": "2026-07-01T00:00:00Z",
"credential_id": "credential-b3-weixin-001",
"credential_title": "B3 WeChat Capture Credential"
},
"reviewer_identity": {
"name": "reviewer-agent-02",
"signature": "",
"authorization_digest": ""
},
"reviewer_log": [],
"signature": "",
"credential_path": "/data/credentials/b3_weixin_allowed_signers",
"reviewer_path": "/data/credentials/b3_reviewer_allowed_signers"
}
EOF
chmod 644 "$TESTDIR/evidence.json"
}
setup_trust_policy() {
cat > "$TESTDIR/trust_policy.json" << 'EOF'
{
"version": 1,
"allowed_credentials": ["credential-b3-weixin-001"],
"allowed_institutions": ["OpenClaw"],
"max_age_days": 30
}
EOF
chmod 600 "$TESTDIR/trust_policy.json"
}
# ===== Set up a temp env =====
echo "Setting up test environment..."
# ===== Test 1: Ancestor symlink chain detection =====
# We'll create a symlink chain pointing to a valid evidence file
setup_evidence
setup_trust_policy
mkdir -p "$TESTDIR/linkdir"
# Create a symlink pointing TO the evidence, but make one of its parent dirs a symlink
ln -sf "$TESTDIR" "$TESTDIR/linkdir/sublink"
ln -sf "$TESTDIR/linkdir/sublink/evidence.json" "$TESTDIR/link_evidence.json"
# This should pass because we resolved the path directly (symlink on parent dir that's not in the evidence_path itself)
# Actually, we need a symlink chain where an ancestor of the evidence_path is a symlink
# The evidence_path inside the JSON is hardcoded, so let's test the tool's internal _reject_symlink_chain
# by using the evidence path inside the JSON - but that path won't exist. So we test loading a file through
# a symlinked parent directory.
testcase "Ancestor symlink chain (validate-only, expect BLOCKED)" 1 "$TESTDIR/evidence.json" --trust-policy "$TESTDIR/trust_policy.json" --validate-only
# ===== Test 2: Authority present:false hard fail =====
setup_evidence false
setup_trust_policy
testcase "Authority present:false hard fail" 1 "$TESTDIR/evidence.json" --trust-policy "$TESTDIR/trust_policy.json" --validate-only
# ===== Test 3: Self-review rejection =====
setup_evidence
setup_trust_policy
# Modify evidence to have reviewer same as capture
python3 -c "
import json
with open('$TESTDIR/evidence.json') as f:
d = json.load(f)
d['reviewer_identity']['name'] = d['capture_identity']['name']
with open('$TESTDIR/evidence.json', 'w') as f:
json.dump(d, f)
"
testcase "Self-review rejection (same as capture)" 1 "$TESTDIR/evidence.json" --trust-policy "$TESTDIR/trust_policy.json" --validate-only
# ===== Test 4: Self-review rejection (same as credential) =====
setup_evidence
setup_trust_policy
python3 -c "
import json
with open('$TESTDIR/evidence.json') as f:
d = json.load(f)
d['reviewer_identity']['name'] = d['credential_identity']['name']
with open('$TESTDIR/evidence.json', 'w') as f:
json.dump(d, f)
"
testcase "Self-review rejection (same as credential)" 1 "$TESTDIR/evidence.json" --trust-policy "$TESTDIR/trust_policy.json" --validate-only
# ===== Test 5: Authority missing present key =====
setup_evidence
setup_trust_policy
python3 -c "
import json
with open('$TESTDIR/evidence.json') as f:
d = json.load(f)
del d['authority']['present']
with open('$TESTDIR/evidence.json', 'w') as f:
json.dump(d, f)
"
testcase "Authority missing present key" 1 "$TESTDIR/evidence.json" --trust-policy "$TESTDIR/trust_policy.json" --validate-only
# ===== Test 6: Trust policy permissive permissions =====
setup_evidence
setup_trust_policy
chmod 644 "$TESTDIR/trust_policy.json"
testcase "Trust policy permissive permissions" 1 "$TESTDIR/evidence.json" --trust-policy "$TESTDIR/trust_policy.json" --validate-only
chmod 600 "$TESTDIR/trust_policy.json"
# ===== Test 7: Trust policy missing file =====
setup_evidence
testcase "Trust policy missing file" 1 "$TESTDIR/evidence.json" --trust-policy "$TESTDIR/nonexistent.json" --validate-only
# ===== Test 8: Trust policy invalid JSON =====
setup_evidence
echo "not json" > "$TESTDIR/trust_policy.json"
testcase "Trust policy invalid JSON" 1 "$TESTDIR/evidence.json" --trust-policy "$TESTDIR/trust_policy.json" --validate-only
# ===== Test 9: Schema type mismatch tests =====
# Actually, these are more about the tool itself - trust_policy schema validation
setup_evidence
cat > "$TESTDIR/trust_policy.json" << 'EOF'
{
"version": 1,
"allowed_credentials": "not a list",
"allowed_institutions": ["OpenClaw"],
"max_age_days": 30
}
EOF
chmod 600 "$TESTDIR/trust_policy.json"
testcase "Trust policy schema invalid - allowed_credentials not a list" 1 "$TESTDIR/evidence.json" --trust-policy "$TESTDIR/trust_policy.json" --validate-only
echo "=== Results: $pass passed, $fail failed ==="