Citation Bib Crossref

IO_CONTRACT

• input: 论文库目录（.tex 文件 + .bib 文件）— 待审计的 LaTeX 论文集合
• input: 触发条件 — 定期审计/批量编译前/批量改引后/质量门审查前
• output: 引用完整性审计结果 — 每篇论文 D8（bib条目数）/D10a（\cite↔\bib 匹配率）
• output: 问题分级清单 — 孤儿引用（无bib条目）、僵尸条目（未引用）、条目不足30的论文

原则 (Principles)

引存配对，双向皆验。 \cite 须有 \bib 条目，\bib 条目须被 \cite 所引——孤儿与僵尸双向查，缺一则库不净。 分级而报，轻重分明。 D8=0 为重症（无 bib），D10a<100% 为中等，D8<30 为轻症，分级方能对症下药。 先审后编，门在编前。 批量编译与质量门审查之前先做本审计，D8/D10a 喂入 L0.5 数据诚实门，不验则不编。

pima-crispdm 33 100% 0 0 ✅

### Problem detail

严重问题 (D8=0):

• 3d-eye-bppv-diagnosis: D10a=0.0% (孤儿: Aw2013, Balatsouras2012, ...62 total) 无 .bib 文件 / .bib 为空

中等问题 (D10a<100%):

• 3d-iris-normalization: D10a=93.8% (孤儿: , lamport94) bib 文件存在但 2 个引用未匹配

低问题 (D8<30):

• bppv-epley-semont: D8=26, D10a=100% bib 完整但条目不足 30

混合问题 (孤儿+僵尸 均 >5):

• bppv-pc-repositioning: D10a=75% (孤儿: Baloh2003, Chang2004, Kim2012) 僵尸: Anagnostou2018, Beyea2012, ...35 total)

### Summary

总计: 65篇, 健康: 16篇, 问题: 49篇

## Genes (策略基因)

> 紧凑策略表示。条件→策略。需要深度时参考完整文档。

- **[CITA-014]** 当执行引用完整性审计时 → 必须同时验证 \cite 与 \bib 的双向匹配，确保无孤儿引用（有引无条）且无僵尸条目（有条无引）
- **[CITA-015]** 当发现 D8（bib条目数）为 0 时 → 将其标记为重症问题，优先处理缺失或为空的 .bib 文件
- **[CITA-016]** 当 D10a（\cite↔\bib 匹配率）低于 100% 时 → 将其标记为中等问题，定位并修复未匹配的引用标签
- **[CITA-017]** 当论文 bib 条目数 D8 少于 30 时 → 将其标记为轻症问题，提示文献支撑可能不足
- **[CITA-018]** 当准备进行批量编译或质量门审查前 → 必须先执行本审计并将 D8/D10a 指标喂入 L0.5 数据诚实门，未通过验证则禁止编译
- **[CITA-019]** 当审计结果包含多种问题类型时 → 按重症（D8=0）、中等（D10a<100%）、轻症（D8<30）及混合问题分级报告，以便对症下药

## When to Use

- Periodic integrity audit of a growing paper library
- Before batch compilation of multiple papers
- After bulk citation changes across papers
- When investigating "why did compilation fail on paper X?"
- Prior to quality-gate reviews (D8/D10a is L0.5 data honesty gate)

## Related Skills

- `bib-integrity-audit` — DOI completeness and suspicious entries within .bib files (complementary: this skill checks \cite↔\bib matching, that checks \bib entry quality)
- `paper-pipeline` → `citation-completeness-verification` — same-concept check for in-text \bibitem{} (within a single .tex file, not cross-file)
- `quality-gate` — D8/D10a metrics feed into L0.5 gate evaluation

## 验证清单 · VERIFICATION

- [ ] 已对每篇 .tex 提取 \cite 标签集，并对应 .bib 提取条目集，完成双向配对
- [ ] 无孤儿引用（\cite 有引但 .bib 无对应条目），孤儿标签已逐一列出
- [ ] 无僵尸条目（.bib 有条目但未被任何 \cite 引用），僵尸条目已逐一列出
- [ ] D8=0（无 .bib 或 .bib 为空）标记为重症并优先处理缺失/空 .bib 文件
- [ ] D10a（\cite↔\bib 匹配率）<100% 标记为中等，未匹配引用标签已定位
- [ ] D8<30 标记为轻症，提示文献支撑可能不足
- [ ] 审计报告按重症/中等/轻症/混合问题分级输出（含每篇 D8/D10a 数值）
- [ ] 批量编译/质量门审查前已执行本审计，D8/D10a 指标已喂入 L0.5 数据诚实门
- [ ] 验证基于 Golden 集合（Input/Output/Error）执行，结果可记录、可复现

## 约束规则 · RULES

1. **输入约束**: 参数类型、范围、格式必须校验
2. **输出约束**: 返回值结构、编码、命名必须一致
3. **异常约束**: 错误信息必须包含上下文和恢复建议
4. **安全约束**: 不执行未验证的任意代码，不暴露内部状态

## Golden 集合 · GOLDEN SET

- **Golden Input**: `pima-crispdm` 论文库（.tex + .bib，33 个 bib 条目）——覆盖"全健康"正常路径（IO_CONTRACT / 示例 2 基准）
- **Golden Output**: 审计结果为 D8=33、D10a=100%，孤儿引用与僵尸条目均为 0，问题分级清单为空，健康 ✅
- **Golden Error**: 对无 .bib 文件的 `3d-eye-bppv-diagnosis` 审计时 → 按 CITA-002 标记 D8=0 重症，报错须列出全部 62 个孤儿标签（Aw2013, Balatsouras2012, ...）并给出补齐 .bib 的恢复建议

> Golden 集合是测试的单一真理来源。所有改进必须通过 golden 测试。

> 违反规则的操作视为不安全，必须拒绝或隔离。

> 每项验证必须可执行、可记录、可复现。验证失败时记录原因和修复。

# Citation Bib Crossref---





pima-crispdm           33   100%    0     0    ✅

Problem detail

严重问题 (D8=0):
- 3d-eye-bppv-diagnosis: D10a=0.0% (孤儿: Aw2013, Balatsouras2012, ...62 total)
  无 .bib 文件 / .bib 为空

中等问题 (D10a<100%):
- 3d-iris-normalization: D10a=93.8% (孤儿: <label>, lamport94)
  bib 文件存在但 2 个引用未匹配

低问题 (D8<30):
- bppv-epley-semont: D8=26, D10a=100%
  bib 完整但条目不足 30

混合问题 (孤儿+僵尸 均 >5):
- bppv-pc-repositioning: D10a=75% (孤儿: Baloh2003, Chang2004, Kim2012)
  僵尸: Anagnostou2018, Beyea2012, ...35 total)

Summary

总计: 65篇, 健康: 16篇, 问题: 49篇

When to Use

• Periodic integrity audit of a growing paper library
• Before batch compilation of multiple papers
• After bulk citation changes across papers
• When investigating "why did compilation fail on paper X?"
• Prior to quality-gate reviews (D8/D10a is L0.5 data honesty gate)

Related Skills

• bib-integrity-audit — DOI completeness and suspicious entries within .bib files (complementary: this skill checks \cite↔\bib matching, that checks \bib entry quality)
• paper-pipeline → citation-completeness-verification — same-concept check for in-text \bibitem{} (within a single .tex file, not cross-file)
• quality-gate — D8/D10a metrics feed into L0.5 gate evaluation

示例 · EXAMPLES

示例 1 · 批量编译前审计

• 输入：65 篇论文库（.tex + .bib），触发条件为批量编译前（When to Use / CITA-005）
• 操作/输出：对每篇提取 \cite 标签集与 .bib 条目集做双向配对（CITA-001），输出 D8/D10a 及问题分级清单
• 验证：结果应为"总计 65 篇, 健康 16 篇, 问题 49 篇"；D8/D10a 已喂入 L0.5 数据诚实门，通过"先审后编"原则

示例 2 · 重症分级（D8=0）

• 输入：3d-eye-bppv-diagnosis 无 .bib 文件
• 操作/输出：按 CITA-002 标记为重症，列出 62 个孤儿引用（Aw2013, Balatsouras2012, ...），优先补齐 .bib
• 验证：复跑审计 D8=0→33、D10a 0.0%→100%，孤儿清零，对照 pima-crispdm 的 33/100% 健康基准

示例 3 · 中等+混合问题定位

• 输入：3d-iris-normalization D10a=93.8%（孤儿 , lamport94）；bppv-pc-repositioning D10a=75% 且僵尸 35 条
• 操作/输出：按 CITA-003 定位未匹配标签修复；按 CITA-006 将其分级为中等/混合问题（孤儿+僵尸均>5），对症下药
• 验证：修复后复跑审计 D10a=100%，僵尸清单逐一列出并清零，审计仍满足"分级而报"原则

约束规则 · RULES

1. 输入约束: 参数类型、范围、格式必须校验
2. 输出约束: 返回值结构、编码、命名必须一致
3. 异常约束: 错误信息必须包含上下文和恢复建议
4. 安全约束: 不执行未验证的任意代码，不暴露内部状态

Golden 集合 · GOLDEN SET

• Golden Input: pima-crispdm 论文库（.tex + .bib，33 个 bib 条目）——覆盖"全健康"正常路径（IO_CONTRACT / 示例 2 基准）
• Golden Output: 审计结果为 D8=33、D10a=100%，孤儿引用与僵尸条目均为 0，问题分级清单为空，健康 ✅
• Golden Error: 对无 .bib 文件的 3d-eye-bppv-diagnosis 审计时 → 按 CITA-002 标记 D8=0 重症，报错须列出全部 62 个孤儿标签（Aw2013, Balatsouras2012, ...）并给出补齐 .bib 的恢复建议

Golden 集合是测试的单一真理来源。所有改进必须通过 golden 测试。

违反规则的操作视为不安全，必须拒绝或隔离。

每项验证必须可执行、可记录、可复现。验证失败时记录原因和修复。