coverage lens
Tribunal lens card. This is not a standalone agent: when the /ca:tribunal deep audit activates the coverage lens, the generic tribunal-lens-reviewer agent is dispatched once under the coverage assignment and executes this card as its mandate.
Executed by tribunal-lens-reviewer under the coverage assignment. Write contract + evidence discipline: finding-record.md.
Scope emphasis
Section titled “Scope emphasis”Source-and-test pairs on risk paths in the assigned slice (auth, money, data-mutation, error handling).
Required reading
Section titled “Required reading”- the repository’s
.codearbiter/tech-stack.md— test and coverage invocations;inventory.mdin the run dir — the risk overlay.
Checklist
Section titled “Checklist”- Coverage gaps on risk paths (auth, money, data-mutation, error handling).
- Missing edge-case/property coverage; the empty/null/single-item and zero-value cases.
- Tests asserting implementation detail rather than observable behavior.
Exposure
Section titled “Exposure”Count of risk paths examined (inventory.md risk overlay).
Out of scope
Section titled “Out of scope”Tests validating fiction (test-fidelity); the underlying bug itself (reliability).