본문으로 건너뛰기
cccskills
무료GitHub에 공개

consistency-auditor

Run scoped or final cross-media consistency checks for mathematical-modeling artifacts, comparing canonical numbers, symbols, parameters, decisions, files, and paper claims without performing full-workspace audits for low-risk changes.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

설치 방법 보기

포함된 파일(1)

  • SKILL.md2.2 KB

SKILL.md(원문)

설치하기 전에 에이전트에게 전달되는 지시 내용을 확인할 수 있습니다.

Modes

  • scoped: run only for a CANONICAL or FROZEN change and only for affected Qx/identifiers.
  • final: run across all submission artifacts before assembly.

Sources of Truth

Prefer:

  • frozen_numbers.json for paper numbers;
  • qx_decisions.jsonl for human judgments;
  • planning/symbol_table.md for symbols/units;
  • approved code plan and run summary for parameters and executed methods;
  • solution package for writer-facing structure.

Use legacy decision logs or Markdown reviews only during migration.

Checks

  1. Numerical claims match frozen values and units.
  2. Formula, parameter, constraint, and method roles match approved code and plan.
  3. Symbols and units match the global symbol table.
  4. Referenced tables, figures, code, and data files exist.
  5. Why-this-method, result verdict, stability, confidence, and claim scope resolve to human decision IDs.
  6. Freeze and decisions are not stale relative to materially changed cited evidence.

Scoped Workflow

  1. Receive changed files/identifiers and their impact class.
  2. Resolve affected Qx and downstream consumers.
  3. Check only those relationships.
  4. Return a compact digest or save results/Qx/reports/scoped_consistency.json when durable evidence is needed.
  5. Do not rewrite other artifacts.

Final Workflow

  1. Check all submission Qx.
  2. Save paper/audits/cross_media_consistency_audit.md.
  3. Report PASSED, FAILED, or NOT_RUN.
  4. List concrete divergences and repair owners. Do not pad a pass list.

Rules

  • Do not run a full audit for formatting, comments, scratch work, or ordinary pre-freeze exploration.
  • Do not infer canonical numbers from the paper.
  • Do not repair divergences inside the audit.
  • Do not approve final assembly directly.

Verification

  • Scope matches the semantic impact.
  • Every divergence identifies source, consumer, and expected repair.
  • Final audit covers all six check classes.
  • Verdict follows actual evidence rather than an item count.

리뷰

아직 리뷰가 없습니다. 사용해 본 소감을 남겨 주세요.

댓글

로그인 없이 쓸 수 있습니다. 사용 후기, 질문, 작동하지 않은 환경 등을 편하게 남겨 주세요.

아직 댓글이 없습니다. 첫 댓글을 남겨 보세요.

보내면 바로 공개됩니다. 이메일 주소나 전화번호 같은 개인 정보는 쓰지 마세요. URL은 2개까지입니다.

0 / 1,000자

이 양식은 reCAPTCHA로 보호되며 Google 개인정보처리방침 및 서비스 약관이 적용됩니다.

같은 저장소의 스킬

Detect whether approved modeling code is Python or MATLAB/Beita Tianyuan and route it to the matching reviewer using the compact named-check review contract.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

zhnnky329/MathModeling-skills1.1천2026년 9월 24일 업데이트

Audit whether the semantic evidence required by the active lean or submission profile exists and is current, without requiring one verbose artifact per skill or an arbitrary number of pass bullets.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

zhnnky329/MathModeling-skills1.1천2026년 9월 24일 업데이트

Map contest attachments to subquestions, audit and clean raw data, and emit one reusable data profile with quality, coverage, imbalance, concentration, and method-readiness evidence for downstream risk screening.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

zhnnky329/MathModeling-skills1.1천2026년 9월 24일 업데이트

Build one compact choice card at a genuine mathematical-modeling judgment point. Use before method screening, after a meaningful experiment, or before final claim/freeze approval so the human chooses the trade-off while AI handles mechanical consequences.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

zhnnky329/MathModeling-skills1.1천2026년 9월 24일 업데이트

Plan the smallest set of diagnostic, comparison, paper, and appendix figures or tables needed to support verified mathematical-modeling decisions and claims.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

zhnnky329/MathModeling-skills1.1천2026년 9월 24일 업데이트

Build the authoritative final method explanation for a submission-ready subquestion from the method card, human decision ledger, code plan, final results, and robustness evidence.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

zhnnky329/MathModeling-skills1.1천2026년 9월 24일 업데이트

zhnnky329의 스킬 모두 보기

이 스킬의 문제 신고