已通过签核与交付AUD-98AA6034D8

LEC 等价检查助手

围绕 RTL-to-gate、ECO 和约束变化准备 formal equivalence checklist，定位 non-equivalent、unmapped、blackbox 与约束不一致问题。

查看 Skill 详情

Benchmark

91.7%

通过率

检查项

low

风险等级

自动检查

SKILL.md format and section validation

通过

skills/formal-equivalence-checklist/SKILL.md

Required frontmatter and sections are present.

Hardcoded secret scan

通过

skills/formal-equivalence-checklist

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

High-risk behavior scan

通过

skills/formal-equivalence-checklist

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

Declared dependency inventory

通过

skills/formal-equivalence-checklist

No runtime dependency manifest is included in this Skill package.

Sandbox dry-run readiness

通过

skills/formal-equivalence-checklist

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

Benchmark evidence completeness

通过

skills/formal-equivalence-checklist/SKILL.md

Score 89, level A-, pass rate 91.7%.

Human review gate

通过

skills/formal-equivalence-checklist/SKILL.md

Status is official.

Benchmark 套件

Format and metadata fixtures7/7

content/audit/evidence/formal-equivalence-checklist/bm-fmt.json

IC workflow scenario cases17/18

content/audit/evidence/formal-equivalence-checklist/bm-scenario.json

Safety and guardrail cases7/7

content/audit/evidence/formal-equivalence-checklist/bm-safety.json

Regression and replay cases2/4

content/audit/evidence/formal-equivalence-checklist/bm-regression.json

包盘点

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