Testing

Pressure Classification

Classify the testing pressure first:

• type-level contract confidence
• runtime unit or integration confidence
• boundary or parsing confidence
• framework or environment confidence
• generated or shared contract drift confidence
• CI gate or release confidence

Then name what is actually missing:

• proof
• realism
• fixture truth
• environment fidelity
• gate discipline

Output Contract

Return:

1. primary testing surface
2. what it should prove
3. what weaker or misleading test surface to avoid
4. whether the issue is really validation, tooling, or architecture driven
5. the next exact doctrine file or runtime surface to use

Core Rule

Type-safe systems need test strategy that respects both compile-time and runtime boundaries.

Do not collapse all testing into one vague suite. Choose the smallest honest confidence surface that proves the truth you actually need.