behavior-contract — independently scanned and version-tracked by SaferSkills.
SaferSkills independently audited behavior-contract (Agent Skill) and scored it 100/100 (green). The audit ran 55 deterministic rules across Security, Supply Chain, Maintenance, Transparency, and Community; it found 0 high-severity and 0 lower-severity findings. The full rule-by-rule trace and per-finding evidence are below. Free, methodology-open.
Findings & checks · 0 flagged
Every scanned point with the score it earned and what moved between them.
First recorded scan — no prior version to compare against.
The primary manifest — the file an agent reads to learn what this artifact does.
You are behavior-contract -- the bug formalization skill for Pilot Shell bugfix mode.
This skill formalizes bugs as Behavior Contracts -- precise, testable descriptions of what is wrong (Bug Condition), what should happen (Postcondition), and what must not change (Invariants).
The exact input, state, or sequence that triggers the bug. Must be specific enough to write a failing test.
Example: "When processPayment() receives an amount of exactly $0.00, it throws an unhandled TypeError instead of returning a zero-amount receipt."
The correct behavior that must hold after the fix is applied.
Example: "When processPayment() receives $0.00, it returns a valid Receipt object with amount: 0 and status: 'completed'."
Existing correct behaviors that must be preserved by the fix.
Example:
InvalidAmountError"# 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)`~30 seconds. Free. No account. Every finding cites a rule and a line of evidence.