# Mathematical Artifact Validation

> Run fail-closed deterministic validation for mathematical and LaTeX artifacts

- Skill: `a5c-ai/mathematical-artifact-validation` (Agent Skill)
- Install (CLI): `npx skillmds@latest add a5c-ai/mathematical-artifact-validation`
- Raw SKILL.md: https://api.skillmd.com/api/skills/a5c-ai/mathematical-artifact-validation/raw
- Safety review: pending (external: skill-scanner PASS, skillspector PASS)
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: a5c-ai (https://skillmd.com/u/a5c-ai)
- Updated: 2026-09-09
- Page: https://skillmd.com/skills/a5c-ai/mathematical-artifact-validation

---


# Mathematical Artifact Validation

## Purpose

Produce reproducible source, structure, and reference evidence. Static validation is not mathematical proof verification.

## Inputs

Source paths, LaTeX artifact, optional BibTeX files, required sections, registry, tool policy, and output manifest paths.

## Shell-only gates

1. `validate_sources.py`: strict UTF-8, nonempty files, no `U+FFFD`, SHA-256 manifest.
2. `validate_math_artifact.py`: braces/environments, required sections, labels, references, theorem target numbering/type, citations.
3. `validate_registry.py`: durable evidence and coverage invariants.
4. `validate_grade.py`: rubric arithmetic/current hashes.
5. Optional compiler command: execute a locally available TeX tool in a run-owned output directory and preserve version, argv, exit code, stdout/stderr, and output hash.

Every task declares `expectedExitCode: 0`. Required-tool unavailability follows policy and is never represented as pass. An agent may classify diagnostics but may not override a failed shell result.

## Security and portability

Use structured file paths, a run-owned workspace, Python standard library, and no Node. Never use lossy decoding. Never overwrite source or prior round artifacts.

## Output

Machine-readable gate manifest with `pass|fail|unavailable`, command/tool version where applicable, exit code, findings, evidence paths, and an explicit claim boundary.