{
  "id": "lib-skill:mathematics--proof-obligation-registry",
  "_kind": "LibrarySkill",
  "_file": "generated-library/skills.yaml",
  "_cluster": "generated-library",
  "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\n\n## Purpose\n\nExtract, merge, and maintain a persistent proof state whose omissions and stale evidence are mechanically visible.\n\n## Inputs\n\nProblem statement, source artifact paths/hashes, optional draft, domain profile, optional prior registry, strictness, and run worksp"
  },
  "outgoingEdges": [
    {
      "from": "lib-skill:mathematics--proof-obligation-registry",
      "to": "skill-area:mathematical-reasoning",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:mathematics--proof-obligation-registry",
      "to": "skill-area:technical-writing",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:mathematics--proof-obligation-registry",
      "to": "domain:mathematics",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:mathematics--proof-obligation-registry",
      "to": "role:research-scientist",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:mathematics--proof-obligation-registry",
      "to": "role:computational-scientist",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:mathematics--proof-obligation-registry",
      "to": "workflow:research-validation",
      "kind": "lib_implements_workflow",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:mathematics--proof-obligation-registry",
      "to": "workflow:quality-convergence",
      "kind": "lib_implements_workflow",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:mathematics--proof-obligation-registry",
      "to": "specialization:computational-mathematics",
      "kind": "lib_belongs_to_specialization",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:mathematics--proof-obligation-registry",
      "to": "specialization:mathematics",
      "kind": "lib_belongs_to_specialization",
      "attributes": {
        "weight": 0.9
      }
    }
  ],
  "incomingEdges": []
}