type-system-implementation

name	type-system-implementation
description	Implement Talqor name resolution, symbol tables, type checking, generics / inference behavior, and semantic diagnostics from the approved semantics.
argument-hint	["semantic-task"]
allowed-tools	Read, Grep, Glob, Edit, Write, MultiEdit, Bash
context	fork
agent	semantic-runtime-engineer
effort	high

Type System Implementation

Implement $ARGUMENTS from semantic rules to executable compiler logic.

Required workflow

1. Read the relevant semantic spec and ADRs first.
2. Restate the exact contract to implement.
3. Identify which semantic layers change:
   • name resolution
   • scopes / symbol tables
   • visibility / imports
   • type checking
   • generics / inference
   • effect or capability tracking
   • lowering prerequisites
   • diagnostics
4. Write or refine internal invariants before complex refactors.
5. Add both positive and negative tests.
6. Call out any runtime, IR, or stdlib contract change explicitly.

Supporting files

• semantic-invariants.md
• negative-tests-template.md

Final output

Include:

• semantic contract implemented
• invariants introduced or preserved
• tests added
• diagnostics affected
• downstream IR / runtime implications