已通过逻辑综合AUD-BB3D2ECBC0

STA Exception 审计

专项审查 false path、multicycle、case analysis、clock group 等 STA exception，识别过度约束、漏约束和缺少证据的时序风险。

查看 Skill 详情

Benchmark

92.9%

通过率

检查项

low

风险等级

自动检查

SKILL.md format and section validation

通过

skills/sta-exception-auditor/SKILL.md

Required frontmatter and sections are present.

Hardcoded secret scan

通过

skills/sta-exception-auditor

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

High-risk behavior scan

通过

skills/sta-exception-auditor

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

Declared dependency inventory

通过

skills/sta-exception-auditor

No runtime dependency manifest is included in this Skill package.

Sandbox dry-run readiness

通过

skills/sta-exception-auditor

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

Benchmark evidence completeness

通过

skills/sta-exception-auditor/SKILL.md

Score 91, level A, pass rate 92.9%.

Human review gate

通过

skills/sta-exception-auditor/SKILL.md

Status is official.

Benchmark 套件

Format and metadata fixtures8/8

content/audit/evidence/sta-exception-auditor/bm-fmt.json

IC workflow scenario cases20/21

content/audit/evidence/sta-exception-auditor/bm-scenario.json

Safety and guardrail cases8/8

content/audit/evidence/sta-exception-auditor/bm-safety.json

Regression and replay cases3/5

content/audit/evidence/sta-exception-auditor/bm-regression.json

包盘点

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