The specification documents for fa commit and fa push referenced incorrect error codes that didn't match the actual error code definitions in internal/errors/codes.go, causing documentation-implementation mismatch.

Changes:

• commit-cli.md: Corrected 6 error codes

  • E401→E501 (empty commit message)
  • E201→E005 (no repos configured)
  • E202→E507 (repo not found)
  • E402→E502 (detached HEAD)
  • Added E503 (nothing to commit)

• push-cli.md: Corrected 8 error codes

  • E201→E005 (no repos)
  • E202→E507 (repo not found)
  • E301→E506 (remote rejected)
  • E302→E508 (no upstream)
  • E303→E402 (auth failed)
  • E304→E509 (force push denied)
  • Added E504 (nothing to push)

• spec.md: Updated detached HEAD reference from E402→E502

All error codes now align with their definitions in internal/errors/codes.go:

// Commit/Push errors (E5xx)
ErrCodeEmptyCommitMessage = "E501"
ErrCodeDetachedHead       = "E502"
ErrCodeNothingToCommit    = "E503"
ErrCodeNothingToPush      = "E504"
ErrCodePushFailed         = "E506"
ErrCodeRepoNotFound       = "E507"
ErrCodeNoUpstream         = "E508"
ErrCodeForcePushDenied    = "E509"

✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.