菜单
Decide whether an intersecting verifier actually exercises the semantic change.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Orchestration skill: chains the full ADLC Build Loop. PRD → Brief → Council → Scaffold → Codegen → LDD → TDD → Council → PR. Use when implementing a new feature end-to-end.
Generate a bounded, schema-valid goal prompt from one validated Build Brief task for zero-context external execution.
Applicability-aware Definition of Done checklist. Core checks apply to every task; overlay checks activate only when the applicability manifest says the surface exists. Binary verification — pass or fail. Triggers at Phase 4 completion and Phase 5 entry.
Score whether each task is specific enough for autonomous, one-shot, production-ready execution.
Reviews code changes for understanding, blast radius, state, secrets, assumptions, and explainability. Produces a blocking comprehension artifact when implications are unclear.
Resolve ambiguous triage outcomes in the middle confidence band.
| name | verifier-semantic-judge |
| description | Decide whether an intersecting verifier actually exercises the semantic change. |
| contract_version | 1.0.0 |
| side_effect_profile | read_only |
| activation | {"mode":"judgement","consumes_manifest":true,"model_class":"fast_judge","cost_guard":{"max_tokens_per_call":650,"expected_calls_per_run":4}} |
Run this only after the deterministic target-file intersection check returns non-empty overlap.
{
"verifier_definition": {},
"changed_lines_snippet": "string",
"acceptance_criteria_text": ["string"]
}
{
"exercises": true,
"reason": "The verifier asserts the changed average calculation and footer rendering, not just module import success."
}
true means the verifier would fail if the semantic change were wrong.false means the verifier only touches the file, setup path, or smoke path without asserting the changed behavior.