RC1 Issue Tracker (Spec/Interop/Security)

[joy7758]

RC1 Issue Tracker（集中收口）

这里收集三类问题，并给出处理状态：

A. 规范问题（Spec）

• 术语/字段含义不明确
• 边界规则缺硬约束
• 兼容性/版本策略需要补充

B. 互操作问题（Interop）

• 不同语言实现差异
• JCS/RFC8785 细节导致 digest 不一致
• checkpoint 分段/窗口规则差异

C. 安全问题（Security）

• 绕过 hard_gate / dependency_guard 的路径
• 重放/剪切/拼接攻击
• 供应链或 key 管理风险

请贴问题时带上：

• 最小复现命令
• 相关 JSONL 片段（可脱敏）
• 预期 vs 实际

[joy7758]

[RC1-CONFORMANCE REPORT]

Context: follow-up from pydantic/pydantic-ai#4395 RC1 request.

• Date: 2026-02-23 19:37:19 CST
• Repo: joy7758/aro-audit
• Commit: 607bd9e19aaec31ac72f37bf6badc9622c959860
• OS: macOS 15.7.4 (Darwin 24.6.0, arm64)
• Python: 3.14.3 (.venv)

Repro command:

./tools/run_conformance.sh

Observed result:

• VERIFY_OK: spec/test_vectors/boundary_base_v1.jsonl
• VERIFY_OK: spec/test_vectors/boundary_attack_attestations_only.jsonl
• VERIFY_FAIL: spec/test_vectors/boundary_attack_predicate.jsonl
  • error: digest mismatch (stored sha256:e7687e2c5c82130cd2157a7272d95af2a572dddc596389e141be7a435ecce4fd, computed sha256:fb23f1d12e69d56709651f2c97c3594d3d2507b7b730cb2fcc1609e34d81a207)
• Script end marker: ✅ CONFORMANCE_OK: boundary gate holds

Conclusion:

• Current RC1 conformance gate behavior matches expected pass/fail contract.
• No additional Spec / Interop / Security issue from this run.