父意图: #315 | Spec: specs/IR-0004/spec.md（待起草） | 波次: W1 | 依赖: 无 | 预算: 待 spec 标定（CNB 侧核时另计）
本卡含 C1 路径变更（governance/、standards/、.github/workflows/、agent-registry decisions/ 之一）——须附 ADR 引用。
任务
aws-tb 解析/实例化纯函数试点：pynguin/symbolic 工具链跑运行时指标（路径覆盖/求解超时率/单位时间发现数）；三段式判据证据报告。
AC（Given-When-Then）
- AC-1 (api): 试点运行时指标原始数据落盘。
- AC-2 (human): adopt/reject 报告逐项回答三段式判据。
- AC-3 (api): adopt→testing.yaml triggered 条款；reject→X 条款+revisit_when；二者其一登记即验收。
blastRadius（预测）
a
w
s
t
b
:
t
o
o
l
s
/
s
y
m
b
o
l
i
c
/
*
*
C
l
o
u
d
b
i
r
d
S
o
f
t
w
a
r
e
/
.
g
i
t
h
u
b
:
g
o
v
e
r
n
a
n
c
e
/
p
o
l
i
c
y
/
t
e
s
t
i
n
g
.
y
a
m
l
任务
aws-tb 解析/实例化纯函数试点：pynguin/symbolic 工具链跑运行时指标（路径覆盖/求解超时率/单位时间发现数）；三段式判据证据报告。
AC（Given-When-Then）
blastRadius（预测）
a
w
s
t
b
:
t
o
o
l
s
/
s
y
m
b
o
l
i
c
/
*
*
C
l
o
u
d
b
i
r
d
S
o
f
t
w
a
r
e
/
.
g
i
t
h
u
b
:
g
o
v
e
r
n
a
n
c
e
/
p
o
l
i
c
y
/
t
e
s
t
i
n
g
.
y
a
m
l