| name | verification |
| description | Pre-commit verification — tsc type checking, test suite, spec invariant checks. Trigger keywords: verify, validate, check, tsc, typecheck, spec check, pre-commit. |
Verification — Pre-Commit Pipeline
The verification pipeline that must pass before any commit.
Commands
Run the full pipeline with one command:
fledge lanes run verify
Or run individual tasks:
fledge run lint
fledge run typecheck
fledge run test
fledge run spec-check
All four must pass. Do not commit with failures.
Other useful lanes
fledge lanes run check
fledge lanes run fix
fledge lanes run audit
Linting
- Uses Biome — config in
biome.json
fledge run lint — check for issues
fledge run lint-fix — auto-fix what it can
fledge run format — auto-format files
- Covers
server/, shared/, scripts/
- Client has its own Prettier config (separate)
TypeScript Checking
fledge run typecheck wraps bun x tsc --noEmit --skipLibCheck
- Strict mode is enabled project-wide
Spec Checking
Module specifications in specs/ define invariants for specific modules.
- Before modifying any file listed in a spec's
files: frontmatter, read the spec
- After modifying, run
fledge run spec-check
- If your change violates a spec invariant, update the spec first (add a Change Log entry)
- Specs take precedence over code comments — if code contradicts the spec, the code is the bug
Stats Checking
Optional but recommended:
bun run stats:check
Verifies codebase statistics are within expected ranges.
Work Task Auto-Validation
Work tasks (created via corvid_create_work_task) automatically:
- Run
fledge run typecheck + fledge run test after each implementation attempt
- Iterate up to 3 times on failure
- Only create a PR when validation passes