Qualified static finding recorded.
CodeVetter · local evidence export
Type-safety bypass via `as any` in TypeScript
codevetter-public-benchmark/ts-type-confusion
detected · medium confidence
Verification
No exact-current runtime evidence is included.
No audience validation occurred.
Finding
type confusion
The payload is cast through `as any` to Order, bypassing the compiler so a Refund-shaped object is treated as an Order; at runtime items is undefined and the .length access throws or silently corrupts downstream totals.
source.ts:19