behavior-contract
a5c-ai/babysitter/library/methodologies/pilot-shell/skills/behavior-contract
PlatformUniversal
Bug condition/postcondition formalization as testable Behavior Contracts. Defines invariants that must be preserved across fixes.
Universal