Agent-Skills.md

Agent Skills: Behavior Contract: [Bug Title]

Bug condition/postcondition formalization as testable Behavior Contracts. Defines invariants that must be preserved across fixes.

pilot-shell-bugfixID: a5c-ai/babysitter/behavior-contract

Repository

a5c-ai/babysitter
a5c-aiLicense: MIT
1,52087

Install this agent skill to your local

pnpm dlx add-skill https://github.com/a5c-ai/babysitter/tree/HEAD/library/methodologies/pilot-shell/skills/behavior-contract

Skill Files

Browse the full folder contents for behavior-contract.

Download Skill

Loading file tree…

library/methodologies/pilot-shell/skills/behavior-contract/SKILL.md

Skill Metadata

Name
behavior-contract
Description
Bug condition/postcondition formalization as testable Behavior Contracts. Defines invariants that must be preserved across fixes.
  • "Positive amounts still process correctly"
  • "Negative amounts still throw InvalidAmountError"
  • "Receipt format remains unchanged for all amount types"

Contract Document Template

# Behavior Contract: [Bug Title]

## Bug Condition
[Precise description of triggering conditions]

## Postcondition
[Expected correct behavior after fix]

## Invariants
- [ ] Invariant 1: [existing behavior to preserve]
- [ ] Invariant 2: [existing behavior to preserve]

## Testable Assertions
1. `expect(processPayment(0)).toEqual({ amount: 0, status: 'completed' })`
2. `expect(processPayment(100)).toEqual({ amount: 100, status: 'completed' })`
3. `expect(() => processPayment(-1)).toThrow(InvalidAmountError)`

Usage in Bugfix Workflow

  1. Bug analysis identifies root cause at file:line
  2. This skill formalizes the contract from the analysis
  3. tdd-enforcer writes failing test from Bug Condition
  4. tdd-enforcer writes preservation tests from Invariants
  5. Minimal fix applied, contract audited