II.
LibrarySkill overview
Reference · livelib-skill:mathematics--proof-obligation-registry
proof-obligation-registry overview
Maintain durable proof-obligation registries with profile coverage and semantic ledgers
Attributes
displayName
proof-obligation-registry
description
Maintain durable proof-obligation registries with profile coverage and semantic ledgers
libraryPath
library/specializations/domains/science/mathematics/skills/proof-obligation-registry/SKILL.md
specialization
mathematics
contentSummary
# Proof Obligation Registry
## Purpose
Extract, merge, and maintain a persistent proof state whose omissions and stale evidence are mechanically visible.
## Inputs
Problem statement, source artifact paths/hashes, optional draft, domain profile, optional prior registry, strictness, and run worksp
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.