## ADDED Requirements

### Requirement: Type check on file Write/Edit
- **WHEN** an agent writes or edits a TypeScript file
- **THEN** the type checker runs and reports errors to the agent

### Requirement: Error reporting format
- **WHEN** type errors are detected
- **THEN** they are reported with file path, line number, error message, and error code
