Runnable cases

Judgment sentencing grounds

Problem: can every sentencing adjustment be checked against a statutory range?

node adapters/law/import.mjs adapters/law/fixtures/B-缺陷.txt /tmp/B.origin

Evidence: public fixture ↗

Formula audit: it reads a model that calculates

Problem: which cells break if this one changes, and which "correct-looking" totals are actually a missed row or a wrong reference?

Self-authored quarterly budget workbook: machine rules found 5 errors + 2 warnings (hardcoded value / gap in a SUM range / leftover error value / dangling reference / text-stored number), plus 4 defect classes explicitly documented as undetectable; after one parameter change, 28 cells were traced as stale.

node adapters/xlsx/report.mjs cases/xlsx-budget-model-audit.origin --key "汇总!B3"

Live demo (Chinese UI): change a value, see what goes stale → · Evidence: full case package and health report ↗

CAD opening audit

Problem: can opening objects be checked against source entities rather than counted from screenshots?

node adapters/cad/import.mjs adapters/cad/fixtures/A-101.dxf /tmp/A-101.origin --name A-101

Evidence: sanitized audit post and fixture →

Textbook illustration check

Problem: are figure numbers and references consistent across three engineering-drawing drafts from one publisher?

node adapters/textbook/import.mjs adapters/office/fixtures/synthetic.docx --json

Evidence: synthetic fixture ↗

White Drum narrative state

Problem: can foreshadowing, secrets and character state be verified chapter by chapter?

node adapters/story/cli.mjs state novels/月落渡口.origin

Evidence: White Drum Challenge →