II.
LibrarySkill overview
Reference · livelib-skill:mathematics--mathematical-artifact-validation
mathematical-artifact-validation overview
Run fail-closed deterministic validation for mathematical and LaTeX artifacts
Attributes
displayName
mathematical-artifact-validation
description
Run fail-closed deterministic validation for mathematical and LaTeX artifacts
libraryPath
library/specializations/domains/science/mathematics/skills/mathematical-artifact-validation/SKILL.md
specialization
mathematics
contentSummary
# 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 pat
Outgoing edges
lib_applies_to_domain1
- domain:mathematics·DomainMathematics
lib_belongs_to_specialization2
- specialization:computational-mathematics·SpecializationComputational Mathematics
- specialization:mathematics·SpecializationMathematics
lib_implements_workflow2
lib_involves_role2
- role:research-scientist·RoleResearch Scientist
- role:computational-scientist·RoleComputational Scientist
lib_requires_skill_area2
- skill-area:mathematical-reasoning·SkillAreaMathematical Reasoning
- skill-area:technical-writing·SkillAreaTechnical Writing
Incoming edges
None.