Spec Liveness Check

feat(spec): C2-α — explain 契约扩展到 record 粒度 (#2920) #973

Sign in to view logs

Triggered via pull request July 14, 2026 15:50

os-zhuang

opened #2928

claude/authz-c2-explain-contract

Status Success

Total duration 1m 53s

Artifacts –

spec-liveness-check.yml

on: pull_request

Spec property liveness