Use for the "Notation Sanity Check" step in a NeurIPS paper workflow when you need checklist output for the Problem Formulation And Preliminaries stage from verified inputs. Best for when refining or drafting the problem formulation and preliminaries portion of a neurips-style paper; when you need a reusable artifact rather than a one-off paragraph rewrite; not for inventing unsupported experiments, citations, proofs, or contributions.
Original id: 04_07_notation_sanity_check_skill
Section: Problem Formulation And Preliminaries
Layer: section
Category: problem_formulation_and_preliminaries
Produce a reusable notation sanity check module for Problem Formulation And Preliminaries within a NeurIPS paper workflow, with explicit boundaries, evidence discipline, and handoff-ready structure.
Required inputs:
paper_blueprint (required): Verified paper-level question, answer, storyline, contributions, and target sections.contribution_list (required): Stable list of contributions already accepted by the authors as in-scope and evidence-backed.claim_evidence_map (required): Claim-to-evidence alignment table used to prevent unsupported statements and novelty inflation.method_notes (required): Verified technical notes covering setting, assumptions, symbols, modules, objectives, and scope limits.Optional inputs:
terminology_registry (optional): Canonical terms, symbols, and disallowed variants for consistency control.current_draft_context (optional): Existing local draft text or outline to revise, compress, or audit.venue_constraints (optional): Page limit, formatting rules, length pressure, or author preference on tone.checklistpass_items, issues_found, required_fixes, handoff_notesreviewer-friendly / Englishreferences/spec.yaml.Core hard rules:
Section-specific checks:
Revision policy:
Reasoning focus:
Self-checklist:
Upstream skills:
00_01_paper_blueprint_skill00_03_contribution_extractor_skill00_04_claim_evidence_alignment_skill00_06_terminology_notation_registry_skill04_06_formulation_draft_skillDownstream handoff: