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.