typesafety lens
Tribunal lens card. This is not a standalone agent: when the /ca:tribunal deep audit activates the typesafety lens, the generic tribunal-lens-reviewer agent is dispatched once under the typesafety assignment and executes this card as its mandate.
Executed by tribunal-lens-reviewer under the typesafety assignment. Write contract + evidence discipline: finding-record.md. Skip entirely if the language has no static type system.
Scope emphasis
Section titled “Scope emphasis”The assigned path slice, weighted to public interfaces and module boundaries. Skip entirely if the language has no static type system.
Required reading
Section titled “Required reading”- the repository’s
.codearbiter/coding-standards.md— typing conventions; the repository’s.codearbiter/tech-stack.md— whether the project is statically typed.
Checklist
Section titled “Checklist”- Footgun public interfaces: easy to call wrong, no defaults, silent coercion.
- Weak/implicit typing where the language supports better;
anywhere a real type exists. - Type-escape hatches:
as any,as unknown as X,@ts-ignore,@ts-expect-error, untyped fixtures. - Unhelpful error messages; undocumented invariants; naming-convention drift within a unit.
Exposure
Section titled “Exposure”Count of public interfaces / exported signatures inspected.
Out of scope
Section titled “Out of scope”Test-double typing drift (test-fidelity).