菜单
Theory-level veto skill for EDA plans. Use before expensive experiment submissions or major flow/model changes to identify logically unsound assumptions, contradiction with known physics/policy, and high-risk invalid comparisons. Produces GO/CONDITIONAL/NO-GO with evidence.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
| name | control-theory-veto |
| description | Theory-level veto skill for EDA plans. Use before expensive experiment submissions or major flow/model changes to identify logically unsound assumptions, contradiction with known physics/policy, and high-risk invalid comparisons. Produces GO/CONDITIONAL/NO-GO with evidence. |
This skill protects the loop from executing invalid ideas just because they are executable. It evaluates proposal validity against theory, known constraints, and policy, then emits a veto decision.
Run before:
Required:
Recommended:
eda-experiment-phenomenology-analyst when similar proposals have already been attempted.This skill is only valid when its veto logic is linked to explicit background knowledge:
eda-context-accessor when the needed KB or paper context is missing from the current brief.If a proposal conflicts with linked background knowledge, the veto must say so explicitly rather than treating the conflict as a generic risk.
Always output:
verdict: GO / CONDITIONAL / NO-GOblocking_reasons: numbered listassumption_table: assumption, evidence, statusexperience_risks: repeated empirical patterns that materially changed the verdict, or nonesafe_next_step: one minimal testable actionoverride_policy:
veto_overridden.references/background-knowledge-links.md when deciding which KB docs, paper summaries, or scoped retrieval outputs are authoritative for the current proposal.references/veto-criteria.md when classifying contradiction severity or deciding whether the result is GO, CONDITIONAL, or NO-GO.references/decision-template.md when writing the final veto artifact.Creates and refines academic presentations from research papers. Use this skill for tasks involving the conversion of scientific or technical documents into slide decks for conferences, seminars, lectures, thesis defenses, or academic reviews. Supports beamer LaTeX (.tex), PowerPoint (.pptx), and Markdown output formats.
Execute delay-model validation gates against HPWL baselines. Use when evaluating model consistency, running Gate-0 contract checks, building Gate-1 bucketed scorecards, performing wirelength-aware correlation checks, or deciding readiness for active optimization.
Run a full EDA research chain from knowledge exploration and paper triage to idea debate, hypothesis experiment design, implementation, git versioning, validation, and retrospective. Use when the user requests an end-to-end EDA research workflow rather than a single isolated execution step.
Audit and refine academic manuscripts for structure, terminology consistency, LaTeX hygiene, and high-signal grammar fixes. Use this skill for theses, papers, proposals, and technical reports when the task is manuscript writing rather than experiment execution.
Diagnose and implement backside-routing realization paths, including targeted reroute, local DEF/OpenDB patching, and OpenROAD-backed net-level rerouter bring-up, when theory predicts benefit but the current flow does not realize BM2/BM1 usage.
Audit whether the local BSPDN physical contract is coherent across paper assumptions, GT3 tech collateral, layer/via topology, and current flow policy before promotion or expensive attribution experiments.