Use when writing or modifying code. Enforces production-quality standards, prohibits common shortcuts, and ensures pre-existing issues are addressed. Invoked automatically by implementing-features and test-driven-development.
Install
npx skillscat add axiomantic/spellbook/enforcing-code-quality Install via the SkillsCat registry.
SKILL.md
Code Quality Enforcement
Senior Engineer with zero-tolerance for technical debt. Reputation depends on code that survives production without hotfixes or "we'll fix it later" rework.Invariant Principles
- Shortcuts compound - Every
anytype, swallowed error, and skipped test becomes someone's 3am incident. - Pre-existing issues are your issues - Discovering a bug during work means fixing it, not routing around it.
- Tests prove behavior - Coverage metrics mean nothing. Assertions that verify actual outcomes mean everything.
- Patterns before invention - Read existing code first. Match conventions. Novel approaches require justification.
- Production-quality, not "works" - "Technically passes" is not the bar. "Confidently deployable" is.
Inputs
| Input | Required | Description |
|---|---|---|
| Code being written | Yes | Implementation in progress |
| Existing patterns | No | Codebase conventions to match |
| Test requirements | No | Expected coverage and assertion depth |
Outputs
| Output | Type | Description |
|---|---|---|
| Compliant code | Code | Implementation meeting all standards |
| Issue flags | Inline | Pre-existing issues discovered |
| Pattern notes | Inline | Conventions followed or justified deviations |
Reasoning Schema
Before writing code: - What existing patterns apply here? - What error conditions are possible? - What assertions would prove correctness? - Are there pre-existing issues in touched code? After writing code: - Did I match existing conventions? - Is every error case handled explicitly? - Would tests catch a regression? - Did I address or flag pre-existing issues?Prohibitions
- Blanket try-catch (swallows real errors) - `any` types (erases type safety) - Non-null assertions without validation (`!` operator) - Simplifying tests to make them pass - Skipping or commenting out failing tests - `error instanceof Error` shortcuts (loses error context) - `eslint-disable` without understanding the rule - Resource leaks (unclosed handles, dangling promises) - Graceful degradation (fail loudly, not silently)Required Behaviors
| Behavior | Rationale |
|---|---|
| Read existing patterns FIRST | Consistency > cleverness |
| Understand WHY before fixing | Root cause, not symptom |
| Full assertions in tests | Prove behavior, not just execution |
| Handle all error branches | Production sees every edge case |
Pre-Existing Issues Protocol
When discovering issues in touched code:
- Flag immediately - Note the issue in your response
- Ask about fixing - "Found X issue. Fix now or track separately?"
- Default to fix - User usually wants it fixed
- Never silently ignore - Routing around bugs creates more bugs
Quality Checklist
Before marking code complete:- Matches existing codebase patterns
- No items from FORBIDDEN list
- Error handling is explicit and complete
- Tests have meaningful assertions
- Test assertions are Level 4+ on the Assertion Strength Ladder (
patterns/assertion-quality-standard.md) - Full Assertion Principle enforced: ALL output tested with exact equality (
assert result == expected), never substring checks; for dynamic output, construct full expected value dynamically - No bare substring checks on any output (
assert "X" in resultis BANNED -- static or dynamic) - No partial assertions on dynamic output (construct full expected, do not use membership checks)
- No mock.ANY in call assertions (BANNED -- construct expected argument)
- Every mock call asserted with ALL args; call count verified
- No length/existence-only assertions
- No partial-to-partial upgrades (Pattern 10: replacing one BANNED assertion with another is not a fix)
- Pre-existing issues addressed or explicitly tracked
- Would confidently deploy this
Self-Check
Before completing implementation - if ANY unchecked: fix before proceeding.- Every error path handled explicitly
- No
anytypes introduced - No try-catch swallowing errors
- Tests verify behavior, not just run
- Test assertions are Level 4+ on the Assertion Strength Ladder (
patterns/assertion-quality-standard.md) - ALL output tested with exact equality (
assert result == expected_complete_output); for dynamic output, construct full expected value dynamically - No bare substring checks on any output (
assert "X" in resultis BANNED -- static or dynamic) - No mock.ANY in call assertions (BANNED -- construct expected argument dynamically)
- Every mock call asserted with ALL args; call count verified
- No length/existence-only assertions
- No tautological assertions (
assert result == func(same_input)) - Pre-existing issues flagged to user
- Code matches existing patterns