II.
LibrarySkill overview
Reference · livelib-skill:mathematics--adversarial-proof-audit
adversarial-proof-audit overview
Audit immutable mathematical artifacts through isolated evidence-focused review lenses
Attributes
displayName
adversarial-proof-audit
description
Audit immutable mathematical artifacts through isolated evidence-focused review lenses
libraryPath
library/specializations/domains/science/mathematics/skills/adversarial-proof-audit/SKILL.md
specialization
mathematics
contentSummary
# Adversarial Proof Audit
## Purpose
Obtain independent, location-specific challenge evidence rather than overlapping confidence judgments.
## Inputs
Immutable artifact path/SHA-256, validated registry, profile, round ID, rubric, gate manifest, and one assigned lens.
## Lens isolation
- Depend
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.