II.
LibrarySkill overview
Reference · livelib-skill:shared--behavior-contract
behavior-contract overview
Bug condition/postcondition formalization as testable Behavior Contracts. Defines invariants that must be preserved across fixes.
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"
- "Negative amounts still throw `InvalidAmountError`"
- "Receipt format remains unchanged for all amount types"
## Contract Document Template
```markdown
# Behavior Contract: [Bug Title]
## Bug Condition
[Precise description of triggering con
Outgoing edges
lib_applies_to_domain1
- domain:software-engineering·DomainSoftware Engineering
lib_covers_topic1
- topic:developer-experience·TopicDeveloper Experience (DX)
lib_implements_workflow1
- workflow:feature-development·Workflow
lib_involves_role2
- role:tech-lead·RoleTech Lead
- role:backend-engineer·RoleBackend Engineer
lib_requires_skill_area2
- skill-area:agentic-loops·SkillAreaAgentic Loops
- skill-area:orchestration-loop·SkillAreaOrchestration Loop Engineering
Incoming edges
None.