用途：对仓库中每个重要设计决策做可证伪的核查，例如“APR 计算是否符合借贷惯例”“加密是否遵循 NIST”“共识方案是否合理”“ML 评估是否避开已知泄漏陷阱”。适用于任意仓库，会自适应其领域。
主要能力：只读审计，不改代码；按算法、架构、业务三层提取可证伪断言；按断言类型路由到分级来源（算法→arxiv/Semantic Scholar，安全→NIST/RFC/OWASP，医疗→PubMed，金融科技→监管与标准，通用→Scholar/JSTOR/OpenAlex）；对候选违规做对抗性反驳复核；输出含执行摘要、领域图、发现、来源附录和丢弃断言日志的报告。
使用方式：先定位 Python 3.10+ 解释器，并解析捆绑的 fetch_sources.py 绝对路径，例如 FETCH="$SKILL_DIR/assets/fetch_sources.py"；抓取前导出证据日志 export BIR_EVIDENCE_LOG="$(mktemp -t bir-evidence-XXXXXX.jsonl)"；运行六个阶段（范围与领域检测、断言提取、来源路由、验证、反驳、综合）。综合前用 python3 "$SKILL_DIR/assets/report_lint.py" <findings.json> --evidence "$BIR_EVIDENCE_LOG" 做契约校验。常用参数：--annotate（仅插入注释标记）、--layer algo|arch|biz、--domain <x>、--since <ref>、--max-claims N（默认 40）。
限制：必须只引用本次会话抓取的 URL/DOI，否则降级为 UNCONFIRMED；VIOLATION/DEVIATION 必须通过反驳复核；--max-claims 截断时须在报告中列出被丢弃断言；默认唯一写入是 docs/base-in-reality/ 下的报告，写入前须告知用户，用户可要求仅在对话中输出；JSTOR/ISO 等仅能获取摘要，需标 abstract_only；大型仓库建议用 --layer、--since 或降低 --max-claims 控制开销。报告与说明建议使用约 80% ASD-STE100 简化技术英语。