{
  "id": "lib-skill:shared--behavior-contract",
  "_kind": "LibrarySkill",
  "_file": "generated-library/skills.yaml",
  "_cluster": "generated-library",
  "attributes": {
    "displayName": "behavior-contract",
    "description": "Bug condition/postcondition formalization as testable Behavior Contracts. Defines invariants that must be preserved across fixes.",
    "libraryPath": "library/methodologies/pilot-shell/skills/behavior-contract/SKILL.md",
    "contentSummary": "- \"Positive amounts still process correctly\"\n- \"Negative amounts still throw `InvalidAmountError`\"\n- \"Receipt format remains unchanged for all amount types\"\n\n## Contract Document Template\n\n```markdown\n# Behavior Contract: [Bug Title]\n\n## Bug Condition\n[Precise description of triggering con"
  },
  "outgoingEdges": [
    {
      "from": "lib-skill:shared--behavior-contract",
      "to": "skill-area:agentic-loops",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:shared--behavior-contract",
      "to": "skill-area:orchestration-loop",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:shared--behavior-contract",
      "to": "topic:developer-experience",
      "kind": "lib_covers_topic",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:shared--behavior-contract",
      "to": "domain:software-engineering",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:shared--behavior-contract",
      "to": "role:tech-lead",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:shared--behavior-contract",
      "to": "role:backend-engineer",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:shared--behavior-contract",
      "to": "workflow:feature-development",
      "kind": "lib_implements_workflow",
      "attributes": {
        "weight": 1
      }
    }
  ],
  "incomingEdges": []
}