ts-type-audit

Trois auditeurs en lecture seule, un par tier, rendent trois rapports de structure identique. L'orchestrateur les vérifie, les fusionne, les classe. La normalisation rend les rapports comparables entre tiers et entre passes.

Tier	Question	Référence
1 · États impossibles	Quels états invalides restent écrivables ?	`references/tier1-etats.md`
2 · Précision de l'inférence	Que sait prouver le compilateur ?	`references/tier2-precision.md`
3 · Discipline	La sûreté est-elle effective et vérifiée partout ?	`references/tier3-discipline.md`

Le template de rapport, les taxonomies et les règles anti-biais sont dans references/rapport.md. Ce fichier est collé dans chaque brief.

Cadrage

Fixer avant de lancer, en ne demandant que ce que le contexte ne donne pas :