菜单
Use when the user wants to check or analyze badness's BibTeX parse concordance against texlab — "run bib-parse-compat", "bib parse concordance vs texlab", "analyze bib divergences", or after a `.bib` parser/CST change. Runs the soft gauge and triages any unexplained divergence.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Use when the user wants to (re)run the formatter/linter speed benchmark or refresh the docs benchmark page — "run the benchmark", "task bench", "update the benchmark numbers", "refresh benchmarks". Regenerates the committed JSON artifact that feeds docs/src/reference/benchmarks.md, then fact-checks that page against the code.
Profile-driven performance work on the badness parser, formatter, or linter. Measure first with the in-process micro-bench + perf/flamegraph on a real document; classify hotspots into a small set of buckets; apply the matching cheap fix; verify the median wall-time moved AND the invariants still hold before committing. Use for "speed up formatting/parsing/linting", "close the gap with tex-fmt on <doc>", "profile the formatter/parser/linter", "why is masters_dissertation slow".
Add a new built-in lint rule to the Badness LaTeX linter — implement the Rule trait (id/severity/description/examples + check), register it in the three lockstep lists, add unit + integration tests with a losslessness-safe fix, and regenerate the living-docs rules reference. Use when asked to add a lint (warning/error/info), with or without an auto-fix.
Use when the user wants to check or analyze badness's LaTeX parse concordance against texlab — "run parse-compat", "parse concordance vs texlab", "analyze parse-compat divergences", or after a parser/CST change that might shift the differential gauge. Runs the soft gauge and triages any unexplained divergence.
| name | bib-parse-compat |
| description | Use when the user wants to check or analyze badness's BibTeX parse concordance against texlab — "run bib-parse-compat", "bib parse concordance vs texlab", "analyze bib divergences", or after a `.bib` parser/CST change. Runs the soft gauge and triages any unexplained divergence. |
A soft differential gauge of badness's BibTeX CST against texlab's BibTeX CST
over tests/bib_corpus/*.bib. It is not a quality gate: per AGENTS.md we
measure against texlab, never match it. The skeleton stops at entry types and
field names; cite keys and value internals are intentionally dropped because the
two legitimately diverge there. Note texlab's bib parser has no error channel, so
this gauge never reports texlab parse errors.
task bib-parse-compat
This runs cargo test --test bib_parse_compat -- --ignored --nocapture and
rewrites the report at .claude/skills/bib-parse-compat/BIB_PARSE_COMPAT.md (the
generated artifact next to this skill — do not hand-edit it).
BIB_PARSE_COMPAT.md. The gauge currently sits at 100%
concordance with 0 unexplained divergences, so the usual job is "confirm it
is still clean."0, report that and stop.tests/bib_parse_compat_allowlist.toml:
[deviations] entry keyed by the corpus filename with a one-line reason;
re-run to confirm.