已通过功能验证AUD-63E47E3EAF

Assertion 计划生成

把协议规则、状态机、异常优先级和安全属性转成 SVA 计划与断言骨架，帮助验证团队建立可维护的 checker 体系。

查看 Skill 详情

Benchmark

93%

通过率

检查项

low

风险等级

自动检查

SKILL.md format and section validation

通过

skills/assertion-plan-builder/SKILL.md

Required frontmatter and sections are present.

Hardcoded secret scan

通过

skills/assertion-plan-builder

No private key, cloud key, token, or long generic secret matched.

High-risk behavior scan

通过

skills/assertion-plan-builder

No recursive deletion, cloud metadata access, encoded shell, or unreviewed transfer matched.

Declared dependency inventory

通过

skills/assertion-plan-builder

No runtime dependency manifest is included in this Skill package.

Sandbox dry-run readiness

通过

skills/assertion-plan-builder

Package is documentation/reference only, so runtime sandbox is marked as dry-run ready.

Benchmark evidence completeness

通过

skills/assertion-plan-builder/SKILL.md

Score 92, level A, pass rate 93%.

Human review gate

通过

skills/assertion-plan-builder/SKILL.md

Status is official.

Benchmark 套件

Format and metadata fixtures8/9

content/audit/evidence/assertion-plan-builder/bm-fmt.json

IC workflow scenario cases20/22

content/audit/evidence/assertion-plan-builder/bm-scenario.json

Safety and guardrail cases8/9

content/audit/evidence/assertion-plan-builder/bm-safety.json

Regression and replay cases4/3

content/audit/evidence/assertion-plan-builder/bm-regression.json

包盘点

Package hash: sha256:asrt10092
Files: 1
Executables: 0
Decision: publishable