CtrlK
BlogDocsLog inGet started
Tessl Logo

source-audit

外部高风险 claim 与研究贡献审计。Use when: 数字、benchmark、因果、趋势、模型能力、 外部论文或会进入 docs/ADR/PPT 的结论。Not for: 低风险常识、只读官方原文且不外推、 已进入 deep-research 的重调研。Output: claim ledger + source / non-triviality / decision-fit 三轴 verdict + provenance。

68

Quality

84%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

View guide

SecuritybySnyk

Passed

No findings from the security scan

SKILL.md
Quality
Evals
Security

Source Audit

Why This Is a Skill

F218 的事故不是模型凭空幻觉,而是外部不可靠信息源污染:多篇博客互引看起来像"多方验证",但最终回到同一个营销来源。这个 skill 把"这东西靠谱吗?"绑到引用外部 claim 的动作上,补 WebSearch 和 deep-research 之间的中档。

Trigger

准备把外部 claim 写进回复、research、PPT、ADR、spec 或 review 结论时,命中任一特征就跑:

  • 数字 / 百分比 / x 倍增长 / benchmark 排名
  • 因果归因("失败是因为...")或趋势判断
  • 模型能力对比、论文结论、医学/金融/法律等高风险主题
  • 来源会进入长期文档,影响后续猫的判断链

不触发:只回答低风险常识;只引用官方文档原文且不外推;已经按 deep-research 跑完整多源调研。

L0 判断力镜头:先换坐标系,再查细节

这两副镜头来自家里的 Magic Words,不是给审计再加一套平行术语,也不能凭感觉代替证据。 它们负责产生可证伪的反事实;一手来源、baseline、干预和 holdout 负责裁决。

第一性原理 / 数学之美

先把论文去品牌化并缩成最小问题:

  1. 它声称原系统缺少什么能力,而不是缺少哪个作者命名的模块?
  2. strongest_cheap_alternative 是什么:强模型直接做、一句静态 prompt、短规则、 deterministic tool、retrieval / cache,还是一次人工配置?
  3. 实验是否在独立证据上击败了这个替代物?
  4. 如果没有,claim ceiling 降到“自动搜索 / elicitation / 工程集成”,不得写成 “获得新能力 / 证明自进化必要”。

补锅匠 failure-mode audit

看到连续局部机制、多个 fallback 或“再加一个 evaluator / generator / memory”时,不逐块 验完就默认整条路线合理。做一次有边界的同类审计:

  1. 写出这些补丁共同在代偿的原始 failure mode;
  2. 区分真实世界约束与论文自己引入的坐标系;
  3. 问一个更直接的表示、契约或静态策略能否同时删掉多层;
  4. 对保留的每一层写明“去掉后哪条已观测证据会坏”;
  5. 若作者只证明每块都能工作、没证明原问题存在或整套不可约,保留 source validity, 但下调 non-triviality 与 decision fit。

禁止把 Magic Word 当作否定论文的结论。“这像补锅匠”只能触发 failure-mode hypothesis; 没有替代方案、ablation 或证据边界,就不能写 reject

Claim Ledger

先列 claim,再逐条审:

ClaimMetric / comparatorStrongest cheap alternative / claim ceilingInputs / raw outputs / reproductionScope / denominator / exclusionsLifecycle cost / unknowns原始来源Source verdictNon-triviality verdictDecision fitProvenance
.........paper/config/data/checkpoint + transcript/failure/tail + run status......paper / official / vendor blog / media / forum............

八问 Checklist

这八问是按 claim 取用的 menu,不是逐项补齐的流水线:1/2/6/7 通常适用;3/8 在 claim 依赖方法或测量时使用;4/5 只在 claim 涉及实验、复现、稳定性或模型输出时触发。无对应 artifact 的传闻不要先造一轮实验审计,直接沿来源链和决策边界收敛。

  1. 一手 or 二手? 追到原始论文、官方文档、实验报告或数据集。多篇文章互相引用不等于多方验证。
  2. 利益冲突? 卖产品/咨询/课程的一方说"这个问题很严重"要扣分,并标明动机。
  3. 方法可复核吗? Peer review、博客、营销页都只是来源属性;继续查样本、指标定义、 baseline、实验代码/数据、重复次数和不确定性。Peer-reviewed 不自动等于结论可复现。
  4. 输入谱系一致吗? 在二手 thread / 总结之前,先读论文正文、附录、limitations、 data/model card,再核代码、默认 config、released data/checkpoint 与作者汇报配置是否一致。 记录 paper-config / code-config / reproduction-config 的差异;缺失记 unknown,不能从 “没有代码”直接跳到“造假”。经典材料和跨域材料用于生成反事实与比较器,不因资历自动加权。
  5. 盯过原始输出吗? Best score、平均 loss 和一条漂亮曲线看不见崩溃率、seed 方差、 分布尾部与“表面成功、实质失败”。若 artifact 可得,抽查 raw transcript/output、失败 run、 per-task/per-seed 结果和异常日志;若不可得,明确 output-level evidence 缺失。指控 run/seed 选择性汇报需要候选 run、选择规则或等价过程证据;comparator / tuning budget 不对等则可由 论文表格与公开 config 的明确差异成立。一次复现失败本身不证明其中任何一种。
  6. 时效性? 标清发布时间、测试年份、模型/版本。AI 领域旧模型数据不能直接论证新模型。
  7. 对象和决策匹配吗? 区分“这个结果在它测的任务上成立”与“它能支持我们的决定”。 写清目标 workload、用户群、系统版本和未覆盖能力;家里体感只负责触发冲突调查,不能 反过来当作否定外部结果的证据。
  8. 测量与账本边界清楚吗?(防 true-but-incomplete) 不要求证明一个不存在的“完整 世界账本”,而要重建足以支持当前决定的 scoped ledger:指标定义与 comparator; 分子、分母、排除项和自适应复用次数;系统边界、时间窗和生命周期成本(采集/预处理、 在线调用、cache read/write/miss、维护、人审);质量、覆盖、延迟、可靠性等联动结果; 测不到的项明确记 unknown。缓存收益必须按目标 provider/model/workload 的真实 usage 与计费规则测量,不能从“改了中间 context”直接推导“全 miss”或固定倍率。

口诀可以保留:一切命运的馈赠都暗中标注价码(operator 原话)。但口诀不是证据;边界、 观测值和 unknown 才是。

性能 / 成本 Claim 的最小执行格式

凡“更准 / 更快 / 更省 / SOTA”都要记录以下字段,但它们不是一张把两轴重新压平的 通过/失败清单:

measured_construct: 它实际测了什么
comparator: 与谁比;版本和配置是否同条件
population_and_denominator: 样本/请求/用户范围、分母、排除项
input_lineage: paper/appendix/limitations + data/config/code/checkpoint;版本与不一致处
output_audit: raw outputs/transcripts + failed/tail cases + per-run/seed stability;不可得项
reproduction_status: not_attempted / exact / partial / failed;环境、命令和偏差
decision_boundary: 我们要据此做什么决定;目标 workload 和时间窗
lifecycle_ledger: ingest/extract + query/retrieval + generation + cache + maintenance/human
coupled_outcomes: quality + coverage/abstention + latency + reliability + risk
unknowns: 未报告或无法复核的项

研究贡献、Benchmark、Eval 或“自进化”claim 还要补:

exact_claim: 去品牌化后到底声称什么
evolving_object: weights / memory / skill / harness / judge / task / problem definition
strongest_cheap_alternative: 足以解释同一结果的最便宜可信方案
evidence_roles: development / selection / holdout / production
failure_mode_map: 各机制在修哪个根因;是否多层修同一个错坐标系
closure_map: task / generator / judge / value owner
claim_ceiling: 当前证据最多允许写到哪里
  • Source verdict 的最低证据面measured_constructcomparatorpopulation_and_denominator,以及八问中足以复核方法的证据。若 claim 自称“总成本”或 “端到端”,lifecycle_ledger 也属于 measured construct 的定义。缺少这些 source-validity 证据时,Source verdict 最高只能 use-with-caveat
  • 若 claim 自称“可复现 / 稳定 / robust / 跨 seed SOTA”,input_lineageoutput_auditreproduction_status 也属于 Source verdict 的最低证据面。若论文限定范围内的结果仍可由 正文方法支持,artifact 缺失通常是 use-with-caveat,不是自动 reject;但不得升级成复现性结论。
  • Decision fit 的最低证据面decision_boundary、与该决定相关的 lifecycle_ledger / coupled_outcomes,以及明确的 unknowns。这些字段缺项不降级已成立的 Source verdict, 但 Decision fit 最高只能 partial;若连决策边界或目标 workload 都未知,则为 none

Verdict(三轴,不压成一个总分)

Source verdict(claim 在它声称的范围内是否站得住):

  • use:方法与来源足以支持限定后的 claim。
  • use-with-caveat:可用但必须附限制,例如二手、旧模型、小样本、账本缺项。
  • reject:追不到证据、方法不支持结论、回声室互引,或 numerator/denominator 不成立。
  • escalate-to-deep-research:claim 重要且证据冲突,单轮审计不够。

Non-triviality verdict(复杂机制是否展示了超出最低充分替代物的增量):

  • demonstrated:在合适的独立证据上击败强而可信的廉价替代物。
  • not-compared:只击败 naive / 缺失 baseline,或没有排除 prompt、规则、retrieval 等解释。
  • failed:廉价替代物已经匹配 / 击败该机制,或所谓进化只重新发现了预先可写出的规则。

这根轴不反向污染 Source verdict:论文可以真实、可复现,却没有证明其复杂性或“自进化” claim 的必要性。

Decision fit(它能否支持我们眼前的决定):

  • direct:对象、workload、约束和效用维度匹配。
  • partial:只覆盖决策向量的一部分;明确哪部分可迁移、哪部分未知。
  • none:claim 可能为真,但与当前决定正交或关键边界不匹配。

Provenance

聊天短行:

[一手/二手 | 来源类型 | 数据年份 | 适用对象 | 置信度]

docs/research / ADR / PPT 用 claim ledger 表。若 claim 被拒绝,也记录拒绝原因,防止后续重复捡回。

Common Mistakes

错误后果修复
把搜索结果当证据被 SEO / 营销文带跑搜索结果只算候选线索,必须追一手
多篇博客互引就说"多方验证"回声室污染画引用链,找到共同源头
先读 thread / summary 再读原文二手 framing 先入为主,后续只在原文里找佐证primary-first:正文→附录/limitations→artifact→二手评论
只看 best score / loss,不看原始输出崩溃 run、尾部失败和表面合规被平均数埋掉抽 raw output/transcript、失败样本、per-seed 分布;不可得则降 claim ceiling
把 paper config 当作 released code config复现实验在不同输入上跑,却误判方法真假建 paper/code/reproduction 三向 config diff
用旧模型数据论证新模型对象错配标测试模型/年份,只谈适用范围
只写 caveat 不改结论弱证据仍污染判断verdict 决定表述强度;弱证据不能撑强结论
把公开 benchmark 分数当产品总效用测量构念被偷换先写 measured construct,再单独判 decision fit
逐组件核验复杂 pipeline,却不问原能力缺口是否存在每块都真实,整项贡献仍可能是补锅触发补锅匠 failure-mode audit,找共同根因与可删层
只与 naive baseline 比就声称“进化获得能力”把自动发现 / elicitation 抬成新能力过第一性原理 / 数学之美,补 strongest cheap alternative 与 claim ceiling
把 Magic Word 当负面 verdict用家里审美代替外部证据Magic Word 只生成反事实;由 baseline、ablation、holdout 裁决
宣称“完整账本”却不写边界和 unknown用完整感掩盖选择性记账固定 workload / 时间窗 / 生命周期,未知项显式保留
把联动风险写成必然因果用一个营销故事替换另一个记录待测机制;用 provider usage / billing / A-B 数据验证
每个低风险事实都跑全表friction 过高只对高风险 claim 跑 ledger

Pressure Test

MemU 65% 事件:输入多篇互引博客声称"65% 企业 AI 失败归因 harness 缺陷"。合格输出必须追到营销博客源头,识别商业利益冲突,不能把互引当独立验证,verdict 至少是 use-with-caveat,若没有一手证据则 reject

True-but-incomplete 事件:供应商声称“recall 输入从 10k 降到 2k,节约 80% token”。 合格输出可以接受“该次 recall payload 降 80%”,但不得升级成“系统总成本降 80%”;必须 补 extraction/ingest、query、generation、cache write/read/miss、质量/覆盖和人工维护, 缺数据记 unknown,再给独立的 decision-fit verdict。

自进化沟通策略事件:论文用 rollout / reflection 找到“模糊问题用文本、结构化字段用 UI”, 但没有在 untouched holdout 上击败一句强静态规则。合格输出可以给限定后的 Source verdict use,但 Non-triviality verdict 必须是 not-compared,且不得把“搜索环能找到策略”升级成 “只有自进化才能获得该能力”。

复现投诉事件:二手帖子声称“约 30 篇 Agentic RL 工作中多数无代码;某 PPO 改进按公开 配置复现比论文低 20 多点,且 baseline 反而更高”。合格输出不能把帖子直接写成赛道造假证据, 也不能用“调学习率”敷衍。必须定位到具体 paper/repo/SHA,建立 paper/code/reproduction config diff,核数据与 checkpoint 可得性;训练/RL 复现默认 not_attempted,只有取得成本与授权边界后 才跑多 seed、检查 raw curve、崩溃 run、逐任务输出和选择规则。无法取得授权或实物时,分别把 “该次复现失败”和“作者结果不可信”的 claim ceiling 写清。

Related Skills

  • deep-research:重调研管道。source-audit 发现重要 claim 证据冲突时升级过去。
  • memory-search-best-practices:查家里历史来源图谱时使用;source-audit 只管外部 claim 的信源卫生。
Repository
zts212653/clowder-ai
Last updated
First committed

Is this your skill?

If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.